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-3715051-1338223290/watcher-3715051-1338223290 -o /tmp/evaluation-result-3715051-1338223290/solver-3715051-1338223290 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715051-1338223290.wbo 1468015856 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 2.01 1.99 3/179 20440
/proc/meminfo: memFree=31009064/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-wbo-It) S 20438 20440 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288453343 9367552 275 33554432000 4194304 5064252 140735991338544 140735991337456 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20440/statm: 2287 275 233 213 0 72 0
[startup+0.0648339 s]
/proc/loadavg: 1.92 2.01 1.99 3/179 20440
/proc/meminfo: memFree=31009064/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-wbo-It) S 20438 20440 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288453343 9367552 275 33554432000 4194304 5064252 140735991338544 140735991337456 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20440/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100798 s]
/proc/loadavg: 1.92 2.01 1.99 3/179 20440
/proc/meminfo: memFree=31009064/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-wbo-It) S 20438 20440 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288453343 9367552 275 33554432000 4194304 5064252 140735991338544 140735991337456 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20440/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300293 s]
/proc/loadavg: 1.92 2.01 1.99 3/179 20440
/proc/meminfo: memFree=31009064/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-wbo-It) S 20438 20440 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288453343 9367552 275 33554432000 4194304 5064252 140735991338544 140735991337456 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20440/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700316 s]
/proc/loadavg: 1.92 2.01 1.99 3/179 20440
/proc/meminfo: memFree=31009064/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-wbo-It) S 20438 20440 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288453343 9367552 275 33554432000 4194304 5064252 140735991338544 140735991337456 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20440/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 1.92 2.01 1.99 3/183 20454
/proc/meminfo: memFree=30947084/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-wbo-It) S 20438 20440 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288453343 9367552 275 33554432000 4194304 5064252 140735991338544 140735991337456 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20440/statm: 2287 275 233 213 0 72 0
[pid=20441] ppid=20440 vsize=21448 CPUtime=0.29 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-wbo) S 20440 20440 12121 0 -1 4202496 3959 6042 0 0 20 4 4 1 20 0 1 0 288453343 21962752 4017 33554432000 4194304 5990268 140737480202768 140737480194192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20441/statm: 5362 4017 164 439 0 4919 0
[pid=20453] ppid=20441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20453/stat : 20453 (satsolver.sh) S 20441 20440 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288453373 9367552 267 33554432000 4194304 5064252 140736862405584 140736862404496 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20453/statm: 2287 267 226 213 0 72 0
[pid=20454] ppid=20453 vsize=41944 CPUtime=1.17 cores=1,3,5,7
/proc/20454/stat : 20454 (glucose) R 20453 20440 12121 0 -1 4202496 9748 0 0 0 115 2 0 0 20 0 1 0 288453374 42950656 8512 33554432000 4194304 5208918 140737316323536 140737316321368 4211019 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20454/statm: 10486 8512 104 248 0 10235 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 81688
[startup+3.10034 s]
/proc/loadavg: 1.92 2.01 1.99 3/183 20454
/proc/meminfo: memFree=30945276/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-wbo-It) S 20438 20440 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288453343 9367552 275 33554432000 4194304 5064252 140735991338544 140735991337456 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20440/statm: 2287 275 233 213 0 72 0
[pid=20441] ppid=20440 vsize=21448 CPUtime=0.29 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-wbo) S 20440 20440 12121 0 -1 4202496 3959 6042 0 0 20 4 4 1 20 0 1 0 288453343 21962752 4017 33554432000 4194304 5990268 140737480202768 140737480194192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20441/statm: 5362 4017 164 439 0 4919 0
[pid=20453] ppid=20441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20453/stat : 20453 (satsolver.sh) S 20441 20440 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288453373 9367552 267 33554432000 4194304 5064252 140736862405584 140736862404496 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20453/statm: 2287 267 226 213 0 72 0
[pid=20454] ppid=20453 vsize=41944 CPUtime=2.77 cores=1,3,5,7
/proc/20454/stat : 20454 (glucose) R 20453 20440 12121 0 -1 4202496 9751 0 0 0 275 2 0 0 20 0 1 0 288453374 42950656 9026 33554432000 4194304 5208918 140737316323536 140737316321688 4211122 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20454/statm: 10486 9026 104 248 0 10235 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 81688
[startup+6.30047 s]
/proc/loadavg: 1.93 2.01 1.99 3/183 20454
/proc/meminfo: memFree=30945408/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-wbo-It) S 20438 20440 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288453343 9367552 275 33554432000 4194304 5064252 140735991338544 140735991337456 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20440/statm: 2287 275 233 213 0 72 0
[pid=20441] ppid=20440 vsize=21448 CPUtime=0.29 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-wbo) S 20440 20440 12121 0 -1 4202496 3959 6042 0 0 20 4 4 1 20 0 1 0 288453343 21962752 4017 33554432000 4194304 5990268 140737480202768 140737480194192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20441/statm: 5362 4017 164 439 0 4919 0
[pid=20453] ppid=20441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20453/stat : 20453 (satsolver.sh) S 20441 20440 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288453373 9367552 267 33554432000 4194304 5064252 140736862405584 140736862404496 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20453/statm: 2287 267 226 213 0 72 0
[pid=20454] ppid=20453 vsize=41944 CPUtime=5.97 cores=1,3,5,7
/proc/20454/stat : 20454 (glucose) R 20453 20440 12121 0 -1 4202496 9751 0 0 0 595 2 0 0 20 0 1 0 288453374 42950656 9026 33554432000 4194304 5208918 140737316323536 140737316321688 4229888 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20454/statm: 10486 9026 104 248 0 10235 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 81688
[startup+12.7005 s]
/proc/loadavg: 1.93 2.01 1.99 3/183 20454
/proc/meminfo: memFree=30944744/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-wbo-It) S 20438 20440 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288453343 9367552 275 33554432000 4194304 5064252 140735991338544 140735991337456 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20440/statm: 2287 275 233 213 0 72 0
[pid=20441] ppid=20440 vsize=21448 CPUtime=0.29 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-wbo) S 20440 20440 12121 0 -1 4202496 3959 6042 0 0 20 4 4 1 20 0 1 0 288453343 21962752 4017 33554432000 4194304 5990268 140737480202768 140737480194192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20441/statm: 5362 4017 164 439 0 4919 0
[pid=20453] ppid=20441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20453/stat : 20453 (satsolver.sh) S 20441 20440 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288453373 9367552 267 33554432000 4194304 5064252 140736862405584 140736862404496 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20453/statm: 2287 267 226 213 0 72 0
[pid=20454] ppid=20453 vsize=41944 CPUtime=12.37 cores=1,3,5,7
/proc/20454/stat : 20454 (glucose) R 20453 20440 12121 0 -1 4202496 9751 0 0 0 1235 2 0 0 20 0 1 0 288453374 42950656 9026 33554432000 4194304 5208918 140737316323536 140737316321688 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20454/statm: 10486 9026 104 248 0 10235 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 81688
[startup+25.5005 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 20454
/proc/meminfo: memFree=30942712/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-wbo-It) S 20438 20440 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288453343 9367552 275 33554432000 4194304 5064252 140735991338544 140735991337456 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20440/statm: 2287 275 233 213 0 72 0
[pid=20441] ppid=20440 vsize=21448 CPUtime=0.29 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-wbo) S 20440 20440 12121 0 -1 4202496 3959 6042 0 0 20 4 4 1 20 0 1 0 288453343 21962752 4017 33554432000 4194304 5990268 140737480202768 140737480194192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20441/statm: 5362 4017 164 439 0 4919 0
[pid=20453] ppid=20441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20453/stat : 20453 (satsolver.sh) S 20441 20440 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288453373 9367552 267 33554432000 4194304 5064252 140736862405584 140736862404496 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20453/statm: 2287 267 226 213 0 72 0
[pid=20454] ppid=20453 vsize=41944 CPUtime=25.17 cores=1,3,5,7
/proc/20454/stat : 20454 (glucose) R 20453 20440 12121 0 -1 4202496 9751 0 0 0 2515 2 0 0 20 0 1 0 288453374 42950656 9026 33554432000 4194304 5208918 140737316323536 140737316321688 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20454/statm: 10486 9026 104 248 0 10235 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 81688
[startup+51.1003 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 20461
/proc/meminfo: memFree=30946848/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-wbo-It) S 20438 20440 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288453343 9367552 275 33554432000 4194304 5064252 140735991338544 140735991337456 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20440/statm: 2287 275 233 213 0 72 0
[pid=20441] ppid=20440 vsize=21448 CPUtime=0.29 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-wbo) S 20440 20440 12121 0 -1 4202496 3959 6042 0 0 20 4 4 1 20 0 1 0 288453343 21962752 4017 33554432000 4194304 5990268 140737480202768 140737480194192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20441/statm: 5362 4017 164 439 0 4919 0
[pid=20453] ppid=20441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20453/stat : 20453 (satsolver.sh) S 20441 20440 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288453373 9367552 267 33554432000 4194304 5064252 140736862405584 140736862404496 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20453/statm: 2287 267 226 213 0 72 0
[pid=20454] ppid=20453 vsize=42948 CPUtime=50.77 cores=1,3,5,7
/proc/20454/stat : 20454 (glucose) R 20453 20440 12121 0 -1 4202496 9997 0 0 0 5075 2 0 0 20 0 1 0 288453374 43978752 9272 33554432000 4194304 5208918 140737316323536 140737316321368 4211537 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20454/statm: 10737 9272 104 248 0 10486 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 82692
[startup+102.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 20468
/proc/meminfo: memFree=30929360/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-wbo-It) S 20438 20440 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288453343 9367552 275 33554432000 4194304 5064252 140735991338544 140735991337456 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20440/statm: 2287 275 233 213 0 72 0
[pid=20441] ppid=20440 vsize=37704 CPUtime=69.99 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-wbo) S 20440 20440 12121 0 -1 4202496 6818 21053 0 0 38 6 6944 11 20 0 1 0 288453343 38608896 8186 33554432000 4194304 5990268 140737480202768 140737480194192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20441/statm: 9426 8186 164 439 0 8983 0
[pid=20467] ppid=20441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20467/stat : 20467 (satsolver.sh) S 20441 20440 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288460346 9367552 266 33554432000 4194304 5064252 140733876534944 140733876533856 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20467/statm: 2287 266 226 213 0 72 0
[pid=20468] ppid=20467 vsize=37172 CPUtime=32.26 cores=1,3,5,7
/proc/20468/stat : 20468 (glucose) R 20467 20440 12121 0 -1 4202496 9261 0 0 0 3224 2 0 0 20 0 1 0 288460346 38064128 8469 33554432000 4194304 5208918 140733581968672 140733581966504 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20468/statm: 9293 8469 104 248 0 9042 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 93172
[startup+162.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 20476
/proc/meminfo: memFree=30928028/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-wbo-It) S 20438 20440 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288453343 9367552 275 33554432000 4194304 5064252 140735991338544 140735991337456 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20440/statm: 2287 275 233 213 0 72 0
[pid=20441] ppid=20440 vsize=37704 CPUtime=69.99 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-wbo) S 20440 20440 12121 0 -1 4202496 6818 21053 0 0 38 6 6944 11 20 0 1 0 288453343 38608896 8186 33554432000 4194304 5990268 140737480202768 140737480194192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20441/statm: 9426 8186 164 439 0 8983 0
[pid=20467] ppid=20441 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 20662
/proc/meminfo: memFree=30918492/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-wbo-It) S 20438 20440 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288453343 9367552 275 33554432000 4194304 5064252 140735991338544 140735991337456 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20440/statm: 2287 275 233 213 0 72 0
[pid=20441] ppid=20440 vsize=37488 CPUtime=1291.2 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-wbo) S 20440 20440 12121 0 -1 4202496 38270 175302 0 0 219 34 128759 108 20 0 1 0 288453343 38387712 7674 33554432000 4194304 5990268 140737480202768 140737480194192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/20441/statm: 9372 7674 164 439 0 8929 0
[pid=20654] ppid=20441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20654/stat : 20654 (satsolver.sh) S 20441 20440 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288582506 9367552 266 33554432000 4194304 5064252 140737348189296 140737348188208 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20654/statm: 2287 266 226 213 0 72 0
[pid=20655] ppid=20654 vsize=52404 CPUtime=70.64 cores=1,3,5,7
/proc/20655/stat : 20655 (glucose) R 20654 20440 12121 0 -1 4202496 9412 0 0 0 7061 3 0 0 20 0 1 0 288582507 53661696 11493 33554432000 4194304 5208918 140734497361008 140734497359096 4211561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20655/statm: 13101 11493 105 248 0 12850 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 108188
[startup+1422.31 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 20677
/proc/meminfo: memFree=30937852/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-wbo-It) S 20438 20440 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288453343 9367552 275 33554432000 4194304 5064252 140735991338544 140735991337456 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20440/statm: 2287 275 233 213 0 72 0
[pid=20441] ppid=20440 vsize=37488 CPUtime=1399.59 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-wbo) S 20440 20440 12121 0 -1 4202496 41129 188634 0 0 234 36 139572 117 20 0 1 0 288453343 38387712 7674 33554432000 4194304 5990268 140737480202768 140737480194192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/20441/statm: 9372 7674 164 439 0 8929 0
[pid=20676] ppid=20441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20676/stat : 20676 (satsolver.sh) S 20441 20440 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288593348 9367552 267 33554432000 4194304 5064252 140734580410960 140734580409872 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20676/statm: 2287 267 226 213 0 72 0
[pid=20677] ppid=20676 vsize=39584 CPUtime=22.23 cores=1,3,5,7
/proc/20677/stat : 20677 (glucose) R 20676 20440 12121 0 -1 4202496 7626 0 0 0 2222 1 0 0 20 0 1 0 288593349 40534016 7849 33554432000 4194304 5208918 140735821392416 140735821390568 4211623 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20677/statm: 9896 7849 104 248 0 9645 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 95368
[startup+1482.3 s]
/proc/loadavg: 1.99 2.02 2.00 3/183 20841
/proc/meminfo: memFree=31205852/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-wbo-It) S 20438 20440 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288453343 9367552 275 33554432000 4194304 5064252 140735991338544 140735991337456 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20440/statm: 2287 275 233 213 0 72 0
[pid=20441] ppid=20440 vsize=37488 CPUtime=1399.59 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-wbo) S 20440 20440 12121 0 -1 4202496 41129 188634 0 0 234 36 139572 117 20 0 1 0 288453343 38387712 7674 33554432000 4194304 5990268 140737480202768 140737480194192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/20441/statm: 9372 7674 164 439 0 8929 0
[pid=20676] ppid=20441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20676/stat : 20676 (satsolver.sh) S 20441 20440 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288593348 9367552 267 33554432000 4194304 5064252 140734580410960 140734580409872 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20676/statm: 2287 267 226 213 0 72 0
[pid=20677] ppid=20676 vsize=47380 CPUtime=82.21 cores=1,3,5,7
/proc/20677/stat : 20677 (glucose) R 20676 20440 12121 0 -1 4202496 8378 0 0 0 8220 1 0 0 20 0 1 0 288593349 48517120 9118 33554432000 4194304 5208918 140735821392416 140735821390568 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20677/statm: 11845 9118 105 248 0 11594 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 103164
[startup+1542.3 s]
/proc/loadavg: 1.99 2.01 2.00 3/183 20995
/proc/meminfo: memFree=31211072/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-wbo-It) S 20438 20440 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288453343 9367552 275 33554432000 4194304 5064252 140735991338544 140735991337456 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20440/statm: 2287 275 233 213 0 72 0
[pid=20441] ppid=20440 vsize=37488 CPUtime=1534.1 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-wbo) S 20440 20440 12121 0 -1 4202496 43988 201934 0 0 250 39 152995 126 20 0 1 0 288453343 38387712 7674 33554432000 4194304 5990268 140737480202768 140737480194192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/20441/statm: 9372 7674 164 439 0 8929 0
[pid=20966] ppid=20441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20966/stat : 20966 (satsolver.sh) S 20441 20440 12121 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288606800 9367552 266 33554432000 4194304 5064252 140734672896128 140734672895040 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20966/statm: 2287 266 226 213 0 72 0
[pid=20967] ppid=20966 vsize=39460 CPUtime=7.71 cores=1,3,5,7
/proc/20967/stat : 20967 (glucose) R 20966 20440 12121 0 -1 4202496 7496 0 0 0 770 1 0 0 20 0 1 0 288606800 40407040 7748 33554432000 4194304 5208918 140736584214128 140736584211976 4229552 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20967/statm: 9865 7748 105 248 0 9614 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 95244
[startup+1602.3 s]
/proc/loadavg: 1.99 2.01 2.00 3/183 21212
/proc/meminfo: memFree=31214188/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-wbo-It) S 20438 20440 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288453343 9367552 275 33554432000 4194304 5064252 140735991338544 140735991337456 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20440/statm: 2287 275 233 213 0 72 0
[pid=20441] ppid=20440 vsize=37488 CPUtime=1582.51 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-wbo) S 20440 20440 12121 0 -1 4202496 46847 214804 0 0 266 42 157809 134 20 0 1 0 288453343 38387712 7674 33554432000 4194304 5990268 140737480202768 140737480194192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/20441/statm: 9372 7674 164 439 0 8929 0
[pid=21134] ppid=20441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21134/stat : 21134 (satsolver.sh) S 20441 20440 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288611641 9367552 266 33554432000 4194304 5064252 140733657579744 140733657578656 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21134/statm: 2287 266 226 213 0 72 0
[pid=21135] ppid=21134 vsize=34932 CPUtime=19.29 cores=1,3,5,7
/proc/21135/stat : 21135 (glucose) R 21134 20440 12121 0 -1 4202496 8897 0 0 0 1928 1 0 0 20 0 1 0 288611642 35770368 7490 33554432000 4194304 5208918 140733878842528 140733878840424 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21135/statm: 8733 7490 104 248 0 8482 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 90716
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 21904
/proc/meminfo: memFree=31226908/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-wbo-It) S 20438 20440 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288453343 9367552 275 33554432000 4194304 5064252 140735991338544 140735991337456 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20440/statm: 2287 275 233 213 0 72 0
[pid=20441] ppid=20440 vsize=37488 CPUtime=1631.8 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-wbo) S 20440 20440 12121 0 -1 4202496 49706 228189 0 0 281 44 162713 142 20 0 1 0 288453343 38387712 7674 33554432000 4194304 5990268 140737480202768 140737480194192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/20441/statm: 9372 7674 164 439 0 8929 0
[pid=21765] ppid=20441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21765/stat : 21765 (satsolver.sh) S 20441 20440 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288616573 9367552 267 33554432000 4194304 5064252 140733928790128 140733928789040 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21765/statm: 2287 267 226 213 0 72 0
[pid=21766] ppid=21765 vsize=35588 CPUtime=29.97 cores=1,3,5,7
/proc/21766/stat : 21766 (glucose) R 21765 20440 12121 0 -1 4202496 9669 0 0 0 2995 2 0 0 20 0 1 0 288616573 36442112 7963 33554432000 4194304 5208918 140733314936896 140733314934744 4211888 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21766/statm: 8897 7963 105 248 0 8646 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 91372
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 22190
/proc/meminfo: memFree=31206624/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-wbo-It) S 20438 20440 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288453343 9367552 275 33554432000 4194304 5064252 140735991338544 140735991337456 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20440/statm: 2287 275 233 213 0 72 0
[pid=20441] ppid=20440 vsize=37488 CPUtime=1692.05 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-wbo) S 20440 20440 12121 0 -1 4202496 52565 241721 0 0 297 47 168711 150 20 0 1 0 288453343 38387712 7674 33554432000 4194304 5990268 140737480202768 140737480194192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/20441/statm: 9372 7674 164 439 0 8929 0
[pid=22067] ppid=20441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22067/stat : 22067 (satsolver.sh) S 20441 20440 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288622599 9367552 267 33554432000 4194304 5064252 140735489769952 140735489768864 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22067/statm: 2287 267 226 213 0 72 0
[pid=22068] ppid=22067 vsize=35200 CPUtime=29.71 cores=1,3,5,7
/proc/22068/stat : 22068 (glucose) R 22067 20440 12121 0 -1 4202496 8580 0 0 0 2969 2 0 0 20 0 1 0 288622599 36044800 7887 33554432000 4194304 5208918 140736900182864 140736900180696 4211053 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22068/statm: 8800 7887 104 248 0 8549 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 90984
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 22645
/proc/meminfo: memFree=31200080/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-wbo-It) S 20438 20440 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288453343 9367552 275 33554432000 4194304 5064252 140735991338544 140735991337456 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20440/statm: 2287 275 233 213 0 72 0
[pid=20441] ppid=20440 vsize=37488 CPUtime=1754.74 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-wbo) S 20440 20440 12121 0 -1 4202496 58283 265925 0 0 328 51 174929 166 20 0 1 0 288453343 38387712 7674 33554432000 4194304 5990268 140737480202768 140737480194192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/20441/statm: 9372 7674 164 439 0 8929 0
[pid=22462] ppid=20441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22462/stat : 22462 (satsolver.sh) S 20441 20440 12121 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288628872 9367552 266 33554432000 4194304 5064252 140733525519280 140733525518192 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22462/statm: 2287 266 226 213 0 72 0
[pid=22463] ppid=22462 vsize=47148 CPUtime=26.99 cores=1,3,5,7
/proc/22463/stat : 22463 (glucose) R 22462 20440 12121 0 -1 4202496 10328 0 0 0 2697 2 0 0 20 0 1 0 288628872 48279552 10048 33554432000 4194304 5208918 140733245654416 140733245652360 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22463/statm: 11787 10048 105 248 0 11536 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 102932
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.04 2.01 2.00 4/183 22757
/proc/meminfo: memFree=31210804/32873844 swapFree=7632/7632
[pid=20440] ppid=20438 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20440/stat : 20440 (npSolver-wbo-It) S 20438 20440 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288453343 9367552 275 33554432000 4194304 5064252 140735991338544 140735991337456 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20440/statm: 2287 275 233 213 0 72 0
[pid=20441] ppid=20440 vsize=37488 CPUtime=1789.67 cores=1,3,5,7
/proc/20441/stat : 20441 (npSolver-wbo) S 20440 20440 12121 0 -1 4202496 61142 280147 0 0 344 54 178395 174 20 0 1 0 288453343 38387712 7674 33554432000 4194304 5990268 140737480202768 140737480194192 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/20441/statm: 9372 7674 164 439 0 8929 0
[pid=22700] ppid=20441 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22700/stat : 22700 (satsolver.sh) S 20441 20440 12121 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288632364 9367552 267 33554432000 4194304 5064252 140736779432640 140736779431552 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22700/statm: 2287 267 226 213 0 72 0
[pid=22701] ppid=22700 vsize=34456 CPUtime=10.38 cores=1,3,5,7
/proc/22701/stat : 22701 (glucose) R 22700 20440 12121 0 -1 4202496 7579 0 0 0 1036 2 0 0 20 0 1 0 288632364 35282944 7349 33554432000 4194304 5208918 140735078168768 140735078166728 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22701/statm: 8614 7349 96 248 0 8363 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 90240
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.69
CPU time (s): 1800.16
CPU user time (s): 1797.83
CPU system time (s): 2.32865
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 160400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.83
system time used= 2.32864
maximum resident set size= 93200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 349862
page faults= 0
swaps= 0
block input operations= 0
block output operations= 446768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2394
involuntary context switches= 2094
runsolver used 3.15552 second user time and 8.70768 second system time
The end