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-3754957-1339185176/watcher-3754957-1339185176 -o /tmp/evaluation-result-3754957-1339185176/solver-3754957-1339185176 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3754957-1339185176.wbo 1073695488 HOME HOME
running on 4 cores: 0,2,4,6
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.02 2.01 2.00 2/179 546
/proc/meminfo: memFree=31414060/32873844 swapFree=8656/8656
[pid=546] ppid=544 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/546/stat : 546 (npSolver-wbo.sh) S 544 546 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384646166 9367552 275 33554432000 4194304 5064252 140735811736032 140735811734944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/546/statm: 2287 275 233 213 0 72 0
[startup+0.10196 s]
/proc/loadavg: 2.02 2.01 2.00 2/179 546
/proc/meminfo: memFree=31414060/32873844 swapFree=8656/8656
[pid=546] ppid=544 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/546/stat : 546 (npSolver-wbo.sh) S 544 546 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384646166 9367552 275 33554432000 4194304 5064252 140735811736032 140735811734944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/546/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200173 s]
/proc/loadavg: 2.02 2.01 2.00 2/179 546
/proc/meminfo: memFree=31414060/32873844 swapFree=8656/8656
[pid=546] ppid=544 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/546/stat : 546 (npSolver-wbo.sh) S 544 546 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384646166 9367552 275 33554432000 4194304 5064252 140735811736032 140735811734944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/546/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300146 s]
/proc/loadavg: 2.02 2.01 2.00 2/179 546
/proc/meminfo: memFree=31414060/32873844 swapFree=8656/8656
[pid=546] ppid=544 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/546/stat : 546 (npSolver-wbo.sh) S 544 546 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384646166 9367552 275 33554432000 4194304 5064252 140735811736032 140735811734944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/546/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700112 s]
/proc/loadavg: 2.02 2.01 2.00 2/179 546
/proc/meminfo: memFree=31414060/32873844 swapFree=8656/8656
[pid=546] ppid=544 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/546/stat : 546 (npSolver-wbo.sh) S 544 546 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384646166 9367552 275 33554432000 4194304 5064252 140735811736032 140735811734944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/546/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 553
/proc/meminfo: memFree=31390556/32873844 swapFree=8656/8656
[pid=546] ppid=544 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/546/stat : 546 (npSolver-wbo.sh) S 544 546 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384646166 9367552 275 33554432000 4194304 5064252 140735811736032 140735811734944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/546/statm: 2287 275 233 213 0 72 0
[pid=547] ppid=546 vsize=2420 CPUtime=0.02 cores=0,2,4,6
/proc/547/stat : 547 (npSolver-wbo) S 546 546 31464 0 -1 4202496 1845 2282 0 0 0 0 2 0 20 0 1 0 384646167 2478080 280 33554432000 4194304 6006132 140733914872512 140733914866704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/547/statm: 605 280 157 443 0 158 0
[pid=552] ppid=547 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/552/stat : 552 (satsolver.sh) S 547 546 31464 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384646171 9367552 267 33554432000 4194304 5064252 140733382442672 140733382441584 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/552/statm: 2287 267 226 213 0 72 0
[pid=553] ppid=552 vsize=17512 CPUtime=1.44 cores=0,2,4,6
/proc/553/stat : 553 (glucose) R 552 546 31464 0 -1 4202496 3682 0 0 0 144 0 0 0 20 0 1 0 384646171 17932288 3059 33554432000 4194304 5208918 140735694715424 140735694713368 4229517 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/553/statm: 4378 3059 96 248 0 4127 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 38228
[startup+3.10033 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 560
/proc/meminfo: memFree=31465020/32873844 swapFree=8656/8656
[pid=546] ppid=544 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/546/stat : 546 (npSolver-wbo.sh) S 544 546 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384646166 9367552 275 33554432000 4194304 5064252 140735811736032 140735811734944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/546/statm: 2287 275 233 213 0 72 0
[pid=547] ppid=546 vsize=2420 CPUtime=0.02 cores=0,2,4,6
/proc/547/stat : 547 (npSolver-wbo) S 546 546 31464 0 -1 4202496 1845 2282 0 0 0 0 2 0 20 0 1 0 384646167 2478080 280 33554432000 4194304 6006132 140733914872512 140733914866704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/547/statm: 605 280 157 443 0 158 0
[pid=552] ppid=547 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/552/stat : 552 (satsolver.sh) S 547 546 31464 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384646171 9367552 267 33554432000 4194304 5064252 140733382442672 140733382441584 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/552/statm: 2287 267 226 213 0 72 0
[pid=553] ppid=552 vsize=20256 CPUtime=3.04 cores=0,2,4,6
/proc/553/stat : 553 (glucose) R 552 546 31464 0 -1 4202496 4206 0 0 0 304 0 0 0 20 0 1 0 384646171 20742144 4600 33554432000 4194304 5208918 140735694715424 140735694713288 4229517 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/553/statm: 5064 4600 96 248 0 4813 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 40972
[startup+6.30032 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 567
/proc/meminfo: memFree=31450984/32873844 swapFree=8656/8656
[pid=546] ppid=544 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/546/stat : 546 (npSolver-wbo.sh) S 544 546 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384646166 9367552 275 33554432000 4194304 5064252 140735811736032 140735811734944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/546/statm: 2287 275 233 213 0 72 0
[pid=547] ppid=546 vsize=2420 CPUtime=0.02 cores=0,2,4,6
/proc/547/stat : 547 (npSolver-wbo) S 546 546 31464 0 -1 4202496 1845 2282 0 0 0 0 2 0 20 0 1 0 384646167 2478080 280 33554432000 4194304 6006132 140733914872512 140733914866704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/547/statm: 605 280 157 443 0 158 0
[pid=552] ppid=547 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/552/stat : 552 (satsolver.sh) S 547 546 31464 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384646171 9367552 267 33554432000 4194304 5064252 140733382442672 140733382441584 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/552/statm: 2287 267 226 213 0 72 0
[pid=553] ppid=552 vsize=21932 CPUtime=6.24 cores=0,2,4,6
/proc/553/stat : 553 (glucose) R 552 546 31464 0 -1 4202496 4627 0 0 0 624 0 0 0 20 0 1 0 384646171 22458368 5020 33554432000 4194304 5208918 140735694715424 140735694713288 4229528 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/553/statm: 5483 5020 96 248 0 5232 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 42648
[startup+12.7004 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 567
/proc/meminfo: memFree=31425168/32873844 swapFree=8656/8656
[pid=546] ppid=544 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/546/stat : 546 (npSolver-wbo.sh) S 544 546 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384646166 9367552 275 33554432000 4194304 5064252 140735811736032 140735811734944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/546/statm: 2287 275 233 213 0 72 0
[pid=547] ppid=546 vsize=2420 CPUtime=0.02 cores=0,2,4,6
/proc/547/stat : 547 (npSolver-wbo) S 546 546 31464 0 -1 4202496 1845 2282 0 0 0 0 2 0 20 0 1 0 384646167 2478080 280 33554432000 4194304 6006132 140733914872512 140733914866704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/547/statm: 605 280 157 443 0 158 0
[pid=552] ppid=547 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/552/stat : 552 (satsolver.sh) S 547 546 31464 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384646171 9367552 267 33554432000 4194304 5064252 140733382442672 140733382441584 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/552/statm: 2287 267 226 213 0 72 0
[pid=553] ppid=552 vsize=17512 CPUtime=12.64 cores=0,2,4,6
/proc/553/stat : 553 (glucose) R 552 546 31464 0 -1 4202496 6231 0 0 0 1263 1 0 0 20 0 1 0 384646171 17932288 3847 33554432000 4194304 5208918 140735694715424 140735694713368 4229528 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/553/statm: 4378 3847 96 248 0 4127 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 38228
[startup+25.5004 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 574
/proc/meminfo: memFree=31341292/32873844 swapFree=8656/8656
[pid=546] ppid=544 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/546/stat : 546 (npSolver-wbo.sh) S 544 546 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384646166 9367552 275 33554432000 4194304 5064252 140735811736032 140735811734944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/546/statm: 2287 275 233 213 0 72 0
[pid=547] ppid=546 vsize=10888 CPUtime=16.4 cores=0,2,4,6
/proc/547/stat : 547 (npSolver-wbo) S 546 546 31464 0 -1 4202496 3299 12050 0 0 4 2 1632 2 20 0 1 0 384646167 11149312 2139 33554432000 4194304 6006132 140733914872512 140733914863920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/547/statm: 2722 2139 166 443 0 2275 0
[pid=573] ppid=547 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/573/stat : 573 (satsolver.sh) S 547 546 31464 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384647810 9367552 266 33554432000 4194304 5064252 140736768221216 140736768220128 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/573/statm: 2287 266 226 213 0 72 0
[pid=574] ppid=573 vsize=46320 CPUtime=9.04 cores=0,2,4,6
/proc/574/stat : 574 (glucose) R 573 546 31464 0 -1 4202496 8896 0 0 0 902 2 0 0 20 0 1 0 384647811 47431680 10977 33554432000 4194304 5208918 140736036319264 140736036317208 4211760 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/574/statm: 11580 10977 96 248 0 11329 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 75504
[startup+51.1066 s]
/proc/loadavg: 2.01 2.00 2.00 3/182 582
/proc/meminfo: memFree=31396112/32873844 swapFree=8656/8656
[pid=546] ppid=544 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/546/stat : 546 (npSolver-wbo.sh) S 544 546 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384646166 9367552 275 33554432000 4194304 5064252 140735811736032 140735811734944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/546/statm: 2287 275 233 213 0 72 0
[pid=547] ppid=546 vsize=10888 CPUtime=36.23 cores=0,2,4,6
/proc/547/stat : 547 (npSolver-wbo) S 546 546 31464 0 -1 4202496 3870 25210 0 0 6 2 3604 11 20 0 1 0 384646167 11149312 2139 33554432000 4194304 6006132 140733914872512 140733914863920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/547/statm: 2722 2139 166 443 0 2275 0
[pid=580] ppid=547 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/580/stat : 580 (satsolver.sh) S 547 546 31464 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384649793 9367552 267 33554432000 4194304 5064252 140733742712320 140733742711232 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/580/statm: 2287 267 226 213 0 72 0
[pid=581] ppid=580 vsize=30432 CPUtime=14.83 cores=0,2,4,6
/proc/581/stat : 581 (glucose) R 580 546 31464 0 -1 4202496 6216 0 0 0 1482 1 0 0 20 0 1 0 384649793 31162368 7087 33554432000 4194304 5208918 140737371977504 140737371975368 4211851 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/581/statm: 7608 7087 96 248 0 7357 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 59616
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 603
/proc/meminfo: memFree=31295104/32873844 swapFree=8656/8656
[pid=546] ppid=544 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/546/stat : 546 (npSolver-wbo.sh) S 544 546 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384646166 9367552 275 33554432000 4194304 5064252 140735811736032 140735811734944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/546/statm: 2287 275 233 213 0 72 0
[pid=547] ppid=546 vsize=10888 CPUtime=64.07 cores=0,2,4,6
/proc/547/stat : 547 (npSolver-wbo) S 546 546 31464 0 -1 4202496 4204 49507 0 0 6 2 6381 18 20 0 1 0 384646167 11149312 2139 33554432000 4194304 6006132 140733914872512 140733914863920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/547/statm: 2722 2139 166 443 0 2275 0
[pid=602] ppid=547 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/602/stat : 602 (satsolver.sh) S 547 546 31464 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384652579 9367552 267 33554432000 4194304 5064252 140734298485312 140734298484224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/602/statm: 2287 267 226 213 0 72 0
[pid=603] ppid=602 vsize=67076 CPUtime=38.15 cores=0,2,4,6
/proc/603/stat : 603 (glucose) R 602 546 31464 0 -1 4202496 5809 0 0 0 3813 2 0 0 20 0 1 0 384652579 68685824 15320 33554432000 4194304 5208918 140735237612256 140735237608568 4229512 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/603/statm: 16769 15320 105 248 0 16518 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 96260
[startup+162.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/183 604
/proc/meminfo: memFree=31263400/32873844 swapFree=8656/8656
[pid=546] ppid=544 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/546/stat : 546 (npSolver-wbo.sh) S 544 546 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384646166 9367552 275 33554432000 4194304 5064252 140735811736032 140735811734944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/546/statm: 2287 275 233 213 0 72 0
[pid=547] ppid=546 vsize=10888 CPUtime=64.07 cores=0,2,4,6
/proc/547/stat : 547 (npSolver-wbo) S 546 546 31464 0 -1 4202496 4204 49507 0 0 6 2 6381 18 20 0 1 0 384646167 11149312 2139 33554432000 4194304 6006132 140733914872512 140733914863920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/547/statm: 2722 2139 166 443 0 2275 0
[pid=602] ppid=547 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 637
/proc/meminfo: memFree=31194504/32873844 swapFree=8656/8656
[pid=546] ppid=544 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/546/stat : 546 (npSolver-wbo.sh) S 544 546 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384646166 9367552 275 33554432000 4194304 5064252 140735811736032 140735811734944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/546/statm: 2287 275 233 213 0 72 0
[pid=547] ppid=546 vsize=10888 CPUtime=64.07 cores=0,2,4,6
/proc/547/stat : 547 (npSolver-wbo) S 546 546 31464 0 -1 4202496 4204 49507 0 0 6 2 6381 18 20 0 1 0 384646167 11149312 2139 33554432000 4194304 6006132 140733914872512 140733914863920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/547/statm: 2722 2139 166 443 0 2275 0
[pid=602] ppid=547 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/602/stat : 602 (satsolver.sh) S 547 546 31464 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384652579 9367552 267 33554432000 4194304 5064252 140734298485312 140734298484224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/602/statm: 2287 267 226 213 0 72 0
[pid=603] ppid=602 vsize=140024 CPUtime=1357.92 cores=0,2,4,6
/proc/603/stat : 603 (glucose) R 602 546 31464 0 -1 4202496 18779 0 0 0 135756 36 0 0 20 0 1 0 384652579 143384576 34074 33554432000 4194304 5208918 140735237612256 140735237608568 4229483 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/603/statm: 35006 34074 105 248 0 34755 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 169208
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 637
/proc/meminfo: memFree=31183072/32873844 swapFree=8656/8656
[pid=546] ppid=544 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/546/stat : 546 (npSolver-wbo.sh) S 544 546 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384646166 9367552 275 33554432000 4194304 5064252 140735811736032 140735811734944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/546/statm: 2287 275 233 213 0 72 0
[pid=547] ppid=546 vsize=10888 CPUtime=64.07 cores=0,2,4,6
/proc/547/stat : 547 (npSolver-wbo) S 546 546 31464 0 -1 4202496 4204 49507 0 0 6 2 6381 18 20 0 1 0 384646167 11149312 2139 33554432000 4194304 6006132 140733914872512 140733914863920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/547/statm: 2722 2139 166 443 0 2275 0
[pid=602] ppid=547 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/602/stat : 602 (satsolver.sh) S 547 546 31464 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384652579 9367552 267 33554432000 4194304 5064252 140734298485312 140734298484224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/602/statm: 2287 267 226 213 0 72 0
[pid=603] ppid=602 vsize=91588 CPUtime=1417.91 cores=0,2,4,6
/proc/603/stat : 603 (glucose) R 602 546 31464 0 -1 4202496 19548 0 0 0 141754 37 0 0 20 0 1 0 384652579 93786112 22416 33554432000 4194304 5208918 140735237612256 140735237610344 4229493 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/603/statm: 22897 22416 105 248 0 22646 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 120772
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 637
/proc/meminfo: memFree=31077880/32873844 swapFree=8656/8656
[pid=546] ppid=544 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/546/stat : 546 (npSolver-wbo.sh) S 544 546 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384646166 9367552 275 33554432000 4194304 5064252 140735811736032 140735811734944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/546/statm: 2287 275 233 213 0 72 0
[pid=547] ppid=546 vsize=10888 CPUtime=64.07 cores=0,2,4,6
/proc/547/stat : 547 (npSolver-wbo) S 546 546 31464 0 -1 4202496 4204 49507 0 0 6 2 6381 18 20 0 1 0 384646167 11149312 2139 33554432000 4194304 6006132 140733914872512 140733914863920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/547/statm: 2722 2139 166 443 0 2275 0
[pid=602] ppid=547 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/602/stat : 602 (satsolver.sh) S 547 546 31464 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384652579 9367552 267 33554432000 4194304 5064252 140734298485312 140734298484224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/602/statm: 2287 267 226 213 0 72 0
[pid=603] ppid=602 vsize=171728 CPUtime=1477.9 cores=0,2,4,6
/proc/603/stat : 603 (glucose) R 602 546 31464 0 -1 4202496 20267 0 0 0 147751 39 0 0 20 0 1 0 384652579 175849472 37434 33554432000 4194304 5208918 140735237612256 140735237610408 4229776 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/603/statm: 42932 37434 105 248 0 42681 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 200912
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 638
/proc/meminfo: memFree=31161956/32873844 swapFree=8656/8656
[pid=546] ppid=544 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/546/stat : 546 (npSolver-wbo.sh) S 544 546 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384646166 9367552 275 33554432000 4194304 5064252 140735811736032 140735811734944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/546/statm: 2287 275 233 213 0 72 0
[pid=547] ppid=546 vsize=10888 CPUtime=64.07 cores=0,2,4,6
/proc/547/stat : 547 (npSolver-wbo) S 546 546 31464 0 -1 4202496 4204 49507 0 0 6 2 6381 18 20 0 1 0 384646167 11149312 2139 33554432000 4194304 6006132 140733914872512 140733914863920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/547/statm: 2722 2139 166 443 0 2275 0
[pid=602] ppid=547 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/602/stat : 602 (satsolver.sh) S 547 546 31464 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384652579 9367552 267 33554432000 4194304 5064252 140734298485312 140734298484224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/602/statm: 2287 267 226 213 0 72 0
[pid=603] ppid=602 vsize=172232 CPUtime=1537.89 cores=0,2,4,6
/proc/603/stat : 603 (glucose) R 602 546 31464 0 -1 4202496 21065 0 0 0 153748 41 0 0 20 0 1 0 384652579 176365568 36536 33554432000 4194304 5208918 140735237612256 140735237610408 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/603/statm: 43058 36536 105 248 0 42807 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 201416
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/184 641
/proc/meminfo: memFree=31092740/32873844 swapFree=8656/8656
[pid=546] ppid=544 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/546/stat : 546 (npSolver-wbo.sh) S 544 546 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384646166 9367552 275 33554432000 4194304 5064252 140735811736032 140735811734944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/546/statm: 2287 275 233 213 0 72 0
[pid=547] ppid=546 vsize=10888 CPUtime=64.07 cores=0,2,4,6
/proc/547/stat : 547 (npSolver-wbo) S 546 546 31464 0 -1 4202496 4204 49507 0 0 6 2 6381 18 20 0 1 0 384646167 11149312 2139 33554432000 4194304 6006132 140733914872512 140733914863920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/547/statm: 2722 2139 166 443 0 2275 0
[pid=602] ppid=547 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/602/stat : 602 (satsolver.sh) S 547 546 31464 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384652579 9367552 267 33554432000 4194304 5064252 140734298485312 140734298484224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/602/statm: 2287 267 226 213 0 72 0
[pid=603] ppid=602 vsize=175100 CPUtime=1597.89 cores=0,2,4,6
/proc/603/stat : 603 (glucose) R 602 546 31464 0 -1 4202496 22467 0 0 0 159745 44 0 0 20 0 1 0 384652579 179302400 38277 33554432000 4194304 5208918 140735237612256 140735237610408 4229338 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/603/statm: 43775 38277 105 248 0 43524 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 204284
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 641
/proc/meminfo: memFree=31162144/32873844 swapFree=8656/8656
[pid=546] ppid=544 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/546/stat : 546 (npSolver-wbo.sh) S 544 546 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384646166 9367552 275 33554432000 4194304 5064252 140735811736032 140735811734944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/546/statm: 2287 275 233 213 0 72 0
[pid=547] ppid=546 vsize=10888 CPUtime=64.07 cores=0,2,4,6
/proc/547/stat : 547 (npSolver-wbo) S 546 546 31464 0 -1 4202496 4204 49507 0 0 6 2 6381 18 20 0 1 0 384646167 11149312 2139 33554432000 4194304 6006132 140733914872512 140733914863920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/547/statm: 2722 2139 166 443 0 2275 0
[pid=602] ppid=547 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/602/stat : 602 (satsolver.sh) S 547 546 31464 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384652579 9367552 267 33554432000 4194304 5064252 140734298485312 140734298484224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/602/statm: 2287 267 226 213 0 72 0
[pid=603] ppid=602 vsize=176096 CPUtime=1657.87 cores=0,2,4,6
/proc/603/stat : 603 (glucose) R 602 546 31464 0 -1 4202496 23393 0 0 0 165742 45 0 0 20 0 1 0 384652579 180322304 37502 33554432000 4194304 5208918 140735237612256 140735237610408 4229517 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/603/statm: 44024 37502 105 248 0 43773 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 205280
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 641
/proc/meminfo: memFree=31066568/32873844 swapFree=8656/8656
[pid=546] ppid=544 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/546/stat : 546 (npSolver-wbo.sh) S 544 546 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384646166 9367552 275 33554432000 4194304 5064252 140735811736032 140735811734944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/546/statm: 2287 275 233 213 0 72 0
[pid=547] ppid=546 vsize=10888 CPUtime=64.07 cores=0,2,4,6
/proc/547/stat : 547 (npSolver-wbo) S 546 546 31464 0 -1 4202496 4204 49507 0 0 6 2 6381 18 20 0 1 0 384646167 11149312 2139 33554432000 4194304 6006132 140733914872512 140733914863920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/547/statm: 2722 2139 166 443 0 2275 0
[pid=602] ppid=547 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/602/stat : 602 (satsolver.sh) S 547 546 31464 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384652579 9367552 267 33554432000 4194304 5064252 140734298485312 140734298484224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/602/statm: 2287 267 226 213 0 72 0
[pid=603] ppid=602 vsize=178232 CPUtime=1717.86 cores=0,2,4,6
/proc/603/stat : 603 (glucose) R 602 546 31464 0 -1 4202496 24612 0 0 0 171739 47 0 0 20 0 1 0 384652579 182509568 37524 33554432000 4194304 5208918 140735237612256 140735237610408 4229517 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/603/statm: 44558 37524 105 248 0 44307 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 207416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 686
/proc/meminfo: memFree=31339312/32873844 swapFree=8656/8656
[pid=546] ppid=544 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/546/stat : 546 (npSolver-wbo.sh) S 544 546 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384646166 9367552 275 33554432000 4194304 5064252 140735811736032 140735811734944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/546/statm: 2287 275 233 213 0 72 0
[pid=547] ppid=546 vsize=10888 CPUtime=64.07 cores=0,2,4,6
/proc/547/stat : 547 (npSolver-wbo) S 546 546 31464 0 -1 4202496 4204 49507 0 0 6 2 6381 18 20 0 1 0 384646167 11149312 2139 33554432000 4194304 6006132 140733914872512 140733914863920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/547/statm: 2722 2139 166 443 0 2275 0
[pid=602] ppid=547 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/602/stat : 602 (satsolver.sh) S 547 546 31464 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384652579 9367552 267 33554432000 4194304 5064252 140734298485312 140734298484224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/602/statm: 2287 267 226 213 0 72 0
[pid=603] ppid=602 vsize=178232 CPUtime=1735.96 cores=0,2,4,6
/proc/603/stat : 603 (glucose) R 602 546 31464 0 -1 4202496 24615 0 0 0 173549 47 0 0 20 0 1 0 384652579 182509568 39060 33554432000 4194304 5208918 140735237612256 140735237610408 4229504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/603/statm: 44558 39060 105 248 0 44307 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 207416
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 686
/proc/meminfo: memFree=31339312/32873844 swapFree=8656/8656
[pid=546] ppid=544 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/546/stat : 546 (npSolver-wbo.sh) S 544 546 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384646166 9367552 275 33554432000 4194304 5064252 140735811736032 140735811734944 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/546/statm: 2287 275 233 213 0 72 0
[pid=547] ppid=546 vsize=10888 CPUtime=64.07 cores=0,2,4,6
/proc/547/stat : 547 (npSolver-wbo) S 546 546 31464 0 -1 4202496 4204 49507 0 0 6 2 6381 18 20 0 1 0 384646167 11149312 2139 33554432000 4194304 6006132 140733914872512 140733914863920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/547/statm: 2722 2139 166 443 0 2275 0
[pid=602] ppid=547 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/602/stat : 602 (satsolver.sh) S 547 546 31464 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384652579 9367552 267 33554432000 4194304 5064252 140734298485312 140734298484224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/602/statm: 2287 267 226 213 0 72 0
[pid=603] ppid=602 vsize=178232 CPUtime=1735.96 cores=0,2,4,6
/proc/603/stat : 603 (glucose) R 602 546 31464 0 -1 4202496 24615 0 0 0 173549 47 0 0 20 0 1 0 384652579 182509568 39060 33554432000 4194304 5208918 140735237612256 140735237610408 4229504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/603/statm: 44558 39060 105 248 0 44307 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 207416
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1799.38
CPU system time (s): 0.698893
CPU usage (%): 99.9815
Max. virtual memory (cumulated for all children) (KiB): 207416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.698893
maximum resident set size= 160528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79320
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 271
involuntary context switches= 2143
runsolver used 3.59045 second user time and 10.1815 second system time
The end