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-3752831-1339211865/watcher-3752831-1339211865 -o /tmp/evaluation-result-3752831-1339211865/solver-3752831-1339211865 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752831-1339211865.wbo 170753929 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.19 2.00 1.82 3/179 2049
/proc/meminfo: memFree=28877900/32873844 swapFree=7384/7384
[pid=2049] ppid=2047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2049/stat : 2049 (npSolver-wbo-It) S 2047 2049 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387315029 9367552 275 33554432000 4194304 5064252 140733435959760 140733435958672 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2049/statm: 2287 275 233 213 0 72 0
[startup+0.0945269 s]
/proc/loadavg: 2.19 2.00 1.82 3/179 2049
/proc/meminfo: memFree=28877900/32873844 swapFree=7384/7384
[pid=2049] ppid=2047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2049/stat : 2049 (npSolver-wbo-It) S 2047 2049 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387315029 9367552 275 33554432000 4194304 5064252 140733435959760 140733435958672 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2049/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100257 s]
/proc/loadavg: 2.19 2.00 1.82 3/179 2049
/proc/meminfo: memFree=28877900/32873844 swapFree=7384/7384
[pid=2049] ppid=2047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2049/stat : 2049 (npSolver-wbo-It) S 2047 2049 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387315029 9367552 275 33554432000 4194304 5064252 140733435959760 140733435958672 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2049/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30029 s]
/proc/loadavg: 2.19 2.00 1.82 3/179 2049
/proc/meminfo: memFree=28877900/32873844 swapFree=7384/7384
[pid=2049] ppid=2047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2049/stat : 2049 (npSolver-wbo-It) S 2047 2049 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387315029 9367552 275 33554432000 4194304 5064252 140733435959760 140733435958672 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2049/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700299 s]
/proc/loadavg: 2.19 2.00 1.82 3/179 2049
/proc/meminfo: memFree=28877900/32873844 swapFree=7384/7384
[pid=2049] ppid=2047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2049/stat : 2049 (npSolver-wbo-It) S 2047 2049 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387315029 9367552 275 33554432000 4194304 5064252 140733435959760 140733435958672 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2049/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 2.19 2.00 1.82 3/183 2063
/proc/meminfo: memFree=28836844/32873844 swapFree=7384/7384
[pid=2049] ppid=2047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2049/stat : 2049 (npSolver-wbo-It) S 2047 2049 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387315029 9367552 275 33554432000 4194304 5064252 140733435959760 140733435958672 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2049/statm: 2287 275 233 213 0 72 0
[pid=2050] ppid=2049 vsize=59808 CPUtime=1.47 cores=0,2,4,6
/proc/2050/stat : 2050 (npSolver-wbo) R 2049 2049 30487 0 -1 4202496 8069 17167 0 0 51 5 87 4 20 0 1 0 387315029 61243392 13876 33554432000 4194304 6006132 140733539922160 140733539914504 4535920 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2050/statm: 14952 13876 191 443 0 14505 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 68956
[startup+3.1004 s]
/proc/loadavg: 2.19 2.00 1.82 3/183 2070
/proc/meminfo: memFree=28698532/32873844 swapFree=7384/7384
[pid=2049] ppid=2047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2049/stat : 2049 (npSolver-wbo-It) S 2047 2049 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387315029 9367552 275 33554432000 4194304 5064252 140733435959760 140733435958672 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2049/statm: 2287 275 233 213 0 72 0
[pid=2050] ppid=2049 vsize=92576 CPUtime=1.82 cores=0,2,4,6
/proc/2050/stat : 2050 (npSolver-wbo) S 2049 2049 30487 0 -1 4202496 9275 17167 0 0 78 13 87 4 20 0 1 0 387315029 94797824 18484 33554432000 4194304 6006132 140733539922160 140733539913552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2050/statm: 23144 18484 191 443 0 22697 0
[pid=2069] ppid=2050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2069/stat : 2069 (satsolver.sh) S 2050 2049 30487 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387315214 9367552 266 33554432000 4194304 5064252 140733619187232 140733619186144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2069/statm: 2287 266 226 213 0 72 0
[pid=2070] ppid=2069 vsize=129172 CPUtime=1.23 cores=0,2,4,6
/proc/2070/stat : 2070 (glucose) R 2069 2049 30487 0 -1 4202496 28027 0 0 0 116 7 0 0 20 0 1 0 387315214 132272128 30162 33554432000 4194304 5208918 140736532286976 140736531236376 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2070/statm: 32293 30162 104 248 0 32042 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 240044
[startup+6.30029 s]
/proc/loadavg: 2.26 2.01 1.83 3/183 2070
/proc/meminfo: memFree=28634380/32873844 swapFree=7384/7384
[pid=2049] ppid=2047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2049/stat : 2049 (npSolver-wbo-It) S 2047 2049 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387315029 9367552 275 33554432000 4194304 5064252 140733435959760 140733435958672 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2049/statm: 2287 275 233 213 0 72 0
[pid=2050] ppid=2049 vsize=92576 CPUtime=1.82 cores=0,2,4,6
/proc/2050/stat : 2050 (npSolver-wbo) S 2049 2049 30487 0 -1 4202496 9275 17167 0 0 78 13 87 4 20 0 1 0 387315029 94797824 18484 33554432000 4194304 6006132 140733539922160 140733539913552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2050/statm: 23144 18484 191 443 0 22697 0
[pid=2069] ppid=2050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2069/stat : 2069 (satsolver.sh) S 2050 2049 30487 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387315214 9367552 266 33554432000 4194304 5064252 140733619187232 140733619186144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2069/statm: 2287 266 226 213 0 72 0
[pid=2070] ppid=2069 vsize=129172 CPUtime=4.43 cores=0,2,4,6
/proc/2070/stat : 2070 (glucose) R 2069 2049 30487 0 -1 4202496 28028 0 0 0 436 7 0 0 20 0 1 0 387315214 132272128 30163 33554432000 4194304 5208918 140736532286976 140736532284936 4211038 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2070/statm: 32293 30163 104 248 0 32042 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 240044
[startup+12.7004 s]
/proc/loadavg: 2.24 2.01 1.83 3/183 2070
/proc/meminfo: memFree=28627644/32873844 swapFree=7384/7384
[pid=2049] ppid=2047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2049/stat : 2049 (npSolver-wbo-It) S 2047 2049 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387315029 9367552 275 33554432000 4194304 5064252 140733435959760 140733435958672 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2049/statm: 2287 275 233 213 0 72 0
[pid=2050] ppid=2049 vsize=92576 CPUtime=1.82 cores=0,2,4,6
/proc/2050/stat : 2050 (npSolver-wbo) S 2049 2049 30487 0 -1 4202496 9275 17167 0 0 78 13 87 4 20 0 1 0 387315029 94797824 18484 33554432000 4194304 6006132 140733539922160 140733539913552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2050/statm: 23144 18484 191 443 0 22697 0
[pid=2069] ppid=2050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2069/stat : 2069 (satsolver.sh) S 2050 2049 30487 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387315214 9367552 266 33554432000 4194304 5064252 140733619187232 140733619186144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2069/statm: 2287 266 226 213 0 72 0
[pid=2070] ppid=2069 vsize=130728 CPUtime=10.83 cores=0,2,4,6
/proc/2070/stat : 2070 (glucose) R 2069 2049 30487 0 -1 4202496 28587 0 0 0 1076 7 0 0 20 0 1 0 387315214 133865472 30714 33554432000 4194304 5208918 140736532286976 140736532284824 4229062 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2070/statm: 32682 30714 104 248 0 32431 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 241600
[startup+25.5004 s]
/proc/loadavg: 2.18 2.01 1.83 3/183 2070
/proc/meminfo: memFree=28597736/32873844 swapFree=7384/7384
[pid=2049] ppid=2047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2049/stat : 2049 (npSolver-wbo-It) S 2047 2049 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387315029 9367552 275 33554432000 4194304 5064252 140733435959760 140733435958672 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2049/statm: 2287 275 233 213 0 72 0
[pid=2050] ppid=2049 vsize=92576 CPUtime=1.82 cores=0,2,4,6
/proc/2050/stat : 2050 (npSolver-wbo) S 2049 2049 30487 0 -1 4202496 9275 17167 0 0 78 13 87 4 20 0 1 0 387315029 94797824 18484 33554432000 4194304 6006132 140733539922160 140733539913552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2050/statm: 23144 18484 191 443 0 22697 0
[pid=2069] ppid=2050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2069/stat : 2069 (satsolver.sh) S 2050 2049 30487 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387315214 9367552 266 33554432000 4194304 5064252 140733619187232 140733619186144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2069/statm: 2287 266 226 213 0 72 0
[pid=2070] ppid=2069 vsize=157112 CPUtime=23.64 cores=0,2,4,6
/proc/2070/stat : 2070 (glucose) R 2069 2049 30487 0 -1 4202496 31413 0 0 0 2355 9 0 0 20 0 1 0 387315214 160882688 33412 33554432000 4194304 5208918 140736532286976 140736532283352 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2070/statm: 39278 33412 104 248 0 39027 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 267984
[startup+51.1004 s]
/proc/loadavg: 2.12 2.01 1.83 3/183 2070
/proc/meminfo: memFree=28593908/32873844 swapFree=7384/7384
[pid=2049] ppid=2047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2049/stat : 2049 (npSolver-wbo-It) S 2047 2049 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387315029 9367552 275 33554432000 4194304 5064252 140733435959760 140733435958672 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2049/statm: 2287 275 233 213 0 72 0
[pid=2050] ppid=2049 vsize=92576 CPUtime=1.82 cores=0,2,4,6
/proc/2050/stat : 2050 (npSolver-wbo) S 2049 2049 30487 0 -1 4202496 9275 17167 0 0 78 13 87 4 20 0 1 0 387315029 94797824 18484 33554432000 4194304 6006132 140733539922160 140733539913552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2050/statm: 23144 18484 191 443 0 22697 0
[pid=2069] ppid=2050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2069/stat : 2069 (satsolver.sh) S 2050 2049 30487 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387315214 9367552 266 33554432000 4194304 5064252 140733619187232 140733619186144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2069/statm: 2287 266 226 213 0 72 0
[pid=2070] ppid=2069 vsize=165068 CPUtime=49.23 cores=0,2,4,6
/proc/2070/stat : 2070 (glucose) R 2069 2049 30487 0 -1 4202496 34805 0 0 0 4911 12 0 0 20 0 1 0 387315214 169029632 37062 33554432000 4194304 5208918 140736532286976 140736532284824 4229512 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2070/statm: 41267 37062 104 248 0 41016 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 275940
[startup+102.307 s]
/proc/loadavg: 2.09 2.02 1.84 3/183 2070
/proc/meminfo: memFree=28535240/32873844 swapFree=7384/7384
[pid=2049] ppid=2047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2049/stat : 2049 (npSolver-wbo-It) S 2047 2049 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387315029 9367552 275 33554432000 4194304 5064252 140733435959760 140733435958672 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2049/statm: 2287 275 233 213 0 72 0
[pid=2050] ppid=2049 vsize=92576 CPUtime=1.82 cores=0,2,4,6
/proc/2050/stat : 2050 (npSolver-wbo) S 2049 2049 30487 0 -1 4202496 9275 17167 0 0 78 13 87 4 20 0 1 0 387315029 94797824 18484 33554432000 4194304 6006132 140733539922160 140733539913552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2050/statm: 23144 18484 191 443 0 22697 0
[pid=2069] ppid=2050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2069/stat : 2069 (satsolver.sh) S 2050 2049 30487 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387315214 9367552 266 33554432000 4194304 5064252 140733619187232 140733619186144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2069/statm: 2287 266 226 213 0 72 0
[pid=2070] ppid=2069 vsize=180888 CPUtime=100.43 cores=0,2,4,6
/proc/2070/stat : 2070 (glucose) R 2069 2049 30487 0 -1 4202496 40324 0 0 0 10026 17 0 0 20 0 1 0 387315214 185229312 40888 33554432000 4194304 5208918 140736532286976 140736532285064 4229374 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2070/statm: 45222 40888 104 248 0 44971 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 291760
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 1.85 3/184 2073
/proc/meminfo: memFree=28536748/32873844 swapFree=7384/7384
[pid=2049] ppid=2047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2049/stat : 2049 (npSolver-wbo-It) S 2047 2049 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387315029 9367552 275 33554432000 4194304 5064252 140733435959760 140733435958672 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2049/statm: 2287 275 233 213 0 72 0
[pid=2050] ppid=2049 vsize=92576 CPUtime=1.82 cores=0,2,4,6
/proc/2050/stat : 2050 (npSolver-wbo) S 2049 2049 30487 0 -1 4202496 9275 17167 0 0 78 13 87 4 20 0 1 0 387315029 94797824 18484 33554432000 4194304 6006132 140733539922160 140733539913552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2050/statm: 23144 18484 191 443 0 22697 0
[pid=2069] ppid=2050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2069/stat : 2069 (satsolver.sh) S 2050 2049 30487 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387315214 9367552 266 33554432000 4194304 5064252 140733619187232 140733619186144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2069/statm: 2287 266 226 213 0 72 0
[pid=2070] ppid=2069 vsize=196004 CPUtime=160.41 cores=0,2,4,6
/proc/2070/stat : 2070 (glucose) R 2069 2049 30487 0 -1 4202496 47931 0 0 0 16015 26 0 0 20 0 1 0 387315214 200708096 45267 33554432000 4194304 5208918 140736532286976 140736532284888 4229344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2070/statm: 49001 45267 104 248 0 48750 0
Current children cumulated CPU time (s) 162.23
################
# More data... #
################
/proc/2070/stat : 2070 (glucose) R 2069 2049 30487 0 -1 4202496 96268 0 0 0 135914 105 0 0 20 0 1 0 387315214 368082944 84622 33554432000 4194304 5208918 140736532286976 140736532284824 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2070/statm: 89864 84622 104 248 0 89613 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 470328
[startup+1422.31 s]
/proc/loadavg: 2.06 2.07 1.97 3/183 2086
/proc/meminfo: memFree=28223796/32873844 swapFree=7384/7384
[pid=2049] ppid=2047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2049/stat : 2049 (npSolver-wbo-It) S 2047 2049 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387315029 9367552 275 33554432000 4194304 5064252 140733435959760 140733435958672 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2049/statm: 2287 275 233 213 0 72 0
[pid=2050] ppid=2049 vsize=92576 CPUtime=1.82 cores=0,2,4,6
/proc/2050/stat : 2050 (npSolver-wbo) S 2049 2049 30487 0 -1 4202496 9275 17167 0 0 78 13 87 4 20 0 1 0 387315029 94797824 18484 33554432000 4194304 6006132 140733539922160 140733539913552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2050/statm: 23144 18484 191 443 0 22697 0
[pid=2069] ppid=2050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2069/stat : 2069 (satsolver.sh) S 2050 2049 30487 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387315214 9367552 266 33554432000 4194304 5064252 140733619187232 140733619186144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2069/statm: 2287 266 226 213 0 72 0
[pid=2070] ppid=2069 vsize=362496 CPUtime=1420.18 cores=0,2,4,6
/proc/2070/stat : 2070 (glucose) R 2069 2049 30487 0 -1 4202496 97997 0 0 0 141910 108 0 0 20 0 1 0 387315214 371195904 85854 33554432000 4194304 5208918 140736532286976 140736532284728 4211632 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2070/statm: 90624 85854 104 248 0 90373 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 473368
[startup+1482.3 s]
/proc/loadavg: 2.02 2.06 1.97 3/183 2086
/proc/meminfo: memFree=28228936/32873844 swapFree=7384/7384
[pid=2049] ppid=2047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2049/stat : 2049 (npSolver-wbo-It) S 2047 2049 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387315029 9367552 275 33554432000 4194304 5064252 140733435959760 140733435958672 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2049/statm: 2287 275 233 213 0 72 0
[pid=2050] ppid=2049 vsize=92576 CPUtime=1.82 cores=0,2,4,6
/proc/2050/stat : 2050 (npSolver-wbo) S 2049 2049 30487 0 -1 4202496 9275 17167 0 0 78 13 87 4 20 0 1 0 387315029 94797824 18484 33554432000 4194304 6006132 140733539922160 140733539913552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2050/statm: 23144 18484 191 443 0 22697 0
[pid=2069] ppid=2050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2069/stat : 2069 (satsolver.sh) S 2050 2049 30487 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387315214 9367552 266 33554432000 4194304 5064252 140733619187232 140733619186144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2069/statm: 2287 266 226 213 0 72 0
[pid=2070] ppid=2069 vsize=365684 CPUtime=1480.17 cores=0,2,4,6
/proc/2070/stat : 2070 (glucose) R 2069 2049 30487 0 -1 4202496 99763 0 0 0 147906 111 0 0 20 0 1 0 387315214 374460416 84573 33554432000 4194304 5208918 140736532286976 140736532282664 4211632 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2070/statm: 91421 84573 104 248 0 91170 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 476556
[startup+1542.3 s]
/proc/loadavg: 2.01 2.04 1.97 3/183 2086
/proc/meminfo: memFree=28239392/32873844 swapFree=7384/7384
[pid=2049] ppid=2047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2049/stat : 2049 (npSolver-wbo-It) S 2047 2049 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387315029 9367552 275 33554432000 4194304 5064252 140733435959760 140733435958672 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2049/statm: 2287 275 233 213 0 72 0
[pid=2050] ppid=2049 vsize=92576 CPUtime=1.82 cores=0,2,4,6
/proc/2050/stat : 2050 (npSolver-wbo) S 2049 2049 30487 0 -1 4202496 9275 17167 0 0 78 13 87 4 20 0 1 0 387315029 94797824 18484 33554432000 4194304 6006132 140733539922160 140733539913552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2050/statm: 23144 18484 191 443 0 22697 0
[pid=2069] ppid=2050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2069/stat : 2069 (satsolver.sh) S 2050 2049 30487 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387315214 9367552 266 33554432000 4194304 5064252 140733619187232 140733619186144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2069/statm: 2287 266 226 213 0 72 0
[pid=2070] ppid=2069 vsize=367852 CPUtime=1540.16 cores=0,2,4,6
/proc/2070/stat : 2070 (glucose) R 2069 2049 30487 0 -1 4202496 101263 0 0 0 153902 114 0 0 20 0 1 0 387315214 376680448 83546 33554432000 4194304 5208918 140736532286976 140736532284824 4229374 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2070/statm: 91963 83546 104 248 0 91712 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 478724
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 1.97 3/183 2086
/proc/meminfo: memFree=28227780/32873844 swapFree=7384/7384
[pid=2049] ppid=2047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2049/stat : 2049 (npSolver-wbo-It) S 2047 2049 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387315029 9367552 275 33554432000 4194304 5064252 140733435959760 140733435958672 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2049/statm: 2287 275 233 213 0 72 0
[pid=2050] ppid=2049 vsize=92576 CPUtime=1.82 cores=0,2,4,6
/proc/2050/stat : 2050 (npSolver-wbo) S 2049 2049 30487 0 -1 4202496 9275 17167 0 0 78 13 87 4 20 0 1 0 387315029 94797824 18484 33554432000 4194304 6006132 140733539922160 140733539913552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2050/statm: 23144 18484 191 443 0 22697 0
[pid=2069] ppid=2050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2069/stat : 2069 (satsolver.sh) S 2050 2049 30487 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387315214 9367552 266 33554432000 4194304 5064252 140733619187232 140733619186144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2069/statm: 2287 266 226 213 0 72 0
[pid=2070] ppid=2069 vsize=369976 CPUtime=1600.15 cores=0,2,4,6
/proc/2070/stat : 2070 (glucose) R 2069 2049 30487 0 -1 4202496 101851 0 0 0 159900 115 0 0 20 0 1 0 387315214 378855424 90266 33554432000 4194304 5208918 140736532286976 140736532284824 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2070/statm: 92494 90266 104 248 0 92243 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 480848
[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 1.98 3/183 2086
/proc/meminfo: memFree=28216924/32873844 swapFree=7384/7384
[pid=2049] ppid=2047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2049/stat : 2049 (npSolver-wbo-It) S 2047 2049 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387315029 9367552 275 33554432000 4194304 5064252 140733435959760 140733435958672 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2049/statm: 2287 275 233 213 0 72 0
[pid=2050] ppid=2049 vsize=92576 CPUtime=1.82 cores=0,2,4,6
/proc/2050/stat : 2050 (npSolver-wbo) S 2049 2049 30487 0 -1 4202496 9275 17167 0 0 78 13 87 4 20 0 1 0 387315029 94797824 18484 33554432000 4194304 6006132 140733539922160 140733539913552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2050/statm: 23144 18484 191 443 0 22697 0
[pid=2069] ppid=2050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2069/stat : 2069 (satsolver.sh) S 2050 2049 30487 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387315214 9367552 266 33554432000 4194304 5064252 140733619187232 140733619186144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2069/statm: 2287 266 226 213 0 72 0
[pid=2070] ppid=2069 vsize=371344 CPUtime=1660.14 cores=0,2,4,6
/proc/2070/stat : 2070 (glucose) R 2069 2049 30487 0 -1 4202496 103804 0 0 0 165895 119 0 0 20 0 1 0 387315214 380256256 84905 33554432000 4194304 5208918 140736532286976 140736532284728 4211888 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2070/statm: 92836 84905 104 248 0 92585 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 482216
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 1.98 3/183 2087
/proc/meminfo: memFree=28251244/32873844 swapFree=7384/7384
[pid=2049] ppid=2047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2049/stat : 2049 (npSolver-wbo-It) S 2047 2049 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387315029 9367552 275 33554432000 4194304 5064252 140733435959760 140733435958672 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2049/statm: 2287 275 233 213 0 72 0
[pid=2050] ppid=2049 vsize=92576 CPUtime=1.82 cores=0,2,4,6
/proc/2050/stat : 2050 (npSolver-wbo) S 2049 2049 30487 0 -1 4202496 9275 17167 0 0 78 13 87 4 20 0 1 0 387315029 94797824 18484 33554432000 4194304 6006132 140733539922160 140733539913552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2050/statm: 23144 18484 191 443 0 22697 0
[pid=2069] ppid=2050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2069/stat : 2069 (satsolver.sh) S 2050 2049 30487 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387315214 9367552 266 33554432000 4194304 5064252 140733619187232 140733619186144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2069/statm: 2287 266 226 213 0 72 0
[pid=2070] ppid=2069 vsize=322624 CPUtime=1720.14 cores=0,2,4,6
/proc/2070/stat : 2070 (glucose) R 2069 2049 30487 0 -1 4202496 105172 0 0 0 171892 122 0 0 20 0 1 0 387315214 330366976 78455 33554432000 4194304 5208918 140736532286976 140736532283352 4211605 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2070/statm: 80656 78455 104 248 0 80405 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 433496
[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 1.98 3/183 2277
/proc/meminfo: memFree=29104028/32873844 swapFree=7384/7384
[pid=2049] ppid=2047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2049/stat : 2049 (npSolver-wbo-It) S 2047 2049 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387315029 9367552 275 33554432000 4194304 5064252 140733435959760 140733435958672 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2049/statm: 2287 275 233 213 0 72 0
[pid=2050] ppid=2049 vsize=92576 CPUtime=1.82 cores=0,2,4,6
/proc/2050/stat : 2050 (npSolver-wbo) S 2049 2049 30487 0 -1 4202496 9275 17167 0 0 78 13 87 4 20 0 1 0 387315029 94797824 18484 33554432000 4194304 6006132 140733539922160 140733539913552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2050/statm: 23144 18484 191 443 0 22697 0
[pid=2069] ppid=2050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2069/stat : 2069 (satsolver.sh) S 2050 2049 30487 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387315214 9367552 266 33554432000 4194304 5064252 140733619187232 140733619186144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2069/statm: 2287 266 226 213 0 72 0
[pid=2070] ppid=2069 vsize=374904 CPUtime=1780.12 cores=0,2,4,6
/proc/2070/stat : 2070 (glucose) R 2069 2049 30487 0 -1 4202496 106397 0 0 0 177889 123 0 0 20 0 1 0 387315214 383901696 89900 33554432000 4194304 5208918 140736532286976 140736532284728 4229347 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2070/statm: 93726 89900 104 248 0 93475 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 485776
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.04 2.03 1.98 3/183 2358
/proc/meminfo: memFree=29071884/32873844 swapFree=7384/7384
[pid=2049] ppid=2047 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2049/stat : 2049 (npSolver-wbo-It) S 2047 2049 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387315029 9367552 275 33554432000 4194304 5064252 140733435959760 140733435958672 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2049/statm: 2287 275 233 213 0 72 0
[pid=2050] ppid=2049 vsize=92576 CPUtime=1.82 cores=0,2,4,6
/proc/2050/stat : 2050 (npSolver-wbo) S 2049 2049 30487 0 -1 4202496 9275 17167 0 0 78 13 87 4 20 0 1 0 387315029 94797824 18484 33554432000 4194304 6006132 140733539922160 140733539913552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2050/statm: 23144 18484 191 443 0 22697 0
[pid=2069] ppid=2050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2069/stat : 2069 (satsolver.sh) S 2050 2049 30487 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387315214 9367552 266 33554432000 4194304 5064252 140733619187232 140733619186144 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2069/statm: 2287 266 226 213 0 72 0
[pid=2070] ppid=2069 vsize=375176 CPUtime=1798.22 cores=0,2,4,6
/proc/2070/stat : 2070 (glucose) R 2069 2049 30487 0 -1 4202496 106854 0 0 0 179699 123 0 0 20 0 1 0 387315214 384180224 91886 33554432000 4194304 5208918 140736532286976 140736532282664 4211656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2070/statm: 93794 91886 104 248 0 93543 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 486048
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2049 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=668746
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=185971
# CPU time returned by wait4() is 1.85472
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1798.64
CPU system time (s): 1.4
CPU usage (%): 99.9792
Max. virtual memory (cumulated for all children) (KiB): 645112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.66875
system time used= 0.185971
maximum resident set size= 121572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27420
page faults= 0
swaps= 0
block input operations= 0
block output operations= 103448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48
involuntary context switches= 30
runsolver used 2.71159 second user time and 7.11792 second system time
The end