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-3753594-1339190167/watcher-3753594-1339190167 -o /tmp/evaluation-result-3753594-1339190167/solver-3753594-1339190167 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753594-1339190167.wbo 953560185 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.00 2.00 2.00 3/181 19284
/proc/meminfo: memFree=31666868/32873844 swapFree=7124/7124
[pid=19284] ppid=19282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19284/stat : 19284 (npSolver-wbo-It) S 19282 19284 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28983662 9367552 274 33554432000 4194304 5064252 140734359224880 140734359223792 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19284/statm: 2287 274 233 213 0 72 0
[startup+0.071648 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19284
/proc/meminfo: memFree=31666868/32873844 swapFree=7124/7124
[pid=19284] ppid=19282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19284/stat : 19284 (npSolver-wbo-It) S 19282 19284 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28983662 9367552 274 33554432000 4194304 5064252 140734359224880 140734359223792 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19284/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100305 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19284
/proc/meminfo: memFree=31666868/32873844 swapFree=7124/7124
[pid=19284] ppid=19282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19284/stat : 19284 (npSolver-wbo-It) S 19282 19284 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28983662 9367552 274 33554432000 4194304 5064252 140734359224880 140734359223792 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19284/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300271 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19284
/proc/meminfo: memFree=31666868/32873844 swapFree=7124/7124
[pid=19284] ppid=19282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19284/stat : 19284 (npSolver-wbo-It) S 19282 19284 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28983662 9367552 274 33554432000 4194304 5064252 140734359224880 140734359223792 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19284/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700245 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19284
/proc/meminfo: memFree=31666868/32873844 swapFree=7124/7124
[pid=19284] ppid=19282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19284/stat : 19284 (npSolver-wbo-It) S 19282 19284 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28983662 9367552 274 33554432000 4194304 5064252 140734359224880 140734359223792 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19284/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 19305
/proc/meminfo: memFree=31612156/32873844 swapFree=7124/7124
[pid=19284] ppid=19282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19284/stat : 19284 (npSolver-wbo-It) S 19282 19284 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28983662 9367552 274 33554432000 4194304 5064252 140734359224880 140734359223792 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19284/statm: 2287 274 233 213 0 72 0
[pid=19285] ppid=19284 vsize=37980 CPUtime=0.92 cores=1,3,5,7
/proc/19285/stat : 19285 (npSolver-wbo) S 19284 19284 17075 0 -1 4202496 8111 19596 0 0 37 7 39 9 20 0 1 0 28983662 38891520 8136 33554432000 4194304 6006132 140734776082000 140734776073392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19285/statm: 9495 8136 179 443 0 9048 0
[pid=19304] ppid=19285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19304/stat : 19304 (satsolver.sh) S 19285 19284 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 28983757 9367552 266 33554432000 4194304 5064252 140733760064256 140733760063168 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19304/statm: 2287 266 226 213 0 72 0
[pid=19305] ppid=19304 vsize=35224 CPUtime=0.54 cores=1,3,5,7
/proc/19305/stat : 19305 (glucose) R 19304 19284 17075 0 -1 4202496 8609 0 0 0 53 1 0 0 20 0 1 0 28983757 36069376 7763 33554432000 4194304 5208918 140734908131376 140734907080776 4211176 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19305/statm: 8806 7763 104 248 0 8555 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 91500
[startup+3.10038 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 19305
/proc/meminfo: memFree=31592180/32873844 swapFree=7124/7124
[pid=19284] ppid=19282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19284/stat : 19284 (npSolver-wbo-It) S 19282 19284 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28983662 9367552 274 33554432000 4194304 5064252 140734359224880 140734359223792 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19284/statm: 2287 274 233 213 0 72 0
[pid=19285] ppid=19284 vsize=37980 CPUtime=0.92 cores=1,3,5,7
/proc/19285/stat : 19285 (npSolver-wbo) S 19284 19284 17075 0 -1 4202496 8111 19596 0 0 37 7 39 9 20 0 1 0 28983662 38891520 8136 33554432000 4194304 6006132 140734776082000 140734776073392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19285/statm: 9495 8136 179 443 0 9048 0
[pid=19304] ppid=19285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19304/stat : 19304 (satsolver.sh) S 19285 19284 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 28983757 9367552 266 33554432000 4194304 5064252 140733760064256 140733760063168 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19304/statm: 2287 266 226 213 0 72 0
[pid=19305] ppid=19304 vsize=35920 CPUtime=2.14 cores=1,3,5,7
/proc/19305/stat : 19305 (glucose) R 19304 19284 17075 0 -1 4202496 8902 0 0 0 213 1 0 0 20 0 1 0 28983757 36782080 8050 33554432000 4194304 5208918 140734908131376 140734908129224 4231665 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19305/statm: 8980 8050 104 248 0 8729 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 92196
[startup+6.30042 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 19305
/proc/meminfo: memFree=31586668/32873844 swapFree=7124/7124
[pid=19284] ppid=19282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19284/stat : 19284 (npSolver-wbo-It) S 19282 19284 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28983662 9367552 274 33554432000 4194304 5064252 140734359224880 140734359223792 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19284/statm: 2287 274 233 213 0 72 0
[pid=19285] ppid=19284 vsize=37980 CPUtime=0.92 cores=1,3,5,7
/proc/19285/stat : 19285 (npSolver-wbo) S 19284 19284 17075 0 -1 4202496 8111 19596 0 0 37 7 39 9 20 0 1 0 28983662 38891520 8136 33554432000 4194304 6006132 140734776082000 140734776073392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19285/statm: 9495 8136 179 443 0 9048 0
[pid=19304] ppid=19285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19304/stat : 19304 (satsolver.sh) S 19285 19284 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 28983757 9367552 266 33554432000 4194304 5064252 140733760064256 140733760063168 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19304/statm: 2287 266 226 213 0 72 0
[pid=19305] ppid=19304 vsize=40756 CPUtime=5.34 cores=1,3,5,7
/proc/19305/stat : 19305 (glucose) R 19304 19284 17075 0 -1 4202496 9047 0 0 0 533 1 0 0 20 0 1 0 28983757 41734144 8704 33554432000 4194304 5208918 140734908131376 140734908129336 4211122 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19305/statm: 10189 8704 104 248 0 9938 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 97032
[startup+12.7004 s]
/proc/loadavg: 2.08 2.02 2.01 3/185 19319
/proc/meminfo: memFree=31588948/32873844 swapFree=7124/7124
[pid=19284] ppid=19282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19284/stat : 19284 (npSolver-wbo-It) S 19282 19284 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28983662 9367552 274 33554432000 4194304 5064252 140734359224880 140734359223792 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19284/statm: 2287 274 233 213 0 72 0
[pid=19285] ppid=19284 vsize=37980 CPUtime=8.88 cores=1,3,5,7
/proc/19285/stat : 19285 (npSolver-wbo) S 19284 19284 17075 0 -1 4202496 10703 32236 0 0 54 9 808 17 20 0 1 0 28983662 38891520 8137 33554432000 4194304 6006132 140734776082000 140734776073392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19285/statm: 9495 8137 180 443 0 9048 0
[pid=19318] ppid=19285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19318/stat : 19318 (satsolver.sh) S 19285 19284 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 28984553 9367552 267 33554432000 4194304 5064252 140733752786176 140733752785088 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19318/statm: 2287 267 226 213 0 72 0
[pid=19319] ppid=19318 vsize=40448 CPUtime=3.79 cores=1,3,5,7
/proc/19319/stat : 19319 (glucose) R 19318 19284 17075 0 -1 4202496 8163 0 0 0 377 2 0 0 20 0 1 0 28984553 41418752 8182 33554432000 4194304 5208918 140733629169120 140733629167272 4211608 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19319/statm: 10112 8182 104 248 0 9861 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 96724
[startup+25.5004 s]
/proc/loadavg: 2.07 2.02 2.00 3/185 19347
/proc/meminfo: memFree=31597492/32873844 swapFree=7124/7124
[pid=19284] ppid=19282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19284/stat : 19284 (npSolver-wbo-It) S 19282 19284 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28983662 9367552 274 33554432000 4194304 5064252 140734359224880 140734359223792 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19284/statm: 2287 274 233 213 0 72 0
[pid=19285] ppid=19284 vsize=37980 CPUtime=21.71 cores=1,3,5,7
/proc/19285/stat : 19285 (npSolver-wbo) S 19284 19284 17075 0 -1 4202496 13294 44764 0 0 71 12 2063 25 20 0 1 0 28983662 38891520 8137 33554432000 4194304 6006132 140734776082000 140734776073392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19285/statm: 9495 8137 180 443 0 9048 0
[pid=19344] ppid=19285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19344/stat : 19344 (satsolver.sh) S 19285 19284 17075 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 28985835 9367552 267 33554432000 4194304 5064252 140733282931664 140733282930576 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19344/statm: 2287 267 226 213 0 72 0
[pid=19345] ppid=19344 vsize=40448 CPUtime=3.76 cores=1,3,5,7
/proc/19345/stat : 19345 (glucose) R 19344 19284 17075 0 -1 4202496 8127 0 0 0 374 2 0 0 20 0 1 0 28985836 41418752 8189 33554432000 4194304 5208918 140735216119200 140735216117048 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19345/statm: 10112 8189 104 248 0 9861 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 96724
[startup+51.1004 s]
/proc/loadavg: 2.04 2.01 2.00 3/185 19382
/proc/meminfo: memFree=31594828/32873844 swapFree=7124/7124
[pid=19284] ppid=19282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19284/stat : 19284 (npSolver-wbo-It) S 19282 19284 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28983662 9367552 274 33554432000 4194304 5064252 140734359224880 140734359223792 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19284/statm: 2287 274 233 213 0 72 0
[pid=19285] ppid=19284 vsize=37980 CPUtime=43.63 cores=1,3,5,7
/proc/19285/stat : 19285 (npSolver-wbo) S 19284 19284 17075 0 -1 4202496 21067 81879 0 0 121 18 4176 48 20 0 1 0 28983662 38891520 8137 33554432000 4194304 6006132 140734776082000 140734776073392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19285/statm: 9495 8137 180 443 0 9048 0
[pid=19381] ppid=19285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19381/stat : 19381 (satsolver.sh) S 19285 19284 17075 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 28988028 9367552 266 33554432000 4194304 5064252 140737103981712 140737103980624 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19381/statm: 2287 266 226 213 0 72 0
[pid=19382] ppid=19381 vsize=40752 CPUtime=7.43 cores=1,3,5,7
/proc/19382/stat : 19382 (glucose) R 19381 19284 17075 0 -1 4202496 8409 0 0 0 741 2 0 0 20 0 1 0 28988028 41730048 8295 33554432000 4194304 5208918 140733379746880 140733379744728 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19382/statm: 10188 8295 104 248 0 9937 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 97028
[startup+102.307 s]
/proc/loadavg: 2.10 2.02 2.01 3/185 19480
/proc/meminfo: memFree=31601536/32873844 swapFree=7124/7124
[pid=19284] ppid=19282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19284/stat : 19284 (npSolver-wbo-It) S 19282 19284 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28983662 9367552 274 33554432000 4194304 5064252 140734359224880 140734359223792 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19284/statm: 2287 274 233 213 0 72 0
[pid=19285] ppid=19284 vsize=37980 CPUtime=95.63 cores=1,3,5,7
/proc/19285/stat : 19285 (npSolver-wbo) S 19284 19284 17075 0 -1 4202496 49557 205776 0 0 281 42 9115 125 20 0 1 0 28983662 38891520 7625 33554432000 4194304 6006132 140734776082000 140734776073392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19285/statm: 9495 7625 180 443 0 9048 0
[pid=19479] ppid=19285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19479/stat : 19479 (satsolver.sh) S 19285 19284 17075 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 28993230 9367552 267 33554432000 4194304 5064252 140736967755696 140736967754608 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19479/statm: 2287 267 226 213 0 72 0
[pid=19480] ppid=19479 vsize=38480 CPUtime=6.61 cores=1,3,5,7
/proc/19480/stat : 19480 (glucose) R 19479 19284 17075 0 -1 4202496 7091 0 0 0 660 1 0 0 20 0 1 0 28993231 39403520 7526 33554432000 4194304 5208918 140736435746160 140736435744312 4211732 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19480/statm: 9620 7526 105 248 0 9369 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 94756
[startup+162.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/185 19670
/proc/meminfo: memFree=31514548/32873844 swapFree=7124/7124
[pid=19284] ppid=19282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19284/stat : 19284 (npSolver-wbo-It) S 19282 19284 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28983662 9367552 274 33554432000 4194304 5064252 140734359224880 140734359223792 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19284/statm: 2287 274 233 213 0 72 0
[pid=19285] ppid=19284 vsize=37728 CPUtime=160.29 cores=1,3,5,7
/proc/19285/stat : 19285 (npSolver-wbo) S 19284 19284 17075 0 -1 4202496 88764 372444 0 0 490 66 15246 227 20 0 1 0 28983662 38633472 7626 33554432000 4194304 6006132 140734776082000 140734776073392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19285/statm: 9432 7626 181 443 0 8985 0
[pid=19669] ppid=19285 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/19284/statm: 2287 274 233 213 0 72 0
[pid=19285] ppid=19284 vsize=37700 CPUtime=186.21 cores=1,3,5,7
/proc/19285/stat : 19285 (npSolver-wbo) S 19284 19284 17075 0 -1 4202496 93944 418794 0 0 516 70 17758 277 20 0 1 0 28983662 38604800 7626 33554432000 4194304 6006132 140734776082000 140734776073392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19285/statm: 9425 7626 181 443 0 8978 0
[pid=19683] ppid=19285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19683/stat : 19683 (satsolver.sh) S 19285 19284 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 29002360 9367552 267 33554432000 4194304 5064252 140733621700512 140733621699424 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19683/statm: 2287 267 226 213 0 72 0
[pid=19684] ppid=19683 vsize=135296 CPUtime=515.22 cores=1,3,5,7
/proc/19684/stat : 19684 (glucose) R 19683 19284 17075 0 -1 4202496 20031 0 0 0 51515 7 0 0 20 0 1 0 29002361 138543104 31476 33554432000 4194304 5208918 140734525982400 140734525980264 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19684/statm: 33824 31476 96 248 0 33573 0
Current children cumulated CPU time (s) 701.43
Current children cumulated vsize (KiB) 191292
[startup+762.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 19688
/proc/meminfo: memFree=31404864/32873844 swapFree=7124/7124
[pid=19284] ppid=19282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19284/stat : 19284 (npSolver-wbo-It) S 19282 19284 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28983662 9367552 274 33554432000 4194304 5064252 140734359224880 140734359223792 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19284/statm: 2287 274 233 213 0 72 0
[pid=19285] ppid=19284 vsize=37700 CPUtime=186.21 cores=1,3,5,7
/proc/19285/stat : 19285 (npSolver-wbo) S 19284 19284 17075 0 -1 4202496 93944 418794 0 0 516 70 17758 277 20 0 1 0 28983662 38604800 7626 33554432000 4194304 6006132 140734776082000 140734776073392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19285/statm: 9425 7626 181 443 0 8978 0
[pid=19683] ppid=19285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19683/stat : 19683 (satsolver.sh) S 19285 19284 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 29002360 9367552 267 33554432000 4194304 5064252 140733621700512 140733621699424 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19683/statm: 2287 267 226 213 0 72 0
[pid=19684] ppid=19683 vsize=135296 CPUtime=575.22 cores=1,3,5,7
/proc/19684/stat : 19684 (glucose) R 19683 19284 17075 0 -1 4202496 20031 0 0 0 57515 7 0 0 20 0 1 0 29002361 138543104 31476 33554432000 4194304 5208918 140734525982400 140734525980264 4211732 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19684/statm: 33824 31476 96 248 0 33573 0
Current children cumulated CPU time (s) 761.43
Current children cumulated vsize (KiB) 191292
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 19689
/proc/meminfo: memFree=31404304/32873844 swapFree=7124/7124
[pid=19284] ppid=19282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19284/stat : 19284 (npSolver-wbo-It) S 19282 19284 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28983662 9367552 274 33554432000 4194304 5064252 140734359224880 140734359223792 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19284/statm: 2287 274 233 213 0 72 0
[pid=19285] ppid=19284 vsize=37700 CPUtime=186.21 cores=1,3,5,7
/proc/19285/stat : 19285 (npSolver-wbo) S 19284 19284 17075 0 -1 4202496 93944 418794 0 0 516 70 17758 277 20 0 1 0 28983662 38604800 7626 33554432000 4194304 6006132 140734776082000 140734776073392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19285/statm: 9425 7626 181 443 0 8978 0
[pid=19683] ppid=19285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19683/stat : 19683 (satsolver.sh) S 19285 19284 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 29002360 9367552 267 33554432000 4194304 5064252 140733621700512 140733621699424 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19683/statm: 2287 267 226 213 0 72 0
[pid=19684] ppid=19683 vsize=135296 CPUtime=635.2 cores=1,3,5,7
/proc/19684/stat : 19684 (glucose) R 19683 19284 17075 0 -1 4202496 20031 0 0 0 63513 7 0 0 20 0 1 0 29002361 138543104 31476 33554432000 4194304 5208918 140734525982400 140734525980264 4211656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19684/statm: 33824 31476 96 248 0 33573 0
Current children cumulated CPU time (s) 821.41
Current children cumulated vsize (KiB) 191292
Solver just ended. Dumping a history of the last processes samples
[startup+844.7 s]
/proc/loadavg: 2.07 2.02 2.00 3/186 19692
/proc/meminfo: memFree=31404420/32873844 swapFree=7124/7124
[pid=19284] ppid=19282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19284/stat : 19284 (npSolver-wbo-It) S 19282 19284 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28983662 9367552 274 33554432000 4194304 5064252 140734359224880 140734359223792 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19284/statm: 2287 274 233 213 0 72 0
[pid=19285] ppid=19284 vsize=37700 CPUtime=186.21 cores=1,3,5,7
/proc/19285/stat : 19285 (npSolver-wbo) S 19284 19284 17075 0 -1 4202496 93944 418794 0 0 516 70 17758 277 20 0 1 0 28983662 38604800 7626 33554432000 4194304 6006132 140734776082000 140734776073392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19285/statm: 9425 7626 181 443 0 8978 0
[pid=19683] ppid=19285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19683/stat : 19683 (satsolver.sh) S 19285 19284 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 29002360 9367552 267 33554432000 4194304 5064252 140733621700512 140733621699424 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19683/statm: 2287 267 226 213 0 72 0
[pid=19684] ppid=19683 vsize=135296 CPUtime=657.6 cores=1,3,5,7
/proc/19684/stat : 19684 (glucose) R 19683 19284 17075 0 -1 4202496 20031 0 0 0 65753 7 0 0 20 0 1 0 29002361 138543104 31476 33554432000 4194304 5208918 140734525982400 140734525980264 4211620 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19684/statm: 33824 31476 96 248 0 33573 0
Current children cumulated CPU time (s) 843.81
Current children cumulated vsize (KiB) 191292
[startup+851.1 s]
/proc/loadavg: 2.06 2.02 2.00 3/186 19692
/proc/meminfo: memFree=31402372/32873844 swapFree=7124/7124
[pid=19284] ppid=19282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19284/stat : 19284 (npSolver-wbo-It) S 19282 19284 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28983662 9367552 274 33554432000 4194304 5064252 140734359224880 140734359223792 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19284/statm: 2287 274 233 213 0 72 0
[pid=19285] ppid=19284 vsize=37700 CPUtime=186.21 cores=1,3,5,7
/proc/19285/stat : 19285 (npSolver-wbo) S 19284 19284 17075 0 -1 4202496 93944 418794 0 0 516 70 17758 277 20 0 1 0 28983662 38604800 7626 33554432000 4194304 6006132 140734776082000 140734776073392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19285/statm: 9425 7626 181 443 0 8978 0
[pid=19683] ppid=19285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19683/stat : 19683 (satsolver.sh) S 19285 19284 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 29002360 9367552 267 33554432000 4194304 5064252 140733621700512 140733621699424 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19683/statm: 2287 267 226 213 0 72 0
[pid=19684] ppid=19683 vsize=135296 CPUtime=664 cores=1,3,5,7
/proc/19684/stat : 19684 (glucose) R 19683 19284 17075 0 -1 4202496 20032 0 0 0 66393 7 0 0 20 0 1 0 29002361 138543104 31988 33554432000 4194304 5208918 140734525982400 140734525980264 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19684/statm: 33824 31988 96 248 0 33573 0
Current children cumulated CPU time (s) 850.21
Current children cumulated vsize (KiB) 191292
[startup+857.5 s]
/proc/loadavg: 2.05 2.01 2.00 3/186 19692
/proc/meminfo: memFree=31402372/32873844 swapFree=7124/7124
[pid=19284] ppid=19282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19284/stat : 19284 (npSolver-wbo-It) S 19282 19284 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28983662 9367552 274 33554432000 4194304 5064252 140734359224880 140734359223792 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19284/statm: 2287 274 233 213 0 72 0
[pid=19285] ppid=19284 vsize=37700 CPUtime=186.21 cores=1,3,5,7
/proc/19285/stat : 19285 (npSolver-wbo) S 19284 19284 17075 0 -1 4202496 93944 418794 0 0 516 70 17758 277 20 0 1 0 28983662 38604800 7626 33554432000 4194304 6006132 140734776082000 140734776073392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19285/statm: 9425 7626 181 443 0 8978 0
[pid=19683] ppid=19285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19683/stat : 19683 (satsolver.sh) S 19285 19284 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 29002360 9367552 267 33554432000 4194304 5064252 140733621700512 140733621699424 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19683/statm: 2287 267 226 213 0 72 0
[pid=19684] ppid=19683 vsize=135296 CPUtime=670.39 cores=1,3,5,7
/proc/19684/stat : 19684 (glucose) R 19683 19284 17075 0 -1 4202496 20032 0 0 0 67032 7 0 0 20 0 1 0 29002361 138543104 31988 33554432000 4194304 5208918 140734525982400 140734525980264 4211572 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19684/statm: 33824 31988 96 248 0 33573 0
Current children cumulated CPU time (s) 856.6
Current children cumulated vsize (KiB) 191292
[startup+859.107 s]
/proc/loadavg: 2.05 2.01 2.00 3/186 19692
/proc/meminfo: memFree=31402372/32873844 swapFree=7124/7124
[pid=19284] ppid=19282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19284/stat : 19284 (npSolver-wbo-It) S 19282 19284 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28983662 9367552 274 33554432000 4194304 5064252 140734359224880 140734359223792 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19284/statm: 2287 274 233 213 0 72 0
[pid=19285] ppid=19284 vsize=37700 CPUtime=186.21 cores=1,3,5,7
/proc/19285/stat : 19285 (npSolver-wbo) S 19284 19284 17075 0 -1 4202496 93944 418794 0 0 516 70 17758 277 20 0 1 0 28983662 38604800 7626 33554432000 4194304 6006132 140734776082000 140734776073392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19285/statm: 9425 7626 181 443 0 8978 0
[pid=19683] ppid=19285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19683/stat : 19683 (satsolver.sh) S 19285 19284 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 29002360 9367552 267 33554432000 4194304 5064252 140733621700512 140733621699424 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19683/statm: 2287 267 226 213 0 72 0
[pid=19684] ppid=19683 vsize=135296 CPUtime=672 cores=1,3,5,7
/proc/19684/stat : 19684 (glucose) R 19683 19284 17075 0 -1 4202496 20032 0 0 0 67193 7 0 0 20 0 1 0 29002361 138543104 31988 33554432000 4194304 5208918 140734525982400 140734525980264 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19684/statm: 33824 31988 96 248 0 33573 0
Current children cumulated CPU time (s) 858.21
Current children cumulated vsize (KiB) 191292
[startup+859.9 s]
/proc/loadavg: 2.05 2.01 2.00 3/186 19692
/proc/meminfo: memFree=31402372/32873844 swapFree=7124/7124
[pid=19284] ppid=19282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19284/stat : 19284 (npSolver-wbo-It) S 19282 19284 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28983662 9367552 274 33554432000 4194304 5064252 140734359224880 140734359223792 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19284/statm: 2287 274 233 213 0 72 0
[pid=19285] ppid=19284 vsize=37700 CPUtime=858.65 cores=1,3,5,7
/proc/19285/stat : 19285 (npSolver-wbo) S 19284 19284 17075 0 -1 4202496 93951 439441 0 0 516 70 84993 286 20 0 1 0 28983662 38604800 7626 33554432000 4194304 6006132 140734776082000 140734776072880 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19285/statm: 9425 7626 181 443 0 8978 0
Current children cumulated CPU time (s) 858.65
Current children cumulated vsize (KiB) 46848
[startup+860.7 s]
/proc/loadavg: 2.05 2.01 2.00 3/186 19699
/proc/meminfo: memFree=31565364/32873844 swapFree=7124/7124
[pid=19284] ppid=19282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19284/stat : 19284 (npSolver-wbo-It) S 19282 19284 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28983662 9367552 274 33554432000 4194304 5064252 140734359224880 140734359223792 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19284/statm: 2287 274 233 213 0 72 0
[pid=19285] ppid=19284 vsize=3788 CPUtime=859.11 cores=1,3,5,7
/proc/19285/stat : 19285 (npSolver-wbo) S 19284 19284 17075 0 -1 4202496 94092 445091 0 0 516 70 85019 306 20 0 1 0 28983662 3878912 611 33554432000 4194304 6006132 140734776082000 140734776073392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19285/statm: 947 611 181 443 0 500 0
[pid=19698] ppid=19285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19698/stat : 19698 (satsolver.sh) S 19285 19284 17075 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 29069662 9367552 267 33554432000 4194304 5064252 140735432243456 140735432242368 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19698/statm: 2287 267 226 213 0 72 0
[pid=19699] ppid=19698 vsize=6916 CPUtime=0.7 cores=1,3,5,7
/proc/19699/stat : 19699 (glucose) R 19698 19284 17075 0 -1 4202496 1662 0 0 0 70 0 0 0 20 0 1 0 29069662 7081984 1120 33554432000 4194304 5208918 140735288783024 140735288780872 4211623 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19699/statm: 1729 1120 96 248 0 1478 0
Current children cumulated CPU time (s) 859.81
Current children cumulated vsize (KiB) 29000
[startup+861.1 s]
/proc/loadavg: 2.05 2.01 2.00 3/186 19699
/proc/meminfo: memFree=31565364/32873844 swapFree=7124/7124
[pid=19284] ppid=19282 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19284/stat : 19284 (npSolver-wbo-It) S 19282 19284 17075 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 28983662 9367552 274 33554432000 4194304 5064252 140734359224880 140734359223792 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19284/statm: 2287 274 233 213 0 72 0
[pid=19285] ppid=19284 vsize=3788 CPUtime=859.11 cores=1,3,5,7
/proc/19285/stat : 19285 (npSolver-wbo) S 19284 19284 17075 0 -1 4202496 94092 445091 0 0 516 70 85019 306 20 0 1 0 28983662 3878912 611 33554432000 4194304 6006132 140734776082000 140734776073392 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19285/statm: 947 611 181 443 0 500 0
[pid=19698] ppid=19285 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19698/stat : 19698 (satsolver.sh) S 19285 19284 17075 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 29069662 9367552 267 33554432000 4194304 5064252 140735432243456 140735432242368 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19698/statm: 2287 267 226 213 0 72 0
[pid=19699] ppid=19698 vsize=7932 CPUtime=1.1 cores=1,3,5,7
/proc/19699/stat : 19699 (glucose) R 19698 19284 17075 0 -1 4202496 1991 0 0 0 110 0 0 0 20 0 1 0 29069662 8122368 1429 33554432000 4194304 5208918 140735288783024 140735288780888 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19699/statm: 1983 1429 96 248 0 1732 0
Current children cumulated CPU time (s) 860.21
Current children cumulated vsize (KiB) 30016
Child status: 0
Real time (s): 861.186
CPU time (s): 860.335
CPU user time (s): 856.548
CPU system time (s): 3.78742
CPU usage (%): 99.9012
Max. virtual memory (cumulated for all children) (KiB): 191292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 856.548
system time used= 3.78742
maximum resident set size= 127992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 545071
page faults= 0
swaps= 0
block input operations= 0
block output operations= 699904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4891
involuntary context switches= 1290
runsolver used 1.52577 second user time and 3.74943 second system time
The end