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-3754518-1339195359/watcher-3754518-1339195359 -o /tmp/evaluation-result-3754518-1339195359/solver-3754518-1339195359 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3754518-1339195359.wbo 641943167 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: 1.92 1.98 1.99 3/179 29351
/proc/meminfo: memFree=24592828/32873844 swapFree=7628/7628
[pid=29351] ppid=29349 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29351/stat : 29351 (npSolver-wbo-I.) S 29349 29351 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385660245 9367552 275 33554432000 4194304 5064252 140734215579344 140734215578256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29351/statm: 2287 275 233 213 0 72 0
[startup+0.0349381 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 29351
/proc/meminfo: memFree=24592828/32873844 swapFree=7628/7628
[pid=29351] ppid=29349 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29351/stat : 29351 (npSolver-wbo-I.) S 29349 29351 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385660245 9367552 275 33554432000 4194304 5064252 140734215579344 140734215578256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29351/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100359 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 29351
/proc/meminfo: memFree=24592828/32873844 swapFree=7628/7628
[pid=29351] ppid=29349 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29351/stat : 29351 (npSolver-wbo-I.) S 29349 29351 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385660245 9367552 275 33554432000 4194304 5064252 140734215579344 140734215578256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29351/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300339 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 29351
/proc/meminfo: memFree=24592828/32873844 swapFree=7628/7628
[pid=29351] ppid=29349 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29351/stat : 29351 (npSolver-wbo-I.) S 29349 29351 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385660245 9367552 275 33554432000 4194304 5064252 140734215579344 140734215578256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29351/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70023 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 29351
/proc/meminfo: memFree=24592828/32873844 swapFree=7628/7628
[pid=29351] ppid=29349 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29351/stat : 29351 (npSolver-wbo-I.) S 29349 29351 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385660245 9367552 275 33554432000 4194304 5064252 140734215579344 140734215578256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29351/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5004 s]
/proc/loadavg: 1.92 1.98 1.99 3/183 29365
/proc/meminfo: memFree=24546948/32873844 swapFree=7628/7628
[pid=29351] ppid=29349 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29351/stat : 29351 (npSolver-wbo-I.) S 29349 29351 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385660245 9367552 275 33554432000 4194304 5064252 140734215579344 140734215578256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29351/statm: 2287 275 233 213 0 72 0
[pid=29352] ppid=29351 vsize=20092 CPUtime=0.16 cores=1,3,5,7
/proc/29352/stat : 29352 (npSolver-wbo) S 29351 29351 26543 0 -1 4202496 3453 5952 0 0 12 2 1 1 20 0 1 0 385660245 20574208 4321 33554432000 4194304 6006132 140737418638128 140737418629536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29352/statm: 5023 4321 179 443 0 4576 0
[pid=29364] ppid=29352 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29364/stat : 29364 (satsolver.sh) S 29352 29351 26543 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385660263 9367552 267 33554432000 4194304 5064252 140736266604912 140736266603824 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29364/statm: 2287 267 226 213 0 72 0
[pid=29365] ppid=29364 vsize=26576 CPUtime=1.31 cores=1,3,5,7
/proc/29365/stat : 29365 (glucose) R 29364 29351 26543 0 -1 4202496 5315 0 0 0 130 1 0 0 20 0 1 0 385660264 27213824 5501 33554432000 4194304 5208918 140735315530720 140735315528568 4211147 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29365/statm: 6644 5501 103 248 0 6393 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 64964
[startup+3.10039 s]
/proc/loadavg: 1.92 1.98 1.99 3/183 29372
/proc/meminfo: memFree=24551180/32873844 swapFree=7628/7628
[pid=29351] ppid=29349 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29351/stat : 29351 (npSolver-wbo-I.) S 29349 29351 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385660245 9367552 275 33554432000 4194304 5064252 140734215579344 140734215578256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29351/statm: 2287 275 233 213 0 72 0
[pid=29352] ppid=29351 vsize=20092 CPUtime=0.16 cores=1,3,5,7
/proc/29352/stat : 29352 (npSolver-wbo) S 29351 29351 26543 0 -1 4202496 3453 5952 0 0 12 2 1 1 20 0 1 0 385660245 20574208 4321 33554432000 4194304 6006132 140737418638128 140737418629536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29352/statm: 5023 4321 179 443 0 4576 0
[pid=29364] ppid=29352 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29364/stat : 29364 (satsolver.sh) S 29352 29351 26543 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385660263 9367552 267 33554432000 4194304 5064252 140736266604912 140736266603824 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29364/statm: 2287 267 226 213 0 72 0
[pid=29365] ppid=29364 vsize=27748 CPUtime=2.91 cores=1,3,5,7
/proc/29365/stat : 29365 (glucose) R 29364 29351 26543 0 -1 4202496 5577 0 0 0 290 1 0 0 20 0 1 0 385660264 28413952 5763 33554432000 4194304 5208918 140735315530720 140735315528472 4211635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29365/statm: 6937 5763 104 248 0 6686 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 66136
[startup+6.30033 s]
/proc/loadavg: 1.85 1.97 1.99 3/183 29478
/proc/meminfo: memFree=24541248/32873844 swapFree=7628/7628
[pid=29351] ppid=29349 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29351/stat : 29351 (npSolver-wbo-I.) S 29349 29351 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385660245 9367552 275 33554432000 4194304 5064252 140734215579344 140734215578256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29351/statm: 2287 275 233 213 0 72 0
[pid=29352] ppid=29351 vsize=20092 CPUtime=6.11 cores=1,3,5,7
/proc/29352/stat : 29352 (npSolver-wbo) S 29351 29351 26543 0 -1 4202496 5461 15700 0 0 21 3 580 7 20 0 1 0 385660245 20574208 4323 33554432000 4194304 6006132 140737418638128 140737418629536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29352/statm: 5023 4323 179 443 0 4576 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 29240
Solver just ended. Dumping a history of the last processes samples
[startup+7.1004 s]
/proc/loadavg: 1.85 1.97 1.99 3/183 29492
/proc/meminfo: memFree=24549144/32873844 swapFree=7628/7628
[pid=29351] ppid=29349 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29351/stat : 29351 (npSolver-wbo-I.) S 29349 29351 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385660245 9367552 275 33554432000 4194304 5064252 140734215579344 140734215578256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29351/statm: 2287 275 233 213 0 72 0
[pid=29352] ppid=29351 vsize=20092 CPUtime=6.11 cores=1,3,5,7
/proc/29352/stat : 29352 (npSolver-wbo) S 29351 29351 26543 0 -1 4202496 5461 15700 0 0 21 3 580 7 20 0 1 0 385660245 20574208 4323 33554432000 4194304 6006132 140737418638128 140737418629536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29352/statm: 5023 4323 179 443 0 4576 0
[pid=29487] ppid=29352 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29487/stat : 29487 (satsolver.sh) S 29352 29351 26543 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385660859 9367552 267 33554432000 4194304 5064252 140735192836320 140735192835232 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29487/statm: 2287 267 226 213 0 72 0
[pid=29488] ppid=29487 vsize=24472 CPUtime=0.95 cores=1,3,5,7
/proc/29488/stat : 29488 (glucose) R 29487 29351 26543 0 -1 4202496 5677 0 0 0 94 1 0 0 20 0 1 0 385660859 25059328 5032 33554432000 4194304 5208918 140735612276144 140735612274312 4465602 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29488/statm: 6118 5032 104 248 0 5867 0
Current children cumulated CPU time (s) 7.06
Current children cumulated vsize (KiB) 62860
[startup+7.50036 s]
/proc/loadavg: 1.85 1.97 1.99 3/183 29492
/proc/meminfo: memFree=24549144/32873844 swapFree=7628/7628
[pid=29351] ppid=29349 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29351/stat : 29351 (npSolver-wbo-I.) S 29349 29351 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385660245 9367552 275 33554432000 4194304 5064252 140734215579344 140734215578256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29351/statm: 2287 275 233 213 0 72 0
[pid=29352] ppid=29351 vsize=20092 CPUtime=7.47 cores=1,3,5,7
/proc/29352/stat : 29352 (npSolver-wbo) S 29351 29351 26543 0 -1 4202496 8170 31789 0 0 30 4 696 17 20 0 1 0 385660245 20574208 4324 33554432000 4194304 6006132 140737418638128 140737418629536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29352/statm: 5023 4324 180 443 0 4576 0
Current children cumulated CPU time (s) 7.47
Current children cumulated vsize (KiB) 29240
[startup+7.60022 s]
/proc/loadavg: 1.85 1.97 1.99 3/183 29509
/proc/meminfo: memFree=24566976/32873844 swapFree=7628/7628
[pid=29351] ppid=29349 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29351/stat : 29351 (npSolver-wbo-I.) S 29349 29351 26543 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385660245 9367552 275 33554432000 4194304 5064252 140734215579344 140734215578256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29351/statm: 2287 275 233 213 0 72 0
[pid=29352] ppid=29351 vsize=20092 CPUtime=7.52 cores=1,3,5,7
/proc/29352/stat : 29352 (npSolver-wbo) S 29351 29351 26543 0 -1 4202496 8179 35302 0 0 30 4 700 18 20 0 1 0 385660245 20574208 4324 33554432000 4194304 6006132 140737418638128 140737418629024 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29352/statm: 5023 4324 180 443 0 4576 0
[pid=29507] ppid=29352 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29507/stat : 29507 (cp2_post.sh) S 29352 29351 26543 0 -1 4202496 610 225 0 0 0 0 0 0 20 0 1 0 385660999 9367552 265 33554432000 4194304 5064252 140733252262656 140733252260944 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29507/statm: 2287 265 225 213 0 72 0
[pid=29509] ppid=29507 vsize=7060 CPUtime=0.05 cores=1,3,5,7
/proc/29509/stat : 29509 (coprocessor) R 29507 29351 26543 0 -1 4202496 924 0 0 0 3 2 0 0 20 0 1 0 385660999 7229440 1181 33554432000 4194304 6586260 140734141027456 140734141024376 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/29509/statm: 1765 1181 148 584 0 1177 0
Current children cumulated CPU time (s) 7.57
Current children cumulated vsize (KiB) 45448
Child status: 0
Real time (s): 7.67241
CPU time (s): 7.67083
CPU user time (s): 7.37388
CPU system time (s): 0.296954
CPU usage (%): 99.9795
Max. virtual memory (cumulated for all children) (KiB): 66340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.37388
system time used= 0.296954
maximum resident set size= 29768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62046
page faults= 0
swaps= 0
block input operations= 0
block output operations= 38936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 326
involuntary context switches= 115
runsolver used 0.010998 second user time and 0.06499 second system time
The end