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-3704044-1338099213/watcher-3704044-1338099213 -o /tmp/evaluation-result-3704044-1338099213/solver-3704044-1338099213 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704044-1338099213.opb
running on 4 cores: 1,3,5,7
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.01 3.99 3.96 4/178 13469
/proc/meminfo: memFree=30395576/32873844 swapFree=7364/7364
[pid=13469] ppid=13467 vsize=8540 CPUtime=0 cores=1,3,5,7
/proc/13469/stat : 13469 (pwbo2.0) R 13467 13469 11438 0 -1 4202496 749 0 0 0 0 0 0 0 20 0 1 0 276049870 8744960 701 33554432000 4194304 5965102 140734257053120 140734257050872 4396446 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/13469/statm: 2135 702 160 433 0 1026 0
[startup+0.0666009 s]
/proc/loadavg: 4.01 3.99 3.96 4/178 13469
/proc/meminfo: memFree=30395576/32873844 swapFree=7364/7364
[pid=13469] ppid=13467 vsize=24252 CPUtime=0.05 cores=1,3,5,7
/proc/13469/stat : 13469 (pwbo2.0) R 13467 13469 11438 0 -1 4202496 4641 0 0 0 5 0 0 0 20 0 1 0 276049870 24834048 4348 33554432000 4194304 5965102 140734257053120 140734257050872 5180764 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/13469/statm: 6063 4349 314 433 0 4954 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 24252
[startup+0.100373 s]
/proc/loadavg: 4.01 3.99 3.96 4/178 13469
/proc/meminfo: memFree=30395576/32873844 swapFree=7364/7364
[pid=13469] ppid=13467 vsize=28080 CPUtime=0.09 cores=1,3,5,7
/proc/13469/stat : 13469 (pwbo2.0) R 13467 13469 11438 0 -1 4202496 5776 0 0 0 8 1 0 0 20 0 1 0 276049870 28753920 5483 33554432000 4194304 5965102 140734257053120 140734257050872 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/13469/statm: 7020 5486 398 433 0 5911 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28080
[startup+0.300194 s]
/proc/loadavg: 4.01 3.99 3.96 4/178 13469
/proc/meminfo: memFree=30395576/32873844 swapFree=7364/7364
[pid=13469] ppid=13467 vsize=203512 CPUtime=0.3 cores=1,3,5,7
/proc/13469/stat : 13469 (pwbo2.0) S 13467 13469 11438 0 -1 4202496 14570 0 0 0 28 2 0 0 20 0 3 0 276049870 208396288 13485 33554432000 4194304 5965102 140734257053120 140734257052640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13469/statm: 50878 13486 176 433 0 50442 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 203512
[startup+0.700213 s]
/proc/loadavg: 4.01 3.99 3.96 4/178 13469
/proc/meminfo: memFree=30395576/32873844 swapFree=7364/7364
[pid=13469] ppid=13467 vsize=199956 CPUtime=1.09 cores=1,3,5,7
/proc/13469/stat : 13469 (pwbo2.0) S 13467 13469 11438 0 -1 4202496 23649 0 0 0 103 6 0 0 20 0 3 0 276049870 204754944 20153 33554432000 4194304 5965102 140734257053120 140734257052640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13469/statm: 49989 20153 199 433 0 49553 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 199956
[startup+1.50039 s]
/proc/loadavg: 4.01 3.99 3.96 5/181 13472
/proc/meminfo: memFree=30311944/32873844 swapFree=7364/7364
[pid=13469] ppid=13467 vsize=199956 CPUtime=2.69 cores=1,3,5,7
/proc/13469/stat : 13469 (pwbo2.0) S 13467 13469 11438 0 -1 4202496 29400 0 0 0 261 8 0 0 20 0 3 0 276049870 204754944 22085 33554432000 4194304 5965102 140734257053120 140734257052640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13469/statm: 49989 22085 200 433 0 49553 0
[pid=13469/tid=13471] ppid=13467 vsize=199956 CPUtime=1.2 cores=1,3,5,7
/proc/13469/task/13471/stat : 13471 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 16997 0 0 0 114 6 0 0 20 0 3 0 276049897 204754944 22085 33554432000 4194304 5965102 140734257053120 139707263478296 4446334 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=13469/tid=13472] ppid=13467 vsize=199956 CPUtime=1.19 cores=1,3,5,7
/proc/13469/task/13472/stat : 13472 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 2573 0 0 0 119 0 0 0 20 0 3 0 276049897 204754944 22085 33554432000 4194304 5965102 140734257053120 139707252988216 4390200 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 199956
[startup+3.10038 s]
/proc/loadavg: 4.01 3.99 3.96 5/181 13472
/proc/meminfo: memFree=30302900/32873844 swapFree=7364/7364
[pid=13469] ppid=13467 vsize=199956 CPUtime=5.89 cores=1,3,5,7
/proc/13469/stat : 13469 (pwbo2.0) S 13467 13469 11438 0 -1 4202496 38478 0 0 0 579 10 0 0 20 0 3 0 276049870 204754944 24961 33554432000 4194304 5965102 140734257053120 140734257052640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13469/statm: 49989 24961 200 433 0 49553 0
[pid=13469/tid=13471] ppid=13467 vsize=199956 CPUtime=2.79 cores=1,3,5,7
/proc/13469/task/13471/stat : 13471 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 26031 0 0 0 271 8 0 0 20 0 3 0 276049897 204754944 24961 33554432000 4194304 5965102 140734257053120 139707263478296 5237527 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=13469/tid=13472] ppid=13467 vsize=199956 CPUtime=2.79 cores=1,3,5,7
/proc/13469/task/13472/stat : 13472 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 2617 0 0 0 279 0 0 0 20 0 3 0 276049897 204754944 24961 33554432000 4194304 5965102 140734257053120 139707252988216 4404604 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 199956
[startup+6.3004 s]
/proc/loadavg: 4.01 3.99 3.96 5/181 13472
/proc/meminfo: memFree=30282304/32873844 swapFree=7364/7364
[pid=13469] ppid=13467 vsize=265492 CPUtime=12.29 cores=1,3,5,7
/proc/13469/stat : 13469 (pwbo2.0) S 13467 13469 11438 0 -1 4202496 58421 0 0 0 1214 15 0 0 20 0 3 0 276049870 271863808 30103 33554432000 4194304 5965102 140734257053120 140734257052640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13469/statm: 66373 30103 200 433 0 65937 0
[pid=13469/tid=13471] ppid=13467 vsize=265492 CPUtime=5.99 cores=1,3,5,7
/proc/13469/task/13471/stat : 13471 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 45907 0 0 0 587 12 0 0 20 0 3 0 276049897 271863808 30103 33554432000 4194304 5965102 140734257053120 139707263478296 5139822 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=13469/tid=13472] ppid=13467 vsize=265492 CPUtime=5.98 cores=1,3,5,7
/proc/13469/task/13472/stat : 13472 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 2684 0 0 0 597 1 0 0 20 0 3 0 276049897 271863808 30103 33554432000 4194304 5965102 140734257053120 139707252988216 4400894 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 265492
[startup+12.7004 s]
/proc/loadavg: 4.01 3.99 3.96 5/181 13472
/proc/meminfo: memFree=30242764/32873844 swapFree=7364/7364
[pid=13469] ppid=13467 vsize=265492 CPUtime=25.08 cores=1,3,5,7
/proc/13469/stat : 13469 (pwbo2.0) S 13467 13469 11438 0 -1 4202496 91888 0 0 0 2486 22 0 0 20 0 3 0 276049870 271863808 38873 33554432000 4194304 5965102 140734257053120 140734257052640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13469/statm: 66373 38873 200 433 0 65937 0
[pid=13469/tid=13471] ppid=13467 vsize=265492 CPUtime=12.37 cores=1,3,5,7
/proc/13469/task/13471/stat : 13471 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 79251 0 0 0 1218 19 0 0 20 0 3 0 276049897 271863808 38873 33554432000 4194304 5965102 140734257053120 139707263478296 5123123 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=13469/tid=13472] ppid=13467 vsize=265492 CPUtime=12.36 cores=1,3,5,7
/proc/13469/task/13472/stat : 13472 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 2807 0 0 0 1235 1 0 0 20 0 3 0 276049897 271863808 38873 33554432000 4194304 5965102 140734257053120 139707252988264 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 265492
[startup+25.5004 s]
/proc/loadavg: 4.01 3.99 3.96 5/181 13472
/proc/meminfo: memFree=30176824/32873844 swapFree=7364/7364
[pid=13469] ppid=13467 vsize=331156 CPUtime=50.67 cores=1,3,5,7
/proc/13469/stat : 13469 (pwbo2.0) S 13467 13469 11438 0 -1 4202496 146934 0 0 0 5033 34 0 0 20 0 3 0 276049870 339103744 53903 33554432000 4194304 5965102 140734257053120 140734257052640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13469/statm: 82789 53903 200 433 0 82353 0
[pid=13469/tid=13471] ppid=13467 vsize=331156 CPUtime=25.13 cores=1,3,5,7
/proc/13469/task/13471/stat : 13471 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 134061 0 0 0 2482 31 0 0 20 0 3 0 276049897 339103744 53903 33554432000 4194304 5965102 140734257053120 139707263478296 5244999 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=13469/tid=13472] ppid=13467 vsize=331156 CPUtime=25.13 cores=1,3,5,7
/proc/13469/task/13472/stat : 13472 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 3043 0 0 0 2512 1 0 0 20 0 3 0 276049897 339103744 53903 33554432000 4194304 5965102 140734257053120 139707252987736 4393958 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 331156
[startup+51.1004 s]
/proc/loadavg: 4.08 4.01 3.96 5/181 13472
/proc/meminfo: memFree=30065356/32873844 swapFree=7364/7364
[pid=13469] ppid=13467 vsize=465468 CPUtime=101.87 cores=1,3,5,7
/proc/13469/stat : 13469 (pwbo2.0) S 13467 13469 11438 0 -1 4202496 233763 0 0 0 10133 54 0 0 20 0 3 0 276049870 476639232 80691 33554432000 4194304 5965102 140734257053120 140734257052640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13469/statm: 116367 80691 200 433 0 115931 0
[pid=13469/tid=13471] ppid=13467 vsize=465468 CPUtime=50.67 cores=1,3,5,7
/proc/13469/task/13471/stat : 13471 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 220485 0 0 0 5018 49 0 0 20 0 3 0 276049897 476639232 80691 33554432000 4194304 5965102 140734257053120 139707263478296 5131627 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=13469/tid=13472] ppid=13467 vsize=465468 CPUtime=50.66 cores=1,3,5,7
/proc/13469/task/13472/stat : 13472 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 3448 0 0 0 5064 2 0 0 20 0 3 0 276049897 476639232 80691 33554432000 4194304 5965102 140734257053120 139707252988264 4383033 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 465468
[startup+102.307 s]
/proc/loadavg: 4.03 4.01 3.96 5/181 13472
/proc/meminfo: memFree=29932760/32873844 swapFree=7364/7364
[pid=13469] ppid=13467 vsize=596540 CPUtime=204.27 cores=1,3,5,7
/proc/13469/stat : 13469 (pwbo2.0) S 13467 13469 11438 0 -1 4202496 362830 0 0 0 20345 82 0 0 20 0 3 0 276049870 610856960 113903 33554432000 4194304 5965102 140734257053120 140734257052640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13469/statm: 149135 113903 200 433 0 148699 0
[pid=13469/tid=13471] ppid=13467 vsize=596540 CPUtime=101.74 cores=1,3,5,7
/proc/13469/task/13471/stat : 13471 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 348782 0 0 0 10097 77 0 0 20 0 3 0 276049897 610856960 113903 33554432000 4194304 5965102 140734257053120 139707263478168 5136332 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=13469/tid=13472] ppid=13467 vsize=596540 CPUtime=101.74 cores=1,3,5,7
/proc/13469/task/13472/stat : 13472 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 4218 0 0 0 10169 5 0 0 20 0 3 0 276049897 610856960 113903 33554432000 4194304 5965102 140734257053120 139707252988216 4400894 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.27
Current children cumulated vsize (KiB) 596540
[startup+162.3 s]
/proc/loadavg: 4.01 4.00 3.96 5/181 13473
/proc/meminfo: memFree=29768760/32873844 swapFree=7364/7364
[pid=13469] ppid=13467 vsize=727612 CPUtime=324.24 cores=1,3,5,7
/proc/13469/stat : 13469 (pwbo2.0) S 13467 13469 11438 0 -1 4202496 499875 0 0 0 32311 113 0 0 20 0 3 0 276049870 745074688 154124 33554432000 4194304 5965102 140734257053120 140734257052640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13469/statm: 181903 154124 200 433 0 181467 0
[pid=13469/tid=13471] ppid=13467 vsize=727612 CPUtime=161.58 cores=1,3,5,7
/proc/13469/task/13471/stat : 13471 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 484616 0 0 0 16052 106 0 0 20 0 3 0 276049897 745074688 154124 33554432000 4194304 5965102 140734257053120 139707263478296 5123034 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=13469/tid=13472] ppid=13467 vsize=727612 CPUtime=161.58 cores=1,3,5,7
/proc/13469/task/13472/stat : 13472 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 5429 0 0 0 16149 9 0 0 20 0 3 0 276049897 745074688 154124 33554432000 4194304 5965102 140734257053120 139707252988216 4383000 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.24
Current children cumulated vsize (KiB) 727612
[startup+222.3 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 13473
/proc/meminfo: memFree=29639452/32873844 swapFree=7364/7364
[pid=13469] ppid=13467 vsize=858684 CPUtime=444.22 cores=1,3,5,7
/proc/13469/stat : 13469 (pwbo2.0) S 13467 13469 11438 0 -1 4202496 560041 0 0 0 44293 129 0 0 20 0 3 0 276049870 879292416 184391 33554432000 4194304 5965102 140734257053120 140734257052640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13469/statm: 214671 184391 200 433 0 214235 0
[pid=13469/tid=13471] ppid=13467 vsize=858684 CPUtime=221.43 cores=1,3,5,7
/proc/13469/task/13471/stat : 13471 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 544676 0 0 0 22020 123 0 0 20 0 3 0 276049897 879292416 184391 33554432000 4194304 5965102 140734257053120 139707263478296 4390187 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=13469/tid=13472] ppid=13467 vsize=858684 CPUtime=221.43 cores=1,3,5,7
/proc/13469/task/13472/stat : 13472 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 5535 0 0 0 22133 10 0 0 20 0 3 0 276049897 879292416 184391 33554432000 4194304 5965102 140734257053120 139707252988216 4404615 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.22
Current children cumulated vsize (KiB) 858684
[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 13473
/proc/meminfo: memFree=29570884/32873844 swapFree=7364/7364
[pid=13469] ppid=13467 vsize=920980 CPUtime=564.2 cores=1,3,5,7
/proc/13469/stat : 13469 (pwbo2.0) S 13467 13469 11438 0 -1 4202496 609934 0 0 0 56277 143 0 0 20 0 3 0 276049870 943083520 201562 33554432000 4194304 5965102 140734257053120 140734257052640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13469/statm: 230245 201562 200 433 0 229809 0
[pid=13469/tid=13471] ppid=13467 vsize=920980 CPUtime=281.28 cores=1,3,5,7
/proc/13469/task/13471/stat : 13471 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 593619 0 0 0 27992 136 0 0 20 0 3 0 276049897 943083520 201562 33554432000 4194304 5965102 140734257053120 139707263478296 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=13469/tid=13472] ppid=13467 vsize=920980 CPUtime=281.27 cores=1,3,5,7
/proc/13469/task/13472/stat : 13472 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 6485 0 0 0 28114 13 0 0 20 0 3 0 276049897 943083520 201562 33554432000 4194304 5965102 140734257053120 139707252988216 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.2
Current children cumulated vsize (KiB) 920980
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 13473
/proc/meminfo: memFree=29559572/32873844 swapFree=7364/7364
[pid=13469] ppid=13467 vsize=920980 CPUtime=684.18 cores=1,3,5,7
/proc/13469/stat : 13469 (pwbo2.0) S 13467 13469 11438 0 -1 4202496 611193 0 0 0 68272 146 0 0 20 0 3 0 276049870 943083520 202821 33554432000 4194304 5965102 140734257053120 140734257052640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13469/statm: 230245 202821 200 433 0 229809 0
################
# More data... #
################
[pid=13469/tid=13472] ppid=13467 vsize=920980 CPUtime=341.12 cores=1,3,5,7
/proc/13469/task/13472/stat : 13472 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 7744 0 0 0 34095 17 0 0 20 0 3 0 276049897 943083520 202821 33554432000 4194304 5965102 140734257053120 139707252988152 4388991 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.18
Current children cumulated vsize (KiB) 920980
[startup+402.3 s]
/proc/loadavg: 3.94 3.98 3.96 5/182 13517
/proc/meminfo: memFree=29547176/32873844 swapFree=7364/7364
[pid=13469] ppid=13467 vsize=920980 CPUtime=804.15 cores=1,3,5,7
/proc/13469/stat : 13469 (pwbo2.0) S 13467 13469 11438 0 -1 4202496 612535 0 0 0 80267 148 0 0 20 0 3 0 276049870 943083520 204895 33554432000 4194304 5965102 140734257053120 140734257052640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13469/statm: 230245 204895 200 433 0 229809 0
[pid=13469/tid=13471] ppid=13467 vsize=920980 CPUtime=400.97 cores=1,3,5,7
/proc/13469/task/13471/stat : 13471 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 593866 0 0 0 39959 138 0 0 20 0 3 0 276049897 943083520 204895 33554432000 4194304 5965102 140734257053120 139707263478296 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=13469/tid=13472] ppid=13467 vsize=920980 CPUtime=400.96 cores=1,3,5,7
/proc/13469/task/13472/stat : 13472 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 8839 0 0 0 40076 20 0 0 20 0 3 0 276049897 943083520 204895 33554432000 4194304 5965102 140734257053120 139707252988216 4390200 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.15
Current children cumulated vsize (KiB) 920980
[startup+462.3 s]
/proc/loadavg: 3.98 3.98 3.96 5/181 13518
/proc/meminfo: memFree=29181796/32873844 swapFree=7364/7364
[pid=13469] ppid=13467 vsize=920980 CPUtime=924.11 cores=1,3,5,7
/proc/13469/stat : 13469 (pwbo2.0) S 13467 13469 11438 0 -1 4202496 612807 0 0 0 92262 149 0 0 20 0 3 0 276049870 943083520 205139 33554432000 4194304 5965102 140734257053120 140734257052640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13469/statm: 230245 205139 200 433 0 229809 0
[pid=13469/tid=13471] ppid=13467 vsize=920980 CPUtime=460.79 cores=1,3,5,7
/proc/13469/task/13471/stat : 13471 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 594138 0 0 0 45940 139 0 0 20 0 3 0 276049897 943083520 205139 33554432000 4194304 5965102 140734257053120 139707263477560 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=13469/tid=13472] ppid=13467 vsize=920980 CPUtime=460.81 cores=1,3,5,7
/proc/13469/task/13472/stat : 13472 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 8839 0 0 0 46060 21 0 0 20 0 3 0 276049897 943083520 205139 33554432000 4194304 5965102 140734257053120 139707252988216 4390112 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.11
Current children cumulated vsize (KiB) 920980
[startup+522.3 s]
/proc/loadavg: 3.99 3.98 3.96 5/181 13518
/proc/meminfo: memFree=28765516/32873844 swapFree=7364/7364
[pid=13469] ppid=13467 vsize=986516 CPUtime=1044.05 cores=1,3,5,7
/proc/13469/stat : 13469 (pwbo2.0) S 13467 13469 11438 0 -1 4202496 619595 0 0 0 104254 151 0 0 20 0 3 0 276049870 1010192384 213261 33554432000 4194304 5965102 140734257053120 140734257052640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13469/statm: 246629 213261 200 433 0 246193 0
[pid=13469/tid=13471] ppid=13467 vsize=986516 CPUtime=520.59 cores=1,3,5,7
/proc/13469/task/13471/stat : 13471 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 600925 0 0 0 51918 141 0 0 20 0 3 0 276049897 1010192384 213261 33554432000 4194304 5965102 140734257053120 139707263478296 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=13469/tid=13472] ppid=13467 vsize=986516 CPUtime=520.65 cores=1,3,5,7
/proc/13469/task/13472/stat : 13472 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 8840 0 0 0 52044 21 0 0 20 0 3 0 276049897 1010192384 213261 33554432000 4194304 5965102 140734257053120 139707252988216 4404757 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.05
Current children cumulated vsize (KiB) 986516
[startup+582.3 s]
/proc/loadavg: 4.03 4.00 3.96 5/181 13518
/proc/meminfo: memFree=28471796/32873844 swapFree=7364/7364
[pid=13469] ppid=13467 vsize=986516 CPUtime=1164.01 cores=1,3,5,7
/proc/13469/stat : 13469 (pwbo2.0) S 13467 13469 11438 0 -1 4202496 619629 0 0 0 116250 151 0 0 20 0 3 0 276049870 1010192384 213261 33554432000 4194304 5965102 140734257053120 140734257052640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13469/statm: 246629 213261 200 433 0 246193 0
[pid=13469/tid=13471] ppid=13467 vsize=986516 CPUtime=580.41 cores=1,3,5,7
/proc/13469/task/13471/stat : 13471 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 600959 0 0 0 57899 142 0 0 20 0 3 0 276049897 1010192384 213261 33554432000 4194304 5965102 140734257053120 139707263478296 4401516 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=13469/tid=13472] ppid=13467 vsize=986516 CPUtime=580.5 cores=1,3,5,7
/proc/13469/task/13472/stat : 13472 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 8840 0 0 0 58028 22 0 0 20 0 3 0 276049897 1010192384 213261 33554432000 4194304 5965102 140734257053120 139707252988216 4390125 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.01
Current children cumulated vsize (KiB) 986516
[startup+642.3 s]
/proc/loadavg: 4.01 4.00 3.96 5/181 13518
/proc/meminfo: memFree=28141064/32873844 swapFree=7364/7364
[pid=13469] ppid=13467 vsize=986516 CPUtime=1283.96 cores=1,3,5,7
/proc/13469/stat : 13469 (pwbo2.0) S 13467 13469 11438 0 -1 4202496 620823 0 0 0 128245 151 0 0 20 0 3 0 276049870 1010192384 214437 33554432000 4194304 5965102 140734257053120 140734257052640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13469/statm: 246629 214437 200 433 0 246193 0
[pid=13469/tid=13471] ppid=13467 vsize=986516 CPUtime=640.22 cores=1,3,5,7
/proc/13469/task/13471/stat : 13471 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 602153 0 0 0 63878 144 0 0 20 0 3 0 276049897 1010192384 214437 33554432000 4194304 5965102 140734257053120 139707263478296 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=13469/tid=13472] ppid=13467 vsize=986516 CPUtime=640.35 cores=1,3,5,7
/proc/13469/task/13472/stat : 13472 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 8840 0 0 0 64012 23 0 0 20 0 3 0 276049897 1010192384 214437 33554432000 4194304 5965102 140734257053120 139707252988216 4390169 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1283.96
Current children cumulated vsize (KiB) 986516
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 13518
/proc/meminfo: memFree=27811568/32873844 swapFree=7364/7364
[pid=13469] ppid=13467 vsize=986516 CPUtime=1403.88 cores=1,3,5,7
/proc/13469/stat : 13469 (pwbo2.0) S 13467 13469 11438 0 -1 4202496 620868 0 0 0 140237 151 0 0 20 0 3 0 276049870 1010192384 214437 33554432000 4194304 5965102 140734257053120 140734257052640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13469/statm: 246629 214437 200 433 0 246193 0
[pid=13469/tid=13471] ppid=13467 vsize=986516 CPUtime=700.01 cores=1,3,5,7
/proc/13469/task/13471/stat : 13471 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 602198 0 0 0 69856 145 0 0 20 0 3 0 276049897 1010192384 214437 33554432000 4194304 5965102 140734257053120 139707263478296 4401582 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=13469/tid=13472] ppid=13467 vsize=986516 CPUtime=700.19 cores=1,3,5,7
/proc/13469/task/13472/stat : 13472 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 8840 0 0 0 69995 24 0 0 20 0 3 0 276049897 1010192384 214437 33554432000 4194304 5965102 140734257053120 139707252988216 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1403.88
Current children cumulated vsize (KiB) 986516
[startup+762.307 s]
/proc/loadavg: 4.04 4.01 3.97 5/181 13519
/proc/meminfo: memFree=27410972/32873844 swapFree=7364/7364
[pid=13469] ppid=13467 vsize=986516 CPUtime=1523.83 cores=1,3,5,7
/proc/13469/stat : 13469 (pwbo2.0) S 13467 13469 11438 0 -1 4202496 620911 0 0 0 152232 151 0 0 20 0 3 0 276049870 1010192384 214437 33554432000 4194304 5965102 140734257053120 140734257052640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13469/statm: 246629 214437 200 433 0 246193 0
[pid=13469/tid=13471] ppid=13467 vsize=986516 CPUtime=759.82 cores=1,3,5,7
/proc/13469/task/13471/stat : 13471 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 602241 0 0 0 75836 146 0 0 20 0 3 0 276049897 1010192384 214437 33554432000 4194304 5965102 140734257053120 139707263478296 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=13469/tid=13472] ppid=13467 vsize=986516 CPUtime=760.05 cores=1,3,5,7
/proc/13469/task/13472/stat : 13472 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 8840 0 0 0 75980 25 0 0 20 0 3 0 276049897 1010192384 214437 33554432000 4194304 5965102 140734257053120 139707252988216 4404732 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1523.83
Current children cumulated vsize (KiB) 986516
[startup+822.3 s]
/proc/loadavg: 4.01 4.01 3.97 5/181 13519
/proc/meminfo: memFree=27080212/32873844 swapFree=7364/7364
[pid=13469] ppid=13467 vsize=986516 CPUtime=1643.77 cores=1,3,5,7
/proc/13469/stat : 13469 (pwbo2.0) S 13467 13469 11438 0 -1 4202496 620944 0 0 0 164226 151 0 0 20 0 3 0 276049870 1010192384 214438 33554432000 4194304 5965102 140734257053120 140734257052640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13469/statm: 246629 214438 200 433 0 246193 0
[pid=13469/tid=13471] ppid=13467 vsize=986516 CPUtime=819.64 cores=1,3,5,7
/proc/13469/task/13471/stat : 13471 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 602270 0 0 0 81817 147 0 0 20 0 3 0 276049897 1010192384 214438 33554432000 4194304 5965102 140734257053120 139707263478296 4401009 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=13469/tid=13472] ppid=13467 vsize=986516 CPUtime=819.88 cores=1,3,5,7
/proc/13469/task/13472/stat : 13472 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 8844 0 0 0 81962 26 0 0 20 0 3 0 276049897 1010192384 214438 33554432000 4194304 5965102 140734257053120 139707252988216 4400978 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1643.77
Current children cumulated vsize (KiB) 986516
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.97 5/181 13519
/proc/meminfo: memFree=26730432/32873844 swapFree=7364/7364
[pid=13469] ppid=13467 vsize=986516 CPUtime=1763.73 cores=1,3,5,7
/proc/13469/stat : 13469 (pwbo2.0) S 13467 13469 11438 0 -1 4202496 621725 0 0 0 176220 153 0 0 20 0 3 0 276049870 1010192384 215745 33554432000 4194304 5965102 140734257053120 140734257052640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13469/statm: 246629 215745 200 433 0 246193 0
[pid=13469/tid=13471] ppid=13467 vsize=986516 CPUtime=879.46 cores=1,3,5,7
/proc/13469/task/13471/stat : 13471 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 602516 0 0 0 87798 148 0 0 20 0 3 0 276049897 1010192384 215745 33554432000 4194304 5965102 140734257053120 139707263478296 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=13469/tid=13472] ppid=13467 vsize=986516 CPUtime=879.73 cores=1,3,5,7
/proc/13469/task/13472/stat : 13472 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 9379 0 0 0 87944 29 0 0 20 0 3 0 276049897 1010192384 215745 33554432000 4194304 5965102 140734257053120 139707252988152 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1763.73
Current children cumulated vsize (KiB) 986516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.5 s]
/proc/loadavg: 4.00 4.00 3.97 5/181 13519
/proc/meminfo: memFree=26723340/32873844 swapFree=7364/7364
[pid=13469] ppid=13467 vsize=986516 CPUtime=1800.14 cores=1,3,5,7
/proc/13469/stat : 13469 (pwbo2.0) S 13467 13469 11438 0 -1 4202496 622385 0 0 0 179860 154 0 0 20 0 3 0 276049870 1010192384 216916 33554432000 4194304 5965102 140734257053120 140734257052640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13469/statm: 246629 216916 200 433 0 246193 0
[pid=13469/tid=13471] ppid=13467 vsize=986516 CPUtime=897.62 cores=1,3,5,7
/proc/13469/task/13471/stat : 13471 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 602934 0 0 0 89613 149 0 0 20 0 3 0 276049897 1010192384 216916 33554432000 4194304 5965102 140734257053120 139707263477560 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=13469/tid=13472] ppid=13467 vsize=986516 CPUtime=897.89 cores=1,3,5,7
/proc/13469/task/13472/stat : 13472 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 9621 0 0 0 89760 29 0 0 20 0 3 0 276049897 1010192384 216916 33554432000 4194304 5965102 140734257053120 139707252988024 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 986516
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.5 s]
/proc/loadavg: 4.00 4.00 3.97 5/181 13519
/proc/meminfo: memFree=26723340/32873844 swapFree=7364/7364
[pid=13469] ppid=13467 vsize=986516 CPUtime=1800.14 cores=1,3,5,7
/proc/13469/stat : 13469 (pwbo2.0) S 13467 13469 11438 0 -1 4202496 622385 0 0 0 179860 154 0 0 20 0 3 0 276049870 1010192384 216916 33554432000 4194304 5965102 140734257053120 140734257052640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13469/statm: 246629 216916 200 433 0 246193 0
[pid=13469/tid=13471] ppid=13467 vsize=986516 CPUtime=897.62 cores=1,3,5,7
/proc/13469/task/13471/stat : 13471 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 602934 0 0 0 89613 149 0 0 20 0 3 0 276049897 1010192384 216916 33554432000 4194304 5965102 140734257053120 139707263477560 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=13469/tid=13472] ppid=13467 vsize=986516 CPUtime=897.89 cores=1,3,5,7
/proc/13469/task/13472/stat : 13472 (pwbo2.0) R 13467 13469 11438 0 -1 4202560 9621 0 0 0 89760 29 0 0 20 0 3 0 276049897 1010192384 216916 33554432000 4194304 5965102 140734257053120 139707252988024 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 986516
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13469 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=998270
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=824722
# CPU time returned by wait4() is 1795.82
# while last known CPU time is 1800.14
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.519
CPU time (s): 1800.14
CPU user time (s): 1798.6
CPU system time (s): 1.54
CPU usage (%): 199.9
Max. virtual memory (cumulated for all children) (KiB): 986516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794
system time used= 1.82472
maximum resident set size= 867668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 622386
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= 1388
involuntary context switches= 1879
runsolver used 2.23266 second user time and 5.29319 second system time
The end