runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3730978-1338686035/watcher-3730978-1338686035 -o /tmp/evaluation-result-3730978-1338686035/solver-3730978-1338686035 -C 1800 -W 1900 -M 15500 pbclasp instance-3730978-1338686035.opb HOME/temp
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 27878
/proc/meminfo: memFree=27821296/32873844 swapFree=7384/7384
[pid=27878] ppid=27876 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/27878/stat : 27878 (pbclasp) R 27876 27878 14418 0 -1 4202496 557 0 0 0 0 0 0 0 20 0 1 0 334728980 26206208 488 33554432000 4194304 4198148 140737199206912 140737199204360 239885496008 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/27878/statm: 6398 488 355 1 0 193 0
[startup+0.0433829 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 27878
/proc/meminfo: memFree=27821296/32873844 swapFree=7384/7384
[pid=27878] ppid=27876 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27878/stat : 27878 (pbclasp) S 27876 27878 14418 0 -1 4202496 621 0 0 0 1 0 0 0 20 0 1 0 334728980 26357760 534 33554432000 4194304 4198148 140737199206912 140737199205800 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27878/statm: 6435 534 363 1 0 230 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25740
[startup+0.100171 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 27878
/proc/meminfo: memFree=27821296/32873844 swapFree=7384/7384
[pid=27878] ppid=27876 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27878/stat : 27878 (pbclasp) S 27876 27878 14418 0 -1 4202496 621 0 0 0 1 0 0 0 20 0 1 0 334728980 26357760 534 33554432000 4194304 4198148 140737199206912 140737199205800 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27878/statm: 6435 534 363 1 0 230 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25740
[startup+0.30011 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 27878
/proc/meminfo: memFree=27821296/32873844 swapFree=7384/7384
[pid=27878] ppid=27876 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27878/stat : 27878 (pbclasp) S 27876 27878 14418 0 -1 4202496 621 0 0 0 1 0 0 0 20 0 1 0 334728980 26357760 534 33554432000 4194304 4198148 140737199206912 140737199205800 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27878/statm: 6435 534 363 1 0 230 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25740
[startup+0.700106 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 27878
/proc/meminfo: memFree=27821296/32873844 swapFree=7384/7384
[pid=27878] ppid=27876 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27878/stat : 27878 (pbclasp) S 27876 27878 14418 0 -1 4202496 621 0 0 0 1 0 0 0 20 0 1 0 334728980 26357760 534 33554432000 4194304 4198148 140737199206912 140737199205800 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27878/statm: 6435 534 363 1 0 230 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25740
[startup+1.50037 s]
/proc/loadavg: 2.00 2.00 1.98 3/185 27883
/proc/meminfo: memFree=27814296/32873844 swapFree=7384/7384
[pid=27878] ppid=27876 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27878/stat : 27878 (pbclasp) S 27876 27878 14418 0 -1 4202496 621 0 0 0 1 0 0 0 20 0 1 0 334728980 26357760 534 33554432000 4194304 4198148 140737199206912 140737199205800 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27878/statm: 6435 534 363 1 0 230 0
[pid=27880] ppid=27878 vsize=9148 CPUtime=1.18 cores=1,3,5,7
/proc/27880/stat : 27880 (sh) S 27878 27878 14418 0 -1 4202496 375 618 0 0 0 0 118 0 20 0 1 0 334728982 9367552 264 33554432000 4194304 5064252 140734603560784 140734603559040 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27880/statm: 2287 264 223 213 0 72 0
[pid=27882] ppid=27880 vsize=19124 CPUtime=0.41 cores=1,3,5,7
/proc/27882/stat : 27882 (clasp-1.0) R 27880 27878 14418 0 -1 4202496 4589 0 0 0 41 0 0 0 20 0 1 0 334728983 19582976 4197 33554432000 134512640 134847168 4288883664 4288882432 134617496 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27882/statm: 4781 4197 270 82 0 4022 0
[pid=27883] ppid=27880 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27883/stat : 27883 (pboutclasp.pl) S 27880 27878 14418 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334728983 26071040 437 33554432000 4194304 4198148 140736352469584 140736352460120 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27883/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 79472
[startup+3.10037 s]
/proc/loadavg: 2.00 2.00 1.98 3/184 27883
/proc/meminfo: memFree=27803888/32873844 swapFree=7384/7384
[pid=27878] ppid=27876 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27878/stat : 27878 (pbclasp) S 27876 27878 14418 0 -1 4202496 621 0 0 0 1 0 0 0 20 0 1 0 334728980 26357760 534 33554432000 4194304 4198148 140737199206912 140737199205800 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27878/statm: 6435 534 363 1 0 230 0
[pid=27880] ppid=27878 vsize=9148 CPUtime=1.18 cores=1,3,5,7
/proc/27880/stat : 27880 (sh) S 27878 27878 14418 0 -1 4202496 375 618 0 0 0 0 118 0 20 0 1 0 334728982 9367552 264 33554432000 4194304 5064252 140734603560784 140734603559040 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27880/statm: 2287 264 223 213 0 72 0
[pid=27882] ppid=27880 vsize=19124 CPUtime=2.01 cores=1,3,5,7
/proc/27882/stat : 27882 (clasp-1.0) R 27880 27878 14418 0 -1 4202496 4598 0 0 0 201 0 0 0 20 0 1 0 334728983 19582976 4206 33554432000 134512640 134847168 4288883664 4288882368 134616608 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27882/statm: 4781 4206 270 82 0 4022 0
[pid=27883] ppid=27880 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27883/stat : 27883 (pboutclasp.pl) S 27880 27878 14418 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334728983 26071040 437 33554432000 4194304 4198148 140736352469584 140736352460120 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27883/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 79472
Solver just ended. Dumping a history of the last processes samples
[startup+3.90042 s]
/proc/loadavg: 2.00 2.00 1.98 3/184 27883
/proc/meminfo: memFree=27803764/32873844 swapFree=7384/7384
[pid=27878] ppid=27876 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27878/stat : 27878 (pbclasp) S 27876 27878 14418 0 -1 4202496 621 0 0 0 1 0 0 0 20 0 1 0 334728980 26357760 534 33554432000 4194304 4198148 140737199206912 140737199205800 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27878/statm: 6435 534 363 1 0 230 0
[pid=27880] ppid=27878 vsize=9148 CPUtime=1.18 cores=1,3,5,7
/proc/27880/stat : 27880 (sh) S 27878 27878 14418 0 -1 4202496 375 618 0 0 0 0 118 0 20 0 1 0 334728982 9367552 264 33554432000 4194304 5064252 140734603560784 140734603559040 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27880/statm: 2287 264 223 213 0 72 0
[pid=27882] ppid=27880 vsize=22564 CPUtime=2.81 cores=1,3,5,7
/proc/27882/stat : 27882 (clasp-1.0) R 27880 27878 14418 0 -1 4202496 5484 0 0 0 281 0 0 0 20 0 1 0 334728983 23105536 5092 33554432000 134512640 134847168 4288883664 4288881904 7513383 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27882/statm: 5641 5092 270 82 0 4882 0
[pid=27883] ppid=27880 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27883/stat : 27883 (pboutclasp.pl) S 27880 27878 14418 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334728983 26071040 437 33554432000 4194304 4198148 140736352469584 140736352460120 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27883/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 82912
[startup+4.30037 s]
/proc/loadavg: 2.00 2.00 1.98 3/184 27883
/proc/meminfo: memFree=27796944/32873844 swapFree=7384/7384
[pid=27878] ppid=27876 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27878/stat : 27878 (pbclasp) S 27876 27878 14418 0 -1 4202496 621 0 0 0 1 0 0 0 20 0 1 0 334728980 26357760 534 33554432000 4194304 4198148 140737199206912 140737199205800 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27878/statm: 6435 534 363 1 0 230 0
[pid=27880] ppid=27878 vsize=9148 CPUtime=1.18 cores=1,3,5,7
/proc/27880/stat : 27880 (sh) S 27878 27878 14418 0 -1 4202496 375 618 0 0 0 0 118 0 20 0 1 0 334728982 9367552 264 33554432000 4194304 5064252 140734603560784 140734603559040 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27880/statm: 2287 264 223 213 0 72 0
[pid=27882] ppid=27880 vsize=26008 CPUtime=3.21 cores=1,3,5,7
/proc/27882/stat : 27882 (clasp-1.0) R 27880 27878 14418 0 -1 4202496 6332 0 0 0 321 0 0 0 20 0 1 0 334728983 26632192 5940 33554432000 134512640 134847168 4288883664 4288881904 7513383 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27882/statm: 6502 5940 270 82 0 5743 0
[pid=27883] ppid=27880 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27883/stat : 27883 (pboutclasp.pl) S 27880 27878 14418 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334728983 26071040 437 33554432000 4194304 4198148 140736352469584 140736352460120 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27883/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 86356
[startup+4.70037 s]
/proc/loadavg: 2.00 2.00 1.98 3/184 27883
/proc/meminfo: memFree=27796944/32873844 swapFree=7384/7384
[pid=27878] ppid=27876 vsize=25740 CPUtime=0.01 cores=1,3,5,7
/proc/27878/stat : 27878 (pbclasp) S 27876 27878 14418 0 -1 4202496 621 0 0 0 1 0 0 0 20 0 1 0 334728980 26357760 534 33554432000 4194304 4198148 140737199206912 140737199205800 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27878/statm: 6435 534 363 1 0 230 0
[pid=27880] ppid=27878 vsize=9148 CPUtime=1.18 cores=1,3,5,7
/proc/27880/stat : 27880 (sh) S 27878 27878 14418 0 -1 4202496 375 618 0 0 0 0 118 0 20 0 1 0 334728982 9367552 264 33554432000 4194304 5064252 140734603560784 140734603559040 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27880/statm: 2287 264 223 213 0 72 0
[pid=27882] ppid=27880 vsize=27468 CPUtime=3.6 cores=1,3,5,7
/proc/27882/stat : 27882 (clasp-1.0) R 27880 27878 14418 0 -1 4202496 6711 0 0 0 360 0 0 0 20 0 1 0 334728983 28127232 6319 33554432000 134512640 134847168 4288883664 4288882432 134617496 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27882/statm: 6867 6319 270 82 0 6108 0
[pid=27883] ppid=27880 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/27883/stat : 27883 (pboutclasp.pl) S 27880 27878 14418 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 334728983 26071040 437 33554432000 4194304 4198148 140736352469584 140736352460120 239876498672 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/27883/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 87816
Child status: 0
Real time (s): 4.79703
CPU time (s): 4.92725
CPU user time (s): 4.90825
CPU system time (s): 0.018997
CPU usage (%): 102.715
Max. virtual memory (cumulated for all children) (KiB): 96180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.90825
system time used= 0.018997
maximum resident set size= 25368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9023
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 301
involuntary context switches= 20
runsolver used 0.002999 second user time and 0.033994 second system time
The end