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-3751715-1339179000/watcher-3751715-1339179000 -o /tmp/evaluation-result-3751715-1339179000/solver-3751715-1339179000 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751715-1339179000.opb 60302740 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.02 2.02 2.00 3/178 19651
/proc/meminfo: memFree=27650404/32873648 swapFree=7372/7372
[pid=19651] ppid=19649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19651/stat : 19651 (npSolver-pbo-It) S 19649 19651 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384026744 9367552 274 33554432000 4194304 5064252 140736326929520 140736326928432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19651/statm: 2287 274 233 213 0 72 0
[startup+0.0792761 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 19651
/proc/meminfo: memFree=27650404/32873648 swapFree=7372/7372
[pid=19651] ppid=19649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19651/stat : 19651 (npSolver-pbo-It) S 19649 19651 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384026744 9367552 274 33554432000 4194304 5064252 140736326929520 140736326928432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19651/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100301 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 19651
/proc/meminfo: memFree=27650404/32873648 swapFree=7372/7372
[pid=19651] ppid=19649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19651/stat : 19651 (npSolver-pbo-It) S 19649 19651 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384026744 9367552 274 33554432000 4194304 5064252 140736326929520 140736326928432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19651/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300308 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 19651
/proc/meminfo: memFree=27650404/32873648 swapFree=7372/7372
[pid=19651] ppid=19649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19651/stat : 19651 (npSolver-pbo-It) S 19649 19651 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384026744 9367552 274 33554432000 4194304 5064252 140736326929520 140736326928432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19651/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70031 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 19651
/proc/meminfo: memFree=27650404/32873648 swapFree=7372/7372
[pid=19651] ppid=19649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19651/stat : 19651 (npSolver-pbo-It) S 19649 19651 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384026744 9367552 274 33554432000 4194304 5064252 140736326929520 140736326928432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19651/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.02 2.02 2.00 3/182 19655
/proc/meminfo: memFree=27573368/32873648 swapFree=7372/7372
[pid=19651] ppid=19649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19651/stat : 19651 (npSolver-pbo-It) S 19649 19651 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384026744 9367552 274 33554432000 4194304 5064252 140736326929520 140736326928432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19651/statm: 2287 274 233 213 0 72 0
[pid=19652] ppid=19651 vsize=22212 CPUtime=1.45 cores=0,2,4,6
/proc/19652/stat : 19652 (npSolver-pbo) S 19651 19651 18714 0 -1 4202496 6752 13032 0 0 18 2 120 5 20 0 1 0 384026745 22745088 5030 33554432000 4194304 6004724 140735662483008 140735662469288 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19652/statm: 5553 5030 167 442 0 5107 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 31360
[startup+3.10032 s]
/proc/loadavg: 2.02 2.02 2.00 3/182 19660
/proc/meminfo: memFree=27605204/32873648 swapFree=7372/7372
[pid=19651] ppid=19649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19651/stat : 19651 (npSolver-pbo-It) S 19649 19651 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384026744 9367552 274 33554432000 4194304 5064252 140736326929520 140736326928432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19651/statm: 2287 274 233 213 0 72 0
[pid=19652] ppid=19651 vsize=22212 CPUtime=1.45 cores=0,2,4,6
/proc/19652/stat : 19652 (npSolver-pbo) S 19651 19651 18714 0 -1 4202496 6752 13032 0 0 18 2 120 5 20 0 1 0 384026745 22745088 5030 33554432000 4194304 6004724 140735662483008 140735662469288 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19652/statm: 5553 5030 167 442 0 5107 0
[pid=19660] ppid=19652 vsize=25732 CPUtime=1.62 cores=0,2,4,6
/proc/19660/stat : 19660 (glucosInc) R 19652 19651 18714 0 -1 4202496 5362 0 0 0 161 1 0 0 20 0 1 0 384026892 26349568 5659 33554432000 4194304 5654031 140737422800384 140737422798168 4232694 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19660/statm: 6433 5659 141 357 0 6073 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 57092
[startup+6.30038 s]
/proc/loadavg: 2.02 2.02 2.00 3/182 19660
/proc/meminfo: memFree=27596372/32873648 swapFree=7372/7372
[pid=19651] ppid=19649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19651/stat : 19651 (npSolver-pbo-It) S 19649 19651 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384026744 9367552 274 33554432000 4194304 5064252 140736326929520 140736326928432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19651/statm: 2287 274 233 213 0 72 0
[pid=19652] ppid=19651 vsize=22212 CPUtime=1.45 cores=0,2,4,6
/proc/19652/stat : 19652 (npSolver-pbo) S 19651 19651 18714 0 -1 4202496 6752 13032 0 0 18 2 120 5 20 0 1 0 384026745 22745088 5030 33554432000 4194304 6004724 140735662483008 140735662469288 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19652/statm: 5553 5030 167 442 0 5107 0
[pid=19660] ppid=19652 vsize=44964 CPUtime=4.8 cores=0,2,4,6
/proc/19660/stat : 19660 (glucosInc) R 19652 19651 18714 0 -1 4202496 7213 0 0 0 479 1 0 0 20 0 1 0 384026892 46043136 9937 33554432000 4194304 5654031 140737422800384 140737422798312 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19660/statm: 11241 9937 141 357 0 10881 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 76324
[startup+12.7004 s]
/proc/loadavg: 2.09 2.04 2.00 3/182 19660
/proc/meminfo: memFree=27579872/32873648 swapFree=7372/7372
[pid=19651] ppid=19649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19651/stat : 19651 (npSolver-pbo-It) S 19649 19651 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384026744 9367552 274 33554432000 4194304 5064252 140736326929520 140736326928432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19651/statm: 2287 274 233 213 0 72 0
[pid=19652] ppid=19651 vsize=22212 CPUtime=1.45 cores=0,2,4,6
/proc/19652/stat : 19652 (npSolver-pbo) S 19651 19651 18714 0 -1 4202496 6752 13032 0 0 18 2 120 5 20 0 1 0 384026745 22745088 5030 33554432000 4194304 6004724 140735662483008 140735662469288 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19652/statm: 5553 5030 167 442 0 5107 0
[pid=19660] ppid=19652 vsize=52144 CPUtime=11.2 cores=0,2,4,6
/proc/19660/stat : 19660 (glucosInc) R 19652 19651 18714 0 -1 4202496 8283 0 0 0 1119 1 0 0 20 0 1 0 384026892 53395456 11209 33554432000 4194304 5654031 140737422800384 140737422798184 4217070 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19660/statm: 13036 11209 141 357 0 12676 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 83504
[startup+25.5004 s]
/proc/loadavg: 2.08 2.03 2.00 3/182 19662
/proc/meminfo: memFree=27661232/32873648 swapFree=7372/7372
[pid=19651] ppid=19649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19651/stat : 19651 (npSolver-pbo-It) S 19649 19651 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384026744 9367552 274 33554432000 4194304 5064252 140736326929520 140736326928432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19651/statm: 2287 274 233 213 0 72 0
[pid=19652] ppid=19651 vsize=22212 CPUtime=1.45 cores=0,2,4,6
/proc/19652/stat : 19652 (npSolver-pbo) S 19651 19651 18714 0 -1 4202496 6752 13032 0 0 18 2 120 5 20 0 1 0 384026745 22745088 5030 33554432000 4194304 6004724 140735662483008 140735662469288 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19652/statm: 5553 5030 167 442 0 5107 0
[pid=19660] ppid=19652 vsize=37888 CPUtime=24 cores=0,2,4,6
/proc/19660/stat : 19660 (glucosInc) R 19652 19651 18714 0 -1 4202496 9761 0 0 0 2398 2 0 0 20 0 1 0 384026892 38797312 8416 33554432000 4194304 5654031 140737422800384 140737422798184 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19660/statm: 9472 8416 141 357 0 9112 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 69248
[startup+51.1004 s]
/proc/loadavg: 2.17 2.06 2.01 3/182 19662
/proc/meminfo: memFree=27627920/32873648 swapFree=7372/7372
[pid=19651] ppid=19649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19651/stat : 19651 (npSolver-pbo-It) S 19649 19651 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384026744 9367552 274 33554432000 4194304 5064252 140736326929520 140736326928432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19651/statm: 2287 274 233 213 0 72 0
[pid=19652] ppid=19651 vsize=22212 CPUtime=1.45 cores=0,2,4,6
/proc/19652/stat : 19652 (npSolver-pbo) S 19651 19651 18714 0 -1 4202496 6752 13032 0 0 18 2 120 5 20 0 1 0 384026745 22745088 5030 33554432000 4194304 6004724 140735662483008 140735662469288 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19652/statm: 5553 5030 167 442 0 5107 0
[pid=19660] ppid=19652 vsize=105876 CPUtime=49.59 cores=0,2,4,6
/proc/19660/stat : 19660 (glucosInc) R 19652 19651 18714 0 -1 4202496 10812 0 0 0 4956 3 0 0 20 0 1 0 384026892 108417024 19681 33554432000 4194304 5654031 140737422800384 140737422788200 4232386 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19660/statm: 26469 19681 141 357 0 26109 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 137236
[startup+102.307 s]
/proc/loadavg: 2.07 2.05 2.01 3/181 19662
/proc/meminfo: memFree=27603780/32873648 swapFree=7372/7372
[pid=19651] ppid=19649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19651/stat : 19651 (npSolver-pbo-It) S 19649 19651 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384026744 9367552 274 33554432000 4194304 5064252 140736326929520 140736326928432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19651/statm: 2287 274 233 213 0 72 0
[pid=19652] ppid=19651 vsize=22212 CPUtime=1.45 cores=0,2,4,6
/proc/19652/stat : 19652 (npSolver-pbo) S 19651 19651 18714 0 -1 4202496 6752 13032 0 0 18 2 120 5 20 0 1 0 384026745 22745088 5030 33554432000 4194304 6004724 140735662483008 140735662469288 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19652/statm: 5553 5030 167 442 0 5107 0
[pid=19660] ppid=19652 vsize=105892 CPUtime=100.79 cores=0,2,4,6
/proc/19660/stat : 19660 (glucosInc) R 19652 19651 18714 0 -1 4202496 12263 0 0 0 10075 4 0 0 20 0 1 0 384026892 108433408 25235 33554432000 4194304 5654031 140737422800384 140737422788200 4232607 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19660/statm: 26473 25235 141 357 0 26113 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 137252
[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/181 19663
/proc/meminfo: memFree=27600272/32873648 swapFree=7372/7372
[pid=19651] ppid=19649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19651/stat : 19651 (npSolver-pbo-It) S 19649 19651 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384026744 9367552 274 33554432000 4194304 5064252 140736326929520 140736326928432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19651/statm: 2287 274 233 213 0 72 0
[pid=19652] ppid=19651 vsize=22212 CPUtime=1.45 cores=0,2,4,6
/proc/19652/stat : 19652 (npSolver-pbo) S 19651 19651 18714 0 -1 4202496 6752 13032 0 0 18 2 120 5 20 0 1 0 384026745 22745088 5030 33554432000 4194304 6004724 140735662483008 140735662469288 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19652/statm: 5553 5030 167 442 0 5107 0
[pid=19660] ppid=19652 vsize=105892 CPUtime=160.78 cores=0,2,4,6
/proc/19660/stat : 19660 (glucosInc) R 19652 19651 18714 0 -1 4202496 13287 0 0 0 16072 6 0 0 20 0 1 0 384026892 108433408 25235 33554432000 4194304 5654031 140737422800384 140737422798408 4215344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19660/statm: 26473 25235 141 357 0 26113 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 137252
[startup+222.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/181 19663
/proc/meminfo: memFree=27554628/32873648 swapFree=7372/7372
[pid=19651] ppid=19649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19651/stat : 19651 (npSolver-pbo-It) S 19649 19651 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384026744 9367552 274 33554432000 4194304 5064252 140736326929520 140736326928432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19651/statm: 2287 274 233 213 0 72 0
[pid=19652] ppid=19651 vsize=22212 CPUtime=1.45 cores=0,2,4,6
/proc/19652/stat : 19652 (npSolver-pbo) S 19651 19651 18714 0 -1 4202496 6752 13032 0 0 18 2 120 5 20 0 1 0 384026745 22745088 5030 33554432000 4194304 6004724 140735662483008 140735662469288 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19652/statm: 5553 5030 167 442 0 5107 0
[pid=19660] ppid=19652 vsize=155212 CPUtime=220.77 cores=0,2,4,6
/proc/19660/stat : 19660 (glucosInc) R 19652 19651 18714 0 -1 4202496 15338 0 0 0 22069 8 0 0 20 0 1 0 384026892 158937088 33924 33554432000 4194304 5654031 140737422800384 140737422798312 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19660/statm: 38803 33924 141 357 0 38443 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 186572
[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 19663
/proc/meminfo: memFree=27535948/32873648 swapFree=7372/7372
[pid=19651] ppid=19649 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/181 19716
/proc/meminfo: memFree=28671180/32873648 swapFree=7372/7372
[pid=19651] ppid=19649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19651/stat : 19651 (npSolver-pbo-It) S 19649 19651 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384026744 9367552 274 33554432000 4194304 5064252 140736326929520 140736326928432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19651/statm: 2287 274 233 213 0 72 0
[pid=19652] ppid=19651 vsize=22212 CPUtime=1.45 cores=0,2,4,6
/proc/19652/stat : 19652 (npSolver-pbo) S 19651 19651 18714 0 -1 4202496 6752 13032 0 0 18 2 120 5 20 0 1 0 384026745 22745088 5030 33554432000 4194304 6004724 140735662483008 140735662469288 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19652/statm: 5553 5030 167 442 0 5107 0
[pid=19660] ppid=19652 vsize=168912 CPUtime=1300.59 cores=0,2,4,6
/proc/19660/stat : 19660 (glucosInc) R 19652 19651 18714 0 -1 4202496 31794 0 0 0 130017 42 0 0 20 0 1 0 384026892 172965888 39397 33554432000 4194304 5654031 140737422800384 140737422798408 4232566 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19660/statm: 42228 39397 141 357 0 41868 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 200272
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19717
/proc/meminfo: memFree=28642152/32873648 swapFree=7372/7372
[pid=19651] ppid=19649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19651/stat : 19651 (npSolver-pbo-It) S 19649 19651 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384026744 9367552 274 33554432000 4194304 5064252 140736326929520 140736326928432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19651/statm: 2287 274 233 213 0 72 0
[pid=19652] ppid=19651 vsize=22212 CPUtime=1.45 cores=0,2,4,6
/proc/19652/stat : 19652 (npSolver-pbo) S 19651 19651 18714 0 -1 4202496 6752 13032 0 0 18 2 120 5 20 0 1 0 384026745 22745088 5030 33554432000 4194304 6004724 140735662483008 140735662469288 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19652/statm: 5553 5030 167 442 0 5107 0
[pid=19660] ppid=19652 vsize=168912 CPUtime=1360.57 cores=0,2,4,6
/proc/19660/stat : 19660 (glucosInc) R 19652 19651 18714 0 -1 4202496 32433 0 0 0 136013 44 0 0 20 0 1 0 384026892 172965888 38373 33554432000 4194304 5654031 140737422800384 140737422798408 4233448 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19660/statm: 42228 38373 141 357 0 41868 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 200272
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 19718
/proc/meminfo: memFree=28628524/32873648 swapFree=7372/7372
[pid=19651] ppid=19649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19651/stat : 19651 (npSolver-pbo-It) S 19649 19651 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384026744 9367552 274 33554432000 4194304 5064252 140736326929520 140736326928432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19651/statm: 2287 274 233 213 0 72 0
[pid=19652] ppid=19651 vsize=22212 CPUtime=1.45 cores=0,2,4,6
/proc/19652/stat : 19652 (npSolver-pbo) S 19651 19651 18714 0 -1 4202496 6752 13032 0 0 18 2 120 5 20 0 1 0 384026745 22745088 5030 33554432000 4194304 6004724 140735662483008 140735662469288 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19652/statm: 5553 5030 167 442 0 5107 0
[pid=19660] ppid=19652 vsize=168912 CPUtime=1420.57 cores=0,2,4,6
/proc/19660/stat : 19660 (glucosInc) R 19652 19651 18714 0 -1 4202496 33077 0 0 0 142012 45 0 0 20 0 1 0 384026892 172965888 37861 33554432000 4194304 5654031 140737422800384 140737422798408 4233448 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19660/statm: 42228 37861 141 357 0 41868 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 200272
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19718
/proc/meminfo: memFree=28603072/32873648 swapFree=7372/7372
[pid=19651] ppid=19649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19651/stat : 19651 (npSolver-pbo-It) S 19649 19651 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384026744 9367552 274 33554432000 4194304 5064252 140736326929520 140736326928432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19651/statm: 2287 274 233 213 0 72 0
[pid=19652] ppid=19651 vsize=22212 CPUtime=1.45 cores=0,2,4,6
/proc/19652/stat : 19652 (npSolver-pbo) S 19651 19651 18714 0 -1 4202496 6752 13032 0 0 18 2 120 5 20 0 1 0 384026745 22745088 5030 33554432000 4194304 6004724 140735662483008 140735662469288 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19652/statm: 5553 5030 167 442 0 5107 0
[pid=19660] ppid=19652 vsize=199732 CPUtime=1480.53 cores=0,2,4,6
/proc/19660/stat : 19660 (glucosInc) R 19652 19651 18714 0 -1 4202496 33179 0 0 0 148007 46 0 0 20 0 1 0 384026892 204525568 43560 33554432000 4194304 5654031 140737422800384 140737422798472 4232495 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19660/statm: 49933 43560 141 357 0 49573 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 231092
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19718
/proc/meminfo: memFree=28610108/32873648 swapFree=7372/7372
[pid=19651] ppid=19649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19651/stat : 19651 (npSolver-pbo-It) S 19649 19651 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384026744 9367552 274 33554432000 4194304 5064252 140736326929520 140736326928432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19651/statm: 2287 274 233 213 0 72 0
[pid=19652] ppid=19651 vsize=22212 CPUtime=1.45 cores=0,2,4,6
/proc/19652/stat : 19652 (npSolver-pbo) S 19651 19651 18714 0 -1 4202496 6752 13032 0 0 18 2 120 5 20 0 1 0 384026745 22745088 5030 33554432000 4194304 6004724 140735662483008 140735662469288 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19652/statm: 5553 5030 167 442 0 5107 0
[pid=19660] ppid=19652 vsize=199732 CPUtime=1540.53 cores=0,2,4,6
/proc/19660/stat : 19660 (glucosInc) R 19652 19651 18714 0 -1 4202496 33821 0 0 0 154005 48 0 0 20 0 1 0 384026892 204525568 43560 33554432000 4194304 5654031 140737422800384 140737422798472 4232912 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19660/statm: 49933 43560 141 357 0 49573 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 231092
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19718
/proc/meminfo: memFree=28584928/32873648 swapFree=7372/7372
[pid=19651] ppid=19649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19651/stat : 19651 (npSolver-pbo-It) S 19649 19651 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384026744 9367552 274 33554432000 4194304 5064252 140736326929520 140736326928432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19651/statm: 2287 274 233 213 0 72 0
[pid=19652] ppid=19651 vsize=22212 CPUtime=1.45 cores=0,2,4,6
/proc/19652/stat : 19652 (npSolver-pbo) S 19651 19651 18714 0 -1 4202496 6752 13032 0 0 18 2 120 5 20 0 1 0 384026745 22745088 5030 33554432000 4194304 6004724 140735662483008 140735662469288 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19652/statm: 5553 5030 167 442 0 5107 0
[pid=19660] ppid=19652 vsize=199732 CPUtime=1600.52 cores=0,2,4,6
/proc/19660/stat : 19660 (glucosInc) R 19652 19651 18714 0 -1 4202496 34450 0 0 0 160003 49 0 0 20 0 1 0 384026892 204525568 43560 33554432000 4194304 5654031 140737422800384 140737422798472 4232830 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19660/statm: 49933 43560 141 357 0 49573 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 231092
[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 19719
/proc/meminfo: memFree=28599496/32873648 swapFree=7372/7372
[pid=19651] ppid=19649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19651/stat : 19651 (npSolver-pbo-It) S 19649 19651 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384026744 9367552 274 33554432000 4194304 5064252 140736326929520 140736326928432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19651/statm: 2287 274 233 213 0 72 0
[pid=19652] ppid=19651 vsize=22212 CPUtime=1.45 cores=0,2,4,6
/proc/19652/stat : 19652 (npSolver-pbo) S 19651 19651 18714 0 -1 4202496 6752 13032 0 0 18 2 120 5 20 0 1 0 384026745 22745088 5030 33554432000 4194304 6004724 140735662483008 140735662469288 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19652/statm: 5553 5030 167 442 0 5107 0
[pid=19660] ppid=19652 vsize=199732 CPUtime=1660.51 cores=0,2,4,6
/proc/19660/stat : 19660 (glucosInc) R 19652 19651 18714 0 -1 4202496 35077 0 0 0 166001 50 0 0 20 0 1 0 384026892 204525568 43560 33554432000 4194304 5654031 140737422800384 140737422798472 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19660/statm: 49933 43560 141 357 0 49573 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 231092
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 19719
/proc/meminfo: memFree=28597092/32873648 swapFree=7372/7372
[pid=19651] ppid=19649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19651/stat : 19651 (npSolver-pbo-It) S 19649 19651 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384026744 9367552 274 33554432000 4194304 5064252 140736326929520 140736326928432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19651/statm: 2287 274 233 213 0 72 0
[pid=19652] ppid=19651 vsize=22212 CPUtime=1.45 cores=0,2,4,6
/proc/19652/stat : 19652 (npSolver-pbo) S 19651 19651 18714 0 -1 4202496 6752 13032 0 0 18 2 120 5 20 0 1 0 384026745 22745088 5030 33554432000 4194304 6004724 140735662483008 140735662469288 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19652/statm: 5553 5030 167 442 0 5107 0
[pid=19660] ppid=19652 vsize=168912 CPUtime=1720.48 cores=0,2,4,6
/proc/19660/stat : 19660 (glucosInc) R 19652 19651 18714 0 -1 4202496 35665 0 0 0 171997 51 0 0 20 0 1 0 384026892 172965888 41445 33554432000 4194304 5654031 140737422800384 140737422798408 4208694 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19660/statm: 42228 41445 141 357 0 41868 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 200272
[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/181 19719
/proc/meminfo: memFree=28618052/32873648 swapFree=7372/7372
[pid=19651] ppid=19649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19651/stat : 19651 (npSolver-pbo-It) S 19649 19651 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384026744 9367552 274 33554432000 4194304 5064252 140736326929520 140736326928432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19651/statm: 2287 274 233 213 0 72 0
[pid=19652] ppid=19651 vsize=22212 CPUtime=1.45 cores=0,2,4,6
/proc/19652/stat : 19652 (npSolver-pbo) S 19651 19651 18714 0 -1 4202496 6752 13032 0 0 18 2 120 5 20 0 1 0 384026745 22745088 5030 33554432000 4194304 6004724 140735662483008 140735662469288 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19652/statm: 5553 5030 167 442 0 5107 0
[pid=19660] ppid=19652 vsize=168912 CPUtime=1780.48 cores=0,2,4,6
/proc/19660/stat : 19660 (glucosInc) R 19652 19651 18714 0 -1 4202496 36315 0 0 0 177995 53 0 0 20 0 1 0 384026892 172965888 39909 33554432000 4194304 5654031 140737422800384 140737422798408 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19660/statm: 42228 39909 141 357 0 41868 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 200272
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 19719
/proc/meminfo: memFree=28592920/32873648 swapFree=7372/7372
[pid=19651] ppid=19649 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19651/stat : 19651 (npSolver-pbo-It) S 19649 19651 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384026744 9367552 274 33554432000 4194304 5064252 140736326929520 140736326928432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19651/statm: 2287 274 233 213 0 72 0
[pid=19652] ppid=19651 vsize=22212 CPUtime=1.45 cores=0,2,4,6
/proc/19652/stat : 19652 (npSolver-pbo) S 19651 19651 18714 0 -1 4202496 6752 13032 0 0 18 2 120 5 20 0 1 0 384026745 22745088 5030 33554432000 4194304 6004724 140735662483008 140735662469288 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19652/statm: 5553 5030 167 442 0 5107 0
[pid=19660] ppid=19652 vsize=199732 CPUtime=1798.58 cores=0,2,4,6
/proc/19660/stat : 19660 (glucosInc) R 19652 19651 18714 0 -1 4202496 36387 0 0 0 179805 53 0 0 20 0 1 0 384026892 204525568 42024 33554432000 4194304 5654031 140737422800384 140737422798472 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19660/statm: 49933 42024 141 357 0 49573 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 231092
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 19651 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=391788
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=80987
# CPU time returned by wait4() is 1.47277
# while last known CPU time is 1800.03
#
# 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.03
CPU user time (s): 1799.43
CPU system time (s): 0.6
CPU usage (%): 99.9788
Max. virtual memory (cumulated for all children) (KiB): 280412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.39179
system time used= 0.080987
maximum resident set size= 57244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20159
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 18
runsolver used 2.89256 second user time and 6.94094 second system time
The end