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-3725758-1338651425/watcher-3725758-1338651425 -o /tmp/evaluation-result-3725758-1338651425/solver-3725758-1338651425 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725758-1338651425.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: 0.92 1.02 1.34 3/176 29677
/proc/meminfo: memFree=27442548/32873844 swapFree=6608/6608
[pid=29677] ppid=29675 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/29677/stat : 29677 (runsolver) D 29675 29677 28266 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 331267372 12095488 50 33554432000 4194304 5436572 140737112301408 140737112297704 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/29677/statm: 2953 50 31 304 0 2645 0
[startup+0.075352 s]
/proc/loadavg: 0.92 1.02 1.34 3/176 29677
/proc/meminfo: memFree=27442548/32873844 swapFree=6608/6608
[pid=29677] ppid=29675 vsize=166492 CPUtime=0.11 cores=0,2,4,6
/proc/29677/stat : 29677 (pwbo2.02) S 29675 29677 28266 0 -1 4202496 2975 0 0 0 11 0 0 0 20 0 3 0 331267372 170487808 2853 33554432000 4194304 5964478 140734059303312 140734059302832 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29677/statm: 41623 2853 196 433 0 41187 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 166492
[startup+0.100184 s]
/proc/loadavg: 0.92 1.02 1.34 3/176 29677
/proc/meminfo: memFree=27442548/32873844 swapFree=6608/6608
[pid=29677] ppid=29675 vsize=166300 CPUtime=0.16 cores=0,2,4,6
/proc/29677/stat : 29677 (pwbo2.02) S 29675 29677 28266 0 -1 4202496 3368 0 0 0 16 0 0 0 20 0 3 0 331267372 170291200 3104 33554432000 4194304 5964478 140734059303312 140734059302832 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29677/statm: 41575 3104 196 433 0 41139 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 166300
[startup+0.300147 s]
/proc/loadavg: 0.92 1.02 1.34 3/176 29677
/proc/meminfo: memFree=27442548/32873844 swapFree=6608/6608
[pid=29677] ppid=29675 vsize=166300 CPUtime=0.55 cores=0,2,4,6
/proc/29677/stat : 29677 (pwbo2.02) S 29675 29677 28266 0 -1 4202496 7058 0 0 0 54 1 0 0 20 0 3 0 331267372 170291200 5033 33554432000 4194304 5964478 140734059303312 140734059302832 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29677/statm: 41575 5033 197 433 0 41139 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 166300
[startup+0.700162 s]
/proc/loadavg: 0.92 1.02 1.34 3/176 29677
/proc/meminfo: memFree=27442548/32873844 swapFree=6608/6608
[pid=29677] ppid=29675 vsize=166300 CPUtime=1.35 cores=0,2,4,6
/proc/29677/stat : 29677 (pwbo2.02) S 29675 29677 28266 0 -1 4202496 16058 0 0 0 131 4 0 0 20 0 3 0 331267372 170291200 8343 33554432000 4194304 5964478 140734059303312 140734059302832 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29677/statm: 41575 8343 198 433 0 41139 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 166300
[startup+1.50032 s]
/proc/loadavg: 0.92 1.02 1.34 5/181 29682
/proc/meminfo: memFree=27367380/32873844 swapFree=6608/6608
[pid=29677] ppid=29675 vsize=166300 CPUtime=2.94 cores=0,2,4,6
/proc/29677/stat : 29677 (pwbo2.02) S 29675 29677 28266 0 -1 4202496 25262 0 0 0 289 5 0 0 20 0 3 0 331267372 170291200 12903 33554432000 4194304 5964478 140734059303312 140734059302832 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29677/statm: 41575 12903 198 433 0 41139 0
[pid=29677/tid=29681] ppid=29675 vsize=166300 CPUtime=1.45 cores=0,2,4,6
/proc/29677/task/29681/stat : 29681 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 22123 0 0 0 142 3 0 0 20 0 3 0 331267374 170291200 12904 33554432000 4194304 5964478 140734059303312 140649441691992 4395199 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29677/tid=29682] ppid=29675 vsize=166300 CPUtime=1.46 cores=0,2,4,6
/proc/29677/task/29682/stat : 29682 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 1831 0 0 0 144 2 0 0 20 0 3 0 331267374 170291200 12904 33554432000 4194304 5964478 140734059303312 140649431202104 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 166300
[startup+3.10032 s]
/proc/loadavg: 0.92 1.02 1.34 5/181 29682
/proc/meminfo: memFree=27320848/32873844 swapFree=6608/6608
[pid=29677] ppid=29675 vsize=166300 CPUtime=6.14 cores=0,2,4,6
/proc/29677/stat : 29677 (pwbo2.02) S 29675 29677 28266 0 -1 4202496 38213 0 0 0 606 8 0 0 20 0 3 0 331267372 170291200 18709 33554432000 4194304 5964478 140734059303312 140734059302832 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29677/statm: 41575 18709 198 433 0 41139 0
[pid=29677/tid=29681] ppid=29675 vsize=166300 CPUtime=3.05 cores=0,2,4,6
/proc/29677/task/29681/stat : 29681 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 33095 0 0 0 300 5 0 0 20 0 3 0 331267374 170291200 18709 33554432000 4194304 5964478 140734059303312 140649441691992 5139166 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29677/tid=29682] ppid=29675 vsize=166300 CPUtime=3.06 cores=0,2,4,6
/proc/29677/task/29682/stat : 29682 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 3809 0 0 0 302 4 0 0 20 0 3 0 331267374 170291200 18709 33554432000 4194304 5964478 140734059303312 140649431202104 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 166300
[startup+6.30033 s]
/proc/loadavg: 1.25 1.08 1.36 5/181 29682
/proc/meminfo: memFree=27242040/32873844 swapFree=6608/6608
[pid=29677] ppid=29675 vsize=231836 CPUtime=12.54 cores=0,2,4,6
/proc/29677/stat : 29677 (pwbo2.02) S 29675 29677 28266 0 -1 4202496 55927 0 0 0 1242 12 0 0 20 0 3 0 331267372 237400064 25792 33554432000 4194304 5964478 140734059303312 140734059302832 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29677/statm: 57959 25792 198 433 0 57523 0
[pid=29677/tid=29681] ppid=29675 vsize=231836 CPUtime=6.24 cores=0,2,4,6
/proc/29677/task/29681/stat : 29681 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 49733 0 0 0 617 7 0 0 20 0 3 0 331267374 237400064 25792 33554432000 4194304 5964478 140734059303312 140649441692056 5130901 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29677/tid=29682] ppid=29675 vsize=231836 CPUtime=6.25 cores=0,2,4,6
/proc/29677/task/29682/stat : 29682 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 4885 0 0 0 621 4 0 0 20 0 3 0 331267374 237400064 25792 33554432000 4194304 5964478 140734059303312 140649431202104 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 231836
[startup+12.7003 s]
/proc/loadavg: 1.47 1.13 1.37 5/181 29682
/proc/meminfo: memFree=27133696/32873844 swapFree=6608/6608
[pid=29677] ppid=29675 vsize=231836 CPUtime=25.34 cores=0,2,4,6
/proc/29677/stat : 29677 (pwbo2.02) S 29675 29677 28266 0 -1 4202496 72900 0 0 0 2519 15 0 0 20 0 3 0 331267372 237400064 36039 33554432000 4194304 5964478 140734059303312 140734059302832 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29677/statm: 57959 36039 198 433 0 57523 0
[pid=29677/tid=29681] ppid=29675 vsize=231836 CPUtime=12.63 cores=0,2,4,6
/proc/29677/task/29681/stat : 29681 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 64572 0 0 0 1253 10 0 0 20 0 3 0 331267374 237400064 36039 33554432000 4194304 5964478 140734059303312 140649441691992 4399946 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29677/tid=29682] ppid=29675 vsize=231836 CPUtime=12.63 cores=0,2,4,6
/proc/29677/task/29682/stat : 29682 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 7019 0 0 0 1258 5 0 0 20 0 3 0 331267374 237400064 36039 33554432000 4194304 5964478 140734059303312 140649431202104 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 231836
[startup+25.5003 s]
/proc/loadavg: 2.03 1.27 1.41 5/181 29682
/proc/meminfo: memFree=27018892/32873844 swapFree=6608/6608
[pid=29677] ppid=29675 vsize=297372 CPUtime=50.94 cores=0,2,4,6
/proc/29677/stat : 29677 (pwbo2.02) S 29675 29677 28266 0 -1 4202496 82680 0 0 0 5075 19 0 0 20 0 3 0 331267372 304508928 44944 33554432000 4194304 5964478 140734059303312 140734059302832 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29677/statm: 74343 44945 198 433 0 73907 0
[pid=29677/tid=29681] ppid=29675 vsize=297372 CPUtime=25.39 cores=0,2,4,6
/proc/29677/task/29681/stat : 29681 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 71132 0 0 0 2528 11 0 0 20 0 3 0 331267374 304508928 44945 33554432000 4194304 5964478 140734059303312 140649441691992 4392918 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29677/tid=29682] ppid=29675 vsize=297372 CPUtime=25.4 cores=0,2,4,6
/proc/29677/task/29682/stat : 29682 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 10240 0 0 0 2533 7 0 0 20 0 3 0 331267374 304508928 44945 33554432000 4194304 5964478 140734059303312 140649431202104 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 297372
[startup+51.1003 s]
/proc/loadavg: 2.70 1.49 1.48 5/181 29682
/proc/meminfo: memFree=26834532/32873844 swapFree=6608/6608
[pid=29677] ppid=29675 vsize=363024 CPUtime=102.13 cores=0,2,4,6
/proc/29677/stat : 29677 (pwbo2.02) S 29675 29677 28266 0 -1 4202496 130250 0 0 0 10180 33 0 0 20 0 3 0 331267372 371736576 66802 33554432000 4194304 5964478 140734059303312 140734059302832 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29677/statm: 90756 66802 198 433 0 90320 0
[pid=29677/tid=29681] ppid=29675 vsize=363024 CPUtime=50.93 cores=0,2,4,6
/proc/29677/task/29681/stat : 29681 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 109789 0 0 0 5074 19 0 0 20 0 3 0 331267374 371736576 66802 33554432000 4194304 5964478 140734059303312 140649441692184 4222464 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29677/tid=29682] ppid=29675 vsize=363024 CPUtime=50.93 cores=0,2,4,6
/proc/29677/task/29682/stat : 29682 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 19152 0 0 0 5080 13 0 0 20 0 3 0 331267374 371736576 66802 33554432000 4194304 5964478 140734059303312 140649431202152 4382029 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) 363024
[startup+102.306 s]
/proc/loadavg: 3.48 1.89 1.62 5/181 29683
/proc/meminfo: memFree=26686464/32873844 swapFree=6608/6608
[pid=29677] ppid=29675 vsize=428560 CPUtime=204.53 cores=0,2,4,6
/proc/29677/stat : 29677 (pwbo2.02) S 29675 29677 28266 0 -1 4202496 145733 0 0 0 20414 39 0 0 20 0 3 0 331267372 438845440 83434 33554432000 4194304 5964478 140734059303312 140734059302832 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29677/statm: 107140 83434 198 433 0 106704 0
[pid=29677/tid=29681] ppid=29675 vsize=428560 CPUtime=102 cores=0,2,4,6
/proc/29677/task/29681/stat : 29681 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 119186 0 0 0 10178 22 0 0 20 0 3 0 331267374 438845440 83434 33554432000 4194304 5964478 140734059303312 140649441691992 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29677/tid=29682] ppid=29675 vsize=428560 CPUtime=102.01 cores=0,2,4,6
/proc/29677/task/29682/stat : 29682 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 25238 0 0 0 10183 18 0 0 20 0 3 0 331267374 438845440 83434 33554432000 4194304 5964478 140734059303312 140649431202104 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.53
Current children cumulated vsize (KiB) 428560
[startup+162.3 s]
/proc/loadavg: 3.81 2.27 1.76 5/181 29683
/proc/meminfo: memFree=26544104/32873844 swapFree=6608/6608
[pid=29677] ppid=29675 vsize=494512 CPUtime=324.5 cores=0,2,4,6
/proc/29677/stat : 29677 (pwbo2.02) S 29675 29677 28266 0 -1 4202496 158670 0 0 0 32404 46 0 0 20 0 3 0 331267372 506380288 102002 33554432000 4194304 5964478 140734059303312 140734059302832 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29677/statm: 123628 102002 198 433 0 123192 0
[pid=29677/tid=29681] ppid=29675 vsize=494512 CPUtime=161.84 cores=0,2,4,6
/proc/29677/task/29681/stat : 29681 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 126019 0 0 0 16158 26 0 0 20 0 3 0 331267374 506380288 102002 33554432000 4194304 5964478 140734059303312 140649441692008 4388967 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29677/tid=29682] ppid=29675 vsize=494512 CPUtime=161.85 cores=0,2,4,6
/proc/29677/task/29682/stat : 29682 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 31342 0 0 0 16162 23 0 0 20 0 3 0 331267374 506380288 102002 33554432000 4194304 5964478 140734059303312 140649431202104 4403708 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.5
Current children cumulated vsize (KiB) 494512
[startup+222.3 s]
/proc/loadavg: 3.93 2.58 1.90 5/182 29686
/proc/meminfo: memFree=26357464/32873844 swapFree=6608/6608
[pid=29677] ppid=29675 vsize=625584 CPUtime=444.47 cores=0,2,4,6
/proc/29677/stat : 29677 (pwbo2.02) S 29675 29677 28266 0 -1 4202496 164728 0 0 0 44400 47 0 0 20 0 3 0 331267372 640598016 117072 33554432000 4194304 5964478 140734059303312 140734059302832 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29677/statm: 156396 117072 198 433 0 155960 0
[pid=29677/tid=29681] ppid=29675 vsize=625584 CPUtime=221.68 cores=0,2,4,6
/proc/29677/task/29681/stat : 29681 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 130124 0 0 0 22140 28 0 0 20 0 3 0 331267374 640598016 117072 33554432000 4194304 5964478 140734059303312 140649441692008 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29677/tid=29682] ppid=29675 vsize=625584 CPUtime=221.69 cores=0,2,4,6
/proc/29677/task/29682/stat : 29682 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 33295 0 0 0 22144 25 0 0 20 0 3 0 331267374 640598016 117072 33554432000 4194304 5964478 140734059303312 140649431202136 4381960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.47
Current children cumulated vsize (KiB) 625584
[startup+282.3 s]
/proc/loadavg: 3.97 2.84 2.03 5/181 29686
/proc/meminfo: memFree=26105820/32873844 swapFree=6608/6608
[pid=29677] ppid=29675 vsize=756796 CPUtime=564.43 cores=0,2,4,6
/proc/29677/stat : 29677 (pwbo2.02) S 29675 29677 28266 0 -1 4202496 208059 0 0 0 56371 72 0 0 20 0 3 0 331267372 774959104 166247 33554432000 4194304 5964478 140734059303312 140734059302832 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29677/statm: 189199 166247 198 433 0 188763 0
[pid=29677/tid=29681] ppid=29675 vsize=756796 CPUtime=281.51 cores=0,2,4,6
/proc/29677/task/29681/stat : 29681 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 162389 0 0 0 28102 49 0 0 20 0 3 0 331267374 774959104 166247 33554432000 4194304 5964478 140734059303312 140649441692008 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29677/tid=29682] ppid=29675 vsize=756796 CPUtime=281.53 cores=0,2,4,6
/proc/29677/task/29682/stat : 29682 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 44361 0 0 0 28122 31 0 0 20 0 3 0 331267374 774959104 166247 33554432000 4194304 5964478 140734059303312 140649431202104 4381960 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) 756796
[startup+342.3 s]
/proc/loadavg: 3.99 3.05 2.15 5/181 29686
/proc/meminfo: memFree=26028988/32873844 swapFree=6608/6608
[pid=29677] ppid=29675 vsize=756952 CPUtime=684.37 cores=0,2,4,6
/proc/29677/stat : 29677 (pwbo2.02) S 29675 29677 28266 0 -1 4202496 208135 0 0 0 68365 72 0 0 20 0 3 0 331267372 775118848 166277 33554432000 4194304 5964478 140734059303312 140734059302832 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29677/statm: 189238 166277 198 433 0 188802 0
################
# More data... #
################
[pid=29677/tid=29682] ppid=29675 vsize=756952 CPUtime=341.36 cores=0,2,4,6
/proc/29677/task/29682/stat : 29682 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 44415 0 0 0 34104 32 0 0 20 0 3 0 331267374 775118848 166277 33554432000 4194304 5964478 140734059303312 140649431202136 4403692 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.37
Current children cumulated vsize (KiB) 756952
[startup+402.3 s]
/proc/loadavg: 3.99 3.22 2.26 5/181 29687
/proc/meminfo: memFree=25753380/32873844 swapFree=6608/6608
[pid=29677] ppid=29675 vsize=954048 CPUtime=804.3 cores=0,2,4,6
/proc/29677/stat : 29677 (pwbo2.02) S 29675 29677 28266 0 -1 4202496 245644 0 0 0 80337 93 0 0 20 0 3 0 331267372 976945152 203807 33554432000 4194304 5964478 140734059303312 140734059302832 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29677/statm: 238512 203807 198 433 0 238076 0
[pid=29677/tid=29681] ppid=29675 vsize=954048 CPUtime=401.16 cores=0,2,4,6
/proc/29677/task/29681/stat : 29681 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 177953 0 0 0 40058 58 0 0 20 0 3 0 331267374 976945152 203807 33554432000 4194304 5964478 140734059303312 140649441691640 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29677/tid=29682] ppid=29675 vsize=954048 CPUtime=401.18 cores=0,2,4,6
/proc/29677/task/29682/stat : 29682 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 66382 0 0 0 40072 46 0 0 20 0 3 0 331267374 976945152 203807 33554432000 4194304 5964478 140734059303312 140649431202104 4382023 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.3
Current children cumulated vsize (KiB) 954048
[startup+462.3 s]
/proc/loadavg: 3.99 3.36 2.37 5/181 29687
/proc/meminfo: memFree=25489908/32873844 swapFree=6608/6608
[pid=29677] ppid=29675 vsize=1085120 CPUtime=924.24 cores=0,2,4,6
/proc/29677/stat : 29677 (pwbo2.02) S 29675 29677 28266 0 -1 4202496 280940 0 0 0 92312 112 0 0 20 0 3 0 331267372 1111162880 238655 33554432000 4194304 5964478 140734059303312 140734059302832 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29677/statm: 271280 238655 198 433 0 270844 0
[pid=29677/tid=29681] ppid=29675 vsize=1085120 CPUtime=460.98 cores=0,2,4,6
/proc/29677/task/29681/stat : 29681 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 212476 0 0 0 46021 77 0 0 20 0 3 0 331267374 1111162880 238655 33554432000 4194304 5964478 140734059303312 140649441691640 4400809 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29677/tid=29682] ppid=29675 vsize=1085120 CPUtime=461 cores=0,2,4,6
/proc/29677/task/29682/stat : 29682 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 67155 0 0 0 46053 47 0 0 20 0 3 0 331267374 1111162880 238655 33554432000 4194304 5964478 140734059303312 140649431202136 4381974 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.24
Current children cumulated vsize (KiB) 1085120
[startup+522.3 s]
/proc/loadavg: 3.99 3.47 2.47 5/181 29687
/proc/meminfo: memFree=25287560/32873844 swapFree=6608/6608
[pid=29677] ppid=29675 vsize=1216192 CPUtime=1044.21 cores=0,2,4,6
/proc/29677/stat : 29677 (pwbo2.02) S 29675 29677 28266 0 -1 4202496 312518 0 0 0 104291 130 0 0 20 0 3 0 331267372 1245380608 271426 33554432000 4194304 5964478 140734059303312 140734059302832 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29677/statm: 304048 271426 198 433 0 303612 0
[pid=29677/tid=29681] ppid=29675 vsize=1216192 CPUtime=520.82 cores=0,2,4,6
/proc/29677/task/29681/stat : 29681 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 244053 0 0 0 51986 96 0 0 20 0 3 0 331267374 1245380608 271426 33554432000 4194304 5964478 140734059303312 140649441691640 4403343 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29677/tid=29682] ppid=29675 vsize=1216192 CPUtime=520.85 cores=0,2,4,6
/proc/29677/task/29682/stat : 29682 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 67156 0 0 0 52038 47 0 0 20 0 3 0 331267374 1245380608 271426 33554432000 4194304 5964478 140734059303312 140649431202136 4382023 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.21
Current children cumulated vsize (KiB) 1216192
[startup+582.3 s]
/proc/loadavg: 3.99 3.56 2.56 5/181 29687
/proc/meminfo: memFree=25166700/32873844 swapFree=6608/6608
[pid=29677] ppid=29675 vsize=1347540 CPUtime=1164.19 cores=0,2,4,6
/proc/29677/stat : 29677 (pwbo2.02) S 29675 29677 28266 0 -1 4202496 342843 0 0 0 116270 149 0 0 20 0 3 0 331267372 1379880960 301751 33554432000 4194304 5964478 140734059303312 140734059302832 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29677/statm: 336885 301751 198 433 0 336449 0
[pid=29677/tid=29681] ppid=29675 vsize=1347540 CPUtime=580.67 cores=0,2,4,6
/proc/29677/task/29681/stat : 29681 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 272986 0 0 0 57952 115 0 0 20 0 3 0 331267374 1379880960 301751 33554432000 4194304 5964478 140734059303312 140649441691640 4392696 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29677/tid=29682] ppid=29675 vsize=1347540 CPUtime=580.69 cores=0,2,4,6
/proc/29677/task/29682/stat : 29682 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 68548 0 0 0 58019 50 0 0 20 0 3 0 331267374 1379880960 301751 33554432000 4194304 5964478 140734059303312 140649431202104 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.19
Current children cumulated vsize (KiB) 1347540
[startup+642.3 s]
/proc/loadavg: 3.99 3.64 2.65 5/181 29687
/proc/meminfo: memFree=24959600/32873844 swapFree=6608/6608
[pid=29677] ppid=29675 vsize=1544532 CPUtime=1284.18 cores=0,2,4,6
/proc/29677/stat : 29677 (pwbo2.02) S 29675 29677 28266 0 -1 4202496 386697 0 0 0 128233 185 0 0 20 0 3 0 331267372 1581600768 352557 33554432000 4194304 5964478 140734059303312 140734059302832 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29677/statm: 386133 352557 198 433 0 385697 0
[pid=29677/tid=29681] ppid=29675 vsize=1544532 CPUtime=640.52 cores=0,2,4,6
/proc/29677/task/29681/stat : 29681 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 308783 0 0 0 63910 142 0 0 20 0 3 0 331267374 1581600768 352557 33554432000 4194304 5964478 140734059303312 140649441691976 4392918 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29677/tid=29682] ppid=29675 vsize=1544532 CPUtime=640.55 cores=0,2,4,6
/proc/29677/task/29682/stat : 29682 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 76605 0 0 0 63995 60 0 0 20 0 3 0 331267374 1581600768 352557 33554432000 4194304 5964478 140734059303312 140649431201864 4400078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.18
Current children cumulated vsize (KiB) 1544532
[startup+702.3 s]
/proc/loadavg: 3.99 3.70 2.73 5/181 29688
/proc/meminfo: memFree=24923348/32873844 swapFree=6608/6608
[pid=29677] ppid=29675 vsize=1545068 CPUtime=1404.15 cores=0,2,4,6
/proc/29677/stat : 29677 (pwbo2.02) S 29675 29677 28266 0 -1 4202496 391166 0 0 0 140226 189 0 0 20 0 3 0 331267372 1582149632 357026 33554432000 4194304 5964478 140734059303312 140734059302832 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29677/statm: 386267 357026 198 433 0 385831 0
[pid=29677/tid=29681] ppid=29675 vsize=1545068 CPUtime=700.36 cores=0,2,4,6
/proc/29677/task/29681/stat : 29681 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 308787 0 0 0 69893 143 0 0 20 0 3 0 331267374 1582149632 357026 33554432000 4194304 5964478 140734059303312 140649441691976 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29677/tid=29682] ppid=29675 vsize=1545068 CPUtime=700.39 cores=0,2,4,6
/proc/29677/task/29682/stat : 29682 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 81070 0 0 0 69974 65 0 0 20 0 3 0 331267374 1582149632 357026 33554432000 4194304 5964478 140734059303312 140649431202152 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.15
Current children cumulated vsize (KiB) 1545068
[startup+762.306 s]
/proc/loadavg: 3.99 3.75 2.81 5/181 29688
/proc/meminfo: memFree=24912464/32873844 swapFree=6608/6608
[pid=29677] ppid=29675 vsize=1545640 CPUtime=1524.14 cores=0,2,4,6
/proc/29677/stat : 29677 (pwbo2.02) S 29675 29677 28266 0 -1 4202496 391400 0 0 0 152225 189 0 0 20 0 3 0 331267372 1582735360 357260 33554432000 4194304 5964478 140734059303312 140734059302832 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29677/statm: 386410 357260 198 433 0 385974 0
[pid=29677/tid=29681] ppid=29675 vsize=1545640 CPUtime=760.21 cores=0,2,4,6
/proc/29677/task/29681/stat : 29681 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 308871 0 0 0 75877 144 0 0 20 0 3 0 331267374 1582735360 357260 33554432000 4194304 5964478 140734059303312 140649441691976 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29677/tid=29682] ppid=29675 vsize=1545640 CPUtime=760.24 cores=0,2,4,6
/proc/29677/task/29682/stat : 29682 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 81220 0 0 0 75958 66 0 0 20 0 3 0 331267374 1582735360 357260 33554432000 4194304 5964478 140734059303312 140649431201864 4403713 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.14
Current children cumulated vsize (KiB) 1545640
[startup+822.3 s]
/proc/loadavg: 3.99 3.80 2.88 5/182 29691
/proc/meminfo: memFree=24912732/32873844 swapFree=6608/6608
[pid=29677] ppid=29675 vsize=1546032 CPUtime=1644.11 cores=0,2,4,6
/proc/29677/stat : 29677 (pwbo2.02) S 29675 29677 28266 0 -1 4202496 391432 0 0 0 164222 189 0 0 20 0 3 0 331267372 1583136768 357292 33554432000 4194304 5964478 140734059303312 140734059302832 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29677/statm: 386508 357292 198 433 0 386072 0
[pid=29677/tid=29681] ppid=29675 vsize=1546032 CPUtime=820.05 cores=0,2,4,6
/proc/29677/task/29681/stat : 29681 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 308890 0 0 0 81860 145 0 0 20 0 3 0 331267374 1583136768 357292 33554432000 4194304 5964478 140734059303312 140649441691976 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29677/tid=29682] ppid=29675 vsize=1546032 CPUtime=820.08 cores=0,2,4,6
/proc/29677/task/29682/stat : 29682 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 81233 0 0 0 81941 67 0 0 20 0 3 0 331267374 1583136768 357292 33554432000 4194304 5964478 140734059303312 140649431201864 4381960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.11
Current children cumulated vsize (KiB) 1546032
[startup+882.3 s]
/proc/loadavg: 3.99 3.83 2.95 5/181 29691
/proc/meminfo: memFree=24910256/32873844 swapFree=6608/6608
[pid=29677] ppid=29675 vsize=1546032 CPUtime=1764.09 cores=0,2,4,6
/proc/29677/stat : 29677 (pwbo2.02) S 29675 29677 28266 0 -1 4202496 391485 0 0 0 176220 189 0 0 20 0 3 0 331267372 1583136768 357816 33554432000 4194304 5964478 140734059303312 140734059302832 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29677/statm: 386508 357816 198 433 0 386072 0
[pid=29677/tid=29681] ppid=29675 vsize=1546032 CPUtime=879.9 cores=0,2,4,6
/proc/29677/task/29681/stat : 29681 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 308939 0 0 0 87844 146 0 0 20 0 3 0 331267374 1583136768 357816 33554432000 4194304 5964478 140734059303312 140649441691976 4400103 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29677/tid=29682] ppid=29675 vsize=1546032 CPUtime=879.93 cores=0,2,4,6
/proc/29677/task/29682/stat : 29682 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 81237 0 0 0 87925 68 0 0 20 0 3 0 331267374 1583136768 357816 33554432000 4194304 5964478 140734059303312 140649431202136 4388491 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.09
Current children cumulated vsize (KiB) 1546032
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 3.99 3.84 2.97 5/181 29691
/proc/meminfo: memFree=24910236/32873844 swapFree=6608/6608
[pid=29677] ppid=29675 vsize=1546032 CPUtime=1800.1 cores=0,2,4,6
/proc/29677/stat : 29677 (pwbo2.02) S 29675 29677 28266 0 -1 4202496 391497 0 0 0 179821 189 0 0 20 0 3 0 331267372 1583136768 357828 33554432000 4194304 5964478 140734059303312 140734059302832 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29677/statm: 386508 357828 198 433 0 386072 0
[pid=29677/tid=29681] ppid=29675 vsize=1546032 CPUtime=897.86 cores=0,2,4,6
/proc/29677/task/29681/stat : 29681 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 308950 0 0 0 89640 146 0 0 20 0 3 0 331267374 1583136768 357828 33554432000 4194304 5964478 140734059303312 140649441691976 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29677/tid=29682] ppid=29675 vsize=1546032 CPUtime=897.89 cores=0,2,4,6
/proc/29677/task/29682/stat : 29682 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 81238 0 0 0 89721 68 0 0 20 0 3 0 331267374 1583136768 357828 33554432000 4194304 5964478 140734059303312 140649431202136 4221984 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) 1546032
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.99 3.84 2.97 5/181 29691
/proc/meminfo: memFree=24910236/32873844 swapFree=6608/6608
[pid=29677] ppid=29675 vsize=1546032 CPUtime=1800.1 cores=0,2,4,6
/proc/29677/stat : 29677 (pwbo2.02) S 29675 29677 28266 0 -1 4202496 391497 0 0 0 179821 189 0 0 20 0 3 0 331267372 1583136768 357828 33554432000 4194304 5964478 140734059303312 140734059302832 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29677/statm: 386508 357828 198 433 0 386072 0
[pid=29677/tid=29681] ppid=29675 vsize=1546032 CPUtime=897.86 cores=0,2,4,6
/proc/29677/task/29681/stat : 29681 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 308950 0 0 0 89640 146 0 0 20 0 3 0 331267374 1583136768 357828 33554432000 4194304 5964478 140734059303312 140649441691976 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=29677/tid=29682] ppid=29675 vsize=1546032 CPUtime=897.89 cores=0,2,4,6
/proc/29677/task/29682/stat : 29682 (pwbo2.02) R 29675 29677 28266 0 -1 4202560 81238 0 0 0 89721 68 0 0 20 0 3 0 331267374 1583136768 357828 33554432000 4194304 5964478 140734059303312 140649431202136 4221984 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) 1546032
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29677 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=638325
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=220662
# CPU time returned by wait4() is 1795.86
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.372
CPU time (s): 1800.1
CPU user time (s): 1798.21
CPU system time (s): 1.89
CPU usage (%): 199.928
Max. virtual memory (cumulated for all children) (KiB): 1546032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.64
system time used= 2.22066
maximum resident set size= 1431316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 391498
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= 688
involuntary context switches= 1899
runsolver used 1.78973 second user time and 4.76628 second system time
The end