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-3725814-1338653577/watcher-3725814-1338653577 -o /tmp/evaluation-result-3725814-1338653577/solver-3725814-1338653577 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725814-1338653577.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.93 3.97 3.59 4/178 22810
/proc/meminfo: memFree=27884364/32873648 swapFree=6852/6852
[pid=22810] ppid=22808 vsize=4384 CPUtime=0 cores=0,2,4,6
/proc/22810/stat : 22810 (pwbo2.02) R 22808 22810 20635 0 -1 4202496 370 0 0 0 0 0 0 0 20 0 1 0 331484494 4489216 323 33554432000 4194304 5964478 140736802990480 140734234087544 5136490 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/22810/statm: 1096 323 170 433 0 612 0
[startup+0.0776469 s]
/proc/loadavg: 3.93 3.97 3.59 4/178 22810
/proc/meminfo: memFree=27884364/32873648 swapFree=6852/6852
[pid=22810] ppid=22808 vsize=163620 CPUtime=0.13 cores=0,2,4,6
/proc/22810/stat : 22810 (pwbo2.02) S 22808 22810 20635 0 -1 4202496 1971 0 0 0 13 0 0 0 20 0 3 0 331484494 167546880 1872 33554432000 4194304 5964478 140736802990480 140736802990000 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22810/statm: 40905 1872 193 433 0 40469 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 163620
[startup+0.10021 s]
/proc/loadavg: 3.93 3.97 3.59 4/178 22810
/proc/meminfo: memFree=27884364/32873648 swapFree=6852/6852
[pid=22810] ppid=22808 vsize=163620 CPUtime=0.17 cores=0,2,4,6
/proc/22810/stat : 22810 (pwbo2.02) S 22808 22810 20635 0 -1 4202496 2023 0 0 0 17 0 0 0 20 0 3 0 331484494 167546880 1924 33554432000 4194304 5964478 140736802990480 140736802990000 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22810/statm: 40905 1925 193 433 0 40469 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 163620
[startup+0.300174 s]
/proc/loadavg: 3.93 3.97 3.59 4/178 22810
/proc/meminfo: memFree=27884364/32873648 swapFree=6852/6852
[pid=22810] ppid=22808 vsize=169460 CPUtime=0.57 cores=0,2,4,6
/proc/22810/stat : 22810 (pwbo2.02) S 22808 22810 20635 0 -1 4202496 4769 0 0 0 56 1 0 0 20 0 3 0 331484494 173527040 4646 33554432000 4194304 5964478 140736802990480 140736802990000 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22810/statm: 42365 4646 204 433 0 41929 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 169460
[startup+0.700173 s]
/proc/loadavg: 3.93 3.97 3.59 4/178 22810
/proc/meminfo: memFree=27884364/32873648 swapFree=6852/6852
[pid=22810] ppid=22808 vsize=169460 CPUtime=1.37 cores=0,2,4,6
/proc/22810/stat : 22810 (pwbo2.02) S 22808 22810 20635 0 -1 4202496 5465 0 0 0 136 1 0 0 20 0 3 0 331484494 173527040 5247 33554432000 4194304 5964478 140736802990480 140736802990000 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22810/statm: 42365 5247 204 433 0 41929 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 169460
[startup+1.5003 s]
/proc/loadavg: 3.93 3.97 3.59 5/181 22813
/proc/meminfo: memFree=27863120/32873648 swapFree=6852/6852
[pid=22810] ppid=22808 vsize=169624 CPUtime=2.97 cores=0,2,4,6
/proc/22810/stat : 22810 (pwbo2.02) S 22808 22810 20635 0 -1 4202496 6487 0 0 0 295 2 0 0 20 0 3 0 331484494 173694976 6256 33554432000 4194304 5964478 140736802990480 140736802990000 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22810/statm: 42406 6256 204 433 0 41970 0
[pid=22810/tid=22812] ppid=22808 vsize=169624 CPUtime=1.46 cores=0,2,4,6
/proc/22810/task/22812/stat : 22812 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 1870 0 0 0 146 0 0 0 20 0 3 0 331484496 173694976 6256 33554432000 4194304 5964478 140736802990480 139789428680504 18446744073699066235 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22810/tid=22813] ppid=22808 vsize=169624 CPUtime=1.47 cores=0,2,4,6
/proc/22810/task/22813/stat : 22813 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 3506 0 0 0 145 2 0 0 20 0 3 0 331484496 173694976 6256 33554432000 4194304 5964478 140736802990480 139789418191160 4399854 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 169624
[startup+3.1003 s]
/proc/loadavg: 3.93 3.97 3.59 5/181 22813
/proc/meminfo: memFree=27856540/32873648 swapFree=6852/6852
[pid=22810] ppid=22808 vsize=169624 CPUtime=6.16 cores=0,2,4,6
/proc/22810/stat : 22810 (pwbo2.02) S 22808 22810 20635 0 -1 4202496 7854 0 0 0 614 2 0 0 20 0 3 0 331484494 173694976 7597 33554432000 4194304 5964478 140736802990480 140736802990000 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22810/statm: 42406 7597 204 433 0 41970 0
[pid=22810/tid=22812] ppid=22808 vsize=169624 CPUtime=3.06 cores=0,2,4,6
/proc/22810/task/22812/stat : 22812 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 2717 0 0 0 305 1 0 0 20 0 3 0 331484496 173694976 7597 33554432000 4194304 5964478 140736802990480 139789428681656 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22810/tid=22813] ppid=22808 vsize=169624 CPUtime=3.07 cores=0,2,4,6
/proc/22810/task/22813/stat : 22813 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 4026 0 0 0 305 2 0 0 20 0 3 0 331484496 173694976 7597 33554432000 4194304 5964478 140736802990480 139789418190968 4399915 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 169624
[startup+6.30031 s]
/proc/loadavg: 3.94 3.97 3.59 5/181 22813
/proc/meminfo: memFree=27841040/32873648 swapFree=6852/6852
[pid=22810] ppid=22808 vsize=169840 CPUtime=12.57 cores=0,2,4,6
/proc/22810/stat : 22810 (pwbo2.02) S 22808 22810 20635 0 -1 4202496 9462 0 0 0 1253 4 0 0 20 0 3 0 331484494 173916160 9205 33554432000 4194304 5964478 140736802990480 140736802990000 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22810/statm: 42460 9205 204 433 0 42024 0
[pid=22810/tid=22812] ppid=22808 vsize=169840 CPUtime=6.26 cores=0,2,4,6
/proc/22810/task/22812/stat : 22812 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 3187 0 0 0 625 1 0 0 20 0 3 0 331484496 173916160 9205 33554432000 4194304 5964478 140736802990480 139789428680504 4388741 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22810/tid=22813] ppid=22808 vsize=169840 CPUtime=6.27 cores=0,2,4,6
/proc/22810/task/22813/stat : 22813 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 5164 0 0 0 624 3 0 0 20 0 3 0 331484496 173916160 9205 33554432000 4194304 5964478 140736802990480 139789418191208 4400632 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 169840
[startup+12.7003 s]
/proc/loadavg: 3.94 3.97 3.59 5/181 22813
/proc/meminfo: memFree=27811280/32873648 swapFree=6852/6852
[pid=22810] ppid=22808 vsize=170080 CPUtime=25.37 cores=0,2,4,6
/proc/22810/stat : 22810 (pwbo2.02) S 22808 22810 20635 0 -1 4202496 11737 0 0 0 2531 6 0 0 20 0 3 0 331484494 174161920 11444 33554432000 4194304 5964478 140736802990480 140736802990000 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22810/statm: 42520 11444 204 433 0 42084 0
[pid=22810/tid=22812] ppid=22808 vsize=170080 CPUtime=12.66 cores=0,2,4,6
/proc/22810/task/22812/stat : 22812 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 4187 0 0 0 1264 2 0 0 20 0 3 0 331484496 174161920 11444 33554432000 4194304 5964478 140736802990480 139789428680800 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22810/tid=22813] ppid=22808 vsize=170080 CPUtime=12.67 cores=0,2,4,6
/proc/22810/task/22813/stat : 22813 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 6439 0 0 0 1263 4 0 0 20 0 3 0 331484496 174161920 11444 33554432000 4194304 5964478 140736802990480 139789418191160 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 170080
[startup+25.5004 s]
/proc/loadavg: 3.96 3.97 3.60 5/181 22813
/proc/meminfo: memFree=27792828/32873648 swapFree=6852/6852
[pid=22810] ppid=22808 vsize=170508 CPUtime=50.96 cores=0,2,4,6
/proc/22810/stat : 22810 (pwbo2.02) S 22808 22810 20635 0 -1 4202496 15782 0 0 0 5088 8 0 0 20 0 3 0 331484494 174600192 15425 33554432000 4194304 5964478 140736802990480 140736802990000 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22810/statm: 42627 15425 204 433 0 42191 0
[pid=22810/tid=22812] ppid=22808 vsize=170508 CPUtime=25.47 cores=0,2,4,6
/proc/22810/task/22812/stat : 22812 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 6450 0 0 0 2543 4 0 0 20 0 3 0 331484496 174600192 15425 33554432000 4194304 5964478 140736802990480 139789428681240 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22810/tid=22813] ppid=22808 vsize=170508 CPUtime=25.47 cores=0,2,4,6
/proc/22810/task/22813/stat : 22813 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 8221 0 0 0 2542 5 0 0 20 0 3 0 331484496 174600192 15425 33554432000 4194304 5964478 140736802990480 139789418191208 4399915 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 170508
[startup+51.1004 s]
/proc/loadavg: 4.03 3.99 3.61 5/181 22813
/proc/meminfo: memFree=27699416/32873648 swapFree=6852/6852
[pid=22810] ppid=22808 vsize=171620 CPUtime=102.13 cores=0,2,4,6
/proc/22810/stat : 22810 (pwbo2.02) S 22808 22810 20635 0 -1 4202496 26429 0 0 0 10200 13 0 0 20 0 3 0 331484494 175738880 26418 33554432000 4194304 5964478 140736802990480 140736802990000 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22810/statm: 42905 26418 204 433 0 42469 0
[pid=22810/tid=22812] ppid=22808 vsize=171620 CPUtime=51.05 cores=0,2,4,6
/proc/22810/task/22812/stat : 22812 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 8141 0 0 0 5100 5 0 0 20 0 3 0 331484496 175738880 26418 33554432000 4194304 5964478 140736802990480 139789428681064 4400106 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22810/tid=22813] ppid=22808 vsize=171620 CPUtime=51.06 cores=0,2,4,6
/proc/22810/task/22813/stat : 22813 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 17177 0 0 0 5097 9 0 0 20 0 3 0 331484496 175738880 26418 33554432000 4194304 5964478 140736802990480 139789418191208 4400010 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 171620
[startup+102.307 s]
/proc/loadavg: 4.01 3.99 3.63 5/181 22813
/proc/meminfo: memFree=27600476/32873648 swapFree=6852/6852
[pid=22810] ppid=22808 vsize=237896 CPUtime=204.5 cores=0,2,4,6
/proc/22810/stat : 22810 (pwbo2.02) S 22808 22810 20635 0 -1 4202496 37469 0 0 0 20421 29 0 0 20 0 3 0 331484494 243605504 37954 33554432000 4194304 5964478 140736802990480 140736802990000 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22810/statm: 59474 37954 204 433 0 59038 0
[pid=22810/tid=22812] ppid=22808 vsize=237896 CPUtime=102.26 cores=0,2,4,6
/proc/22810/task/22812/stat : 22812 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 8147 0 0 0 10220 6 0 0 20 0 3 0 331484496 243605504 37954 33554432000 4194304 5964478 140736802990480 139789428680800 4400435 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22810/tid=22813] ppid=22808 vsize=237896 CPUtime=102.25 cores=0,2,4,6
/proc/22810/task/22813/stat : 22813 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 28211 0 0 0 10199 26 0 0 20 0 3 0 331484496 243605504 37954 33554432000 4194304 5964478 140736802990480 139789418191160 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.5
Current children cumulated vsize (KiB) 237896
[startup+162.3 s]
/proc/loadavg: 4.00 3.99 3.65 5/181 22813
/proc/meminfo: memFree=27472920/32873648 swapFree=6852/6852
[pid=22810] ppid=22808 vsize=304332 CPUtime=324.46 cores=0,2,4,6
/proc/22810/stat : 22810 (pwbo2.02) S 22808 22810 20635 0 -1 4202496 52510 0 0 0 32393 53 0 0 20 0 3 0 331484494 311635968 53302 33554432000 4194304 5964478 140736802990480 140736802990000 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22810/statm: 76083 53302 204 433 0 75647 0
[pid=22810/tid=22812] ppid=22808 vsize=304332 CPUtime=162.25 cores=0,2,4,6
/proc/22810/task/22812/stat : 22812 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 9930 0 0 0 16217 8 0 0 20 0 3 0 331484496 311635968 53302 33554432000 4194304 5964478 140736802990480 139789428680800 4379232 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22810/tid=22813] ppid=22808 vsize=304332 CPUtime=162.24 cores=0,2,4,6
/proc/22810/task/22813/stat : 22813 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 41469 0 0 0 16173 51 0 0 20 0 3 0 331484496 311635968 53302 33554432000 4194304 5964478 140736802990480 139789418191160 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.46
Current children cumulated vsize (KiB) 304332
[startup+222.3 s]
/proc/loadavg: 4.00 3.99 3.67 5/181 22814
/proc/meminfo: memFree=27390544/32873648 swapFree=6852/6852
[pid=22810] ppid=22808 vsize=305564 CPUtime=444.44 cores=0,2,4,6
/proc/22810/stat : 22810 (pwbo2.02) S 22808 22810 20635 0 -1 4202496 60208 0 0 0 44381 63 0 0 20 0 3 0 331484494 312897536 61000 33554432000 4194304 5964478 140736802990480 140736802990000 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22810/statm: 76391 61000 204 433 0 75955 0
[pid=22810/tid=22812] ppid=22808 vsize=305564 CPUtime=222.25 cores=0,2,4,6
/proc/22810/task/22812/stat : 22812 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 14474 0 0 0 22210 15 0 0 20 0 3 0 331484496 312897536 61000 33554432000 4194304 5964478 140736802990480 139789428680504 4400024 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22810/tid=22813] ppid=22808 vsize=305564 CPUtime=222.24 cores=0,2,4,6
/proc/22810/task/22813/stat : 22813 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 44623 0 0 0 22169 55 0 0 20 0 3 0 331484496 312897536 61000 33554432000 4194304 5964478 140736802990480 139789418190920 4390952 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.44
Current children cumulated vsize (KiB) 305564
[startup+282.3 s]
/proc/loadavg: 4.00 3.99 3.69 5/181 22814
/proc/meminfo: memFree=27232088/32873648 swapFree=6852/6852
[pid=22810] ppid=22808 vsize=437460 CPUtime=564.43 cores=0,2,4,6
/proc/22810/stat : 22810 (pwbo2.02) S 22808 22810 20635 0 -1 4202496 91149 0 0 0 56334 109 0 0 20 0 3 0 331484494 447959040 91941 33554432000 4194304 5964478 140736802990480 140736802990000 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22810/statm: 109365 91941 204 433 0 108929 0
[pid=22810/tid=22812] ppid=22808 vsize=437460 CPUtime=282.26 cores=0,2,4,6
/proc/22810/task/22812/stat : 22812 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 26064 0 0 0 28194 32 0 0 20 0 3 0 331484496 447959040 91941 33554432000 4194304 5964478 140736802990480 139789428680504 4399986 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22810/tid=22813] ppid=22808 vsize=437460 CPUtime=282.25 cores=0,2,4,6
/proc/22810/task/22813/stat : 22813 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 63974 0 0 0 28139 86 0 0 20 0 3 0 331484496 447959040 91941 33554432000 4194304 5964478 140736802990480 139789418191160 4400760 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.43
Current children cumulated vsize (KiB) 437460
[startup+342.3 s]
/proc/loadavg: 4.00 3.99 3.70 5/181 22814
/proc/meminfo: memFree=27168444/32873648 swapFree=6852/6852
[pid=22810] ppid=22808 vsize=503144 CPUtime=684.38 cores=0,2,4,6
/proc/22810/stat : 22810 (pwbo2.02) S 22808 22810 20635 0 -1 4202496 100927 0 0 0 68303 135 0 0 20 0 3 0 331484494 515219456 101889 33554432000 4194304 5964478 140736802990480 140736802990000 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22810/statm: 125786 101889 204 433 0 125350 0
[pid=22810/tid=22812] ppid=22808 vsize=503144 CPUtime=342.24 cores=0,2,4,6
/proc/22810/task/22812/stat : 22812 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 35785 0 0 0 34165 59 0 0 20 0 3 0 331484496 515219456 101889 33554432000 4194304 5964478 140736802990480 139789428680696 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22810/tid=22813] ppid=22808 vsize=503144 CPUtime=342.25 cores=0,2,4,6
/proc/22810/task/22813/stat : 22813 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 64031 0 0 0 34138 87 0 0 20 0 3 0 331484496 515219456 101889 33554432000 4194304 5964478 140736802990480 139789418190920 4387951 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.38
Current children cumulated vsize (KiB) 503144
[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.72 5/181 22814
/proc/meminfo: memFree=26977888/32873648 swapFree=6852/6852
[pid=22810] ppid=22808 vsize=635168 CPUtime=804.32 cores=0,2,4,6
/proc/22810/stat : 22810 (pwbo2.02) S 22808 22810 20635 0 -1 4202496 139593 0 0 0 80252 180 0 0 20 0 3 0 331484494 650412032 140659 33554432000 4194304 5964478 140736802990480 140736802990000 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22810/statm: 158792 140659 204 433 0 158356 0
[pid=22810/tid=22812] ppid=22808 vsize=635168 CPUtime=402.23 cores=0,2,4,6
/proc/22810/task/22812/stat : 22812 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 46738 0 0 0 40132 91 0 0 20 0 3 0 331484496 650412032 140659 33554432000 4194304 5964478 140736802990480 139789428680696 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22810/tid=22813] ppid=22808 vsize=635168 CPUtime=402.22 cores=0,2,4,6
/proc/22810/task/22813/stat : 22813 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 91744 0 0 0 40119 103 0 0 20 0 3 0 331484496 650412032 140659 33554432000 4194304 5964478 140736802990480 139789418191160 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.32
Current children cumulated vsize (KiB) 635168
[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.74 5/182 22817
/proc/meminfo: memFree=26833716/32873648 swapFree=6852/6852
[pid=22810] ppid=22808 vsize=768012 CPUtime=924.27 cores=0,2,4,6
/proc/22810/stat : 22810 (pwbo2.02) S 22808 22810 20635 0 -1 4202496 167339 0 0 0 92225 202 0 0 20 0 3 0 331484494 786444288 168403 33554432000 4194304 5964478 140736802990480 140736802990000 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22810/statm: 192003 168403 204 433 0 191567 0
[pid=22810/tid=22812] ppid=22808 vsize=768012 CPUtime=462.24 cores=0,2,4,6
/proc/22810/task/22812/stat : 22812 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 48786 0 0 0 46127 97 0 0 20 0 3 0 331484496 786444288 168403 33554432000 4194304 5964478 140736802990480 139789428680608 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22810/tid=22813] ppid=22808 vsize=768012 CPUtime=462.19 cores=0,2,4,6
/proc/22810/task/22813/stat : 22813 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 117442 0 0 0 46098 121 0 0 20 0 3 0 331484496 786444288 168403 33554432000 4194304 5964478 140736802990480 139789418191160 4399915 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.27
Current children cumulated vsize (KiB) 768012
[startup+522.3 s]
/proc/loadavg: 4.08 4.00 3.75 5/181 22818
/proc/meminfo: memFree=26786496/32873648 swapFree=6852/6852
[pid=22810] ppid=22808 vsize=835132 CPUtime=1044.23 cores=0,2,4,6
/proc/22810/stat : 22810 (pwbo2.02) S 22808 22810 20635 0 -1 4202496 171957 0 0 0 104211 212 0 0 20 0 3 0 331484494 855175168 173050 33554432000 4194304 5964478 140736802990480 140736802990000 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22810/statm: 208783 173050 204 433 0 208347 0
[pid=22810/tid=22812] ppid=22808 vsize=835132 CPUtime=522.22 cores=0,2,4,6
/proc/22810/task/22812/stat : 22812 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 53360 0 0 0 52115 107 0 0 20 0 3 0 331484496 855175168 173050 33554432000 4194304 5964478 140736802990480 139789428680696 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22810/tid=22813] ppid=22808 vsize=835132 CPUtime=522.19 cores=0,2,4,6
/proc/22810/task/22813/stat : 22813 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 117486 0 0 0 52098 121 0 0 20 0 3 0 331484496 855175168 173050 33554432000 4194304 5964478 140736802990480 139789418191264 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.23
Current children cumulated vsize (KiB) 835132
[startup+582.3 s]
/proc/loadavg: 4.03 4.00 3.76 5/181 22818
/proc/meminfo: memFree=26708844/32873648 swapFree=6852/6852
[pid=22810] ppid=22808 vsize=838880 CPUtime=1164.22 cores=0,2,4,6
/proc/22810/stat : 22810 (pwbo2.02) S 22808 22810 20635 0 -1 4202496 178825 0 0 0 116191 231 0 0 20 0 3 0 331484494 859013120 180645 33554432000 4194304 5964478 140736802990480 140736802990000 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22810/statm: 209720 180645 204 433 0 209284 0
[pid=22810/tid=22812] ppid=22808 vsize=838880 CPUtime=582.23 cores=0,2,4,6
/proc/22810/task/22812/stat : 22812 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 60188 0 0 0 58097 126 0 0 20 0 3 0 331484496 859013120 180645 33554432000 4194304 5964478 140736802990480 139789428680504 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22810/tid=22813] ppid=22808 vsize=838880 CPUtime=582.19 cores=0,2,4,6
/proc/22810/task/22813/stat : 22813 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 117526 0 0 0 58097 122 0 0 20 0 3 0 331484496 859013120 180645 33554432000 4194304 5964478 140736802990480 139789418190920 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.22
Current children cumulated vsize (KiB) 838880
[startup+642.3 s]
/proc/loadavg: 4.01 4.00 3.78 5/181 22818
/proc/meminfo: memFree=26636332/32873648 swapFree=6852/6852
[pid=22810] ppid=22808 vsize=839012 CPUtime=1284.21 cores=0,2,4,6
/proc/22810/stat : 22810 (pwbo2.02) S 22808 22810 20635 0 -1 4202496 181094 0 0 0 128185 236 0 0 20 0 3 0 331484494 859148288 182914 33554432000 4194304 5964478 140736802990480 140736802990000 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22810/statm: 209753 182914 204 433 0 209317 0
[pid=22810/tid=22812] ppid=22808 vsize=839012 CPUtime=642.24 cores=0,2,4,6
/proc/22810/task/22812/stat : 22812 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 62400 0 0 0 64091 133 0 0 20 0 3 0 331484496 859148288 182914 33554432000 4194304 5964478 140736802990480 139789428680504 4390262 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22810/tid=22813] ppid=22808 vsize=839012 CPUtime=642.2 cores=0,2,4,6
/proc/22810/task/22813/stat : 22813 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 117583 0 0 0 64097 123 0 0 20 0 3 0 331484496 859148288 182914 33554432000 4194304 5964478 140736802990480 139789418191264 4381601 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.21
Current children cumulated vsize (KiB) 839012
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.79 5/181 22818
/proc/meminfo: memFree=26585892/32873648 swapFree=6852/6852
[pid=22810] ppid=22808 vsize=906196 CPUtime=1404.19 cores=0,2,4,6
/proc/22810/stat : 22810 (pwbo2.02) S 22808 22810 20635 0 -1 4202496 188996 0 0 0 140163 256 0 0 20 0 3 0 331484494 927944704 190816 33554432000 4194304 5964478 140736802990480 140736802990000 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22810/statm: 226549 190816 204 433 0 226113 0
[pid=22810/tid=22812] ppid=22808 vsize=906196 CPUtime=702.23 cores=0,2,4,6
/proc/22810/task/22812/stat : 22812 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 70203 0 0 0 70070 153 0 0 20 0 3 0 331484496 927944704 190816 33554432000 4194304 5964478 140736802990480 139789428680696 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22810/tid=22813] ppid=22808 vsize=906196 CPUtime=702.19 cores=0,2,4,6
/proc/22810/task/22813/stat : 22813 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 117682 0 0 0 70095 124 0 0 20 0 3 0 331484496 927944704 190816 33554432000 4194304 5964478 140736802990480 139789418190920 4403343 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.19
Current children cumulated vsize (KiB) 906196
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.80 5/181 22818
/proc/meminfo: memFree=26513140/32873648 swapFree=6852/6852
[pid=22810] ppid=22808 vsize=909248 CPUtime=1524.17 cores=0,2,4,6
/proc/22810/stat : 22810 (pwbo2.02) S 22808 22810 20635 0 -1 4202496 205908 0 0 0 152145 272 0 0 20 0 3 0 331484494 931069952 207627 33554432000 4194304 5964478 140736802990480 140736802990000 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22810/statm: 227312 207628 204 433 0 226876 0
[pid=22810/tid=22812] ppid=22808 vsize=909248 CPUtime=762.24 cores=0,2,4,6
/proc/22810/task/22812/stat : 22812 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 73878 0 0 0 76061 163 0 0 20 0 3 0 331484496 931069952 207628 33554432000 4194304 5964478 140736802990480 139789428680696 4399938 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22810/tid=22813] ppid=22808 vsize=909248 CPUtime=762.2 cores=0,2,4,6
/proc/22810/task/22813/stat : 22813 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 130920 0 0 0 76087 133 0 0 20 0 3 0 331484496 931069952 207628 33554432000 4194304 5964478 140736802990480 139789418191160 5136490 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.17
Current children cumulated vsize (KiB) 909248
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.81 5/181 22819
/proc/meminfo: memFree=26441132/32873648 swapFree=6852/6852
[pid=22810] ppid=22808 vsize=977488 CPUtime=1644.15 cores=0,2,4,6
/proc/22810/stat : 22810 (pwbo2.02) S 22808 22810 20635 0 -1 4202496 222286 0 0 0 164128 287 0 0 20 0 3 0 331484494 1000947712 224004 33554432000 4194304 5964478 140736802990480 140736802990000 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22810/statm: 244372 224004 204 433 0 243936 0
[pid=22810/tid=22812] ppid=22808 vsize=977488 CPUtime=822.24 cores=0,2,4,6
/proc/22810/task/22812/stat : 22812 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 76628 0 0 0 82054 170 0 0 20 0 3 0 331484496 1000947712 224004 33554432000 4194304 5964478 140736802990480 139789428680696 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22810/tid=22813] ppid=22808 vsize=977488 CPUtime=822.2 cores=0,2,4,6
/proc/22810/task/22813/stat : 22813 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 144547 0 0 0 82078 142 0 0 20 0 3 0 331484496 1000947712 224004 33554432000 4194304 5964478 140736802990480 139789418191264 4400519 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.15
Current children cumulated vsize (KiB) 977488
[startup+882.3 s]
/proc/loadavg: 3.96 3.98 3.82 5/181 22860
/proc/meminfo: memFree=26957816/32873648 swapFree=6852/6852
[pid=22810] ppid=22808 vsize=981704 CPUtime=1764.11 cores=0,2,4,6
/proc/22810/stat : 22810 (pwbo2.02) S 22808 22810 20635 0 -1 4202496 230081 0 0 0 176107 304 0 0 20 0 3 0 331484494 1005264896 232029 33554432000 4194304 5964478 140736802990480 140736802990000 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22810/statm: 245426 232029 204 433 0 244990 0
[pid=22810/tid=22812] ppid=22808 vsize=981704 CPUtime=882.22 cores=0,2,4,6
/proc/22810/task/22812/stat : 22812 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 84403 0 0 0 88034 188 0 0 20 0 3 0 331484496 1005264896 232029 33554432000 4194304 5964478 140736802990480 139789428680696 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22810/tid=22813] ppid=22808 vsize=981704 CPUtime=882.2 cores=0,2,4,6
/proc/22810/task/22813/stat : 22813 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 144567 0 0 0 88077 143 0 0 20 0 3 0 331484496 1005264896 232029 33554432000 4194304 5964478 140736802990480 139789418191264 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.11
Current children cumulated vsize (KiB) 981704
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 3.97 3.98 3.82 5/181 22860
/proc/meminfo: memFree=26896156/32873648 swapFree=6852/6852
[pid=22810] ppid=22808 vsize=1048688 CPUtime=1800.1 cores=0,2,4,6
/proc/22810/stat : 22810 (pwbo2.02) S 22808 22810 20635 0 -1 4202496 232000 0 0 0 179700 310 0 0 20 0 3 0 331484494 1073856512 233964 33554432000 4194304 5964478 140736802990480 140736802990000 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22810/statm: 262172 233964 204 433 0 261736 0
[pid=22810/tid=22812] ppid=22808 vsize=1048688 CPUtime=900.23 cores=0,2,4,6
/proc/22810/task/22812/stat : 22812 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 86304 0 0 0 89828 195 0 0 20 0 3 0 331484496 1073856512 233964 33554432000 4194304 5964478 140736802990480 139789428680696 4400435 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22810/tid=22813] ppid=22808 vsize=1048688 CPUtime=900.2 cores=0,2,4,6
/proc/22810/task/22813/stat : 22813 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 144585 0 0 0 89877 143 0 0 20 0 3 0 331484496 1073856512 233964 33554432000 4194304 5964478 140736802990480 139789418191264 4400091 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1048688
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.3 s]
/proc/loadavg: 3.97 3.98 3.82 5/181 22860
/proc/meminfo: memFree=26896156/32873648 swapFree=6852/6852
[pid=22810] ppid=22808 vsize=1048688 CPUtime=1800.1 cores=0,2,4,6
/proc/22810/stat : 22810 (pwbo2.02) S 22808 22810 20635 0 -1 4202496 232000 0 0 0 179700 310 0 0 20 0 3 0 331484494 1073856512 233964 33554432000 4194304 5964478 140736802990480 140736802990000 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22810/statm: 262172 233964 204 433 0 261736 0
[pid=22810/tid=22812] ppid=22808 vsize=1048688 CPUtime=900.23 cores=0,2,4,6
/proc/22810/task/22812/stat : 22812 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 86304 0 0 0 89828 195 0 0 20 0 3 0 331484496 1073856512 233964 33554432000 4194304 5964478 140736802990480 139789428680696 4400435 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22810/tid=22813] ppid=22808 vsize=1048688 CPUtime=900.2 cores=0,2,4,6
/proc/22810/task/22813/stat : 22813 (pwbo2.02) R 22808 22810 20635 0 -1 4202560 144585 0 0 0 89877 143 0 0 20 0 3 0 331484496 1073856512 233964 33554432000 4194304 5964478 140736802990480 139789418191264 4400091 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1048688
Child status: 0
Real time (s): 900.342
CPU time (s): 1800.51
CPU user time (s): 1797.08
CPU system time (s): 3.43048
CPU usage (%): 199.981
Max. virtual memory (cumulated for all children) (KiB): 1048688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.08
system time used= 3.43048
maximum resident set size= 935860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 232001
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= 512
involuntary context switches= 2015
runsolver used 1.82172 second user time and 5.2352 second system time
The end