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-3701112-1338058352/watcher-3701112-1338058352 -o /tmp/evaluation-result-3701112-1338058352/solver-3701112-1338058352 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701112-1338058352.opb 375617454 HOME HOME
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.04 2.04 2.00 3/179 6651
/proc/meminfo: memFree=27313172/32873660 swapFree=7108/7108
[pid=6651] ppid=6649 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6651/stat : 6651 (npSolver-pbo.sh) S 6649 6651 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271960927 9367552 275 33554432000 4194304 5064252 140735339966896 140735339965808 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6651/statm: 2287 275 233 213 0 72 0
[startup+0.0357249 s]
/proc/loadavg: 2.04 2.04 2.00 3/179 6651
/proc/meminfo: memFree=27313172/32873660 swapFree=7108/7108
[pid=6651] ppid=6649 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6651/stat : 6651 (npSolver-pbo.sh) S 6649 6651 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271960927 9367552 275 33554432000 4194304 5064252 140735339966896 140735339965808 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6651/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100232 s]
/proc/loadavg: 2.04 2.04 2.00 3/179 6651
/proc/meminfo: memFree=27313172/32873660 swapFree=7108/7108
[pid=6651] ppid=6649 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6651/stat : 6651 (npSolver-pbo.sh) S 6649 6651 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271960927 9367552 275 33554432000 4194304 5064252 140735339966896 140735339965808 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6651/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300138 s]
/proc/loadavg: 2.04 2.04 2.00 3/179 6651
/proc/meminfo: memFree=27313172/32873660 swapFree=7108/7108
[pid=6651] ppid=6649 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6651/stat : 6651 (npSolver-pbo.sh) S 6649 6651 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271960927 9367552 275 33554432000 4194304 5064252 140735339966896 140735339965808 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6651/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700178 s]
/proc/loadavg: 2.04 2.04 2.00 3/179 6651
/proc/meminfo: memFree=27313172/32873660 swapFree=7108/7108
[pid=6651] ppid=6649 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6651/stat : 6651 (npSolver-pbo.sh) S 6649 6651 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271960927 9367552 275 33554432000 4194304 5064252 140735339966896 140735339965808 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6651/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 6703
/proc/meminfo: memFree=27306564/32873660 swapFree=7108/7108
[pid=6651] ppid=6649 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6651/stat : 6651 (npSolver-pbo.sh) S 6649 6651 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271960927 9367552 275 33554432000 4194304 5064252 140735339966896 140735339965808 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6651/statm: 2287 275 233 213 0 72 0
[pid=6652] ppid=6651 vsize=5520 CPUtime=0.37 cores=1,3,5,7
/proc/6652/stat : 6652 (npSolver-pbo) S 6651 6651 6137 0 -1 4202496 2314 17007 0 0 5 2 27 3 20 0 1 0 271960927 5652480 988 33554432000 4194304 5992684 140736145571536 140736145563856 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6652/statm: 1380 988 179 440 0 936 0
[pid=6695] ppid=6652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6695/stat : 6695 (satsolver.sh) S 6652 6651 6137 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271960966 9367552 267 33554432000 4194304 5064252 140735793596288 140735793595200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6695/statm: 2287 267 226 213 0 72 0
[pid=6696] ppid=6695 vsize=8664 CPUtime=1.1 cores=1,3,5,7
/proc/6696/stat : 6696 (glucose) R 6695 6651 6137 0 -1 4202496 2029 0 0 0 110 0 0 0 20 0 1 0 271960966 8871936 1610 33554432000 4194304 5208918 140735538666544 140735538664504 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6696/statm: 2166 1610 96 248 0 1915 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 32480
[startup+3.10029 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 6710
/proc/meminfo: memFree=27304440/32873660 swapFree=7108/7108
[pid=6651] ppid=6649 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6651/stat : 6651 (npSolver-pbo.sh) S 6649 6651 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271960927 9367552 275 33554432000 4194304 5064252 140735339966896 140735339965808 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6651/statm: 2287 275 233 213 0 72 0
[pid=6652] ppid=6651 vsize=5520 CPUtime=0.37 cores=1,3,5,7
/proc/6652/stat : 6652 (npSolver-pbo) S 6651 6651 6137 0 -1 4202496 2314 17007 0 0 5 2 27 3 20 0 1 0 271960927 5652480 988 33554432000 4194304 5992684 140736145571536 140736145563856 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6652/statm: 1380 988 179 440 0 936 0
[pid=6695] ppid=6652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6695/stat : 6695 (satsolver.sh) S 6652 6651 6137 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271960966 9367552 267 33554432000 4194304 5064252 140735793596288 140735793595200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6695/statm: 2287 267 226 213 0 72 0
[pid=6696] ppid=6695 vsize=11620 CPUtime=2.7 cores=1,3,5,7
/proc/6696/stat : 6696 (glucose) R 6695 6651 6137 0 -1 4202496 3138 0 0 0 270 0 0 0 20 0 1 0 271960966 11898880 2282 33554432000 4194304 5208918 140735538666544 140735538664488 4229225 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6696/statm: 2905 2282 96 248 0 2654 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 35436
[startup+6.30023 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 6717
/proc/meminfo: memFree=27299700/32873660 swapFree=7108/7108
[pid=6651] ppid=6649 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6651/stat : 6651 (npSolver-pbo.sh) S 6649 6651 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271960927 9367552 275 33554432000 4194304 5064252 140735339966896 140735339965808 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6651/statm: 2287 275 233 213 0 72 0
[pid=6652] ppid=6651 vsize=5712 CPUtime=6.17 cores=1,3,5,7
/proc/6652/stat : 6652 (npSolver-pbo) S 6651 6651 6137 0 -1 4202496 3075 34604 0 0 6 2 601 8 20 0 1 0 271960927 5849088 1022 33554432000 4194304 5992684 140736145571536 140736145563856 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6652/statm: 1428 1022 179 440 0 984 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 14860
Solver just ended. Dumping a history of the last processes samples
[startup+7.10029 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 6731
/proc/meminfo: memFree=27298856/32873660 swapFree=7108/7108
[pid=6651] ppid=6649 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6651/stat : 6651 (npSolver-pbo.sh) S 6649 6651 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271960927 9367552 275 33554432000 4194304 5064252 140735339966896 140735339965808 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6651/statm: 2287 275 233 213 0 72 0
[pid=6652] ppid=6651 vsize=5712 CPUtime=6.17 cores=1,3,5,7
/proc/6652/stat : 6652 (npSolver-pbo) S 6651 6651 6137 0 -1 4202496 3075 34604 0 0 6 2 601 8 20 0 1 0 271960927 5849088 1022 33554432000 4194304 5992684 140736145571536 140736145563856 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6652/statm: 1428 1022 179 440 0 984 0
[pid=6730] ppid=6652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6730/stat : 6730 (satsolver.sh) S 6652 6651 6137 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271961547 9367552 266 33554432000 4194304 5064252 140733447369248 140733447368160 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6730/statm: 2287 266 226 213 0 72 0
[pid=6731] ppid=6730 vsize=8172 CPUtime=0.89 cores=1,3,5,7
/proc/6731/stat : 6731 (glucose) R 6730 6651 6137 0 -1 4202496 2084 0 0 0 89 0 0 0 20 0 1 0 271961547 8368128 1476 33554432000 4194304 5208918 140735000568512 140735000566360 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6731/statm: 2043 1476 96 248 0 1792 0
Current children cumulated CPU time (s) 7.06
Current children cumulated vsize (KiB) 32180
[startup+7.50029 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 6731
/proc/meminfo: memFree=27298856/32873660 swapFree=7108/7108
[pid=6651] ppid=6649 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6651/stat : 6651 (npSolver-pbo.sh) S 6649 6651 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271960927 9367552 275 33554432000 4194304 5064252 140735339966896 140735339965808 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6651/statm: 2287 275 233 213 0 72 0
[pid=6652] ppid=6651 vsize=5712 CPUtime=6.17 cores=1,3,5,7
/proc/6652/stat : 6652 (npSolver-pbo) S 6651 6651 6137 0 -1 4202496 3075 34604 0 0 6 2 601 8 20 0 1 0 271960927 5849088 1022 33554432000 4194304 5992684 140736145571536 140736145563856 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6652/statm: 1428 1022 179 440 0 984 0
[pid=6730] ppid=6652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6730/stat : 6730 (satsolver.sh) S 6652 6651 6137 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271961547 9367552 266 33554432000 4194304 5064252 140733447369248 140733447368160 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6730/statm: 2287 266 226 213 0 72 0
[pid=6731] ppid=6730 vsize=9900 CPUtime=1.29 cores=1,3,5,7
/proc/6731/stat : 6731 (glucose) R 6730 6651 6137 0 -1 4202496 2462 0 0 0 129 0 0 0 20 0 1 0 271961547 10137600 1852 33554432000 4194304 5208918 140735000568512 140735000566456 4205185 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6731/statm: 2475 1852 102 248 0 2224 0
Current children cumulated CPU time (s) 7.46
Current children cumulated vsize (KiB) 33908
[startup+7.9003 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 6731
/proc/meminfo: memFree=27296764/32873660 swapFree=7108/7108
[pid=6651] ppid=6649 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6651/stat : 6651 (npSolver-pbo.sh) S 6649 6651 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271960927 9367552 275 33554432000 4194304 5064252 140735339966896 140735339965808 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6651/statm: 2287 275 233 213 0 72 0
[pid=6652] ppid=6651 vsize=5712 CPUtime=6.17 cores=1,3,5,7
/proc/6652/stat : 6652 (npSolver-pbo) S 6651 6651 6137 0 -1 4202496 3075 34604 0 0 6 2 601 8 20 0 1 0 271960927 5849088 1022 33554432000 4194304 5992684 140736145571536 140736145563856 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6652/statm: 1428 1022 179 440 0 984 0
[pid=6730] ppid=6652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6730/stat : 6730 (satsolver.sh) S 6652 6651 6137 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271961547 9367552 266 33554432000 4194304 5064252 140733447369248 140733447368160 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6730/statm: 2287 266 226 213 0 72 0
[pid=6731] ppid=6730 vsize=9900 CPUtime=1.69 cores=1,3,5,7
/proc/6731/stat : 6731 (glucose) R 6730 6651 6137 0 -1 4202496 2546 0 0 0 169 0 0 0 20 0 1 0 271961547 10137600 1933 33554432000 4194304 5208918 140735000568512 140735000566456 4341505 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6731/statm: 2475 1935 106 248 0 2224 0
Current children cumulated CPU time (s) 7.86
Current children cumulated vsize (KiB) 33908
Child status: 0
Real time (s): 7.93556
CPU time (s): 7.92779
CPU user time (s): 7.79481
CPU system time (s): 0.132979
CPU usage (%): 99.9022
Max. virtual memory (cumulated for all children) (KiB): 37084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.79481
system time used= 0.132979
maximum resident set size= 12640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44764
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 175
involuntary context switches= 87
runsolver used 0 second user time and 0.056991 second system time
The end