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-3751397-1339181089/watcher-3751397-1339181089 -o /tmp/evaluation-result-3751397-1339181089/solver-3751397-1339181089 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751397-1339181089.opb 1599463662 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.32 2.09 2.03 2/179 26968
/proc/meminfo: memFree=25684264/32873844 swapFree=7632/7632
[pid=26968] ppid=26966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26968/stat : 26968 (npSolver-pbo-It) S 26966 26968 25698 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384233659 9367552 274 33554432000 4194304 5064252 140735344352016 140735344350928 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26968/statm: 2287 274 233 213 0 72 0
[startup+0.032837 s]
/proc/loadavg: 2.32 2.09 2.03 2/179 26968
/proc/meminfo: memFree=25684264/32873844 swapFree=7632/7632
[pid=26968] ppid=26966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26968/stat : 26968 (npSolver-pbo-It) S 26966 26968 25698 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384233659 9367552 274 33554432000 4194304 5064252 140735344352016 140735344350928 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26968/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100282 s]
/proc/loadavg: 2.32 2.09 2.03 2/179 26968
/proc/meminfo: memFree=25684264/32873844 swapFree=7632/7632
[pid=26968] ppid=26966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26968/stat : 26968 (npSolver-pbo-It) S 26966 26968 25698 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384233659 9367552 274 33554432000 4194304 5064252 140735344352016 140735344350928 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26968/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30027 s]
/proc/loadavg: 2.32 2.09 2.03 2/179 26968
/proc/meminfo: memFree=25684264/32873844 swapFree=7632/7632
[pid=26968] ppid=26966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26968/stat : 26968 (npSolver-pbo-It) S 26966 26968 25698 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384233659 9367552 274 33554432000 4194304 5064252 140735344352016 140735344350928 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26968/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700367 s]
/proc/loadavg: 2.32 2.09 2.03 2/179 26968
/proc/meminfo: memFree=25684264/32873844 swapFree=7632/7632
[pid=26968] ppid=26966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26968/stat : 26968 (npSolver-pbo-It) S 26966 26968 25698 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384233659 9367552 274 33554432000 4194304 5064252 140735344352016 140735344350928 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26968/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.32 2.09 2.03 3/181 26970
/proc/meminfo: memFree=25572896/32873844 swapFree=7632/7632
[pid=26968] ppid=26966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26968/stat : 26968 (npSolver-pbo-It) S 26966 26968 25698 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384233659 9367552 274 33554432000 4194304 5064252 140735344352016 140735344350928 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26968/statm: 2287 274 233 213 0 72 0
[pid=26969] ppid=26968 vsize=216928 CPUtime=1.49 cores=0,2,4,6
/proc/26969/stat : 26969 (npSolver-pbo) R 26968 26968 25698 0 -1 4202496 25166 0 0 0 143 6 0 0 20 0 1 0 384233660 222134272 42431 33554432000 4194304 6004724 140733897251408 140733897247048 5190736 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26969/statm: 54232 42432 130 442 0 53786 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 226076
[startup+3.10031 s]
/proc/loadavg: 2.29 2.09 2.03 3/181 26970
/proc/meminfo: memFree=25446664/32873844 swapFree=7632/7632
[pid=26968] ppid=26966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26968/stat : 26968 (npSolver-pbo-It) S 26966 26968 25698 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384233659 9367552 274 33554432000 4194304 5064252 140735344352016 140735344350928 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26968/statm: 2287 274 233 213 0 72 0
[pid=26969] ppid=26968 vsize=437496 CPUtime=3.08 cores=0,2,4,6
/proc/26969/stat : 26969 (npSolver-pbo) R 26968 26968 25698 0 -1 4202496 48176 0 0 0 295 13 0 0 20 0 1 0 384233660 447995904 87860 33554432000 4194304 6004724 140733897251408 140733897247432 4968639 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26969/statm: 109374 87861 130 442 0 108928 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 446644
[startup+6.30031 s]
/proc/loadavg: 2.29 2.09 2.03 3/181 26970
/proc/meminfo: memFree=25080860/32873844 swapFree=7632/7632
[pid=26968] ppid=26966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26968/stat : 26968 (npSolver-pbo-It) S 26966 26968 25698 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384233659 9367552 274 33554432000 4194304 5064252 140735344352016 140735344350928 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26968/statm: 2287 274 233 213 0 72 0
[pid=26969] ppid=26968 vsize=877972 CPUtime=6.28 cores=0,2,4,6
/proc/26969/stat : 26969 (npSolver-pbo) R 26968 26968 25698 0 -1 4202496 93498 0 0 0 602 26 0 0 20 0 1 0 384233660 899043328 178021 33554432000 4194304 6004724 140733897251408 140733897247432 4968639 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26969/statm: 219493 178021 130 442 0 219047 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 887120
[startup+12.7003 s]
/proc/loadavg: 2.25 2.08 2.03 3/181 26970
/proc/meminfo: memFree=24189364/32873844 swapFree=7632/7632
[pid=26968] ppid=26966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26968/stat : 26968 (npSolver-pbo-It) S 26966 26968 25698 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384233659 9367552 274 33554432000 4194304 5064252 140735344352016 140735344350928 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26968/statm: 2287 274 233 213 0 72 0
[pid=26969] ppid=26968 vsize=1757560 CPUtime=12.68 cores=0,2,4,6
/proc/26969/stat : 26969 (npSolver-pbo) R 26968 26968 25698 0 -1 4202496 252800 0 0 0 1206 62 0 0 20 0 1 0 384233660 1799741440 411733 33554432000 4194304 6004724 140733897251408 140733897248216 4617898 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26969/statm: 439390 411733 147 442 0 438944 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1766708
[startup+25.5003 s]
/proc/loadavg: 2.21 2.08 2.03 3/181 26970
/proc/meminfo: memFree=22990512/32873844 swapFree=7632/7632
[pid=26968] ppid=26966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26968/stat : 26968 (npSolver-pbo-It) S 26966 26968 25698 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384233659 9367552 274 33554432000 4194304 5064252 140735344352016 140735344350928 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26968/statm: 2287 274 233 213 0 72 0
[pid=26969] ppid=26968 vsize=4641144 CPUtime=25.48 cores=0,2,4,6
/proc/26969/stat : 26969 (npSolver-pbo) R 26968 26968 25698 0 -1 4202496 255497 0 0 0 2448 100 0 0 20 0 1 0 384233660 4752531456 811093 33554432000 4194304 6004724 140733897251408 140733897246008 5056502 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26969/statm: 1160286 811093 147 442 0 1159840 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4650292
[startup+51.1003 s]
/proc/loadavg: 2.14 2.07 2.02 3/181 26970
/proc/meminfo: memFree=21254584/32873844 swapFree=7632/7632
[pid=26968] ppid=26966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26968/stat : 26968 (npSolver-pbo-It) S 26966 26968 25698 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384233659 9367552 274 33554432000 4194304 5064252 140735344352016 140735344350928 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26968/statm: 2287 274 233 213 0 72 0
[pid=26969] ppid=26968 vsize=5689724 CPUtime=51.08 cores=0,2,4,6
/proc/26969/stat : 26969 (npSolver-pbo) R 26968 26968 25698 0 -1 4202496 258170 0 0 0 4939 169 0 0 20 0 1 0 384233660 5826277376 1118830 33554432000 4194304 6004724 140733897251408 140733897246568 5055481 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26969/statm: 1422431 1118830 154 442 0 1421985 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 5698872
[startup+102.307 s]
/proc/loadavg: 2.76 2.23 2.08 3/182 26972
/proc/meminfo: memFree=12307352/32873844 swapFree=7632/7632
[pid=26968] ppid=26966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26968/stat : 26968 (npSolver-pbo-It) S 26966 26968 25698 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384233659 9367552 274 33554432000 4194304 5064252 140735344352016 140735344350928 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26968/statm: 2287 274 233 213 0 72 0
[pid=26969] ppid=26968 vsize=5689744 CPUtime=60.56 cores=0,2,4,6
/proc/26969/stat : 26969 (npSolver-pbo) S 26968 26968 25698 0 -1 4202496 260261 0 0 0 5395 661 0 0 20 0 1 0 384233660 5826297856 1190524 33554432000 4194304 6004724 140733897251408 140733897245872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26969/statm: 1422436 1190524 163 442 0 1421990 0
[pid=26971] ppid=26969 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/26971/stat : 26971 (cp2_pre.sh) S 26969 26968 25698 0 -1 4202496 609 0 0 0 0 1 0 0 20 0 1 0 384239715 9367552 277 33554432000 4194304 5064252 140735142564864 140735142563568 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26971/statm: 2287 277 234 213 0 72 0
[pid=26972] ppid=26971 vsize=6395020 CPUtime=41.69 cores=0,2,4,6
/proc/26972/stat : 26972 (coprocessor) R 26971 26968 25698 0 -1 4202496 30611 0 0 0 3978 191 0 0 20 0 1 0 384239719 6548500480 1279808 33554432000 4194304 6586260 140736167085328 140736167081080 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/26972/statm: 1598755 1279808 158 584 0 1598167 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 12103060
[startup+162.3 s]
/proc/loadavg: 2.77 2.33 2.12 3/182 26972
/proc/meminfo: memFree=10988264/32873844 swapFree=7632/7632
[pid=26968] ppid=26966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26968/stat : 26968 (npSolver-pbo-It) S 26966 26968 25698 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384233659 9367552 274 33554432000 4194304 5064252 140735344352016 140735344350928 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26968/statm: 2287 274 233 213 0 72 0
[pid=26969] ppid=26968 vsize=5689744 CPUtime=60.56 cores=0,2,4,6
/proc/26969/stat : 26969 (npSolver-pbo) S 26968 26968 25698 0 -1 4202496 260261 0 0 0 5395 661 0 0 20 0 1 0 384233660 5826297856 1190524 33554432000 4194304 6004724 140733897251408 140733897245872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26969/statm: 1422436 1190524 163 442 0 1421990 0
[pid=26971] ppid=26969 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/26971/stat : 26971 (cp2_pre.sh) S 26969 26968 25698 0 -1 4202496 609 0 0 0 0 1 0 0 20 0 1 0 384239715 9367552 277 33554432000 4194304 5064252 140735142564864 140735142563568 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26971/statm: 2287 277 234 213 0 72 0
[pid=26972] ppid=26971 vsize=6395020 CPUtime=100.81 cores=0,2,4,6
/proc/26972/stat : 26972 (coprocessor) R 26971 26968 25698 0 -1 4202496 30611 0 0 0 9588 493 0 0 20 0 1 0 384239719 6548500480 1279808 33554432000 4194304 6586260 140736167085328 140736167081080 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 87 0 0
/proc/26972/statm: 1598755 1279808 158 584 0 1598167 0
Current children cumulated CPU time (s) 161.38
Current children cumulated vsize (KiB) 12103060
[startup+222.3 s]
/proc/loadavg: 2.45 2.33 2.13 3/182 26975
/proc/meminfo: memFree=12240964/32873844 swapFree=7632/7632
[pid=26968] ppid=26966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26968/stat : 26968 (npSolver-pbo-It) S 26966 26968 25698 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384233659 9367552 274 33554432000 4194304 5064252 140735344352016 140735344350928 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26968/statm: 2287 274 233 213 0 72 0
[pid=26969] ppid=26968 vsize=5689744 CPUtime=185.97 cores=0,2,4,6
/proc/26969/stat : 26969 (npSolver-pbo) S 26968 26968 25698 0 -1 4202496 260278 31514 0 0 5395 662 11849 691 20 0 1 0 384233660 5826297856 1190528 33554432000 4194304 6004724 140733897251408 140733897237688 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26969/statm: 1422436 1190528 167 442 0 1421990 0
[pid=26975] ppid=26969 vsize=7848128 CPUtime=34.9 cores=0,2,4,6
/proc/26975/stat : 26975 (glucosInc) R 26969 26968 25698 0 -1 4202496 680487 0 0 0 3253 237 0 0 20 0 1 0 384252396 8036483072 1614050 33554432000 4194304 5654031 140735722289392 140735722287272 4232707 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26975/statm: 1962032 1614050 139 357 0 1961672 0
Current children cumulated CPU time (s) 220.87
Current children cumulated vsize (KiB) 13547020
[startup+282.3 s]
/proc/loadavg: 2.18 2.27 2.12 3/181 26976
/proc/meminfo: memFree=12215456/32873844 swapFree=7632/7632
[pid=26968] ppid=26966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26968/stat : 26968 (npSolver-pbo-It) S 26966 26968 25698 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384233659 9367552 274 33554432000 4194304 5064252 140735344352016 140735344350928 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26968/statm: 2287 274 233 213 0 72 0
[pid=26969] ppid=26968 vsize=5689744 CPUtime=185.97 cores=0,2,4,6
/proc/26969/stat : 26969 (npSolver-pbo) S 26968 26968 25698 0 -1 4202496 260278 31514 0 0 5395 662 11849 691 20 0 1 0 384233660 5826297856 1190528 33554432000 4194304 6004724 140733897251408 140733897237688 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26969/statm: 1422436 1190528 167 442 0 1421990 0
[pid=26975] ppid=26969 vsize=7871244 CPUtime=94.89 cores=0,2,4,6
/proc/26975/stat : 26975 (glucosInc) R 26969 26968 25698 0 -1 4202496 691557 0 0 0 9247 242 0 0 20 0 1 0 384252396 8060153856 1620160 33554432000 4194304 5654031 140735722289392 140735722287176 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26975/statm: 1967811 1620160 139 357 0 1967451 0
Current children cumulated CPU time (s) 280.86
################
# More data... #
################
/proc/meminfo: memFree=16587520/32873844 swapFree=7632/7632
[pid=26968] ppid=26966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26968/stat : 26968 (npSolver-pbo-It) S 26966 26968 25698 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384233659 9367552 274 33554432000 4194304 5064252 140735344352016 140735344350928 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26968/statm: 2287 274 233 213 0 72 0
[pid=26969] ppid=26968 vsize=5689744 CPUtime=185.97 cores=0,2,4,6
/proc/26969/stat : 26969 (npSolver-pbo) S 26968 26968 25698 0 -1 4202496 260278 31514 0 0 5395 662 11849 691 20 0 1 0 384233660 5826297856 1190528 33554432000 4194304 6004724 140733897251408 140733897237688 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26969/statm: 1422436 1190528 167 442 0 1421990 0
[pid=26975] ppid=26969 vsize=7953488 CPUtime=1174.73 cores=0,2,4,6
/proc/26975/stat : 26975 (glucosInc) R 26969 26968 25698 0 -1 4202496 835909 0 0 0 117164 309 0 0 20 0 1 0 384252396 8144371712 1642583 33554432000 4194304 5654031 140735722289392 140735722287272 4232688 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26975/statm: 1988372 1642583 140 357 0 1988012 0
Current children cumulated CPU time (s) 1360.7
Current children cumulated vsize (KiB) 13652380
[startup+1422.31 s]
/proc/loadavg: 1.04 1.04 1.33 2/173 27033
/proc/meminfo: memFree=16586852/32873844 swapFree=7632/7632
[pid=26968] ppid=26966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26968/stat : 26968 (npSolver-pbo-It) S 26966 26968 25698 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384233659 9367552 274 33554432000 4194304 5064252 140735344352016 140735344350928 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26968/statm: 2287 274 233 213 0 72 0
[pid=26969] ppid=26968 vsize=5689744 CPUtime=185.97 cores=0,2,4,6
/proc/26969/stat : 26969 (npSolver-pbo) S 26968 26968 25698 0 -1 4202496 260278 31514 0 0 5395 662 11849 691 20 0 1 0 384233660 5826297856 1190528 33554432000 4194304 6004724 140733897251408 140733897237688 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26969/statm: 1422436 1190528 167 442 0 1421990 0
[pid=26975] ppid=26969 vsize=7953864 CPUtime=1234.73 cores=0,2,4,6
/proc/26975/stat : 26975 (glucosInc) R 26969 26968 25698 0 -1 4202496 845971 0 0 0 123158 315 0 0 20 0 1 0 384252396 8144756736 1642721 33554432000 4194304 5654031 140735722289392 140735722287464 4232707 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26975/statm: 1988466 1642721 140 357 0 1988106 0
Current children cumulated CPU time (s) 1420.7
Current children cumulated vsize (KiB) 13652756
[startup+1482.3 s]
/proc/loadavg: 1.02 1.03 1.31 2/172 27033
/proc/meminfo: memFree=16586228/32873844 swapFree=7632/7632
[pid=26968] ppid=26966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26968/stat : 26968 (npSolver-pbo-It) S 26966 26968 25698 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384233659 9367552 274 33554432000 4194304 5064252 140735344352016 140735344350928 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26968/statm: 2287 274 233 213 0 72 0
[pid=26969] ppid=26968 vsize=5689744 CPUtime=185.97 cores=0,2,4,6
/proc/26969/stat : 26969 (npSolver-pbo) S 26968 26968 25698 0 -1 4202496 260278 31514 0 0 5395 662 11849 691 20 0 1 0 384233660 5826297856 1190528 33554432000 4194304 6004724 140733897251408 140733897237688 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26969/statm: 1422436 1190528 167 442 0 1421990 0
[pid=26975] ppid=26969 vsize=7954524 CPUtime=1294.71 cores=0,2,4,6
/proc/26975/stat : 26975 (glucosInc) R 26969 26968 25698 0 -1 4202496 851135 0 0 0 129154 317 0 0 20 0 1 0 384252396 8145432576 1642925 33554432000 4194304 5654031 140735722289392 140735722287272 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26975/statm: 1988631 1642925 140 357 0 1988271 0
Current children cumulated CPU time (s) 1480.68
Current children cumulated vsize (KiB) 13653416
[startup+1542.3 s]
/proc/loadavg: 1.00 1.02 1.28 2/174 27037
/proc/meminfo: memFree=16581724/32873844 swapFree=7632/7632
[pid=26968] ppid=26966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26968/stat : 26968 (npSolver-pbo-It) S 26966 26968 25698 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384233659 9367552 274 33554432000 4194304 5064252 140735344352016 140735344350928 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26968/statm: 2287 274 233 213 0 72 0
[pid=26969] ppid=26968 vsize=5689744 CPUtime=185.97 cores=0,2,4,6
/proc/26969/stat : 26969 (npSolver-pbo) S 26968 26968 25698 0 -1 4202496 260278 31514 0 0 5395 662 11849 691 20 0 1 0 384233660 5826297856 1190528 33554432000 4194304 6004724 140733897251408 140733897237688 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26969/statm: 1422436 1190528 167 442 0 1421990 0
[pid=26975] ppid=26969 vsize=7958552 CPUtime=1354.7 cores=0,2,4,6
/proc/26975/stat : 26975 (glucosInc) R 26969 26968 25698 0 -1 4202496 857299 0 0 0 135151 319 0 0 20 0 1 0 384252396 8149557248 1644129 33554432000 4194304 5654031 140735722289392 140735722287176 4208659 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26975/statm: 1989638 1644129 140 357 0 1989278 0
Current children cumulated CPU time (s) 1540.67
Current children cumulated vsize (KiB) 13657444
[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.26 2/173 27037
/proc/meminfo: memFree=16578336/32873844 swapFree=7632/7632
[pid=26968] ppid=26966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26968/stat : 26968 (npSolver-pbo-It) S 26966 26968 25698 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384233659 9367552 274 33554432000 4194304 5064252 140735344352016 140735344350928 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26968/statm: 2287 274 233 213 0 72 0
[pid=26969] ppid=26968 vsize=5689744 CPUtime=185.97 cores=0,2,4,6
/proc/26969/stat : 26969 (npSolver-pbo) S 26968 26968 25698 0 -1 4202496 260278 31514 0 0 5395 662 11849 691 20 0 1 0 384233660 5826297856 1190528 33554432000 4194304 6004724 140733897251408 140733897237688 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26969/statm: 1422436 1190528 167 442 0 1421990 0
[pid=26975] ppid=26969 vsize=7961316 CPUtime=1414.69 cores=0,2,4,6
/proc/26975/stat : 26975 (glucosInc) R 26969 26968 25698 0 -1 4202496 867940 0 0 0 141145 324 0 0 20 0 1 0 384252396 8152387584 1644850 33554432000 4194304 5654031 140735722289392 140735722287464 4232581 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26975/statm: 1990329 1644850 140 357 0 1989969 0
Current children cumulated CPU time (s) 1600.66
Current children cumulated vsize (KiB) 13660208
[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.24 2/172 27037
/proc/meminfo: memFree=16577868/32873844 swapFree=7632/7632
[pid=26968] ppid=26966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26968/stat : 26968 (npSolver-pbo-It) S 26966 26968 25698 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384233659 9367552 274 33554432000 4194304 5064252 140735344352016 140735344350928 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26968/statm: 2287 274 233 213 0 72 0
[pid=26969] ppid=26968 vsize=5689744 CPUtime=185.97 cores=0,2,4,6
/proc/26969/stat : 26969 (npSolver-pbo) S 26968 26968 25698 0 -1 4202496 260278 31514 0 0 5395 662 11849 691 20 0 1 0 384233660 5826297856 1190528 33554432000 4194304 6004724 140733897251408 140733897237688 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26969/statm: 1422436 1190528 167 442 0 1421990 0
[pid=26975] ppid=26969 vsize=7963032 CPUtime=1474.69 cores=0,2,4,6
/proc/26975/stat : 26975 (glucosInc) R 26969 26968 25698 0 -1 4202496 873317 0 0 0 147142 327 0 0 20 0 1 0 384252396 8154144768 1645267 33554432000 4194304 5654031 140735722289392 140735722287176 4232632 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26975/statm: 1990758 1645267 140 357 0 1990398 0
Current children cumulated CPU time (s) 1660.66
Current children cumulated vsize (KiB) 13661924
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.23 2/173 27038
/proc/meminfo: memFree=16576472/32873844 swapFree=7632/7632
[pid=26968] ppid=26966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26968/stat : 26968 (npSolver-pbo-It) S 26966 26968 25698 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384233659 9367552 274 33554432000 4194304 5064252 140735344352016 140735344350928 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26968/statm: 2287 274 233 213 0 72 0
[pid=26969] ppid=26968 vsize=5689744 CPUtime=185.97 cores=0,2,4,6
/proc/26969/stat : 26969 (npSolver-pbo) S 26968 26968 25698 0 -1 4202496 260278 31514 0 0 5395 662 11849 691 20 0 1 0 384233660 5826297856 1190528 33554432000 4194304 6004724 140733897251408 140733897237688 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26969/statm: 1422436 1190528 167 442 0 1421990 0
[pid=26975] ppid=26969 vsize=7963428 CPUtime=1534.67 cores=0,2,4,6
/proc/26975/stat : 26975 (glucosInc) R 26969 26968 25698 0 -1 4202496 878382 0 0 0 153138 329 0 0 20 0 1 0 384252396 8154550272 1645372 33554432000 4194304 5654031 140735722289392 140735722287176 4208595 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26975/statm: 1990857 1645372 140 357 0 1990497 0
Current children cumulated CPU time (s) 1720.64
Current children cumulated vsize (KiB) 13662320
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.21 2/173 27038
/proc/meminfo: memFree=16575432/32873844 swapFree=7632/7632
[pid=26968] ppid=26966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26968/stat : 26968 (npSolver-pbo-It) S 26966 26968 25698 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384233659 9367552 274 33554432000 4194304 5064252 140735344352016 140735344350928 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26968/statm: 2287 274 233 213 0 72 0
[pid=26969] ppid=26968 vsize=5689744 CPUtime=185.97 cores=0,2,4,6
/proc/26969/stat : 26969 (npSolver-pbo) S 26968 26968 25698 0 -1 4202496 260278 31514 0 0 5395 662 11849 691 20 0 1 0 384233660 5826297856 1190528 33554432000 4194304 6004724 140733897251408 140733897237688 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26969/statm: 1422436 1190528 167 442 0 1421990 0
[pid=26975] ppid=26969 vsize=7964484 CPUtime=1594.67 cores=0,2,4,6
/proc/26975/stat : 26975 (glucosInc) R 26969 26968 25698 0 -1 4202496 888553 0 0 0 159133 334 0 0 20 0 1 0 384252396 8155631616 1645623 33554432000 4194304 5654031 140735722289392 140735722287272 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26975/statm: 1991121 1645623 140 357 0 1990761 0
Current children cumulated CPU time (s) 1780.64
Current children cumulated vsize (KiB) 13663376
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.7 s]
/proc/loadavg: 1.00 1.00 1.20 2/173 27039
/proc/meminfo: memFree=16575556/32873844 swapFree=7632/7632
[pid=26968] ppid=26966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26968/stat : 26968 (npSolver-pbo-It) S 26966 26968 25698 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384233659 9367552 274 33554432000 4194304 5064252 140735344352016 140735344350928 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26968/statm: 2287 274 233 213 0 72 0
[pid=26969] ppid=26968 vsize=5689744 CPUtime=185.97 cores=0,2,4,6
/proc/26969/stat : 26969 (npSolver-pbo) S 26968 26968 25698 0 -1 4202496 260278 31514 0 0 5395 662 11849 691 20 0 1 0 384233660 5826297856 1190528 33554432000 4194304 6004724 140733897251408 140733897237688 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26969/statm: 1422436 1190528 167 442 0 1421990 0
[pid=26975] ppid=26969 vsize=7964616 CPUtime=1614.07 cores=0,2,4,6
/proc/26975/stat : 26975 (glucosInc) R 26969 26968 25698 0 -1 4202496 888609 0 0 0 161073 334 0 0 20 0 1 0 384252396 8155766784 1645679 33554432000 4194304 5654031 140735722289392 140735722287272 4208595 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26975/statm: 1991154 1645679 140 357 0 1990794 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13663508
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.7 s]
/proc/loadavg: 1.00 1.00 1.20 2/173 27039
/proc/meminfo: memFree=16575556/32873844 swapFree=7632/7632
[pid=26968] ppid=26966 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26968/stat : 26968 (npSolver-pbo-It) S 26966 26968 25698 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384233659 9367552 274 33554432000 4194304 5064252 140735344352016 140735344350928 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26968/statm: 2287 274 233 213 0 72 0
[pid=26969] ppid=26968 vsize=5689744 CPUtime=185.97 cores=0,2,4,6
/proc/26969/stat : 26969 (npSolver-pbo) S 26968 26968 25698 0 -1 4202496 260278 31514 0 0 5395 662 11849 691 20 0 1 0 384233660 5826297856 1190528 33554432000 4194304 6004724 140733897251408 140733897237688 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/26969/statm: 1422436 1190528 167 442 0 1421990 0
[pid=26975] ppid=26969 vsize=7964616 CPUtime=1614.07 cores=0,2,4,6
/proc/26975/stat : 26975 (glucosInc) R 26969 26968 25698 0 -1 4202496 888609 0 0 0 161073 334 0 0 20 0 1 0 384252396 8155766784 1645679 33554432000 4194304 5654031 140735722289392 140735722287272 4208595 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26975/statm: 1991154 1645679 140 357 0 1990794 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13663508
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26968 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.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.73
CPU time (s): 1800.04
CPU user time (s): 1783.17
CPU system time (s): 16.87
CPU usage (%): 99.9063
Max. virtual memory (cumulated for all children) (KiB): 13756672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357
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.16137 second user time and 9.46256 second system time
The end