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-3704946-1338113971/watcher-3704946-1338113971 -o /tmp/evaluation-result-3704946-1338113971/solver-3704946-1338113971 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704946-1338113971.opb
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.07 2.04 2.00 3/177 14396
/proc/meminfo: memFree=27295828/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=4664 CPUtime=0 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) R 14394 14396 12137 0 -1 4202496 563 0 0 0 0 0 0 0 20 0 1 0 277523949 4775936 515 33554432000 4194304 5963574 140734227895616 140736122240600 4394942 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 1166 519 163 432 0 634 0
[startup+0.0891891 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 14396
/proc/meminfo: memFree=27295828/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=86440 CPUtime=0.08 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 2521 0 0 0 8 0 0 0 20 0 2 0 277523949 88514560 2239 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 21610 2239 187 432 0 21175 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 86440
[startup+0.100177 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 14396
/proc/meminfo: memFree=27295828/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=86440 CPUtime=0.09 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 2539 0 0 0 9 0 0 0 20 0 2 0 277523949 88514560 2257 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 21610 2257 187 432 0 21175 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 86440
[startup+0.300112 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 14396
/proc/meminfo: memFree=27295828/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=86440 CPUtime=0.29 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 2805 0 0 0 29 0 0 0 20 0 2 0 277523949 88514560 2523 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 21610 2523 187 432 0 21175 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86440
[startup+0.700111 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 14396
/proc/meminfo: memFree=27295828/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=86440 CPUtime=0.69 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 3322 0 0 0 69 0 0 0 20 0 2 0 277523949 88514560 3040 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 21610 3040 187 432 0 21175 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86440
[startup+1.5002 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 14398
/proc/meminfo: memFree=27282420/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=86440 CPUtime=1.48 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 4283 0 0 0 148 0 0 0 20 0 2 0 277523949 88514560 4001 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 21610 4001 187 432 0 21175 0
[pid=14396/tid=14398] ppid=14394 vsize=86440 CPUtime=1.44 cores=0,2,4,6
/proc/14396/task/14398/stat : 14398 (wbo1.7) R 14394 14396 12137 0 -1 4202560 2821 0 0 0 144 0 0 0 20 0 2 0 277523952 88514560 4001 33554432000 4194304 5963574 140734227895616 140295364569080 4399451 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 86440
[startup+3.1002 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 14398
/proc/meminfo: memFree=27276204/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=86440 CPUtime=3.09 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 5111 0 0 0 308 1 0 0 20 0 2 0 277523949 88514560 4829 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 21610 4829 187 432 0 21175 0
[pid=14396/tid=14398] ppid=14394 vsize=86440 CPUtime=3.04 cores=0,2,4,6
/proc/14396/task/14398/stat : 14398 (wbo1.7) R 14394 14396 12137 0 -1 4202560 3649 0 0 0 304 0 0 0 20 0 2 0 277523952 88514560 4829 33554432000 4194304 5963574 140734227895616 140295364568888 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86440
[startup+6.30021 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 14398
/proc/meminfo: memFree=27268020/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=86440 CPUtime=6.29 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 6832 0 0 0 627 2 0 0 20 0 2 0 277523949 88514560 6550 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 21610 6550 187 432 0 21175 0
[pid=14396/tid=14398] ppid=14394 vsize=86440 CPUtime=6.23 cores=0,2,4,6
/proc/14396/task/14398/stat : 14398 (wbo1.7) R 14394 14396 12137 0 -1 4202560 5370 0 0 0 622 1 0 0 20 0 2 0 277523952 88514560 6550 33554432000 4194304 5963574 140734227895616 140295364569080 4381822 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 86440
[startup+12.7002 s]
/proc/loadavg: 2.05 2.04 2.00 3/179 14398
/proc/meminfo: memFree=27249092/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=86440 CPUtime=12.68 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 9519 0 0 0 1266 2 0 0 20 0 2 0 277523949 88514560 9237 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 21610 9237 187 432 0 21175 0
[pid=14396/tid=14398] ppid=14394 vsize=86440 CPUtime=12.61 cores=0,2,4,6
/proc/14396/task/14398/stat : 14398 (wbo1.7) R 14394 14396 12137 0 -1 4202560 8057 0 0 0 1259 2 0 0 20 0 2 0 277523952 88514560 9237 33554432000 4194304 5963574 140734227895616 140295364569080 4221984 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 86440
[startup+25.5003 s]
/proc/loadavg: 2.04 2.04 2.00 3/179 14398
/proc/meminfo: memFree=27220720/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=86764 CPUtime=25.48 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 13240 0 0 0 2545 3 0 0 20 0 2 0 277523949 88846336 12958 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 21691 12958 187 432 0 21256 0
[pid=14396/tid=14398] ppid=14394 vsize=86764 CPUtime=25.38 cores=0,2,4,6
/proc/14396/task/14398/stat : 14398 (wbo1.7) R 14394 14396 12137 0 -1 4202560 11778 0 0 0 2535 3 0 0 20 0 2 0 277523952 88846336 12958 33554432000 4194304 5963574 140734227895616 140295364569080 4399645 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86764
[startup+51.1003 s]
/proc/loadavg: 2.02 2.03 2.00 3/180 14401
/proc/meminfo: memFree=27198112/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=152460 CPUtime=51.06 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 18353 0 0 0 5101 5 0 0 20 0 2 0 277523949 156119040 18087 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 38115 18087 187 432 0 37680 0
[pid=14396/tid=14398] ppid=14394 vsize=152460 CPUtime=50.9 cores=0,2,4,6
/proc/14396/task/14398/stat : 14398 (wbo1.7) R 14394 14396 12137 0 -1 4202560 16891 0 0 0 5085 5 0 0 20 0 2 0 277523952 156119040 18087 33554432000 4194304 5963574 140734227895616 140295364568888 4399456 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 152460
[startup+102.306 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 14401
/proc/meminfo: memFree=27151868/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=152460 CPUtime=102.25 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 26425 0 0 0 10218 7 0 0 20 0 2 0 277523949 156119040 27156 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 38115 27156 187 432 0 37680 0
[pid=14396/tid=14398] ppid=14394 vsize=152460 CPUtime=101.96 cores=0,2,4,6
/proc/14396/task/14398/stat : 14398 (wbo1.7) R 14394 14396 12137 0 -1 4202560 24963 0 0 0 10188 8 0 0 20 0 2 0 277523952 156119040 27156 33554432000 4194304 5963574 140734227895616 140295364569080 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 152460
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 14401
/proc/meminfo: memFree=27123396/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=152700 CPUtime=162.23 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 30537 0 0 0 16214 9 0 0 20 0 2 0 277523949 156364800 31268 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 38175 31268 187 432 0 37740 0
[pid=14396/tid=14398] ppid=14394 vsize=152700 CPUtime=161.8 cores=0,2,4,6
/proc/14396/task/14398/stat : 14398 (wbo1.7) R 14394 14396 12137 0 -1 4202560 29075 0 0 0 16169 11 0 0 20 0 2 0 277523952 156364800 31268 33554432000 4194304 5963574 140734227895616 140295364569080 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 152700
[startup+222.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 14402
/proc/meminfo: memFree=27089624/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=152700 CPUtime=222.23 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 32465 0 0 0 22212 11 0 0 20 0 2 0 277523949 156364800 33196 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 38175 33196 187 432 0 37740 0
[pid=14396/tid=14398] ppid=14394 vsize=152700 CPUtime=221.64 cores=0,2,4,6
/proc/14396/task/14398/stat : 14398 (wbo1.7) R 14394 14396 12137 0 -1 4202560 31003 0 0 0 22150 14 0 0 20 0 2 0 277523952 156364800 33196 33554432000 4194304 5963574 140734227895616 140295364569080 4399614 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 152700
[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 14402
/proc/meminfo: memFree=27044240/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=218236 CPUtime=282.22 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 38143 0 0 0 28208 14 0 0 20 0 2 0 277523949 223473664 38874 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 54559 38874 187 432 0 54124 0
[pid=14396/tid=14398] ppid=14394 vsize=218236 CPUtime=281.49 cores=0,2,4,6
/proc/14396/task/14398/stat : 14398 (wbo1.7) R 14394 14396 12137 0 -1 4202560 36681 0 0 0 28132 17 0 0 20 0 2 0 277523952 223473664 38874 33554432000 4194304 5963574 140734227895616 140295364569080 4381226 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 218236
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 14402
/proc/meminfo: memFree=27010320/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=218236 CPUtime=342.21 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 38195 0 0 0 34207 14 0 0 20 0 2 0 277523949 223473664 38959 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 54559 38959 187 432 0 54124 0
[pid=14396/tid=14398] ppid=14394 vsize=218236 CPUtime=341.33 cores=0,2,4,6
/proc/14396/task/14398/stat : 14398 (wbo1.7) R 14394 14396 12137 0 -1 4202560 36733 0 0 0 34115 18 0 0 20 0 2 0 277523952 223473664 38959 33554432000 4194304 5963574 140734227895616 140295364568888 4399603 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 218236
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 14402
/proc/meminfo: memFree=26999272/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=218236 CPUtime=402.18 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 38526 0 0 0 40204 14 0 0 20 0 2 0 277523949 223473664 39543 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 54559 39543 187 432 0 54124 0
[pid=14396/tid=14398] ppid=14394 vsize=218236 CPUtime=401.15 cores=0,2,4,6
/proc/14396/task/14398/stat : 14398 (wbo1.7) R 14394 14396 12137 0 -1 4202560 37064 0 0 0 40096 19 0 0 20 0 2 0 277523952 223473664 39543 33554432000 4194304 5963574 140734227895616 140295364568888 4399592 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 218236
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 14402
/proc/meminfo: memFree=26913612/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=218236 CPUtime=462.17 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14451
/proc/meminfo: memFree=27016552/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=417796 CPUtime=1421.98 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 88987 0 0 0 142158 40 0 0 20 0 2 0 277523949 427823104 90222 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 104449 90222 187 432 0 104014 0
[pid=14396/tid=14398] ppid=14394 vsize=417796 CPUtime=1418.5 cores=0,2,4,6
/proc/14396/task/14398/stat : 14398 (wbo1.7) R 14394 14396 12137 0 -1 4202560 87525 0 0 0 141789 61 0 0 20 0 2 0 277523952 427823104 90222 33554432000 4194304 5963574 140734227895616 140295364568888 4399500 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 417796
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14491
/proc/meminfo: memFree=27198736/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=417796 CPUtime=1481.96 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 89003 0 0 0 148156 40 0 0 20 0 2 0 277523949 427823104 90288 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 104449 90288 187 432 0 104014 0
[pid=14396/tid=14398] ppid=14394 vsize=417796 CPUtime=1478.32 cores=0,2,4,6
/proc/14396/task/14398/stat : 14398 (wbo1.7) R 14394 14396 12137 0 -1 4202560 87541 0 0 0 147770 62 0 0 20 0 2 0 277523952 427823104 90288 33554432000 4194304 5963574 140734227895616 140295364568888 4399623 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 417796
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14491
/proc/meminfo: memFree=27153288/32873648 swapFree=6852/6852
[pid=14396] ppid=14394 vsize=417796 CPUtime=1541.95 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 89004 0 0 0 154155 40 0 0 20 0 2 0 277523949 427823104 90292 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 104449 90292 187 432 0 104014 0
[pid=14396/tid=14398] ppid=14394 vsize=417796 CPUtime=1538.17 cores=0,2,4,6
/proc/14396/task/14398/stat : 14398 (wbo1.7) R 14394 14396 12137 0 -1 4202560 87542 0 0 0 153754 63 0 0 20 0 2 0 277523952 427823104 90292 33554432000 4194304 5963574 140734227895616 140295364568888 4399623 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 417796
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14491
/proc/meminfo: memFree=27136424/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=417796 CPUtime=1601.94 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 89004 0 0 0 160154 40 0 0 20 0 2 0 277523949 427823104 90292 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 104449 90292 187 432 0 104014 0
[pid=14396/tid=14398] ppid=14394 vsize=417796 CPUtime=1598.02 cores=0,2,4,6
/proc/14396/task/14398/stat : 14398 (wbo1.7) R 14394 14396 12137 0 -1 4202560 87542 0 0 0 159738 64 0 0 20 0 2 0 277523952 427823104 90292 33554432000 4194304 5963574 140734227895616 140295364568888 4399623 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 417796
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14491
/proc/meminfo: memFree=27119488/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=417796 CPUtime=1661.93 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 89004 0 0 0 166153 40 0 0 20 0 2 0 277523949 427823104 90292 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 104449 90292 187 432 0 104014 0
[pid=14396/tid=14398] ppid=14394 vsize=417796 CPUtime=1657.86 cores=0,2,4,6
/proc/14396/task/14398/stat : 14398 (wbo1.7) R 14394 14396 12137 0 -1 4202560 87542 0 0 0 165721 65 0 0 20 0 2 0 277523952 427823104 90292 33554432000 4194304 5963574 140734227895616 140295364568888 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 417796
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14491
/proc/meminfo: memFree=27080736/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=418120 CPUtime=1721.92 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 92501 0 0 0 172149 43 0 0 20 0 2 0 277523949 428154880 93789 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 104530 93789 187 432 0 104095 0
[pid=14396/tid=14398] ppid=14394 vsize=418120 CPUtime=1717.71 cores=0,2,4,6
/proc/14396/task/14398/stat : 14398 (wbo1.7) R 14394 14396 12137 0 -1 4202560 91039 0 0 0 171703 68 0 0 20 0 2 0 277523952 428154880 93789 33554432000 4194304 5963574 140734227895616 140295364569080 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 418120
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14492
/proc/meminfo: memFree=27026716/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=418120 CPUtime=1781.91 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 93640 0 0 0 178147 44 0 0 20 0 2 0 277523949 428154880 95011 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 104530 95011 187 432 0 104095 0
[pid=14396/tid=14398] ppid=14394 vsize=418120 CPUtime=1777.55 cores=0,2,4,6
/proc/14396/task/14398/stat : 14398 (wbo1.7) R 14394 14396 12137 0 -1 4202560 92178 0 0 0 177685 70 0 0 20 0 2 0 277523952 428154880 95011 33554432000 4194304 5963574 140734227895616 140295364569080 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 418120
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14492
/proc/meminfo: memFree=27019028/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=418120 CPUtime=1791.51 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 93705 0 0 0 179107 44 0 0 20 0 2 0 277523949 428154880 95076 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 104530 95076 187 432 0 104095 0
[pid=14396/tid=14398] ppid=14394 vsize=418120 CPUtime=1787.13 cores=0,2,4,6
/proc/14396/task/14398/stat : 14398 (wbo1.7) R 14394 14396 12137 0 -1 4202560 92243 0 0 0 178643 70 0 0 20 0 2 0 277523952 428154880 95076 33554432000 4194304 5963574 140734227895616 140295364568888 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (KiB) 418120
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14492
/proc/meminfo: memFree=27015804/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=418120 CPUtime=1794.71 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 93706 0 0 0 179427 44 0 0 20 0 2 0 277523949 428154880 95077 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 104530 95077 187 432 0 104095 0
[pid=14396/tid=14398] ppid=14394 vsize=418120 CPUtime=1790.32 cores=0,2,4,6
/proc/14396/task/14398/stat : 14398 (wbo1.7) R 14394 14396 12137 0 -1 4202560 92244 0 0 0 178962 70 0 0 20 0 2 0 277523952 428154880 95077 33554432000 4194304 5963574 140734227895616 140295364568888 4381238 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1794.71
Current children cumulated vsize (KiB) 418120
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14492
/proc/meminfo: memFree=27013944/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=418120 CPUtime=1797.9 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 93706 0 0 0 179746 44 0 0 20 0 2 0 277523949 428154880 95077 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 104530 95077 187 432 0 104095 0
[pid=14396/tid=14398] ppid=14394 vsize=418120 CPUtime=1793.51 cores=0,2,4,6
/proc/14396/task/14398/stat : 14398 (wbo1.7) R 14394 14396 12137 0 -1 4202560 92244 0 0 0 179281 70 0 0 20 0 2 0 277523952 428154880 95077 33554432000 4194304 5963574 140734227895616 140295364568888 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 418120
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14492
/proc/meminfo: memFree=27012828/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=418120 CPUtime=1798.7 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 93706 0 0 0 179826 44 0 0 20 0 2 0 277523949 428154880 95077 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 104530 95077 187 432 0 104095 0
[pid=14396/tid=14398] ppid=14394 vsize=418120 CPUtime=1794.31 cores=0,2,4,6
/proc/14396/task/14398/stat : 14398 (wbo1.7) R 14394 14396 12137 0 -1 4202560 92244 0 0 0 179361 70 0 0 20 0 2 0 277523952 428154880 95077 33554432000 4194304 5963574 140734227895616 140295364568888 4399623 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.7
Current children cumulated vsize (KiB) 418120
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14492
/proc/meminfo: memFree=27011960/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=418120 CPUtime=1799.11 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 93706 0 0 0 179867 44 0 0 20 0 2 0 277523949 428154880 95077 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 104530 95077 187 432 0 104095 0
[pid=14396/tid=14398] ppid=14394 vsize=418120 CPUtime=1794.71 cores=0,2,4,6
/proc/14396/task/14398/stat : 14398 (wbo1.7) R 14394 14396 12137 0 -1 4202560 92244 0 0 0 179401 70 0 0 20 0 2 0 277523952 428154880 95077 33554432000 4194304 5963574 140734227895616 140295364568888 4399614 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.11
Current children cumulated vsize (KiB) 418120
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14492
/proc/meminfo: memFree=27011960/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=418120 CPUtime=1799.5 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 93706 0 0 0 179906 44 0 0 20 0 2 0 277523949 428154880 95077 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 104530 95077 187 432 0 104095 0
[pid=14396/tid=14398] ppid=14394 vsize=418120 CPUtime=1795.11 cores=0,2,4,6
/proc/14396/task/14398/stat : 14398 (wbo1.7) R 14394 14396 12137 0 -1 4202560 92244 0 0 0 179441 70 0 0 20 0 2 0 277523952 428154880 95077 33554432000 4194304 5963574 140734227895616 140295364568888 4381238 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (KiB) 418120
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14492
/proc/meminfo: memFree=27011960/32873648 swapFree=6848/6848
[pid=14396] ppid=14394 vsize=418120 CPUtime=1799.6 cores=0,2,4,6
/proc/14396/stat : 14396 (wbo1.7) S 14394 14396 12137 0 -1 4202496 93707 0 0 0 179916 44 0 0 20 0 2 0 277523949 428154880 95078 33554432000 4194304 5963574 140734227895616 140734227895136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14396/statm: 104530 95078 187 432 0 104095 0
[pid=14396/tid=14398] ppid=14394 vsize=418120 CPUtime=1795.21 cores=0,2,4,6
/proc/14396/task/14398/stat : 14398 (wbo1.7) R 14394 14396 12137 0 -1 4202560 92245 0 0 0 179451 70 0 0 20 0 2 0 277523952 428154880 95078 33554432000 4194304 5963574 140734227895616 140295364568888 4221984 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.6
Current children cumulated vsize (KiB) 418120
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14396 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=545187
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=714891
# CPU time returned by wait4() is 1795.26
# while last known CPU time is 1799.6
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800
CPU time (s): 1799.6
CPU user time (s): 1799.16
CPU system time (s): 0.44
CPU usage (%): 99.9776
Max. virtual memory (cumulated for all children) (KiB): 418120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.55
system time used= 0.714891
maximum resident set size= 380316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93708
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= 176
involuntary context switches= 2623
runsolver used 2.76258 second user time and 7.05893 second system time
The end