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-3737994-1338744711/watcher-3737994-1338744711 -o /tmp/evaluation-result-3737994-1338744711/solver-3737994-1338744711 -C 1800 -W 1900 -M 15500 pbclasp instance-3737994-1338744711.opb HOME/temp
running on 4 cores: 0,2,4,6
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: 1.33 0.96 0.62 3/174 25647
/proc/meminfo: memFree=28002644/32873844 swapFree=7632/7632
[pid=25647] ppid=25645 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/25647/stat : 25647 (pbclasp) R 25645 25647 22179 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 340596771 26492928 537 33554432000 4194304 4198148 140736843106912 140736100219320 214373033200 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/25647/statm: 6468 537 356 1 0 263 0
[startup+0.040606 s]
/proc/loadavg: 1.33 0.96 0.62 3/174 25647
/proc/meminfo: memFree=28002644/32873844 swapFree=7632/7632
[pid=25647] ppid=25645 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/25647/stat : 25647 (pbclasp) S 25645 25647 22179 0 -1 4202496 634 0 0 0 1 0 0 0 20 0 1 0 340596771 26492928 545 33554432000 4194304 4198148 140736843106912 140736843105800 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25647/statm: 6468 545 363 1 0 263 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25872
[startup+0.100228 s]
/proc/loadavg: 1.33 0.96 0.62 3/174 25647
/proc/meminfo: memFree=28002644/32873844 swapFree=7632/7632
[pid=25647] ppid=25645 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/25647/stat : 25647 (pbclasp) S 25645 25647 22179 0 -1 4202496 634 0 0 0 1 0 0 0 20 0 1 0 340596771 26492928 545 33554432000 4194304 4198148 140736843106912 140736843105800 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25647/statm: 6468 545 363 1 0 263 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25872
[startup+0.300368 s]
/proc/loadavg: 1.33 0.96 0.62 3/174 25647
/proc/meminfo: memFree=28002644/32873844 swapFree=7632/7632
[pid=25647] ppid=25645 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/25647/stat : 25647 (pbclasp) S 25645 25647 22179 0 -1 4202496 634 0 0 0 1 0 0 0 20 0 1 0 340596771 26492928 545 33554432000 4194304 4198148 140736843106912 140736843105800 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25647/statm: 6468 545 363 1 0 263 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25872
[startup+0.700188 s]
/proc/loadavg: 1.33 0.96 0.62 3/174 25647
/proc/meminfo: memFree=28002644/32873844 swapFree=7632/7632
[pid=25647] ppid=25645 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/25647/stat : 25647 (pbclasp) S 25645 25647 22179 0 -1 4202496 634 0 0 0 1 0 0 0 20 0 1 0 340596771 26492928 545 33554432000 4194304 4198148 140736843106912 140736843105800 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25647/statm: 6468 545 363 1 0 263 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25872
[startup+1.50036 s]
/proc/loadavg: 1.33 0.96 0.62 3/175 25664
/proc/meminfo: memFree=27996080/32873844 swapFree=7632/7632
[pid=25647] ppid=25645 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/25647/stat : 25647 (pbclasp) S 25645 25647 22179 0 -1 4202496 634 0 0 0 1 0 0 0 20 0 1 0 340596771 26492928 545 33554432000 4194304 4198148 140736843106912 140736843105800 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25647/statm: 6468 545 363 1 0 263 0
[pid=25649] ppid=25647 vsize=9148 CPUtime=0.58 cores=0,2,4,6
/proc/25649/stat : 25649 (sh) S 25647 25647 22179 0 -1 4202496 371 676 0 0 0 0 58 0 20 0 1 0 340596773 9367552 263 33554432000 4194304 5064252 140737255338208 140737255336464 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25649/statm: 2287 263 223 213 0 72 0
[pid=25651] ppid=25649 vsize=13168 CPUtime=0.96 cores=0,2,4,6
/proc/25651/stat : 25651 (clasp-1.0) R 25649 25647 22179 0 -1 4202496 2884 0 0 0 96 0 0 0 20 0 1 0 340596773 13484032 2672 33554432000 134512640 134847168 4292860832 4292859600 134617553 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25651/statm: 3292 2672 270 82 0 2533 0
[pid=25652] ppid=25649 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/25652/stat : 25652 (pboutclasp.pl) S 25649 25647 22179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 340596773 26071040 437 33554432000 4194304 4198148 140735177150896 140735177141432 214373033200 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25652/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 73648
[startup+3.10031 s]
/proc/loadavg: 1.33 0.96 0.62 3/183 25693
/proc/meminfo: memFree=28013524/32873844 swapFree=7632/7632
[pid=25647] ppid=25645 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/25647/stat : 25647 (pbclasp) S 25645 25647 22179 0 -1 4202496 634 0 0 0 1 0 0 0 20 0 1 0 340596771 26492928 545 33554432000 4194304 4198148 140736843106912 140736843105800 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25647/statm: 6468 545 363 1 0 263 0
[pid=25649] ppid=25647 vsize=9148 CPUtime=0.58 cores=0,2,4,6
/proc/25649/stat : 25649 (sh) S 25647 25647 22179 0 -1 4202496 371 676 0 0 0 0 58 0 20 0 1 0 340596773 9367552 263 33554432000 4194304 5064252 140737255338208 140737255336464 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25649/statm: 2287 263 223 213 0 72 0
[pid=25651] ppid=25649 vsize=13168 CPUtime=2.56 cores=0,2,4,6
/proc/25651/stat : 25651 (clasp-1.0) R 25649 25647 22179 0 -1 4202496 2885 0 0 0 256 0 0 0 20 0 1 0 340596773 13484032 2673 33554432000 134512640 134847168 4292860832 4292859548 134715744 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25651/statm: 3292 2673 270 82 0 2533 0
[pid=25652] ppid=25649 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/25652/stat : 25652 (pboutclasp.pl) S 25649 25647 22179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 340596773 26071040 437 33554432000 4194304 4198148 140735177150896 140735177141432 214373033200 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25652/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 73648
[startup+6.30043 s]
/proc/loadavg: 1.38 0.98 0.63 3/183 25801
/proc/meminfo: memFree=28013640/32873844 swapFree=7632/7632
[pid=25647] ppid=25645 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/25647/stat : 25647 (pbclasp) S 25645 25647 22179 0 -1 4202496 634 0 0 0 1 0 0 0 20 0 1 0 340596771 26492928 545 33554432000 4194304 4198148 140736843106912 140736843105800 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25647/statm: 6468 545 363 1 0 263 0
[pid=25649] ppid=25647 vsize=9148 CPUtime=0.58 cores=0,2,4,6
/proc/25649/stat : 25649 (sh) S 25647 25647 22179 0 -1 4202496 371 676 0 0 0 0 58 0 20 0 1 0 340596773 9367552 263 33554432000 4194304 5064252 140737255338208 140737255336464 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25649/statm: 2287 263 223 213 0 72 0
[pid=25651] ppid=25649 vsize=13168 CPUtime=5.76 cores=0,2,4,6
/proc/25651/stat : 25651 (clasp-1.0) R 25649 25647 22179 0 -1 4202496 2886 0 0 0 576 0 0 0 20 0 1 0 340596773 13484032 2674 33554432000 134512640 134847168 4292860832 4292859600 134617498 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25651/statm: 3292 2674 270 82 0 2533 0
[pid=25652] ppid=25649 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/25652/stat : 25652 (pboutclasp.pl) S 25649 25647 22179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 340596773 26071040 437 33554432000 4194304 4198148 140735177150896 140735177141432 214373033200 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25652/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.35
Current children cumulated vsize (KiB) 73648
[startup+12.7003 s]
/proc/loadavg: 1.43 1.00 0.64 3/183 25801
/proc/meminfo: memFree=28007112/32873844 swapFree=7632/7632
[pid=25647] ppid=25645 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/25647/stat : 25647 (pbclasp) S 25645 25647 22179 0 -1 4202496 634 0 0 0 1 0 0 0 20 0 1 0 340596771 26492928 545 33554432000 4194304 4198148 140736843106912 140736843105800 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25647/statm: 6468 545 363 1 0 263 0
[pid=25649] ppid=25647 vsize=9148 CPUtime=0.58 cores=0,2,4,6
/proc/25649/stat : 25649 (sh) S 25647 25647 22179 0 -1 4202496 371 676 0 0 0 0 58 0 20 0 1 0 340596773 9367552 263 33554432000 4194304 5064252 140737255338208 140737255336464 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25649/statm: 2287 263 223 213 0 72 0
[pid=25651] ppid=25649 vsize=20832 CPUtime=12.16 cores=0,2,4,6
/proc/25651/stat : 25651 (clasp-1.0) R 25649 25647 22179 0 -1 4202496 4813 0 0 0 1216 0 0 0 20 0 1 0 340596773 21331968 4601 33554432000 134512640 134847168 4292860832 4292859600 134617496 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25651/statm: 5208 4601 270 82 0 4449 0
[pid=25652] ppid=25649 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/25652/stat : 25652 (pboutclasp.pl) S 25649 25647 22179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 340596773 26071040 437 33554432000 4194304 4198148 140735177150896 140735177141432 214373033200 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25652/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.75
Current children cumulated vsize (KiB) 81312
Solver just ended. Dumping a history of the last processes samples
[startup+14.3066 s]
/proc/loadavg: 1.48 1.01 0.64 3/183 25801
/proc/meminfo: memFree=28001044/32873844 swapFree=7632/7632
[pid=25647] ppid=25645 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/25647/stat : 25647 (pbclasp) S 25645 25647 22179 0 -1 4202496 634 0 0 0 1 0 0 0 20 0 1 0 340596771 26492928 545 33554432000 4194304 4198148 140736843106912 140736843105800 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25647/statm: 6468 545 363 1 0 263 0
[pid=25649] ppid=25647 vsize=9148 CPUtime=0.58 cores=0,2,4,6
/proc/25649/stat : 25649 (sh) S 25647 25647 22179 0 -1 4202496 371 676 0 0 0 0 58 0 20 0 1 0 340596773 9367552 263 33554432000 4194304 5064252 140737255338208 140737255336464 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25649/statm: 2287 263 223 213 0 72 0
[pid=25651] ppid=25649 vsize=20964 CPUtime=13.77 cores=0,2,4,6
/proc/25651/stat : 25651 (clasp-1.0) R 25649 25647 22179 0 -1 4202496 4858 0 0 0 1377 0 0 0 20 0 1 0 340596773 21467136 4646 33554432000 134512640 134847168 4292860832 4292859600 134617513 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25651/statm: 5241 4646 270 82 0 4482 0
[pid=25652] ppid=25649 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/25652/stat : 25652 (pboutclasp.pl) S 25649 25647 22179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 340596773 26071040 437 33554432000 4194304 4198148 140735177150896 140735177141432 214373033200 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25652/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 14.36
Current children cumulated vsize (KiB) 81444
[startup+15.1003 s]
/proc/loadavg: 1.48 1.01 0.64 3/183 25801
/proc/meminfo: memFree=28001044/32873844 swapFree=7632/7632
[pid=25647] ppid=25645 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/25647/stat : 25647 (pbclasp) S 25645 25647 22179 0 -1 4202496 634 0 0 0 1 0 0 0 20 0 1 0 340596771 26492928 545 33554432000 4194304 4198148 140736843106912 140736843105800 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25647/statm: 6468 545 363 1 0 263 0
[pid=25649] ppid=25647 vsize=9148 CPUtime=0.58 cores=0,2,4,6
/proc/25649/stat : 25649 (sh) S 25647 25647 22179 0 -1 4202496 371 676 0 0 0 0 58 0 20 0 1 0 340596773 9367552 263 33554432000 4194304 5064252 140737255338208 140737255336464 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25649/statm: 2287 263 223 213 0 72 0
[pid=25651] ppid=25649 vsize=23208 CPUtime=14.56 cores=0,2,4,6
/proc/25651/stat : 25651 (clasp-1.0) R 25649 25647 22179 0 -1 4202496 5418 0 0 0 1456 0 0 0 20 0 1 0 340596773 23764992 5206 33554432000 134512640 134847168 4292860832 4292859552 134741465 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25651/statm: 5802 5206 270 82 0 5043 0
[pid=25652] ppid=25649 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/25652/stat : 25652 (pboutclasp.pl) S 25649 25647 22179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 340596773 26071040 437 33554432000 4194304 4198148 140735177150896 140735177141432 214373033200 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25652/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 15.15
Current children cumulated vsize (KiB) 83688
[startup+15.5003 s]
/proc/loadavg: 1.48 1.01 0.64 3/183 25801
/proc/meminfo: memFree=27995836/32873844 swapFree=7632/7632
[pid=25647] ppid=25645 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/25647/stat : 25647 (pbclasp) S 25645 25647 22179 0 -1 4202496 634 0 0 0 1 0 0 0 20 0 1 0 340596771 26492928 545 33554432000 4194304 4198148 140736843106912 140736843105800 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25647/statm: 6468 545 363 1 0 263 0
[pid=25649] ppid=25647 vsize=9148 CPUtime=0.58 cores=0,2,4,6
/proc/25649/stat : 25649 (sh) S 25647 25647 22179 0 -1 4202496 371 676 0 0 0 0 58 0 20 0 1 0 340596773 9367552 263 33554432000 4194304 5064252 140737255338208 140737255336464 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25649/statm: 2287 263 223 213 0 72 0
[pid=25651] ppid=25649 vsize=27168 CPUtime=14.96 cores=0,2,4,6
/proc/25651/stat : 25651 (clasp-1.0) R 25649 25647 22179 0 -1 4202496 6422 0 0 0 1496 0 0 0 20 0 1 0 340596773 27820032 6210 33554432000 134512640 134847168 4292860832 4292859560 134714081 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25651/statm: 6792 6210 270 82 0 6033 0
[pid=25652] ppid=25649 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/25652/stat : 25652 (pboutclasp.pl) S 25649 25647 22179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 340596773 26071040 437 33554432000 4194304 4198148 140735177150896 140735177141432 214373033200 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25652/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 15.55
Current children cumulated vsize (KiB) 87648
[startup+15.7003 s]
/proc/loadavg: 1.48 1.01 0.64 3/183 25801
/proc/meminfo: memFree=27995836/32873844 swapFree=7632/7632
[pid=25647] ppid=25645 vsize=25872 CPUtime=0.01 cores=0,2,4,6
/proc/25647/stat : 25647 (pbclasp) S 25645 25647 22179 0 -1 4202496 634 0 0 0 1 0 0 0 20 0 1 0 340596771 26492928 545 33554432000 4194304 4198148 140736843106912 140736843105800 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25647/statm: 6468 545 363 1 0 263 0
[pid=25649] ppid=25647 vsize=9148 CPUtime=0.58 cores=0,2,4,6
/proc/25649/stat : 25649 (sh) S 25647 25647 22179 0 -1 4202496 371 676 0 0 0 0 58 0 20 0 1 0 340596773 9367552 263 33554432000 4194304 5064252 140737255338208 140737255336464 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25649/statm: 2287 263 223 213 0 72 0
[pid=25651] ppid=25649 vsize=27432 CPUtime=15.17 cores=0,2,4,6
/proc/25651/stat : 25651 (clasp-1.0) R 25649 25647 22179 0 -1 4202496 6466 0 0 0 1516 1 0 0 20 0 1 0 340596773 28090368 6254 33554432000 134512640 134847168 4292860832 4292859600 134617496 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25651/statm: 6858 6254 270 82 0 6099 0
[pid=25652] ppid=25649 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/25652/stat : 25652 (pboutclasp.pl) S 25649 25647 22179 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 340596773 26071040 437 33554432000 4194304 4198148 140735177150896 140735177141432 214373033200 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25652/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 15.76
Current children cumulated vsize (KiB) 87912
Child status: 0
Real time (s): 15.7799
CPU time (s): 15.8546
CPU user time (s): 15.8346
CPU system time (s): 0.019996
CPU usage (%): 100.473
Max. virtual memory (cumulated for all children) (KiB): 87912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.8346
system time used= 0.019996
maximum resident set size= 25156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8873
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= 168
involuntary context switches= 38
runsolver used 0.055991 second user time and 0.12698 second system time
The end