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-3726357-1338659238/watcher-3726357-1338659238 -o /tmp/evaluation-result-3726357-1338659238/solver-3726357-1338659238 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726357-1338659238.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: 3.92 3.97 3.98 4/178 29759
/proc/meminfo: memFree=26525772/32873844 swapFree=7628/7628
[pid=29759] ppid=29757 vsize=7304 CPUtime=0 cores=0,2,4,6
/proc/29759/stat : 29759 (pwbo2.02) R 29757 29759 25747 0 -1 4202496 522 0 0 0 0 0 0 0 20 0 1 0 332048155 7479296 475 33554432000 4194304 5964478 140734177016704 140733851395208 4344768 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/29759/statm: 1826 475 167 433 0 780 0
[startup+0.0180541 s]
/proc/loadavg: 3.92 3.97 3.98 4/178 29759
/proc/meminfo: memFree=26525772/32873844 swapFree=7628/7628
[pid=29759] ppid=29757 vsize=9060 CPUtime=0.01 cores=0,2,4,6
/proc/29759/stat : 29759 (pwbo2.02) R 29757 29759 25747 0 -1 4202496 993 0 0 0 1 0 0 0 20 0 1 0 332048155 9277440 946 33554432000 4194304 5964478 140734177016704 140733851395208 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/29759/statm: 2265 946 198 433 0 1219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9060
[startup+0.100226 s]
/proc/loadavg: 3.92 3.97 3.98 4/178 29759
/proc/meminfo: memFree=26525772/32873844 swapFree=7628/7628
[pid=29759] ppid=29757 vsize=21632 CPUtime=0.09 cores=0,2,4,6
/proc/29759/stat : 29759 (pwbo2.02) R 29757 29759 25747 0 -1 4202496 3987 0 0 0 9 0 0 0 20 0 1 0 332048155 22151168 3907 33554432000 4194304 5964478 140734177016704 140733851395208 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/29759/statm: 5408 3908 420 433 0 4362 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21632
[startup+0.300163 s]
/proc/loadavg: 3.92 3.97 3.98 4/178 29759
/proc/meminfo: memFree=26525772/32873844 swapFree=7628/7628
[pid=29759] ppid=29757 vsize=205920 CPUtime=0.33 cores=0,2,4,6
/proc/29759/stat : 29759 (pwbo2.02) S 29757 29759 25747 0 -1 4202496 15956 0 0 0 29 4 0 0 20 0 3 0 332048155 210862080 14967 33554432000 4194304 5964478 140734177016704 140734177016224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29759/statm: 51480 14969 187 433 0 51044 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 205920
[startup+0.700168 s]
/proc/loadavg: 3.92 3.97 3.98 4/178 29759
/proc/meminfo: memFree=26525772/32873844 swapFree=7628/7628
[pid=29759] ppid=29757 vsize=197932 CPUtime=1.13 cores=0,2,4,6
/proc/29759/stat : 29759 (pwbo2.02) S 29757 29759 25747 0 -1 4202496 23790 0 0 0 104 9 0 0 20 0 3 0 332048155 202682368 20566 33554432000 4194304 5964478 140734177016704 140734177016224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29759/statm: 49483 20566 197 433 0 49047 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 197932
[startup+1.5003 s]
/proc/loadavg: 3.92 3.97 3.98 5/181 29762
/proc/meminfo: memFree=26431876/32873844 swapFree=7628/7628
[pid=29759] ppid=29757 vsize=197932 CPUtime=2.72 cores=0,2,4,6
/proc/29759/stat : 29759 (pwbo2.02) S 29757 29759 25747 0 -1 4202496 33251 0 0 0 262 10 0 0 20 0 3 0 332048155 202682368 22146 33554432000 4194304 5964478 140734177016704 140734177016224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29759/statm: 49483 22146 198 433 0 49047 0
[pid=29759/tid=29761] ppid=29757 vsize=197932 CPUtime=1.23 cores=0,2,4,6
/proc/29759/task/29761/stat : 29761 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 21411 0 0 0 114 9 0 0 20 0 3 0 332048179 202682368 22146 33554432000 4194304 5964478 140734177016704 140525597223448 5130994 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29759/tid=29762] ppid=29757 vsize=197932 CPUtime=1.22 cores=0,2,4,6
/proc/29759/task/29762/stat : 29762 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 2975 0 0 0 122 0 0 0 20 0 3 0 332048179 202682368 22146 33554432000 4194304 5964478 140734177016704 140525586733368 4389085 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 197932
[startup+3.1003 s]
/proc/loadavg: 3.92 3.97 3.98 5/181 29762
/proc/meminfo: memFree=26425676/32873844 swapFree=7628/7628
[pid=29759] ppid=29757 vsize=197932 CPUtime=5.92 cores=0,2,4,6
/proc/29759/stat : 29759 (pwbo2.02) S 29757 29759 25747 0 -1 4202496 46421 0 0 0 580 12 0 0 20 0 3 0 332048155 202682368 26046 33554432000 4194304 5964478 140734177016704 140734177016224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29759/statm: 49483 26046 198 433 0 49047 0
[pid=29759/tid=29761] ppid=29757 vsize=197932 CPUtime=2.83 cores=0,2,4,6
/proc/29759/task/29761/stat : 29761 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 34437 0 0 0 272 11 0 0 20 0 3 0 332048179 202682368 26046 33554432000 4194304 5964478 140734177016704 140525597223256 5130842 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29759/tid=29762] ppid=29757 vsize=197932 CPUtime=2.82 cores=0,2,4,6
/proc/29759/task/29762/stat : 29762 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 3119 0 0 0 281 1 0 0 20 0 3 0 332048179 202682368 26046 33554432000 4194304 5964478 140734177016704 140525586733368 4392918 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 197932
[startup+6.30029 s]
/proc/loadavg: 3.92 3.97 3.98 5/181 29762
/proc/meminfo: memFree=26389272/32873844 swapFree=7628/7628
[pid=29759] ppid=29757 vsize=263468 CPUtime=12.31 cores=0,2,4,6
/proc/29759/stat : 29759 (pwbo2.02) S 29757 29759 25747 0 -1 4202496 72124 0 0 0 1215 16 0 0 20 0 3 0 332048155 269791232 33542 33554432000 4194304 5964478 140734177016704 140734177016224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29759/statm: 65867 33542 198 433 0 65431 0
[pid=29759/tid=29761] ppid=29757 vsize=263468 CPUtime=6.02 cores=0,2,4,6
/proc/29759/task/29761/stat : 29761 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 59839 0 0 0 588 14 0 0 20 0 3 0 332048179 269791232 33542 33554432000 4194304 5964478 140734177016704 140525597223320 4445424 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29759/tid=29762] ppid=29757 vsize=263468 CPUtime=6.01 cores=0,2,4,6
/proc/29759/task/29762/stat : 29762 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 3420 0 0 0 600 1 0 0 20 0 3 0 332048179 269791232 33542 33554432000 4194304 5964478 140734177016704 140525586733368 4399854 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 263468
[startup+12.7003 s]
/proc/loadavg: 3.93 3.97 3.98 5/181 29762
/proc/meminfo: memFree=26312752/32873844 swapFree=7628/7628
[pid=29759] ppid=29757 vsize=329004 CPUtime=25.11 cores=0,2,4,6
/proc/29759/stat : 29759 (pwbo2.02) S 29757 29759 25747 0 -1 4202496 121356 0 0 0 2486 25 0 0 20 0 3 0 332048155 336900096 44928 33554432000 4194304 5964478 140734177016704 140734177016224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29759/statm: 82251 44928 198 433 0 81815 0
[pid=29759/tid=29761] ppid=29757 vsize=329004 CPUtime=12.41 cores=0,2,4,6
/proc/29759/task/29761/stat : 29761 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 108469 0 0 0 1219 22 0 0 20 0 3 0 332048179 336900096 44928 33554432000 4194304 5964478 140734177016704 140525597223208 5130901 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29759/tid=29762] ppid=29757 vsize=329004 CPUtime=12.39 cores=0,2,4,6
/proc/29759/task/29762/stat : 29762 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 4022 0 0 0 1238 1 0 0 20 0 3 0 332048179 336900096 44928 33554432000 4194304 5964478 140734177016704 140525586733368 4403503 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 329004
[startup+25.5004 s]
/proc/loadavg: 3.94 3.97 3.98 5/181 29762
/proc/meminfo: memFree=26184796/32873844 swapFree=7628/7628
[pid=29759] ppid=29757 vsize=349960 CPUtime=50.71 cores=0,2,4,6
/proc/29759/stat : 29759 (pwbo2.02) S 29757 29759 25747 0 -1 4202496 206146 0 0 0 5025 46 0 0 20 0 3 0 332048155 358359040 66744 33554432000 4194304 5964478 140734177016704 140734177016224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29759/statm: 87490 66744 198 433 0 87054 0
[pid=29759/tid=29761] ppid=29757 vsize=349960 CPUtime=25.17 cores=0,2,4,6
/proc/29759/task/29761/stat : 29761 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 192058 0 0 0 2476 41 0 0 20 0 3 0 332048179 358359040 66744 33554432000 4194304 5964478 140734177016704 140525597223208 5130842 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29759/tid=29762] ppid=29757 vsize=349960 CPUtime=25.15 cores=0,2,4,6
/proc/29759/task/29762/stat : 29762 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 5223 0 0 0 2512 3 0 0 20 0 3 0 332048179 358359040 66744 33554432000 4194304 5964478 140734177016704 140525586733272 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 349960
[startup+51.1004 s]
/proc/loadavg: 3.96 3.97 3.98 5/181 29762
/proc/meminfo: memFree=26028644/32873844 swapFree=7628/7628
[pid=29759] ppid=29757 vsize=464832 CPUtime=101.89 cores=0,2,4,6
/proc/29759/stat : 29759 (pwbo2.02) S 29757 29759 25747 0 -1 4202496 274886 0 0 0 10128 61 0 0 20 0 3 0 332048155 475987968 88473 33554432000 4194304 5964478 140734177016704 140734177016224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29759/statm: 116208 88473 198 433 0 115772 0
[pid=29759/tid=29761] ppid=29757 vsize=464832 CPUtime=50.71 cores=0,2,4,6
/proc/29759/task/29761/stat : 29761 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 258983 0 0 0 5017 54 0 0 20 0 3 0 332048179 475987968 88473 33554432000 4194304 5964478 140734177016704 140525597223752 4392918 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29759/tid=29762] ppid=29757 vsize=464832 CPUtime=50.68 cores=0,2,4,6
/proc/29759/task/29762/stat : 29762 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 7038 0 0 0 5062 6 0 0 20 0 3 0 332048179 475987968 88473 33554432000 4194304 5964478 140734177016704 140525586733368 4399854 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 464832
[startup+102.306 s]
/proc/loadavg: 3.98 3.97 3.98 5/180 29762
/proc/meminfo: memFree=25726748/32873844 swapFree=7628/7628
[pid=29759] ppid=29757 vsize=661440 CPUtime=204.28 cores=0,2,4,6
/proc/29759/stat : 29759 (pwbo2.02) S 29757 29759 25747 0 -1 4202496 404183 0 0 0 20333 95 0 0 20 0 3 0 332048155 677314560 130020 33554432000 4194304 5964478 140734177016704 140734177016224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29759/statm: 165360 130020 198 433 0 164924 0
[pid=29759/tid=29761] ppid=29757 vsize=661440 CPUtime=101.78 cores=0,2,4,6
/proc/29759/task/29761/stat : 29761 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 386410 0 0 0 10093 85 0 0 20 0 3 0 332048179 677314560 130020 33554432000 4194304 5964478 140734177016704 140525597223208 5130842 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29759/tid=29762] ppid=29757 vsize=661440 CPUtime=101.75 cores=0,2,4,6
/proc/29759/task/29762/stat : 29762 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 8908 0 0 0 10164 11 0 0 20 0 3 0 332048179 677314560 130020 33554432000 4194304 5964478 140734177016704 140525586733368 4222416 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 204.28
Current children cumulated vsize (KiB) 661440
[startup+162.3 s]
/proc/loadavg: 4.04 3.99 3.99 5/181 29763
/proc/meminfo: memFree=25406424/32873844 swapFree=7628/7628
[pid=29759] ppid=29757 vsize=853188 CPUtime=324.25 cores=0,2,4,6
/proc/29759/stat : 29759 (pwbo2.02) S 29757 29759 25747 0 -1 4202496 545031 0 0 0 32299 126 0 0 20 0 3 0 332048155 873664512 178348 33554432000 4194304 5964478 140734177016704 140734177016224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29759/statm: 213297 178348 198 433 0 212861 0
[pid=29759/tid=29761] ppid=29757 vsize=853188 CPUtime=161.62 cores=0,2,4,6
/proc/29759/task/29761/stat : 29761 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 524969 0 0 0 16047 115 0 0 20 0 3 0 332048179 873664512 178348 33554432000 4194304 5964478 140734177016704 140525597223208 5122424 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29759/tid=29762] ppid=29757 vsize=853188 CPUtime=161.59 cores=0,2,4,6
/proc/29759/task/29762/stat : 29762 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 11197 0 0 0 16145 14 0 0 20 0 3 0 332048179 873664512 178348 33554432000 4194304 5964478 140734177016704 140525586733304 4222416 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 324.25
Current children cumulated vsize (KiB) 853188
[startup+222.3 s]
/proc/loadavg: 4.06 4.00 4.00 5/182 29766
/proc/meminfo: memFree=25212176/32873844 swapFree=7628/7628
[pid=29759] ppid=29757 vsize=995196 CPUtime=444.23 cores=0,2,4,6
/proc/29759/stat : 29759 (pwbo2.02) S 29757 29759 25747 0 -1 4202496 643283 0 0 0 44271 152 0 0 20 0 3 0 332048155 1019080704 221867 33554432000 4194304 5964478 140734177016704 140734177016224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29759/statm: 248799 221867 199 433 0 248363 0
[pid=29759/tid=29761] ppid=29757 vsize=995196 CPUtime=221.47 cores=0,2,4,6
/proc/29759/task/29761/stat : 29761 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 621608 0 0 0 22007 140 0 0 20 0 3 0 332048179 1019080704 221867 33554432000 4194304 5964478 140734177016704 140525597223256 5122378 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29759/tid=29762] ppid=29757 vsize=995196 CPUtime=221.43 cores=0,2,4,6
/proc/29759/task/29762/stat : 29762 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 12810 0 0 0 22126 17 0 0 20 0 3 0 332048179 1019080704 221867 33554432000 4194304 5964478 140734177016704 140525586733416 4389170 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 444.23
Current children cumulated vsize (KiB) 995196
[startup+282.3 s]
/proc/loadavg: 4.02 4.00 4.00 5/181 29766
/proc/meminfo: memFree=25105208/32873844 swapFree=7628/7628
[pid=29759] ppid=29757 vsize=1126268 CPUtime=564.21 cores=0,2,4,6
/proc/29759/stat : 29759 (pwbo2.02) S 29757 29759 25747 0 -1 4202496 700268 0 0 0 56250 171 0 0 20 0 3 0 332048155 1153298432 248086 33554432000 4194304 5964478 140734177016704 140734177016224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29759/statm: 281567 248086 199 433 0 281131 0
[pid=29759/tid=29761] ppid=29757 vsize=1126268 CPUtime=281.31 cores=0,2,4,6
/proc/29759/task/29761/stat : 29761 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 678330 0 0 0 27972 159 0 0 20 0 3 0 332048179 1153298432 248086 33554432000 4194304 5964478 140734177016704 140525597223320 4376140 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29759/tid=29762] ppid=29757 vsize=1126268 CPUtime=281.27 cores=0,2,4,6
/proc/29759/task/29762/stat : 29762 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 13073 0 0 0 28109 18 0 0 20 0 3 0 332048179 1153298432 248086 33554432000 4194304 5964478 140734177016704 140525586733368 4389135 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 564.21
Current children cumulated vsize (KiB) 1126268
[startup+342.3 s]
/proc/loadavg: 4.09 4.03 4.00 5/181 29766
/proc/meminfo: memFree=24956908/32873844 swapFree=7628/7628
[pid=29759] ppid=29757 vsize=1246404 CPUtime=684.17 cores=0,2,4,6
/proc/29759/stat : 29759 (pwbo2.02) S 29757 29759 25747 0 -1 4202496 746750 0 0 0 68224 193 0 0 20 0 3 0 332048155 1276317696 283736 33554432000 4194304 5964478 140734177016704 140734177016224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29759/statm: 311601 283736 199 433 0 311165 0
[pid=29759/tid=29761] ppid=29757 vsize=1246404 CPUtime=341.15 cores=0,2,4,6
/proc/29759/task/29761/stat : 29761 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 724129 0 0 0 33934 181 0 0 20 0 3 0 332048179 1276317696 283736 33554432000 4194304 5964478 140734177016704 140525597223256 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29759/tid=29762] ppid=29757 vsize=1246404 CPUtime=341.1 cores=0,2,4,6
/proc/29759/task/29762/stat : 29762 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 13756 0 0 0 34090 20 0 0 20 0 3 0 332048179 1276317696 283736 33554432000 4194304 5964478 140734177016704 140525586733272 4387948 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 684.17
Current children cumulated vsize (KiB) 1246404
[startup+402.3 s]
/proc/loadavg: 4.08 4.04 4.00 5/181 29766
/proc/meminfo: memFree=24815196/32873844 swapFree=7628/7628
[pid=29759] ppid=29757 vsize=1443688 CPUtime=804.15 cores=0,2,4,6
/proc/29759/stat : 29759 (pwbo2.02) S 29757 29759 25747 0 -1 4202496 793567 0 0 0 80205 210 0 0 20 0 3 0 332048155 1478336512 320256 33554432000 4194304 5964478 140734177016704 140734177016224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29759/statm: 360922 320256 199 433 0 360486 0
[pid=29759/tid=29761] ppid=29757 vsize=1443688 CPUtime=400.99 cores=0,2,4,6
/proc/29759/task/29761/stat : 29761 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 770805 0 0 0 39900 199 0 0 20 0 3 0 332048179 1478336512 320256 33554432000 4194304 5964478 140734177016704 140525597223320 5133973 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29759/tid=29762] ppid=29757 vsize=1443688 CPUtime=400.95 cores=0,2,4,6
/proc/29759/task/29762/stat : 29762 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 13897 0 0 0 40074 21 0 0 20 0 3 0 332048179 1478336512 320256 33554432000 4194304 5964478 140734177016704 140525586733128 4399854 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 804.15
Current children cumulated vsize (KiB) 1443688
[startup+462.3 s]
/proc/loadavg: 4.03 4.03 4.00 5/181 29767
/proc/meminfo: memFree=24628836/32873844 swapFree=7628/7628
[pid=29759] ppid=29757 vsize=1591696 CPUtime=924.12 cores=0,2,4,6
/proc/29759/stat : 29759 (pwbo2.02) S 29757 29759 25747 0 -1 4202496 851665 0 0 0 92182 230 0 0 20 0 3 0 332048155 1629896704 352367 33554432000 4194304 5964478 140734177016704 140734177016224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29759/statm: 397924 352367 199 433 0 397488 0
[pid=29759/tid=29761] ppid=29757 vsize=1591696 CPUtime=460.82 cores=0,2,4,6
/proc/29759/task/29761/stat : 29761 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 825923 0 0 0 45867 215 0 0 20 0 3 0 332048179 1629896704 352367 33554432000 4194304 5964478 140734177016704 140525597223208 5179815 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29759/tid=29762] ppid=29757 vsize=1591696 CPUtime=460.79 cores=0,2,4,6
/proc/29759/task/29762/stat : 29762 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 16877 0 0 0 46052 27 0 0 20 0 3 0 332048179 1629896704 352367 33554432000 4194304 5964478 140734177016704 140525586733368 4381601 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 924.12
Current children cumulated vsize (KiB) 1591696
[startup+522.3 s]
/proc/loadavg: 4.06 4.03 4.00 5/181 29767
/proc/meminfo: memFree=24540900/32873844 swapFree=7628/7628
[pid=29759] ppid=29757 vsize=1657232 CPUtime=1044.09 cores=0,2,4,6
/proc/29759/stat : 29759 (pwbo2.02) S 29757 29759 25747 0 -1 4202496 868029 0 0 0 104170 239 0 0 20 0 3 0 332048155 1697005568 367018 33554432000 4194304 5964478 140734177016704 140734177016224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29759/statm: 414308 367018 199 433 0 413872 0
[pid=29759/tid=29761] ppid=29757 vsize=1657232 CPUtime=520.65 cores=0,2,4,6
/proc/29759/task/29761/stat : 29761 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 842287 0 0 0 51840 225 0 0 20 0 3 0 332048179 1697005568 367018 33554432000 4194304 5964478 140734177016704 140525597223448 5134325 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29759/tid=29762] ppid=29757 vsize=1657232 CPUtime=520.63 cores=0,2,4,6
/proc/29759/task/29762/stat : 29762 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 16877 0 0 0 52036 27 0 0 20 0 3 0 332048179 1697005568 367018 33554432000 4194304 5964478 140734177016704 140525586733368 4389160 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1044.09
Current children cumulated vsize (KiB) 1657232
[startup+582.3 s]
/proc/loadavg: 4.07 4.04 4.00 5/181 29767
/proc/meminfo: memFree=24440172/32873844 swapFree=7628/7628
[pid=29759] ppid=29757 vsize=1788304 CPUtime=1164.05 cores=0,2,4,6
/proc/29759/stat : 29759 (pwbo2.02) S 29757 29759 25747 0 -1 4202496 895887 0 0 0 116158 247 0 0 20 0 3 0 332048155 1831223296 401763 33554432000 4194304 5964478 140734177016704 140734177016224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29759/statm: 447076 401763 199 433 0 446640 0
[pid=29759/tid=29761] ppid=29757 vsize=1788304 CPUtime=580.48 cores=0,2,4,6
/proc/29759/task/29761/stat : 29761 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 870145 0 0 0 57814 234 0 0 20 0 3 0 332048179 1831223296 401763 33554432000 4194304 5964478 140734177016704 140525597223448 4445054 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29759/tid=29762] ppid=29757 vsize=1788304 CPUtime=580.48 cores=0,2,4,6
/proc/29759/task/29762/stat : 29762 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 16877 0 0 0 58020 28 0 0 20 0 3 0 332048179 1831223296 401763 33554432000 4194304 5964478 140734177016704 140525586733368 4389160 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1164.05
Current children cumulated vsize (KiB) 1788304
[startup+642.3 s]
/proc/loadavg: 4.02 4.03 4.00 5/181 29767
/proc/meminfo: memFree=24356280/32873844 swapFree=7628/7628
[pid=29759] ppid=29757 vsize=1919376 CPUtime=1284.04 cores=0,2,4,6
/proc/29759/stat : 29759 (pwbo2.02) S 29757 29759 25747 0 -1 4202496 931330 0 0 0 128141 263 0 0 20 0 3 0 332048155 1965441024 419948 33554432000 4194304 5964478 140734177016704 140734177016224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29759/statm: 479844 419948 199 433 0 479408 0
[pid=29759/tid=29761] ppid=29757 vsize=1919376 CPUtime=640.32 cores=0,2,4,6
/proc/29759/task/29761/stat : 29761 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 901456 0 0 0 63787 245 0 0 20 0 3 0 332048179 1965441024 419948 33554432000 4194304 5964478 140734177016704 140525597223256 4403575 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29759/tid=29762] ppid=29757 vsize=1919376 CPUtime=640.33 cores=0,2,4,6
/proc/29759/task/29762/stat : 29762 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 21009 0 0 0 63999 34 0 0 20 0 3 0 332048179 1965441024 419948 33554432000 4194304 5964478 140734177016704 140525586733368 4399932 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1284.04
Current children cumulated vsize (KiB) 1919376
[startup+702.3 s]
/proc/loadavg: 4.06 4.04 4.00 5/181 29767
/proc/meminfo: memFree=24273436/32873844 swapFree=7628/7628
[pid=29759] ppid=29757 vsize=2050448 CPUtime=1403.99 cores=0,2,4,6
/proc/29759/stat : 29759 (pwbo2.02) S 29757 29759 25747 0 -1 4202496 935964 0 0 0 140132 267 0 0 20 0 3 0 332048155 2099658752 440642 33554432000 4194304 5964478 140734177016704 140734177016224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29759/statm: 512612 440642 199 433 0 512176 0
[pid=29759/tid=29761] ppid=29757 vsize=2050448 CPUtime=700.15 cores=0,2,4,6
/proc/29759/task/29761/stat : 29761 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 903066 0 0 0 69768 247 0 0 20 0 3 0 332048179 2099658752 440642 33554432000 4194304 5964478 140734177016704 140525597223208 4403677 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29759/tid=29762] ppid=29757 vsize=2050448 CPUtime=700.17 cores=0,2,4,6
/proc/29759/task/29762/stat : 29762 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 24033 0 0 0 69979 38 0 0 20 0 3 0 332048179 2099658752 440642 33554432000 4194304 5964478 140734177016704 140525586733368 4392723 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1403.99
Current children cumulated vsize (KiB) 2050448
[startup+762.306 s]
/proc/loadavg: 4.07 4.04 4.00 5/181 29768
/proc/meminfo: memFree=24233044/32873844 swapFree=7628/7628
[pid=29759] ppid=29757 vsize=2050448 CPUtime=1523.97 cores=0,2,4,6
/proc/29759/stat : 29759 (pwbo2.02) S 29757 29759 25747 0 -1 4202496 936080 0 0 0 152127 270 0 0 20 0 3 0 332048155 2099658752 441710 33554432000 4194304 5964478 140734177016704 140734177016224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29759/statm: 512612 441710 199 433 0 512176 0
[pid=29759/tid=29761] ppid=29757 vsize=2050448 CPUtime=759.98 cores=0,2,4,6
/proc/29759/task/29761/stat : 29761 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 903182 0 0 0 75747 251 0 0 20 0 3 0 332048179 2099658752 441710 33554432000 4194304 5964478 140734177016704 140525597223448 4445534 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29759/tid=29762] ppid=29757 vsize=2050448 CPUtime=760.02 cores=0,2,4,6
/proc/29759/task/29762/stat : 29762 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 24033 0 0 0 75963 39 0 0 20 0 3 0 332048179 2099658752 441710 33554432000 4194304 5964478 140734177016704 140525586733368 4403581 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1523.97
Current children cumulated vsize (KiB) 2050448
[startup+822.3 s]
/proc/loadavg: 4.06 4.05 4.00 5/182 29771
/proc/meminfo: memFree=24229604/32873844 swapFree=7628/7628
[pid=29759] ppid=29757 vsize=2050448 CPUtime=1643.92 cores=0,2,4,6
/proc/29759/stat : 29759 (pwbo2.02) S 29757 29759 25747 0 -1 4202496 938020 0 0 0 164119 273 0 0 20 0 3 0 332048155 2099658752 442498 33554432000 4194304 5964478 140734177016704 140734177016224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29759/statm: 512612 442498 199 433 0 512176 0
[pid=29759/tid=29761] ppid=29757 vsize=2050448 CPUtime=819.8 cores=0,2,4,6
/proc/29759/task/29761/stat : 29761 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 905122 0 0 0 81726 254 0 0 20 0 3 0 332048179 2099658752 442498 33554432000 4194304 5964478 140734177016704 140525597223752 4403500 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29759/tid=29762] ppid=29757 vsize=2050448 CPUtime=819.86 cores=0,2,4,6
/proc/29759/task/29762/stat : 29762 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 24033 0 0 0 81946 40 0 0 20 0 3 0 332048179 2099658752 442498 33554432000 4194304 5964478 140734177016704 140525586733368 4221984 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1643.92
Current children cumulated vsize (KiB) 2050448
[startup+882.3 s]
/proc/loadavg: 4.01 4.03 4.00 5/182 29834
/proc/meminfo: memFree=24191644/32873844 swapFree=7628/7628
[pid=29759] ppid=29757 vsize=2050448 CPUtime=1763.88 cores=0,2,4,6
/proc/29759/stat : 29759 (pwbo2.02) S 29757 29759 25747 0 -1 4202496 950363 0 0 0 176109 279 0 0 20 0 3 0 332048155 2099658752 454778 33554432000 4194304 5964478 140734177016704 140734177016224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29759/statm: 512612 454778 199 433 0 512176 0
[pid=29759/tid=29761] ppid=29757 vsize=2050448 CPUtime=879.63 cores=0,2,4,6
/proc/29759/task/29761/stat : 29761 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 917462 0 0 0 87701 262 0 0 20 0 3 0 332048179 2099658752 454778 33554432000 4194304 5964478 140734177016704 140525597223752 4392707 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29759/tid=29762] ppid=29757 vsize=2050448 CPUtime=879.71 cores=0,2,4,6
/proc/29759/task/29762/stat : 29762 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 24036 0 0 0 87930 41 0 0 20 0 3 0 332048179 2099658752 454778 33554432000 4194304 5964478 140734177016704 140525586733368 4400087 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1763.88
Current children cumulated vsize (KiB) 2050448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.4 s]
/proc/loadavg: 4.00 4.03 4.00 5/181 29834
/proc/meminfo: memFree=24201240/32873844 swapFree=7628/7628
[pid=29759] ppid=29757 vsize=2050448 CPUtime=1800.08 cores=0,2,4,6
/proc/29759/stat : 29759 (pwbo2.02) S 29757 29759 25747 0 -1 4202496 951406 0 0 0 179728 280 0 0 20 0 3 0 332048155 2099658752 454789 33554432000 4194304 5964478 140734177016704 140734177016224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29759/statm: 512612 454789 199 433 0 512176 0
[pid=29759/tid=29761] ppid=29757 vsize=2050448 CPUtime=897.69 cores=0,2,4,6
/proc/29759/task/29761/stat : 29761 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 918494 0 0 0 89506 263 0 0 20 0 3 0 332048179 2099658752 454789 33554432000 4194304 5964478 140734177016704 140525597223752 4389170 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29759/tid=29762] ppid=29757 vsize=2050448 CPUtime=897.76 cores=0,2,4,6
/proc/29759/task/29762/stat : 29762 (pwbo2.02) R 29757 29759 25747 0 -1 4202560 24047 0 0 0 89735 41 0 0 20 0 3 0 332048179 2099658752 454789 33554432000 4194304 5964478 140734177016704 140525586733368 4403575 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2050448
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29759 and gives
# childrusage.ru_utime.tv_sec=1792
# childrusage.ru_utime.tv_usec=648476
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=100528
# CPU time returned by wait4() is 1795.75
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.437
CPU time (s): 1800.08
CPU user time (s): 1797.28
CPU system time (s): 2.8
CPU usage (%): 199.912
Max. virtual memory (cumulated for all children) (KiB): 2115984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.65
system time used= 3.10053
maximum resident set size= 1868252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 951407
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= 1516
involuntary context switches= 2132
runsolver used 1.92271 second user time and 4.77227 second system time
The end