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/201007051233/p2cudf-trendy-1.6/small3.cudf.cudf_set.log.runsolver ./p2cudf-trendy-1.6 /home/misc2010/data/2010/cudf_set/small3.cudf /home/misc2010/tmp/201007051233/p2cudf-trendy-1.6/small3.cudf.cudf_set.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.04 1.05 1.01 5/35 11618 /proc/meminfo: memFree=870556/1048576 swapFree=2094596/2097144 [pid=11616] ppid=11615 vsize=2384 CPUtime=0 /proc/11616/stat : 11616 (p2cudf-trendy-1) S 11615 11616 3447 769 3447 4194304 366 0 0 0 0 0 0 0 21 0 1 0 527760728 2441216 262 1283457024 134512640 135191968 4293704160 18446744073709551615 4159285662 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11616/statm: 596 262 223 166 0 28 0 [pid=11617] ppid=11616 vsize=2380 CPUtime=0 /proc/11617/stat : 11617 (p2cudf) R 11616 11616 3447 769 3447 4194304 332 0 0 0 0 0 0 0 25 0 1 0 527760728 2437120 262 1283457024 134512640 135191968 4287290336 18446744073709551615 4159607200 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/11617/statm: 595 262 224 166 0 27 0 [pid=11618] ppid=11617 vsize=2380 CPUtime=0 /proc/11618/stat : 11618 (p2cudf) R 11617 11616 3447 769 3447 4194368 0 0 0 0 0 0 0 0 25 0 1 0 527760728 2437120 38 1283457024 134512640 135191968 4287290336 18446744073709551615 4159607200 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/11618/statm: 595 38 0 166 0 27 0 [startup+0.177381 s] /proc/loadavg: 1.04 1.05 1.01 5/35 11618 /proc/meminfo: memFree=870556/1048576 swapFree=2094596/2097144 [pid=11616] ppid=11615 vsize=2384 CPUtime=0 /proc/11616/stat : 11616 (p2cudf-trendy-1) S 11615 11616 3447 769 3447 4194304 366 0 0 0 0 0 0 0 21 0 1 0 527760728 2441216 262 1283457024 134512640 135191968 4293704160 18446744073709551615 4159285662 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11616/statm: 596 262 223 166 0 28 0 [pid=11617] ppid=11616 vsize=2388 CPUtime=0.02 /proc/11617/stat : 11617 (p2cudf) S 11616 11616 3447 769 3447 4202496 377 2736 0 1 0 0 2 0 25 0 1 0 527760728 2445312 272 1283457024 134512640 135191968 4287290336 18446744073709551615 4159605150 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11617/statm: 597 272 232 166 0 29 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4772 [startup+0.20739 s] /proc/loadavg: 1.04 1.05 1.01 5/35 11618 /proc/meminfo: memFree=870556/1048576 swapFree=2094596/2097144 [pid=11616] ppid=11615 vsize=2384 CPUtime=0 /proc/11616/stat : 11616 (p2cudf-trendy-1) S 11615 11616 3447 769 3447 4194304 366 0 0 0 0 0 0 0 21 0 1 0 527760728 2441216 262 1283457024 134512640 135191968 4293704160 18446744073709551615 4159285662 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11616/statm: 596 262 223 166 0 28 0 [pid=11617] ppid=11616 vsize=2388 CPUtime=0.02 /proc/11617/stat : 11617 (p2cudf) S 11616 11616 3447 769 3447 4202496 377 2736 0 1 0 0 2 0 25 0 1 0 527760728 2445312 272 1283457024 134512640 135191968 4287290336 18446744073709551615 4159605150 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11617/statm: 597 272 232 166 0 29 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4772 [startup+0.307389 s] /proc/loadavg: 1.04 1.05 1.01 5/35 11618 /proc/meminfo: memFree=870556/1048576 swapFree=2094596/2097144 [pid=11616] ppid=11615 vsize=2384 CPUtime=0 /proc/11616/stat : 11616 (p2cudf-trendy-1) S 11615 11616 3447 769 3447 4194304 366 0 0 0 0 0 0 0 21 0 1 0 527760728 2441216 262 1283457024 134512640 135191968 4293704160 18446744073709551615 4159285662 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11616/statm: 596 262 223 166 0 28 0 [pid=11617] ppid=11616 vsize=2388 CPUtime=0.02 /proc/11617/stat : 11617 (p2cudf) S 11616 11616 3447 769 3447 4202496 377 2736 0 1 0 0 2 0 25 0 1 0 527760728 2445312 272 1283457024 134512640 135191968 4287290336 18446744073709551615 4159605150 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11617/statm: 597 272 232 166 0 29 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4772 [startup+0.707441 s] /proc/loadavg: 1.04 1.05 1.01 5/35 11618 /proc/meminfo: memFree=870556/1048576 swapFree=2094596/2097144 [pid=11616] ppid=11615 vsize=2384 CPUtime=0 /proc/11616/stat : 11616 (p2cudf-trendy-1) S 11615 11616 3447 769 3447 4194304 366 0 0 0 0 0 0 0 21 0 1 0 527760728 2441216 262 1283457024 134512640 135191968 4293704160 18446744073709551615 4159285662 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11616/statm: 596 262 223 166 0 28 0 [pid=11617] ppid=11616 vsize=2388 CPUtime=0.02 /proc/11617/stat : 11617 (p2cudf) S 11616 11616 3447 769 3447 4202496 377 2736 0 1 0 0 2 0 25 0 1 0 527760728 2445312 272 1283457024 134512640 135191968 4287290336 18446744073709551615 4159605150 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11617/statm: 597 272 232 166 0 29 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4772 Solver just ended. Dumping a history of the last processes samples [startup+0.805411 s] /proc/loadavg: 1.04 1.05 1.01 5/35 11618 /proc/meminfo: memFree=870556/1048576 swapFree=2094596/2097144 [pid=11616] ppid=11615 vsize=2384 CPUtime=0 /proc/11616/stat : 11616 (p2cudf-trendy-1) S 11615 11616 3447 769 3447 4194304 366 0 0 0 0 0 0 0 21 0 1 0 527760728 2441216 262 1283457024 134512640 135191968 4293704160 18446744073709551615 4159285662 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11616/statm: 596 262 223 166 0 28 0 [pid=11617] ppid=11616 vsize=2388 CPUtime=0.02 /proc/11617/stat : 11617 (p2cudf) S 11616 11616 3447 769 3447 4202496 377 2736 0 1 0 0 2 0 25 0 1 0 527760728 2445312 272 1283457024 134512640 135191968 4287290336 18446744073709551615 4159605150 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11617/statm: 597 272 232 166 0 29 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4772 [startup+1.20537 s] /proc/loadavg: 1.04 1.05 1.01 1/47 11641 /proc/meminfo: memFree=850936/1048576 swapFree=2094596/2097144 [pid=11616] ppid=11615 vsize=2384 CPUtime=0 /proc/11616/stat : 11616 (p2cudf-trendy-1) S 11615 11616 3447 769 3447 4194304 366 0 0 0 0 0 0 0 21 0 1 0 527760728 2441216 262 1283457024 134512640 135191968 4293704160 18446744073709551615 4159285662 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11616/statm: 596 262 223 166 0 28 0 [pid=11617] ppid=11616 vsize=2388 CPUtime=0.02 /proc/11617/stat : 11617 (p2cudf) S 11616 11616 3447 769 3447 4202496 377 2736 0 1 0 0 2 0 25 0 1 0 527760728 2445312 272 1283457024 134512640 135191968 4287290336 18446744073709551615 4159605150 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11617/statm: 597 272 232 166 0 29 0 [pid=11630] ppid=11617 vsize=857040 CPUtime=0.72 /proc/11630/stat : 11630 (java) S 11617 11616 3447 769 3447 4202496 6695 0 1 0 70 2 0 0 25 0 12 0 527760731 877608960 6307 1283457024 134512640 134550932 4286562768 18446744073709551615 4160337042 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11630/statm: 214260 6307 1436 10 0 211532 0 [pid=11630/tid=11631] ppid=11617 vsize=857040 CPUtime=0.47 /proc/11630/task/11631/stat : 11631 (java) S 11617 11616 3447 769 3447 4202560 5072 0 1 0 45 2 0 0 25 0 12 0 527760732 877608960 6307 1283457024 134512640 134550932 4286562768 18446744073709551615 4160350448 0 4 0 16800975 18446612133393150080 0 0 -1 0 0 0 0 [pid=11630/tid=11632] ppid=11617 vsize=857040 CPUtime=0 /proc/11630/task/11632/stat : 11632 (java) S 11617 11616 3447 769 3447 4202560 2 0 0 0 0 0 0 0 18 0 12 0 527760733 877608960 6307 1283457024 134512640 134550932 4286562768 18446744073709551615 4160351240 0 0 0 16800975 18446612133393150080 0 0 -1 0 0 0 0 [pid=11630/tid=11633] ppid=11617 vsize=857040 CPUtime=0 /proc/11630/task/11633/stat : 11633 (java) S 11617 11616 3447 769 3447 4202560 10 0 0 0 0 0 0 0 25 0 12 0 527760733 877608960 6307 1283457024 134512640 134550932 4286562768 18446744073709551615 4160350448 0 4 0 16800975 18446612133393150080 0 0 -1 0 0 0 0 [pid=11630/tid=11634] ppid=11617 vsize=857040 CPUtime=0 /proc/11630/task/11634/stat : 11634 (java) S 11617 11616 3447 769 3447 4202560 4 0 0 0 0 0 0 0 25 0 12 0 527760733 877608960 6307 1283457024 134512640 134550932 4286562768 18446744073709551615 4160350448 0 4 0 16800975 18446612133393150080 0 0 -1 0 0 0 0 [pid=11630/tid=11635] ppid=11617 vsize=857040 CPUtime=0 /proc/11630/task/11635/stat : 11635 (java) S 11617 11616 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 12 0 527760735 877608960 6307 1283457024 134512640 134550932 4286562768 18446744073709551615 4160358736 0 4 0 16800975 18446612133393150080 0 0 -1 0 0 0 0 [pid=11630/tid=11636] ppid=11617 vsize=857040 CPUtime=0.23 /proc/11630/task/11636/stat : 11636 (java) S 11617 11616 3447 769 3447 4202560 763 0 0 0 23 0 0 0 22 0 12 0 527760735 877608960 6307 1283457024 134512640 134550932 4286562768 18446744073709551615 4160350448 0 4 0 16800975 18446612133393150080 0 0 -1 0 0 0 0 [pid=11630/tid=11637] ppid=11617 vsize=857040 CPUtime=0.02 /proc/11630/task/11637/stat : 11637 (java) S 11617 11616 3447 769 3447 4202560 14 0 0 0 2 0 0 0 25 0 12 0 527760735 877608960 6307 1283457024 134512640 134550932 4286562768 18446744073709551615 4160350448 0 4 0 16800975 18446612133393150080 0 0 -1 0 0 0 0 [pid=11630/tid=11638] ppid=11617 vsize=857040 CPUtime=0 /proc/11630/task/11638/stat : 11638 (java) S 11617 11616 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 12 0 527760736 877608960 6307 1283457024 134512640 134550932 4286562768 18446744073709551615 4160350448 0 4 0 16800975 18446612133393150080 0 0 -1 0 0 0 0 [pid=11630/tid=11639] ppid=11617 vsize=857040 CPUtime=0 /proc/11630/task/11639/stat : 11639 (java) S 11617 11616 3447 769 3447 4202560 0 0 0 0 0 0 0 0 16 0 12 0 527760736 877608960 6307 1283457024 134512640 134550932 4286562768 18446744073709551615 4160351240 0 4 0 16800975 18446612133393150080 0 0 -1 0 0 0 0 [pid=11630/tid=11640] ppid=11617 vsize=857040 CPUtime=0 /proc/11630/task/11640/stat : 11640 (java) S 11617 11616 3447 769 3447 4202560 4 0 0 0 0 0 0 0 25 0 12 0 527760803 877608960 6307 1283457024 134512640 134550932 4286562768 18446744073709551615 4160351240 0 4 0 16800975 18446612133393150080 0 0 -1 0 0 0 0 [pid=11630/tid=11641] ppid=11617 vsize=857040 CPUtime=0 /proc/11630/task/11641/stat : 11641 (java) S 11617 11616 3447 769 3447 4202560 4 0 0 0 0 0 0 0 25 0 12 0 527760804 877608960 6307 1283457024 134512640 134550932 4286562768 18446744073709551615 4160351240 0 4 0 16800975 18446612133393150080 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.74 Current children cumulated vsize (KiB) 861812 Child status: 0 Real time (s): 1.30182 CPU time (s): 0.760047 CPU user time (s): 0.728045 CPU system time (s): 0.032002 CPU usage (%): 58.3832 Max. virtual memory (cumulated for all children) (KiB): 861812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.728045 system time used= 0.032002 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10200 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 187 involuntary context switches= 129 runsolver used 0 second user time and 0 second system time The end