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-3726193-1338657863/watcher-3726193-1338657863 -o /tmp/evaluation-result-3726193-1338657863/solver-3726193-1338657863 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726193-1338657863.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: 3.82 3.95 3.91 4/178 13241
/proc/meminfo: memFree=28127268/32873844 swapFree=7108/7108
[pid=13241] ppid=13239 vsize=4944 CPUtime=0 cores=1,3,5,7
/proc/13241/stat : 13241 (pwbo2.02) R 13239 13241 10982 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 331910886 5062656 460 33554432000 4194304 5964478 140733277300240 140735341094536 4339508 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/13241/statm: 1236 460 167 433 0 749 0
[startup+0.0518779 s]
/proc/loadavg: 3.82 3.95 3.91 4/178 13241
/proc/meminfo: memFree=28127268/32873844 swapFree=7108/7108
[pid=13241] ppid=13239 vsize=165456 CPUtime=0.06 cores=1,3,5,7
/proc/13241/stat : 13241 (pwbo2.02) S 13239 13241 10982 0 -1 4202496 2266 0 0 0 6 0 0 0 20 0 3 0 331910886 169426944 2166 33554432000 4194304 5964478 140733277300240 140733277299760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13241/statm: 41364 2167 192 433 0 40928 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 165456
[startup+0.100209 s]
/proc/loadavg: 3.82 3.95 3.91 4/178 13241
/proc/meminfo: memFree=28127268/32873844 swapFree=7108/7108
[pid=13241] ppid=13239 vsize=165456 CPUtime=0.16 cores=1,3,5,7
/proc/13241/stat : 13241 (pwbo2.02) S 13239 13241 10982 0 -1 4202496 2412 0 0 0 15 1 0 0 20 0 3 0 331910886 169426944 2312 33554432000 4194304 5964478 140733277300240 140733277299760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13241/statm: 41364 2312 192 433 0 40928 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 165456
[startup+0.300119 s]
/proc/loadavg: 3.82 3.95 3.91 4/178 13241
/proc/meminfo: memFree=28127268/32873844 swapFree=7108/7108
[pid=13241] ppid=13239 vsize=165456 CPUtime=0.57 cores=1,3,5,7
/proc/13241/stat : 13241 (pwbo2.02) S 13239 13241 10982 0 -1 4202496 2991 0 0 0 54 3 0 0 20 0 3 0 331910886 169426944 2891 33554432000 4194304 5964478 140733277300240 140733277299760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13241/statm: 41364 2891 192 433 0 40928 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 165456
[startup+0.70012 s]
/proc/loadavg: 3.82 3.95 3.91 4/178 13241
/proc/meminfo: memFree=28127268/32873844 swapFree=7108/7108
[pid=13241] ppid=13239 vsize=165456 CPUtime=1.36 cores=1,3,5,7
/proc/13241/stat : 13241 (pwbo2.02) S 13239 13241 10982 0 -1 4202496 3953 0 0 0 133 3 0 0 20 0 3 0 331910886 169426944 3853 33554432000 4194304 5964478 140733277300240 140733277299760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13241/statm: 41364 3853 192 433 0 40928 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 165456
[startup+1.50025 s]
/proc/loadavg: 3.82 3.95 3.91 5/181 13244
/proc/meminfo: memFree=28108396/32873844 swapFree=7108/7108
[pid=13241] ppid=13239 vsize=165744 CPUtime=2.96 cores=1,3,5,7
/proc/13241/stat : 13241 (pwbo2.02) S 13239 13241 10982 0 -1 4202496 5170 0 0 0 291 5 0 0 20 0 3 0 331910886 169721856 5070 33554432000 4194304 5964478 140733277300240 140733277299760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13241/statm: 41436 5070 192 433 0 41000 0
[pid=13241/tid=13243] ppid=13239 vsize=165744 CPUtime=1.46 cores=1,3,5,7
/proc/13241/task/13243/stat : 13243 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 2328 0 0 0 142 4 0 0 20 0 3 0 331910889 169721856 5070 33554432000 4194304 5964478 140733277300240 139982031411240 4392915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=13241/tid=13244] ppid=13239 vsize=165744 CPUtime=1.45 cores=1,3,5,7
/proc/13241/task/13244/stat : 13244 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 1267 0 0 0 145 0 0 0 20 0 3 0 331910889 169721856 5070 33554432000 4194304 5964478 140733277300240 139982020921648 4392761 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 165744
[startup+3.10024 s]
/proc/loadavg: 3.82 3.95 3.91 5/181 13244
/proc/meminfo: memFree=28100956/32873844 swapFree=7108/7108
[pid=13241] ppid=13239 vsize=165744 CPUtime=6.16 cores=1,3,5,7
/proc/13241/stat : 13241 (pwbo2.02) S 13239 13241 10982 0 -1 4202496 7449 0 0 0 607 9 0 0 20 0 3 0 331910886 169721856 7349 33554432000 4194304 5964478 140733277300240 140733277299760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13241/statm: 41436 7349 192 433 0 41000 0
[pid=13241/tid=13243] ppid=13239 vsize=165744 CPUtime=3.05 cores=1,3,5,7
/proc/13241/task/13243/stat : 13243 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 3470 0 0 0 298 7 0 0 20 0 3 0 331910889 169721856 7349 33554432000 4194304 5964478 140733277300240 139982031411192 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=13241/tid=13244] ppid=13239 vsize=165744 CPUtime=3.05 cores=1,3,5,7
/proc/13241/task/13244/stat : 13244 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 2404 0 0 0 304 1 0 0 20 0 3 0 331910889 169721856 7349 33554432000 4194304 5964478 140733277300240 139982020921656 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 165744
[startup+6.30025 s]
/proc/loadavg: 3.83 3.95 3.91 5/181 13244
/proc/meminfo: memFree=28077644/32873844 swapFree=7108/7108
[pid=13241] ppid=13239 vsize=166128 CPUtime=12.55 cores=1,3,5,7
/proc/13241/stat : 13241 (pwbo2.02) S 13239 13241 10982 0 -1 4202496 10383 0 0 0 1245 10 0 0 20 0 3 0 331910886 170115072 10283 33554432000 4194304 5964478 140733277300240 140733277299760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13241/statm: 41532 10283 192 433 0 41096 0
[pid=13241/tid=13243] ppid=13239 vsize=166128 CPUtime=6.25 cores=1,3,5,7
/proc/13241/task/13243/stat : 13243 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 4911 0 0 0 617 8 0 0 20 0 3 0 331910889 170115072 10283 33554432000 4194304 5964478 140733277300240 139982031411192 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=13241/tid=13244] ppid=13239 vsize=166128 CPUtime=6.24 cores=1,3,5,7
/proc/13241/task/13244/stat : 13244 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 3897 0 0 0 623 1 0 0 20 0 3 0 331910889 170115072 10283 33554432000 4194304 5964478 140733277300240 139982020921648 4382029 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 166128
[startup+12.7004 s]
/proc/loadavg: 3.85 3.95 3.91 4/179 13322
/proc/meminfo: memFree=28210164/32873844 swapFree=7108/7108
[pid=13241] ppid=13239 vsize=166784 CPUtime=25.35 cores=1,3,5,7
/proc/13241/stat : 13241 (pwbo2.02) S 13239 13241 10982 0 -1 4202496 16487 0 0 0 2521 14 0 0 20 0 3 0 331910886 170786816 16741 33554432000 4194304 5964478 140733277300240 140733277299760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13241/statm: 41696 16741 192 433 0 41260 0
[pid=13241/tid=13243] ppid=13239 vsize=166784 CPUtime=12.62 cores=1,3,5,7
/proc/13241/task/13243/stat : 13243 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 8499 0 0 0 1251 11 0 0 20 0 3 0 331910889 170786816 16741 33554432000 4194304 5964478 140733277300240 139982031411192 4400115 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=13241/tid=13244] ppid=13239 vsize=166784 CPUtime=12.62 cores=1,3,5,7
/proc/13241/task/13244/stat : 13244 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 6413 0 0 0 1259 3 0 0 20 0 3 0 331910889 170786816 16741 33554432000 4194304 5964478 140733277300240 139982020921760 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 166784
[startup+25.5004 s]
/proc/loadavg: 3.80 3.94 3.90 3/174 13468
/proc/meminfo: memFree=28179660/32873844 swapFree=7108/7108
[pid=13241] ppid=13239 vsize=168204 CPUtime=50.94 cores=1,3,5,7
/proc/13241/stat : 13241 (pwbo2.02) S 13239 13241 10982 0 -1 4202496 26463 0 0 0 5074 20 0 0 20 0 3 0 331910886 172240896 26709 33554432000 4194304 5964478 140733277300240 140733277299760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13241/statm: 42051 26709 192 433 0 41615 0
[pid=13241/tid=13243] ppid=13239 vsize=168204 CPUtime=25.38 cores=1,3,5,7
/proc/13241/task/13243/stat : 13243 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 14114 0 0 0 2525 13 0 0 20 0 3 0 331910889 172240896 26709 33554432000 4194304 5964478 140733277300240 139982031411192 4391412 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=13241/tid=13244] ppid=13239 vsize=168204 CPUtime=25.38 cores=1,3,5,7
/proc/13241/task/13244/stat : 13244 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 10774 0 0 0 2532 6 0 0 20 0 3 0 331910889 172240896 26709 33554432000 4194304 5964478 140733277300240 139982020921416 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 168204
[startup+51.1004 s]
/proc/loadavg: 4.12 4.00 3.93 5/181 13684
/proc/meminfo: memFree=27876252/32873844 swapFree=7108/7108
[pid=13241] ppid=13239 vsize=235468 CPUtime=102.11 cores=1,3,5,7
/proc/13241/stat : 13241 (pwbo2.02) S 13239 13241 10982 0 -1 4202496 37850 0 0 0 10185 26 0 0 20 0 3 0 331910886 241119232 37735 33554432000 4194304 5964478 140733277300240 140733277299760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13241/statm: 58867 37735 192 433 0 58431 0
[pid=13241/tid=13243] ppid=13239 vsize=235468 CPUtime=50.9 cores=1,3,5,7
/proc/13241/task/13243/stat : 13243 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 22036 0 0 0 5072 18 0 0 20 0 3 0 331910889 241119232 37735 33554432000 4194304 5964478 140733277300240 139982031411192 4222317 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=13241/tid=13244] ppid=13239 vsize=235468 CPUtime=50.91 cores=1,3,5,7
/proc/13241/task/13244/stat : 13244 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 14239 0 0 0 5084 7 0 0 20 0 3 0 331910889 241119232 37735 33554432000 4194304 5964478 140733277300240 139982020921568 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 235468
[startup+102.307 s]
/proc/loadavg: 4.09 4.02 3.93 5/181 13685
/proc/meminfo: memFree=27733516/32873844 swapFree=7108/7108
[pid=13241] ppid=13239 vsize=368608 CPUtime=204.47 cores=1,3,5,7
/proc/13241/stat : 13241 (pwbo2.02) S 13239 13241 10982 0 -1 4202496 56909 0 0 0 20398 49 0 0 20 0 3 0 331910886 377454592 57932 33554432000 4194304 5964478 140733277300240 140733277299760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13241/statm: 92152 57932 192 433 0 91716 0
[pid=13241/tid=13243] ppid=13239 vsize=368608 CPUtime=101.97 cores=1,3,5,7
/proc/13241/task/13243/stat : 13243 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 34176 0 0 0 10171 26 0 0 20 0 3 0 331910889 377454592 57932 33554432000 4194304 5964478 140733277300240 139982031411192 4381960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=13241/tid=13244] ppid=13239 vsize=368608 CPUtime=101.95 cores=1,3,5,7
/proc/13241/task/13244/stat : 13244 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 21158 0 0 0 10171 24 0 0 20 0 3 0 331910889 377454592 57932 33554432000 4194304 5964478 140733277300240 139982020921416 4222416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 204.47
Current children cumulated vsize (KiB) 368608
[startup+162.3 s]
/proc/loadavg: 4.03 4.01 3.93 5/181 13685
/proc/meminfo: memFree=27616056/32873844 swapFree=7108/7108
[pid=13241] ppid=13239 vsize=370968 CPUtime=324.44 cores=1,3,5,7
/proc/13241/stat : 13241 (pwbo2.02) S 13239 13241 10982 0 -1 4202496 76703 0 0 0 32359 85 0 0 20 0 3 0 331910886 379871232 77726 33554432000 4194304 5964478 140733277300240 140733277299760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13241/statm: 92742 77726 192 433 0 92306 0
[pid=13241/tid=13243] ppid=13239 vsize=370968 CPUtime=161.81 cores=1,3,5,7
/proc/13241/task/13243/stat : 13243 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 44826 0 0 0 16146 35 0 0 20 0 3 0 331910889 379871232 77726 33554432000 4194304 5964478 140733277300240 139982031411104 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=13241/tid=13244] ppid=13239 vsize=370968 CPUtime=161.78 cores=1,3,5,7
/proc/13241/task/13244/stat : 13244 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 30302 0 0 0 16125 53 0 0 20 0 3 0 331910889 379871232 77726 33554432000 4194304 5964478 140733277300240 139982020921760 4403729 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 324.44
Current children cumulated vsize (KiB) 370968
[startup+222.3 s]
/proc/loadavg: 4.01 4.00 3.93 5/181 13685
/proc/meminfo: memFree=27547892/32873844 swapFree=7108/7108
[pid=13241] ppid=13239 vsize=374988 CPUtime=444.41 cores=1,3,5,7
/proc/13241/stat : 13241 (pwbo2.02) S 13239 13241 10982 0 -1 4202496 79978 0 0 0 44354 87 0 0 20 0 3 0 331910886 383987712 80996 33554432000 4194304 5964478 140733277300240 140733277299760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13241/statm: 93747 80996 192 433 0 93311 0
[pid=13241/tid=13243] ppid=13239 vsize=374988 CPUtime=221.66 cores=1,3,5,7
/proc/13241/task/13243/stat : 13243 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 47609 0 0 0 22128 38 0 0 20 0 3 0 331910889 383987712 80996 33554432000 4194304 5964478 140733277300240 139982031411240 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=13241/tid=13244] ppid=13239 vsize=374988 CPUtime=221.62 cores=1,3,5,7
/proc/13241/task/13244/stat : 13244 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 30794 0 0 0 22108 54 0 0 20 0 3 0 331910889 383987712 80996 33554432000 4194304 5964478 140733277300240 139982020921416 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 444.41
Current children cumulated vsize (KiB) 374988
[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 13685
/proc/meminfo: memFree=27485796/32873844 swapFree=7108/7108
[pid=13241] ppid=13239 vsize=378368 CPUtime=564.39 cores=1,3,5,7
/proc/13241/stat : 13241 (pwbo2.02) S 13239 13241 10982 0 -1 4202496 83590 0 0 0 56346 93 0 0 20 0 3 0 331910886 387448832 84608 33554432000 4194304 5964478 140733277300240 140733277299760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13241/statm: 94592 84608 192 433 0 94156 0
[pid=13241/tid=13243] ppid=13239 vsize=378368 CPUtime=281.5 cores=1,3,5,7
/proc/13241/task/13243/stat : 13243 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 49183 0 0 0 28110 40 0 0 20 0 3 0 331910889 387448832 84608 33554432000 4194304 5964478 140733277300240 139982031411192 4381601 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=13241/tid=13244] ppid=13239 vsize=378368 CPUtime=281.47 cores=1,3,5,7
/proc/13241/task/13244/stat : 13244 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 32832 0 0 0 28087 60 0 0 20 0 3 0 331910889 387448832 84608 33554432000 4194304 5964478 140733277300240 139982020921416 4381872 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 564.39
Current children cumulated vsize (KiB) 378368
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 13688
/proc/meminfo: memFree=27381972/32873844 swapFree=7108/7108
[pid=13241] ppid=13239 vsize=446772 CPUtime=684.36 cores=1,3,5,7
/proc/13241/stat : 13241 (pwbo2.02) S 13239 13241 10982 0 -1 4202496 98609 0 0 0 68329 107 0 0 20 0 3 0 331910886 457494528 99792 33554432000 4194304 5964478 140733277300240 140733277299760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13241/statm: 111693 99792 192 433 0 111257 0
################
# More data... #
################
[pid=13241/tid=13244] ppid=13239 vsize=446772 CPUtime=341.3 cores=1,3,5,7
/proc/13241/task/13244/stat : 13244 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 34114 0 0 0 34066 64 0 0 20 0 3 0 331910889 457494528 99792 33554432000 4194304 5964478 140733277300240 139982020921704 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 684.36
Current children cumulated vsize (KiB) 446772
[startup+402.3 s]
/proc/loadavg: 4.05 4.01 3.94 5/181 13689
/proc/meminfo: memFree=27257900/32873844 swapFree=7108/7108
[pid=13241] ppid=13239 vsize=579532 CPUtime=804.29 cores=1,3,5,7
/proc/13241/stat : 13241 (pwbo2.02) S 13239 13241 10982 0 -1 4202496 115630 0 0 0 80290 139 0 0 20 0 3 0 331910886 593440768 116919 33554432000 4194304 5964478 140733277300240 140733277299760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13241/statm: 144883 116919 192 433 0 144447 0
[pid=13241/tid=13243] ppid=13239 vsize=579532 CPUtime=401.14 cores=1,3,5,7
/proc/13241/task/13243/stat : 13243 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 70538 0 0 0 40056 58 0 0 20 0 3 0 331910889 593440768 116919 33554432000 4194304 5964478 140733277300240 139982031411192 4403503 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=13241/tid=13244] ppid=13239 vsize=579532 CPUtime=401.15 cores=1,3,5,7
/proc/13241/task/13244/stat : 13244 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 43517 0 0 0 40024 91 0 0 20 0 3 0 331910889 593440768 116919 33554432000 4194304 5964478 140733277300240 139982020921416 4400056 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 804.29
Current children cumulated vsize (KiB) 579532
[startup+462.3 s]
/proc/loadavg: 4.02 4.01 3.94 5/181 13689
/proc/meminfo: memFree=27222032/32873844 swapFree=7108/7108
[pid=13241] ppid=13239 vsize=580436 CPUtime=924.22 cores=1,3,5,7
/proc/13241/stat : 13241 (pwbo2.02) S 13239 13241 10982 0 -1 4202496 119693 0 0 0 92279 143 0 0 20 0 3 0 331910886 594366464 120980 33554432000 4194304 5964478 140733277300240 140733277299760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13241/statm: 145109 120980 192 433 0 144673 0
[pid=13241/tid=13243] ppid=13239 vsize=580436 CPUtime=460.95 cores=1,3,5,7
/proc/13241/task/13243/stat : 13243 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 74403 0 0 0 46032 63 0 0 20 0 3 0 331910889 594366464 120980 33554432000 4194304 5964478 140733277300240 139982031411192 4399952 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=13241/tid=13244] ppid=13239 vsize=580436 CPUtime=460.97 cores=1,3,5,7
/proc/13241/task/13244/stat : 13244 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 43715 0 0 0 46006 91 0 0 20 0 3 0 331910889 594366464 120980 33554432000 4194304 5964478 140733277300240 139982020921416 4222416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 924.22
Current children cumulated vsize (KiB) 580436
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/181 13689
/proc/meminfo: memFree=27179832/32873844 swapFree=7108/7108
[pid=13241] ppid=13239 vsize=581808 CPUtime=1044.17 cores=1,3,5,7
/proc/13241/stat : 13241 (pwbo2.02) S 13239 13241 10982 0 -1 4202496 125961 0 0 0 104268 149 0 0 20 0 3 0 331910886 595771392 127255 33554432000 4194304 5964478 140733277300240 140733277299760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13241/statm: 145452 127255 192 433 0 145016 0
[pid=13241/tid=13243] ppid=13239 vsize=581808 CPUtime=520.79 cores=1,3,5,7
/proc/13241/task/13243/stat : 13243 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 80366 0 0 0 52009 70 0 0 20 0 3 0 331910889 595771392 127255 33554432000 4194304 5964478 140733277300240 139982031411192 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=13241/tid=13244] ppid=13239 vsize=581808 CPUtime=520.8 cores=1,3,5,7
/proc/13241/task/13244/stat : 13244 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 44020 0 0 0 51988 92 0 0 20 0 3 0 331910889 595771392 127255 33554432000 4194304 5964478 140733277300240 139982020921416 4400091 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1044.17
Current children cumulated vsize (KiB) 581808
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/181 13689
/proc/meminfo: memFree=27145484/32873844 swapFree=7108/7108
[pid=13241] ppid=13239 vsize=649468 CPUtime=1164.15 cores=1,3,5,7
/proc/13241/stat : 13241 (pwbo2.02) S 13239 13241 10982 0 -1 4202496 130065 0 0 0 116260 155 0 0 20 0 3 0 331910886 665055232 131359 33554432000 4194304 5964478 140733277300240 140733277299760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13241/statm: 162367 131359 192 433 0 161931 0
[pid=13241/tid=13243] ppid=13239 vsize=649468 CPUtime=580.64 cores=1,3,5,7
/proc/13241/task/13243/stat : 13243 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 84264 0 0 0 57987 77 0 0 20 0 3 0 331910889 665055232 131359 33554432000 4194304 5964478 140733277300240 139982031411000 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=13241/tid=13244] ppid=13239 vsize=649468 CPUtime=580.64 cores=1,3,5,7
/proc/13241/task/13244/stat : 13244 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 44226 0 0 0 57970 94 0 0 20 0 3 0 331910889 665055232 131359 33554432000 4194304 5964478 140733277300240 139982020921416 4381677 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1164.15
Current children cumulated vsize (KiB) 649468
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/182 13690
/proc/meminfo: memFree=27111896/32873844 swapFree=7108/7108
[pid=13241] ppid=13239 vsize=651880 CPUtime=1284.15 cores=1,3,5,7
/proc/13241/stat : 13241 (pwbo2.02) S 13239 13241 10982 0 -1 4202496 137644 0 0 0 128246 169 0 0 20 0 3 0 331910886 667525120 138938 33554432000 4194304 5964478 140733277300240 140733277299760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13241/statm: 162970 138938 192 433 0 162534 0
[pid=13241/tid=13243] ppid=13239 vsize=651880 CPUtime=640.49 cores=1,3,5,7
/proc/13241/task/13243/stat : 13243 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 90239 0 0 0 63962 87 0 0 20 0 3 0 331910889 667525120 138938 33554432000 4194304 5964478 140733277300240 139982031411192 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=13241/tid=13244] ppid=13239 vsize=651880 CPUtime=640.49 cores=1,3,5,7
/proc/13241/task/13244/stat : 13244 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 45830 0 0 0 63950 99 0 0 20 0 3 0 331910889 667525120 138938 33554432000 4194304 5964478 140733277300240 139982020921704 4381702 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1284.15
Current children cumulated vsize (KiB) 651880
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/181 13691
/proc/meminfo: memFree=27064568/32873844 swapFree=7108/7108
[pid=13241] ppid=13239 vsize=719336 CPUtime=1404.12 cores=1,3,5,7
/proc/13241/stat : 13241 (pwbo2.02) S 13239 13241 10982 0 -1 4202496 148261 0 0 0 140230 182 0 0 20 0 3 0 331910886 736600064 149555 33554432000 4194304 5964478 140733277300240 140733277299760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13241/statm: 179834 149555 192 433 0 179398 0
[pid=13241/tid=13243] ppid=13239 vsize=719336 CPUtime=700.33 cores=1,3,5,7
/proc/13241/task/13243/stat : 13243 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 100681 0 0 0 69932 101 0 0 20 0 3 0 331910889 736600064 149555 33554432000 4194304 5964478 140733277300240 139982031411000 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=13241/tid=13244] ppid=13239 vsize=719336 CPUtime=700.33 cores=1,3,5,7
/proc/13241/task/13244/stat : 13244 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 46005 0 0 0 69933 100 0 0 20 0 3 0 331910889 736600064 149555 33554432000 4194304 5964478 140733277300240 139982020921704 4400103 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1404.12
Current children cumulated vsize (KiB) 719336
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.94 5/181 13691
/proc/meminfo: memFree=27015536/32873844 swapFree=7108/7108
[pid=13241] ppid=13239 vsize=722040 CPUtime=1524.12 cores=1,3,5,7
/proc/13241/stat : 13241 (pwbo2.02) S 13239 13241 10982 0 -1 4202496 155974 0 0 0 152209 203 0 0 20 0 3 0 331910886 739368960 157247 33554432000 4194304 5964478 140733277300240 140733277299760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13241/statm: 180510 157247 192 433 0 180074 0
[pid=13241/tid=13243] ppid=13239 vsize=722040 CPUtime=760.19 cores=1,3,5,7
/proc/13241/task/13243/stat : 13243 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 101062 0 0 0 75917 102 0 0 20 0 3 0 331910889 739368960 157247 33554432000 4194304 5964478 140733277300240 139982031411000 4399952 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=13241/tid=13244] ppid=13239 vsize=722040 CPUtime=760.18 cores=1,3,5,7
/proc/13241/task/13244/stat : 13244 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 53337 0 0 0 75896 122 0 0 20 0 3 0 331910889 739368960 157247 33554432000 4194304 5964478 140733277300240 139982020921656 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1524.12
Current children cumulated vsize (KiB) 722040
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/181 13691
/proc/meminfo: memFree=26999104/32873844 swapFree=7108/7108
[pid=13241] ppid=13239 vsize=722328 CPUtime=1644.08 cores=1,3,5,7
/proc/13241/stat : 13241 (pwbo2.02) S 13239 13241 10982 0 -1 4202496 156158 0 0 0 164205 203 0 0 20 0 3 0 331910886 739663872 157431 33554432000 4194304 5964478 140733277300240 140733277299760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13241/statm: 180582 157431 192 433 0 180146 0
[pid=13241/tid=13243] ppid=13239 vsize=722328 CPUtime=820.03 cores=1,3,5,7
/proc/13241/task/13243/stat : 13243 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 101224 0 0 0 81900 103 0 0 20 0 3 0 331910889 739663872 157431 33554432000 4194304 5964478 140733277300240 139982031411000 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=13241/tid=13244] ppid=13239 vsize=722328 CPUtime=820.01 cores=1,3,5,7
/proc/13241/task/13244/stat : 13244 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 53359 0 0 0 81878 123 0 0 20 0 3 0 331910889 739663872 157431 33554432000 4194304 5964478 140733277300240 139982020921704 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1644.08
Current children cumulated vsize (KiB) 722328
[startup+882.3 s]
/proc/loadavg: 4.07 4.02 3.94 5/181 13691
/proc/meminfo: memFree=26961176/32873844 swapFree=7108/7108
[pid=13241] ppid=13239 vsize=723172 CPUtime=1764.07 cores=1,3,5,7
/proc/13241/stat : 13241 (pwbo2.02) S 13239 13241 10982 0 -1 4202496 161891 0 0 0 176197 210 0 0 20 0 3 0 331910886 740528128 163164 33554432000 4194304 5964478 140733277300240 140733277299760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13241/statm: 180793 163164 192 433 0 180357 0
[pid=13241/tid=13243] ppid=13239 vsize=723172 CPUtime=879.87 cores=1,3,5,7
/proc/13241/task/13243/stat : 13243 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 106861 0 0 0 87876 111 0 0 20 0 3 0 331910889 740528128 163164 33554432000 4194304 5964478 140733277300240 139982031411104 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=13241/tid=13244] ppid=13239 vsize=723172 CPUtime=879.85 cores=1,3,5,7
/proc/13241/task/13244/stat : 13244 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 53455 0 0 0 87861 124 0 0 20 0 3 0 331910889 740528128 163164 33554432000 4194304 5964478 140733277300240 139982020921416 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1764.07
Current children cumulated vsize (KiB) 723172
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.05 4.01 3.94 5/181 13691
/proc/meminfo: memFree=26955592/32873844 swapFree=7108/7108
[pid=13241] ppid=13239 vsize=723792 CPUtime=1800.07 cores=1,3,5,7
/proc/13241/stat : 13241 (pwbo2.02) S 13239 13241 10982 0 -1 4202496 162046 0 0 0 179797 210 0 0 20 0 3 0 331910886 741163008 163315 33554432000 4194304 5964478 140733277300240 140733277299760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13241/statm: 180948 163315 192 433 0 180512 0
[pid=13241/tid=13243] ppid=13239 vsize=723792 CPUtime=897.83 cores=1,3,5,7
/proc/13241/task/13243/stat : 13243 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 106863 0 0 0 89672 111 0 0 20 0 3 0 331910889 741163008 163315 33554432000 4194304 5964478 140733277300240 139982031411104 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=13241/tid=13244] ppid=13239 vsize=723792 CPUtime=897.81 cores=1,3,5,7
/proc/13241/task/13244/stat : 13244 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 53608 0 0 0 89657 124 0 0 20 0 3 0 331910889 741163008 163315 33554432000 4194304 5964478 140733277300240 139982020921464 4403370 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 723792
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: 4.05 4.01 3.94 5/181 13691
/proc/meminfo: memFree=26955592/32873844 swapFree=7108/7108
[pid=13241] ppid=13239 vsize=723792 CPUtime=1800.07 cores=1,3,5,7
/proc/13241/stat : 13241 (pwbo2.02) S 13239 13241 10982 0 -1 4202496 162046 0 0 0 179797 210 0 0 20 0 3 0 331910886 741163008 163315 33554432000 4194304 5964478 140733277300240 140733277299760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13241/statm: 180948 163315 192 433 0 180512 0
[pid=13241/tid=13243] ppid=13239 vsize=723792 CPUtime=897.83 cores=1,3,5,7
/proc/13241/task/13243/stat : 13243 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 106863 0 0 0 89672 111 0 0 20 0 3 0 331910889 741163008 163315 33554432000 4194304 5964478 140733277300240 139982031411104 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=13241/tid=13244] ppid=13239 vsize=723792 CPUtime=897.81 cores=1,3,5,7
/proc/13241/task/13244/stat : 13244 (pwbo2.02) R 13239 13241 10982 0 -1 4202560 53608 0 0 0 89657 124 0 0 20 0 3 0 331910889 741163008 163315 33554432000 4194304 5964478 140733277300240 139982020921464 4403370 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 723792
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13241 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=333371
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=394635
# CPU time returned by wait4() is 1795.73
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.333
CPU time (s): 1800.07
CPU user time (s): 1797.97
CPU system time (s): 2.1
CPU usage (%): 199.934
Max. virtual memory (cumulated for all children) (KiB): 723792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.33
system time used= 2.39464
maximum resident set size= 653268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162048
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= 579
involuntary context switches= 2516
runsolver used 1.91371 second user time and 5.68214 second system time
The end