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-3715113-1338225691/watcher-3715113-1338225691 -o /tmp/evaluation-result-3715113-1338225691/solver-3715113-1338225691 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715113-1338225691.wbo 459502262 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.95 1.99 1.99 3/179 27017
/proc/meminfo: memFree=31279908/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[startup+0.063029 s]
/proc/loadavg: 1.95 1.99 1.99 3/179 27017
/proc/meminfo: memFree=31279908/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100288 s]
/proc/loadavg: 1.95 1.99 1.99 3/179 27017
/proc/meminfo: memFree=31279908/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300291 s]
/proc/loadavg: 1.95 1.99 1.99 3/179 27017
/proc/meminfo: memFree=31279908/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70024 s]
/proc/loadavg: 1.95 1.99 1.99 3/179 27017
/proc/meminfo: memFree=31279908/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50042 s]
/proc/loadavg: 1.95 1.99 1.99 3/183 27031
/proc/meminfo: memFree=31256404/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=7180 CPUtime=0.11 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 2450 5106 0 0 7 1 2 1 20 0 1 0 288693463 7352320 1375 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27018/statm: 1795 1375 166 439 0 1352 0
[pid=27030] ppid=27018 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27030/stat : 27030 (satsolver.sh) S 27018 27017 12121 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288693475 9367552 266 33554432000 4194304 5064252 140733490896736 140733490895648 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/27030/statm: 2287 266 226 213 0 72 0
[pid=27031] ppid=27030 vsize=16696 CPUtime=1.35 cores=1,3,5,7
/proc/27031/stat : 27031 (glucose) R 27030 27017 12121 0 -1 4202496 3588 0 0 0 135 0 0 0 20 0 1 0 288693476 17096704 3510 33554432000 4194304 5208918 140736926688896 140736926686744 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27031/statm: 4174 3510 105 248 0 3923 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 42172
[startup+3.10039 s]
/proc/loadavg: 1.95 1.99 1.99 3/183 27038
/proc/meminfo: memFree=31251684/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=11272 CPUtime=1.76 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 4133 12304 0 0 13 2 157 4 20 0 1 0 288693463 11542528 2367 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27018/statm: 2818 2367 166 439 0 2375 0
[pid=27037] ppid=27018 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27037/stat : 27037 (satsolver.sh) S 27018 27017 12121 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288693659 9367552 266 33554432000 4194304 5064252 140735671054720 140735671053632 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/27037/statm: 2287 266 226 213 0 72 0
[pid=27038] ppid=27037 vsize=16444 CPUtime=1.12 cores=1,3,5,7
/proc/27038/stat : 27038 (glucose) R 27037 27017 12121 0 -1 4202496 4026 0 0 0 112 0 0 0 20 0 1 0 288693660 16838656 3346 33554432000 4194304 5208918 140735274788480 140735274786152 4211049 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27038/statm: 4111 3346 104 248 0 3860 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 46012
[startup+6.30042 s]
/proc/loadavg: 1.95 1.99 1.99 3/183 27059
/proc/meminfo: memFree=31254028/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=11272 CPUtime=4.35 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 5817 20298 0 0 19 3 406 7 20 0 1 0 288693463 11542528 2367 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27018/statm: 2818 2367 166 439 0 2375 0
[pid=27051] ppid=27018 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27051/stat : 27051 (satsolver.sh) S 27018 27017 12121 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288693919 9367552 266 33554432000 4194304 5064252 140734151155104 140734151154016 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/27051/statm: 2287 266 226 213 0 72 0
[pid=27052] ppid=27051 vsize=16720 CPUtime=1.72 cores=1,3,5,7
/proc/27052/stat : 27052 (glucose) R 27051 27017 12121 0 -1 4202496 3576 0 0 0 171 1 0 0 20 0 1 0 288693920 17121280 3491 33554432000 4194304 5208918 140734897562176 140734897559928 4229827 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27052/statm: 4180 3491 105 248 0 3929 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 46288
[startup+12.7004 s]
/proc/loadavg: 1.95 1.99 1.99 3/183 27101
/proc/meminfo: memFree=31252948/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=11272 CPUtime=10.03 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 9184 35520 0 0 31 5 951 16 20 0 1 0 288693463 11542528 2367 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27018/statm: 2818 2367 166 439 0 2375 0
[pid=27086] ppid=27018 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27086/stat : 27086 (satsolver.sh) S 27018 27017 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288694494 9367552 267 33554432000 4194304 5064252 140737003884064 140737003882976 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/27086/statm: 2287 267 226 213 0 72 0
[pid=27087] ppid=27086 vsize=16948 CPUtime=2.38 cores=1,3,5,7
/proc/27087/stat : 27087 (glucose) R 27086 27017 12121 0 -1 4202496 3830 0 0 0 237 1 0 0 20 0 1 0 288694494 17354752 3757 33554432000 4194304 5208918 140736196013088 140736196010936 4211574 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27087/statm: 4237 3757 105 248 0 3986 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 46516
[startup+25.5005 s]
/proc/loadavg: 1.96 1.99 1.99 3/183 27185
/proc/meminfo: memFree=31254456/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=11272 CPUtime=23.31 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 14234 59189 0 0 49 8 2246 28 20 0 1 0 288693463 11542528 2367 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27018/statm: 2818 2367 166 439 0 2375 0
[pid=27177] ppid=27018 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27177/stat : 27177 (satsolver.sh) S 27018 27017 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288695831 9367552 267 33554432000 4194304 5064252 140735769904192 140735769903104 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/27177/statm: 2287 267 226 213 0 72 0
[pid=27178] ppid=27177 vsize=16720 CPUtime=1.81 cores=1,3,5,7
/proc/27178/stat : 27178 (glucose) R 27177 27017 12121 0 -1 4202496 4267 0 0 0 180 1 0 0 20 0 1 0 288695831 17121280 3573 33554432000 4194304 5208918 140735762166224 140735762164184 4211572 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27178/statm: 4180 3573 105 248 0 3929 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 46288
[startup+51.1003 s]
/proc/loadavg: 1.97 1.99 1.99 3/183 27374
/proc/meminfo: memFree=31263212/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=11272 CPUtime=50.28 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 27699 121979 0 0 97 16 4857 58 20 0 1 0 288693463 11542528 2367 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27018/statm: 2818 2367 166 439 0 2375 0
Current children cumulated CPU time (s) 50.28
Current children cumulated vsize (KiB) 20420
[startup+102.307 s]
/proc/loadavg: 1.91 1.97 1.99 3/183 28266
/proc/meminfo: memFree=31241912/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=11224 CPUtime=99.98 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 61695 277952 0 0 215 35 9616 132 20 0 1 0 288693463 11493376 2270 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27018/statm: 2806 2270 166 439 0 2363 0
[pid=28265] ppid=27018 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28265/stat : 28265 (satsolver.sh) S 27018 27017 12121 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288703520 9367552 266 33554432000 4194304 5064252 140734178913552 140734178912464 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/28265/statm: 2287 266 226 213 0 72 0
[pid=28266] ppid=28265 vsize=15620 CPUtime=1.72 cores=1,3,5,7
/proc/28266/stat : 28266 (glucose) R 28265 27017 12121 0 -1 4202496 3630 0 0 0 172 0 0 0 20 0 1 0 288703520 15994880 3368 33554432000 4194304 5208918 140734109296400 140734109294152 4229504 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28266/statm: 3905 3368 105 248 0 3654 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 45140
[startup+162.3 s]
/proc/loadavg: 2.03 1.99 1.99 3/183 28574
/proc/meminfo: memFree=31246828/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=11224 CPUtime=161.49 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 98187 443582 0 0 342 55 15544 208 20 0 1 0 288693463 11493376 2270 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 8 0 0
/proc/27018/statm: 2806 2270 166 439 0 2363 0
Current children cumulated CPU time (s) 161.49
Current children cumulated vsize (KiB) 20372
[startup+222.3 s]
/proc/loadavg: 1.91 1.96 1.98 3/183 28897
/proc/meminfo: memFree=31248480/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=11224 CPUtime=220.04 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 139441 628574 0 0 483 80 21144 297 20 0 1 0 288693463 11493376 2270 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 8 0 0
/proc/27018/statm: 2806 2270 166 439 0 2363 0
[pid=28896] ppid=27018 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28896/stat : 28896 (satsolver.sh) S 27018 27017 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288715535 9367552 267 33554432000 4194304 5064252 140733483952576 140733483951488 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28896/statm: 2287 267 226 213 0 72 0
[pid=28897] ppid=28896 vsize=15620 CPUtime=1.56 cores=1,3,5,7
/proc/28897/stat : 28897 (glucose) R 28896 27017 12121 0 -1 4202496 3315 0 0 0 156 0 0 0 20 0 1 0 288715536 15994880 3355 33554432000 4194304 5208918 140737125115280 140737125113032 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28897/statm: 3905 3355 105 248 0 3654 0
Current children cumulated CPU time (s) 221.6
Current children cumulated vsize (KiB) 45140
[startup+282.3 s]
/proc/loadavg: 1.97 1.96 1.98 3/183 29198
/proc/meminfo: memFree=31240948/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=11224 CPUtime=278.8 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 177521 795445 0 0 616 100 26785 379 20 0 1 0 288693463 11493376 2270 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 8 0 0
/proc/27018/statm: 2806 2270 166 439 0 2363 0
[pid=29197] ppid=27018 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29197/stat : 29197 (satsolver.sh) S 27018 27017 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288721427 9367552 267 33554432000 4194304 5064252 140734028222208 140734028221120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29197/statm: 2287 267 226 213 0 72 0
[pid=29198] ppid=29197 vsize=15608 CPUtime=2.64 cores=1,3,5,7
/proc/29198/stat : 29198 (glucose) R 29197 27017 12121 0 -1 4202496 3993 0 0 0 264 0 0 0 20 0 1 0 288721427 15982592 3432 33554432000 4194304 5208918 140734701372592 140734701370440 4211049 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29198/statm: 3902 3432 105 248 0 3651 0
Current children cumulated CPU time (s) 281.44
Current children cumulated vsize (KiB) 45128
[startup+342.3 s]
/proc/loadavg: 2.10 2.00 1.99 3/183 29499
/proc/meminfo: memFree=31249284/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=11200 CPUtime=339.45 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 215556 963088 0 0 746 121 32615 463 20 0 1 0 288693463 11468800 2255 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 8 0 0
/proc/27018/statm: 2800 2255 166 439 0 2357 0
[pid=29498] ppid=27018 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29498/stat : 29498 (satsolver.sh) S 27018 27017 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288727496 9367552 265 33554432000 4194304 5064252 140736247624576 140736247623488 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29498/statm: 2287 265 226 213 0 72 0
[pid=29499] ppid=29498 vsize=15040 CPUtime=1.95 cores=1,3,5,7
/proc/29499/stat : 29499 (glucose) R 29498 27017 12121 0 -1 4202496 3569 0 0 0 195 0 0 0 20 0 1 0 288727496 15400960 3084 33554432000 4194304 5208918 140734757788432 140734757786584 4211176 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29499/statm: 3760 3084 104 248 0 3509 0
Current children cumulated CPU time (s) 341.4
Current children cumulated vsize (KiB) 44536
[startup+402.3 s]
/proc/loadavg: 2.09 2.02 2.00 3/181 29931
/proc/meminfo: memFree=31261240/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=11100 CPUtime=400.13 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 276925 1212067 0 0 920 152 38368 573 20 0 1 0 288693463 11366400 2255 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/27018/statm: 2775 2255 166 439 0 2332 0
Current children cumulated CPU time (s) 400.13
Current children cumulated vsize (KiB) 20248
Solver just ended. Dumping a history of the last processes samples
[startup+409.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 29989
/proc/meminfo: memFree=31254696/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=11064 CPUtime=407.91 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 286368 1249643 0 0 942 156 39104 589 20 0 1 0 288693463 11329536 2255 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/27018/statm: 2766 2255 166 439 0 2323 0
Current children cumulated CPU time (s) 407.91
Current children cumulated vsize (KiB) 20212
[startup+422.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 30108
/proc/meminfo: memFree=31255696/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=11048 CPUtime=420.66 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 305255 1322340 0 0 984 165 40299 618 20 0 1 0 288693463 11313152 2255 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/27018/statm: 2762 2255 166 439 0 2319 0
[pid=30107] ppid=27018 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30107/stat : 30107 (satsolver.sh) S 27018 27017 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288735667 9367552 266 33554432000 4194304 5064252 140735201931568 140735201930480 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30107/statm: 2287 266 226 213 0 72 0
[pid=30108] ppid=30107 vsize=9380 CPUtime=0.24 cores=1,3,5,7
/proc/30108/stat : 30108 (glucose) R 30107 27017 12121 0 -1 4202496 2254 0 0 0 24 0 0 0 20 0 1 0 288735668 9605120 2058 33554432000 4194304 5208918 140733969276016 140733968225656 4465602 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30108/statm: 2345 2058 96 248 0 2094 0
Current children cumulated CPU time (s) 420.9
Current children cumulated vsize (KiB) 38724
[startup+428.7 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 30164
/proc/meminfo: memFree=31259696/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=6944 CPUtime=426.18 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 313167 1357116 0 0 1004 169 40813 632 20 0 1 0 288693463 7110656 1366 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/27018/statm: 1736 1366 166 439 0 1293 0
[pid=30163] ppid=27018 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30163/stat : 30163 (satsolver.sh) S 27018 27017 12121 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288736220 9367552 266 33554432000 4194304 5064252 140734849371184 140734849370096 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30163/statm: 2287 266 226 213 0 72 0
[pid=30164] ppid=30163 vsize=10596 CPUtime=1.11 cores=1,3,5,7
/proc/30164/stat : 30164 (glucose) R 30163 27017 12121 0 -1 4202496 2505 0 0 0 111 0 0 0 20 0 1 0 288736220 10850304 2237 33554432000 4194304 5208918 140736746052912 140736746050664 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30164/statm: 2649 2237 105 248 0 2398 0
Current children cumulated CPU time (s) 427.29
Current children cumulated vsize (KiB) 35836
[startup+435.1 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 30213
/proc/meminfo: memFree=31259308/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=6944 CPUtime=433.25 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 319872 1391719 0 0 1021 171 41488 645 20 0 1 0 288693463 7110656 1367 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/27018/statm: 1736 1367 166 439 0 1293 0
Current children cumulated CPU time (s) 433.25
Current children cumulated vsize (KiB) 16092
[startup+436.707 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 30262
/proc/meminfo: memFree=31263308/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=6944 CPUtime=435.18 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 324398 1417834 0 0 1032 172 41659 655 20 0 1 0 288693463 7110656 1367 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/27018/statm: 1736 1367 166 439 0 1293 0
Current children cumulated CPU time (s) 435.18
Current children cumulated vsize (KiB) 16092
[startup+437.5 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 30262
/proc/meminfo: memFree=31263308/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=6944 CPUtime=435.95 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 326922 1437692 0 0 1038 173 41723 661 20 0 1 0 288693463 7110656 1367 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/27018/statm: 1736 1367 166 439 0 1293 0
Current children cumulated CPU time (s) 435.95
Current children cumulated vsize (KiB) 16092
[startup+438.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 30304
/proc/meminfo: memFree=31263540/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=6944 CPUtime=436.66 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 329354 1457017 0 0 1045 173 41780 668 20 0 1 0 288693463 7110656 1367 33554432000 4194304 5990268 140737457177632 140737457169056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/27018/statm: 1736 1367 166 439 0 1293 0
Current children cumulated CPU time (s) 436.66
Current children cumulated vsize (KiB) 16092
[startup+438.7 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 30304
/proc/meminfo: memFree=31263540/32873844 swapFree=7632/7632
[pid=27017] ppid=27015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27017/stat : 27017 (npSolver-wbo-It) S 27015 27017 12121 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288693462 9367552 274 33554432000 4194304 5064252 140736855026624 140736855025536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27017/statm: 2287 274 233 213 0 72 0
[pid=27018] ppid=27017 vsize=11120 CPUtime=437.05 cores=1,3,5,7
/proc/27018/stat : 27018 (npSolver-wbo) S 27017 27017 12121 0 -1 4202496 330936 1469178 0 0 1049 174 41812 670 20 0 1 0 288693463 11386880 2255 33554432000 4194304 5990268 140737457177632 140737457168544 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/27018/statm: 2780 2255 166 439 0 2337 0
Current children cumulated CPU time (s) 437.05
Current children cumulated vsize (KiB) 20268
Child status: 0
Real time (s): 438.767
CPU time (s): 437.29
CPU user time (s): 428.745
CPU system time (s): 8.5447
CPU usage (%): 99.6634
Max. virtual memory (cumulated for all children) (KiB): 53748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 428.745
system time used= 8.5447
maximum resident set size= 27020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1809376
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1392320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7453
involuntary context switches= 2945
runsolver used 1.25681 second user time and 3.47947 second system time
The end