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-3704072-1338100924/watcher-3704072-1338100924 -o /tmp/evaluation-result-3704072-1338100924/solver-3704072-1338100924 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704072-1338100924.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: 4.00 4.00 3.94 4/178 7352
/proc/meminfo: memFree=29344428/32873648 swapFree=7368/7368
[pid=7352] ppid=7350 vsize=33364 CPUtime=0 cores=0,2,4,6
/proc/7352/stat : 7352 (pwbo2.0) R 7350 7352 3829 0 -1 4202496 729 0 0 0 0 0 0 0 20 0 1 0 276216601 34164736 681 33554432000 4194304 5965102 140736244124448 140733269879192 5180368 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7352/statm: 8341 692 171 433 0 1012 0
[startup+0.0105649 s]
/proc/loadavg: 4.00 4.00 3.94 4/178 7352
/proc/meminfo: memFree=29344428/32873648 swapFree=7368/7368
[pid=7352] ppid=7350 vsize=34692 CPUtime=0 cores=0,2,4,6
/proc/7352/stat : 7352 (pwbo2.0) R 7350 7352 3829 0 -1 4202496 1027 0 0 0 0 0 0 0 20 0 1 0 276216601 35524608 979 33554432000 4194304 5965102 140736244124448 140733269879192 4396513 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7352/statm: 8673 979 182 433 0 1344 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 34692
[startup+0.100265 s]
/proc/loadavg: 4.00 4.00 3.94 4/178 7352
/proc/meminfo: memFree=29344428/32873648 swapFree=7368/7368
[pid=7352] ppid=7350 vsize=50660 CPUtime=0.09 cores=0,2,4,6
/proc/7352/stat : 7352 (pwbo2.0) R 7350 7352 3829 0 -1 4202496 4765 0 0 0 9 0 0 0 20 0 1 0 276216601 51875840 4635 33554432000 4194304 5965102 140736244124448 140733269879192 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7352/statm: 12665 4636 435 433 0 5336 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 50660
[startup+0.300248 s]
/proc/loadavg: 4.00 4.00 3.94 4/178 7352
/proc/meminfo: memFree=29344428/32873648 swapFree=7368/7368
[pid=7352] ppid=7350 vsize=69852 CPUtime=0.29 cores=0,2,4,6
/proc/7352/stat : 7352 (pwbo2.0) R 7350 7352 3829 0 -1 4202496 10655 0 0 0 28 1 0 0 20 0 1 0 276216601 71528448 10258 33554432000 4194304 5965102 140736244124448 140733269879192 4351027 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7352/statm: 17463 10258 975 433 0 10134 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 69852
[startup+0.70027 s]
/proc/loadavg: 4.00 4.00 3.94 4/178 7352
/proc/meminfo: memFree=29344428/32873648 swapFree=7368/7368
[pid=7352] ppid=7350 vsize=116272 CPUtime=0.69 cores=0,2,4,6
/proc/7352/stat : 7352 (pwbo2.0) R 7350 7352 3829 0 -1 4202496 23126 0 0 0 65 4 0 0 20 0 1 0 276216601 119062528 22199 33554432000 4194304 5965102 140736244124448 140736244122536 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7352/statm: 29068 22200 2002 433 0 21739 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 116272
[startup+1.50027 s]
/proc/loadavg: 4.00 4.00 3.94 4/179 7353
/proc/meminfo: memFree=29228960/32873648 swapFree=7368/7368
[pid=7352] ppid=7350 vsize=212636 CPUtime=1.49 cores=0,2,4,6
/proc/7352/stat : 7352 (pwbo2.0) R 7350 7352 3829 0 -1 4202496 46279 0 0 0 142 7 0 0 20 0 1 0 276216601 217739264 46847 33554432000 4194304 5965102 140736244124448 140736244122536 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7352/statm: 53159 46849 3823 433 0 45830 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 212636
[startup+3.10027 s]
/proc/loadavg: 3.92 3.98 3.93 4/179 7353
/proc/meminfo: memFree=29118448/32873648 swapFree=7368/7368
[pid=7352] ppid=7350 vsize=336744 CPUtime=3.09 cores=0,2,4,6
/proc/7352/stat : 7352 (pwbo2.0) R 7350 7352 3829 0 -1 4202496 75622 0 0 0 297 12 0 0 20 0 1 0 276216601 344825856 77663 33554432000 4194304 5965102 140736244124448 140736244122424 4351027 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7352/statm: 84186 77663 6902 433 0 76857 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 336744
[startup+6.30029 s]
/proc/loadavg: 3.92 3.98 3.93 5/181 7355
/proc/meminfo: memFree=28618720/32873648 swapFree=7368/7368
[pid=7352] ppid=7350 vsize=891608 CPUtime=9.3 cores=0,2,4,6
/proc/7352/stat : 7352 (pwbo2.0) S 7350 7352 3829 0 -1 4202496 163433 0 0 0 884 46 0 0 20 0 3 0 276216601 913006592 186085 33554432000 4194304 5965102 140736244124448 140736244123968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7352/statm: 222902 186085 199 433 0 222466 0
[pid=7352/tid=7354] ppid=7350 vsize=891608 CPUtime=3.09 cores=0,2,4,6
/proc/7352/task/7354/stat : 7354 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 61810 0 0 0 293 16 0 0 20 0 3 0 276216920 913006592 186085 33554432000 4194304 5965102 140736244124448 140729201740120 5135034 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=7352/tid=7355] ppid=7350 vsize=891608 CPUtime=3.05 cores=0,2,4,6
/proc/7352/task/7355/stat : 7355 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 24208 0 0 0 285 20 0 0 20 0 3 0 276216920 913006592 186085 33554432000 4194304 5965102 140736244124448 140729191250232 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 9.3
Current children cumulated vsize (KiB) 891608
[startup+12.7003 s]
/proc/loadavg: 3.93 3.98 3.93 5/181 7355
/proc/meminfo: memFree=28556364/32873648 swapFree=7368/7368
[pid=7352] ppid=7350 vsize=957144 CPUtime=22.09 cores=0,2,4,6
/proc/7352/stat : 7352 (pwbo2.0) S 7350 7352 3829 0 -1 4202496 167973 0 0 0 2160 49 0 0 20 0 3 0 276216601 980115456 193304 33554432000 4194304 5965102 140736244124448 140736244123968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7352/statm: 239286 193304 199 433 0 238850 0
[pid=7352/tid=7354] ppid=7350 vsize=957144 CPUtime=9.48 cores=0,2,4,6
/proc/7352/task/7354/stat : 7354 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 66146 0 0 0 929 19 0 0 20 0 3 0 276216920 980115456 193304 33554432000 4194304 5965102 140736244124448 140729201740312 5123070 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7352/tid=7355] ppid=7350 vsize=957144 CPUtime=9.45 cores=0,2,4,6
/proc/7352/task/7355/stat : 7355 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 24412 0 0 0 925 20 0 0 20 0 3 0 276216920 980115456 193304 33554432000 4194304 5965102 140736244124448 140729191250232 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 22.09
Current children cumulated vsize (KiB) 957144
[startup+25.5004 s]
/proc/loadavg: 3.94 3.98 3.93 5/181 7356
/proc/meminfo: memFree=28551460/32873648 swapFree=7368/7368
[pid=7352] ppid=7350 vsize=957144 CPUtime=47.68 cores=0,2,4,6
/proc/7352/stat : 7352 (pwbo2.0) S 7350 7352 3829 0 -1 4202496 174848 0 0 0 4716 52 0 0 20 0 3 0 276216601 980115456 201355 33554432000 4194304 5965102 140736244124448 140736244123968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7352/statm: 239286 201355 199 433 0 238850 0
[pid=7352/tid=7354] ppid=7350 vsize=957144 CPUtime=22.28 cores=0,2,4,6
/proc/7352/task/7354/stat : 7354 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 72830 0 0 0 2206 22 0 0 20 0 3 0 276216920 980115456 201355 33554432000 4194304 5965102 140736244124448 140729201740312 5134596 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7352/tid=7355] ppid=7350 vsize=957144 CPUtime=22.24 cores=0,2,4,6
/proc/7352/task/7355/stat : 7355 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 24603 0 0 0 2204 20 0 0 20 0 3 0 276216920 980115456 201355 33554432000 4194304 5965102 140736244124448 140729191250152 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 47.68
Current children cumulated vsize (KiB) 957144
[startup+51.1004 s]
/proc/loadavg: 3.96 3.98 3.93 5/181 7356
/proc/meminfo: memFree=28472940/32873648 swapFree=7368/7368
[pid=7352] ppid=7350 vsize=1022680 CPUtime=98.88 cores=0,2,4,6
/proc/7352/stat : 7352 (pwbo2.0) S 7350 7352 3829 0 -1 4202496 188865 0 0 0 9828 60 0 0 20 0 3 0 276216601 1047224320 221118 33554432000 4194304 5965102 140736244124448 140736244123968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7352/statm: 255670 221118 199 433 0 255234 0
[pid=7352/tid=7354] ppid=7350 vsize=1022680 CPUtime=47.89 cores=0,2,4,6
/proc/7352/task/7354/stat : 7354 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 85858 0 0 0 4760 29 0 0 20 0 3 0 276216920 1047224320 221118 33554432000 4194304 5965102 140736244124448 140729201740616 5134539 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7352/tid=7355] ppid=7350 vsize=1022680 CPUtime=47.85 cores=0,2,4,6
/proc/7352/task/7355/stat : 7355 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 25592 0 0 0 4765 20 0 0 20 0 3 0 276216920 1047224320 221118 33554432000 4194304 5965102 140736244124448 140729191250232 4393837 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 98.88
Current children cumulated vsize (KiB) 1022680
[startup+102.306 s]
/proc/loadavg: 3.54 3.89 3.90 3/173 7461
/proc/meminfo: memFree=29188992/32873648 swapFree=7368/7368
[pid=7352] ppid=7350 vsize=1219288 CPUtime=201.26 cores=0,2,4,6
/proc/7352/stat : 7352 (pwbo2.0) S 7350 7352 3829 0 -1 4202496 222274 0 0 0 20047 79 0 0 20 0 3 0 276216601 1248550912 262856 33554432000 4194304 5965102 140736244124448 140736244123968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7352/statm: 304822 262856 199 433 0 304386 0
[pid=7352/tid=7354] ppid=7350 vsize=1219288 CPUtime=99.09 cores=0,2,4,6
/proc/7352/task/7354/stat : 7354 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 117836 0 0 0 9864 45 0 0 20 0 3 0 276216920 1248550912 262856 33554432000 4194304 5965102 140736244124448 140729201740312 5139822 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7352/tid=7355] ppid=7350 vsize=1219288 CPUtime=99.04 cores=0,2,4,6
/proc/7352/task/7355/stat : 7355 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 27023 0 0 0 9878 26 0 0 20 0 3 0 276216920 1248550912 262856 33554432000 4194304 5965102 140736244124448 140729191249752 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 201.26
Current children cumulated vsize (KiB) 1219288
[startup+162.3 s]
/proc/loadavg: 2.57 3.54 3.78 3/173 7461
/proc/meminfo: memFree=29016724/32873648 swapFree=7368/7368
[pid=7352] ppid=7350 vsize=1415896 CPUtime=321.23 cores=0,2,4,6
/proc/7352/stat : 7352 (pwbo2.0) S 7350 7352 3829 0 -1 4202496 253215 0 0 0 32026 97 0 0 20 0 3 0 276216601 1449877504 306078 33554432000 4194304 5965102 140736244124448 140736244123968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7352/statm: 353974 306078 199 433 0 353538 0
[pid=7352/tid=7354] ppid=7350 vsize=1415896 CPUtime=159.09 cores=0,2,4,6
/proc/7352/task/7354/stat : 7354 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 147936 0 0 0 15847 62 0 0 20 0 3 0 276216920 1449877504 306078 33554432000 4194304 5965102 140736244124448 140729201740312 4393747 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7352/tid=7355] ppid=7350 vsize=1415896 CPUtime=159.03 cores=0,2,4,6
/proc/7352/task/7355/stat : 7355 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 27864 0 0 0 15875 28 0 0 20 0 3 0 276216920 1449877504 306078 33554432000 4194304 5965102 140736244124448 140729191250232 4401143 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 321.23
Current children cumulated vsize (KiB) 1415896
[startup+222.3 s]
/proc/loadavg: 2.21 3.26 3.67 3/173 7461
/proc/meminfo: memFree=28870204/32873648 swapFree=7368/7368
[pid=7352] ppid=7350 vsize=1571576 CPUtime=441.21 cores=0,2,4,6
/proc/7352/stat : 7352 (pwbo2.0) S 7350 7352 3829 0 -1 4202496 260695 0 0 0 44014 107 0 0 20 0 3 0 276216601 1609293824 333519 33554432000 4194304 5965102 140736244124448 140736244123968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7352/statm: 392894 333519 199 433 0 392458 0
[pid=7352/tid=7354] ppid=7350 vsize=1571576 CPUtime=219.1 cores=0,2,4,6
/proc/7352/task/7354/stat : 7354 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 154456 0 0 0 21838 72 0 0 20 0 3 0 276216920 1609293824 333519 33554432000 4194304 5965102 140736244124448 140729201740312 4374153 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7352/tid=7355] ppid=7350 vsize=1571576 CPUtime=219.03 cores=0,2,4,6
/proc/7352/task/7355/stat : 7355 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 28824 0 0 0 21873 30 0 0 20 0 3 0 276216920 1609293824 333519 33554432000 4194304 5965102 140736244124448 140729191250232 4400894 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 441.21
Current children cumulated vsize (KiB) 1571576
[startup+282.3 s]
/proc/loadavg: 2.07 3.03 3.56 3/173 7461
/proc/meminfo: memFree=28799356/32873648 swapFree=7368/7368
[pid=7352] ppid=7350 vsize=1702648 CPUtime=561.19 cores=0,2,4,6
/proc/7352/stat : 7352 (pwbo2.0) S 7350 7352 3829 0 -1 4202496 274635 0 0 0 55998 121 0 0 20 0 3 0 276216601 1743511552 360195 33554432000 4194304 5965102 140736244124448 140736244123968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7352/statm: 425662 360195 199 433 0 425226 0
[pid=7352/tid=7354] ppid=7350 vsize=1702648 CPUtime=279.1 cores=0,2,4,6
/proc/7352/task/7354/stat : 7354 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 167694 0 0 0 27825 85 0 0 20 0 3 0 276216920 1743511552 360195 33554432000 4194304 5965102 140736244124448 140729201740616 5139822 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7352/tid=7355] ppid=7350 vsize=1702648 CPUtime=279.03 cores=0,2,4,6
/proc/7352/task/7355/stat : 7355 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 29526 0 0 0 27870 33 0 0 20 0 3 0 276216920 1743511552 360195 33554432000 4194304 5965102 140736244124448 140729191250280 4390112 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 561.19
Current children cumulated vsize (KiB) 1702648
[startup+342.3 s]
/proc/loadavg: 2.02 2.84 3.46 3/173 7462
/proc/meminfo: memFree=28705000/32873648 swapFree=7368/7368
[pid=7352] ppid=7350 vsize=1809112 CPUtime=681.17 cores=0,2,4,6
/proc/7352/stat : 7352 (pwbo2.0) S 7350 7352 3829 0 -1 4202496 292922 0 0 0 67980 137 0 0 20 0 3 0 276216601 1852530688 383974 33554432000 4194304 5965102 140736244124448 140736244123968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7352/statm: 452278 383974 199 433 0 451842 0
[pid=7352/tid=7354] ppid=7350 vsize=1809112 CPUtime=339.1 cores=0,2,4,6
/proc/7352/task/7354/stat : 7354 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 185361 0 0 0 33809 101 0 0 20 0 3 0 276216920 1852530688 383974 33554432000 4194304 5965102 140736244124448 140729201740616 5131650 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7352/tid=7355] ppid=7350 vsize=1809112 CPUtime=339.03 cores=0,2,4,6
/proc/7352/task/7355/stat : 7355 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 30146 0 0 0 33868 35 0 0 20 0 3 0 276216920 1852530688 383974 33554432000 4194304 5965102 140736244124448 140729191250040 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 681.17
Current children cumulated vsize (KiB) 1809112
[startup+402.3 s]
/proc/loadavg: 2.01 2.68 3.36 3/173 7462
/proc/meminfo: memFree=28623696/32873648 swapFree=7368/7368
[pid=7352] ppid=7350 vsize=1874648 CPUtime=801.14 cores=0,2,4,6
/proc/7352/stat : 7352 (pwbo2.0) S 7350 7352 3829 0 -1 4202496 297777 0 0 0 79969 145 0 0 20 0 3 0 276216601 1919639552 399581 33554432000 4194304 5965102 140736244124448 140736244123968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7352/statm: 468662 399581 199 433 0 468226 0
[pid=7352/tid=7354] ppid=7350 vsize=1874648 CPUtime=399.1 cores=0,2,4,6
/proc/7352/task/7354/stat : 7354 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 189489 0 0 0 39801 109 0 0 20 0 3 0 276216920 1919639552 399581 33554432000 4194304 5965102 140736244124448 140729201740312 5143165 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7352/tid=7355] ppid=7350 vsize=1874648 CPUtime=399.03 cores=0,2,4,6
/proc/7352/task/7355/stat : 7355 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 30873 0 0 0 39866 37 0 0 20 0 3 0 276216920 1919639552 399581 33554432000 4194304 5965102 140736244124448 140729191250232 4400955 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 801.14
Current children cumulated vsize (KiB) 1874648
[startup+462.3 s]
/proc/loadavg: 2.00 2.56 3.28 3/173 7462
/proc/meminfo: memFree=28550380/32873648 swapFree=7368/7368
[pid=7352] ppid=7350 vsize=1940184 CPUtime=921.12 cores=0,2,4,6
/proc/7352/stat : 7352 (pwbo2.0) S 7350 7352 3829 0 -1 4202496 306762 0 0 0 91960 152 0 0 20 0 3 0 276216601 1986748416 417420 33554432000 4194304 5965102 140736244124448 140736244123968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7352/statm: 485046 417420 199 433 0 484610 0
[pid=7352/tid=7354] ppid=7350 vsize=1940184 CPUtime=459.1 cores=0,2,4,6
/proc/7352/task/7354/stat : 7354 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 197564 0 0 0 45794 116 0 0 20 0 3 0 276216920 1986748416 417420 33554432000 4194304 5965102 140736244124448 140729201740312 4401658 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7352/tid=7355] ppid=7350 vsize=1940184 CPUtime=459.03 cores=0,2,4,6
/proc/7352/task/7355/stat : 7355 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 31783 0 0 0 45865 38 0 0 20 0 3 0 276216920 1986748416 417420 33554432000 4194304 5965102 140736244124448 140729191250232 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 921.12
Current children cumulated vsize (KiB) 1940184
[startup+522.3 s]
/proc/loadavg: 2.00 2.46 3.20 3/174 7465
/proc/meminfo: memFree=28469616/32873648 swapFree=7368/7368
[pid=7352] ppid=7350 vsize=2005720 CPUtime=1041.1 cores=0,2,4,6
/proc/7352/stat : 7352 (pwbo2.0) S 7350 7352 3829 0 -1 4202496 325640 0 0 0 103946 164 0 0 20 0 3 0 276216601 2053857280 432495 33554432000 4194304 5965102 140736244124448 140736244123968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7352/statm: 501430 432495 199 433 0 500994 0
[pid=7352/tid=7354] ppid=7350 vsize=2005720 CPUtime=519.1 cores=0,2,4,6
/proc/7352/task/7354/stat : 7354 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 215709 0 0 0 51782 128 0 0 20 0 3 0 276216920 2053857280 432495 33554432000 4194304 5965102 140736244124448 140729201740616 4404671 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7352/tid=7355] ppid=7350 vsize=2005720 CPUtime=519.04 cores=0,2,4,6
/proc/7352/task/7355/stat : 7355 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 32516 0 0 0 51864 40 0 0 20 0 3 0 276216920 2053857280 432495 33554432000 4194304 5965102 140736244124448 140729191250232 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1041.1
Current children cumulated vsize (KiB) 2005720
[startup+582.3 s]
/proc/loadavg: 2.00 2.37 3.12 3/173 7465
/proc/meminfo: memFree=28392304/32873648 swapFree=7368/7368
[pid=7352] ppid=7350 vsize=2136792 CPUtime=1161.08 cores=0,2,4,6
/proc/7352/stat : 7352 (pwbo2.0) S 7350 7352 3829 0 -1 4202496 339231 0 0 0 115933 175 0 0 20 0 3 0 276216601 2188075008 461956 33554432000 4194304 5965102 140736244124448 140736244123968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7352/statm: 534198 461956 199 433 0 533762 0
[pid=7352/tid=7354] ppid=7350 vsize=2136792 CPUtime=579.1 cores=0,2,4,6
/proc/7352/task/7354/stat : 7354 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 228680 0 0 0 57772 138 0 0 20 0 3 0 276216920 2188075008 461956 33554432000 4194304 5965102 140736244124448 140729201740120 5134981 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7352/tid=7355] ppid=7350 vsize=2136792 CPUtime=579.04 cores=0,2,4,6
/proc/7352/task/7355/stat : 7355 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 33136 0 0 0 57862 42 0 0 20 0 3 0 276216920 2188075008 461956 33554432000 4194304 5965102 140736244124448 140729191250232 4393833 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1161.08
Current children cumulated vsize (KiB) 2136792
[startup+642.3 s]
/proc/loadavg: 2.00 2.30 3.04 3/173 7466
/proc/meminfo: memFree=28286544/32873648 swapFree=7368/7368
[pid=7352] ppid=7350 vsize=2226936 CPUtime=1281.06 cores=0,2,4,6
/proc/7352/stat : 7352 (pwbo2.0) S 7350 7352 3829 0 -1 4202496 351909 0 0 0 127923 183 0 0 20 0 3 0 276216601 2280382464 488326 33554432000 4194304 5965102 140736244124448 140736244123968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7352/statm: 556734 488326 199 433 0 556298 0
[pid=7352/tid=7354] ppid=7350 vsize=2226936 CPUtime=639.1 cores=0,2,4,6
/proc/7352/task/7354/stat : 7354 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 240905 0 0 0 63763 147 0 0 20 0 3 0 276216920 2280382464 488326 33554432000 4194304 5965102 140736244124448 140729201740312 5123014 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7352/tid=7355] ppid=7350 vsize=2226936 CPUtime=639.05 cores=0,2,4,6
/proc/7352/task/7355/stat : 7355 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 33589 0 0 0 63862 43 0 0 20 0 3 0 276216920 2280382464 488326 33554432000 4194304 5965102 140736244124448 140729191250232 4393747 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1281.06
Current children cumulated vsize (KiB) 2226936
[startup+702.3 s]
/proc/loadavg: 2.00 2.24 2.97 3/173 7466
/proc/meminfo: memFree=28208704/32873648 swapFree=7368/7368
[pid=7352] ppid=7350 vsize=2358008 CPUtime=1401.02 cores=0,2,4,6
/proc/7352/stat : 7352 (pwbo2.0) S 7350 7352 3829 0 -1 4202496 353928 0 0 0 139915 187 0 0 20 0 3 0 276216601 2414600192 507731 33554432000 4194304 5965102 140736244124448 140736244123968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7352/statm: 589502 507731 199 433 0 589066 0
[pid=7352/tid=7354] ppid=7350 vsize=2358008 CPUtime=699.09 cores=0,2,4,6
/proc/7352/task/7354/stat : 7354 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 242099 0 0 0 69758 151 0 0 20 0 3 0 276216920 2414600192 507731 33554432000 4194304 5965102 140736244124448 140729201740072 4407379 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7352/tid=7355] ppid=7350 vsize=2358008 CPUtime=699.04 cores=0,2,4,6
/proc/7352/task/7355/stat : 7355 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 34414 0 0 0 69859 45 0 0 20 0 3 0 276216920 2414600192 507731 33554432000 4194304 5965102 140736244124448 140729191250232 4390112 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1401.02
Current children cumulated vsize (KiB) 2358008
[startup+762.306 s]
/proc/loadavg: 2.00 2.19 2.91 3/173 7466
/proc/meminfo: memFree=28206448/32873648 swapFree=7368/7368
[pid=7352] ppid=7350 vsize=2358008 CPUtime=1521.01 cores=0,2,4,6
/proc/7352/stat : 7352 (pwbo2.0) S 7350 7352 3829 0 -1 4202496 354540 0 0 0 151913 188 0 0 20 0 3 0 276216601 2414600192 508321 33554432000 4194304 5965102 140736244124448 140736244123968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7352/statm: 589502 508321 199 433 0 589066 0
[pid=7352/tid=7354] ppid=7350 vsize=2358008 CPUtime=759.08 cores=0,2,4,6
/proc/7352/task/7354/stat : 7354 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 242121 0 0 0 75756 152 0 0 20 0 3 0 276216920 2414600192 508321 33554432000 4194304 5965102 140736244124448 140729201740072 4407379 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7352/tid=7355] ppid=7350 vsize=2358008 CPUtime=759.05 cores=0,2,4,6
/proc/7352/task/7355/stat : 7355 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 35004 0 0 0 75858 47 0 0 20 0 3 0 276216920 2414600192 508321 33554432000 4194304 5965102 140736244124448 140729191250232 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1521.01
Current children cumulated vsize (KiB) 2358008
[startup+822.3 s]
/proc/loadavg: 2.00 2.16 2.85 3/173 7466
/proc/meminfo: memFree=28203276/32873648 swapFree=7368/7368
[pid=7352] ppid=7350 vsize=2358008 CPUtime=1640.97 cores=0,2,4,6
/proc/7352/stat : 7352 (pwbo2.0) S 7350 7352 3829 0 -1 4202496 355094 0 0 0 163908 189 0 0 20 0 3 0 276216601 2414600192 509098 33554432000 4194304 5965102 140736244124448 140736244123968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7352/statm: 589502 509098 199 433 0 589066 0
[pid=7352/tid=7354] ppid=7350 vsize=2358008 CPUtime=819.08 cores=0,2,4,6
/proc/7352/task/7354/stat : 7354 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 242125 0 0 0 81755 153 0 0 20 0 3 0 276216920 2414600192 509098 33554432000 4194304 5965102 140736244124448 140729201740072 4407379 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7352/tid=7355] ppid=7350 vsize=2358008 CPUtime=819.04 cores=0,2,4,6
/proc/7352/task/7355/stat : 7355 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 35554 0 0 0 81855 49 0 0 20 0 3 0 276216920 2414600192 509098 33554432000 4194304 5965102 140736244124448 140729191250168 4388979 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1640.97
Current children cumulated vsize (KiB) 2358008
[startup+882.3 s]
/proc/loadavg: 2.00 2.12 2.80 3/173 7466
/proc/meminfo: memFree=28202056/32873648 swapFree=7368/7368
[pid=7352] ppid=7350 vsize=2358008 CPUtime=1760.95 cores=0,2,4,6
/proc/7352/stat : 7352 (pwbo2.0) S 7350 7352 3829 0 -1 4202496 355315 0 0 0 175906 189 0 0 20 0 3 0 276216601 2414600192 509342 33554432000 4194304 5965102 140736244124448 140736244123968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7352/statm: 589502 509342 199 433 0 589066 0
[pid=7352/tid=7354] ppid=7350 vsize=2358008 CPUtime=879.08 cores=0,2,4,6
/proc/7352/task/7354/stat : 7354 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 242125 0 0 0 87754 154 0 0 20 0 3 0 276216920 2414600192 509342 33554432000 4194304 5965102 140736244124448 140729201740072 4408203 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7352/tid=7355] ppid=7350 vsize=2358008 CPUtime=879.05 cores=0,2,4,6
/proc/7352/task/7355/stat : 7355 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 35775 0 0 0 87855 50 0 0 20 0 3 0 276216920 2414600192 509342 33554432000 4194304 5965102 140736244124448 140729191250040 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1760.95
Current children cumulated vsize (KiB) 2358008
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+901.9 s]
/proc/loadavg: 2.00 2.12 2.78 3/173 7466
/proc/meminfo: memFree=28200448/32873648 swapFree=7368/7368
[pid=7352] ppid=7350 vsize=2358008 CPUtime=1800.17 cores=0,2,4,6
/proc/7352/stat : 7352 (pwbo2.0) S 7350 7352 3829 0 -1 4202496 355376 0 0 0 179827 190 0 0 20 0 3 0 276216601 2414600192 509907 33554432000 4194304 5965102 140736244124448 140736244123968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7352/statm: 589502 509907 199 433 0 589066 0
[pid=7352/tid=7354] ppid=7350 vsize=2358008 CPUtime=898.7 cores=0,2,4,6
/proc/7352/task/7354/stat : 7354 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 242125 0 0 0 89716 154 0 0 20 0 3 0 276216920 2414600192 509907 33554432000 4194304 5965102 140736244124448 140729201740072 4408203 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7352/tid=7355] ppid=7350 vsize=2358008 CPUtime=898.66 cores=0,2,4,6
/proc/7352/task/7355/stat : 7355 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 35836 0 0 0 89815 51 0 0 20 0 3 0 276216920 2414600192 509907 33554432000 4194304 5965102 140736244124448 140729191250232 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 2358008
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+901.9 s]
/proc/loadavg: 2.00 2.12 2.78 3/173 7466
/proc/meminfo: memFree=28200448/32873648 swapFree=7368/7368
[pid=7352] ppid=7350 vsize=2358008 CPUtime=1800.17 cores=0,2,4,6
/proc/7352/stat : 7352 (pwbo2.0) S 7350 7352 3829 0 -1 4202496 355376 0 0 0 179827 190 0 0 20 0 3 0 276216601 2414600192 509907 33554432000 4194304 5965102 140736244124448 140736244123968 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7352/statm: 589502 509907 199 433 0 589066 0
[pid=7352/tid=7354] ppid=7350 vsize=2358008 CPUtime=898.7 cores=0,2,4,6
/proc/7352/task/7354/stat : 7354 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 242125 0 0 0 89716 154 0 0 20 0 3 0 276216920 2414600192 509907 33554432000 4194304 5965102 140736244124448 140729201740072 4408203 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7352/tid=7355] ppid=7350 vsize=2358008 CPUtime=898.66 cores=0,2,4,6
/proc/7352/task/7355/stat : 7355 (pwbo2.0) R 7350 7352 3829 0 -1 4202560 35836 0 0 0 89815 51 0 0 20 0 3 0 276216920 2414600192 509907 33554432000 4194304 5965102 140736244124448 140729191250232 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 2358008
Child status: 0
Real time (s): 901.932
CPU time (s): 1800.59
CPU user time (s): 1798.38
CPU system time (s): 2.21166
CPU usage (%): 199.637
Max. virtual memory (cumulated for all children) (KiB): 2358008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.38
system time used= 2.21166
maximum resident set size= 2039632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355377
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= 5973
involuntary context switches= 1950
runsolver used 1.75073 second user time and 4.95525 second system time
The end