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-3753655-1339187578/watcher-3753655-1339187578 -o /tmp/evaluation-result-3753655-1339187578/solver-3753655-1339187578 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753655-1339187578.wbo 311267852 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.00 2.00 2.00 3/179 19052
/proc/meminfo: memFree=26276464/32873844 swapFree=7628/7628
[pid=19052] ppid=19050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19052/stat : 19052 (npSolver-wbo-It) S 19050 19052 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384882139 9367552 274 33554432000 4194304 5064252 140735482329968 140735482328880 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19052/statm: 2287 274 233 213 0 72 0
[startup+0.054316 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19052
/proc/meminfo: memFree=26276464/32873844 swapFree=7628/7628
[pid=19052] ppid=19050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19052/stat : 19052 (npSolver-wbo-It) S 19050 19052 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384882139 9367552 274 33554432000 4194304 5064252 140735482329968 140735482328880 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19052/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100166 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19052
/proc/meminfo: memFree=26276464/32873844 swapFree=7628/7628
[pid=19052] ppid=19050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19052/stat : 19052 (npSolver-wbo-It) S 19050 19052 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384882139 9367552 274 33554432000 4194304 5064252 140735482329968 140735482328880 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19052/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300111 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19052
/proc/meminfo: memFree=26276464/32873844 swapFree=7628/7628
[pid=19052] ppid=19050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19052/stat : 19052 (npSolver-wbo-It) S 19050 19052 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384882139 9367552 274 33554432000 4194304 5064252 140735482329968 140735482328880 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19052/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700114 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19052
/proc/meminfo: memFree=26276464/32873844 swapFree=7628/7628
[pid=19052] ppid=19050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19052/stat : 19052 (npSolver-wbo-It) S 19050 19052 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384882139 9367552 274 33554432000 4194304 5064252 140735482329968 140735482328880 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19052/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19059
/proc/meminfo: memFree=26311952/32873844 swapFree=7628/7628
[pid=19052] ppid=19050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19052/stat : 19052 (npSolver-wbo-It) S 19050 19052 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384882139 9367552 274 33554432000 4194304 5064252 140735482329968 140735482328880 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19052/statm: 2287 274 233 213 0 72 0
[pid=19053] ppid=19052 vsize=2252 CPUtime=0 cores=0,2,4,6
/proc/19053/stat : 19053 (npSolver-wbo) S 19052 19052 17144 0 -1 4202496 1271 2134 0 0 0 0 0 0 20 0 1 0 384882139 2306048 218 33554432000 4194304 6006132 140733994243568 140733994237760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19053/statm: 563 218 157 443 0 116 0
[pid=19058] ppid=19053 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19058/stat : 19058 (satsolver.sh) S 19053 19052 17144 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384882141 9367552 267 33554432000 4194304 5064252 140733767878528 140733767877440 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19058/statm: 2287 267 226 213 0 72 0
[pid=19059] ppid=19058 vsize=17432 CPUtime=1.46 cores=0,2,4,6
/proc/19059/stat : 19059 (glucose) R 19058 19052 17144 0 -1 4202496 3636 0 0 0 146 0 0 0 20 0 1 0 384882142 17850368 3655 33554432000 4194304 5208918 140734254731664 140734254729608 4229365 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19059/statm: 4358 3655 95 248 0 4107 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 37980
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19059
/proc/meminfo: memFree=26268692/32873844 swapFree=7628/7628
[pid=19052] ppid=19050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19052/stat : 19052 (npSolver-wbo-It) S 19050 19052 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384882139 9367552 274 33554432000 4194304 5064252 140735482329968 140735482328880 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19052/statm: 2287 274 233 213 0 72 0
[pid=19053] ppid=19052 vsize=2252 CPUtime=0 cores=0,2,4,6
/proc/19053/stat : 19053 (npSolver-wbo) S 19052 19052 17144 0 -1 4202496 1271 2134 0 0 0 0 0 0 20 0 1 0 384882139 2306048 218 33554432000 4194304 6006132 140733994243568 140733994237760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19053/statm: 563 218 157 443 0 116 0
[pid=19058] ppid=19053 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19058/stat : 19058 (satsolver.sh) S 19053 19052 17144 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384882141 9367552 267 33554432000 4194304 5064252 140733767878528 140733767877440 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19058/statm: 2287 267 226 213 0 72 0
[pid=19059] ppid=19058 vsize=17432 CPUtime=3.06 cores=0,2,4,6
/proc/19059/stat : 19059 (glucose) R 19058 19052 17144 0 -1 4202496 3883 0 0 0 306 0 0 0 20 0 1 0 384882142 17850368 3901 33554432000 4194304 5208918 140734254731664 140734254729608 4229532 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19059/statm: 4358 3901 95 248 0 4107 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 37980
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19059
/proc/meminfo: memFree=26267328/32873844 swapFree=7628/7628
[pid=19052] ppid=19050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19052/stat : 19052 (npSolver-wbo-It) S 19050 19052 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384882139 9367552 274 33554432000 4194304 5064252 140735482329968 140735482328880 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19052/statm: 2287 274 233 213 0 72 0
[pid=19053] ppid=19052 vsize=2252 CPUtime=0 cores=0,2,4,6
/proc/19053/stat : 19053 (npSolver-wbo) S 19052 19052 17144 0 -1 4202496 1271 2134 0 0 0 0 0 0 20 0 1 0 384882139 2306048 218 33554432000 4194304 6006132 140733994243568 140733994237760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19053/statm: 563 218 157 443 0 116 0
[pid=19058] ppid=19053 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19058/stat : 19058 (satsolver.sh) S 19053 19052 17144 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384882141 9367552 267 33554432000 4194304 5064252 140733767878528 140733767877440 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19058/statm: 2287 267 226 213 0 72 0
[pid=19059] ppid=19058 vsize=20176 CPUtime=6.25 cores=0,2,4,6
/proc/19059/stat : 19059 (glucose) R 19058 19052 17144 0 -1 4202496 4076 0 0 0 625 0 0 0 20 0 1 0 384882142 20660224 4602 33554432000 4194304 5208918 140734254731664 140734254729528 4229748 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19059/statm: 5044 4602 95 248 0 4793 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 40724
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19059
/proc/meminfo: memFree=26246400/32873844 swapFree=7628/7628
[pid=19052] ppid=19050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19052/stat : 19052 (npSolver-wbo-It) S 19050 19052 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384882139 9367552 274 33554432000 4194304 5064252 140735482329968 140735482328880 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19052/statm: 2287 274 233 213 0 72 0
[pid=19053] ppid=19052 vsize=2252 CPUtime=0 cores=0,2,4,6
/proc/19053/stat : 19053 (npSolver-wbo) S 19052 19052 17144 0 -1 4202496 1271 2134 0 0 0 0 0 0 20 0 1 0 384882139 2306048 218 33554432000 4194304 6006132 140733994243568 140733994237760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19053/statm: 563 218 157 443 0 116 0
[pid=19058] ppid=19053 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19058/stat : 19058 (satsolver.sh) S 19053 19052 17144 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384882141 9367552 267 33554432000 4194304 5064252 140733767878528 140733767877440 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19058/statm: 2287 267 226 213 0 72 0
[pid=19059] ppid=19058 vsize=21848 CPUtime=12.65 cores=0,2,4,6
/proc/19059/stat : 19059 (glucose) R 19058 19052 17144 0 -1 4202496 4469 0 0 0 1265 0 0 0 20 0 1 0 384882142 22372352 4992 33554432000 4194304 5208918 140734254731664 140734254729528 4229512 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19059/statm: 5462 4992 95 248 0 5211 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 42396
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19059
/proc/meminfo: memFree=26231844/32873844 swapFree=7628/7628
[pid=19052] ppid=19050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19052/stat : 19052 (npSolver-wbo-It) S 19050 19052 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384882139 9367552 274 33554432000 4194304 5064252 140735482329968 140735482328880 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19052/statm: 2287 274 233 213 0 72 0
[pid=19053] ppid=19052 vsize=2252 CPUtime=0 cores=0,2,4,6
/proc/19053/stat : 19053 (npSolver-wbo) S 19052 19052 17144 0 -1 4202496 1271 2134 0 0 0 0 0 0 20 0 1 0 384882139 2306048 218 33554432000 4194304 6006132 140733994243568 140733994237760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19053/statm: 563 218 157 443 0 116 0
[pid=19058] ppid=19053 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19058/stat : 19058 (satsolver.sh) S 19053 19052 17144 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384882141 9367552 267 33554432000 4194304 5064252 140733767878528 140733767877440 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19058/statm: 2287 267 226 213 0 72 0
[pid=19059] ppid=19058 vsize=36244 CPUtime=25.45 cores=0,2,4,6
/proc/19059/stat : 19059 (glucose) R 19058 19052 17144 0 -1 4202496 6266 0 0 0 2544 1 0 0 20 0 1 0 384882142 37113856 7690 33554432000 4194304 5208918 140734254731664 140734254729608 4229760 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19059/statm: 9061 7690 95 248 0 8810 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 56792
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19059
/proc/meminfo: memFree=26206192/32873844 swapFree=7628/7628
[pid=19052] ppid=19050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19052/stat : 19052 (npSolver-wbo-It) S 19050 19052 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384882139 9367552 274 33554432000 4194304 5064252 140735482329968 140735482328880 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19052/statm: 2287 274 233 213 0 72 0
[pid=19053] ppid=19052 vsize=2252 CPUtime=0 cores=0,2,4,6
/proc/19053/stat : 19053 (npSolver-wbo) S 19052 19052 17144 0 -1 4202496 1271 2134 0 0 0 0 0 0 20 0 1 0 384882139 2306048 218 33554432000 4194304 6006132 140733994243568 140733994237760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19053/statm: 563 218 157 443 0 116 0
[pid=19058] ppid=19053 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19058/stat : 19058 (satsolver.sh) S 19053 19052 17144 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384882141 9367552 267 33554432000 4194304 5064252 140733767878528 140733767877440 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19058/statm: 2287 267 226 213 0 72 0
[pid=19059] ppid=19058 vsize=36244 CPUtime=51.04 cores=0,2,4,6
/proc/19059/stat : 19059 (glucose) R 19058 19052 17144 0 -1 4202496 6510 0 0 0 5103 1 0 0 20 0 1 0 384882142 37113856 8442 33554432000 4194304 5208918 140734254731664 140734254729608 4229504 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19059/statm: 9061 8442 95 248 0 8810 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 56792
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19060
/proc/meminfo: memFree=26155864/32873844 swapFree=7628/7628
[pid=19052] ppid=19050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19052/stat : 19052 (npSolver-wbo-It) S 19050 19052 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384882139 9367552 274 33554432000 4194304 5064252 140735482329968 140735482328880 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19052/statm: 2287 274 233 213 0 72 0
[pid=19053] ppid=19052 vsize=2252 CPUtime=0 cores=0,2,4,6
/proc/19053/stat : 19053 (npSolver-wbo) S 19052 19052 17144 0 -1 4202496 1271 2134 0 0 0 0 0 0 20 0 1 0 384882139 2306048 218 33554432000 4194304 6006132 140733994243568 140733994237760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19053/statm: 563 218 157 443 0 116 0
[pid=19058] ppid=19053 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19058/stat : 19058 (satsolver.sh) S 19053 19052 17144 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384882141 9367552 267 33554432000 4194304 5064252 140733767878528 140733767877440 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19058/statm: 2287 267 226 213 0 72 0
[pid=19059] ppid=19058 vsize=66592 CPUtime=102.24 cores=0,2,4,6
/proc/19059/stat : 19059 (glucose) R 19058 19052 17144 0 -1 4202496 7225 0 0 0 10222 2 0 0 20 0 1 0 384882142 68190208 15169 33554432000 4194304 5208918 140734254731664 140734254729608 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19059/statm: 16648 15169 95 248 0 16397 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 87140
[startup+162.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 19060
/proc/meminfo: memFree=26254240/32873844 swapFree=7628/7628
[pid=19052] ppid=19050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19052/stat : 19052 (npSolver-wbo-It) S 19050 19052 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384882139 9367552 274 33554432000 4194304 5064252 140735482329968 140735482328880 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19052/statm: 2287 274 233 213 0 72 0
[pid=19053] ppid=19052 vsize=2252 CPUtime=0 cores=0,2,4,6
/proc/19053/stat : 19053 (npSolver-wbo) S 19052 19052 17144 0 -1 4202496 1271 2134 0 0 0 0 0 0 20 0 1 0 384882139 2306048 218 33554432000 4194304 6006132 140733994243568 140733994237760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19053/statm: 563 218 157 443 0 116 0
[pid=19058] ppid=19053 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19077
/proc/meminfo: memFree=26106800/32873844 swapFree=7628/7628
[pid=19052] ppid=19050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19052/stat : 19052 (npSolver-wbo-It) S 19050 19052 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384882139 9367552 274 33554432000 4194304 5064252 140735482329968 140735482328880 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19052/statm: 2287 274 233 213 0 72 0
[pid=19053] ppid=19052 vsize=2844 CPUtime=337.45 cores=0,2,4,6
/proc/19053/stat : 19053 (npSolver-wbo) S 19052 19052 17144 0 -1 4202496 1461 16607 0 0 0 1 33731 13 20 0 1 0 384882139 2912256 343 33554432000 4194304 6006132 140733994243568 140733994234960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19053/statm: 711 343 166 443 0 264 0
[pid=19066] ppid=19053 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19066/stat : 19066 (satsolver.sh) S 19053 19052 17144 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384915892 9367552 267 33554432000 4194304 5064252 140736909291200 140736909290112 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19066/statm: 2287 267 226 213 0 72 0
[pid=19067] ppid=19066 vsize=75652 CPUtime=1024.6 cores=0,2,4,6
/proc/19067/stat : 19067 (glucose) R 19066 19052 17144 0 -1 4202496 32388 0 0 0 102413 47 0 0 20 0 1 0 384915892 77467648 18496 33554432000 4194304 5208918 140734436728032 140734436726120 4229504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19067/statm: 18913 18496 96 248 0 18662 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 96792
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19077
/proc/meminfo: memFree=26100548/32873844 swapFree=7628/7628
[pid=19052] ppid=19050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19052/stat : 19052 (npSolver-wbo-It) S 19050 19052 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384882139 9367552 274 33554432000 4194304 5064252 140735482329968 140735482328880 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19052/statm: 2287 274 233 213 0 72 0
[pid=19053] ppid=19052 vsize=2844 CPUtime=337.45 cores=0,2,4,6
/proc/19053/stat : 19053 (npSolver-wbo) S 19052 19052 17144 0 -1 4202496 1461 16607 0 0 0 1 33731 13 20 0 1 0 384882139 2912256 343 33554432000 4194304 6006132 140733994243568 140733994234960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19053/statm: 711 343 166 443 0 264 0
[pid=19066] ppid=19053 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19066/stat : 19066 (satsolver.sh) S 19053 19052 17144 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384915892 9367552 267 33554432000 4194304 5064252 140736909291200 140736909290112 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19066/statm: 2287 267 226 213 0 72 0
[pid=19067] ppid=19066 vsize=155792 CPUtime=1084.59 cores=0,2,4,6
/proc/19067/stat : 19067 (glucose) R 19066 19052 17144 0 -1 4202496 34258 0 0 0 108409 50 0 0 20 0 1 0 384915892 159531008 31689 33554432000 4194304 5208918 140734436728032 140734436726184 4229338 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19067/statm: 38948 31689 96 248 0 38697 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 176932
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19077
/proc/meminfo: memFree=25878276/32873844 swapFree=7628/7628
[pid=19052] ppid=19050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19052/stat : 19052 (npSolver-wbo-It) S 19050 19052 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384882139 9367552 274 33554432000 4194304 5064252 140735482329968 140735482328880 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19052/statm: 2287 274 233 213 0 72 0
[pid=19053] ppid=19052 vsize=2844 CPUtime=337.45 cores=0,2,4,6
/proc/19053/stat : 19053 (npSolver-wbo) S 19052 19052 17144 0 -1 4202496 1461 16607 0 0 0 1 33731 13 20 0 1 0 384882139 2912256 343 33554432000 4194304 6006132 140733994243568 140733994234960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19053/statm: 711 343 166 443 0 264 0
[pid=19066] ppid=19053 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19066/stat : 19066 (satsolver.sh) S 19053 19052 17144 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384915892 9367552 267 33554432000 4194304 5064252 140736909291200 140736909290112 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19066/statm: 2287 267 226 213 0 72 0
[pid=19067] ppid=19066 vsize=155792 CPUtime=1144.57 cores=0,2,4,6
/proc/19067/stat : 19067 (glucose) R 19066 19052 17144 0 -1 4202496 36128 0 0 0 114404 53 0 0 20 0 1 0 384915892 159531008 31689 33554432000 4194304 5208918 140734436728032 140734436726184 4213022 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19067/statm: 38948 31689 96 248 0 38697 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 176932
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19077
/proc/meminfo: memFree=25948188/32873844 swapFree=7628/7628
[pid=19052] ppid=19050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19052/stat : 19052 (npSolver-wbo-It) S 19050 19052 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384882139 9367552 274 33554432000 4194304 5064252 140735482329968 140735482328880 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19052/statm: 2287 274 233 213 0 72 0
[pid=19053] ppid=19052 vsize=2844 CPUtime=337.45 cores=0,2,4,6
/proc/19053/stat : 19053 (npSolver-wbo) S 19052 19052 17144 0 -1 4202496 1461 16607 0 0 0 1 33731 13 20 0 1 0 384882139 2912256 343 33554432000 4194304 6006132 140733994243568 140733994234960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19053/statm: 711 343 166 443 0 264 0
[pid=19066] ppid=19053 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19066/stat : 19066 (satsolver.sh) S 19053 19052 17144 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384915892 9367552 267 33554432000 4194304 5064252 140736909291200 140736909290112 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19066/statm: 2287 267 226 213 0 72 0
[pid=19067] ppid=19066 vsize=124972 CPUtime=1204.57 cores=0,2,4,6
/proc/19067/stat : 19067 (glucose) R 19066 19052 17144 0 -1 4202496 37415 0 0 0 120400 57 0 0 20 0 1 0 384915892 127971328 30598 33554432000 4194304 5208918 140734436728032 140734436726024 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19067/statm: 31243 30598 96 248 0 30992 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 146112
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19078
/proc/meminfo: memFree=26108872/32873844 swapFree=7628/7628
[pid=19052] ppid=19050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19052/stat : 19052 (npSolver-wbo-It) S 19050 19052 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384882139 9367552 274 33554432000 4194304 5064252 140735482329968 140735482328880 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19052/statm: 2287 274 233 213 0 72 0
[pid=19053] ppid=19052 vsize=2844 CPUtime=337.45 cores=0,2,4,6
/proc/19053/stat : 19053 (npSolver-wbo) S 19052 19052 17144 0 -1 4202496 1461 16607 0 0 0 1 33731 13 20 0 1 0 384882139 2912256 343 33554432000 4194304 6006132 140733994243568 140733994234960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19053/statm: 711 343 166 443 0 264 0
[pid=19066] ppid=19053 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19066/stat : 19066 (satsolver.sh) S 19053 19052 17144 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384915892 9367552 267 33554432000 4194304 5064252 140736909291200 140736909290112 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19066/statm: 2287 267 226 213 0 72 0
[pid=19067] ppid=19066 vsize=124972 CPUtime=1264.56 cores=0,2,4,6
/proc/19067/stat : 19067 (glucose) R 19066 19052 17144 0 -1 4202496 39282 0 0 0 126396 60 0 0 20 0 1 0 384915892 127971328 27014 33554432000 4194304 5208918 140734436728032 140734436726024 4229512 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19067/statm: 31243 27014 96 248 0 30992 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 146112
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 19081
/proc/meminfo: memFree=26164128/32873844 swapFree=7628/7628
[pid=19052] ppid=19050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19052/stat : 19052 (npSolver-wbo-It) S 19050 19052 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384882139 9367552 274 33554432000 4194304 5064252 140735482329968 140735482328880 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19052/statm: 2287 274 233 213 0 72 0
[pid=19053] ppid=19052 vsize=2844 CPUtime=337.45 cores=0,2,4,6
/proc/19053/stat : 19053 (npSolver-wbo) S 19052 19052 17144 0 -1 4202496 1461 16607 0 0 0 1 33731 13 20 0 1 0 384882139 2912256 343 33554432000 4194304 6006132 140733994243568 140733994234960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19053/statm: 711 343 166 443 0 264 0
[pid=19066] ppid=19053 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19066/stat : 19066 (satsolver.sh) S 19053 19052 17144 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384915892 9367552 267 33554432000 4194304 5064252 140736909291200 140736909290112 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19066/statm: 2287 267 226 213 0 72 0
[pid=19067] ppid=19066 vsize=75652 CPUtime=1324.55 cores=0,2,4,6
/proc/19067/stat : 19067 (glucose) R 19066 19052 17144 0 -1 4202496 40812 0 0 0 132392 63 0 0 20 0 1 0 384915892 77467648 18496 33554432000 4194304 5208918 140734436728032 140734436726120 4229311 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19067/statm: 18913 18496 96 248 0 18662 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 96792
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 19104
/proc/meminfo: memFree=25919568/32873844 swapFree=7628/7628
[pid=19052] ppid=19050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19052/stat : 19052 (npSolver-wbo-It) S 19050 19052 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384882139 9367552 274 33554432000 4194304 5064252 140735482329968 140735482328880 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19052/statm: 2287 274 233 213 0 72 0
[pid=19053] ppid=19052 vsize=2844 CPUtime=337.45 cores=0,2,4,6
/proc/19053/stat : 19053 (npSolver-wbo) S 19052 19052 17144 0 -1 4202496 1461 16607 0 0 0 1 33731 13 20 0 1 0 384882139 2912256 343 33554432000 4194304 6006132 140733994243568 140733994234960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19053/statm: 711 343 166 443 0 264 0
[pid=19066] ppid=19053 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19066/stat : 19066 (satsolver.sh) S 19053 19052 17144 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384915892 9367552 267 33554432000 4194304 5064252 140736909291200 140736909290112 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19066/statm: 2287 267 226 213 0 72 0
[pid=19067] ppid=19066 vsize=124972 CPUtime=1384.53 cores=0,2,4,6
/proc/19067/stat : 19067 (glucose) R 19066 19052 17144 0 -1 4202496 42093 0 0 0 138388 65 0 0 20 0 1 0 384915892 127971328 30086 33554432000 4194304 5208918 140734436728032 140734436726024 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19067/statm: 31243 30086 96 248 0 30992 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 146112
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19104
/proc/meminfo: memFree=26006476/32873844 swapFree=7628/7628
[pid=19052] ppid=19050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19052/stat : 19052 (npSolver-wbo-It) S 19050 19052 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384882139 9367552 274 33554432000 4194304 5064252 140735482329968 140735482328880 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19052/statm: 2287 274 233 213 0 72 0
[pid=19053] ppid=19052 vsize=2844 CPUtime=337.45 cores=0,2,4,6
/proc/19053/stat : 19053 (npSolver-wbo) S 19052 19052 17144 0 -1 4202496 1461 16607 0 0 0 1 33731 13 20 0 1 0 384882139 2912256 343 33554432000 4194304 6006132 140733994243568 140733994234960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19053/statm: 711 343 166 443 0 264 0
[pid=19066] ppid=19053 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19066/stat : 19066 (satsolver.sh) S 19053 19052 17144 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384915892 9367552 267 33554432000 4194304 5064252 140736909291200 140736909290112 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19066/statm: 2287 267 226 213 0 72 0
[pid=19067] ppid=19066 vsize=75652 CPUtime=1444.53 cores=0,2,4,6
/proc/19067/stat : 19067 (glucose) R 19066 19052 17144 0 -1 4202496 43621 0 0 0 144384 69 0 0 20 0 1 0 384915892 77467648 18496 33554432000 4194304 5208918 140734436728032 140734436726120 4211580 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19067/statm: 18913 18496 96 248 0 18662 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 96792
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19156
/proc/meminfo: memFree=26160944/32873844 swapFree=7628/7628
[pid=19052] ppid=19050 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19052/stat : 19052 (npSolver-wbo-It) S 19050 19052 17144 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384882139 9367552 274 33554432000 4194304 5064252 140735482329968 140735482328880 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19052/statm: 2287 274 233 213 0 72 0
[pid=19053] ppid=19052 vsize=2844 CPUtime=337.45 cores=0,2,4,6
/proc/19053/stat : 19053 (npSolver-wbo) S 19052 19052 17144 0 -1 4202496 1461 16607 0 0 0 1 33731 13 20 0 1 0 384882139 2912256 343 33554432000 4194304 6006132 140733994243568 140733994234960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19053/statm: 711 343 166 443 0 264 0
[pid=19066] ppid=19053 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19066/stat : 19066 (satsolver.sh) S 19053 19052 17144 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384915892 9367552 267 33554432000 4194304 5064252 140736909291200 140736909290112 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19066/statm: 2287 267 226 213 0 72 0
[pid=19067] ppid=19066 vsize=155792 CPUtime=1462.63 cores=0,2,4,6
/proc/19067/stat : 19067 (glucose) R 19066 19052 17144 0 -1 4202496 44251 0 0 0 146193 70 0 0 20 0 1 0 384915892 159531008 30879 33554432000 4194304 5208918 140734436728032 140734436726184 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19067/statm: 38948 30879 96 248 0 38697 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 176932
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.12
CPU user time (s): 1799.25
CPU system time (s): 0.862868
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 176932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.25
system time used= 0.862868
maximum resident set size= 136996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63307
page faults= 0
swaps= 0
block input operations= 0
block output operations= 592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57
involuntary context switches= 2140
runsolver used 7.95479 second user time and 17.6233 second system time
The end