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-3705044-1338093936/watcher-3705044-1338093936 -o /tmp/evaluation-result-3705044-1338093936/solver-3705044-1338093936 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705044-1338093936.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.03 2.00 3/177 25364
/proc/meminfo: memFree=30571052/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=83836 CPUtime=0 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 779 0 0 0 0 0 0 0 20 0 2 0 275519156 85848064 719 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 20959 728 172 432 0 20524 0
[pid=25364/tid=25365] ppid=25362 vsize=83836 CPUtime=0 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 2 0 275519157 85848064 740 33554432000 4194304 5963574 140734688179216 140735582344408 5135642 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[startup+0.0869781 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 25364
/proc/meminfo: memFree=30571052/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=83836 CPUtime=0.08 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 1079 0 0 0 8 0 0 0 20 0 2 0 275519156 85848064 1019 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 20959 1019 188 432 0 20524 0
[pid=25364/tid=25365] ppid=25362 vsize=83836 CPUtime=0.07 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 302 0 0 0 7 0 0 0 20 0 2 0 275519157 85848064 1019 33554432000 4194304 5963574 140734688179216 140735582344408 5236023 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 83836
[startup+0.100303 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 25364
/proc/meminfo: memFree=30571052/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=83836 CPUtime=0.09 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 1104 0 0 0 9 0 0 0 20 0 2 0 275519156 85848064 1044 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 20959 1044 188 432 0 20524 0
[pid=25364/tid=25365] ppid=25362 vsize=83836 CPUtime=0.08 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 327 0 0 0 8 0 0 0 20 0 2 0 275519157 85848064 1044 33554432000 4194304 5963574 140734688179216 140735582344408 5236023 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83836
[startup+0.300266 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 25364
/proc/meminfo: memFree=30571052/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=83836 CPUtime=0.29 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 1571 0 0 0 29 0 0 0 20 0 2 0 275519156 85848064 1489 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 20959 1489 191 432 0 20524 0
[pid=25364/tid=25365] ppid=25362 vsize=83836 CPUtime=0.28 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 794 0 0 0 28 0 0 0 20 0 2 0 275519157 85848064 1489 33554432000 4194304 5963574 140734688179216 140604347071000 5142749 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83836
[startup+0.700268 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 25364
/proc/meminfo: memFree=30571052/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=83836 CPUtime=0.69 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 1752 0 0 0 69 0 0 0 20 0 2 0 275519156 85848064 1664 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 20959 1664 192 432 0 20524 0
[pid=25364/tid=25365] ppid=25362 vsize=83836 CPUtime=0.68 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 975 0 0 0 68 0 0 0 20 0 2 0 275519157 85848064 1664 33554432000 4194304 5963574 140734688179216 140604347071000 4409238 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83836
[startup+1.50026 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 25366
/proc/meminfo: memFree=30564844/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=83836 CPUtime=1.49 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 2058 0 0 0 149 0 0 0 20 0 2 0 275519156 85848064 1968 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 20959 1968 192 432 0 20524 0
[pid=25364/tid=25365] ppid=25362 vsize=83836 CPUtime=1.47 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 1281 0 0 0 147 0 0 0 20 0 2 0 275519157 85848064 1968 33554432000 4194304 5963574 140734688179216 140604347070312 4399633 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83836
[startup+3.10027 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 25366
/proc/meminfo: memFree=30560996/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=83836 CPUtime=3.09 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 3433 0 0 0 308 1 0 0 20 0 2 0 275519156 85848064 3343 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 20959 3343 192 432 0 20524 0
[pid=25364/tid=25365] ppid=25362 vsize=83836 CPUtime=3.07 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 2656 0 0 0 307 0 0 0 20 0 2 0 275519157 85848064 3343 33554432000 4194304 5963574 140734688179216 140604347070264 4400074 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83836
[startup+6.30027 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 25366
/proc/meminfo: memFree=30554680/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=83836 CPUtime=6.29 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 4209 0 0 0 628 1 0 0 20 0 2 0 275519156 85848064 4091 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 20959 4091 192 432 0 20524 0
[pid=25364/tid=25365] ppid=25362 vsize=83836 CPUtime=6.26 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 3432 0 0 0 625 1 0 0 20 0 2 0 275519157 85848064 4091 33554432000 4194304 5963574 140734688179216 140604347071416 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83836
[startup+12.7003 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 25405
/proc/meminfo: memFree=31294732/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=84052 CPUtime=12.69 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 5684 0 0 0 1268 1 0 0 20 0 2 0 275519156 86069248 5757 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 21013 5757 192 432 0 20578 0
[pid=25364/tid=25365] ppid=25362 vsize=84052 CPUtime=12.64 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 4907 0 0 0 1263 1 0 0 20 0 2 0 275519157 86069248 5757 33554432000 4194304 5963574 140734688179216 140604347070264 4400361 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84052
[startup+25.5003 s]
/proc/loadavg: 2.13 2.05 2.01 3/179 25405
/proc/meminfo: memFree=31275376/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=83836 CPUtime=25.49 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 8203 0 0 0 2547 2 0 0 20 0 2 0 275519156 85848064 8227 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 20959 8227 192 432 0 20524 0
[pid=25364/tid=25365] ppid=25362 vsize=83836 CPUtime=25.41 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 7426 0 0 0 2540 1 0 0 20 0 2 0 275519157 85848064 8227 33554432000 4194304 5963574 140734688179216 140604347071000 4399651 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83836
[startup+51.1003 s]
/proc/loadavg: 2.08 2.04 2.01 3/178 25405
/proc/meminfo: memFree=31254472/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=83836 CPUtime=51.08 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 10562 0 0 0 5106 2 0 0 20 0 2 0 275519156 85848064 10586 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 20959 10586 192 432 0 20524 0
[pid=25364/tid=25365] ppid=25362 vsize=83836 CPUtime=50.94 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 9785 0 0 0 5092 2 0 0 20 0 2 0 275519157 85848064 10586 33554432000 4194304 5963574 140734688179216 140604347070264 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 83836
[startup+102.306 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 25406
/proc/meminfo: memFree=31201720/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=84644 CPUtime=102.25 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 16162 0 0 0 10221 4 0 0 20 0 2 0 275519156 86675456 16388 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 21161 16388 192 432 0 20726 0
[pid=25364/tid=25365] ppid=25362 vsize=84644 CPUtime=101.98 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 15385 0 0 0 10193 5 0 0 20 0 2 0 275519157 86675456 16388 33554432000 4194304 5963574 140734688179216 140604347070456 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 84644
[startup+162.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/179 25406
/proc/meminfo: memFree=31151264/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=150744 CPUtime=162.23 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 23095 0 0 0 16216 7 0 0 20 0 2 0 275519156 154361856 23321 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 37686 23321 192 432 0 37251 0
[pid=25364/tid=25365] ppid=25362 vsize=150744 CPUtime=161.82 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 22318 0 0 0 16173 9 0 0 20 0 2 0 275519157 154361856 23321 33554432000 4194304 5963574 140734688179216 140604347070504 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 150744
[startup+222.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/179 25406
/proc/meminfo: memFree=31110868/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=151716 CPUtime=222.2 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 27870 0 0 0 22211 9 0 0 20 0 2 0 275519156 155357184 28340 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 37929 28340 192 432 0 37494 0
[pid=25364/tid=25365] ppid=25362 vsize=151716 CPUtime=221.64 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 27093 0 0 0 22152 12 0 0 20 0 2 0 275519157 155357184 28340 33554432000 4194304 5963574 140734688179216 140604347070456 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 151716
[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/180 25409
/proc/meminfo: memFree=31064348/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=214908 CPUtime=282.19 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 34582 0 0 0 28208 11 0 0 20 0 2 0 275519156 220065792 34111 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 53727 34111 192 432 0 53292 0
[pid=25364/tid=25365] ppid=25362 vsize=214908 CPUtime=281.48 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 33805 0 0 0 28133 15 0 0 20 0 2 0 275519157 220065792 34111 33554432000 4194304 5963574 140734688179216 140604347071416 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 214908
[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 25409
/proc/meminfo: memFree=31050040/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=214908 CPUtime=342.18 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 34606 0 0 0 34207 11 0 0 20 0 2 0 275519156 220065792 34135 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 53727 34135 192 432 0 53292 0
[pid=25364/tid=25365] ppid=25362 vsize=214908 CPUtime=341.32 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 33829 0 0 0 34116 16 0 0 20 0 2 0 275519157 220065792 34135 33554432000 4194304 5963574 140734688179216 140604347071416 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 214908
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 25410
/proc/meminfo: memFree=31030792/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=214908 CPUtime=402.16 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 34617 0 0 0 40205 11 0 0 20 0 2 0 275519156 220065792 34252 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25439
/proc/meminfo: memFree=30623840/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=478676 CPUtime=1421.9 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 102034 0 0 0 142146 44 0 0 20 0 2 0 275519156 490164224 103261 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 119669 103261 192 432 0 119234 0
[pid=25364/tid=25365] ppid=25362 vsize=478676 CPUtime=1418.37 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 101257 0 0 0 141772 65 0 0 20 0 2 0 275519157 490164224 103261 33554432000 4194304 5963574 140734688179216 140604347070264 4399542 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 478676
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25442
/proc/meminfo: memFree=30575612/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=478676 CPUtime=1481.88 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 106626 0 0 0 148143 45 0 0 20 0 2 0 275519156 490164224 107843 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 119669 107843 192 432 0 119234 0
[pid=25364/tid=25365] ppid=25362 vsize=478676 CPUtime=1478.2 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 105849 0 0 0 147753 67 0 0 20 0 2 0 275519157 490164224 107843 33554432000 4194304 5963574 140734688179216 140604347070504 4399625 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 478676
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25442
/proc/meminfo: memFree=30524148/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=544212 CPUtime=1541.88 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 115992 0 0 0 154136 52 0 0 20 0 2 0 275519156 557273088 117205 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 136053 117205 192 432 0 135618 0
[pid=25364/tid=25365] ppid=25362 vsize=544212 CPUtime=1538.05 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 115215 0 0 0 153730 75 0 0 20 0 2 0 275519157 557273088 117205 33554432000 4194304 5963574 140734688179216 140604347070456 4378528 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 544212
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 25443
/proc/meminfo: memFree=30522288/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=544212 CPUtime=1601.87 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 116456 0 0 0 160135 52 0 0 20 0 2 0 275519156 557273088 117669 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 136053 117669 192 432 0 135618 0
[pid=25364/tid=25365] ppid=25362 vsize=544212 CPUtime=1597.89 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 115679 0 0 0 159713 76 0 0 20 0 2 0 275519157 557273088 117669 33554432000 4194304 5963574 140734688179216 140604347070264 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 544212
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 25443
/proc/meminfo: memFree=30521296/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=544212 CPUtime=1661.86 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 116659 0 0 0 166134 52 0 0 20 0 2 0 275519156 557273088 117870 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 136053 117870 192 432 0 135618 0
[pid=25364/tid=25365] ppid=25362 vsize=544212 CPUtime=1657.73 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 115882 0 0 0 165696 77 0 0 20 0 2 0 275519157 557273088 117870 33554432000 4194304 5963574 140734688179216 140604347070328 4399627 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 544212
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25443
/proc/meminfo: memFree=30479972/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=544212 CPUtime=1721.83 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 117069 0 0 0 172131 52 0 0 20 0 2 0 275519156 557273088 118602 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 136053 118602 192 432 0 135618 0
[pid=25364/tid=25365] ppid=25362 vsize=544212 CPUtime=1717.55 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 116292 0 0 0 171677 78 0 0 20 0 2 0 275519157 557273088 118602 33554432000 4194304 5963574 140734688179216 140604347070264 4399625 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 544212
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25443
/proc/meminfo: memFree=30450568/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=544212 CPUtime=1781.79 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 120900 0 0 0 178125 54 0 0 20 0 2 0 275519156 557273088 123286 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 136053 123286 192 432 0 135618 0
[pid=25364/tid=25365] ppid=25362 vsize=544212 CPUtime=1777.36 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 120123 0 0 0 177655 81 0 0 20 0 2 0 275519157 557273088 123286 33554432000 4194304 5963574 140734688179216 140604347070264 4399958 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 544212
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 25443
/proc/meminfo: memFree=30450196/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=544212 CPUtime=1791.39 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 121005 0 0 0 179085 54 0 0 20 0 2 0 275519156 557273088 123390 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 136053 123390 192 432 0 135618 0
[pid=25364/tid=25365] ppid=25362 vsize=544212 CPUtime=1786.94 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 120228 0 0 0 178613 81 0 0 20 0 2 0 275519157 557273088 123390 33554432000 4194304 5963574 140734688179216 140604347070328 4399639 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (KiB) 544212
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25443
/proc/meminfo: memFree=30450072/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=544212 CPUtime=1794.59 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 121060 0 0 0 179405 54 0 0 20 0 2 0 275519156 557273088 123445 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 136053 123445 192 432 0 135618 0
[pid=25364/tid=25365] ppid=25362 vsize=544212 CPUtime=1790.14 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 120283 0 0 0 178933 81 0 0 20 0 2 0 275519157 557273088 123445 33554432000 4194304 5963574 140734688179216 140604347070328 4399627 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (KiB) 544212
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25443
/proc/meminfo: memFree=30449576/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=544212 CPUtime=1797.79 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 121138 0 0 0 179725 54 0 0 20 0 2 0 275519156 557273088 123523 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 136053 123523 192 432 0 135618 0
[pid=25364/tid=25365] ppid=25362 vsize=544212 CPUtime=1793.32 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 120361 0 0 0 179251 81 0 0 20 0 2 0 275519157 557273088 123523 33554432000 4194304 5963574 140734688179216 140604347070264 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 544212
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25443
/proc/meminfo: memFree=30449576/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=544212 CPUtime=1798.59 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 121144 0 0 0 179805 54 0 0 20 0 2 0 275519156 557273088 123528 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 136053 123528 192 432 0 135618 0
[pid=25364/tid=25365] ppid=25362 vsize=544212 CPUtime=1794.12 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 120367 0 0 0 179331 81 0 0 20 0 2 0 275519157 557273088 123528 33554432000 4194304 5963574 140734688179216 140604347070264 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.59
Current children cumulated vsize (KiB) 544212
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25443
/proc/meminfo: memFree=30449576/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=544212 CPUtime=1798.99 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 121146 0 0 0 179845 54 0 0 20 0 2 0 275519156 557273088 123530 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 136053 123530 192 432 0 135618 0
[pid=25364/tid=25365] ppid=25362 vsize=544212 CPUtime=1794.52 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 120369 0 0 0 179371 81 0 0 20 0 2 0 275519157 557273088 123530 33554432000 4194304 5963574 140734688179216 140604347070328 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.99
Current children cumulated vsize (KiB) 544212
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25443
/proc/meminfo: memFree=30449576/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=544212 CPUtime=1799.39 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 121146 0 0 0 179885 54 0 0 20 0 2 0 275519156 557273088 123530 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 136053 123530 192 432 0 135618 0
[pid=25364/tid=25365] ppid=25362 vsize=544212 CPUtime=1794.92 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 120369 0 0 0 179411 81 0 0 20 0 2 0 275519157 557273088 123530 33554432000 4194304 5963574 140734688179216 140604347070328 4399488 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.39
Current children cumulated vsize (KiB) 544212
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25443
/proc/meminfo: memFree=30449576/32873844 swapFree=7624/7624
[pid=25364] ppid=25362 vsize=544212 CPUtime=1799.49 cores=0,2,4,6
/proc/25364/stat : 25364 (wbo1.7) S 25362 25364 24863 0 -1 4202496 121146 0 0 0 179895 54 0 0 20 0 2 0 275519156 557273088 123530 33554432000 4194304 5963574 140734688179216 140734688178736 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25364/statm: 136053 123530 192 432 0 135618 0
[pid=25364/tid=25365] ppid=25362 vsize=544212 CPUtime=1795.02 cores=0,2,4,6
/proc/25364/task/25365/stat : 25365 (wbo1.7) R 25362 25364 24863 0 -1 4202560 120369 0 0 0 179421 81 0 0 20 0 2 0 275519157 557273088 123530 33554432000 4194304 5963574 140734688179216 140604347070328 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (KiB) 544212
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25364 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=221236
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=823874
# CPU time returned by wait4() is 1795.05
# while last known CPU time is 1799.49
#
# 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.49
CPU user time (s): 1798.95
CPU system time (s): 0.54
CPU usage (%): 99.9714
Max. virtual memory (cumulated for all children) (KiB): 544212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.22
system time used= 0.823874
maximum resident set size= 494120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121146
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= 217
involuntary context switches= 1861
runsolver used 2.83357 second user time and 6.99594 second system time
The end