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-3500403-1307994801/watcher-3500403-1307994801 -o /tmp/evaluation-result-3500403-1307994801/solver-3500403-1307994801 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500403-1307994801.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.91 3.97 3.91 4/179 25739
/proc/meminfo: memFree=15514808/32951124 swapFree=67053176/67111528
[pid=25739] ppid=25737 vsize=2320 CPUtime=0 cores=0,2,4,6
/proc/25739/stat : 25739 (pwbo1.1) R 25737 25739 24477 0 -1 4202496 346 0 0 0 0 0 0 0 25 0 1 0 911077770 2375680 298 33554432000 4194304 5714118 140736374591504 18446744073709551615 4226516 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/25739/statm: 580 298 165 372 0 184 0
[startup+0.0959871 s]
/proc/loadavg: 3.91 3.97 3.91 4/179 25739
/proc/meminfo: memFree=15514808/32951124 swapFree=67053176/67111528
[pid=25739] ppid=25737 vsize=148400 CPUtime=0.18 cores=0,2,4,6
/proc/25739/stat : 25739 (pwbo1.1) S 25737 25739 24477 0 -1 4202496 6617 0 0 0 16 2 0 0 25 0 3 0 911077770 151961600 6475 33554432000 4194304 5714118 140736374591504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25739/statm: 37100 6475 178 372 0 36725 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 148400
[startup+0.100974 s]
/proc/loadavg: 3.91 3.97 3.91 4/179 25739
/proc/meminfo: memFree=15514808/32951124 swapFree=67053176/67111528
[pid=25739] ppid=25737 vsize=148400 CPUtime=0.19 cores=0,2,4,6
/proc/25739/stat : 25739 (pwbo1.1) S 25737 25739 24477 0 -1 4202496 6618 0 0 0 17 2 0 0 25 0 3 0 911077770 151961600 6476 33554432000 4194304 5714118 140736374591504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25739/statm: 37100 6476 179 372 0 36725 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 148400
[startup+0.30097 s]
/proc/loadavg: 3.91 3.97 3.91 4/179 25739
/proc/meminfo: memFree=15514808/32951124 swapFree=67053176/67111528
[pid=25739] ppid=25737 vsize=148400 CPUtime=0.59 cores=0,2,4,6
/proc/25739/stat : 25739 (pwbo1.1) S 25737 25739 24477 0 -1 4202496 6929 0 0 0 55 4 0 0 25 0 3 0 911077770 151961600 6787 33554432000 4194304 5714118 140736374591504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25739/statm: 37100 6787 179 372 0 36725 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 148400
[startup+0.700894 s]
/proc/loadavg: 3.91 3.97 3.91 4/179 25739
/proc/meminfo: memFree=15514808/32951124 swapFree=67053176/67111528
[pid=25739] ppid=25737 vsize=148400 CPUtime=1.39 cores=0,2,4,6
/proc/25739/stat : 25739 (pwbo1.1) S 25737 25739 24477 0 -1 4202496 7222 0 0 0 133 6 0 0 25 0 3 0 911077770 151961600 7080 33554432000 4194304 5714118 140736374591504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25739/statm: 37100 7080 179 372 0 36725 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 148400
[startup+1.50075 s]
/proc/loadavg: 3.91 3.97 3.91 5/182 25742
/proc/meminfo: memFree=15484668/32951124 swapFree=67053176/67111528
[pid=25739] ppid=25737 vsize=148544 CPUtime=2.99 cores=0,2,4,6
/proc/25739/stat : 25739 (pwbo1.1) S 25737 25739 24477 0 -1 4202496 8684 0 0 0 287 12 0 0 25 0 3 0 911077770 152109056 8542 33554432000 4194304 5714118 140736374591504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25739/statm: 37136 8542 179 372 0 36761 0
[pid=25739/tid=25741] ppid=25737 vsize=148544 CPUtime=1.48 cores=0,2,4,6
/proc/25739/task/25741/stat : 25741 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 2214 0 0 0 140 8 0 0 20 0 3 0 911077770 152109056 8542 33554432000 4194304 5714118 140736374591504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25739/tid=25742] ppid=25737 vsize=148544 CPUtime=1.49 cores=0,2,4,6
/proc/25739/task/25742/stat : 25742 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 6028 0 0 0 146 3 0 0 25 0 3 0 911077770 152109056 8542 33554432000 4194304 5714118 140736374591504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 148544
[startup+3.10045 s]
/proc/loadavg: 3.91 3.97 3.91 5/182 25742
/proc/meminfo: memFree=15478344/32951124 swapFree=67053176/67111528
[pid=25739] ppid=25737 vsize=148544 CPUtime=6.18 cores=0,2,4,6
/proc/25739/stat : 25739 (pwbo1.1) S 25737 25739 24477 0 -1 4202496 9930 0 0 0 601 17 0 0 25 0 3 0 911077770 152109056 9788 33554432000 4194304 5714118 140736374591504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25739/statm: 37136 9788 179 372 0 36761 0
[pid=25739/tid=25741] ppid=25737 vsize=148544 CPUtime=3.08 cores=0,2,4,6
/proc/25739/task/25741/stat : 25741 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 3338 0 0 0 295 13 0 0 25 0 3 0 911077770 152109056 9788 33554432000 4194304 5714118 140736374591504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25739/tid=25742] ppid=25737 vsize=148544 CPUtime=3.08 cores=0,2,4,6
/proc/25739/task/25742/stat : 25742 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 6150 0 0 0 305 3 0 0 25 0 3 0 911077770 152109056 9788 33554432000 4194304 5714118 140736374591504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 148544
[startup+6.30089 s]
/proc/loadavg: 3.92 3.97 3.91 5/182 25742
/proc/meminfo: memFree=15469668/32951124 swapFree=67053176/67111528
[pid=25739] ppid=25737 vsize=148400 CPUtime=12.59 cores=0,2,4,6
/proc/25739/stat : 25739 (pwbo1.1) S 25737 25739 24477 0 -1 4202496 11465 0 0 0 1234 25 0 0 25 0 3 0 911077770 151961600 11289 33554432000 4194304 5714118 140736374591504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25739/statm: 37100 11289 180 372 0 36725 0
[pid=25739/tid=25741] ppid=25737 vsize=148400 CPUtime=6.29 cores=0,2,4,6
/proc/25739/task/25741/stat : 25741 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 4547 0 0 0 610 19 0 0 25 0 3 0 911077770 151961600 11289 33554432000 4194304 5714118 140736374591504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25739/tid=25742] ppid=25737 vsize=148400 CPUtime=6.28 cores=0,2,4,6
/proc/25739/task/25742/stat : 25742 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 6476 0 0 0 623 5 0 0 25 0 3 0 911077770 151961600 11289 33554432000 4194304 5714118 140736374591504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 148400
[startup+12.7007 s]
/proc/loadavg: 3.92 3.97 3.91 5/182 25742
/proc/meminfo: memFree=15457720/32951124 swapFree=67053176/67111528
[pid=25739] ppid=25737 vsize=148616 CPUtime=25.39 cores=0,2,4,6
/proc/25739/stat : 25739 (pwbo1.1) S 25737 25739 24477 0 -1 4202496 15155 0 0 0 2496 43 0 0 25 0 3 0 911077770 152182784 14979 33554432000 4194304 5714118 140736374591504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25739/statm: 37154 14979 180 372 0 36779 0
[pid=25739/tid=25741] ppid=25737 vsize=148616 CPUtime=12.68 cores=0,2,4,6
/proc/25739/task/25741/stat : 25741 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 6668 0 0 0 1236 32 0 0 25 0 3 0 911077770 152182784 14979 33554432000 4194304 5714118 140736374591504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25739/tid=25742] ppid=25737 vsize=148616 CPUtime=12.69 cores=0,2,4,6
/proc/25739/task/25742/stat : 25742 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 8045 0 0 0 1259 10 0 0 25 0 3 0 911077770 152182784 14979 33554432000 4194304 5714118 140736374591504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 148616
[startup+25.5004 s]
/proc/loadavg: 3.94 3.97 3.91 5/182 25743
/proc/meminfo: memFree=15428076/32951124 swapFree=67053176/67111528
[pid=25739] ppid=25737 vsize=149240 CPUtime=50.99 cores=0,2,4,6
/proc/25739/stat : 25739 (pwbo1.1) S 25737 25739 24477 0 -1 4202496 21948 0 0 0 5026 73 0 0 25 0 3 0 911077770 152821760 21772 33554432000 4194304 5714118 140736374591504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25739/statm: 37310 21772 180 372 0 36935 0
[pid=25739/tid=25741] ppid=25737 vsize=149240 CPUtime=25.48 cores=0,2,4,6
/proc/25739/task/25741/stat : 25741 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 11242 0 0 0 2492 56 0 0 22 0 3 0 911077770 152821760 21772 33554432000 4194304 5714118 140736374591504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25739/tid=25742] ppid=25737 vsize=149240 CPUtime=25.48 cores=0,2,4,6
/proc/25739/task/25742/stat : 25742 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 10264 0 0 0 2532 16 0 0 25 0 3 0 911077770 152821760 21772 33554432000 4194304 5714118 140736374591504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 149240
[startup+51.1008 s]
/proc/loadavg: 4.03 3.99 3.91 5/182 25743
/proc/meminfo: memFree=15401052/32951124 swapFree=67053176/67111528
[pid=25739] ppid=25737 vsize=215308 CPUtime=102.18 cores=0,2,4,6
/proc/25739/stat : 25739 (pwbo1.1) S 25737 25739 24477 0 -1 4202496 28600 0 0 0 10105 113 0 0 25 0 3 0 911077770 220475392 28424 33554432000 4194304 5714118 140736374591504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25739/statm: 53827 28424 180 372 0 53452 0
[pid=25739/tid=25741] ppid=25737 vsize=215308 CPUtime=51.08 cores=0,2,4,6
/proc/25739/task/25741/stat : 25741 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 16691 0 0 0 5024 84 0 0 22 0 3 0 911077770 220475392 28424 33554432000 4194304 5714118 140736374591504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25739/tid=25742] ppid=25737 vsize=215308 CPUtime=51.08 cores=0,2,4,6
/proc/25739/task/25742/stat : 25742 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 11467 0 0 0 5080 28 0 0 25 0 3 0 911077770 220475392 28424 33554432000 4194304 5714118 140736374591504 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 215308
[startup+102.307 s]
/proc/loadavg: 4.01 3.99 3.91 5/182 25786
/proc/meminfo: memFree=16034004/32951124 swapFree=67053176/67111528
[pid=25739] ppid=25737 vsize=282304 CPUtime=204.6 cores=0,2,4,6
/proc/25739/stat : 25739 (pwbo1.1) S 25737 25739 24477 0 -1 4202496 50649 0 0 0 20266 194 0 0 25 0 3 0 911077770 289079296 50417 33554432000 4194304 5714118 140736374591504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25739/statm: 70576 50417 180 372 0 70201 0
[pid=25739/tid=25741] ppid=25737 vsize=282304 CPUtime=102.29 cores=0,2,4,6
/proc/25739/task/25741/stat : 25741 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 29386 0 0 0 10084 145 0 0 25 0 3 0 911077770 289079296 50417 33554432000 4194304 5714118 140736374591504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25739/tid=25742] ppid=25737 vsize=282304 CPUtime=102.29 cores=0,2,4,6
/proc/25739/task/25742/stat : 25742 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 20821 0 0 0 10181 48 0 0 25 0 3 0 911077770 289079296 50417 33554432000 4194304 5714118 140736374591504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 282304
[startup+162.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25787
/proc/meminfo: memFree=15948856/32951124 swapFree=67053176/67111528
[pid=25739] ppid=25737 vsize=283076 CPUtime=324.59 cores=0,2,4,6
/proc/25739/stat : 25739 (pwbo1.1) S 25737 25739 24477 0 -1 4202496 53842 0 0 0 32205 254 0 0 25 0 3 0 911077770 289869824 53610 33554432000 4194304 5714118 140736374591504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25739/statm: 70769 53610 180 372 0 70394 0
[pid=25739/tid=25741] ppid=25737 vsize=283076 CPUtime=162.29 cores=0,2,4,6
/proc/25739/task/25741/stat : 25741 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 29672 0 0 0 16043 186 0 0 25 0 3 0 911077770 289869824 53610 33554432000 4194304 5714118 140736374591504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25739/tid=25742] ppid=25737 vsize=283076 CPUtime=162.29 cores=0,2,4,6
/proc/25739/task/25742/stat : 25742 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 23728 0 0 0 16161 68 0 0 25 0 3 0 911077770 289869824 53610 33554432000 4194304 5714118 140736374591504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 283076
[startup+222.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25789
/proc/meminfo: memFree=15869312/32951124 swapFree=67053176/67111528
[pid=25739] ppid=25737 vsize=350112 CPUtime=444.6 cores=0,2,4,6
/proc/25739/stat : 25739 (pwbo1.1) S 25737 25739 24477 0 -1 4202496 62277 0 0 0 44139 321 0 0 25 0 3 0 911077770 358514688 62045 33554432000 4194304 5714118 140736374591504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25739/statm: 87528 62045 180 372 0 87153 0
[pid=25739/tid=25741] ppid=25737 vsize=350112 CPUtime=222.29 cores=0,2,4,6
/proc/25739/task/25741/stat : 25741 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 33551 0 0 0 21997 232 0 0 25 0 3 0 911077770 358514688 62045 33554432000 4194304 5714118 140736374591504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25739/tid=25742] ppid=25737 vsize=350112 CPUtime=222.29 cores=0,2,4,6
/proc/25739/task/25742/stat : 25742 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 28284 0 0 0 22141 88 0 0 25 0 3 0 911077770 358514688 62045 33554432000 4194304 5714118 140736374591504 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 444.6
Current children cumulated vsize (KiB) 350112
[startup+282.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25791
/proc/meminfo: memFree=15770548/32951124 swapFree=67053176/67111528
[pid=25739] ppid=25737 vsize=351180 CPUtime=564.6 cores=0,2,4,6
/proc/25739/stat : 25739 (pwbo1.1) S 25737 25739 24477 0 -1 4202496 75728 0 0 0 56073 387 0 0 25 0 3 0 911077770 359608320 75496 33554432000 4194304 5714118 140736374591504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25739/statm: 87795 75497 180 372 0 87420 0
[pid=25739/tid=25741] ppid=25737 vsize=351180 CPUtime=282.29 cores=0,2,4,6
/proc/25739/task/25741/stat : 25741 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 43163 0 0 0 27949 280 0 0 25 0 3 0 911077770 359608320 75497 33554432000 4194304 5714118 140736374591504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25739/tid=25742] ppid=25737 vsize=351180 CPUtime=282.29 cores=0,2,4,6
/proc/25739/task/25742/stat : 25742 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 32124 0 0 0 28123 106 0 0 25 0 3 0 911077770 359608320 75497 33554432000 4194304 5714118 140736374591504 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 564.6
Current children cumulated vsize (KiB) 351180
[startup+342.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25792
/proc/meminfo: memFree=15687044/32951124 swapFree=67053176/67111528
[pid=25739] ppid=25737 vsize=417560 CPUtime=684.6 cores=0,2,4,6
/proc/25739/stat : 25739 (pwbo1.1) S 25737 25739 24477 0 -1 4202496 85511 0 0 0 67998 462 0 0 25 0 3 0 911077770 427581440 85156 33554432000 4194304 5714118 140736374591504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25739/statm: 104390 85156 180 372 0 104015 0
[pid=25739/tid=25741] ppid=25737 vsize=417560 CPUtime=342.29 cores=0,2,4,6
/proc/25739/task/25741/stat : 25741 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 52762 0 0 0 33889 340 0 0 25 0 3 0 911077770 427581440 85156 33554432000 4194304 5714118 140736374591504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25739/tid=25742] ppid=25737 vsize=417560 CPUtime=342.29 cores=0,2,4,6
/proc/25739/task/25742/stat : 25742 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 32307 0 0 0 34108 121 0 0 25 0 3 0 911077770 427581440 85156 33554432000 4194304 5714118 140736374591504 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 417560
[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25794
/proc/meminfo: memFree=15584656/32951124 swapFree=67053176/67111528
[pid=25739] ppid=25737 vsize=484724 CPUtime=804.6 cores=0,2,4,6
/proc/25739/stat : 25739 (pwbo1.1) S 25737 25739 24477 0 -1 4202496 101933 0 0 0 79922 538 0 0 25 0 3 0 911077770 496357376 101578 33554432000 4194304 5714118 140736374591504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25739/statm: 121181 101578 180 372 0 120806 0
[pid=25739/tid=25741] ppid=25737 vsize=484724 CPUtime=402.29 cores=0,2,4,6
/proc/25739/task/25741/stat : 25741 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 64275 0 0 0 39826 403 0 0 25 0 3 0 911077770 496357376 101578 33554432000 4194304 5714118 140736374591504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25739/tid=25742] ppid=25737 vsize=484724 CPUtime=402.3 cores=0,2,4,6
/proc/25739/task/25742/stat : 25742 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 37216 0 0 0 40095 135 0 0 25 0 3 0 911077770 496357376 101578 33554432000 4194304 5714118 140736374591504 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 484724
[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25804
/proc/meminfo: memFree=15505468/32951124 swapFree=67053176/67111528
[pid=25739] ppid=25737 vsize=551004 CPUtime=924.61 cores=0,2,4,6
/proc/25739/stat : 25739 (pwbo1.1) S 25737 25739 24477 0 -1 4202496 112948 0 0 0 91867 594 0 0 25 0 3 0 911077770 564228096 112593 33554432000 4194304 5714118 140736374591504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25739/statm: 137751 112593 180 372 0 137376 0
[pid=25739/tid=25741] ppid=25737 vsize=551004 CPUtime=462.29 cores=0,2,4,6
/proc/25739/task/25741/stat : 25741 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 71222 0 0 0 45782 447 0 0 25 0 3 0 911077770 564228096 112593 33554432000 4194304 5714118 140736374591504 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25739/tid=25742] ppid=25737 vsize=551004 CPUtime=462.3 cores=0,2,4,6
/proc/25739/task/25742/stat : 25742 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 41284 0 0 0 46084 146 0 0 25 0 3 0 911077770 564228096 112593 33554432000 4194304 5714118 140736374591504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 924.61
Current children cumulated vsize (KiB) 551004
[startup+522.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25806
/proc/meminfo: memFree=15443776/32951124 swapFree=67053176/67111528
[pid=25739] ppid=25737 vsize=551488 CPUtime=1044.61 cores=0,2,4,6
/proc/25739/stat : 25739 (pwbo1.1) S 25737 25739 24477 0 -1 4202496 119439 0 0 0 103804 657 0 0 25 0 3 0 911077770 564723712 119084 33554432000 4194304 5714118 140736374591504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25739/statm: 137872 119084 180 372 0 137497 0
[pid=25739/tid=25741] ppid=25737 vsize=551488 CPUtime=522.3 cores=0,2,4,6
/proc/25739/task/25741/stat : 25741 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 77713 0 0 0 51734 496 0 0 25 0 3 0 911077770 564723712 119084 33554432000 4194304 5714118 140736374591504 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25739/tid=25742] ppid=25737 vsize=551488 CPUtime=522.3 cores=0,2,4,6
/proc/25739/task/25742/stat : 25742 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 41284 0 0 0 52069 161 0 0 25 0 3 0 911077770 564723712 119084 33554432000 4194304 5714118 140736374591504 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 551488
[startup+582.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25808
/proc/meminfo: memFree=15373756/32951124 swapFree=67053176/67111528
[pid=25739] ppid=25737 vsize=617468 CPUtime=1164.61 cores=0,2,4,6
/proc/25739/stat : 25739 (pwbo1.1) S 25737 25739 24477 0 -1 4202496 126754 0 0 0 115754 707 0 0 25 0 3 0 911077770 632287232 126398 33554432000 4194304 5714118 140736374591504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25739/statm: 154367 126398 180 372 0 153992 0
[pid=25739/tid=25741] ppid=25737 vsize=617468 CPUtime=582.3 cores=0,2,4,6
/proc/25739/task/25741/stat : 25741 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 84923 0 0 0 57693 537 0 0 25 0 3 0 911077770 632287232 126398 33554432000 4194304 5714118 140736374591504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25739/tid=25742] ppid=25737 vsize=617468 CPUtime=582.29 cores=0,2,4,6
/proc/25739/task/25742/stat : 25742 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 41389 0 0 0 58060 169 0 0 25 0 3 0 911077770 632287232 126398 33554432000 4194304 5714118 140736374591504 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 617468
[startup+642.301 s]
/proc/loadavg: 4.04 4.00 3.92 5/182 25809
/proc/meminfo: memFree=15258988/32951124 swapFree=67053176/67111528
[pid=25739] ppid=25737 vsize=618396 CPUtime=1284.63 cores=0,2,4,6
/proc/25739/stat : 25739 (pwbo1.1) S 25737 25739 24477 0 -1 4202496 146171 0 0 0 127685 778 0 0 25 0 3 0 911077770 633237504 145815 33554432000 4194304 5714118 140736374591504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25739/statm: 154599 145815 180 372 0 154224 0
[pid=25739/tid=25741] ppid=25737 vsize=618396 CPUtime=642.31 cores=0,2,4,6
/proc/25739/task/25741/stat : 25741 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 93854 0 0 0 63641 590 0 0 25 0 3 0 911077770 633237504 145815 33554432000 4194304 5714118 140736374591504 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25739/tid=25742] ppid=25737 vsize=618396 CPUtime=642.3 cores=0,2,4,6
/proc/25739/task/25742/stat : 25742 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 51875 0 0 0 64043 187 0 0 25 0 3 0 911077770 633237504 145815 33554432000 4194304 5714118 140736374591504 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1284.63
Current children cumulated vsize (KiB) 618396
[startup+702.301 s]
/proc/loadavg: 4.01 4.00 3.92 5/182 25814
/proc/meminfo: memFree=15138664/32951124 swapFree=67053176/67111528
[pid=25739] ppid=25737 vsize=683932 CPUtime=1404.62 cores=0,2,4,6
/proc/25739/stat : 25739 (pwbo1.1) S 25737 25739 24477 0 -1 4202496 153576 0 0 0 139618 844 0 0 25 0 3 0 911077770 700346368 153220 33554432000 4194304 5714118 140736374591504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25739/statm: 170983 153220 180 372 0 170608 0
[pid=25739/tid=25741] ppid=25737 vsize=683932 CPUtime=702.3 cores=0,2,4,6
/proc/25739/task/25741/stat : 25741 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 101257 0 0 0 69590 640 0 0 25 0 3 0 911077770 700346368 153220 33554432000 4194304 5714118 140736374591504 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25739/tid=25742] ppid=25737 vsize=683932 CPUtime=702.3 cores=0,2,4,6
/proc/25739/task/25742/stat : 25742 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 51877 0 0 0 70027 203 0 0 25 0 3 0 911077770 700346368 153220 33554432000 4194304 5714118 140736374591504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1404.62
Current children cumulated vsize (KiB) 683932
[startup+762.306 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 25815
/proc/meminfo: memFree=15075084/32951124 swapFree=67053176/67111528
[pid=25739] ppid=25737 vsize=684944 CPUtime=1524.63 cores=0,2,4,6
/proc/25739/stat : 25739 (pwbo1.1) S 25737 25739 24477 0 -1 4202496 160131 0 0 0 151564 899 0 0 25 0 3 0 911077770 701382656 159775 33554432000 4194304 5714118 140736374591504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25739/statm: 171236 159775 180 372 0 170861 0
[pid=25739/tid=25741] ppid=25737 vsize=684944 CPUtime=762.31 cores=0,2,4,6
/proc/25739/task/25741/stat : 25741 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 107586 0 0 0 75545 686 0 0 25 0 3 0 911077770 701382656 159775 33554432000 4194304 5714118 140736374591504 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25739/tid=25742] ppid=25737 vsize=684944 CPUtime=762.3 cores=0,2,4,6
/proc/25739/task/25742/stat : 25742 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 52103 0 0 0 76018 212 0 0 25 0 3 0 911077770 701382656 159775 33554432000 4194304 5714118 140736374591504 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1524.63
Current children cumulated vsize (KiB) 684944
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 25817
/proc/meminfo: memFree=15036580/32951124 swapFree=67053176/67111528
[pid=25739] ppid=25737 vsize=750668 CPUtime=1644.63 cores=0,2,4,6
/proc/25739/stat : 25739 (pwbo1.1) S 25737 25739 24477 0 -1 4202496 169535 0 0 0 163499 964 0 0 25 0 3 0 911077770 768684032 169179 33554432000 4194304 5714118 140736374591504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25739/statm: 187667 169179 180 372 0 187292 0
[pid=25739/tid=25741] ppid=25737 vsize=750668 CPUtime=822.3 cores=0,2,4,6
/proc/25739/task/25741/stat : 25741 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 116924 0 0 0 81485 745 0 0 25 0 3 0 911077770 768684032 169179 33554432000 4194304 5714118 140736374591504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25739/tid=25742] ppid=25737 vsize=750668 CPUtime=822.3 cores=0,2,4,6
/proc/25739/task/25742/stat : 25742 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 52169 0 0 0 82012 218 0 0 25 0 3 0 911077770 768684032 169179 33554432000 4194304 5714118 140736374591504 18446744073709551615 4319301 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.63
Current children cumulated vsize (KiB) 750668
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 25819
/proc/meminfo: memFree=15008472/32951124 swapFree=67053176/67111528
[pid=25739] ppid=25737 vsize=750668 CPUtime=1764.63 cores=0,2,4,6
/proc/25739/stat : 25739 (pwbo1.1) S 25737 25739 24477 0 -1 4202496 176411 0 0 0 175442 1021 0 0 25 0 3 0 911077770 768684032 176055 33554432000 4194304 5714118 140736374591504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25739/statm: 187667 176055 180 372 0 187292 0
[pid=25739/tid=25741] ppid=25737 vsize=750668 CPUtime=882.31 cores=0,2,4,6
/proc/25739/task/25741/stat : 25741 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 123791 0 0 0 87435 796 0 0 25 0 3 0 911077770 768684032 176055 33554432000 4194304 5714118 140736374591504 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25739/tid=25742] ppid=25737 vsize=750668 CPUtime=882.3 cores=0,2,4,6
/proc/25739/task/25742/stat : 25742 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 52178 0 0 0 88005 225 0 0 25 0 3 0 911077770 768684032 176055 33554432000 4194304 5714118 140736374591504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1764.63
Current children cumulated vsize (KiB) 750668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 25819
/proc/meminfo: memFree=14997904/32951124 swapFree=67053176/67111528
[pid=25739] ppid=25737 vsize=750812 CPUtime=1800.04 cores=0,2,4,6
/proc/25739/stat : 25739 (pwbo1.1) S 25737 25739 24477 0 -1 4202496 178810 0 0 0 178963 1041 0 0 25 0 3 0 911077770 768831488 178454 33554432000 4194304 5714118 140736374591504 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25739/statm: 187703 178454 180 372 0 187328 0
[pid=25739/tid=25741] ppid=25737 vsize=750812 CPUtime=900.01 cores=0,2,4,6
/proc/25739/task/25741/stat : 25741 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 126169 0 0 0 89190 811 0 0 25 0 3 0 911077770 768831488 178454 33554432000 4194304 5714118 140736374591504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25739/tid=25742] ppid=25737 vsize=750812 CPUtime=900.01 cores=0,2,4,6
/proc/25739/task/25742/stat : 25742 (pwbo1.1) R 25737 25739 24477 0 -1 4202560 52199 0 0 0 89772 229 0 0 25 0 3 0 911077770 768831488 178454 33554432000 4194304 5714118 140736374591504 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 750812
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 900.042
CPU time (s): 1800.09
CPU user time (s): 1789.65
CPU system time (s): 10.4434
CPU usage (%): 200.001
Max. virtual memory (cumulated for all children) (KiB): 750812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.65
system time used= 10.4434
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178815
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= 153
involuntary context switches= 3681
runsolver used 1.66675 second user time and 3.09353 second system time
The end