runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007050905/uns-trendy-0.0002/rand359ca0.cudf.easy.log.runsolver ./uns-trendy-0.0002 /home/misc2010/data/2010/easy//rand359ca0.cudf /home/misc2010/tmp/201007050905/uns-trendy-0.0002/rand359ca0.cudf.easy.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.26 1.13 0.64 4/38 25972 /proc/meminfo: memFree=431676/1048576 swapFree=2095456/2097144 [pid=25971] ppid=25970 vsize=2392 CPUtime=0 /proc/25971/stat : 25971 (uns-trendy-0.00) S 25970 25971 24102 769 24102 4194304 364 0 0 0 0 0 0 0 25 0 1 0 524992944 2449408 261 1283457024 134512640 135191968 4293163344 18446744073709551615 4159617438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25971/statm: 598 261 221 166 0 30 0 [pid=25972] ppid=25971 vsize=7864 CPUtime=0.03 /proc/25972/stat : 25972 (cudfsolver-stat) R 25971 25971 24102 769 24102 4202496 536 0 0 0 2 1 0 0 25 0 1 0 524992944 8052736 475 1283457024 134512640 140938604 4289283424 18446744073709551615 134565413 0 0 0 0 0 0 0 17 0 0 0 0 /proc/25972/statm: 1966 475 132 1569 0 374 0 [startup+0.162093 s] /proc/loadavg: 1.26 1.13 0.64 4/38 25972 /proc/meminfo: memFree=431676/1048576 swapFree=2095456/2097144 [pid=25971] ppid=25970 vsize=2392 CPUtime=0 /proc/25971/stat : 25971 (uns-trendy-0.00) S 25970 25971 24102 769 24102 4194304 364 0 0 0 0 0 0 0 25 0 1 0 524992944 2449408 261 1283457024 134512640 135191968 4293163344 18446744073709551615 4159617438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25971/statm: 598 261 221 166 0 30 0 [pid=25972] ppid=25971 vsize=14852 CPUtime=0.17 /proc/25972/stat : 25972 (cudfsolver-stat) R 25971 25971 24102 769 24102 4202496 2287 0 0 0 16 1 0 0 25 0 1 0 524992944 15208448 2200 1283457024 134512640 140938604 4289283424 18446744073709551615 134577683 0 0 0 0 0 0 0 17 0 0 0 0 /proc/25972/statm: 3713 2200 132 1569 0 2121 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 17244 [startup+0.2121 s] /proc/loadavg: 1.26 1.13 0.64 4/38 25972 /proc/meminfo: memFree=431676/1048576 swapFree=2095456/2097144 [pid=25971] ppid=25970 vsize=2392 CPUtime=0 /proc/25971/stat : 25971 (uns-trendy-0.00) S 25970 25971 24102 769 24102 4194304 364 0 0 0 0 0 0 0 25 0 1 0 524992944 2449408 261 1283457024 134512640 135191968 4293163344 18446744073709551615 4159617438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25971/statm: 598 261 221 166 0 30 0 [pid=25972] ppid=25971 vsize=17276 CPUtime=0.21 /proc/25972/stat : 25972 (cudfsolver-stat) R 25971 25971 24102 769 24102 4202496 2916 0 0 0 19 2 0 0 25 0 1 0 524992944 17690624 2797 1283457024 134512640 140938604 4289283424 18446744073709551615 140190608 0 0 0 0 0 0 0 17 0 0 0 0 /proc/25972/statm: 4319 2797 132 1569 0 2727 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 19668 [startup+0.302123 s] /proc/loadavg: 1.26 1.13 0.64 4/38 25972 /proc/meminfo: memFree=431676/1048576 swapFree=2095456/2097144 [pid=25971] ppid=25970 vsize=2392 CPUtime=0 /proc/25971/stat : 25971 (uns-trendy-0.00) S 25970 25971 24102 769 24102 4194304 364 0 0 0 0 0 0 0 25 0 1 0 524992944 2449408 261 1283457024 134512640 135191968 4293163344 18446744073709551615 4159617438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25971/statm: 598 261 221 166 0 30 0 [pid=25972] ppid=25971 vsize=21368 CPUtime=0.3 /proc/25972/stat : 25972 (cudfsolver-stat) R 25971 25971 24102 769 24102 4202496 3960 0 0 0 27 3 0 0 25 0 1 0 524992944 21880832 3841 1283457024 134512640 140938604 4289283424 18446744073709551615 134604585 0 0 0 0 0 0 0 17 0 0 0 0 /proc/25972/statm: 5342 3841 132 1569 0 3750 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 23760 [startup+0.702178 s] /proc/loadavg: 1.26 1.13 0.64 4/38 25972 /proc/meminfo: memFree=431676/1048576 swapFree=2095456/2097144 [pid=25971] ppid=25970 vsize=2392 CPUtime=0 /proc/25971/stat : 25971 (uns-trendy-0.00) S 25970 25971 24102 769 24102 4194304 364 0 0 0 0 0 0 0 25 0 1 0 524992944 2449408 261 1283457024 134512640 135191968 4293163344 18446744073709551615 4159617438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25971/statm: 598 261 221 166 0 30 0 [pid=25972] ppid=25971 vsize=38240 CPUtime=0.7 /proc/25972/stat : 25972 (cudfsolver-stat) R 25971 25971 24102 769 24102 4202496 8236 0 0 0 64 6 0 0 25 0 1 0 524992944 39157760 8019 1283457024 134512640 140938604 4289283424 18446744073709551615 140190628 0 0 0 0 0 0 0 17 0 0 0 0 /proc/25972/statm: 9560 8019 132 1569 0 7968 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 40632 Solver just ended. Dumping a history of the last processes samples [startup+0.812178 s] /proc/loadavg: 1.26 1.13 0.64 4/38 25972 /proc/meminfo: memFree=431676/1048576 swapFree=2095456/2097144 [pid=25971] ppid=25970 vsize=2392 CPUtime=0 /proc/25971/stat : 25971 (uns-trendy-0.00) S 25970 25971 24102 769 24102 4194304 364 0 0 0 0 0 0 0 25 0 1 0 524992944 2449408 261 1283457024 134512640 135191968 4293163344 18446744073709551615 4159617438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25971/statm: 598 261 221 166 0 30 0 [pid=25972] ppid=25971 vsize=50724 CPUtime=0.81 /proc/25972/stat : 25972 (cudfsolver-stat) R 25971 25971 24102 769 24102 4202496 11808 0 0 0 71 10 0 0 25 0 1 0 524992944 51941376 10634 1283457024 134512640 140938604 4289283424 18446744073709551615 137948856 0 0 0 0 0 0 0 17 0 0 0 0 /proc/25972/statm: 12681 10634 410 1569 0 10735 0 Current children cumulated CPU time (s) 0.81 Current children cumulated vsize (KiB) 53116 [startup+1.21228 s] /proc/loadavg: 1.26 1.13 0.64 2/39 25973 /proc/meminfo: memFree=382820/1048576 swapFree=2095456/2097144 [pid=25971] ppid=25970 vsize=2392 CPUtime=0 /proc/25971/stat : 25971 (uns-trendy-0.00) S 25970 25971 24102 769 24102 4194304 364 0 0 0 0 0 0 0 25 0 1 0 524992944 2449408 261 1283457024 134512640 135191968 4293163344 18446744073709551615 4159617438 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25971/statm: 598 261 221 166 0 30 0 [pid=25972] ppid=25971 vsize=51404 CPUtime=1.22 /proc/25972/stat : 25972 (cudfsolver-stat) R 25971 25971 24102 769 24102 4202496 21647 0 0 0 108 14 0 0 25 0 1 0 524992944 52637696 11208 1283457024 134512640 140938604 4289283424 18446744073709551615 139957837 0 0 0 0 0 0 0 17 0 0 0 0 /proc/25972/statm: 12851 11208 669 1569 0 10905 0 Current children cumulated CPU time (s) 1.22 Current children cumulated vsize (KiB) 53796 Child status: 0 Real time (s): 1.23489 CPU time (s): 1.24008 CPU user time (s): 1.09207 CPU system time (s): 0.148009 CPU usage (%): 100.42 Max. virtual memory (cumulated for all children) (KiB): 82736 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.09207 system time used= 0.148009 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22027 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 62 runsolver used 0 second user time and 0 second system time The end