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-3703300-1338111371/watcher-3703300-1338111371 -o /tmp/evaluation-result-3703300-1338111371/solver-3703300-1338111371 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3703300-1338111371.opb 611107685 HOME HOME
running on 4 cores: 1,3,5,7
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.57 2.15 2.05 2/180 2977
/proc/meminfo: memFree=30982540/32873844 swapFree=7112/7112
[pid=2977] ppid=2975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2977/stat : 2977 (npSolver-pbo-It) S 2975 2977 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277262461 9367552 275 33554432000 4194304 5064252 140735238669632 140735238668544 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2977/statm: 2287 275 233 213 0 72 0
[startup+0.059857 s]
/proc/loadavg: 2.57 2.15 2.05 2/180 2977
/proc/meminfo: memFree=30982540/32873844 swapFree=7112/7112
[pid=2977] ppid=2975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2977/stat : 2977 (npSolver-pbo-It) S 2975 2977 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277262461 9367552 275 33554432000 4194304 5064252 140735238669632 140735238668544 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2977/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100243 s]
/proc/loadavg: 2.57 2.15 2.05 2/180 2977
/proc/meminfo: memFree=30982540/32873844 swapFree=7112/7112
[pid=2977] ppid=2975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2977/stat : 2977 (npSolver-pbo-It) S 2975 2977 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277262461 9367552 275 33554432000 4194304 5064252 140735238669632 140735238668544 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2977/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300213 s]
/proc/loadavg: 2.57 2.15 2.05 2/180 2977
/proc/meminfo: memFree=30982540/32873844 swapFree=7112/7112
[pid=2977] ppid=2975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2977/stat : 2977 (npSolver-pbo-It) S 2975 2977 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277262461 9367552 275 33554432000 4194304 5064252 140735238669632 140735238668544 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2977/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700215 s]
/proc/loadavg: 2.57 2.15 2.05 2/180 2977
/proc/meminfo: memFree=30982540/32873844 swapFree=7112/7112
[pid=2977] ppid=2975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2977/stat : 2977 (npSolver-pbo-It) S 2975 2977 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277262461 9367552 275 33554432000 4194304 5064252 140735238669632 140735238668544 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2977/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50023 s]
/proc/loadavg: 2.57 2.15 2.05 3/182 2979
/proc/meminfo: memFree=30968924/32873844 swapFree=7112/7112
[pid=2977] ppid=2975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2977/stat : 2977 (npSolver-pbo-It) S 2975 2977 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277262461 9367552 275 33554432000 4194304 5064252 140735238669632 140735238668544 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2977/statm: 2287 275 233 213 0 72 0
[pid=2978] ppid=2977 vsize=13544 CPUtime=1.49 cores=1,3,5,7
/proc/2978/stat : 2978 (npSolver-pbo) R 2977 2977 23606 0 -1 4202496 2650 0 0 0 148 1 0 0 20 0 1 0 277262461 13869056 2663 33554432000 4194304 5992684 140735229362544 140735229358664 4479644 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2978/statm: 3386 2663 146 440 0 2942 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22692
[startup+3.10024 s]
/proc/loadavg: 2.57 2.15 2.05 3/182 2979
/proc/meminfo: memFree=30957568/32873844 swapFree=7112/7112
[pid=2977] ppid=2975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2977/stat : 2977 (npSolver-pbo-It) S 2975 2977 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277262461 9367552 275 33554432000 4194304 5064252 140735238669632 140735238668544 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2977/statm: 2287 275 233 213 0 72 0
[pid=2978] ppid=2977 vsize=49772 CPUtime=3.08 cores=1,3,5,7
/proc/2978/stat : 2978 (npSolver-pbo) R 2977 2977 23606 0 -1 4202496 10090 0 0 0 305 3 0 0 20 0 1 0 277262461 50966528 11632 33554432000 4194304 5992684 140735229362544 140735229359144 4523497 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2978/statm: 12443 11632 159 440 0 11999 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 58920
[startup+6.3003 s]
/proc/loadavg: 2.53 2.15 2.05 3/182 2979
/proc/meminfo: memFree=30446160/32873844 swapFree=7112/7112
[pid=2977] ppid=2975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2977/stat : 2977 (npSolver-pbo-It) S 2975 2977 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277262461 9367552 275 33554432000 4194304 5064252 140735238669632 140735238668544 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2977/statm: 2287 275 233 213 0 72 0
[pid=2978] ppid=2977 vsize=565560 CPUtime=6.29 cores=1,3,5,7
/proc/2978/stat : 2978 (npSolver-pbo) R 2977 2977 23606 0 -1 4202496 29978 0 0 0 601 28 0 0 20 0 1 0 277262461 579133440 126446 33554432000 4194304 5992684 140735229362544 140735229358408 5182699 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2978/statm: 141390 126446 168 440 0 140946 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 574708
[startup+12.7005 s]
/proc/loadavg: 2.49 2.15 2.05 3/186 2983
/proc/meminfo: memFree=28260760/32873844 swapFree=7112/7112
[pid=2977] ppid=2975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2977/stat : 2977 (npSolver-pbo-It) S 2975 2977 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277262461 9367552 275 33554432000 4194304 5064252 140735238669632 140735238668544 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2977/statm: 2287 275 233 213 0 72 0
[pid=2978] ppid=2977 vsize=362848 CPUtime=6.48 cores=1,3,5,7
/proc/2978/stat : 2978 (npSolver-pbo) S 2977 2977 23606 0 -1 4202496 29985 0 0 0 601 47 0 0 20 0 1 0 277262461 371556352 75774 33554432000 4194304 5992684 140735229362544 140735229356992 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2978/statm: 90712 75774 174 440 0 90268 0
[pid=2980] ppid=2978 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2980/stat : 2980 (cp2_pre.sh) S 2978 2977 23606 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 277263109 9367552 277 33554432000 4194304 5064252 140733261475120 140733261473824 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2980/statm: 2287 277 234 213 0 72 0
[pid=2981] ppid=2980 vsize=1054160 CPUtime=6.19 cores=1,3,5,7
/proc/2981/stat : 2981 (coprocessor) R 2980 2977 23606 0 -1 4202496 87501 0 0 0 583 36 0 0 20 0 1 0 277263110 1079459840 238346 33554432000 4194304 6586260 140736168880240 140736168876504 4496489 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/2981/statm: 263540 238346 168 584 0 262952 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1435304
[startup+25.5003 s]
/proc/loadavg: 2.60 2.19 2.06 3/184 2987
/proc/meminfo: memFree=28902340/32873844 swapFree=7112/7112
[pid=2977] ppid=2975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2977/stat : 2977 (npSolver-pbo-It) S 2975 2977 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277262461 9367552 275 33554432000 4194304 5064252 140735238669632 140735238668544 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2977/statm: 2287 275 233 213 0 72 0
[pid=2978] ppid=2977 vsize=362848 CPUtime=21.93 cores=1,3,5,7
/proc/2978/stat : 2978 (npSolver-pbo) S 2977 2977 23606 0 -1 4202496 30001 109233 0 0 601 47 1467 78 20 0 1 0 277262461 371556352 75776 33554432000 4194304 5992684 140735229362544 140735229348808 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2978/statm: 90712 75776 176 440 0 90268 0
[pid=2986] ppid=2978 vsize=522640 CPUtime=3.54 cores=1,3,5,7
/proc/2986/stat : 2986 (glucosInc) R 2978 2977 23606 0 -1 4202496 78341 0 0 0 335 19 0 0 20 0 1 0 277264656 535183360 117720 33554432000 4194304 5654031 140736169517440 140736169515048 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2986/statm: 130660 117720 130 357 0 130300 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 894636
[startup+51.1004 s]
/proc/loadavg: 3.10 2.33 2.11 2/185 2988
/proc/meminfo: memFree=27775844/32873844 swapFree=7112/7112
[pid=2977] ppid=2975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2977/stat : 2977 (npSolver-pbo-It) S 2975 2977 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277262461 9367552 275 33554432000 4194304 5064252 140735238669632 140735238668544 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2977/statm: 2287 275 233 213 0 72 0
[pid=2978] ppid=2977 vsize=362848 CPUtime=21.93 cores=1,3,5,7
/proc/2978/stat : 2978 (npSolver-pbo) S 2977 2977 23606 0 -1 4202496 30001 109233 0 0 601 47 1467 78 20 0 1 0 277262461 371556352 75776 33554432000 4194304 5992684 140735229362544 140735229348808 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2978/statm: 90712 75776 176 440 0 90268 0
[pid=2986] ppid=2978 vsize=523424 CPUtime=29.13 cores=1,3,5,7
/proc/2986/stat : 2986 (glucosInc) R 2978 2977 23606 0 -1 4202496 78569 0 0 0 2894 19 0 0 20 0 1 0 277264656 535986176 117948 33554432000 4194304 5654031 140736169517440 140736169515128 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2986/statm: 130856 117948 140 357 0 130496 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 895420
[startup+102.3 s]
/proc/loadavg: 2.73 2.35 2.13 3/186 3036
/proc/meminfo: memFree=28456032/32873844 swapFree=7112/7112
[pid=2977] ppid=2975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2977/stat : 2977 (npSolver-pbo-It) S 2975 2977 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277262461 9367552 275 33554432000 4194304 5064252 140735238669632 140735238668544 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2977/statm: 2287 275 233 213 0 72 0
[pid=2978] ppid=2977 vsize=398508 CPUtime=30.12 cores=1,3,5,7
/proc/2978/stat : 2978 (npSolver-pbo) S 2977 2977 23606 0 -1 4202496 38034 109749 0 0 831 619 1467 95 20 0 1 0 277262461 408072192 84696 33554432000 4194304 5992684 140735229362544 140735229354832 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 22 0 0
/proc/2978/statm: 99627 84696 198 440 0 99183 0
[pid=2986] ppid=2978 vsize=526728 CPUtime=57.54 cores=1,3,5,7
/proc/2986/stat : 2986 (glucosInc) S 2978 2977 23606 0 -1 4202496 79397 0 0 0 5735 19 0 0 20 0 1 0 277264656 539369472 119287 33554432000 4194304 5654031 140736169517440 140736169515752 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2986/statm: 131682 119287 146 357 0 131322 0
[pid=3034] ppid=2978 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3034/stat : 3034 (satsolver.sh) S 2978 2977 23606 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277271251 9367552 267 33554432000 4194304 5064252 140735319939600 140735319938512 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3034/statm: 2287 267 226 213 0 72 0
[pid=3035] ppid=3034 vsize=574728 CPUtime=14.39 cores=1,3,5,7
/proc/3035/stat : 3035 (glucose) R 3034 2977 23606 0 -1 4202496 80185 0 0 0 1417 22 0 0 20 0 1 0 277271251 588521472 121239 33554432000 4194304 5208918 140737033121696 140737033119640 4229456 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3035/statm: 143682 121239 94 248 0 143431 0
Current children cumulated CPU time (s) 102.05
Current children cumulated vsize (KiB) 1518260
[startup+162.301 s]
/proc/loadavg: 2.27 2.29 2.12 3/185 3036
/proc/meminfo: memFree=28407276/32873844 swapFree=7112/7112
[pid=2977] ppid=2975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2977/stat : 2977 (npSolver-pbo-It) S 2975 2977 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277262461 9367552 275 33554432000 4194304 5064252 140735238669632 140735238668544 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2977/statm: 2287 275 233 213 0 72 0
[pid=2978] ppid=2977 vsize=398508 CPUtime=30.12 cores=1,3,5,7
/proc/2978/stat : 2978 (npSolver-pbo) S 2977 2977 23606 0 -1 4202496 38034 109749 0 0 831 619 1467 95 20 0 1 0 277262461 408072192 84696 33554432000 4194304 5992684 140735229362544 140735229354832 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 22 0 0
/proc/2978/statm: 99627 84696 198 440 0 99183 0
[pid=2986] ppid=2978 vsize=526728 CPUtime=57.54 cores=1,3,5,7
/proc/2986/stat : 2986 (glucosInc) S 2978 2977 23606 0 -1 4202496 79397 0 0 0 5735 19 0 0 20 0 1 0 277264656 539369472 119287 33554432000 4194304 5654031 140736169517440 140736169515752 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2986/statm: 131682 119287 146 357 0 131322 0
[pid=3034] ppid=2978 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3034/stat : 3034 (satsolver.sh) S 2978 2977 23606 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277271251 9367552 267 33554432000 4194304 5064252 140735319939600 140735319938512 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3034/statm: 2287 267 226 213 0 72 0
[pid=3035] ppid=3034 vsize=592464 CPUtime=74.38 cores=1,3,5,7
/proc/3035/stat : 3035 (glucose) R 3034 2977 23606 0 -1 4202496 82694 0 0 0 7415 23 0 0 20 0 1 0 277271251 606683136 128347 33554432000 4194304 5208918 140737033121696 140737033118072 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3035/statm: 148116 128347 104 248 0 147865 0
Current children cumulated CPU time (s) 162.04
Current children cumulated vsize (KiB) 1535996
[startup+222.307 s]
/proc/loadavg: 2.10 2.23 2.11 3/185 3036
/proc/meminfo: memFree=28397036/32873844 swapFree=7112/7112
[pid=2977] ppid=2975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2977/stat : 2977 (npSolver-pbo-It) S 2975 2977 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277262461 9367552 275 33554432000 4194304 5064252 140735238669632 140735238668544 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2977/statm: 2287 275 233 213 0 72 0
[pid=2978] ppid=2977 vsize=398508 CPUtime=30.12 cores=1,3,5,7
/proc/2978/stat : 2978 (npSolver-pbo) S 2977 2977 23606 0 -1 4202496 38034 109749 0 0 831 619 1467 95 20 0 1 0 277262461 408072192 84696 33554432000 4194304 5992684 140735229362544 140735229354832 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 22 0 0
/proc/2978/statm: 99627 84696 198 440 0 99183 0
[pid=2986] ppid=2978 vsize=526728 CPUtime=57.54 cores=1,3,5,7
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.20 2.07 2.02 3/188 3053
/proc/meminfo: memFree=27575756/32873844 swapFree=7112/7112
[pid=2977] ppid=2975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2977/stat : 2977 (npSolver-pbo-It) S 2975 2977 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277262461 9367552 275 33554432000 4194304 5064252 140735238669632 140735238668544 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2977/statm: 2287 275 233 213 0 72 0
[pid=2978] ppid=2977 vsize=398508 CPUtime=30.12 cores=1,3,5,7
/proc/2978/stat : 2978 (npSolver-pbo) S 2977 2977 23606 0 -1 4202496 38034 109749 0 0 831 619 1467 95 20 0 1 0 277262461 408072192 84696 33554432000 4194304 5992684 140735229362544 140735229354832 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 22 0 0
/proc/2978/statm: 99627 84696 198 440 0 99183 0
[pid=2986] ppid=2978 vsize=526728 CPUtime=57.54 cores=1,3,5,7
/proc/2986/stat : 2986 (glucosInc) S 2978 2977 23606 0 -1 4202496 79397 0 0 0 5735 19 0 0 20 0 1 0 277264656 539369472 119764 33554432000 4194304 5654031 140736169517440 140736169515752 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2986/statm: 131682 119764 146 357 0 131322 0
[pid=3034] ppid=2978 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3034/stat : 3034 (satsolver.sh) S 2978 2977 23606 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277271251 9367552 267 33554432000 4194304 5064252 140735319939600 140735319938512 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3034/statm: 2287 267 226 213 0 72 0
[pid=3035] ppid=3034 vsize=597900 CPUtime=1394.14 cores=1,3,5,7
/proc/3035/stat : 3035 (glucose) R 3034 2977 23606 0 -1 4202496 86904 0 0 0 139375 39 0 0 20 0 1 0 277271251 612249600 131504 33554432000 4194304 5208918 140737033121696 140737033119544 4205139 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3035/statm: 149475 131504 105 248 0 149224 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1541432
[startup+1542.31 s]
/proc/loadavg: 2.14 2.08 2.03 3/188 3076
/proc/meminfo: memFree=27594400/32873844 swapFree=7112/7112
[pid=2977] ppid=2975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2977/stat : 2977 (npSolver-pbo-It) S 2975 2977 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277262461 9367552 275 33554432000 4194304 5064252 140735238669632 140735238668544 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2977/statm: 2287 275 233 213 0 72 0
[pid=2978] ppid=2977 vsize=398508 CPUtime=30.12 cores=1,3,5,7
/proc/2978/stat : 2978 (npSolver-pbo) S 2977 2977 23606 0 -1 4202496 38034 109749 0 0 831 619 1467 95 20 0 1 0 277262461 408072192 84696 33554432000 4194304 5992684 140735229362544 140735229354832 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 22 0 0
/proc/2978/statm: 99627 84696 198 440 0 99183 0
[pid=2986] ppid=2978 vsize=526728 CPUtime=57.54 cores=1,3,5,7
/proc/2986/stat : 2986 (glucosInc) S 2978 2977 23606 0 -1 4202496 79397 0 0 0 5735 19 0 0 20 0 1 0 277264656 539369472 119764 33554432000 4194304 5654031 140736169517440 140736169515752 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2986/statm: 131682 119764 146 357 0 131322 0
[pid=3034] ppid=2978 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3034/stat : 3034 (satsolver.sh) S 2978 2977 23606 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277271251 9367552 267 33554432000 4194304 5064252 140735319939600 140735319938512 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3034/statm: 2287 267 226 213 0 72 0
[pid=3035] ppid=3034 vsize=598356 CPUtime=1454.14 cores=1,3,5,7
/proc/3035/stat : 3035 (glucose) R 3034 2977 23606 0 -1 4202496 86979 0 0 0 145375 39 0 0 20 0 1 0 277271251 612716544 133623 33554432000 4194304 5208918 140737033121696 140737033119544 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3035/statm: 149589 133623 105 248 0 149338 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1541888
[startup+1602.3 s]
/proc/loadavg: 2.18 2.11 2.04 3/187 3076
/proc/meminfo: memFree=27566884/32873844 swapFree=7112/7112
[pid=2977] ppid=2975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2977/stat : 2977 (npSolver-pbo-It) S 2975 2977 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277262461 9367552 275 33554432000 4194304 5064252 140735238669632 140735238668544 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2977/statm: 2287 275 233 213 0 72 0
[pid=2978] ppid=2977 vsize=398508 CPUtime=30.12 cores=1,3,5,7
/proc/2978/stat : 2978 (npSolver-pbo) S 2977 2977 23606 0 -1 4202496 38034 109749 0 0 831 619 1467 95 20 0 1 0 277262461 408072192 84696 33554432000 4194304 5992684 140735229362544 140735229354832 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 22 0 0
/proc/2978/statm: 99627 84696 198 440 0 99183 0
[pid=2986] ppid=2978 vsize=526728 CPUtime=57.54 cores=1,3,5,7
/proc/2986/stat : 2986 (glucosInc) S 2978 2977 23606 0 -1 4202496 79397 0 0 0 5735 19 0 0 20 0 1 0 277264656 539369472 119764 33554432000 4194304 5654031 140736169517440 140736169515752 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2986/statm: 131682 119764 146 357 0 131322 0
[pid=3034] ppid=2978 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3034/stat : 3034 (satsolver.sh) S 2978 2977 23606 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277271251 9367552 267 33554432000 4194304 5064252 140735319939600 140735319938512 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3034/statm: 2287 267 226 213 0 72 0
[pid=3035] ppid=3034 vsize=599080 CPUtime=1514.13 cores=1,3,5,7
/proc/3035/stat : 3035 (glucose) R 3034 2977 23606 0 -1 4202496 87146 0 0 0 151373 40 0 0 20 0 1 0 277271251 613457920 135323 33554432000 4194304 5208918 140737033121696 140737033119544 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3035/statm: 149770 135323 105 248 0 149519 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1542612
[startup+1662.3 s]
/proc/loadavg: 2.19 2.13 2.05 3/187 3077
/proc/meminfo: memFree=27565192/32873844 swapFree=7112/7112
[pid=2977] ppid=2975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2977/stat : 2977 (npSolver-pbo-It) S 2975 2977 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277262461 9367552 275 33554432000 4194304 5064252 140735238669632 140735238668544 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2977/statm: 2287 275 233 213 0 72 0
[pid=2978] ppid=2977 vsize=398508 CPUtime=30.12 cores=1,3,5,7
/proc/2978/stat : 2978 (npSolver-pbo) S 2977 2977 23606 0 -1 4202496 38034 109749 0 0 831 619 1467 95 20 0 1 0 277262461 408072192 84696 33554432000 4194304 5992684 140735229362544 140735229354832 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 22 0 0
/proc/2978/statm: 99627 84696 198 440 0 99183 0
[pid=2986] ppid=2978 vsize=526728 CPUtime=57.54 cores=1,3,5,7
/proc/2986/stat : 2986 (glucosInc) S 2978 2977 23606 0 -1 4202496 79397 0 0 0 5735 19 0 0 20 0 1 0 277264656 539369472 119764 33554432000 4194304 5654031 140736169517440 140736169515752 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2986/statm: 131682 119764 146 357 0 131322 0
[pid=3034] ppid=2978 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3034/stat : 3034 (satsolver.sh) S 2978 2977 23606 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277271251 9367552 267 33554432000 4194304 5064252 140735319939600 140735319938512 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3034/statm: 2287 267 226 213 0 72 0
[pid=3035] ppid=3034 vsize=599692 CPUtime=1574.12 cores=1,3,5,7
/proc/3035/stat : 3035 (glucose) R 3034 2977 23606 0 -1 4202496 87802 0 0 0 157371 41 0 0 20 0 1 0 277271251 614084608 131053 33554432000 4194304 5208918 140737033121696 140737033119544 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3035/statm: 149923 131053 105 248 0 149672 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1543224
[startup+1722.3 s]
/proc/loadavg: 2.10 2.12 2.05 3/187 3077
/proc/meminfo: memFree=27583600/32873844 swapFree=7112/7112
[pid=2977] ppid=2975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2977/stat : 2977 (npSolver-pbo-It) S 2975 2977 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277262461 9367552 275 33554432000 4194304 5064252 140735238669632 140735238668544 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2977/statm: 2287 275 233 213 0 72 0
[pid=2978] ppid=2977 vsize=398508 CPUtime=30.12 cores=1,3,5,7
/proc/2978/stat : 2978 (npSolver-pbo) S 2977 2977 23606 0 -1 4202496 38034 109749 0 0 831 619 1467 95 20 0 1 0 277262461 408072192 84696 33554432000 4194304 5992684 140735229362544 140735229354832 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 22 0 0
/proc/2978/statm: 99627 84696 198 440 0 99183 0
[pid=2986] ppid=2978 vsize=526728 CPUtime=57.54 cores=1,3,5,7
/proc/2986/stat : 2986 (glucosInc) S 2978 2977 23606 0 -1 4202496 79397 0 0 0 5735 19 0 0 20 0 1 0 277264656 539369472 119764 33554432000 4194304 5654031 140736169517440 140736169515752 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2986/statm: 131682 119764 146 357 0 131322 0
[pid=3034] ppid=2978 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3034/stat : 3034 (satsolver.sh) S 2978 2977 23606 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277271251 9367552 267 33554432000 4194304 5064252 140735319939600 140735319938512 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3034/statm: 2287 267 226 213 0 72 0
[pid=3035] ppid=3034 vsize=614088 CPUtime=1634.11 cores=1,3,5,7
/proc/3035/stat : 3035 (glucose) R 3034 2977 23606 0 -1 4202496 89000 0 0 0 163369 42 0 0 20 0 1 0 277271251 628826112 134295 33554432000 4194304 5208918 140737033121696 140737033119528 4205139 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3035/statm: 153522 134295 105 248 0 153271 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1557620
[startup+1782.3 s]
/proc/loadavg: 2.12 2.12 2.05 3/187 3077
/proc/meminfo: memFree=27556108/32873844 swapFree=7112/7112
[pid=2977] ppid=2975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2977/stat : 2977 (npSolver-pbo-It) S 2975 2977 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277262461 9367552 275 33554432000 4194304 5064252 140735238669632 140735238668544 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2977/statm: 2287 275 233 213 0 72 0
[pid=2978] ppid=2977 vsize=398508 CPUtime=30.12 cores=1,3,5,7
/proc/2978/stat : 2978 (npSolver-pbo) S 2977 2977 23606 0 -1 4202496 38034 109749 0 0 831 619 1467 95 20 0 1 0 277262461 408072192 84696 33554432000 4194304 5992684 140735229362544 140735229354832 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 22 0 0
/proc/2978/statm: 99627 84696 198 440 0 99183 0
[pid=2986] ppid=2978 vsize=526728 CPUtime=57.54 cores=1,3,5,7
/proc/2986/stat : 2986 (glucosInc) S 2978 2977 23606 0 -1 4202496 79397 0 0 0 5735 19 0 0 20 0 1 0 277264656 539369472 119764 33554432000 4194304 5654031 140736169517440 140736169515752 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2986/statm: 131682 119764 146 357 0 131322 0
[pid=3034] ppid=2978 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3034/stat : 3034 (satsolver.sh) S 2978 2977 23606 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277271251 9367552 267 33554432000 4194304 5064252 140735319939600 140735319938512 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3034/statm: 2287 267 226 213 0 72 0
[pid=3035] ppid=3034 vsize=614088 CPUtime=1694.1 cores=1,3,5,7
/proc/3035/stat : 3035 (glucose) R 3034 2977 23606 0 -1 4202496 89007 0 0 0 169368 42 0 0 20 0 1 0 277271251 628826112 135835 33554432000 4194304 5208918 140737033121696 140737033119528 4229107 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3035/statm: 153522 135835 105 248 0 153271 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1557620
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.14 2.13 2.05 3/187 3077
/proc/meminfo: memFree=27547896/32873844 swapFree=7112/7112
[pid=2977] ppid=2975 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2977/stat : 2977 (npSolver-pbo-It) S 2975 2977 23606 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 277262461 9367552 275 33554432000 4194304 5064252 140735238669632 140735238668544 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2977/statm: 2287 275 233 213 0 72 0
[pid=2978] ppid=2977 vsize=398508 CPUtime=30.12 cores=1,3,5,7
/proc/2978/stat : 2978 (npSolver-pbo) S 2977 2977 23606 0 -1 4202496 38034 109749 0 0 831 619 1467 95 20 0 1 0 277262461 408072192 84696 33554432000 4194304 5992684 140735229362544 140735229354832 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 22 0 0
/proc/2978/statm: 99627 84696 198 440 0 99183 0
[pid=2986] ppid=2978 vsize=526728 CPUtime=57.54 cores=1,3,5,7
/proc/2986/stat : 2986 (glucosInc) S 2978 2977 23606 0 -1 4202496 79397 0 0 0 5735 19 0 0 20 0 1 0 277264656 539369472 119764 33554432000 4194304 5654031 140736169517440 140736169515752 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2986/statm: 131682 119764 146 357 0 131322 0
[pid=3034] ppid=2978 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3034/stat : 3034 (satsolver.sh) S 2978 2977 23606 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 277271251 9367552 267 33554432000 4194304 5064252 140735319939600 140735319938512 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3034/statm: 2287 267 226 213 0 72 0
[pid=3035] ppid=3034 vsize=614088 CPUtime=1712.41 cores=1,3,5,7
/proc/3035/stat : 3035 (glucose) R 3034 2977 23606 0 -1 4202496 89009 0 0 0 171199 42 0 0 20 0 1 0 277271251 628826112 136348 33554432000 4194304 5208918 140737033121696 140737033119528 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3035/statm: 153522 136348 105 248 0 153271 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1557620
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2977 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# 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.62
CPU time (s): 1800.07
CPU user time (s): 1792.32
CPU system time (s): 7.75
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 1673008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1
runsolver used 4.5813 second user time and 13.013 second system time
The end