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-3753801-1339201221/watcher-3753801-1339201221 -o /tmp/evaluation-result-3753801-1339201221/solver-3753801-1339201221 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753801-1339201221.wbo 1679920254 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.99 2.02 2.00 3/182 22312
/proc/meminfo: memFree=31316916/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[startup+0.0591571 s]
/proc/loadavg: 1.99 2.02 2.00 3/182 22312
/proc/meminfo: memFree=31316916/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100248 s]
/proc/loadavg: 1.99 2.02 2.00 3/182 22312
/proc/meminfo: memFree=31316916/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300283 s]
/proc/loadavg: 1.99 2.02 2.00 3/182 22312
/proc/meminfo: memFree=31316916/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700269 s]
/proc/loadavg: 1.99 2.02 2.00 3/182 22312
/proc/meminfo: memFree=31316916/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50038 s]
/proc/loadavg: 1.99 2.02 2.00 3/186 22326
/proc/meminfo: memFree=31269928/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=0.15 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 3957 4916 0 0 12 2 1 0 20 0 1 0 30089041 20500480 4336 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22313/statm: 5005 4336 179 443 0 4558 0
[pid=22325] ppid=22313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22325/stat : 22325 (satsolver.sh) S 22313 22312 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30089059 9367552 267 33554432000 4194304 5064252 140735825610688 140735825609600 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22325/statm: 2287 267 226 213 0 72 0
[pid=22326] ppid=22325 vsize=26984 CPUtime=1.31 cores=1,3,5,7
/proc/22326/stat : 22326 (glucose) R 22325 22312 17075 0 -1 4202496 5574 0 0 0 130 1 0 0 20 0 1 0 30089059 27631616 5696 33554432000 4194304 5208918 140734095241104 140734095238952 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22326/statm: 6746 5696 103 248 0 6495 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 65300
[startup+3.10043 s]
/proc/loadavg: 1.99 2.02 2.00 3/186 22326
/proc/meminfo: memFree=31268936/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=0.15 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 3957 4916 0 0 12 2 1 0 20 0 1 0 30089041 20500480 4336 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22313/statm: 5005 4336 179 443 0 4558 0
[pid=22325] ppid=22313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22325/stat : 22325 (satsolver.sh) S 22313 22312 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30089059 9367552 267 33554432000 4194304 5064252 140735825610688 140735825609600 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22325/statm: 2287 267 226 213 0 72 0
[pid=22326] ppid=22325 vsize=27688 CPUtime=2.91 cores=1,3,5,7
/proc/22326/stat : 22326 (glucose) R 22325 22312 17075 0 -1 4202496 5821 0 0 0 290 1 0 0 20 0 1 0 30089059 28352512 5943 33554432000 4194304 5208918 140734095241104 140734095238952 4211901 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22326/statm: 6922 5943 103 248 0 6671 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 66004
[startup+6.30033 s]
/proc/loadavg: 1.99 2.02 2.00 3/186 22333
/proc/meminfo: memFree=31268004/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=4.22 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 5976 14094 0 0 23 3 390 6 20 0 1 0 30089041 20500480 4336 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22313/statm: 5005 4336 179 443 0 4558 0
[pid=22332] ppid=22313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22332/stat : 22332 (satsolver.sh) S 22313 22312 17075 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 30089465 9367552 266 33554432000 4194304 5064252 140734109200128 140734109199040 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22332/statm: 2287 266 226 213 0 72 0
[pid=22333] ppid=22332 vsize=28020 CPUtime=2.05 cores=1,3,5,7
/proc/22333/stat : 22333 (glucose) R 22332 22312 17075 0 -1 4202496 5909 0 0 0 204 1 0 0 20 0 1 0 30089465 28692480 5977 33554432000 4194304 5208918 140736091740624 140736091738456 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22333/statm: 7005 5977 103 248 0 6754 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 66336
[startup+12.7004 s]
/proc/loadavg: 1.99 2.02 2.00 3/186 22340
/proc/meminfo: memFree=31269280/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=10.61 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 7995 23525 0 0 34 5 1010 12 20 0 1 0 30089041 20500480 4336 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22313/statm: 5005 4336 179 443 0 4558 0
[pid=22339] ppid=22313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22339/stat : 22339 (satsolver.sh) S 22313 22312 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30090103 9367552 267 33554432000 4194304 5064252 140736107630832 140736107629744 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22339/statm: 2287 267 226 213 0 72 0
[pid=22340] ppid=22339 vsize=27100 CPUtime=2.06 cores=1,3,5,7
/proc/22340/stat : 22340 (glucose) R 22339 22312 17075 0 -1 4202496 5339 0 0 0 205 1 0 0 20 0 1 0 30090104 27750400 5610 33554432000 4194304 5208918 140733759071040 140733759068792 4210976 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22340/statm: 6775 5610 103 248 0 6524 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 65416
[startup+25.5003 s]
/proc/loadavg: 1.99 2.02 2.00 3/186 22354
/proc/meminfo: memFree=31267268/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=25.47 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 14052 51644 0 0 67 8 2441 31 20 0 1 0 30089041 20500480 4336 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22313/statm: 5005 4336 179 443 0 4558 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 29168
[startup+51.1004 s]
/proc/loadavg: 1.99 2.01 2.00 3/185 22389
/proc/meminfo: memFree=31267360/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=46.23 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 22128 90279 0 0 110 13 4444 56 20 0 1 0 30089041 20500480 4336 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22313/statm: 5005 4336 179 443 0 4558 0
[pid=22388] ppid=22313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22388/stat : 22388 (satsolver.sh) S 22313 22312 17075 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 30093667 9367552 267 33554432000 4194304 5064252 140736537110976 140736537109888 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22388/statm: 2287 267 226 213 0 72 0
[pid=22389] ppid=22388 vsize=32204 CPUtime=4.83 cores=1,3,5,7
/proc/22389/stat : 22389 (glucose) R 22388 22312 17075 0 -1 4202496 6142 0 0 0 482 1 0 0 20 0 1 0 30093667 32976896 6265 33554432000 4194304 5208918 140735398568208 140735398566056 4211049 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22389/statm: 8051 6265 103 248 0 7800 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 70520
[startup+102.307 s]
/proc/loadavg: 2.10 2.04 2.00 3/185 22466
/proc/meminfo: memFree=31274036/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=101.17 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 42318 188338 0 0 220 25 9755 117 20 0 1 0 30089041 20500480 4336 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22313/statm: 5005 4336 179 443 0 4558 0
[pid=22465] ppid=22313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22465/stat : 22465 (satsolver.sh) S 22313 22312 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30099162 9367552 266 33554432000 4194304 5064252 140733214952512 140733214951424 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22465/statm: 2287 266 226 213 0 72 0
[pid=22466] ppid=22465 vsize=26312 CPUtime=1.08 cores=1,3,5,7
/proc/22466/stat : 22466 (glucose) R 22465 22312 17075 0 -1 4202496 5542 0 0 0 107 1 0 0 20 0 1 0 30099162 26943488 5284 33554432000 4194304 5208918 140733883274560 140733883272456 4211620 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22466/statm: 6578 5284 102 248 0 6327 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 64628
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/185 22565
/proc/meminfo: memFree=31268052/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=159.99 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 70584 321966 0 0 374 40 15391 194 20 0 1 0 30089041 20500480 4336 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22313/statm: 5005 4336 179 443 0 4558 0
[pid=22564] ppid=22313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22564/stat : 22564 (satsolver.sh) S 22313 22312 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30105047 9367552 266 33554432000 4194304 5064252 140736869257248 140736869256160 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22564/statm: 2287 266 226 213 0 72 0
[pid=22565] ppid=22564 vsize=27392 CPUtime=2.23 cores=1,3,5,7
/proc/22565/stat : 22565 (glucose) R 22564 22312 17075 0 -1 4202496 5859 0 0 0 222 1 0 0 20 0 1 0 30105048 28049408 6106 33554432000 4194304 5208918 140734350023904 140734350021656 4211732 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22565/statm: 6848 6106 103 248 0 6597 0
Current children cumulated CPU time (s) 162.22
################
# More data... #
################
[startup+642.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/185 23874
/proc/meminfo: memFree=31624432/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=639.56 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 285935 1343232 0 0 1494 163 61513 786 20 0 1 0 30089041 20500480 4336 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/22313/statm: 5005 4336 179 443 0 4558 0
[pid=23873] ppid=22313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23873/stat : 23873 (satsolver.sh) S 22313 22312 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30153099 9367552 267 33554432000 4194304 5064252 140736842343968 140736842342880 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23873/statm: 2287 267 226 213 0 72 0
[pid=23874] ppid=23873 vsize=26068 CPUtime=1.71 cores=1,3,5,7
/proc/23874/stat : 23874 (glucose) R 23873 22312 17075 0 -1 4202496 5919 0 0 0 170 1 0 0 20 0 1 0 30153099 26693632 5229 33554432000 4194304 5208918 140733581858720 140733581855096 4211501 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23874/statm: 6517 5229 105 248 0 6266 0
Current children cumulated CPU time (s) 641.27
Current children cumulated vsize (KiB) 64384
[startup+702.3 s]
/proc/loadavg: 2.10 2.08 2.02 3/185 24133
/proc/meminfo: memFree=31633168/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=700.74 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 318063 1495124 0 0 1657 180 67365 872 20 0 1 0 30089041 20500480 4336 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/22313/statm: 5005 4336 179 443 0 4558 0
[pid=24132] ppid=22313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24132/stat : 24132 (satsolver.sh) S 22313 22312 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30159218 9367552 266 33554432000 4194304 5064252 140733220528512 140733220527424 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24132/statm: 2287 266 226 213 0 72 0
[pid=24133] ppid=24132 vsize=25376 CPUtime=0.52 cores=1,3,5,7
/proc/24133/stat : 24133 (glucose) R 24132 22312 17075 0 -1 4202496 5634 0 0 0 51 1 0 0 20 0 1 0 30159218 25985024 5471 33554432000 4194304 5208918 140734545480176 140734545478024 4465602 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24133/statm: 6344 5471 104 248 0 6093 0
Current children cumulated CPU time (s) 701.26
Current children cumulated vsize (KiB) 63692
[startup+762.3 s]
/proc/loadavg: 2.12 2.09 2.02 3/185 24442
/proc/meminfo: memFree=31623408/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=758.83 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 352199 1652114 0 0 1828 199 72893 963 20 0 1 0 30089041 20500480 4336 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/22313/statm: 5005 4336 179 443 0 4558 0
[pid=24434] ppid=22313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24434/stat : 24434 (satsolver.sh) S 22313 22312 17075 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 30165035 9367552 267 33554432000 4194304 5064252 140734772409712 140734772408624 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24434/statm: 2287 267 226 213 0 72 0
[pid=24435] ppid=24434 vsize=26376 CPUtime=2.35 cores=1,3,5,7
/proc/24435/stat : 24435 (glucose) R 24434 22312 17075 0 -1 4202496 5358 0 0 0 234 1 0 0 20 0 1 0 30165035 27009024 5734 33554432000 4194304 5208918 140735461532672 140735461530632 4211160 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24435/statm: 6594 5734 105 248 0 6343 0
Current children cumulated CPU time (s) 761.18
Current children cumulated vsize (KiB) 64692
[startup+822.3 s]
/proc/loadavg: 2.04 2.07 2.01 3/183 24842
/proc/meminfo: memFree=31664576/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=820.54 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 382319 1795507 0 0 1979 216 78814 1045 20 0 1 0 30089041 20500480 4336 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 4 0 0
/proc/22313/statm: 5005 4336 179 443 0 4558 0
Current children cumulated CPU time (s) 820.54
Current children cumulated vsize (KiB) 29168
[startup+882.307 s]
/proc/loadavg: 2.03 2.06 2.01 3/183 25329
/proc/meminfo: memFree=31663752/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=880.92 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 416455 1950159 0 0 2136 234 84593 1129 20 0 1 0 30089041 20500480 4337 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/22313/statm: 5005 4337 179 443 0 4558 0
Current children cumulated CPU time (s) 880.92
Current children cumulated vsize (KiB) 29168
[startup+942.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/185 25640
/proc/meminfo: memFree=27550136/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=939.06 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 454607 2120801 0 0 2311 253 90119 1223 20 0 1 0 30089041 20500480 4337 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/22313/statm: 5005 4337 179 443 0 4558 0
[pid=25639] ppid=22313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25639/stat : 25639 (satsolver.sh) S 22313 22312 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30183089 9367552 266 33554432000 4194304 5064252 140737353076768 140737353075680 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25639/statm: 2287 266 226 213 0 72 0
[pid=25640] ppid=25639 vsize=23888 CPUtime=1.81 cores=1,3,5,7
/proc/25640/stat : 25640 (glucose) R 25639 22312 17075 0 -1 4202496 5171 0 0 0 181 0 0 0 20 0 1 0 30183089 24461312 4856 33554432000 4194304 5208918 140734097384032 140734097381784 4229577 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25640/statm: 5972 4856 105 248 0 5721 0
Current children cumulated CPU time (s) 940.87
Current children cumulated vsize (KiB) 62204
[startup+1002.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/185 25794
/proc/meminfo: memFree=27548664/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=999.24 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 498783 2318907 0 0 2515 276 95806 1327 20 0 1 0 30089041 20500480 4337 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/22313/statm: 5005 4337 179 443 0 4558 0
[pid=25793] ppid=22313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25793/stat : 25793 (satsolver.sh) S 22313 22312 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30189116 9367552 266 33554432000 4194304 5064252 140735014910944 140735014909856 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25793/statm: 2287 266 226 213 0 72 0
[pid=25794] ppid=25793 vsize=24000 CPUtime=1.54 cores=1,3,5,7
/proc/25794/stat : 25794 (glucose) R 25793 22312 17075 0 -1 4202496 5224 0 0 0 153 1 0 0 20 0 1 0 30189116 24576000 4883 33554432000 4194304 5208918 140737239766256 140737239764408 4229296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25794/statm: 6000 4883 105 248 0 5749 0
Current children cumulated CPU time (s) 1000.78
Current children cumulated vsize (KiB) 62316
[startup+1062.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/185 25928
/proc/meminfo: memFree=27551200/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=1057.62 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 536930 2479436 0 0 2677 294 101378 1413 20 0 1 0 30089041 20500480 4343 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/22313/statm: 5005 4343 179 443 0 4558 0
[pid=25927] ppid=22313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25927/stat : 25927 (satsolver.sh) S 22313 22312 17075 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 30194963 9367552 266 33554432000 4194304 5064252 140736673262464 140736673261376 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25927/statm: 2287 266 226 213 0 72 0
[pid=25928] ppid=25927 vsize=19948 CPUtime=3.07 cores=1,3,5,7
/proc/25928/stat : 25928 (glucose) R 25927 22312 17075 0 -1 4202496 4350 0 0 0 307 0 0 0 20 0 1 0 30194963 20426752 4412 33554432000 4194304 5208918 140734613611904 140734613609736 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25928/statm: 4987 4412 105 248 0 4736 0
Current children cumulated CPU time (s) 1060.69
Current children cumulated vsize (KiB) 58264
[startup+1122.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/185 26152
/proc/meminfo: memFree=27555640/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=1120.58 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 601662 2731752 0 0 2915 320 107276 1547 20 0 1 0 30089041 20500480 4357 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/22313/statm: 5005 4357 180 443 0 4558 0
Current children cumulated CPU time (s) 1120.58
Current children cumulated vsize (KiB) 29168
Solver just ended. Dumping a history of the last processes samples
[startup+1122.4 s]
/proc/loadavg: 2.03 2.05 2.00 3/185 26152
/proc/meminfo: memFree=27555640/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=1120.64 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 601670 2736295 0 0 2915 320 107281 1548 20 0 1 0 30089041 20500480 4357 33554432000 4194304 6006132 140736590352368 140736590343248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/22313/statm: 5005 4357 180 443 0 4558 0
Current children cumulated CPU time (s) 1120.64
Current children cumulated vsize (KiB) 29168
[startup+1122.5 s]
/proc/loadavg: 2.03 2.05 2.00 3/185 26152
/proc/meminfo: memFree=27555640/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=1120.79 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) R 22312 22312 17075 0 -1 4202496 602263 2741795 0 0 2916 320 107290 1553 20 0 1 0 30089041 20500480 4357 33554432000 4194304 6006132 140736590352368 140736590343760 4919041 0 65536 4102 0 0 0 0 17 3 0 0 10 0 0
/proc/22313/statm: 5005 4357 180 443 0 4558 0
Current children cumulated CPU time (s) 1120.79
Current children cumulated vsize (KiB) 29168
Child status: 0
Real time (s): 1122.6
CPU time (s): 1120.92
CPU user time (s): 1102.13
CPU system time (s): 18.7871
CPU usage (%): 99.8504
Max. virtual memory (cumulated for all children) (KiB): 78448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1102.13
system time used= 18.7871
maximum resident set size= 40060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3352512
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3796080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19586
involuntary context switches= 4486
runsolver used 2.49062 second user time and 7.09592 second system time
The end