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-3750193-1339180406/watcher-3750193-1339180406 -o /tmp/evaluation-result-3750193-1339180406/solver-3750193-1339180406 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750193-1339180406.opb 564981019 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: 1.94 1.99 1.99 3/180 3089
/proc/meminfo: memFree=25051692/32873844 swapFree=7120/7120
[pid=3089] ppid=3087 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3089/stat : 3089 (npSolver-pbo.sh) S 3087 3089 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384165457 9367552 274 33554432000 4194304 5064252 140737054977440 140737054976352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3089/statm: 2287 274 233 213 0 72 0
[startup+0.097051 s]
/proc/loadavg: 1.94 1.99 1.99 3/180 3089
/proc/meminfo: memFree=25051692/32873844 swapFree=7120/7120
[pid=3089] ppid=3087 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3089/stat : 3089 (npSolver-pbo.sh) S 3087 3089 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384165457 9367552 274 33554432000 4194304 5064252 140737054977440 140737054976352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3089/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100309 s]
/proc/loadavg: 1.94 1.99 1.99 3/180 3089
/proc/meminfo: memFree=25051692/32873844 swapFree=7120/7120
[pid=3089] ppid=3087 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3089/stat : 3089 (npSolver-pbo.sh) S 3087 3089 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384165457 9367552 274 33554432000 4194304 5064252 140737054977440 140737054976352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3089/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300297 s]
/proc/loadavg: 1.94 1.99 1.99 3/180 3089
/proc/meminfo: memFree=25051692/32873844 swapFree=7120/7120
[pid=3089] ppid=3087 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3089/stat : 3089 (npSolver-pbo.sh) S 3087 3089 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384165457 9367552 274 33554432000 4194304 5064252 140737054977440 140737054976352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3089/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700283 s]
/proc/loadavg: 1.94 1.99 1.99 3/180 3089
/proc/meminfo: memFree=25051692/32873844 swapFree=7120/7120
[pid=3089] ppid=3087 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3089/stat : 3089 (npSolver-pbo.sh) S 3087 3089 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384165457 9367552 274 33554432000 4194304 5064252 140737054977440 140737054976352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3089/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 1.94 1.99 1.99 3/182 3101
/proc/meminfo: memFree=25022636/32873844 swapFree=7120/7120
[pid=3089] ppid=3087 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3089/stat : 3089 (npSolver-pbo.sh) S 3087 3089 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384165457 9367552 274 33554432000 4194304 5064252 140737054977440 140737054976352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3089/statm: 2287 274 233 213 0 72 0
[pid=3090] ppid=3089 vsize=132708 CPUtime=1.48 cores=0,2,4,6
/proc/3090/stat : 3090 (npSolver-pbo) R 3089 3089 2358 0 -1 4202496 9846 14369 0 0 71 17 56 4 20 0 1 0 384165457 135892992 26061 33554432000 4194304 6004724 140736516672320 140736516665304 5193835 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3090/statm: 33177 26061 180 442 0 32731 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 141856
[startup+3.10043 s]
/proc/loadavg: 1.94 1.99 1.99 3/183 3103
/proc/meminfo: memFree=24839720/32873844 swapFree=7120/7120
[pid=3089] ppid=3087 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3089/stat : 3089 (npSolver-pbo.sh) S 3087 3089 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384165457 9367552 274 33554432000 4194304 5064252 140737054977440 140737054976352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3089/statm: 2287 274 233 213 0 72 0
[pid=3090] ppid=3089 vsize=94524 CPUtime=1.49 cores=0,2,4,6
/proc/3090/stat : 3090 (npSolver-pbo) S 3089 3089 2358 0 -1 4202496 9847 14369 0 0 71 18 56 4 20 0 1 0 384165457 96792576 16516 33554432000 4194304 6004724 140736516672320 140736516664672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3090/statm: 23631 16516 180 442 0 23185 0
[pid=3102] ppid=3090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3102/stat : 3102 (satsolver.sh) S 3090 3089 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384165608 9367552 267 33554432000 4194304 5064252 140734441411856 140734441410768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3102/statm: 2287 267 226 213 0 72 0
[pid=3103] ppid=3102 vsize=122228 CPUtime=1.58 cores=0,2,4,6
/proc/3103/stat : 3103 (glucose) R 3102 3089 2358 0 -1 4202496 23526 0 0 0 152 6 0 0 20 0 1 0 384165608 125161472 26669 33554432000 4194304 5208918 140733545597376 140733545595224 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3103/statm: 30557 26669 104 248 0 30306 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 235048
[startup+6.30043 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 3103
/proc/meminfo: memFree=24835984/32873844 swapFree=7120/7120
[pid=3089] ppid=3087 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3089/stat : 3089 (npSolver-pbo.sh) S 3087 3089 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384165457 9367552 274 33554432000 4194304 5064252 140737054977440 140737054976352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3089/statm: 2287 274 233 213 0 72 0
[pid=3090] ppid=3089 vsize=94524 CPUtime=1.49 cores=0,2,4,6
/proc/3090/stat : 3090 (npSolver-pbo) S 3089 3089 2358 0 -1 4202496 9847 14369 0 0 71 18 56 4 20 0 1 0 384165457 96792576 16516 33554432000 4194304 6004724 140736516672320 140736516664672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3090/statm: 23631 16516 180 442 0 23185 0
[pid=3102] ppid=3090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3102/stat : 3102 (satsolver.sh) S 3090 3089 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384165608 9367552 267 33554432000 4194304 5064252 140734441411856 140734441410768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3102/statm: 2287 267 226 213 0 72 0
[pid=3103] ppid=3102 vsize=123632 CPUtime=4.78 cores=0,2,4,6
/proc/3103/stat : 3103 (glucose) R 3102 3089 2358 0 -1 4202496 24013 0 0 0 472 6 0 0 20 0 1 0 384165608 126599168 27156 33554432000 4194304 5208918 140733545597376 140733545595128 4211162 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3103/statm: 30908 27156 104 248 0 30657 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 236452
[startup+12.7004 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 3103
/proc/meminfo: memFree=24832844/32873844 swapFree=7120/7120
[pid=3089] ppid=3087 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3089/stat : 3089 (npSolver-pbo.sh) S 3087 3089 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384165457 9367552 274 33554432000 4194304 5064252 140737054977440 140737054976352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3089/statm: 2287 274 233 213 0 72 0
[pid=3090] ppid=3089 vsize=94524 CPUtime=1.49 cores=0,2,4,6
/proc/3090/stat : 3090 (npSolver-pbo) S 3089 3089 2358 0 -1 4202496 9847 14369 0 0 71 18 56 4 20 0 1 0 384165457 96792576 16516 33554432000 4194304 6004724 140736516672320 140736516664672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3090/statm: 23631 16516 180 442 0 23185 0
[pid=3102] ppid=3090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3102/stat : 3102 (satsolver.sh) S 3090 3089 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384165608 9367552 267 33554432000 4194304 5064252 140734441411856 140734441410768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3102/statm: 2287 267 226 213 0 72 0
[pid=3103] ppid=3102 vsize=125088 CPUtime=11.17 cores=0,2,4,6
/proc/3103/stat : 3103 (glucose) R 3102 3089 2358 0 -1 4202496 24358 0 0 0 1111 6 0 0 20 0 1 0 384165608 128090112 28011 33554432000 4194304 5208918 140733545597376 140733545595128 4211605 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3103/statm: 31272 28011 105 248 0 31021 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 237908
[startup+25.5004 s]
/proc/loadavg: 1.94 1.99 1.99 3/176 3127
/proc/meminfo: memFree=28243564/32873844 swapFree=7120/7120
[pid=3089] ppid=3087 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3089/stat : 3089 (npSolver-pbo.sh) S 3087 3089 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384165457 9367552 274 33554432000 4194304 5064252 140737054977440 140737054976352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3089/statm: 2287 274 233 213 0 72 0
[pid=3090] ppid=3089 vsize=94524 CPUtime=1.49 cores=0,2,4,6
/proc/3090/stat : 3090 (npSolver-pbo) S 3089 3089 2358 0 -1 4202496 9847 14369 0 0 71 18 56 4 20 0 1 0 384165457 96792576 16516 33554432000 4194304 6004724 140736516672320 140736516664672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3090/statm: 23631 16516 180 442 0 23185 0
[pid=3102] ppid=3090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3102/stat : 3102 (satsolver.sh) S 3090 3089 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384165608 9367552 267 33554432000 4194304 5064252 140734441411856 140734441410768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3102/statm: 2287 267 226 213 0 72 0
[pid=3103] ppid=3102 vsize=126504 CPUtime=23.97 cores=0,2,4,6
/proc/3103/stat : 3103 (glucose) R 3102 3089 2358 0 -1 4202496 24864 0 0 0 2391 6 0 0 20 0 1 0 384165608 129540096 29025 33554432000 4194304 5208918 140733545597376 140733545595048 4229296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3103/statm: 31626 29025 105 248 0 31375 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 239324
[startup+51.1004 s]
/proc/loadavg: 1.96 1.99 1.99 3/183 3145
/proc/meminfo: memFree=25465552/32873844 swapFree=7120/7120
[pid=3089] ppid=3087 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3089/stat : 3089 (npSolver-pbo.sh) S 3087 3089 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384165457 9367552 274 33554432000 4194304 5064252 140737054977440 140737054976352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3089/statm: 2287 274 233 213 0 72 0
[pid=3090] ppid=3089 vsize=94524 CPUtime=1.49 cores=0,2,4,6
/proc/3090/stat : 3090 (npSolver-pbo) S 3089 3089 2358 0 -1 4202496 9847 14369 0 0 71 18 56 4 20 0 1 0 384165457 96792576 16516 33554432000 4194304 6004724 140736516672320 140736516664672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3090/statm: 23631 16516 180 442 0 23185 0
[pid=3102] ppid=3090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3102/stat : 3102 (satsolver.sh) S 3090 3089 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384165608 9367552 267 33554432000 4194304 5064252 140734441411856 140734441410768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3102/statm: 2287 267 226 213 0 72 0
[pid=3103] ppid=3102 vsize=128196 CPUtime=49.56 cores=0,2,4,6
/proc/3103/stat : 3103 (glucose) R 3102 3089 2358 0 -1 4202496 25606 0 0 0 4950 6 0 0 20 0 1 0 384165608 131272704 29360 33554432000 4194304 5208918 140733545597376 140733545593752 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3103/statm: 32049 29360 105 248 0 31798 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 241016
[startup+102.307 s]
/proc/loadavg: 2.20 2.06 2.02 3/183 3145
/proc/meminfo: memFree=22635272/32873844 swapFree=7120/7120
[pid=3089] ppid=3087 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3089/stat : 3089 (npSolver-pbo.sh) S 3087 3089 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384165457 9367552 274 33554432000 4194304 5064252 140737054977440 140737054976352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3089/statm: 2287 274 233 213 0 72 0
[pid=3090] ppid=3089 vsize=94524 CPUtime=1.49 cores=0,2,4,6
/proc/3090/stat : 3090 (npSolver-pbo) S 3089 3089 2358 0 -1 4202496 9847 14369 0 0 71 18 56 4 20 0 1 0 384165457 96792576 16516 33554432000 4194304 6004724 140736516672320 140736516664672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3090/statm: 23631 16516 180 442 0 23185 0
[pid=3102] ppid=3090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3102/stat : 3102 (satsolver.sh) S 3090 3089 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384165608 9367552 267 33554432000 4194304 5064252 140734441411856 140734441410768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3102/statm: 2287 267 226 213 0 72 0
[pid=3103] ppid=3102 vsize=178260 CPUtime=100.76 cores=0,2,4,6
/proc/3103/stat : 3103 (glucose) R 3102 3089 2358 0 -1 4202496 27197 0 0 0 10067 9 0 0 20 0 1 0 384165608 182538240 39410 33554432000 4194304 5208918 140733545597376 140733545593752 4229580 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3103/statm: 44565 39410 105 248 0 44314 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 291080
[startup+162.3 s]
/proc/loadavg: 2.10 2.06 2.02 3/183 3148
/proc/meminfo: memFree=22887224/32873844 swapFree=7120/7120
[pid=3089] ppid=3087 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3089/stat : 3089 (npSolver-pbo.sh) S 3087 3089 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384165457 9367552 274 33554432000 4194304 5064252 140737054977440 140737054976352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3089/statm: 2287 274 233 213 0 72 0
[pid=3090] ppid=3089 vsize=94524 CPUtime=1.49 cores=0,2,4,6
/proc/3090/stat : 3090 (npSolver-pbo) S 3089 3089 2358 0 -1 4202496 9847 14369 0 0 71 18 56 4 20 0 1 0 384165457 96792576 16516 33554432000 4194304 6004724 140736516672320 140736516664672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3090/statm: 23631 16516 180 442 0 23185 0
[pid=3102] ppid=3090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3102/stat : 3102 (satsolver.sh) S 3090 3089 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384165608 9367552 267 33554432000 4194304 5064252 140734441411856 140734441410768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3102/statm: 2287 267 226 213 0 72 0
[pid=3103] ppid=3102 vsize=159392 CPUtime=160.72 cores=0,2,4,6
/proc/3103/stat : 3103 (glucose) R 3102 3089 2358 0 -1 4202496 28606 0 0 0 16061 11 0 0 20 0 1 0 384165608 163217408 37521 33554432000 4194304 5208918 140733545597376 140733545595464 4211525 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3103/statm: 39848 37521 105 248 0 39597 0
Current children cumulated CPU time (s) 162.21
################
# More data... #
################
/proc/3171/stat : 3171 (glucose) R 3170 3089 2358 0 -1 4202496 24304 0 0 0 31652 7 0 0 20 0 1 0 384270022 182640640 42042 33554432000 4194304 5208918 140733686959248 140733686955016 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3171/statm: 44590 42042 105 248 0 44339 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 307044
[startup+1422.31 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 3179
/proc/meminfo: memFree=22904180/32873844 swapFree=7120/7120
[pid=3089] ppid=3087 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3089/stat : 3089 (npSolver-pbo.sh) S 3087 3089 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384165457 9367552 274 33554432000 4194304 5064252 140737054977440 140737054976352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3089/statm: 2287 274 233 213 0 72 0
[pid=3090] ppid=3089 vsize=77620 CPUtime=1408.54 cores=0,2,4,6
/proc/3090/stat : 3090 (npSolver-pbo) S 3089 3089 2358 0 -1 4202496 24524 116242 0 0 227 37 140494 96 20 0 1 0 384165457 79482880 18530 33554432000 4194304 6004724 140736516672320 140736516664672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3090/statm: 19405 18530 181 442 0 18959 0
[pid=3178] ppid=3090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3178/stat : 3178 (satsolver.sh) S 3090 3089 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384306337 9367552 266 33554432000 4194304 5064252 140736359498464 140736359497376 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3178/statm: 2287 266 226 213 0 72 0
[pid=3179] ppid=3178 vsize=113152 CPUtime=13.49 cores=0,2,4,6
/proc/3179/stat : 3179 (glucose) R 3178 3089 2358 0 -1 4202496 20696 0 0 0 1344 5 0 0 20 0 1 0 384306338 115867648 23352 33554432000 4194304 5208918 140735510296192 140735510292568 4229344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3179/statm: 28288 23352 105 248 0 28037 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 209068
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 3180
/proc/meminfo: memFree=22870464/32873844 swapFree=7120/7120
[pid=3089] ppid=3087 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3089/stat : 3089 (npSolver-pbo.sh) S 3087 3089 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384165457 9367552 274 33554432000 4194304 5064252 140737054977440 140737054976352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3089/statm: 2287 274 233 213 0 72 0
[pid=3090] ppid=3089 vsize=77620 CPUtime=1408.54 cores=0,2,4,6
/proc/3090/stat : 3090 (npSolver-pbo) S 3089 3089 2358 0 -1 4202496 24524 116242 0 0 227 37 140494 96 20 0 1 0 384165457 79482880 18530 33554432000 4194304 6004724 140736516672320 140736516664672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3090/statm: 19405 18530 181 442 0 18959 0
[pid=3178] ppid=3090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3178/stat : 3178 (satsolver.sh) S 3090 3089 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384306337 9367552 266 33554432000 4194304 5064252 140736359498464 140736359497376 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3178/statm: 2287 266 226 213 0 72 0
[pid=3179] ppid=3178 vsize=146032 CPUtime=73.47 cores=0,2,4,6
/proc/3179/stat : 3179 (glucose) R 3178 3089 2358 0 -1 4202496 22501 0 0 0 7341 6 0 0 20 0 1 0 384306338 149536768 32110 33554432000 4194304 5208918 140735510296192 140735510292504 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3179/statm: 36508 32110 105 248 0 36257 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 241948
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 3180
/proc/meminfo: memFree=22867400/32873844 swapFree=7120/7120
[pid=3089] ppid=3087 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3089/stat : 3089 (npSolver-pbo.sh) S 3087 3089 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384165457 9367552 274 33554432000 4194304 5064252 140737054977440 140737054976352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3089/statm: 2287 274 233 213 0 72 0
[pid=3090] ppid=3089 vsize=77620 CPUtime=1408.54 cores=0,2,4,6
/proc/3090/stat : 3090 (npSolver-pbo) S 3089 3089 2358 0 -1 4202496 24524 116242 0 0 227 37 140494 96 20 0 1 0 384165457 79482880 18530 33554432000 4194304 6004724 140736516672320 140736516664672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3090/statm: 19405 18530 181 442 0 18959 0
[pid=3178] ppid=3090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3178/stat : 3178 (satsolver.sh) S 3090 3089 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384306337 9367552 266 33554432000 4194304 5064252 140736359498464 140736359497376 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3178/statm: 2287 266 226 213 0 72 0
[pid=3179] ppid=3178 vsize=146140 CPUtime=133.46 cores=0,2,4,6
/proc/3179/stat : 3179 (glucose) R 3178 3089 2358 0 -1 4202496 23840 0 0 0 13338 8 0 0 20 0 1 0 384306338 149647360 32644 33554432000 4194304 5208918 140735510296192 140735510292568 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3179/statm: 36535 32644 105 248 0 36284 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 242056
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/184 3183
/proc/meminfo: memFree=22864548/32873844 swapFree=7120/7120
[pid=3089] ppid=3087 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3089/stat : 3089 (npSolver-pbo.sh) S 3087 3089 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384165457 9367552 274 33554432000 4194304 5064252 140737054977440 140737054976352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3089/statm: 2287 274 233 213 0 72 0
[pid=3090] ppid=3089 vsize=77620 CPUtime=1408.54 cores=0,2,4,6
/proc/3090/stat : 3090 (npSolver-pbo) S 3089 3089 2358 0 -1 4202496 24524 116242 0 0 227 37 140494 96 20 0 1 0 384165457 79482880 18530 33554432000 4194304 6004724 140736516672320 140736516664672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3090/statm: 19405 18530 181 442 0 18959 0
[pid=3178] ppid=3090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3178/stat : 3178 (satsolver.sh) S 3090 3089 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384306337 9367552 266 33554432000 4194304 5064252 140736359498464 140736359497376 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3178/statm: 2287 266 226 213 0 72 0
[pid=3179] ppid=3178 vsize=146140 CPUtime=193.45 cores=0,2,4,6
/proc/3179/stat : 3179 (glucose) R 3178 3089 2358 0 -1 4202496 23840 0 0 0 19337 8 0 0 20 0 1 0 384306338 149647360 32644 33554432000 4194304 5208918 140735510296192 140735510291960 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3179/statm: 36535 32644 105 248 0 36284 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 242056
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 3206
/proc/meminfo: memFree=22863900/32873844 swapFree=7120/7120
[pid=3089] ppid=3087 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3089/stat : 3089 (npSolver-pbo.sh) S 3087 3089 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384165457 9367552 274 33554432000 4194304 5064252 140737054977440 140737054976352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3089/statm: 2287 274 233 213 0 72 0
[pid=3090] ppid=3089 vsize=77620 CPUtime=1408.54 cores=0,2,4,6
/proc/3090/stat : 3090 (npSolver-pbo) S 3089 3089 2358 0 -1 4202496 24524 116242 0 0 227 37 140494 96 20 0 1 0 384165457 79482880 18530 33554432000 4194304 6004724 140736516672320 140736516664672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3090/statm: 19405 18530 181 442 0 18959 0
[pid=3178] ppid=3090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3178/stat : 3178 (satsolver.sh) S 3090 3089 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384306337 9367552 266 33554432000 4194304 5064252 140736359498464 140736359497376 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3178/statm: 2287 266 226 213 0 72 0
[pid=3179] ppid=3178 vsize=146140 CPUtime=253.45 cores=0,2,4,6
/proc/3179/stat : 3179 (glucose) R 3178 3089 2358 0 -1 4202496 23843 0 0 0 25337 8 0 0 20 0 1 0 384306338 149647360 32647 33554432000 4194304 5208918 140735510296192 140735510291880 4228965 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3179/statm: 36535 32647 105 248 0 36284 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 242056
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3206
/proc/meminfo: memFree=22862748/32873844 swapFree=7120/7120
[pid=3089] ppid=3087 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3089/stat : 3089 (npSolver-pbo.sh) S 3087 3089 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384165457 9367552 274 33554432000 4194304 5064252 140737054977440 140737054976352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3089/statm: 2287 274 233 213 0 72 0
[pid=3090] ppid=3089 vsize=77620 CPUtime=1408.54 cores=0,2,4,6
/proc/3090/stat : 3090 (npSolver-pbo) S 3089 3089 2358 0 -1 4202496 24524 116242 0 0 227 37 140494 96 20 0 1 0 384165457 79482880 18530 33554432000 4194304 6004724 140736516672320 140736516664672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3090/statm: 19405 18530 181 442 0 18959 0
[pid=3178] ppid=3090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3178/stat : 3178 (satsolver.sh) S 3090 3089 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384306337 9367552 266 33554432000 4194304 5064252 140736359498464 140736359497376 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3178/statm: 2287 266 226 213 0 72 0
[pid=3179] ppid=3178 vsize=146140 CPUtime=313.44 cores=0,2,4,6
/proc/3179/stat : 3179 (glucose) R 3178 3089 2358 0 -1 4202496 23844 0 0 0 31336 8 0 0 20 0 1 0 384306338 149647360 32648 33554432000 4194304 5208918 140735510296192 140735510292504 4211712 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3179/statm: 36535 32648 105 248 0 36284 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 242056
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3207
/proc/meminfo: memFree=22862260/32873844 swapFree=7120/7120
[pid=3089] ppid=3087 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3089/stat : 3089 (npSolver-pbo.sh) S 3087 3089 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384165457 9367552 274 33554432000 4194304 5064252 140737054977440 140737054976352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3089/statm: 2287 274 233 213 0 72 0
[pid=3090] ppid=3089 vsize=77620 CPUtime=1408.54 cores=0,2,4,6
/proc/3090/stat : 3090 (npSolver-pbo) S 3089 3089 2358 0 -1 4202496 24524 116242 0 0 227 37 140494 96 20 0 1 0 384165457 79482880 18530 33554432000 4194304 6004724 140736516672320 140736516664672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3090/statm: 19405 18530 181 442 0 18959 0
[pid=3178] ppid=3090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3178/stat : 3178 (satsolver.sh) S 3090 3089 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384306337 9367552 266 33554432000 4194304 5064252 140736359498464 140736359497376 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3178/statm: 2287 266 226 213 0 72 0
[pid=3179] ppid=3178 vsize=146140 CPUtime=373.43 cores=0,2,4,6
/proc/3179/stat : 3179 (glucose) R 3178 3089 2358 0 -1 4202496 23898 0 0 0 37335 8 0 0 20 0 1 0 384306338 149647360 32702 33554432000 4194304 5208918 140735510296192 140735510292568 4212881 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3179/statm: 36535 32702 105 248 0 36284 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 242056
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3207
/proc/meminfo: memFree=22860868/32873844 swapFree=7120/7120
[pid=3089] ppid=3087 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3089/stat : 3089 (npSolver-pbo.sh) S 3087 3089 2358 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384165457 9367552 274 33554432000 4194304 5064252 140737054977440 140737054976352 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3089/statm: 2287 274 233 213 0 72 0
[pid=3090] ppid=3089 vsize=77620 CPUtime=1408.54 cores=0,2,4,6
/proc/3090/stat : 3090 (npSolver-pbo) S 3089 3089 2358 0 -1 4202496 24524 116242 0 0 227 37 140494 96 20 0 1 0 384165457 79482880 18530 33554432000 4194304 6004724 140736516672320 140736516664672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3090/statm: 19405 18530 181 442 0 18959 0
[pid=3178] ppid=3090 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3178/stat : 3178 (satsolver.sh) S 3090 3089 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384306337 9367552 266 33554432000 4194304 5064252 140736359498464 140736359497376 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3178/statm: 2287 266 226 213 0 72 0
[pid=3179] ppid=3178 vsize=146140 CPUtime=391.53 cores=0,2,4,6
/proc/3179/stat : 3179 (glucose) R 3178 3089 2358 0 -1 4202496 23980 0 0 0 39145 8 0 0 20 0 1 0 384306338 149647360 32784 33554432000 4194304 5208918 140735510296192 140735510292504 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3179/statm: 36535 32784 105 248 0 36284 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 242056
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 3089 and gives
# childrusage.ru_utime.tv_sec=1407
# childrusage.ru_utime.tv_usec=219070
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=341796
# CPU time returned by wait4() is 1408.56
# while last known CPU time is 1800.07
#
# 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.07
CPU user time (s): 1798.66
CPU system time (s): 1.41
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 321620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1407.22
system time used= 1.3418
maximum resident set size= 200216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141742
page faults= 0
swaps= 0
block input operations= 0
block output operations= 308048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1464
involuntary context switches= 1503
runsolver used 7.72183 second user time and 18.4012 second system time
The end