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-3754257-1339184893/watcher-3754257-1339184893 -o /tmp/evaluation-result-3754257-1339184893/solver-3754257-1339184893 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3754257-1339184893.wbo 1038153780 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.64 2.18 2.05 3/172 30688
/proc/meminfo: memFree=23526536/32873648 swapFree=7116/7116
[pid=30688] ppid=30686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30688/stat : 30688 (npSolver-wbo-I.) S 30686 30688 28381 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384614789 9367552 274 33554432000 4194304 5064252 140736578976512 140736578975424 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30688/statm: 2287 274 233 213 0 72 0
[startup+0.0564001 s]
/proc/loadavg: 2.64 2.18 2.05 3/172 30688
/proc/meminfo: memFree=23526536/32873648 swapFree=7116/7116
[pid=30688] ppid=30686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30688/stat : 30688 (npSolver-wbo-I.) S 30686 30688 28381 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384614789 9367552 274 33554432000 4194304 5064252 140736578976512 140736578975424 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30688/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.19688 s]
/proc/loadavg: 2.64 2.18 2.05 3/172 30688
/proc/meminfo: memFree=23526536/32873648 swapFree=7116/7116
[pid=30688] ppid=30686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30688/stat : 30688 (npSolver-wbo-I.) S 30686 30688 28381 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384614789 9367552 274 33554432000 4194304 5064252 140736578976512 140736578975424 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30688/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300108 s]
/proc/loadavg: 2.64 2.18 2.05 3/172 30688
/proc/meminfo: memFree=23526536/32873648 swapFree=7116/7116
[pid=30688] ppid=30686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30688/stat : 30688 (npSolver-wbo-I.) S 30686 30688 28381 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384614789 9367552 274 33554432000 4194304 5064252 140736578976512 140736578975424 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30688/statm: 2287 274 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.64 2.18 2.05 3/172 30688
/proc/meminfo: memFree=23526536/32873648 swapFree=7116/7116
[pid=30688] ppid=30686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30688/stat : 30688 (npSolver-wbo-I.) S 30686 30688 28381 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384614789 9367552 274 33554432000 4194304 5064252 140736578976512 140736578975424 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30688/statm: 2287 274 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.64 2.18 2.05 3/182 30705
/proc/meminfo: memFree=23418444/32873648 swapFree=7116/7116
[pid=30688] ppid=30686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30688/stat : 30688 (npSolver-wbo-I.) S 30686 30688 28381 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384614789 9367552 274 33554432000 4194304 5064252 140736578976512 140736578975424 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30688/statm: 2287 274 233 213 0 72 0
[pid=30689] ppid=30688 vsize=2248 CPUtime=0 cores=0,2,4,6
/proc/30689/stat : 30689 (npSolver-wbo) S 30688 30688 28381 0 -1 4202496 2286 2118 0 0 0 0 0 0 20 0 1 0 384614789 2301952 210 33554432000 4194304 6006132 140735369884240 140735369878432 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30689/statm: 562 210 157 443 0 115 0
[pid=30699] ppid=30689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30699/stat : 30699 (satsolver.sh) S 30689 30688 28381 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384614791 9367552 266 33554432000 4194304 5064252 140737457517152 140737457516064 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30699/statm: 2287 266 226 213 0 72 0
[pid=30703] ppid=30699 vsize=10180 CPUtime=1.45 cores=0,2,4,6
/proc/30703/stat : 30703 (glucose) R 30699 30688 28381 0 -1 4202496 3058 0 0 0 145 0 0 0 20 0 1 0 384614791 10424320 2079 33554432000 4194304 5208918 140736108552496 140736108550440 4229748 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30703/statm: 2545 2079 95 248 0 2294 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 30724
[startup+3.10023 s]
/proc/loadavg: 2.59 2.17 2.05 2/183 30706
/proc/meminfo: memFree=23207388/32873648 swapFree=7116/7116
[pid=30688] ppid=30686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30688/stat : 30688 (npSolver-wbo-I.) S 30686 30688 28381 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384614789 9367552 274 33554432000 4194304 5064252 140736578976512 140736578975424 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30688/statm: 2287 274 233 213 0 72 0
[pid=30689] ppid=30688 vsize=2248 CPUtime=0 cores=0,2,4,6
/proc/30689/stat : 30689 (npSolver-wbo) S 30688 30688 28381 0 -1 4202496 2286 2118 0 0 0 0 0 0 20 0 1 0 384614789 2301952 210 33554432000 4194304 6006132 140735369884240 140735369878432 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30689/statm: 562 210 157 443 0 115 0
[pid=30699] ppid=30689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30699/stat : 30699 (satsolver.sh) S 30689 30688 28381 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384614791 9367552 266 33554432000 4194304 5064252 140737457517152 140737457516064 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30699/statm: 2287 266 226 213 0 72 0
[pid=30703] ppid=30699 vsize=11236 CPUtime=3.05 cores=0,2,4,6
/proc/30703/stat : 30703 (glucose) R 30699 30688 28381 0 -1 4202496 3065 0 0 0 305 0 0 0 20 0 1 0 384614791 11505664 2086 33554432000 4194304 5208918 140736108552496 140736108550360 4211553 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30703/statm: 2809 2086 95 248 0 2558 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 31780
[startup+6.30029 s]
/proc/loadavg: 2.59 2.17 2.05 3/184 30750
/proc/meminfo: memFree=23506048/32873648 swapFree=7116/7116
[pid=30688] ppid=30686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30688/stat : 30688 (npSolver-wbo-I.) S 30686 30688 28381 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384614789 9367552 274 33554432000 4194304 5064252 140736578976512 140736578975424 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30688/statm: 2287 274 233 213 0 72 0
[pid=30689] ppid=30688 vsize=2248 CPUtime=0 cores=0,2,4,6
/proc/30689/stat : 30689 (npSolver-wbo) S 30688 30688 28381 0 -1 4202496 2286 2118 0 0 0 0 0 0 20 0 1 0 384614789 2301952 210 33554432000 4194304 6006132 140735369884240 140735369878432 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30689/statm: 562 210 157 443 0 115 0
[pid=30699] ppid=30689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30699/stat : 30699 (satsolver.sh) S 30689 30688 28381 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384614791 9367552 266 33554432000 4194304 5064252 140737457517152 140737457516064 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30699/statm: 2287 266 226 213 0 72 0
[pid=30703] ppid=30699 vsize=18508 CPUtime=6.26 cores=0,2,4,6
/proc/30703/stat : 30703 (glucose) R 30699 30688 28381 0 -1 4202496 3938 0 0 0 625 1 0 0 20 0 1 0 384614791 18952192 3368 33554432000 4194304 5208918 140736108552496 140736108550440 4229731 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30703/statm: 4627 3368 95 248 0 4376 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 39052
[startup+12.7003 s]
/proc/loadavg: 2.50 2.17 2.05 3/184 30764
/proc/meminfo: memFree=23492380/32873648 swapFree=7116/7116
[pid=30688] ppid=30686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30688/stat : 30688 (npSolver-wbo-I.) S 30686 30688 28381 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384614789 9367552 274 33554432000 4194304 5064252 140736578976512 140736578975424 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30688/statm: 2287 274 233 213 0 72 0
[pid=30689] ppid=30688 vsize=2248 CPUtime=0 cores=0,2,4,6
/proc/30689/stat : 30689 (npSolver-wbo) S 30688 30688 28381 0 -1 4202496 2286 2118 0 0 0 0 0 0 20 0 1 0 384614789 2301952 210 33554432000 4194304 6006132 140735369884240 140735369878432 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30689/statm: 562 210 157 443 0 115 0
[pid=30699] ppid=30689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30699/stat : 30699 (satsolver.sh) S 30689 30688 28381 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384614791 9367552 266 33554432000 4194304 5064252 140737457517152 140737457516064 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30699/statm: 2287 266 226 213 0 72 0
[pid=30703] ppid=30699 vsize=22928 CPUtime=12.65 cores=0,2,4,6
/proc/30703/stat : 30703 (glucose) R 30699 30688 28381 0 -1 4202496 4554 0 0 0 1264 1 0 0 20 0 1 0 384614791 23478272 5274 33554432000 4194304 5208918 140736108552496 140736108550360 4229541 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30703/statm: 5732 5274 95 248 0 5481 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 43472
[startup+25.5003 s]
/proc/loadavg: 2.42 2.16 2.05 3/184 30793
/proc/meminfo: memFree=23497056/32873648 swapFree=7116/7116
[pid=30688] ppid=30686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30688/stat : 30688 (npSolver-wbo-I.) S 30686 30688 28381 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384614789 9367552 274 33554432000 4194304 5064252 140736578976512 140736578975424 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30688/statm: 2287 274 233 213 0 72 0
[pid=30689] ppid=30688 vsize=2424 CPUtime=19.95 cores=0,2,4,6
/proc/30689/stat : 30689 (npSolver-wbo) S 30688 30688 28381 0 -1 4202496 2463 13976 0 0 0 1 1991 3 20 0 1 0 384614789 2482176 263 33554432000 4194304 6006132 140735369884240 140735369875648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30689/statm: 606 263 166 443 0 159 0
[pid=30784] ppid=30689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30784/stat : 30784 (satsolver.sh) S 30689 30688 28381 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 384616787 9367552 267 33554432000 4194304 5064252 140736382341760 140736382340672 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30784/statm: 2287 267 226 213 0 72 0
[pid=30785] ppid=30784 vsize=20452 CPUtime=5.51 cores=0,2,4,6
/proc/30785/stat : 30785 (glucose) R 30784 30688 28381 0 -1 4202496 4516 0 0 0 551 0 0 0 20 0 1 0 384616787 20942848 4664 33554432000 4194304 5208918 140733313399792 140733313397736 4229717 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30785/statm: 5113 4664 105 248 0 4862 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 41172
[startup+51.1003 s]
/proc/loadavg: 2.35 2.16 2.06 3/184 30793
/proc/meminfo: memFree=23461252/32873648 swapFree=7116/7116
[pid=30688] ppid=30686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30688/stat : 30688 (npSolver-wbo-I.) S 30686 30688 28381 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384614789 9367552 274 33554432000 4194304 5064252 140736578976512 140736578975424 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30688/statm: 2287 274 233 213 0 72 0
[pid=30689] ppid=30688 vsize=2424 CPUtime=19.95 cores=0,2,4,6
/proc/30689/stat : 30689 (npSolver-wbo) S 30688 30688 28381 0 -1 4202496 2463 13976 0 0 0 1 1991 3 20 0 1 0 384614789 2482176 263 33554432000 4194304 6006132 140735369884240 140735369875648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30689/statm: 606 263 166 443 0 159 0
[pid=30784] ppid=30689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30784/stat : 30784 (satsolver.sh) S 30689 30688 28381 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 384616787 9367552 267 33554432000 4194304 5064252 140736382341760 140736382340672 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30784/statm: 2287 267 226 213 0 72 0
[pid=30785] ppid=30784 vsize=34804 CPUtime=31.1 cores=0,2,4,6
/proc/30785/stat : 30785 (glucose) R 30784 30688 28381 0 -1 4202496 5611 0 0 0 3109 1 0 0 20 0 1 0 384616787 35639296 8253 33554432000 4194304 5208918 140733313399792 140733313397736 4229538 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30785/statm: 8701 8253 105 248 0 8450 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 55524
[startup+102.307 s]
/proc/loadavg: 2.14 2.13 2.05 3/183 30793
/proc/meminfo: memFree=23419944/32873648 swapFree=7116/7116
[pid=30688] ppid=30686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30688/stat : 30688 (npSolver-wbo-I.) S 30686 30688 28381 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384614789 9367552 274 33554432000 4194304 5064252 140736578976512 140736578975424 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30688/statm: 2287 274 233 213 0 72 0
[pid=30689] ppid=30688 vsize=2424 CPUtime=19.95 cores=0,2,4,6
/proc/30689/stat : 30689 (npSolver-wbo) S 30688 30688 28381 0 -1 4202496 2463 13976 0 0 0 1 1991 3 20 0 1 0 384614789 2482176 263 33554432000 4194304 6006132 140735369884240 140735369875648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30689/statm: 606 263 166 443 0 159 0
[pid=30784] ppid=30689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30784/stat : 30784 (satsolver.sh) S 30689 30688 28381 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 384616787 9367552 267 33554432000 4194304 5064252 140736382341760 140736382340672 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30784/statm: 2287 267 226 213 0 72 0
[pid=30785] ppid=30784 vsize=41988 CPUtime=82.29 cores=0,2,4,6
/proc/30785/stat : 30785 (glucose) R 30784 30688 28381 0 -1 4202496 6703 0 0 0 8228 1 0 0 20 0 1 0 384616787 42995712 10049 33554432000 4194304 5208918 140733313399792 140733313397880 4229712 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30785/statm: 10497 10049 105 248 0 10246 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 62708
[startup+162.3 s]
/proc/loadavg: 2.05 2.11 2.04 3/184 30796
/proc/meminfo: memFree=23361500/32873648 swapFree=7116/7116
[pid=30688] ppid=30686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30688/stat : 30688 (npSolver-wbo-I.) S 30686 30688 28381 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384614789 9367552 274 33554432000 4194304 5064252 140736578976512 140736578975424 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30688/statm: 2287 274 233 213 0 72 0
[pid=30689] ppid=30688 vsize=2424 CPUtime=19.95 cores=0,2,4,6
/proc/30689/stat : 30689 (npSolver-wbo) S 30688 30688 28381 0 -1 4202496 2463 13976 0 0 0 1 1991 3 20 0 1 0 384614789 2482176 263 33554432000 4194304 6006132 140735369884240 140735369875648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30689/statm: 606 263 166 443 0 159 0
[pid=30784] ppid=30689 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 30842
/proc/meminfo: memFree=23298976/32873648 swapFree=7116/7116
[pid=30688] ppid=30686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30688/stat : 30688 (npSolver-wbo-I.) S 30686 30688 28381 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384614789 9367552 274 33554432000 4194304 5064252 140736578976512 140736578975424 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30688/statm: 2287 274 233 213 0 72 0
[pid=30689] ppid=30688 vsize=2424 CPUtime=780.2 cores=0,2,4,6
/proc/30689/stat : 30689 (npSolver-wbo) S 30688 30688 28381 0 -1 4202496 2583 30809 0 0 0 1 78012 7 20 0 1 0 384614789 2482176 264 33554432000 4194304 6006132 140735369884240 140735369875648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30689/statm: 606 264 167 443 0 159 0
[pid=30836] ppid=30689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30836/stat : 30836 (satsolver.sh) S 30689 30688 28381 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384692826 9367552 267 33554432000 4194304 5064252 140734885543888 140734885542800 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30836/statm: 2287 267 226 213 0 72 0
[pid=30837] ppid=30836 vsize=90760 CPUtime=581.82 cores=0,2,4,6
/proc/30837/stat : 30837 (glucose) R 30836 30688 28381 0 -1 4202496 9086 0 0 0 58179 3 0 0 20 0 1 0 384692826 92938240 21543 33554432000 4194304 5208918 140737338860096 140737338857944 4229688 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30837/statm: 22690 21543 105 248 0 22439 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 111480
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 30849
/proc/meminfo: memFree=23353944/32873648 swapFree=7116/7116
[pid=30688] ppid=30686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30688/stat : 30688 (npSolver-wbo-I.) S 30686 30688 28381 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384614789 9367552 274 33554432000 4194304 5064252 140736578976512 140736578975424 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30688/statm: 2287 274 233 213 0 72 0
[pid=30689] ppid=30688 vsize=2424 CPUtime=1384.74 cores=0,2,4,6
/proc/30689/stat : 30689 (npSolver-wbo) S 30688 30688 28381 0 -1 4202496 2636 43242 0 0 0 1 138461 12 20 0 1 0 384614789 2482176 264 33554432000 4194304 6006132 140735369884240 140735369875648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30689/statm: 606 264 167 443 0 159 0
[pid=30848] ppid=30689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30848/stat : 30848 (satsolver.sh) S 30689 30688 28381 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384753290 9367552 266 33554432000 4194304 5064252 140734843776768 140734843775680 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30848/statm: 2287 266 226 213 0 72 0
[pid=30849] ppid=30848 vsize=53768 CPUtime=37.28 cores=0,2,4,6
/proc/30849/stat : 30849 (glucose) R 30848 30688 28381 0 -1 4202496 6934 0 0 0 3726 2 0 0 20 0 1 0 384753290 55058432 9665 33554432000 4194304 5208918 140733329966832 140733329964776 4229296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30849/statm: 13442 9665 105 248 0 13191 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 74488
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 30849
/proc/meminfo: memFree=23341732/32873648 swapFree=7116/7116
[pid=30688] ppid=30686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30688/stat : 30688 (npSolver-wbo-I.) S 30686 30688 28381 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384614789 9367552 274 33554432000 4194304 5064252 140736578976512 140736578975424 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30688/statm: 2287 274 233 213 0 72 0
[pid=30689] ppid=30688 vsize=2424 CPUtime=1384.74 cores=0,2,4,6
/proc/30689/stat : 30689 (npSolver-wbo) S 30688 30688 28381 0 -1 4202496 2636 43242 0 0 0 1 138461 12 20 0 1 0 384614789 2482176 264 33554432000 4194304 6006132 140735369884240 140735369875648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30689/statm: 606 264 167 443 0 159 0
[pid=30848] ppid=30689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30848/stat : 30848 (satsolver.sh) S 30689 30688 28381 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384753290 9367552 266 33554432000 4194304 5064252 140734843776768 140734843775680 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30848/statm: 2287 266 226 213 0 72 0
[pid=30849] ppid=30848 vsize=53768 CPUtime=97.26 cores=0,2,4,6
/proc/30849/stat : 30849 (glucose) R 30848 30688 28381 0 -1 4202496 7401 0 0 0 9724 2 0 0 20 0 1 0 384753290 55058432 12997 33554432000 4194304 5208918 140733329966832 140733329964920 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30849/statm: 13442 12997 105 248 0 13191 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 74488
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 30849
/proc/meminfo: memFree=23308420/32873648 swapFree=7116/7116
[pid=30688] ppid=30686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30688/stat : 30688 (npSolver-wbo-I.) S 30686 30688 28381 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384614789 9367552 274 33554432000 4194304 5064252 140736578976512 140736578975424 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30688/statm: 2287 274 233 213 0 72 0
[pid=30689] ppid=30688 vsize=2424 CPUtime=1384.74 cores=0,2,4,6
/proc/30689/stat : 30689 (npSolver-wbo) S 30688 30688 28381 0 -1 4202496 2636 43242 0 0 0 1 138461 12 20 0 1 0 384614789 2482176 264 33554432000 4194304 6006132 140735369884240 140735369875648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30689/statm: 606 264 167 443 0 159 0
[pid=30848] ppid=30689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30848/stat : 30848 (satsolver.sh) S 30689 30688 28381 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384753290 9367552 266 33554432000 4194304 5064252 140734843776768 140734843775680 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30848/statm: 2287 266 226 213 0 72 0
[pid=30849] ppid=30848 vsize=73504 CPUtime=157.25 cores=0,2,4,6
/proc/30849/stat : 30849 (glucose) R 30848 30688 28381 0 -1 4202496 8859 0 0 0 15722 3 0 0 20 0 1 0 384753290 75268096 15809 33554432000 4194304 5208918 140733329966832 140733329964776 4229456 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30849/statm: 18376 15809 105 248 0 18125 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 94224
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 30850
/proc/meminfo: memFree=23316312/32873648 swapFree=7116/7116
[pid=30688] ppid=30686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30688/stat : 30688 (npSolver-wbo-I.) S 30686 30688 28381 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384614789 9367552 274 33554432000 4194304 5064252 140736578976512 140736578975424 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30688/statm: 2287 274 233 213 0 72 0
[pid=30689] ppid=30688 vsize=2424 CPUtime=1384.74 cores=0,2,4,6
/proc/30689/stat : 30689 (npSolver-wbo) S 30688 30688 28381 0 -1 4202496 2636 43242 0 0 0 1 138461 12 20 0 1 0 384614789 2482176 264 33554432000 4194304 6006132 140735369884240 140735369875648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30689/statm: 606 264 167 443 0 159 0
[pid=30848] ppid=30689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30848/stat : 30848 (satsolver.sh) S 30689 30688 28381 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384753290 9367552 266 33554432000 4194304 5064252 140734843776768 140734843775680 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30848/statm: 2287 266 226 213 0 72 0
[pid=30849] ppid=30848 vsize=73504 CPUtime=217.23 cores=0,2,4,6
/proc/30849/stat : 30849 (glucose) R 30848 30688 28381 0 -1 4202496 8860 0 0 0 21720 3 0 0 20 0 1 0 384753290 75268096 15810 33554432000 4194304 5208918 140733329966832 140733329964776 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30849/statm: 18376 15810 105 248 0 18125 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 94224
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 30850
/proc/meminfo: memFree=23322300/32873648 swapFree=7116/7116
[pid=30688] ppid=30686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30688/stat : 30688 (npSolver-wbo-I.) S 30686 30688 28381 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384614789 9367552 274 33554432000 4194304 5064252 140736578976512 140736578975424 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30688/statm: 2287 274 233 213 0 72 0
[pid=30689] ppid=30688 vsize=2424 CPUtime=1384.74 cores=0,2,4,6
/proc/30689/stat : 30689 (npSolver-wbo) S 30688 30688 28381 0 -1 4202496 2636 43242 0 0 0 1 138461 12 20 0 1 0 384614789 2482176 264 33554432000 4194304 6006132 140735369884240 140735369875648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30689/statm: 606 264 167 443 0 159 0
[pid=30848] ppid=30689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30848/stat : 30848 (satsolver.sh) S 30689 30688 28381 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384753290 9367552 266 33554432000 4194304 5064252 140734843776768 140734843775680 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30848/statm: 2287 266 226 213 0 72 0
[pid=30849] ppid=30848 vsize=73504 CPUtime=277.23 cores=0,2,4,6
/proc/30849/stat : 30849 (glucose) R 30848 30688 28381 0 -1 4202496 8861 0 0 0 27720 3 0 0 20 0 1 0 384753290 75268096 15810 33554432000 4194304 5208918 140733329966832 140733329963144 4229745 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30849/statm: 18376 15810 105 248 0 18125 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 94224
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 30850
/proc/meminfo: memFree=23328112/32873648 swapFree=7116/7116
[pid=30688] ppid=30686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30688/stat : 30688 (npSolver-wbo-I.) S 30686 30688 28381 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384614789 9367552 274 33554432000 4194304 5064252 140736578976512 140736578975424 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30688/statm: 2287 274 233 213 0 72 0
[pid=30689] ppid=30688 vsize=2424 CPUtime=1384.74 cores=0,2,4,6
/proc/30689/stat : 30689 (npSolver-wbo) S 30688 30688 28381 0 -1 4202496 2636 43242 0 0 0 1 138461 12 20 0 1 0 384614789 2482176 264 33554432000 4194304 6006132 140735369884240 140735369875648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30689/statm: 606 264 167 443 0 159 0
[pid=30848] ppid=30689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30848/stat : 30848 (satsolver.sh) S 30689 30688 28381 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384753290 9367552 266 33554432000 4194304 5064252 140734843776768 140734843775680 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30848/statm: 2287 266 226 213 0 72 0
[pid=30849] ppid=30848 vsize=73504 CPUtime=337.22 cores=0,2,4,6
/proc/30849/stat : 30849 (glucose) R 30848 30688 28381 0 -1 4202496 8861 0 0 0 33719 3 0 0 20 0 1 0 384753290 75268096 15810 33554432000 4194304 5208918 140733329966832 140733329963144 4229717 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30849/statm: 18376 15810 105 248 0 18125 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 94224
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 30850
/proc/meminfo: memFree=23287012/32873648 swapFree=7116/7116
[pid=30688] ppid=30686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30688/stat : 30688 (npSolver-wbo-I.) S 30686 30688 28381 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384614789 9367552 274 33554432000 4194304 5064252 140736578976512 140736578975424 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30688/statm: 2287 274 233 213 0 72 0
[pid=30689] ppid=30688 vsize=2424 CPUtime=1384.74 cores=0,2,4,6
/proc/30689/stat : 30689 (npSolver-wbo) S 30688 30688 28381 0 -1 4202496 2636 43242 0 0 0 1 138461 12 20 0 1 0 384614789 2482176 264 33554432000 4194304 6006132 140735369884240 140735369875648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30689/statm: 606 264 167 443 0 159 0
[pid=30848] ppid=30689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30848/stat : 30848 (satsolver.sh) S 30689 30688 28381 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384753290 9367552 266 33554432000 4194304 5064252 140734843776768 140734843775680 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30848/statm: 2287 266 226 213 0 72 0
[pid=30849] ppid=30848 vsize=84872 CPUtime=397.22 cores=0,2,4,6
/proc/30849/stat : 30849 (glucose) R 30848 30688 28381 0 -1 4202496 9718 0 0 0 39718 4 0 0 20 0 1 0 384753290 86908928 19194 33554432000 4194304 5208918 140733329966832 140733329964696 4229338 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30849/statm: 21218 19194 105 248 0 20967 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 105592
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 30850
/proc/meminfo: memFree=23313668/32873648 swapFree=7116/7116
[pid=30688] ppid=30686 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30688/stat : 30688 (npSolver-wbo-I.) S 30686 30688 28381 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384614789 9367552 274 33554432000 4194304 5064252 140736578976512 140736578975424 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30688/statm: 2287 274 233 213 0 72 0
[pid=30689] ppid=30688 vsize=2424 CPUtime=1384.74 cores=0,2,4,6
/proc/30689/stat : 30689 (npSolver-wbo) S 30688 30688 28381 0 -1 4202496 2636 43242 0 0 0 1 138461 12 20 0 1 0 384614789 2482176 264 33554432000 4194304 6006132 140735369884240 140735369875648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30689/statm: 606 264 167 443 0 159 0
[pid=30848] ppid=30689 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30848/stat : 30848 (satsolver.sh) S 30689 30688 28381 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384753290 9367552 266 33554432000 4194304 5064252 140734843776768 140734843775680 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30848/statm: 2287 266 226 213 0 72 0
[pid=30849] ppid=30848 vsize=84872 CPUtime=415.32 cores=0,2,4,6
/proc/30849/stat : 30849 (glucose) R 30848 30688 28381 0 -1 4202496 9718 0 0 0 41528 4 0 0 20 0 1 0 384753290 86908928 19194 33554432000 4194304 5208918 140733329966832 140733329964696 4229541 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30849/statm: 21218 19194 105 248 0 20967 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 105592
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.41
CPU time (s): 1800.09
CPU user time (s): 1799.91
CPU system time (s): 0.181972
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 123688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.181972
maximum resident set size= 86176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56588
page faults= 0
swaps= 0
block input operations= 0
block output operations= 704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 138
involuntary context switches= 1973
runsolver used 3.09453 second user time and 8.5257 second system time
The end