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-3725981-1338655450/watcher-3725981-1338655450 -o /tmp/evaluation-result-3725981-1338655450/solver-3725981-1338655450 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725981-1338655450.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.68 3.93 3.89 2/173 28143
/proc/meminfo: memFree=26823716/32873844 swapFree=7628/7628
[pid=28143] ppid=28141 vsize=4792 CPUtime=0 cores=1,3,5,7
/proc/28143/stat : 28143 (pwbo2.02) R 28141 28143 25747 0 -1 4202496 408 0 0 0 0 0 0 0 20 0 1 0 331669407 4907008 360 33554432000 4194304 5964478 140736169762096 140734072225560 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/28143/statm: 1198 361 165 433 0 644 0
[startup+0.0414809 s]
/proc/loadavg: 3.68 3.93 3.89 2/173 28143
/proc/meminfo: memFree=26823716/32873844 swapFree=7628/7628
[pid=28143] ppid=28141 vsize=10224 CPUtime=0.03 cores=1,3,5,7
/proc/28143/stat : 28143 (pwbo2.02) R 28141 28143 25747 0 -1 4202496 1870 0 0 0 3 0 0 0 20 0 1 0 331669407 10469376 1822 33554432000 4194304 5964478 140736169762096 140734072225560 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/28143/statm: 2589 1829 256 433 0 2035 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10224
[startup+0.100222 s]
/proc/loadavg: 3.68 3.93 3.89 2/173 28143
/proc/meminfo: memFree=26823716/32873844 swapFree=7628/7628
[pid=28143] ppid=28141 vsize=169348 CPUtime=0.14 cores=1,3,5,7
/proc/28143/stat : 28143 (pwbo2.02) S 28141 28143 25747 0 -1 4202496 4600 0 0 0 13 1 0 0 20 0 3 0 331669407 173412352 4434 33554432000 4194304 5964478 140736169762096 140736169761616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28143/statm: 42337 4434 194 433 0 41901 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 169348
[startup+0.300161 s]
/proc/loadavg: 3.68 3.93 3.89 2/173 28143
/proc/meminfo: memFree=26823716/32873844 swapFree=7628/7628
[pid=28143] ppid=28141 vsize=169744 CPUtime=0.54 cores=1,3,5,7
/proc/28143/stat : 28143 (pwbo2.02) S 28141 28143 25747 0 -1 4202496 5259 0 0 0 52 2 0 0 20 0 3 0 331669407 173817856 5093 33554432000 4194304 5964478 140736169762096 140736169761616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28143/statm: 42436 5093 206 433 0 42000 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 169744
[startup+0.70017 s]
/proc/loadavg: 3.68 3.93 3.89 2/173 28143
/proc/meminfo: memFree=26823716/32873844 swapFree=7628/7628
[pid=28143] ppid=28141 vsize=169744 CPUtime=1.34 cores=1,3,5,7
/proc/28143/stat : 28143 (pwbo2.02) S 28141 28143 25747 0 -1 4202496 5615 0 0 0 132 2 0 0 20 0 3 0 331669407 173817856 5449 33554432000 4194304 5964478 140736169762096 140736169761616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28143/statm: 42436 5449 206 433 0 42000 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 169744
[startup+1.50027 s]
/proc/loadavg: 3.68 3.93 3.89 3/177 28339
/proc/meminfo: memFree=26804192/32873844 swapFree=7628/7628
[pid=28143] ppid=28141 vsize=169744 CPUtime=2.93 cores=1,3,5,7
/proc/28143/stat : 28143 (pwbo2.02) S 28141 28143 25747 0 -1 4202496 5931 0 0 0 291 2 0 0 20 0 3 0 331669407 173817856 5765 33554432000 4194304 5964478 140736169762096 140736169761616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28143/statm: 42436 5765 206 433 0 42000 0
[pid=28143/tid=28145] ppid=28141 vsize=169744 CPUtime=1.43 cores=1,3,5,7
/proc/28143/task/28145/stat : 28145 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 2804 0 0 0 141 2 0 0 20 0 3 0 331669412 173817856 5765 33554432000 4194304 5964478 140736169762096 140416938809896 4403721 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28143/tid=28146] ppid=28141 vsize=169744 CPUtime=1.43 cores=1,3,5,7
/proc/28143/task/28146/stat : 28146 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 506 0 0 0 143 0 0 0 20 0 3 0 331669412 173817856 5765 33554432000 4194304 5964478 140736169762096 140416928319736 4403370 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 169744
[startup+3.10032 s]
/proc/loadavg: 3.68 3.93 3.89 3/177 28499
/proc/meminfo: memFree=26801160/32873844 swapFree=7628/7628
[pid=28143] ppid=28141 vsize=169744 CPUtime=6.14 cores=1,3,5,7
/proc/28143/stat : 28143 (pwbo2.02) S 28141 28143 25747 0 -1 4202496 6526 0 0 0 611 3 0 0 20 0 3 0 331669407 173817856 6360 33554432000 4194304 5964478 140736169762096 140736169761616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28143/statm: 42436 6360 206 433 0 42000 0
[pid=28143/tid=28145] ppid=28141 vsize=169744 CPUtime=3.02 cores=1,3,5,7
/proc/28143/task/28145/stat : 28145 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 3267 0 0 0 300 2 0 0 20 0 3 0 331669412 173817856 6360 33554432000 4194304 5964478 140736169762096 140416938809672 4400067 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28143/tid=28146] ppid=28141 vsize=169744 CPUtime=3.03 cores=1,3,5,7
/proc/28143/task/28146/stat : 28146 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 638 0 0 0 303 0 0 0 20 0 3 0 331669412 173817856 6360 33554432000 4194304 5964478 140736169762096 140416928319608 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 169744
[startup+6.3003 s]
/proc/loadavg: 3.54 3.90 3.88 3/174 28963
/proc/meminfo: memFree=26801616/32873844 swapFree=7628/7628
[pid=28143] ppid=28141 vsize=169888 CPUtime=12.54 cores=1,3,5,7
/proc/28143/stat : 28143 (pwbo2.02) S 28141 28143 25747 0 -1 4202496 7661 0 0 0 1249 5 0 0 20 0 3 0 331669407 173965312 7495 33554432000 4194304 5964478 140736169762096 140736169761616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28143/statm: 42472 7495 206 433 0 42036 0
[pid=28143/tid=28145] ppid=28141 vsize=169888 CPUtime=6.22 cores=1,3,5,7
/proc/28143/task/28145/stat : 28145 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 4234 0 0 0 618 4 0 0 20 0 3 0 331669412 173965312 7495 33554432000 4194304 5964478 140736169762096 140416938809336 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28143/tid=28146] ppid=28141 vsize=169888 CPUtime=6.22 cores=1,3,5,7
/proc/28143/task/28146/stat : 28146 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 806 0 0 0 622 0 0 0 20 0 3 0 331669412 173965312 7495 33554432000 4194304 5964478 140736169762096 140416928319848 4222314 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 169888
[startup+12.7003 s]
/proc/loadavg: 3.58 3.90 3.88 5/181 28979
/proc/meminfo: memFree=26758504/32873844 swapFree=7628/7628
[pid=28143] ppid=28141 vsize=169888 CPUtime=25.34 cores=1,3,5,7
/proc/28143/stat : 28143 (pwbo2.02) S 28141 28143 25747 0 -1 4202496 9978 0 0 0 2528 6 0 0 20 0 3 0 331669407 173965312 9775 33554432000 4194304 5964478 140736169762096 140736169761616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28143/statm: 42472 9775 206 433 0 42036 0
[pid=28143/tid=28145] ppid=28141 vsize=169888 CPUtime=12.6 cores=1,3,5,7
/proc/28143/task/28145/stat : 28145 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 6280 0 0 0 1256 4 0 0 20 0 3 0 331669412 173965312 9775 33554432000 4194304 5964478 140736169762096 140416938809248 4403719 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28143/tid=28146] ppid=28141 vsize=169888 CPUtime=12.6 cores=1,3,5,7
/proc/28143/task/28146/stat : 28146 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 1077 0 0 0 1260 0 0 0 20 0 3 0 331669412 173965312 9775 33554432000 4194304 5964478 140736169762096 140416928319904 4403708 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 169888
[startup+25.5003 s]
/proc/loadavg: 3.82 3.94 3.89 5/181 28979
/proc/meminfo: memFree=26734456/32873844 swapFree=7628/7628
[pid=28143] ppid=28141 vsize=169888 CPUtime=50.91 cores=1,3,5,7
/proc/28143/stat : 28143 (pwbo2.02) S 28141 28143 25747 0 -1 4202496 10136 0 0 0 5085 6 0 0 20 0 3 0 331669407 173965312 9962 33554432000 4194304 5964478 140736169762096 140736169761616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28143/statm: 42472 9962 206 433 0 42036 0
[pid=28143/tid=28145] ppid=28141 vsize=169888 CPUtime=25.35 cores=1,3,5,7
/proc/28143/task/28145/stat : 28145 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 6298 0 0 0 2531 4 0 0 20 0 3 0 331669412 173965312 9962 33554432000 4194304 5964478 140736169762096 140416938809440 4403370 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28143/tid=28146] ppid=28141 vsize=169888 CPUtime=25.37 cores=1,3,5,7
/proc/28143/task/28146/stat : 28146 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 1217 0 0 0 2536 1 0 0 20 0 3 0 331669412 173965312 9962 33554432000 4194304 5964478 140736169762096 140416928319800 4403370 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 169888
[startup+51.1004 s]
/proc/loadavg: 3.88 3.94 3.89 5/181 29019
/proc/meminfo: memFree=26739128/32873844 swapFree=7628/7628
[pid=28143] ppid=28141 vsize=170068 CPUtime=102.11 cores=1,3,5,7
/proc/28143/stat : 28143 (pwbo2.02) S 28141 28143 25747 0 -1 4202496 11772 0 0 0 10203 8 0 0 20 0 3 0 331669407 174149632 12792 33554432000 4194304 5964478 140736169762096 140736169761616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28143/statm: 42517 12792 206 433 0 42081 0
[pid=28143/tid=28145] ppid=28141 vsize=170068 CPUtime=50.88 cores=1,3,5,7
/proc/28143/task/28145/stat : 28145 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 7157 0 0 0 5084 4 0 0 20 0 3 0 331669412 174149632 12792 33554432000 4194304 5964478 140736169762096 140416938809880 4222320 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28143/tid=28146] ppid=28141 vsize=170068 CPUtime=50.9 cores=1,3,5,7
/proc/28143/task/28146/stat : 28146 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 1994 0 0 0 5088 2 0 0 20 0 3 0 331669412 174149632 12792 33554432000 4194304 5964478 140736169762096 140416928319608 4403727 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 170068
[startup+102.307 s]
/proc/loadavg: 4.10 3.98 3.91 5/181 29019
/proc/meminfo: memFree=26657836/32873844 swapFree=7628/7628
[pid=28143] ppid=28141 vsize=170712 CPUtime=204.49 cores=1,3,5,7
/proc/28143/stat : 28143 (pwbo2.02) S 28141 28143 25747 0 -1 4202496 13903 0 0 0 20438 11 0 0 20 0 3 0 331669407 174809088 14923 33554432000 4194304 5964478 140736169762096 140736169761616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28143/statm: 42678 14923 206 433 0 42242 0
[pid=28143/tid=28145] ppid=28141 vsize=170712 CPUtime=101.95 cores=1,3,5,7
/proc/28143/task/28145/stat : 28145 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 7982 0 0 0 10188 7 0 0 20 0 3 0 331669412 174809088 14923 33554432000 4194304 5964478 140736169762096 140416938809144 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28143/tid=28146] ppid=28141 vsize=170712 CPUtime=101.98 cores=1,3,5,7
/proc/28143/task/28146/stat : 28146 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 3300 0 0 0 10193 5 0 0 20 0 3 0 331669412 174809088 14923 33554432000 4194304 5964478 140736169762096 140416928319608 4392918 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.49
Current children cumulated vsize (KiB) 170712
[startup+162.3 s]
/proc/loadavg: 4.03 3.98 3.91 5/181 29019
/proc/meminfo: memFree=26586756/32873844 swapFree=7628/7628
[pid=28143] ppid=28141 vsize=171192 CPUtime=324.45 cores=1,3,5,7
/proc/28143/stat : 28143 (pwbo2.02) S 28141 28143 25747 0 -1 4202496 18335 0 0 0 32427 18 0 0 20 0 3 0 331669407 175300608 19415 33554432000 4194304 5964478 140736169762096 140736169761616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28143/statm: 42798 19415 206 433 0 42362 0
[pid=28143/tid=28145] ppid=28141 vsize=171192 CPUtime=161.78 cores=1,3,5,7
/proc/28143/task/28145/stat : 28145 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 11692 0 0 0 16164 14 0 0 20 0 3 0 331669412 175300608 19415 33554432000 4194304 5964478 140736169762096 140416938809144 4403370 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28143/tid=28146] ppid=28141 vsize=171192 CPUtime=161.81 cores=1,3,5,7
/proc/28143/task/28146/stat : 28146 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 4022 0 0 0 16174 7 0 0 20 0 3 0 331669412 175300608 19415 33554432000 4194304 5964478 140736169762096 140416928319848 4392797 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.45
Current children cumulated vsize (KiB) 171192
[startup+222.3 s]
/proc/loadavg: 4.01 3.98 3.91 5/181 29219
/proc/meminfo: memFree=26637164/32873844 swapFree=7628/7628
[pid=28143] ppid=28141 vsize=171192 CPUtime=444.42 cores=1,3,5,7
/proc/28143/stat : 28143 (pwbo2.02) S 28141 28143 25747 0 -1 4202496 22631 0 0 0 44418 24 0 0 20 0 3 0 331669407 175300608 23723 33554432000 4194304 5964478 140736169762096 140736169761616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28143/statm: 42798 23723 206 433 0 42362 0
[pid=28143/tid=28145] ppid=28141 vsize=171192 CPUtime=221.62 cores=1,3,5,7
/proc/28143/task/28145/stat : 28145 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 14946 0 0 0 22142 20 0 0 20 0 3 0 331669412 175300608 23723 33554432000 4194304 5964478 140736169762096 140416938809248 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28143/tid=28146] ppid=28141 vsize=171192 CPUtime=221.66 cores=1,3,5,7
/proc/28143/task/28146/stat : 28146 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 5064 0 0 0 22157 9 0 0 20 0 3 0 331669412 175300608 23723 33554432000 4194304 5964478 140736169762096 140416928319904 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.42
Current children cumulated vsize (KiB) 171192
[startup+282.3 s]
/proc/loadavg: 4.00 3.98 3.91 5/181 29220
/proc/meminfo: memFree=26586044/32873844 swapFree=7628/7628
[pid=28143] ppid=28141 vsize=236728 CPUtime=564.39 cores=1,3,5,7
/proc/28143/stat : 28143 (pwbo2.02) S 28141 28143 25747 0 -1 4202496 25662 0 0 0 56410 29 0 0 20 0 3 0 331669407 242409472 26853 33554432000 4194304 5964478 140736169762096 140736169761616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28143/statm: 59182 26853 206 433 0 58746 0
[pid=28143/tid=28145] ppid=28141 vsize=236728 CPUtime=281.45 cores=1,3,5,7
/proc/28143/task/28145/stat : 28145 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 17975 0 0 0 28119 26 0 0 20 0 3 0 331669412 242409472 26853 33554432000 4194304 5964478 140736169762096 140416938809384 4399938 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=28143/tid=28146] ppid=28141 vsize=236728 CPUtime=281.5 cores=1,3,5,7
/proc/28143/task/28146/stat : 28146 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 5066 0 0 0 28140 10 0 0 20 0 3 0 331669412 242409472 26853 33554432000 4194304 5964478 140736169762096 140416928319904 4222304 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.39
Current children cumulated vsize (KiB) 236728
[startup+342.3 s]
/proc/loadavg: 4.00 3.98 3.91 5/181 29220
/proc/meminfo: memFree=26550364/32873844 swapFree=7628/7628
[pid=28143] ppid=28141 vsize=236728 CPUtime=684.37 cores=1,3,5,7
/proc/28143/stat : 28143 (pwbo2.02) S 28141 28143 25747 0 -1 4202496 28790 0 0 0 68403 34 0 0 20 0 3 0 331669407 242409472 29981 33554432000 4194304 5964478 140736169762096 140736169761616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28143/statm: 59182 29981 206 433 0 58746 0
################
# More data... #
################
[pid=28143/tid=28146] ppid=28141 vsize=236728 CPUtime=341.35 cores=1,3,5,7
/proc/28143/task/28146/stat : 28146 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 5066 0 0 0 34124 11 0 0 20 0 3 0 331669412 242409472 29981 33554432000 4194304 5964478 140736169762096 140416928319712 4222314 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.37
Current children cumulated vsize (KiB) 236728
[startup+402.3 s]
/proc/loadavg: 4.03 4.00 3.91 5/182 29223
/proc/meminfo: memFree=26484972/32873844 swapFree=7628/7628
[pid=28143] ppid=28141 vsize=237088 CPUtime=804.34 cores=1,3,5,7
/proc/28143/stat : 28143 (pwbo2.02) S 28141 28143 25747 0 -1 4202496 30977 0 0 0 80396 38 0 0 20 0 3 0 331669407 242778112 32190 33554432000 4194304 5964478 140736169762096 140736169761616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28143/statm: 59272 32190 206 433 0 58836 0
[pid=28143/tid=28145] ppid=28141 vsize=237088 CPUtime=401.13 cores=1,3,5,7
/proc/28143/task/28145/stat : 28145 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 22475 0 0 0 40078 35 0 0 20 0 3 0 331669412 242778112 32190 33554432000 4194304 5964478 140736169762096 140416938809384 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28143/tid=28146] ppid=28141 vsize=237088 CPUtime=401.19 cores=1,3,5,7
/proc/28143/task/28146/stat : 28146 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 5881 0 0 0 40105 14 0 0 20 0 3 0 331669412 242778112 32190 33554432000 4194304 5964478 140736169762096 140416928319608 4400024 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.34
Current children cumulated vsize (KiB) 237088
[startup+462.3 s]
/proc/loadavg: 4.01 4.00 3.91 5/181 29223
/proc/meminfo: memFree=26453220/32873844 swapFree=7628/7628
[pid=28143] ppid=28141 vsize=237088 CPUtime=924.31 cores=1,3,5,7
/proc/28143/stat : 28143 (pwbo2.02) S 28141 28143 25747 0 -1 4202496 33593 0 0 0 92389 42 0 0 20 0 3 0 331669407 242778112 34879 33554432000 4194304 5964478 140736169762096 140736169761616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28143/statm: 59272 34879 206 433 0 58836 0
[pid=28143/tid=28145] ppid=28141 vsize=237088 CPUtime=460.96 cores=1,3,5,7
/proc/28143/task/28145/stat : 28145 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 24840 0 0 0 46057 39 0 0 20 0 3 0 331669412 242778112 34879 33554432000 4194304 5964478 140736169762096 140416938809384 4222330 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28143/tid=28146] ppid=28141 vsize=237088 CPUtime=461.04 cores=1,3,5,7
/proc/28143/task/28146/stat : 28146 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 6132 0 0 0 46088 16 0 0 20 0 3 0 331669412 242778112 34879 33554432000 4194304 5964478 140736169762096 140416928319608 4403290 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.31
Current children cumulated vsize (KiB) 237088
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 29223
/proc/meminfo: memFree=26397412/32873844 swapFree=7628/7628
[pid=28143] ppid=28141 vsize=238096 CPUtime=1044.28 cores=1,3,5,7
/proc/28143/stat : 28143 (pwbo2.02) S 28141 28143 25747 0 -1 4202496 38184 0 0 0 104378 50 0 0 20 0 3 0 331669407 243810304 39470 33554432000 4194304 5964478 140736169762096 140736169761616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28143/statm: 59524 39470 206 433 0 59088 0
[pid=28143/tid=28145] ppid=28141 vsize=238096 CPUtime=520.8 cores=1,3,5,7
/proc/28143/task/28145/stat : 28145 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 28504 0 0 0 52034 46 0 0 20 0 3 0 331669412 243810304 39470 33554432000 4194304 5964478 140736169762096 140416938809144 4399938 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28143/tid=28146] ppid=28141 vsize=238096 CPUtime=520.88 cores=1,3,5,7
/proc/28143/task/28146/stat : 28146 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 7059 0 0 0 52070 18 0 0 20 0 3 0 331669412 243810304 39470 33554432000 4194304 5964478 140736169762096 140416928319608 4222330 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.28
Current children cumulated vsize (KiB) 238096
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 29224
/proc/meminfo: memFree=26365436/32873844 swapFree=7628/7628
[pid=28143] ppid=28141 vsize=238420 CPUtime=1164.26 cores=1,3,5,7
/proc/28143/stat : 28143 (pwbo2.02) S 28141 28143 25747 0 -1 4202496 40284 0 0 0 116372 54 0 0 20 0 3 0 331669407 244142080 41570 33554432000 4194304 5964478 140736169762096 140736169761616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28143/statm: 59605 41570 206 433 0 59169 0
[pid=28143/tid=28145] ppid=28141 vsize=238420 CPUtime=580.64 cores=1,3,5,7
/proc/28143/task/28145/stat : 28145 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 30581 0 0 0 58013 51 0 0 20 0 3 0 331669412 244142080 41570 33554432000 4194304 5964478 140736169762096 140416938809384 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=28143/tid=28146] ppid=28141 vsize=238420 CPUtime=580.73 cores=1,3,5,7
/proc/28143/task/28146/stat : 28146 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 7082 0 0 0 58054 19 0 0 20 0 3 0 331669412 244142080 41570 33554432000 4194304 5964478 140736169762096 140416928319608 4378816 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.26
Current children cumulated vsize (KiB) 238420
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 29224
/proc/meminfo: memFree=26342172/32873844 swapFree=7628/7628
[pid=28143] ppid=28141 vsize=238744 CPUtime=1284.25 cores=1,3,5,7
/proc/28143/stat : 28143 (pwbo2.02) S 28141 28143 25747 0 -1 4202496 41575 0 0 0 128369 56 0 0 20 0 3 0 331669407 244473856 42840 33554432000 4194304 5964478 140736169762096 140736169761616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28143/statm: 59686 42840 206 433 0 59250 0
[pid=28143/tid=28145] ppid=28141 vsize=238744 CPUtime=640.49 cores=1,3,5,7
/proc/28143/task/28145/stat : 28145 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 31742 0 0 0 63996 53 0 0 20 0 3 0 331669412 244473856 42840 33554432000 4194304 5964478 140736169762096 140416938809144 4403370 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=28143/tid=28146] ppid=28141 vsize=238744 CPUtime=640.58 cores=1,3,5,7
/proc/28143/task/28146/stat : 28146 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 7212 0 0 0 64038 20 0 0 20 0 3 0 331669412 244473856 42840 33554432000 4194304 5964478 140736169762096 140416928319848 4400787 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.25
Current children cumulated vsize (KiB) 238744
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 29224
/proc/meminfo: memFree=26274944/32873844 swapFree=7628/7628
[pid=28143] ppid=28141 vsize=304604 CPUtime=1404.21 cores=1,3,5,7
/proc/28143/stat : 28143 (pwbo2.02) S 28141 28143 25747 0 -1 4202496 46309 0 0 0 140355 66 0 0 20 0 3 0 331669407 311914496 47625 33554432000 4194304 5964478 140736169762096 140736169761616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28143/statm: 76151 47625 206 433 0 75715 0
[pid=28143/tid=28145] ppid=28141 vsize=304604 CPUtime=700.32 cores=1,3,5,7
/proc/28143/task/28145/stat : 28145 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 33943 0 0 0 69974 58 0 0 20 0 3 0 331669412 311914496 47625 33554432000 4194304 5964478 140736169762096 140416938809384 4222314 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=28143/tid=28146] ppid=28141 vsize=304604 CPUtime=700.42 cores=1,3,5,7
/proc/28143/task/28146/stat : 28146 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 9745 0 0 0 70015 27 0 0 20 0 3 0 331669412 311914496 47625 33554432000 4194304 5964478 140736169762096 140416928319800 4403370 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.21
Current children cumulated vsize (KiB) 304604
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 29224
/proc/meminfo: memFree=26242424/32873844 swapFree=7628/7628
[pid=28143] ppid=28141 vsize=304604 CPUtime=1524.2 cores=1,3,5,7
/proc/28143/stat : 28143 (pwbo2.02) S 28141 28143 25747 0 -1 4202496 47393 0 0 0 152353 67 0 0 20 0 3 0 331669407 311914496 48873 33554432000 4194304 5964478 140736169762096 140736169761616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28143/statm: 76151 48873 206 433 0 75715 0
[pid=28143/tid=28145] ppid=28141 vsize=304604 CPUtime=760.16 cores=1,3,5,7
/proc/28143/task/28145/stat : 28145 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 34906 0 0 0 75956 60 0 0 20 0 3 0 331669412 311914496 48873 33554432000 4194304 5964478 140736169762096 140416938809336 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=28143/tid=28146] ppid=28141 vsize=304604 CPUtime=760.27 cores=1,3,5,7
/proc/28143/task/28146/stat : 28146 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 9866 0 0 0 75999 28 0 0 20 0 3 0 331669412 311914496 48873 33554432000 4194304 5964478 140736169762096 140416928319608 4400038 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.2
Current children cumulated vsize (KiB) 304604
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 29224
/proc/meminfo: memFree=26203816/32873844 swapFree=7628/7628
[pid=28143] ppid=28141 vsize=306276 CPUtime=1644.17 cores=1,3,5,7
/proc/28143/stat : 28143 (pwbo2.02) S 28141 28143 25747 0 -1 4202496 51037 0 0 0 164344 73 0 0 20 0 3 0 331669407 313626624 52515 33554432000 4194304 5964478 140736169762096 140736169761616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28143/statm: 76569 52515 206 433 0 76133 0
[pid=28143/tid=28145] ppid=28141 vsize=306276 CPUtime=819.99 cores=1,3,5,7
/proc/28143/task/28145/stat : 28145 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 38450 0 0 0 81932 67 0 0 20 0 3 0 331669412 313626624 52515 33554432000 4194304 5964478 140736169762096 140416938809336 4403376 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=28143/tid=28146] ppid=28141 vsize=306276 CPUtime=820.11 cores=1,3,5,7
/proc/28143/task/28146/stat : 28146 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 9966 0 0 0 81982 29 0 0 20 0 3 0 331669412 313626624 52515 33554432000 4194304 5964478 140736169762096 140416928319672 4403727 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.17
Current children cumulated vsize (KiB) 306276
[startup+882.3 s]
/proc/loadavg: 4.03 4.01 3.92 5/181 29225
/proc/meminfo: memFree=26193864/32873844 swapFree=7628/7628
[pid=28143] ppid=28141 vsize=306276 CPUtime=1764.14 cores=1,3,5,7
/proc/28143/stat : 28143 (pwbo2.02) S 28141 28143 25747 0 -1 4202496 51543 0 0 0 176341 73 0 0 20 0 3 0 331669407 313626624 53020 33554432000 4194304 5964478 140736169762096 140736169761616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28143/statm: 76569 53020 206 433 0 76133 0
[pid=28143/tid=28145] ppid=28141 vsize=306276 CPUtime=879.84 cores=1,3,5,7
/proc/28143/task/28145/stat : 28145 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 38954 0 0 0 87915 69 0 0 20 0 3 0 331669412 313626624 53020 33554432000 4194304 5964478 140736169762096 140416938809384 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=28143/tid=28146] ppid=28141 vsize=306276 CPUtime=879.96 cores=1,3,5,7
/proc/28143/task/28146/stat : 28146 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 9968 0 0 0 87966 30 0 0 20 0 3 0 331669412 313626624 53020 33554432000 4194304 5964478 140736169762096 140416928319672 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764.14
Current children cumulated vsize (KiB) 306276
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.02 4.01 3.92 5/181 29225
/proc/meminfo: memFree=26186404/32873844 swapFree=7628/7628
[pid=28143] ppid=28141 vsize=306276 CPUtime=1800.15 cores=1,3,5,7
/proc/28143/stat : 28143 (pwbo2.02) S 28141 28143 25747 0 -1 4202496 52874 0 0 0 179940 75 0 0 20 0 3 0 331669407 313626624 54351 33554432000 4194304 5964478 140736169762096 140736169761616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28143/statm: 76569 54351 206 433 0 76133 0
[pid=28143/tid=28145] ppid=28141 vsize=306276 CPUtime=897.8 cores=1,3,5,7
/proc/28143/task/28145/stat : 28145 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 40285 0 0 0 89710 70 0 0 20 0 3 0 331669412 313626624 54351 33554432000 4194304 5964478 140736169762096 140416938809384 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=28143/tid=28146] ppid=28141 vsize=306276 CPUtime=897.92 cores=1,3,5,7
/proc/28143/task/28146/stat : 28146 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 9968 0 0 0 89762 30 0 0 20 0 3 0 331669412 313626624 54351 33554432000 4194304 5964478 140736169762096 140416928319672 4403370 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 306276
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.02 4.01 3.92 5/181 29225
/proc/meminfo: memFree=26186404/32873844 swapFree=7628/7628
[pid=28143] ppid=28141 vsize=306276 CPUtime=1800.15 cores=1,3,5,7
/proc/28143/stat : 28143 (pwbo2.02) S 28141 28143 25747 0 -1 4202496 52874 0 0 0 179940 75 0 0 20 0 3 0 331669407 313626624 54351 33554432000 4194304 5964478 140736169762096 140736169761616 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28143/statm: 76569 54351 206 433 0 76133 0
[pid=28143/tid=28145] ppid=28141 vsize=306276 CPUtime=897.8 cores=1,3,5,7
/proc/28143/task/28145/stat : 28145 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 40285 0 0 0 89710 70 0 0 20 0 3 0 331669412 313626624 54351 33554432000 4194304 5964478 140736169762096 140416938809384 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=28143/tid=28146] ppid=28141 vsize=306276 CPUtime=897.92 cores=1,3,5,7
/proc/28143/task/28146/stat : 28146 (pwbo2.02) R 28141 28143 25747 0 -1 4202560 9968 0 0 0 89762 30 0 0 20 0 3 0 331669412 313626624 54351 33554432000 4194304 5964478 140736169762096 140416928319672 4403370 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 306276
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28143 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=782151
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=22844
# CPU time returned by wait4() is 1795.81
# while last known CPU time is 1800.15
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.316
CPU time (s): 1800.15
CPU user time (s): 1799.4
CPU system time (s): 0.75
CPU usage (%): 199.946
Max. virtual memory (cumulated for all children) (KiB): 306276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.78
system time used= 1.02284
maximum resident set size= 217408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52875
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= 162
involuntary context switches= 2619
runsolver used 2.21166 second user time and 5.16621 second system time
The end