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-3750978-1339129410/watcher-3750978-1339129410 -o /tmp/evaluation-result-3750978-1339129410/solver-3750978-1339129410 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750978-1339129410.opb 1052922616 HOME HOME
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: 2.01 2.01 2.00 3/179 12552
/proc/meminfo: memFree=27635664/32873660 swapFree=7120/7120
[pid=12552] ppid=12550 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/12552/stat : 12552 (npSolver-pbo.sh) R 12550 12552 9300 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 379066766 9371648 179 33554432000 4194304 5064252 140736083416208 140735179357432 270329729536 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12552/statm: 2287 190 161 213 0 72 0
[startup+0.020982 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12552
/proc/meminfo: memFree=27635664/32873660 swapFree=7120/7120
[pid=12552] ppid=12550 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12552/stat : 12552 (npSolver-pbo.sh) S 12550 12552 9300 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379066766 9367552 275 33554432000 4194304 5064252 140736083416208 140736083415120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12552/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100175 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12552
/proc/meminfo: memFree=27635664/32873660 swapFree=7120/7120
[pid=12552] ppid=12550 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12552/stat : 12552 (npSolver-pbo.sh) S 12550 12552 9300 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379066766 9367552 275 33554432000 4194304 5064252 140736083416208 140736083415120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12552/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300117 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12552
/proc/meminfo: memFree=27635664/32873660 swapFree=7120/7120
[pid=12552] ppid=12550 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12552/stat : 12552 (npSolver-pbo.sh) S 12550 12552 9300 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379066766 9367552 275 33554432000 4194304 5064252 140736083416208 140736083415120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12552/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700096 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12552
/proc/meminfo: memFree=27635664/32873660 swapFree=7120/7120
[pid=12552] ppid=12550 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12552/stat : 12552 (npSolver-pbo.sh) S 12550 12552 9300 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379066766 9367552 275 33554432000 4194304 5064252 140736083416208 140736083415120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12552/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5002 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 12580
/proc/meminfo: memFree=27633384/32873660 swapFree=7120/7120
[pid=12552] ppid=12550 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12552/stat : 12552 (npSolver-pbo.sh) S 12550 12552 9300 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379066766 9367552 275 33554432000 4194304 5064252 140736083416208 140736083415120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12552/statm: 2287 275 233 213 0 72 0
[pid=12554] ppid=12552 vsize=2520 CPUtime=0.92 cores=0,2,4,6
/proc/12554/stat : 12554 (npSolver-pbo) S 12552 12552 9300 0 -1 4202496 1533 14743 0 0 1 1 87 3 20 0 1 0 379066766 2580480 284 33554432000 4194304 6004724 140737305961824 140737305954176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12554/statm: 630 284 163 442 0 184 0
[pid=12579] ppid=12554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12579/stat : 12579 (satsolver.sh) S 12554 12552 9300 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379066860 9367552 267 33554432000 4194304 5064252 140733999095520 140733999094432 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12579/statm: 2287 267 226 213 0 72 0
[pid=12580] ppid=12579 vsize=7196 CPUtime=0.55 cores=0,2,4,6
/proc/12580/stat : 12580 (glucose) R 12579 12552 9300 0 -1 4202496 1483 0 0 0 55 0 0 0 20 0 1 0 379066860 7368704 1007 33554432000 4194304 5208918 140736370268320 140736370266264 4228992 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12580/statm: 1799 1007 104 248 0 1548 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 28012
[startup+3.1002 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 12580
/proc/meminfo: memFree=27626512/32873660 swapFree=7120/7120
[pid=12552] ppid=12550 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12552/stat : 12552 (npSolver-pbo.sh) S 12550 12552 9300 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379066766 9367552 275 33554432000 4194304 5064252 140736083416208 140736083415120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12552/statm: 2287 275 233 213 0 72 0
[pid=12554] ppid=12552 vsize=2520 CPUtime=0.92 cores=0,2,4,6
/proc/12554/stat : 12554 (npSolver-pbo) S 12552 12552 9300 0 -1 4202496 1533 14743 0 0 1 1 87 3 20 0 1 0 379066766 2580480 284 33554432000 4194304 6004724 140737305961824 140737305954176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12554/statm: 630 284 163 442 0 184 0
[pid=12579] ppid=12554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12579/stat : 12579 (satsolver.sh) S 12554 12552 9300 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379066860 9367552 267 33554432000 4194304 5064252 140733999095520 140733999094432 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12579/statm: 2287 267 226 213 0 72 0
[pid=12580] ppid=12579 vsize=8956 CPUtime=2.15 cores=0,2,4,6
/proc/12580/stat : 12580 (glucose) R 12579 12552 9300 0 -1 4202496 2123 0 0 0 215 0 0 0 20 0 1 0 379066860 9170944 1622 33554432000 4194304 5208918 140736370268320 140736370266264 4229247 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12580/statm: 2239 1622 104 248 0 1988 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 29772
[startup+6.3002 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 12580
/proc/meminfo: memFree=27619632/32873660 swapFree=7120/7120
[pid=12552] ppid=12550 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12552/stat : 12552 (npSolver-pbo.sh) S 12550 12552 9300 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379066766 9367552 275 33554432000 4194304 5064252 140736083416208 140736083415120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12552/statm: 2287 275 233 213 0 72 0
[pid=12554] ppid=12552 vsize=2520 CPUtime=0.92 cores=0,2,4,6
/proc/12554/stat : 12554 (npSolver-pbo) S 12552 12552 9300 0 -1 4202496 1533 14743 0 0 1 1 87 3 20 0 1 0 379066766 2580480 284 33554432000 4194304 6004724 140737305961824 140737305954176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12554/statm: 630 284 163 442 0 184 0
[pid=12579] ppid=12554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12579/stat : 12579 (satsolver.sh) S 12554 12552 9300 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379066860 9367552 267 33554432000 4194304 5064252 140733999095520 140733999094432 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12579/statm: 2287 267 226 213 0 72 0
[pid=12580] ppid=12579 vsize=12488 CPUtime=5.34 cores=0,2,4,6
/proc/12580/stat : 12580 (glucose) R 12579 12552 9300 0 -1 4202496 3258 0 0 0 534 0 0 0 20 0 1 0 379066860 12787712 2690 33554432000 4194304 5208918 140736370268320 140736370266184 4229365 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12580/statm: 3122 2690 104 248 0 2871 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 33304
Solver just ended. Dumping a history of the last processes samples
[startup+7.10026 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 12580
/proc/meminfo: memFree=27617344/32873660 swapFree=7120/7120
[pid=12552] ppid=12550 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12552/stat : 12552 (npSolver-pbo.sh) S 12550 12552 9300 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379066766 9367552 275 33554432000 4194304 5064252 140736083416208 140736083415120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12552/statm: 2287 275 233 213 0 72 0
[pid=12554] ppid=12552 vsize=2520 CPUtime=0.92 cores=0,2,4,6
/proc/12554/stat : 12554 (npSolver-pbo) S 12552 12552 9300 0 -1 4202496 1533 14743 0 0 1 1 87 3 20 0 1 0 379066766 2580480 284 33554432000 4194304 6004724 140737305961824 140737305954176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12554/statm: 630 284 163 442 0 184 0
[pid=12579] ppid=12554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12579/stat : 12579 (satsolver.sh) S 12554 12552 9300 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379066860 9367552 267 33554432000 4194304 5064252 140733999095520 140733999094432 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12579/statm: 2287 267 226 213 0 72 0
[pid=12580] ppid=12579 vsize=13604 CPUtime=6.14 cores=0,2,4,6
/proc/12580/stat : 12580 (glucose) R 12579 12552 9300 0 -1 4202496 3410 0 0 0 614 0 0 0 20 0 1 0 379066860 13930496 2830 33554432000 4194304 5208918 140736370268320 140736370266168 4229026 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12580/statm: 3401 2830 104 248 0 3150 0
Current children cumulated CPU time (s) 7.06
Current children cumulated vsize (KiB) 34420
[startup+7.3002 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 12580
/proc/meminfo: memFree=27617344/32873660 swapFree=7120/7120
[pid=12552] ppid=12550 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12552/stat : 12552 (npSolver-pbo.sh) S 12550 12552 9300 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379066766 9367552 275 33554432000 4194304 5064252 140736083416208 140736083415120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12552/statm: 2287 275 233 213 0 72 0
[pid=12554] ppid=12552 vsize=2520 CPUtime=0.92 cores=0,2,4,6
/proc/12554/stat : 12554 (npSolver-pbo) S 12552 12552 9300 0 -1 4202496 1533 14743 0 0 1 1 87 3 20 0 1 0 379066766 2580480 284 33554432000 4194304 6004724 140737305961824 140737305954176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12554/statm: 630 284 163 442 0 184 0
[pid=12579] ppid=12554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12579/stat : 12579 (satsolver.sh) S 12554 12552 9300 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379066860 9367552 267 33554432000 4194304 5064252 140733999095520 140733999094432 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12579/statm: 2287 267 226 213 0 72 0
[pid=12580] ppid=12579 vsize=13604 CPUtime=6.34 cores=0,2,4,6
/proc/12580/stat : 12580 (glucose) R 12579 12552 9300 0 -1 4202496 3410 0 0 0 634 0 0 0 20 0 1 0 379066860 13930496 2830 33554432000 4194304 5208918 140736370268320 140736370266168 4229483 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12580/statm: 3401 2830 104 248 0 3150 0
Current children cumulated CPU time (s) 7.26
Current children cumulated vsize (KiB) 34420
[startup+7.4002 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 12580
/proc/meminfo: memFree=27617344/32873660 swapFree=7120/7120
[pid=12552] ppid=12550 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12552/stat : 12552 (npSolver-pbo.sh) S 12550 12552 9300 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379066766 9367552 275 33554432000 4194304 5064252 140736083416208 140736083415120 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12552/statm: 2287 275 233 213 0 72 0
[pid=12554] ppid=12552 vsize=2520 CPUtime=7.37 cores=0,2,4,6
/proc/12554/stat : 12554 (npSolver-pbo) S 12552 12552 9300 0 -1 4202496 1540 18760 0 0 1 1 732 3 20 0 1 0 379066766 2580480 284 33554432000 4194304 6004724 140737305961824 140737305953664 5186782 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12554/statm: 630 284 163 442 0 184 0
Current children cumulated CPU time (s) 7.37
Current children cumulated vsize (KiB) 11668
Child status: 0
Real time (s): 7.40718
CPU time (s): 7.40287
CPU user time (s): 7.34188
CPU system time (s): 0.06099
CPU usage (%): 99.9418
Max. virtual memory (cumulated for all children) (KiB): 34420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.34188
system time used= 0.06099
maximum resident set size= 29432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22954
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56
involuntary context switches= 68
runsolver used 0.011998 second user time and 0.044993 second system time
The end