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-3751011-1339112584/watcher-3751011-1339112584 -o /tmp/evaluation-result-3751011-1339112584/solver-3751011-1339112584 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751011-1339112584.opb 510445848 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: 4.51 2.69 1.83 3/179 28057
/proc/meminfo: memFree=19377732/32873844 swapFree=7116/7116
[pid=28057] ppid=28055 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28057/stat : 28057 (npSolver-pbo-It) S 28055 28057 26405 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377386243 9367552 275 33554432000 4194304 5064252 140734625499504 140734625498416 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28057/statm: 2287 275 233 213 0 72 0
[startup+0.058808 s]
/proc/loadavg: 4.51 2.69 1.83 3/179 28057
/proc/meminfo: memFree=19377732/32873844 swapFree=7116/7116
[pid=28057] ppid=28055 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28057/stat : 28057 (npSolver-pbo-It) S 28055 28057 26405 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377386243 9367552 275 33554432000 4194304 5064252 140734625499504 140734625498416 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28057/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10032 s]
/proc/loadavg: 4.51 2.69 1.83 3/179 28057
/proc/meminfo: memFree=19377732/32873844 swapFree=7116/7116
[pid=28057] ppid=28055 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28057/stat : 28057 (npSolver-pbo-It) S 28055 28057 26405 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377386243 9367552 275 33554432000 4194304 5064252 140734625499504 140734625498416 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28057/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30025 s]
/proc/loadavg: 4.51 2.69 1.83 3/179 28057
/proc/meminfo: memFree=19377732/32873844 swapFree=7116/7116
[pid=28057] ppid=28055 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28057/stat : 28057 (npSolver-pbo-It) S 28055 28057 26405 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377386243 9367552 275 33554432000 4194304 5064252 140734625499504 140734625498416 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28057/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700254 s]
/proc/loadavg: 4.51 2.69 1.83 3/179 28057
/proc/meminfo: memFree=19377732/32873844 swapFree=7116/7116
[pid=28057] ppid=28055 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28057/stat : 28057 (npSolver-pbo-It) S 28055 28057 26405 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377386243 9367552 275 33554432000 4194304 5064252 140734625499504 140734625498416 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28057/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 4.51 2.69 1.83 1/183 28062
/proc/meminfo: memFree=19376468/32873844 swapFree=7116/7116
[pid=28057] ppid=28055 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28057/stat : 28057 (npSolver-pbo-It) S 28055 28057 26405 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377386243 9367552 275 33554432000 4194304 5064252 140734625499504 140734625498416 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28057/statm: 2287 275 233 213 0 72 0
[pid=28058] ppid=28057 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/28058/stat : 28058 (npSolver-pbo) S 28057 28057 26405 0 -1 4202496 1772 1623 0 1 0 0 0 0 20 0 1 0 377386243 2306048 204 33554432000 4194304 6004724 140733305296704 140733305282984 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28058/statm: 563 204 152 442 0 117 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11400
[startup+3.10029 s]
/proc/loadavg: 4.51 2.69 1.83 2/182 28063
/proc/meminfo: memFree=19369064/32873844 swapFree=7116/7116
[pid=28057] ppid=28055 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28057/stat : 28057 (npSolver-pbo-It) S 28055 28057 26405 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377386243 9367552 275 33554432000 4194304 5064252 140734625499504 140734625498416 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28057/statm: 2287 275 233 213 0 72 0
[pid=28058] ppid=28057 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/28058/stat : 28058 (npSolver-pbo) S 28057 28057 26405 0 -1 4202496 1772 1623 0 1 0 0 0 0 20 0 1 0 377386243 2306048 204 33554432000 4194304 6004724 140733305296704 140733305282984 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28058/statm: 563 204 152 442 0 117 0
[pid=28063] ppid=28058 vsize=13032 CPUtime=1.83 cores=1,3,5,7
/proc/28063/stat : 28063 (glucosInc) R 28058 28057 26405 0 -1 4202496 3061 0 0 0 183 0 0 0 20 0 1 0 377386368 13344768 2742 33554432000 4194304 5654031 140737336624128 140737336611944 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28063/statm: 3258 2742 142 357 0 2898 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 24432
heavy processes:
[startup+6.30029 s]
/proc/loadavg: 4.55 2.73 1.85 2/182 28063
/proc/meminfo: memFree=19362684/32873844 swapFree=7116/7116
[pid=28057] ppid=28055 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28057/stat : 28057 (npSolver-pbo-It) S 28055 28057 26405 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377386243 9367552 275 33554432000 4194304 5064252 140734625499504 140734625498416 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28057/statm: 2287 275 233 213 0 72 0
[pid=28058] ppid=28057 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/28058/stat : 28058 (npSolver-pbo) S 28057 28057 26405 0 -1 4202496 1772 1623 0 1 0 0 0 0 20 0 1 0 377386243 2306048 204 33554432000 4194304 6004724 140733305296704 140733305282984 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28058/statm: 563 204 152 442 0 117 0
[pid=28063] ppid=28058 vsize=15752 CPUtime=5.03 cores=1,3,5,7
/proc/28063/stat : 28063 (glucosInc) R 28058 28057 26405 0 -1 4202496 3251 0 0 0 503 0 0 0 20 0 1 0 377386368 16130048 3440 33554432000 4194304 5654031 140737336624128 140737336621928 4208630 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28063/statm: 3938 3440 142 357 0 3578 0
Current children cumulated CPU time (s) 5.03
Current children cumulated vsize (KiB) 27152
heavy processes:
[startup+12.7003 s]
/proc/loadavg: 4.50 2.75 1.86 2/182 28063
/proc/meminfo: memFree=19356220/32873844 swapFree=7116/7116
[pid=28057] ppid=28055 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28057/stat : 28057 (npSolver-pbo-It) S 28055 28057 26405 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377386243 9367552 275 33554432000 4194304 5064252 140734625499504 140734625498416 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28057/statm: 2287 275 233 213 0 72 0
[pid=28058] ppid=28057 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/28058/stat : 28058 (npSolver-pbo) S 28057 28057 26405 0 -1 4202496 1772 1623 0 1 0 0 0 0 20 0 1 0 377386243 2306048 204 33554432000 4194304 6004724 140733305296704 140733305282984 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28058/statm: 563 204 152 442 0 117 0
[pid=28063] ppid=28058 vsize=20260 CPUtime=11.44 cores=1,3,5,7
/proc/28063/stat : 28063 (glucosInc) R 28058 28057 26405 0 -1 4202496 5028 0 0 0 1143 1 0 0 20 0 1 0 377386368 20746240 4539 33554432000 4194304 5654031 140737336624128 140737336622152 4232968 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28063/statm: 5065 4539 142 357 0 4705 0
Current children cumulated CPU time (s) 11.44
Current children cumulated vsize (KiB) 31660
[startup+25.5003 s]
/proc/loadavg: 4.54 2.84 1.91 2/182 28063
/proc/meminfo: memFree=19344384/32873844 swapFree=7116/7116
[pid=28057] ppid=28055 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28057/stat : 28057 (npSolver-pbo-It) S 28055 28057 26405 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377386243 9367552 275 33554432000 4194304 5064252 140734625499504 140734625498416 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28057/statm: 2287 275 233 213 0 72 0
[pid=28058] ppid=28057 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/28058/stat : 28058 (npSolver-pbo) S 28057 28057 26405 0 -1 4202496 1772 1623 0 1 0 0 0 0 20 0 1 0 377386243 2306048 204 33554432000 4194304 6004724 140733305296704 140733305282984 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28058/statm: 563 204 152 442 0 117 0
[pid=28063] ppid=28058 vsize=31752 CPUtime=24.23 cores=1,3,5,7
/proc/28063/stat : 28063 (glucosInc) R 28058 28057 26405 0 -1 4202496 5878 0 0 0 2422 1 0 0 20 0 1 0 377386368 32514048 7422 33554432000 4194304 5654031 140737336624128 140737336611944 4232922 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28063/statm: 7938 7422 142 357 0 7578 0
Current children cumulated CPU time (s) 24.23
Current children cumulated vsize (KiB) 43152
[startup+51.1003 s]
/proc/loadavg: 3.91 2.84 1.93 3/182 28063
/proc/meminfo: memFree=17064852/32873844 swapFree=7116/7116
[pid=28057] ppid=28055 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28057/stat : 28057 (npSolver-pbo-It) S 28055 28057 26405 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377386243 9367552 275 33554432000 4194304 5064252 140734625499504 140734625498416 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28057/statm: 2287 275 233 213 0 72 0
[pid=28058] ppid=28057 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/28058/stat : 28058 (npSolver-pbo) S 28057 28057 26405 0 -1 4202496 1772 1623 0 1 0 0 0 0 20 0 1 0 377386243 2306048 204 33554432000 4194304 6004724 140733305296704 140733305282984 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28058/statm: 563 204 152 442 0 117 0
[pid=28063] ppid=28058 vsize=50608 CPUtime=49.83 cores=1,3,5,7
/proc/28063/stat : 28063 (glucosInc) R 28058 28057 26405 0 -1 4202496 7134 0 0 0 4982 1 0 0 20 0 1 0 377386368 51822592 11020 33554432000 4194304 5654031 140737336624128 140737336622008 4233181 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28063/statm: 12652 11020 142 357 0 12292 0
Current children cumulated CPU time (s) 49.83
Current children cumulated vsize (KiB) 62008
[startup+102.307 s]
/proc/loadavg: 2.83 2.71 1.93 3/181 28108
/proc/meminfo: memFree=31668436/32873844 swapFree=7116/7116
[pid=28057] ppid=28055 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28057/stat : 28057 (npSolver-pbo-It) S 28055 28057 26405 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377386243 9367552 275 33554432000 4194304 5064252 140734625499504 140734625498416 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28057/statm: 2287 275 233 213 0 72 0
[pid=28058] ppid=28057 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/28058/stat : 28058 (npSolver-pbo) S 28057 28057 26405 0 -1 4202496 1772 1623 0 1 0 0 0 0 20 0 1 0 377386243 2306048 204 33554432000 4194304 6004724 140733305296704 140733305282984 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28058/statm: 563 204 152 442 0 117 0
[pid=28063] ppid=28058 vsize=57272 CPUtime=101.02 cores=1,3,5,7
/proc/28063/stat : 28063 (glucosInc) R 28058 28057 26405 0 -1 4202496 7943 0 0 0 10100 2 0 0 20 0 1 0 377386368 58646528 13803 33554432000 4194304 5654031 140737336624128 140737336622152 4232912 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28063/statm: 14318 13803 142 357 0 13958 0
Current children cumulated CPU time (s) 101.02
Current children cumulated vsize (KiB) 68672
[startup+162.3 s]
/proc/loadavg: 2.30 2.58 1.93 3/181 28109
/proc/meminfo: memFree=31611192/32873844 swapFree=7116/7116
[pid=28057] ppid=28055 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28057/stat : 28057 (npSolver-pbo-It) S 28055 28057 26405 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377386243 9367552 275 33554432000 4194304 5064252 140734625499504 140734625498416 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28057/statm: 2287 275 233 213 0 72 0
[pid=28058] ppid=28057 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/28058/stat : 28058 (npSolver-pbo) S 28057 28057 26405 0 -1 4202496 1772 1623 0 1 0 0 0 0 20 0 1 0 377386243 2306048 204 33554432000 4194304 6004724 140733305296704 140733305282984 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28058/statm: 563 204 152 442 0 117 0
[pid=28063] ppid=28058 vsize=76128 CPUtime=161 cores=1,3,5,7
/proc/28063/stat : 28063 (glucosInc) R 28058 28057 26405 0 -1 4202496 8540 0 0 0 16098 2 0 0 20 0 1 0 377386368 77955072 18473 33554432000 4194304 5654031 140737336624128 140737336622008 4233148 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28063/statm: 19032 18473 142 357 0 18672 0
Current children cumulated CPU time (s) 161
Current children cumulated vsize (KiB) 87528
[startup+222.3 s]
/proc/loadavg: 2.11 2.47 1.93 3/181 28109
/proc/meminfo: memFree=31610632/32873844 swapFree=7116/7116
[pid=28057] ppid=28055 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28057/stat : 28057 (npSolver-pbo-It) S 28055 28057 26405 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377386243 9367552 275 33554432000 4194304 5064252 140734625499504 140734625498416 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28057/statm: 2287 275 233 213 0 72 0
[pid=28058] ppid=28057 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/28058/stat : 28058 (npSolver-pbo) S 28057 28057 26405 0 -1 4202496 1772 1623 0 1 0 0 0 0 20 0 1 0 377386243 2306048 204 33554432000 4194304 6004724 140733305296704 140733305282984 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28058/statm: 563 204 152 442 0 117 0
[pid=28063] ppid=28058 vsize=76128 CPUtime=220.99 cores=1,3,5,7
/proc/28063/stat : 28063 (glucosInc) R 28058 28057 26405 0 -1 4202496 8541 0 0 0 22097 2 0 0 20 0 1 0 377386368 77955072 18517 33554432000 4194304 5654031 140737336624128 140737336611944 4233201 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28063/statm: 19032 18517 142 357 0 18672 0
Current children cumulated CPU time (s) 220.99
Current children cumulated vsize (KiB) 87528
[startup+282.3 s]
/proc/loadavg: 2.04 2.38 1.93 3/181 28109
################
# More data... #
################
/proc/loadavg: 2.06 2.02 1.94 3/181 28141
/proc/meminfo: memFree=31453968/32873844 swapFree=7116/7116
[pid=28057] ppid=28055 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28057/stat : 28057 (npSolver-pbo-It) S 28055 28057 26405 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377386243 9367552 275 33554432000 4194304 5064252 140734625499504 140734625498416 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28057/statm: 2287 275 233 213 0 72 0
[pid=28058] ppid=28057 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/28058/stat : 28058 (npSolver-pbo) S 28057 28057 26405 0 -1 4202496 1772 1623 0 1 0 0 0 0 20 0 1 0 377386243 2306048 204 33554432000 4194304 6004724 140733305296704 140733305282984 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28058/statm: 563 204 152 442 0 117 0
[pid=28063] ppid=28058 vsize=158956 CPUtime=1300.83 cores=1,3,5,7
/proc/28063/stat : 28063 (glucosInc) R 28058 28057 26405 0 -1 4202496 12957 0 0 0 130069 14 0 0 20 0 1 0 377386368 162770944 30672 33554432000 4194304 5654031 140737336624128 140737336622056 4233232 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28063/statm: 39739 30672 142 357 0 39379 0
Current children cumulated CPU time (s) 1300.83
Current children cumulated vsize (KiB) 170356
[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 1.94 3/181 28141
/proc/meminfo: memFree=31440996/32873844 swapFree=7116/7116
[pid=28057] ppid=28055 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28057/stat : 28057 (npSolver-pbo-It) S 28055 28057 26405 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377386243 9367552 275 33554432000 4194304 5064252 140734625499504 140734625498416 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28057/statm: 2287 275 233 213 0 72 0
[pid=28058] ppid=28057 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/28058/stat : 28058 (npSolver-pbo) S 28057 28057 26405 0 -1 4202496 1772 1623 0 1 0 0 0 0 20 0 1 0 377386243 2306048 204 33554432000 4194304 6004724 140733305296704 140733305282984 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28058/statm: 563 204 152 442 0 117 0
[pid=28063] ppid=28058 vsize=109636 CPUtime=1360.82 cores=1,3,5,7
/proc/28063/stat : 28063 (glucosInc) R 28058 28057 26405 0 -1 4202496 12958 0 0 0 136068 14 0 0 20 0 1 0 377386368 112267264 22822 33554432000 4194304 5654031 140737336624128 140737336611944 4233176 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28063/statm: 27409 22822 142 357 0 27049 0
Current children cumulated CPU time (s) 1360.82
Current children cumulated vsize (KiB) 121036
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 1.94 3/181 28142
/proc/meminfo: memFree=31472584/32873844 swapFree=7116/7116
[pid=28057] ppid=28055 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28057/stat : 28057 (npSolver-pbo-It) S 28055 28057 26405 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377386243 9367552 275 33554432000 4194304 5064252 140734625499504 140734625498416 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28057/statm: 2287 275 233 213 0 72 0
[pid=28058] ppid=28057 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/28058/stat : 28058 (npSolver-pbo) S 28057 28057 26405 0 -1 4202496 1772 1623 0 1 0 0 0 0 20 0 1 0 377386243 2306048 204 33554432000 4194304 6004724 140733305296704 140733305282984 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28058/statm: 563 204 152 442 0 117 0
[pid=28063] ppid=28058 vsize=109636 CPUtime=1420.81 cores=1,3,5,7
/proc/28063/stat : 28063 (glucosInc) R 28058 28057 26405 0 -1 4202496 13144 0 0 0 142066 15 0 0 20 0 1 0 377386368 112267264 22822 33554432000 4194304 5654031 140737336624128 140737336622152 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28063/statm: 27409 22822 142 357 0 27049 0
Current children cumulated CPU time (s) 1420.81
Current children cumulated vsize (KiB) 121036
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/181 28142
/proc/meminfo: memFree=31445712/32873844 swapFree=7116/7116
[pid=28057] ppid=28055 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28057/stat : 28057 (npSolver-pbo-It) S 28055 28057 26405 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377386243 9367552 275 33554432000 4194304 5064252 140734625499504 140734625498416 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28057/statm: 2287 275 233 213 0 72 0
[pid=28058] ppid=28057 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/28058/stat : 28058 (npSolver-pbo) S 28057 28057 26405 0 -1 4202496 1772 1623 0 1 0 0 0 0 20 0 1 0 377386243 2306048 204 33554432000 4194304 6004724 140733305296704 140733305282984 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28058/statm: 563 204 152 442 0 117 0
[pid=28063] ppid=28058 vsize=109636 CPUtime=1480.8 cores=1,3,5,7
/proc/28063/stat : 28063 (glucosInc) R 28058 28057 26405 0 -1 4202496 13330 0 0 0 148064 16 0 0 20 0 1 0 377386368 112267264 22822 33554432000 4194304 5654031 140737336624128 140737336622152 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28063/statm: 27409 22822 142 357 0 27049 0
Current children cumulated CPU time (s) 1480.8
Current children cumulated vsize (KiB) 121036
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 28142
/proc/meminfo: memFree=31454524/32873844 swapFree=7116/7116
[pid=28057] ppid=28055 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28057/stat : 28057 (npSolver-pbo-It) S 28055 28057 26405 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377386243 9367552 275 33554432000 4194304 5064252 140734625499504 140734625498416 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28057/statm: 2287 275 233 213 0 72 0
[pid=28058] ppid=28057 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/28058/stat : 28058 (npSolver-pbo) S 28057 28057 26405 0 -1 4202496 1772 1623 0 1 0 0 0 0 20 0 1 0 377386243 2306048 204 33554432000 4194304 6004724 140733305296704 140733305282984 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28058/statm: 563 204 152 442 0 117 0
[pid=28063] ppid=28058 vsize=109636 CPUtime=1540.79 cores=1,3,5,7
/proc/28063/stat : 28063 (glucosInc) R 28058 28057 26405 0 -1 4202496 13338 0 0 0 154063 16 0 0 20 0 1 0 377386368 112267264 26918 33554432000 4194304 5654031 140737336624128 140737336622152 4233148 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28063/statm: 27409 26918 142 357 0 27049 0
Current children cumulated CPU time (s) 1540.79
Current children cumulated vsize (KiB) 121036
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 28142
/proc/meminfo: memFree=31408724/32873844 swapFree=7116/7116
[pid=28057] ppid=28055 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28057/stat : 28057 (npSolver-pbo-It) S 28055 28057 26405 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377386243 9367552 275 33554432000 4194304 5064252 140734625499504 140734625498416 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28057/statm: 2287 275 233 213 0 72 0
[pid=28058] ppid=28057 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/28058/stat : 28058 (npSolver-pbo) S 28057 28057 26405 0 -1 4202496 1772 1623 0 1 0 0 0 0 20 0 1 0 377386243 2306048 204 33554432000 4194304 6004724 140733305296704 140733305282984 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28058/statm: 563 204 152 442 0 117 0
[pid=28063] ppid=28058 vsize=109636 CPUtime=1600.79 cores=1,3,5,7
/proc/28063/stat : 28063 (glucosInc) R 28058 28057 26405 0 -1 4202496 13524 0 0 0 160062 17 0 0 20 0 1 0 377386368 112267264 26918 33554432000 4194304 5654031 140737336624128 140737336622152 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28063/statm: 27409 26918 142 357 0 27049 0
Current children cumulated CPU time (s) 1600.79
Current children cumulated vsize (KiB) 121036
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/182 28145
/proc/meminfo: memFree=31481140/32873844 swapFree=7116/7116
[pid=28057] ppid=28055 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28057/stat : 28057 (npSolver-pbo-It) S 28055 28057 26405 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377386243 9367552 275 33554432000 4194304 5064252 140734625499504 140734625498416 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28057/statm: 2287 275 233 213 0 72 0
[pid=28058] ppid=28057 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/28058/stat : 28058 (npSolver-pbo) S 28057 28057 26405 0 -1 4202496 1772 1623 0 1 0 0 0 0 20 0 1 0 377386243 2306048 204 33554432000 4194304 6004724 140733305296704 140733305282984 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28058/statm: 563 204 152 442 0 117 0
[pid=28063] ppid=28058 vsize=109636 CPUtime=1660.77 cores=1,3,5,7
/proc/28063/stat : 28063 (glucosInc) R 28058 28057 26405 0 -1 4202496 13709 0 0 0 166060 17 0 0 20 0 1 0 377386368 112267264 26918 33554432000 4194304 5654031 140737336624128 140737336622152 4232949 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28063/statm: 27409 26918 142 357 0 27049 0
Current children cumulated CPU time (s) 1660.77
Current children cumulated vsize (KiB) 121036
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 28146
/proc/meminfo: memFree=31420856/32873844 swapFree=7116/7116
[pid=28057] ppid=28055 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28057/stat : 28057 (npSolver-pbo-It) S 28055 28057 26405 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377386243 9367552 275 33554432000 4194304 5064252 140734625499504 140734625498416 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28057/statm: 2287 275 233 213 0 72 0
[pid=28058] ppid=28057 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/28058/stat : 28058 (npSolver-pbo) S 28057 28057 26405 0 -1 4202496 1772 1623 0 1 0 0 0 0 20 0 1 0 377386243 2306048 204 33554432000 4194304 6004724 140733305296704 140733305282984 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28058/statm: 563 204 152 442 0 117 0
[pid=28063] ppid=28058 vsize=109636 CPUtime=1720.76 cores=1,3,5,7
/proc/28063/stat : 28063 (glucosInc) R 28058 28057 26405 0 -1 4202496 13709 0 0 0 172059 17 0 0 20 0 1 0 377386368 112267264 26918 33554432000 4194304 5654031 140737336624128 140737336611944 4233232 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28063/statm: 27409 26918 142 357 0 27049 0
Current children cumulated CPU time (s) 1720.76
Current children cumulated vsize (KiB) 121036
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 1.95 3/181 28146
/proc/meminfo: memFree=31506312/32873844 swapFree=7116/7116
[pid=28057] ppid=28055 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28057/stat : 28057 (npSolver-pbo-It) S 28055 28057 26405 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377386243 9367552 275 33554432000 4194304 5064252 140734625499504 140734625498416 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28057/statm: 2287 275 233 213 0 72 0
[pid=28058] ppid=28057 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/28058/stat : 28058 (npSolver-pbo) S 28057 28057 26405 0 -1 4202496 1772 1623 0 1 0 0 0 0 20 0 1 0 377386243 2306048 204 33554432000 4194304 6004724 140733305296704 140733305282984 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28058/statm: 563 204 152 442 0 117 0
[pid=28063] ppid=28058 vsize=109636 CPUtime=1780.76 cores=1,3,5,7
/proc/28063/stat : 28063 (glucosInc) R 28058 28057 26405 0 -1 4202496 13894 0 0 0 178058 18 0 0 20 0 1 0 377386368 112267264 26918 33554432000 4194304 5654031 140737336624128 140737336611944 4232912 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28063/statm: 27409 26918 142 357 0 27049 0
Current children cumulated CPU time (s) 1780.76
Current children cumulated vsize (KiB) 121036
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.6 s]
/proc/loadavg: 2.04 2.01 1.95 3/181 28146
/proc/meminfo: memFree=31454244/32873844 swapFree=7116/7116
[pid=28057] ppid=28055 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28057/stat : 28057 (npSolver-pbo-It) S 28055 28057 26405 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377386243 9367552 275 33554432000 4194304 5064252 140734625499504 140734625498416 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28057/statm: 2287 275 233 213 0 72 0
[pid=28058] ppid=28057 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/28058/stat : 28058 (npSolver-pbo) S 28057 28057 26405 0 -1 4202496 1772 1623 0 1 0 0 0 0 20 0 1 0 377386243 2306048 204 33554432000 4194304 6004724 140733305296704 140733305282984 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28058/statm: 563 204 152 442 0 117 0
[pid=28063] ppid=28058 vsize=109636 CPUtime=1800.06 cores=1,3,5,7
/proc/28063/stat : 28063 (glucosInc) R 28058 28057 26405 0 -1 4202496 13894 0 0 0 179988 18 0 0 20 0 1 0 377386368 112267264 26918 33554432000 4194304 5654031 140737336624128 140737336611944 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28063/statm: 27409 26918 142 357 0 27049 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 121036
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 28057 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=14997
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=11998
# CPU time returned by wait4() is 0.026995
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.61
CPU time (s): 1800.06
CPU user time (s): 1799.88
CPU system time (s): 0.18
CPU usage (%): 99.914
Max. virtual memory (cumulated for all children) (KiB): 170356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.014997
system time used= 0.011998
maximum resident set size= 29280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3771
page faults= 1
swaps= 0
block input operations= 80
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 6
runsolver used 5.95309 second user time and 15.7886 second system time
The end