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-3727599-1338660534/watcher-3727599-1338660534 -o /tmp/evaluation-result-3727599-1338660534/solver-3727599-1338660534 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727599-1338660534.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.00 2.00 2.00 3/179 4892
/proc/meminfo: memFree=28177688/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=83596 CPUtime=0 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 788 0 0 0 0 0 0 0 20 0 2 0 332178220 85602304 738 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 20899 738 195 433 0 20463 0
[pid=4892/tid=4893] ppid=4890 vsize=83596 CPUtime=0 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 80 0 0 0 0 0 0 0 20 0 2 0 332178221 85602304 738 33554432000 4194304 5964350 140736397261120 140737483828408 5236791 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[startup+0.0250721 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4892
/proc/meminfo: memFree=28177688/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=83596 CPUtime=0.02 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 822 0 0 0 2 0 0 0 20 0 2 0 332178220 85602304 772 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 20899 772 197 433 0 20463 0
[pid=4892/tid=4893] ppid=4890 vsize=83596 CPUtime=0.01 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 114 0 0 0 1 0 0 0 20 0 2 0 332178221 85602304 772 33554432000 4194304 5964350 140736397261120 140737483828408 18446744073699066235 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 83596
[startup+0.10031 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4892
/proc/meminfo: memFree=28177688/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=83596 CPUtime=0.09 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 919 0 0 0 9 0 0 0 20 0 2 0 332178220 85602304 869 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 20899 869 197 433 0 20463 0
[pid=4892/tid=4893] ppid=4890 vsize=83596 CPUtime=0.08 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 211 0 0 0 8 0 0 0 20 0 2 0 332178221 85602304 869 33554432000 4194304 5964350 140736397261120 140737483828408 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83596
[startup+0.300283 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4892
/proc/meminfo: memFree=28177688/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=83596 CPUtime=0.29 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 1142 0 0 0 29 0 0 0 20 0 2 0 332178220 85602304 1092 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 20899 1092 197 433 0 20463 0
[pid=4892/tid=4893] ppid=4890 vsize=83596 CPUtime=0.28 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 434 0 0 0 28 0 0 0 20 0 2 0 332178221 85602304 1092 33554432000 4194304 5964350 140736397261120 140737483828408 5179179 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83596
[startup+0.700249 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4892
/proc/meminfo: memFree=28177688/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=83596 CPUtime=0.69 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 1724 0 0 0 69 0 0 0 20 0 2 0 332178220 85602304 1674 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 20899 1674 197 433 0 20463 0
[pid=4892/tid=4893] ppid=4890 vsize=83596 CPUtime=0.68 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 1016 0 0 0 68 0 0 0 20 0 2 0 332178221 85602304 1674 33554432000 4194304 5964350 140736397261120 140509522139176 5136410 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83596
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4894
/proc/meminfo: memFree=28170712/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=83740 CPUtime=1.49 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 2240 0 0 0 149 0 0 0 20 0 2 0 332178220 85749760 2190 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 20935 2190 197 433 0 20499 0
[pid=4892/tid=4893] ppid=4890 vsize=83740 CPUtime=1.48 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 1532 0 0 0 148 0 0 0 20 0 2 0 332178221 85749760 2190 33554432000 4194304 5964350 140736397261120 140509522138936 5136410 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83740
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4894
/proc/meminfo: memFree=28167860/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=83596 CPUtime=3.09 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 2743 0 0 0 309 0 0 0 20 0 2 0 332178220 85602304 2665 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 20899 2665 197 433 0 20463 0
[pid=4892/tid=4893] ppid=4890 vsize=83596 CPUtime=3.07 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 2035 0 0 0 307 0 0 0 20 0 2 0 332178221 85602304 2665 33554432000 4194304 5964350 140736397261120 140509522140088 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83596
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4894
/proc/meminfo: memFree=28166124/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=83812 CPUtime=6.28 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 3649 0 0 0 628 0 0 0 20 0 2 0 332178220 85823488 3571 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 20953 3571 197 433 0 20517 0
[pid=4892/tid=4893] ppid=4890 vsize=83812 CPUtime=6.27 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 2941 0 0 0 627 0 0 0 20 0 2 0 332178221 85823488 3571 33554432000 4194304 5964350 140736397261120 140509522139176 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 83812
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4894
/proc/meminfo: memFree=28157888/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=83812 CPUtime=12.69 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 5174 0 0 0 1268 1 0 0 20 0 2 0 332178220 85823488 5096 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 20953 5097 197 433 0 20517 0
[pid=4892/tid=4893] ppid=4890 vsize=83812 CPUtime=12.65 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 4467 0 0 0 1265 0 0 0 20 0 2 0 332178221 85823488 5097 33554432000 4194304 5964350 140736397261120 140509522138936 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83812
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4894
/proc/meminfo: memFree=28147728/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=84136 CPUtime=25.49 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 7911 0 0 0 2547 2 0 0 20 0 2 0 332178220 86155264 7833 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 21034 7833 197 433 0 20598 0
[pid=4892/tid=4893] ppid=4890 vsize=84136 CPUtime=25.42 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 7203 0 0 0 2540 2 0 0 20 0 2 0 332178221 86155264 7833 33554432000 4194304 5964350 140736397261120 140509522138936 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 84136
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4894
/proc/meminfo: memFree=28133592/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=85376 CPUtime=51.08 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 11325 0 0 0 5105 3 0 0 20 0 2 0 332178220 87425024 11247 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 21344 11247 197 433 0 20908 0
[pid=4892/tid=4893] ppid=4890 vsize=85376 CPUtime=50.95 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 10617 0 0 0 5092 3 0 0 20 0 2 0 332178221 87425024 11247 33554432000 4194304 5964350 140736397261120 140509522138936 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 85376
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 4897
/proc/meminfo: memFree=28115664/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=83596 CPUtime=102.28 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 16196 0 0 0 10223 5 0 0 20 0 2 0 332178220 85602304 15462 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 20899 15462 197 433 0 20463 0
[pid=4892/tid=4893] ppid=4890 vsize=83596 CPUtime=102.03 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 15488 0 0 0 10198 5 0 0 20 0 2 0 332178221 85602304 15462 33554432000 4194304 5964350 140736397261120 140509522140088 4399976 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 83596
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 4897
/proc/meminfo: memFree=28108108/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=149132 CPUtime=162.26 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 18176 0 0 0 16221 5 0 0 20 0 2 0 332178220 152711168 17438 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 37283 17438 197 433 0 36847 0
[pid=4892/tid=4893] ppid=4890 vsize=149132 CPUtime=161.87 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 17468 0 0 0 16180 7 0 0 20 0 2 0 332178221 152711168 17438 33554432000 4194304 5964350 140736397261120 140509522139000 4378736 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 149132
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 4897
/proc/meminfo: memFree=28082568/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=149132 CPUtime=222.23 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 24412 0 0 0 22214 9 0 0 20 0 2 0 332178220 152711168 23813 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 37283 23813 197 433 0 36847 0
[pid=4892/tid=4893] ppid=4890 vsize=149132 CPUtime=221.69 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 23704 0 0 0 22158 11 0 0 20 0 2 0 332178221 152711168 23813 33554432000 4194304 5964350 140736397261120 140509522139000 4400023 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 149132
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4897
/proc/meminfo: memFree=28064604/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=149132 CPUtime=282.21 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 28181 0 0 0 28210 11 0 0 20 0 2 0 332178220 152711168 28294 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 37283 28294 197 433 0 36847 0
[pid=4892/tid=4893] ppid=4890 vsize=149132 CPUtime=281.53 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 27473 0 0 0 28138 15 0 0 20 0 2 0 332178221 152711168 28294 33554432000 4194304 5964350 140736397261120 140509522138936 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 149132
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4898
/proc/meminfo: memFree=28043068/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=150216 CPUtime=342.2 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 33474 0 0 0 34206 14 0 0 20 0 2 0 332178220 153821184 33583 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 37554 33583 197 433 0 37118 0
[pid=4892/tid=4893] ppid=4890 vsize=150216 CPUtime=341.37 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 32766 0 0 0 34118 19 0 0 20 0 2 0 332178221 153821184 33583 33554432000 4194304 5964350 140736397261120 140509522138936 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 150216
[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 4898
/proc/meminfo: memFree=28030448/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=215752 CPUtime=402.2 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 36589 0 0 0 40204 16 0 0 20 0 2 0 332178220 220930048 36691 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4946
/proc/meminfo: memFree=28168276/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=420488 CPUtime=1421.96 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 90697 0 0 0 142146 50 0 0 20 0 2 0 332178220 430579712 93085 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 105122 93085 197 433 0 104686 0
[pid=4892/tid=4893] ppid=4890 vsize=420488 CPUtime=1418.55 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 89989 0 0 0 141784 71 0 0 20 0 2 0 332178221 430579712 93085 33554432000 4194304 5964350 140736397261120 140509522139128 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 420488
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4946
/proc/meminfo: memFree=28160760/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=420488 CPUtime=1481.94 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 92502 0 0 0 148143 51 0 0 20 0 2 0 332178220 430579712 95030 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 105122 95030 197 433 0 104686 0
[pid=4892/tid=4893] ppid=4890 vsize=420488 CPUtime=1478.38 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 91794 0 0 0 147765 73 0 0 20 0 2 0 332178221 430579712 95030 33554432000 4194304 5964350 140736397261120 140509522139128 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 420488
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4947
/proc/meminfo: memFree=28133996/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=486024 CPUtime=1541.92 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 98507 0 0 0 154135 57 0 0 20 0 2 0 332178220 497688576 101501 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 121506 101501 197 433 0 121070 0
[pid=4892/tid=4893] ppid=4890 vsize=486024 CPUtime=1538.21 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 97799 0 0 0 153741 80 0 0 20 0 2 0 332178221 497688576 101501 33554432000 4194304 5964350 140736397261120 140509522138936 4399976 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 486024
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4947
/proc/meminfo: memFree=28077604/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=486024 CPUtime=1601.9 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 99298 0 0 0 160132 58 0 0 20 0 2 0 332178220 497688576 102603 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 121506 102603 197 433 0 121070 0
[pid=4892/tid=4893] ppid=4890 vsize=486024 CPUtime=1598.04 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 98590 0 0 0 159722 82 0 0 20 0 2 0 332178221 497688576 102603 33554432000 4194304 5964350 140736397261120 140509522139176 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 486024
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4947
/proc/meminfo: memFree=27997004/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=486024 CPUtime=1661.89 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 105082 0 0 0 166126 63 0 0 20 0 2 0 332178220 497688576 108386 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 121506 108386 197 433 0 121070 0
[pid=4892/tid=4893] ppid=4890 vsize=486024 CPUtime=1657.89 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 104374 0 0 0 165701 88 0 0 20 0 2 0 332178221 497688576 108386 33554432000 4194304 5964350 140736397261120 140509522139176 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 486024
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 4947
/proc/meminfo: memFree=27984324/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=487108 CPUtime=1721.86 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 108099 0 0 0 172121 65 0 0 20 0 2 0 332178220 498798592 111550 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 121777 111550 197 433 0 121341 0
[pid=4892/tid=4893] ppid=4890 vsize=487108 CPUtime=1717.72 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 107391 0 0 0 171681 91 0 0 20 0 2 0 332178221 498798592 111550 33554432000 4194304 5964350 140736397261120 140509522139128 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 487108
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 4947
/proc/meminfo: memFree=27982220/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=487108 CPUtime=1781.86 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 108349 0 0 0 178120 66 0 0 20 0 2 0 332178220 498798592 112060 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 121777 112060 197 433 0 121341 0
[pid=4892/tid=4893] ppid=4890 vsize=487108 CPUtime=1777.57 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 107641 0 0 0 177664 93 0 0 20 0 2 0 332178221 498798592 112060 33554432000 4194304 5964350 140736397261120 140509522139000 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 487108
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 4947
/proc/meminfo: memFree=27981832/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=487108 CPUtime=1791.46 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 108402 0 0 0 179080 66 0 0 20 0 2 0 332178220 498798592 112112 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 121777 112112 197 433 0 121341 0
[pid=4892/tid=4893] ppid=4890 vsize=487108 CPUtime=1787.15 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 107694 0 0 0 178622 93 0 0 20 0 2 0 332178221 498798592 112112 33554432000 4194304 5964350 140736397261120 140509522139000 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 487108
[startup+1795.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 4947
/proc/meminfo: memFree=27981956/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=487108 CPUtime=1794.66 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 108409 0 0 0 179400 66 0 0 20 0 2 0 332178220 498798592 112119 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 121777 112119 197 433 0 121341 0
[pid=4892/tid=4893] ppid=4890 vsize=487108 CPUtime=1790.35 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 107701 0 0 0 178942 93 0 0 20 0 2 0 332178221 498798592 112119 33554432000 4194304 5964350 140736397261120 140509522139000 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 487108
[startup+1798.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 4947
/proc/meminfo: memFree=27981956/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=487108 CPUtime=1797.86 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 108561 0 0 0 179720 66 0 0 20 0 2 0 332178220 498798592 112271 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 121777 112271 197 433 0 121341 0
[pid=4892/tid=4893] ppid=4890 vsize=487108 CPUtime=1793.53 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 107853 0 0 0 179260 93 0 0 20 0 2 0 332178221 498798592 112271 33554432000 4194304 5964350 140736397261120 140509522139000 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 487108
[startup+1799.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 4947
/proc/meminfo: memFree=27981460/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=487108 CPUtime=1798.66 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 108650 0 0 0 179800 66 0 0 20 0 2 0 332178220 498798592 112360 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 121777 112360 197 433 0 121341 0
[pid=4892/tid=4893] ppid=4890 vsize=487108 CPUtime=1794.33 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 107942 0 0 0 179340 93 0 0 20 0 2 0 332178221 498798592 112360 33554432000 4194304 5964350 140736397261120 140509522139176 4400035 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.66
Current children cumulated vsize (KiB) 487108
[startup+1799.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 4947
/proc/meminfo: memFree=27980840/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=487108 CPUtime=1799.06 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 108689 0 0 0 179840 66 0 0 20 0 2 0 332178220 498798592 112399 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 121777 112399 197 433 0 121341 0
[pid=4892/tid=4893] ppid=4890 vsize=487108 CPUtime=1794.73 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 107981 0 0 0 179380 93 0 0 20 0 2 0 332178221 498798592 112399 33554432000 4194304 5964350 140736397261120 140509522139128 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.06
Current children cumulated vsize (KiB) 487108
[startup+1799.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 4947
/proc/meminfo: memFree=27980840/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=487108 CPUtime=1799.46 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 108723 0 0 0 179880 66 0 0 20 0 2 0 332178220 498798592 112433 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 121777 112433 197 433 0 121341 0
[pid=4892/tid=4893] ppid=4890 vsize=487108 CPUtime=1795.13 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 108015 0 0 0 179420 93 0 0 20 0 2 0 332178221 498798592 112433 33554432000 4194304 5964350 140736397261120 140509522139128 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (KiB) 487108
[startup+1800 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 4947
/proc/meminfo: memFree=27980840/32873844 swapFree=7620/7620
[pid=4892] ppid=4890 vsize=487108 CPUtime=1799.56 cores=0,2,4,6
/proc/4892/stat : 4892 (wbo1.72) S 4890 4892 2201 0 -1 4202496 108736 0 0 0 179890 66 0 0 20 0 2 0 332178220 498798592 112446 33554432000 4194304 5964350 140736397261120 140736397260640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4892/statm: 121777 112446 197 433 0 121341 0
[pid=4892/tid=4893] ppid=4890 vsize=487108 CPUtime=1795.23 cores=0,2,4,6
/proc/4892/task/4893/stat : 4893 (wbo1.72) R 4890 4892 2201 0 -1 4202560 108028 0 0 0 179430 93 0 0 20 0 2 0 332178221 498798592 112446 33554432000 4194304 5964350 140736397261120 140509522139128 4399832 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (KiB) 487108
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4892 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=308223
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=944856
# CPU time returned by wait4() is 1795.25
# while last known CPU time is 1799.56
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.56
CPU user time (s): 1798.9
CPU system time (s): 0.66
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 487108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.31
system time used= 0.944856
maximum resident set size= 449792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108738
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= 200
involuntary context switches= 1921
runsolver used 3.15052 second user time and 8.35573 second system time
The end