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-3755334-1339193600/watcher-3755334-1339193600 -o /tmp/evaluation-result-3755334-1339193600/solver-3755334-1339193600 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3755334-1339193600.wbo 1349810505 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.06 2.02 2.00 2/179 8702
/proc/meminfo: memFree=30130744/32873844 swapFree=7644/7644
[pid=8702] ppid=8700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-wbo.sh) S 8700 8702 24896 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385484393 9367552 275 33554432000 4194304 5064252 140733670147344 140733670146256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8702/statm: 2287 275 233 213 0 72 0
[startup+0.106432 s]
/proc/loadavg: 2.06 2.02 2.00 2/179 8702
/proc/meminfo: memFree=30130744/32873844 swapFree=7644/7644
[pid=8702] ppid=8700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-wbo.sh) S 8700 8702 24896 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385484393 9367552 275 33554432000 4194304 5064252 140733670147344 140733670146256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8702/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200179 s]
/proc/loadavg: 2.06 2.02 2.00 2/179 8702
/proc/meminfo: memFree=30130744/32873844 swapFree=7644/7644
[pid=8702] ppid=8700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-wbo.sh) S 8700 8702 24896 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385484393 9367552 275 33554432000 4194304 5064252 140733670147344 140733670146256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8702/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300145 s]
/proc/loadavg: 2.06 2.02 2.00 2/179 8702
/proc/meminfo: memFree=30130744/32873844 swapFree=7644/7644
[pid=8702] ppid=8700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-wbo.sh) S 8700 8702 24896 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385484393 9367552 275 33554432000 4194304 5064252 140733670147344 140733670146256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8702/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700141 s]
/proc/loadavg: 2.06 2.02 2.00 2/179 8702
/proc/meminfo: memFree=30130744/32873844 swapFree=7644/7644
[pid=8702] ppid=8700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-wbo.sh) S 8700 8702 24896 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385484393 9367552 275 33554432000 4194304 5064252 140733670147344 140733670146256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8702/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 8709
/proc/meminfo: memFree=30123556/32873844 swapFree=7644/7644
[pid=8702] ppid=8700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-wbo.sh) S 8700 8702 24896 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385484393 9367552 275 33554432000 4194304 5064252 140733670147344 140733670146256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8702/statm: 2287 275 233 213 0 72 0
[pid=8703] ppid=8702 vsize=3104 CPUtime=0.18 cores=0,2,4,6
/proc/8703/stat : 8703 (npSolver-wbo) S 8702 8702 24896 0 -1 4202496 1968 2756 0 0 2 0 16 0 20 0 1 0 385484393 3178496 387 33554432000 4194304 6006132 140735657475040 140735657469232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8703/statm: 776 387 158 443 0 329 0
[pid=8708] ppid=8703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8708/stat : 8708 (satsolver.sh) S 8703 8702 24896 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385484414 9367552 266 33554432000 4194304 5064252 140733442970160 140733442969072 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8708/statm: 2287 266 226 213 0 72 0
[pid=8709] ppid=8708 vsize=12892 CPUtime=1.28 cores=0,2,4,6
/proc/8709/stat : 8709 (glucose) R 8708 8702 24896 0 -1 4202496 2828 0 0 0 128 0 0 0 20 0 1 0 385484414 13201408 2280 33554432000 4194304 5208918 140734310418848 140734310416792 4229528 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8709/statm: 3223 2280 96 248 0 2972 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 34292
[startup+3.10029 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 8709
/proc/meminfo: memFree=30114004/32873844 swapFree=7644/7644
[pid=8702] ppid=8700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-wbo.sh) S 8700 8702 24896 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385484393 9367552 275 33554432000 4194304 5064252 140733670147344 140733670146256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8702/statm: 2287 275 233 213 0 72 0
[pid=8703] ppid=8702 vsize=3104 CPUtime=0.18 cores=0,2,4,6
/proc/8703/stat : 8703 (npSolver-wbo) S 8702 8702 24896 0 -1 4202496 1968 2756 0 0 2 0 16 0 20 0 1 0 385484393 3178496 387 33554432000 4194304 6006132 140735657475040 140735657469232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8703/statm: 776 387 158 443 0 329 0
[pid=8708] ppid=8703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8708/stat : 8708 (satsolver.sh) S 8703 8702 24896 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385484414 9367552 266 33554432000 4194304 5064252 140733442970160 140733442969072 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8708/statm: 2287 266 226 213 0 72 0
[pid=8709] ppid=8708 vsize=12892 CPUtime=2.88 cores=0,2,4,6
/proc/8709/stat : 8709 (glucose) R 8708 8702 24896 0 -1 4202496 3365 0 0 0 288 0 0 0 20 0 1 0 385484414 13201408 2806 33554432000 4194304 5208918 140734310418848 140734310416792 4229538 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8709/statm: 3223 2806 96 248 0 2972 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 34292
[startup+6.30029 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 8709
/proc/meminfo: memFree=30198848/32873844 swapFree=7644/7644
[pid=8702] ppid=8700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-wbo.sh) S 8700 8702 24896 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385484393 9367552 275 33554432000 4194304 5064252 140733670147344 140733670146256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8702/statm: 2287 275 233 213 0 72 0
[pid=8703] ppid=8702 vsize=3104 CPUtime=0.18 cores=0,2,4,6
/proc/8703/stat : 8703 (npSolver-wbo) S 8702 8702 24896 0 -1 4202496 1968 2756 0 0 2 0 16 0 20 0 1 0 385484393 3178496 387 33554432000 4194304 6006132 140735657475040 140735657469232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8703/statm: 776 387 158 443 0 329 0
[pid=8708] ppid=8703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8708/stat : 8708 (satsolver.sh) S 8703 8702 24896 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385484414 9367552 266 33554432000 4194304 5064252 140733442970160 140733442969072 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8708/statm: 2287 266 226 213 0 72 0
[pid=8709] ppid=8708 vsize=15612 CPUtime=6.08 cores=0,2,4,6
/proc/8709/stat : 8709 (glucose) R 8708 8702 24896 0 -1 4202496 4063 0 0 0 608 0 0 0 20 0 1 0 385484414 15986688 3476 33554432000 4194304 5208918 140734310418848 140734310416712 4229541 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8709/statm: 3903 3476 96 248 0 3652 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 37012
[startup+12.7004 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 8709
/proc/meminfo: memFree=30176276/32873844 swapFree=7644/7644
[pid=8702] ppid=8700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-wbo.sh) S 8700 8702 24896 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385484393 9367552 275 33554432000 4194304 5064252 140733670147344 140733670146256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8702/statm: 2287 275 233 213 0 72 0
[pid=8703] ppid=8702 vsize=3104 CPUtime=0.18 cores=0,2,4,6
/proc/8703/stat : 8703 (npSolver-wbo) S 8702 8702 24896 0 -1 4202496 1968 2756 0 0 2 0 16 0 20 0 1 0 385484393 3178496 387 33554432000 4194304 6006132 140735657475040 140735657469232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8703/statm: 776 387 158 443 0 329 0
[pid=8708] ppid=8703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8708/stat : 8708 (satsolver.sh) S 8703 8702 24896 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385484414 9367552 266 33554432000 4194304 5064252 140733442970160 140733442969072 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8708/statm: 2287 266 226 213 0 72 0
[pid=8709] ppid=8708 vsize=31840 CPUtime=12.48 cores=0,2,4,6
/proc/8709/stat : 8709 (glucose) R 8708 8702 24896 0 -1 4202496 4784 0 0 0 1247 1 0 0 20 0 1 0 385484414 32604160 6148 33554432000 4194304 5208918 140734310418848 140734310416792 4229328 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8709/statm: 7960 6148 96 248 0 7709 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 53240
[startup+25.5065 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 8761
/proc/meminfo: memFree=30253688/32873844 swapFree=7644/7644
[pid=8702] ppid=8700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-wbo.sh) S 8700 8702 24896 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385484393 9367552 275 33554432000 4194304 5064252 140733670147344 140733670146256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8702/statm: 2287 275 233 213 0 72 0
[pid=8703] ppid=8702 vsize=11268 CPUtime=21.7 cores=0,2,4,6
/proc/8703/stat : 8703 (npSolver-wbo) S 8702 8702 24896 0 -1 4202496 3336 10937 0 0 6 3 2159 2 20 0 1 0 385484393 11538432 2103 33554432000 4194304 6006132 140735657475040 140735657466448 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8703/statm: 2817 2103 167 443 0 2370 0
[pid=8760] ppid=8703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8760/stat : 8760 (satsolver.sh) S 8703 8702 24896 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385486567 9367552 266 33554432000 4194304 5064252 140736022971216 140736022970128 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8760/statm: 2287 266 226 213 0 72 0
[pid=8761] ppid=8760 vsize=34656 CPUtime=3.75 cores=0,2,4,6
/proc/8761/stat : 8761 (glucose) R 8760 8702 24896 0 -1 4202496 7134 0 0 0 375 0 0 0 20 0 1 0 385486567 35487744 7719 33554432000 4194304 5208918 140733632595824 140733632593768 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8761/statm: 8664 7719 96 248 0 8413 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 64220
[startup+51.1004 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 8768
/proc/meminfo: memFree=30175904/32873844 swapFree=7644/7644
[pid=8702] ppid=8700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-wbo.sh) S 8700 8702 24896 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385484393 9367552 275 33554432000 4194304 5064252 140733670147344 140733670146256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8702/statm: 2287 275 233 213 0 72 0
[pid=8703] ppid=8702 vsize=11268 CPUtime=21.7 cores=0,2,4,6
/proc/8703/stat : 8703 (npSolver-wbo) S 8702 8702 24896 0 -1 4202496 3336 10937 0 0 6 3 2159 2 20 0 1 0 385484393 11538432 2103 33554432000 4194304 6006132 140735657475040 140735657466448 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8703/statm: 2817 2103 167 443 0 2370 0
[pid=8760] ppid=8703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8760/stat : 8760 (satsolver.sh) S 8703 8702 24896 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385486567 9367552 266 33554432000 4194304 5064252 140736022971216 140736022970128 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8760/statm: 2287 266 226 213 0 72 0
[pid=8761] ppid=8760 vsize=57752 CPUtime=29.34 cores=0,2,4,6
/proc/8761/stat : 8761 (glucose) R 8760 8702 24896 0 -1 4202496 9493 0 0 0 2933 1 0 0 20 0 1 0 385486567 59138048 12642 33554432000 4194304 5208918 140733632595824 140733632593816 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8761/statm: 14438 12642 96 248 0 14187 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 87316
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 8789
/proc/meminfo: memFree=30245004/32873844 swapFree=7644/7644
[pid=8702] ppid=8700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-wbo.sh) S 8700 8702 24896 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385484393 9367552 275 33554432000 4194304 5064252 140733670147344 140733670146256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8702/statm: 2287 275 233 213 0 72 0
[pid=8703] ppid=8702 vsize=11268 CPUtime=100.48 cores=0,2,4,6
/proc/8703/stat : 8703 (npSolver-wbo) S 8702 8702 24896 0 -1 4202496 4815 34769 0 0 9 3 10019 17 20 0 1 0 385484393 11538432 2103 33554432000 4194304 6006132 140735657475040 140735657466448 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8703/statm: 2817 2103 167 443 0 2370 0
[pid=8788] ppid=8703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8788/stat : 8788 (satsolver.sh) S 8703 8702 24896 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385494448 9367552 267 33554432000 4194304 5064252 140735399714336 140735399713248 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8788/statm: 2287 267 226 213 0 72 0
[pid=8789] ppid=8788 vsize=12924 CPUtime=1.74 cores=0,2,4,6
/proc/8789/stat : 8789 (glucose) R 8788 8702 24896 0 -1 4202496 2736 0 0 0 174 0 0 0 20 0 1 0 385494448 13234176 2593 33554432000 4194304 5208918 140733784577664 140733784575512 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8789/statm: 3231 2593 96 248 0 2980 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 42488
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8811
/proc/meminfo: memFree=30251260/32873844 swapFree=7644/7644
[pid=8702] ppid=8700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-wbo.sh) S 8700 8702 24896 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385484393 9367552 275 33554432000 4194304 5064252 140733670147344 140733670146256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8702/statm: 2287 275 233 213 0 72 0
[pid=8703] ppid=8702 vsize=11268 CPUtime=134 cores=0,2,4,6
/proc/8703/stat : 8703 (npSolver-wbo) S 8702 8702 24896 0 -1 4202496 5004 44866 0 0 10 3 13367 20 20 0 1 0 385484393 11538432 2103 33554432000 4194304 6006132 140735657475040 140735657466448 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8703/statm: 2817 2103 167 443 0 2370 0
[pid=8802] ppid=8703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8802/stat : 8802 (satsolver.sh) S 8703 8702 24896 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385497802 9367552 267 33554432000 4194304 5064252 140733778143360 140733778142272 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8802/statm: 2287 267 226 213 0 72 0
[pid=8803] ppid=8802 vsize=27200 CPUtime=28.2 cores=0,2,4,6
/proc/8803/stat : 8803 (glucose) R 8802 8702 24896 0 -1 4202496 5355 0 0 0 2819 1 0 0 20 0 1 0 385497802 27852800 6389 33554432000 4194304 5208918 140734751185232 140734751183096 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8803/statm: 6800 6389 96 248 0 6549 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 56764
Solver just ended. Dumping a history of the last processes samples
[startup+179.3 s]
/proc/loadavg: 1.92 1.99 1.99 3/183 8825
/proc/meminfo: memFree=30282160/32873844 swapFree=7644/7644
[pid=8702] ppid=8700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-wbo.sh) S 8700 8702 24896 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385484393 9367552 275 33554432000 4194304 5064252 140733670147344 140733670146256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8702/statm: 2287 275 233 213 0 72 0
[pid=8703] ppid=8702 vsize=11268 CPUtime=176.82 cores=0,2,4,6
/proc/8703/stat : 8703 (npSolver-wbo) S 8702 8702 24896 0 -1 4202496 5089 54940 0 0 10 3 17645 24 20 0 1 0 385484393 11538432 2104 33554432000 4194304 6006132 140735657475040 140735657466448 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8703/statm: 2817 2104 168 443 0 2370 0
[pid=8824] ppid=8703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8824/stat : 8824 (satsolver.sh) S 8703 8702 24896 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385502084 9367552 267 33554432000 4194304 5064252 140734120670784 140734120669696 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8824/statm: 2287 267 226 213 0 72 0
[pid=8825] ppid=8824 vsize=9488 CPUtime=2.37 cores=0,2,4,6
/proc/8825/stat : 8825 (glucose) R 8824 8702 24896 0 -1 4202496 2624 0 0 0 237 0 0 0 20 0 1 0 385502085 9715712 1948 33554432000 4194304 5208918 140735456364736 140735456362680 4211537 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8825/statm: 2372 1948 96 248 0 2121 0
Current children cumulated CPU time (s) 179.19
Current children cumulated vsize (KiB) 39052
[startup+204.9 s]
/proc/loadavg: 1.95 1.99 1.99 3/183 8889
/proc/meminfo: memFree=30277968/32873844 swapFree=7644/7644
[pid=8702] ppid=8700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-wbo.sh) S 8700 8702 24896 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385484393 9367552 275 33554432000 4194304 5064252 140733670147344 140733670146256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8702/statm: 2287 275 233 213 0 72 0
[pid=8703] ppid=8702 vsize=11268 CPUtime=194.97 cores=0,2,4,6
/proc/8703/stat : 8703 (npSolver-wbo) S 8702 8702 24896 0 -1 4202496 5167 62760 0 0 10 4 19457 26 20 0 1 0 385484393 11538432 2104 33554432000 4194304 6006132 140735657475040 140735657466448 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8703/statm: 2817 2104 168 443 0 2370 0
[pid=8838] ppid=8703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8838/stat : 8838 (satsolver.sh) S 8703 8702 24896 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385503900 9367552 266 33554432000 4194304 5064252 140735812694256 140735812693168 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8838/statm: 2287 266 226 213 0 72 0
[pid=8839] ppid=8838 vsize=20992 CPUtime=9.82 cores=0,2,4,6
/proc/8839/stat : 8839 (glucose) R 8838 8702 24896 0 -1 4202496 3909 0 0 0 981 1 0 0 20 0 1 0 385503900 21495808 4323 33554432000 4194304 5208918 140733692062112 140733692060056 4229344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8839/statm: 5248 4323 96 248 0 4997 0
Current children cumulated CPU time (s) 204.79
Current children cumulated vsize (KiB) 50556
[startup+211.3 s]
/proc/loadavg: 1.95 1.99 1.99 3/183 8896
/proc/meminfo: memFree=30243172/32873844 swapFree=7644/7644
[pid=8702] ppid=8700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-wbo.sh) S 8700 8702 24896 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385484393 9367552 275 33554432000 4194304 5064252 140733670147344 140733670146256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8702/statm: 2287 275 233 213 0 72 0
[pid=8703] ppid=8702 vsize=11268 CPUtime=194.97 cores=0,2,4,6
/proc/8703/stat : 8703 (npSolver-wbo) S 8702 8702 24896 0 -1 4202496 5167 62760 0 0 10 4 19457 26 20 0 1 0 385484393 11538432 2104 33554432000 4194304 6006132 140735657475040 140735657466448 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8703/statm: 2817 2104 168 443 0 2370 0
[pid=8838] ppid=8703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8838/stat : 8838 (satsolver.sh) S 8703 8702 24896 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385503900 9367552 266 33554432000 4194304 5064252 140735812694256 140735812693168 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8838/statm: 2287 266 226 213 0 72 0
[pid=8839] ppid=8838 vsize=20992 CPUtime=16.22 cores=0,2,4,6
/proc/8839/stat : 8839 (glucose) R 8838 8702 24896 0 -1 4202496 4432 0 0 0 1621 1 0 0 20 0 1 0 385503900 21495808 4833 33554432000 4194304 5208918 140733692062112 140733692060056 4211635 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8839/statm: 5248 4833 96 248 0 4997 0
Current children cumulated CPU time (s) 211.19
Current children cumulated vsize (KiB) 50556
[startup+214.5 s]
/proc/loadavg: 1.95 1.99 1.99 4/183 8896
/proc/meminfo: memFree=30237100/32873844 swapFree=7644/7644
[pid=8702] ppid=8700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-wbo.sh) S 8700 8702 24896 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385484393 9367552 275 33554432000 4194304 5064252 140733670147344 140733670146256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8702/statm: 2287 275 233 213 0 72 0
[pid=8703] ppid=8702 vsize=11268 CPUtime=194.97 cores=0,2,4,6
/proc/8703/stat : 8703 (npSolver-wbo) S 8702 8702 24896 0 -1 4202496 5167 62760 0 0 10 4 19457 26 20 0 1 0 385484393 11538432 2104 33554432000 4194304 6006132 140735657475040 140735657466448 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8703/statm: 2817 2104 168 443 0 2370 0
[pid=8838] ppid=8703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8838/stat : 8838 (satsolver.sh) S 8703 8702 24896 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385503900 9367552 266 33554432000 4194304 5064252 140735812694256 140735812693168 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8838/statm: 2287 266 226 213 0 72 0
[pid=8839] ppid=8838 vsize=20992 CPUtime=19.42 cores=0,2,4,6
/proc/8839/stat : 8839 (glucose) R 8838 8702 24896 0 -1 4202496 4438 0 0 0 1941 1 0 0 20 0 1 0 385503900 21495808 4839 33554432000 4194304 5208918 140733692062112 140733692060056 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8839/statm: 5248 4839 102 248 0 4997 0
Current children cumulated CPU time (s) 214.39
Current children cumulated vsize (KiB) 50556
[startup+216.1 s]
/proc/loadavg: 1.95 1.99 1.99 3/183 8896
/proc/meminfo: memFree=30235984/32873844 swapFree=7644/7644
[pid=8702] ppid=8700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-wbo.sh) S 8700 8702 24896 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385484393 9367552 275 33554432000 4194304 5064252 140733670147344 140733670146256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8702/statm: 2287 275 233 213 0 72 0
[pid=8703] ppid=8702 vsize=11268 CPUtime=194.97 cores=0,2,4,6
/proc/8703/stat : 8703 (npSolver-wbo) S 8702 8702 24896 0 -1 4202496 5167 62760 0 0 10 4 19457 26 20 0 1 0 385484393 11538432 2104 33554432000 4194304 6006132 140735657475040 140735657466448 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8703/statm: 2817 2104 168 443 0 2370 0
[pid=8838] ppid=8703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8838/stat : 8838 (satsolver.sh) S 8703 8702 24896 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385503900 9367552 266 33554432000 4194304 5064252 140735812694256 140735812693168 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8838/statm: 2287 266 226 213 0 72 0
[pid=8839] ppid=8838 vsize=20992 CPUtime=21.02 cores=0,2,4,6
/proc/8839/stat : 8839 (glucose) R 8838 8702 24896 0 -1 4202496 4438 0 0 0 2101 1 0 0 20 0 1 0 385503900 21495808 4839 33554432000 4194304 5208918 140733692062112 140733692060056 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8839/statm: 5248 4839 102 248 0 4997 0
Current children cumulated CPU time (s) 215.99
Current children cumulated vsize (KiB) 50556
[startup+217.7 s]
/proc/loadavg: 1.95 1.99 1.99 3/183 8896
/proc/meminfo: memFree=30235860/32873844 swapFree=7644/7644
[pid=8702] ppid=8700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-wbo.sh) S 8700 8702 24896 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385484393 9367552 275 33554432000 4194304 5064252 140733670147344 140733670146256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8702/statm: 2287 275 233 213 0 72 0
[pid=8703] ppid=8702 vsize=11268 CPUtime=194.97 cores=0,2,4,6
/proc/8703/stat : 8703 (npSolver-wbo) S 8702 8702 24896 0 -1 4202496 5167 62760 0 0 10 4 19457 26 20 0 1 0 385484393 11538432 2104 33554432000 4194304 6006132 140735657475040 140735657466448 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8703/statm: 2817 2104 168 443 0 2370 0
[pid=8838] ppid=8703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8838/stat : 8838 (satsolver.sh) S 8703 8702 24896 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385503900 9367552 266 33554432000 4194304 5064252 140735812694256 140735812693168 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8838/statm: 2287 266 226 213 0 72 0
[pid=8839] ppid=8838 vsize=20992 CPUtime=22.62 cores=0,2,4,6
/proc/8839/stat : 8839 (glucose) R 8838 8702 24896 0 -1 4202496 4438 0 0 0 2261 1 0 0 20 0 1 0 385503900 21495808 4839 33554432000 4194304 5208918 140733692062112 140733692060056 4229538 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8839/statm: 5248 4839 102 248 0 4997 0
Current children cumulated CPU time (s) 217.59
Current children cumulated vsize (KiB) 50556
[startup+218.5 s]
/proc/loadavg: 1.96 1.99 1.99 3/183 8896
/proc/meminfo: memFree=30235860/32873844 swapFree=7644/7644
[pid=8702] ppid=8700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-wbo.sh) S 8700 8702 24896 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385484393 9367552 275 33554432000 4194304 5064252 140733670147344 140733670146256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8702/statm: 2287 275 233 213 0 72 0
[pid=8703] ppid=8702 vsize=11268 CPUtime=194.97 cores=0,2,4,6
/proc/8703/stat : 8703 (npSolver-wbo) S 8702 8702 24896 0 -1 4202496 5167 62760 0 0 10 4 19457 26 20 0 1 0 385484393 11538432 2104 33554432000 4194304 6006132 140735657475040 140735657466448 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8703/statm: 2817 2104 168 443 0 2370 0
[pid=8838] ppid=8703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8838/stat : 8838 (satsolver.sh) S 8703 8702 24896 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385503900 9367552 266 33554432000 4194304 5064252 140735812694256 140735812693168 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8838/statm: 2287 266 226 213 0 72 0
[pid=8839] ppid=8838 vsize=20992 CPUtime=23.42 cores=0,2,4,6
/proc/8839/stat : 8839 (glucose) R 8838 8702 24896 0 -1 4202496 4438 0 0 0 2341 1 0 0 20 0 1 0 385503900 21495808 4839 33554432000 4194304 5208918 140733692062112 140733692060056 4230004 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8839/statm: 5248 4839 102 248 0 4997 0
Current children cumulated CPU time (s) 218.39
Current children cumulated vsize (KiB) 50556
[startup+218.7 s]
/proc/loadavg: 1.96 1.99 1.99 3/183 8896
/proc/meminfo: memFree=30235860/32873844 swapFree=7644/7644
[pid=8702] ppid=8700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8702/stat : 8702 (npSolver-wbo.sh) S 8700 8702 24896 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385484393 9367552 275 33554432000 4194304 5064252 140733670147344 140733670146256 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8702/statm: 2287 275 233 213 0 72 0
[pid=8703] ppid=8702 vsize=11268 CPUtime=194.97 cores=0,2,4,6
/proc/8703/stat : 8703 (npSolver-wbo) S 8702 8702 24896 0 -1 4202496 5167 62760 0 0 10 4 19457 26 20 0 1 0 385484393 11538432 2104 33554432000 4194304 6006132 140735657475040 140735657466448 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8703/statm: 2817 2104 168 443 0 2370 0
[pid=8838] ppid=8703 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8838/stat : 8838 (satsolver.sh) S 8703 8702 24896 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385503900 9367552 266 33554432000 4194304 5064252 140735812694256 140735812693168 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8838/statm: 2287 266 226 213 0 72 0
[pid=8839] ppid=8838 vsize=20992 CPUtime=23.62 cores=0,2,4,6
/proc/8839/stat : 8839 (glucose) R 8838 8702 24896 0 -1 4202496 4438 0 0 0 2361 1 0 0 20 0 1 0 385503900 21495808 4839 33554432000 4194304 5208918 140733692062112 140733692060056 4229717 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8839/statm: 5248 4839 102 248 0 4997 0
Current children cumulated CPU time (s) 218.59
Current children cumulated vsize (KiB) 50556
Child status: 0
Real time (s): 218.736
CPU time (s): 218.653
CPU user time (s): 218.316
CPU system time (s): 0.336948
CPU usage (%): 99.9619
Max. virtual memory (cumulated for all children) (KiB): 87316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 218.316
system time used= 0.336948
maximum resident set size= 51248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76603
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 378
involuntary context switches= 396
runsolver used 0.321951 second user time and 0.895863 second system time
The end