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-3748920-1339125885/watcher-3748920-1339125885 -o /tmp/evaluation-result-3748920-1339125885/solver-3748920-1339125885 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748920-1339125885.opb 50599093 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.00 2.00 2.00 3/178 1701
/proc/meminfo: memFree=26706660/32873844 swapFree=7628/7628
[pid=1701] ppid=1699 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (runsolver) D 1699 1701 30697 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 378713448 12095488 51 33554432000 4194304 5436572 140735874137376 140735874133672 4883175 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0
/proc/1701/statm: 2953 51 31 304 0 2645 0
[startup+0.0858201 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1701
/proc/meminfo: memFree=26706660/32873844 swapFree=7628/7628
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-pbo-I.) S 1699 1701 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378713448 9367552 275 33554432000 4194304 5064252 140735700457440 140735700456352 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100232 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1701
/proc/meminfo: memFree=26706660/32873844 swapFree=7628/7628
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-pbo-I.) S 1699 1701 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378713448 9367552 275 33554432000 4194304 5064252 140735700457440 140735700456352 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300236 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1701
/proc/meminfo: memFree=26706660/32873844 swapFree=7628/7628
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-pbo-I.) S 1699 1701 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378713448 9367552 275 33554432000 4194304 5064252 140735700457440 140735700456352 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700265 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1701
/proc/meminfo: memFree=26706660/32873844 swapFree=7628/7628
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-pbo-I.) S 1699 1701 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378713448 9367552 275 33554432000 4194304 5064252 140735700457440 140735700456352 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1707
/proc/meminfo: memFree=26688452/32873844 swapFree=7628/7628
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-pbo-I.) S 1699 1701 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378713448 9367552 275 33554432000 4194304 5064252 140735700457440 140735700456352 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1703] ppid=1701 vsize=5816 CPUtime=0.65 cores=0,2,4,6
/proc/1703/stat : 1703 (npSolver-pbo) S 1701 1701 30697 0 -1 4202496 2941 8243 0 0 6 0 58 1 20 0 1 0 378713449 5955584 894 33554432000 4194304 6004724 140735584821360 140735584807640 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/1703/statm: 1454 894 152 442 0 1008 0
[pid=1707] ppid=1703 vsize=18584 CPUtime=0.81 cores=0,2,4,6
/proc/1707/stat : 1707 (glucosInc) R 1703 1701 30697 0 -1 4202496 3145 0 0 0 80 1 0 0 20 0 1 0 378713516 19030016 3558 33554432000 4194304 5654031 140735381791488 140735381789272 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1707/statm: 4646 3558 131 357 0 4286 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 33548
[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1707
/proc/meminfo: memFree=26688080/32873844 swapFree=7628/7628
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-pbo-I.) S 1699 1701 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378713448 9367552 275 33554432000 4194304 5064252 140735700457440 140735700456352 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1703] ppid=1701 vsize=5816 CPUtime=0.65 cores=0,2,4,6
/proc/1703/stat : 1703 (npSolver-pbo) S 1701 1701 30697 0 -1 4202496 2941 8243 0 0 6 0 58 1 20 0 1 0 378713449 5955584 894 33554432000 4194304 6004724 140735584821360 140735584807640 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/1703/statm: 1454 894 152 442 0 1008 0
[pid=1707] ppid=1703 vsize=18728 CPUtime=2.41 cores=0,2,4,6
/proc/1707/stat : 1707 (glucosInc) R 1703 1701 30697 0 -1 4202496 3180 0 0 0 240 1 0 0 20 0 1 0 378713516 19177472 3593 33554432000 4194304 5654031 140735381791488 140735381789272 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1707/statm: 4682 3593 131 357 0 4322 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 33692
[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 1707
/proc/meminfo: memFree=26687788/32873844 swapFree=7628/7628
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-pbo-I.) S 1699 1701 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378713448 9367552 275 33554432000 4194304 5064252 140735700457440 140735700456352 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1703] ppid=1701 vsize=5816 CPUtime=0.65 cores=0,2,4,6
/proc/1703/stat : 1703 (npSolver-pbo) S 1701 1701 30697 0 -1 4202496 2941 8243 0 0 6 0 58 1 20 0 1 0 378713449 5955584 894 33554432000 4194304 6004724 140735584821360 140735584807640 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/1703/statm: 1454 894 152 442 0 1008 0
[pid=1707] ppid=1703 vsize=17324 CPUtime=5.61 cores=0,2,4,6
/proc/1707/stat : 1707 (glucosInc) R 1703 1701 30697 0 -1 4202496 3836 0 0 0 560 1 0 0 20 0 1 0 378713516 17739776 3496 33554432000 4194304 5654031 140735381791488 140735381789272 4232703 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1707/statm: 4331 3496 132 357 0 3971 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 32288
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1707
/proc/meminfo: memFree=26683288/32873844 swapFree=7628/7628
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-pbo-I.) S 1699 1701 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378713448 9367552 275 33554432000 4194304 5064252 140735700457440 140735700456352 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1703] ppid=1701 vsize=5816 CPUtime=0.65 cores=0,2,4,6
/proc/1703/stat : 1703 (npSolver-pbo) S 1701 1701 30697 0 -1 4202496 2941 8243 0 0 6 0 58 1 20 0 1 0 378713449 5955584 894 33554432000 4194304 6004724 140735584821360 140735584807640 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/1703/statm: 1454 894 152 442 0 1008 0
[pid=1707] ppid=1703 vsize=22164 CPUtime=12.01 cores=0,2,4,6
/proc/1707/stat : 1707 (glucosInc) R 1703 1701 30697 0 -1 4202496 4597 0 0 0 1200 1 0 0 20 0 1 0 378713516 22695936 4665 33554432000 4194304 5654031 140735381791488 140735381789368 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1707/statm: 5541 4665 132 357 0 5181 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 37128
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1707
/proc/meminfo: memFree=26678892/32873844 swapFree=7628/7628
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-pbo-I.) S 1699 1701 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378713448 9367552 275 33554432000 4194304 5064252 140735700457440 140735700456352 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1703] ppid=1701 vsize=5816 CPUtime=0.65 cores=0,2,4,6
/proc/1703/stat : 1703 (npSolver-pbo) S 1701 1701 30697 0 -1 4202496 2941 8243 0 0 6 0 58 1 20 0 1 0 378713449 5955584 894 33554432000 4194304 6004724 140735584821360 140735584807640 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/1703/statm: 1454 894 152 442 0 1008 0
[pid=1707] ppid=1703 vsize=24932 CPUtime=24.8 cores=0,2,4,6
/proc/1707/stat : 1707 (glucosInc) R 1703 1701 30697 0 -1 4202496 5372 0 0 0 2479 1 0 0 20 0 1 0 378713516 25530368 5343 33554432000 4194304 5654031 140735381791488 140735381789288 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1707/statm: 6233 5343 132 357 0 5873 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 39896
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1707
/proc/meminfo: memFree=26674736/32873844 swapFree=7628/7628
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-pbo-I.) S 1699 1701 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378713448 9367552 275 33554432000 4194304 5064252 140735700457440 140735700456352 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1703] ppid=1701 vsize=5816 CPUtime=0.65 cores=0,2,4,6
/proc/1703/stat : 1703 (npSolver-pbo) S 1701 1701 30697 0 -1 4202496 2941 8243 0 0 6 0 58 1 20 0 1 0 378713449 5955584 894 33554432000 4194304 6004724 140735584821360 140735584807640 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/1703/statm: 1454 894 152 442 0 1008 0
[pid=1707] ppid=1703 vsize=29316 CPUtime=50.4 cores=0,2,4,6
/proc/1707/stat : 1707 (glucosInc) R 1703 1701 30697 0 -1 4202496 5998 0 0 0 5039 1 0 0 20 0 1 0 378713516 30019584 6436 33554432000 4194304 5654031 140735381791488 140735381789288 4232710 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1707/statm: 7329 6436 132 357 0 6969 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 44280
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1707
/proc/meminfo: memFree=26668840/32873844 swapFree=7628/7628
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-pbo-I.) S 1699 1701 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378713448 9367552 275 33554432000 4194304 5064252 140735700457440 140735700456352 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1703] ppid=1701 vsize=5816 CPUtime=0.65 cores=0,2,4,6
/proc/1703/stat : 1703 (npSolver-pbo) S 1701 1701 30697 0 -1 4202496 2941 8243 0 0 6 0 58 1 20 0 1 0 378713449 5955584 894 33554432000 4194304 6004724 140735584821360 140735584807640 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/1703/statm: 1454 894 152 442 0 1008 0
[pid=1707] ppid=1703 vsize=32292 CPUtime=101.6 cores=0,2,4,6
/proc/1707/stat : 1707 (glucosInc) R 1703 1701 30697 0 -1 4202496 6322 0 0 0 10158 2 0 0 20 0 1 0 378713516 33067008 7227 33554432000 4194304 5654031 140735381791488 140735381789368 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1707/statm: 8073 7227 132 357 0 7713 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 47256
[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 1708
/proc/meminfo: memFree=26664184/32873844 swapFree=7628/7628
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-pbo-I.) S 1699 1701 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378713448 9367552 275 33554432000 4194304 5064252 140735700457440 140735700456352 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1703] ppid=1701 vsize=5816 CPUtime=0.65 cores=0,2,4,6
/proc/1703/stat : 1703 (npSolver-pbo) S 1701 1701 30697 0 -1 4202496 2941 8243 0 0 6 0 58 1 20 0 1 0 378713449 5955584 894 33554432000 4194304 6004724 140735584821360 140735584807640 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/1703/statm: 1454 894 152 442 0 1008 0
[pid=1707] ppid=1703 vsize=32292 CPUtime=161.59 cores=0,2,4,6
/proc/1707/stat : 1707 (glucosInc) R 1703 1701 30697 0 -1 4202496 6431 0 0 0 16157 2 0 0 20 0 1 0 378713516 33067008 7330 33554432000 4194304 5654031 140735381791488 140735381789368 4208683 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1707/statm: 8073 7330 132 357 0 7713 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 47256
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 1708
/proc/meminfo: memFree=26661764/32873844 swapFree=7628/7628
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-pbo-I.) S 1699 1701 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378713448 9367552 275 33554432000 4194304 5064252 140735700457440 140735700456352 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1703] ppid=1701 vsize=5816 CPUtime=0.65 cores=0,2,4,6
/proc/1703/stat : 1703 (npSolver-pbo) S 1701 1701 30697 0 -1 4202496 2941 8243 0 0 6 0 58 1 20 0 1 0 378713449 5955584 894 33554432000 4194304 6004724 140735584821360 140735584807640 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/1703/statm: 1454 894 152 442 0 1008 0
[pid=1707] ppid=1703 vsize=32292 CPUtime=221.58 cores=0,2,4,6
/proc/1707/stat : 1707 (glucosInc) R 1703 1701 30697 0 -1 4202496 6607 0 0 0 22156 2 0 0 20 0 1 0 378713516 33067008 7389 33554432000 4194304 5654031 140735381791488 140735381789512 4232632 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1707/statm: 8073 7389 132 357 0 7713 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 47256
[startup+282.3 s]
################
# More data... #
################
/proc/1707/stat : 1707 (glucosInc) R 1703 1701 30697 0 -1 4202496 7500 0 0 0 40152 2 0 0 20 0 1 0 378713516 44834816 10262 33554432000 4194304 5654031 140735381791488 140735381789368 4232968 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1707/statm: 10946 10262 132 357 0 10586 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 58748
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1755
/proc/meminfo: memFree=29239232/32873844 swapFree=7628/7628
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-pbo-I.) S 1699 1701 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378713448 9367552 275 33554432000 4194304 5064252 140735700457440 140735700456352 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1703] ppid=1701 vsize=5816 CPUtime=0.65 cores=0,2,4,6
/proc/1703/stat : 1703 (npSolver-pbo) S 1701 1701 30697 0 -1 4202496 2941 8243 0 0 6 0 58 1 20 0 1 0 378713449 5955584 894 33554432000 4194304 6004724 140735584821360 140735584807640 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/1703/statm: 1454 894 152 442 0 1008 0
[pid=1707] ppid=1703 vsize=37276 CPUtime=461.53 cores=0,2,4,6
/proc/1707/stat : 1707 (glucosInc) R 1703 1701 30697 0 -1 4202496 7705 0 0 0 46150 3 0 0 20 0 1 0 378713516 38170624 7554 33554432000 4194304 5654031 140735381791488 140735381789368 4232632 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1707/statm: 9319 7554 132 357 0 8959 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 52240
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1756
/proc/meminfo: memFree=29227060/32873844 swapFree=7628/7628
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-pbo-I.) S 1699 1701 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378713448 9367552 275 33554432000 4194304 5064252 140735700457440 140735700456352 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1703] ppid=1701 vsize=5816 CPUtime=0.65 cores=0,2,4,6
/proc/1703/stat : 1703 (npSolver-pbo) S 1701 1701 30697 0 -1 4202496 2941 8243 0 0 6 0 58 1 20 0 1 0 378713449 5955584 894 33554432000 4194304 6004724 140735584821360 140735584807640 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/1703/statm: 1454 894 152 442 0 1008 0
[pid=1707] ppid=1703 vsize=44844 CPUtime=521.53 cores=0,2,4,6
/proc/1707/stat : 1707 (glucosInc) R 1703 1701 30697 0 -1 4202496 8565 0 0 0 52149 4 0 0 20 0 1 0 378713516 45920256 10306 33554432000 4194304 5654031 140735381791488 140735381789288 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1707/statm: 11211 10306 132 357 0 10851 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 59808
Solver just ended. Dumping a history of the last processes samples
[startup+537.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/182 1802
/proc/meminfo: memFree=29138348/32873844 swapFree=7628/7628
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-pbo-I.) S 1699 1701 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378713448 9367552 275 33554432000 4194304 5064252 140735700457440 140735700456352 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1703] ppid=1701 vsize=5816 CPUtime=0.65 cores=0,2,4,6
/proc/1703/stat : 1703 (npSolver-pbo) S 1701 1701 30697 0 -1 4202496 2941 8243 0 0 6 0 58 1 20 0 1 0 378713449 5955584 894 33554432000 4194304 6004724 140735584821360 140735584807640 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/1703/statm: 1454 894 152 442 0 1008 0
[pid=1707] ppid=1703 vsize=44844 CPUtime=536.73 cores=0,2,4,6
/proc/1707/stat : 1707 (glucosInc) R 1703 1701 30697 0 -1 4202496 8565 0 0 0 53669 4 0 0 20 0 1 0 378713516 45920256 10306 33554432000 4194304 5654031 140735381791488 140735381789288 4216577 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1707/statm: 11211 10306 132 357 0 10851 0
Current children cumulated CPU time (s) 537.38
Current children cumulated vsize (KiB) 59808
[startup+543.9 s]
/proc/loadavg: 2.06 2.02 2.00 3/182 1802
/proc/meminfo: memFree=29052288/32873844 swapFree=7628/7628
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-pbo-I.) S 1699 1701 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378713448 9367552 275 33554432000 4194304 5064252 140735700457440 140735700456352 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1703] ppid=1701 vsize=5816 CPUtime=0.65 cores=0,2,4,6
/proc/1703/stat : 1703 (npSolver-pbo) S 1701 1701 30697 0 -1 4202496 2941 8243 0 0 6 0 58 1 20 0 1 0 378713449 5955584 894 33554432000 4194304 6004724 140735584821360 140735584807640 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/1703/statm: 1454 894 152 442 0 1008 0
[pid=1707] ppid=1703 vsize=44844 CPUtime=543.13 cores=0,2,4,6
/proc/1707/stat : 1707 (glucosInc) R 1703 1701 30697 0 -1 4202496 8565 0 0 0 54309 4 0 0 20 0 1 0 378713516 45920256 10306 33554432000 4194304 5654031 140735381791488 140735381789288 4232386 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1707/statm: 11211 10306 132 357 0 10851 0
Current children cumulated CPU time (s) 543.78
Current children cumulated vsize (KiB) 59808
[startup+547.1 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 1804
/proc/meminfo: memFree=29156868/32873844 swapFree=7628/7628
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-pbo-I.) S 1699 1701 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378713448 9367552 275 33554432000 4194304 5064252 140735700457440 140735700456352 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1703] ppid=1701 vsize=5816 CPUtime=0.65 cores=0,2,4,6
/proc/1703/stat : 1703 (npSolver-pbo) S 1701 1701 30697 0 -1 4202496 2941 8243 0 0 6 0 58 1 20 0 1 0 378713449 5955584 894 33554432000 4194304 6004724 140735584821360 140735584807640 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/1703/statm: 1454 894 152 442 0 1008 0
[pid=1707] ppid=1703 vsize=44844 CPUtime=546.32 cores=0,2,4,6
/proc/1707/stat : 1707 (glucosInc) R 1703 1701 30697 0 -1 4202496 8565 0 0 0 54628 4 0 0 20 0 1 0 378713516 45920256 10306 33554432000 4194304 5654031 140735381791488 140735381789288 4208659 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1707/statm: 11211 10306 132 357 0 10851 0
Current children cumulated CPU time (s) 546.97
Current children cumulated vsize (KiB) 59808
[startup+548.7 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 1804
/proc/meminfo: memFree=29156752/32873844 swapFree=7628/7628
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-pbo-I.) S 1699 1701 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378713448 9367552 275 33554432000 4194304 5064252 140735700457440 140735700456352 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1703] ppid=1701 vsize=5816 CPUtime=0.65 cores=0,2,4,6
/proc/1703/stat : 1703 (npSolver-pbo) S 1701 1701 30697 0 -1 4202496 2941 8243 0 0 6 0 58 1 20 0 1 0 378713449 5955584 894 33554432000 4194304 6004724 140735584821360 140735584807640 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/1703/statm: 1454 894 152 442 0 1008 0
[pid=1707] ppid=1703 vsize=44844 CPUtime=547.92 cores=0,2,4,6
/proc/1707/stat : 1707 (glucosInc) R 1703 1701 30697 0 -1 4202496 8565 0 0 0 54788 4 0 0 20 0 1 0 378713516 45920256 10306 33554432000 4194304 5654031 140735381791488 140735381789288 4216337 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1707/statm: 11211 10306 132 357 0 10851 0
Current children cumulated CPU time (s) 548.57
Current children cumulated vsize (KiB) 59808
[startup+549.5 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 1804
/proc/meminfo: memFree=29156752/32873844 swapFree=7628/7628
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-pbo-I.) S 1699 1701 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378713448 9367552 275 33554432000 4194304 5064252 140735700457440 140735700456352 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1703] ppid=1701 vsize=5816 CPUtime=0.65 cores=0,2,4,6
/proc/1703/stat : 1703 (npSolver-pbo) S 1701 1701 30697 0 -1 4202496 2941 8243 0 0 6 0 58 1 20 0 1 0 378713449 5955584 894 33554432000 4194304 6004724 140735584821360 140735584807640 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/1703/statm: 1454 894 152 442 0 1008 0
[pid=1707] ppid=1703 vsize=44844 CPUtime=548.72 cores=0,2,4,6
/proc/1707/stat : 1707 (glucosInc) R 1703 1701 30697 0 -1 4202496 8565 0 0 0 54868 4 0 0 20 0 1 0 378713516 45920256 10306 33554432000 4194304 5654031 140735381791488 140735381789288 4216337 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1707/statm: 11211 10306 132 357 0 10851 0
Current children cumulated CPU time (s) 549.37
Current children cumulated vsize (KiB) 59808
[startup+550.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 1804
/proc/meminfo: memFree=29156876/32873844 swapFree=7628/7628
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-pbo-I.) S 1699 1701 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378713448 9367552 275 33554432000 4194304 5064252 140735700457440 140735700456352 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1703] ppid=1701 vsize=5816 CPUtime=0.65 cores=0,2,4,6
/proc/1703/stat : 1703 (npSolver-pbo) S 1701 1701 30697 0 -1 4202496 2941 8243 0 0 6 0 58 1 20 0 1 0 378713449 5955584 894 33554432000 4194304 6004724 140735584821360 140735584807640 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/1703/statm: 1454 894 152 442 0 1008 0
[pid=1707] ppid=1703 vsize=44844 CPUtime=549.52 cores=0,2,4,6
/proc/1707/stat : 1707 (glucosInc) R 1703 1701 30697 0 -1 4202496 8565 0 0 0 54948 4 0 0 20 0 1 0 378713516 45920256 10306 33554432000 4194304 5654031 140735381791488 140735381789288 4232794 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1707/statm: 11211 10306 132 357 0 10851 0
Current children cumulated CPU time (s) 550.17
Current children cumulated vsize (KiB) 59808
[startup+550.7 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 1804
/proc/meminfo: memFree=29156876/32873844 swapFree=7628/7628
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-pbo-I.) S 1699 1701 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378713448 9367552 275 33554432000 4194304 5064252 140735700457440 140735700456352 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1703] ppid=1701 vsize=5816 CPUtime=0.65 cores=0,2,4,6
/proc/1703/stat : 1703 (npSolver-pbo) S 1701 1701 30697 0 -1 4202496 2941 8243 0 0 6 0 58 1 20 0 1 0 378713449 5955584 894 33554432000 4194304 6004724 140735584821360 140735584807640 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/1703/statm: 1454 894 152 442 0 1008 0
[pid=1707] ppid=1703 vsize=44844 CPUtime=549.92 cores=0,2,4,6
/proc/1707/stat : 1707 (glucosInc) R 1703 1701 30697 0 -1 4202496 8565 0 0 0 54988 4 0 0 20 0 1 0 378713516 45920256 10306 33554432000 4194304 5654031 140735381791488 140735381789288 4232949 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1707/statm: 11211 10306 132 357 0 10851 0
Current children cumulated CPU time (s) 550.57
Current children cumulated vsize (KiB) 59808
[startup+550.8 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 1804
/proc/meminfo: memFree=29156876/32873844 swapFree=7628/7628
[pid=1701] ppid=1699 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1701/stat : 1701 (npSolver-pbo-I.) S 1699 1701 30697 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378713448 9367552 275 33554432000 4194304 5064252 140735700457440 140735700456352 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1701/statm: 2287 275 233 213 0 72 0
[pid=1703] ppid=1701 vsize=5816 CPUtime=0.65 cores=0,2,4,6
/proc/1703/stat : 1703 (npSolver-pbo) S 1701 1701 30697 0 -1 4202496 2941 8243 0 0 6 0 58 1 20 0 1 0 378713449 5955584 894 33554432000 4194304 6004724 140735584821360 140735584807640 5190736 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/1703/statm: 1454 894 152 442 0 1008 0
[pid=1707] ppid=1703 vsize=44844 CPUtime=550.02 cores=0,2,4,6
/proc/1707/stat : 1707 (glucosInc) R 1703 1701 30697 0 -1 4202496 8565 0 0 0 54998 4 0 0 20 0 1 0 378713516 45920256 10306 33554432000 4194304 5654031 140735381791488 140735381789288 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1707/statm: 11211 10306 132 357 0 10851 0
Current children cumulated CPU time (s) 550.67
Current children cumulated vsize (KiB) 59808
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1701 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=647901
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=23996
# CPU time returned by wait4() is 0.671897
# while last known CPU time is 550.67
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 550.84
CPU time (s): 550.67
CPU user time (s): 550.62
CPU system time (s): 0.05
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 70240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.647901
system time used= 0.023996
maximum resident set size= 31624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11572
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 11
runsolver used 0.808877 second user time and 2.20066 second system time
The end