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 /var/tmp/evaluation-result-3500483-1307995984/watcher-3500483-1307995984 -o /var/tmp/evaluation-result-3500483-1307995984/solver-3500483-1307995984 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500483-1307995984.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: 4.00 3.99 3.91 4/179 18777
/proc/meminfo: memFree=24311488/32950928 swapFree=67054844/67111528
[pid=18777] ppid=18775 vsize=3548 CPUtime=0 cores=0,2,4,6
/proc/18777/stat : 18777 (pwbo1.1) R 18775 18777 17705 0 -1 4202496 397 0 0 0 0 0 0 0 25 0 1 0 989829094 3633152 349 33554432000 4194304 5714118 140734355015872 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18777/statm: 887 352 164 372 0 250 0
[startup+0.079251 s]
/proc/loadavg: 4.00 3.99 3.91 4/179 18777
/proc/meminfo: memFree=24311488/32950928 swapFree=67054844/67111528
[pid=18777] ppid=18775 vsize=14408 CPUtime=0.07 cores=0,2,4,6
/proc/18777/stat : 18777 (pwbo1.1) R 18775 18777 17705 0 -1 4202496 3319 0 0 0 7 0 0 0 25 0 1 0 989829094 14753792 3271 33554432000 4194304 5714118 140734355015872 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18777/statm: 3602 3272 349 372 0 2965 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14408
[startup+0.10124 s]
/proc/loadavg: 4.00 3.99 3.91 4/179 18777
/proc/meminfo: memFree=24311488/32950928 swapFree=67054844/67111528
[pid=18777] ppid=18775 vsize=17524 CPUtime=0.09 cores=0,2,4,6
/proc/18777/stat : 18777 (pwbo1.1) R 18775 18777 17705 0 -1 4202496 4115 0 0 0 9 0 0 0 25 0 1 0 989829094 17944576 4067 33554432000 4194304 5714118 140734355015872 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/18777/statm: 4381 4068 406 372 0 3744 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17524
[startup+0.301194 s]
/proc/loadavg: 4.00 3.99 3.91 4/179 18777
/proc/meminfo: memFree=24311488/32950928 swapFree=67054844/67111528
[pid=18777] ppid=18775 vsize=149792 CPUtime=0.49 cores=0,2,4,6
/proc/18777/stat : 18777 (pwbo1.1) S 18775 18777 17705 0 -1 4202496 6479 0 0 0 48 1 0 0 18 0 3 0 989829094 153387008 6169 33554432000 4194304 5714118 140734355015872 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/18777/statm: 37448 6169 181 372 0 37073 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 149792
[startup+0.701124 s]
/proc/loadavg: 4.00 3.99 3.91 4/179 18777
/proc/meminfo: memFree=24311488/32950928 swapFree=67054844/67111528
[pid=18777] ppid=18775 vsize=149792 CPUtime=1.28 cores=0,2,4,6
/proc/18777/stat : 18777 (pwbo1.1) S 18775 18777 17705 0 -1 4202496 6552 0 0 0 127 1 0 0 18 0 3 0 989829094 153387008 6242 33554432000 4194304 5714118 140734355015872 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/18777/statm: 37448 6242 181 372 0 37073 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 149792
[startup+1.50096 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 18780
/proc/meminfo: memFree=24284456/32950928 swapFree=67054844/67111528
[pid=18777] ppid=18775 vsize=155136 CPUtime=2.88 cores=0,2,4,6
/proc/18777/stat : 18777 (pwbo1.1) S 18775 18777 17705 0 -1 4202496 9144 0 0 0 284 4 0 0 18 0 3 0 989829094 158859264 8818 33554432000 4194304 5714118 140734355015872 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/18777/statm: 38784 8818 181 372 0 38409 0
[pid=18777/tid=18779] ppid=18775 vsize=155136 CPUtime=1.38 cores=0,2,4,6
/proc/18777/task/18779/stat : 18779 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 2114 0 0 0 138 0 0 0 19 0 3 0 989829104 158859264 8818 33554432000 4194304 5714118 140734355015872 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=155136 CPUtime=1.38 cores=0,2,4,6
/proc/18777/task/18780/stat : 18780 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 2705 0 0 0 136 2 0 0 23 0 3 0 989829104 158859264 8818 33554432000 4194304 5714118 140734355015872 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 155136
[startup+3.10066 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 18780
/proc/meminfo: memFree=24273544/32950928 swapFree=67054844/67111528
[pid=18777] ppid=18775 vsize=155300 CPUtime=6.08 cores=0,2,4,6
/proc/18777/stat : 18777 (pwbo1.1) S 18775 18777 17705 0 -1 4202496 9477 0 0 0 603 5 0 0 18 0 3 0 989829094 159027200 9151 33554432000 4194304 5714118 140734355015872 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/18777/statm: 38825 9151 181 372 0 38450 0
[pid=18777/tid=18779] ppid=18775 vsize=155300 CPUtime=2.99 cores=0,2,4,6
/proc/18777/task/18779/stat : 18779 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 2288 0 0 0 298 1 0 0 25 0 3 0 989829104 159027200 9151 33554432000 4194304 5714118 140734355015872 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=155300 CPUtime=2.98 cores=0,2,4,6
/proc/18777/task/18780/stat : 18780 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 2864 0 0 0 295 3 0 0 25 0 3 0 989829104 159027200 9151 33554432000 4194304 5714118 140734355015872 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 155300
[startup+6.30106 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 18780
/proc/meminfo: memFree=24264860/32950928 swapFree=67054844/67111528
[pid=18777] ppid=18775 vsize=155300 CPUtime=12.49 cores=0,2,4,6
/proc/18777/stat : 18777 (pwbo1.1) S 18775 18777 17705 0 -1 4202496 10785 0 0 0 1241 8 0 0 18 0 3 0 989829094 159027200 10459 33554432000 4194304 5714118 140734355015872 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/18777/statm: 38825 10459 181 372 0 38450 0
[pid=18777/tid=18779] ppid=18775 vsize=155300 CPUtime=6.18 cores=0,2,4,6
/proc/18777/task/18779/stat : 18779 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 2614 0 0 0 617 1 0 0 25 0 3 0 989829104 159027200 10459 33554432000 4194304 5714118 140734355015872 18446744073709551615 4323034 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=155300 CPUtime=6.18 cores=0,2,4,6
/proc/18777/task/18780/stat : 18780 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 3846 0 0 0 613 5 0 0 25 0 3 0 989829104 159027200 10459 33554432000 4194304 5714118 140734355015872 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 155300
[startup+12.7009 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 18781
/proc/meminfo: memFree=24254292/32950928 swapFree=67054844/67111528
[pid=18777] ppid=18775 vsize=155588 CPUtime=25.28 cores=0,2,4,6
/proc/18777/stat : 18777 (pwbo1.1) S 18775 18777 17705 0 -1 4202496 11787 0 0 0 2516 12 0 0 18 0 3 0 989829094 159322112 11461 33554432000 4194304 5714118 140734355015872 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/18777/statm: 38897 11461 181 372 0 38522 0
[pid=18777/tid=18779] ppid=18775 vsize=155588 CPUtime=12.59 cores=0,2,4,6
/proc/18777/task/18779/stat : 18779 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 3102 0 0 0 1256 3 0 0 25 0 3 0 989829104 159322112 11461 33554432000 4194304 5714118 140734355015872 18446744073709551615 4200634 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=155588 CPUtime=12.59 cores=0,2,4,6
/proc/18777/task/18780/stat : 18780 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 4360 0 0 0 1251 8 0 0 25 0 3 0 989829104 159322112 11461 33554432000 4194304 5714118 140734355015872 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 155588
[startup+25.5005 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 18781
/proc/meminfo: memFree=24232456/32950928 swapFree=67054844/67111528
[pid=18777] ppid=18775 vsize=155768 CPUtime=50.89 cores=0,2,4,6
/proc/18777/stat : 18777 (pwbo1.1) S 18775 18777 17705 0 -1 4202496 13464 0 0 0 5070 19 0 0 18 0 3 0 989829094 159506432 13138 33554432000 4194304 5714118 140734355015872 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/18777/statm: 38942 13138 181 372 0 38567 0
[pid=18777/tid=18779] ppid=18775 vsize=155768 CPUtime=25.39 cores=0,2,4,6
/proc/18777/task/18779/stat : 18779 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 3613 0 0 0 2535 4 0 0 25 0 3 0 989829104 159506432 13138 33554432000 4194304 5714118 140734355015872 18446744073709551615 4200778 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=155768 CPUtime=25.38 cores=0,2,4,6
/proc/18777/task/18780/stat : 18780 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 5526 0 0 0 2525 13 0 0 25 0 3 0 989829104 159506432 13138 33554432000 4194304 5714118 140734355015872 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 155768
[startup+51.1007 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 18782
/proc/meminfo: memFree=24197168/32950928 swapFree=67054844/67111528
[pid=18777] ppid=18775 vsize=155928 CPUtime=102.09 cores=0,2,4,6
/proc/18777/stat : 18777 (pwbo1.1) S 18775 18777 17705 0 -1 4202496 16129 0 0 0 10179 30 0 0 18 0 3 0 989829094 159670272 15803 33554432000 4194304 5714118 140734355015872 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/18777/statm: 38982 15803 182 372 0 38607 0
[pid=18777/tid=18779] ppid=18775 vsize=155928 CPUtime=50.99 cores=0,2,4,6
/proc/18777/task/18779/stat : 18779 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 4575 0 0 0 5092 7 0 0 25 0 3 0 989829104 159670272 15803 33554432000 4194304 5714118 140734355015872 18446744073709551615 4323034 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=155928 CPUtime=50.99 cores=0,2,4,6
/proc/18777/task/18780/stat : 18780 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 7229 0 0 0 5077 22 0 0 25 0 3 0 989829104 159670272 15803 33554432000 4194304 5714118 140734355015872 18446744073709551615 4322796 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 102.09
Current children cumulated vsize (KiB) 155928
[startup+102.307 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 18783
/proc/meminfo: memFree=24136732/32950928 swapFree=67054844/67111528
[pid=18777] ppid=18775 vsize=156240 CPUtime=204.5 cores=0,2,4,6
/proc/18777/stat : 18777 (pwbo1.1) S 18775 18777 17705 0 -1 4202496 19251 0 0 0 20400 50 0 0 18 0 3 0 989829094 159989760 18925 33554432000 4194304 5714118 140734355015872 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/18777/statm: 39060 18925 182 372 0 38685 0
[pid=18777/tid=18779] ppid=18775 vsize=156240 CPUtime=102.2 cores=0,2,4,6
/proc/18777/task/18779/stat : 18779 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 6184 0 0 0 10206 14 0 0 25 0 3 0 989829104 159989760 18925 33554432000 4194304 5714118 140734355015872 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=156240 CPUtime=102.19 cores=0,2,4,6
/proc/18777/task/18780/stat : 18780 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 8742 0 0 0 10184 35 0 0 25 0 3 0 989829104 159989760 18925 33554432000 4194304 5714118 140734355015872 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.5
Current children cumulated vsize (KiB) 156240
[startup+162.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 18785
/proc/meminfo: memFree=24067004/32950928 swapFree=67054844/67111528
[pid=18777] ppid=18775 vsize=156240 CPUtime=324.49 cores=0,2,4,6
/proc/18777/stat : 18777 (pwbo1.1) S 18775 18777 17705 0 -1 4202496 22472 0 0 0 32377 72 0 0 18 0 3 0 989829094 159989760 22146 33554432000 4194304 5714118 140734355015872 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/18777/statm: 39060 22146 182 372 0 38685 0
[pid=18777/tid=18779] ppid=18775 vsize=156240 CPUtime=162.19 cores=0,2,4,6
/proc/18777/task/18779/stat : 18779 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 7968 0 0 0 16197 22 0 0 25 0 3 0 989829104 159989760 22146 33554432000 4194304 5714118 140734355015872 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=156240 CPUtime=162.19 cores=0,2,4,6
/proc/18777/task/18780/stat : 18780 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 10179 0 0 0 16171 48 0 0 25 0 3 0 989829104 159989760 22146 33554432000 4194304 5714118 140734355015872 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 324.49
Current children cumulated vsize (KiB) 156240
[startup+222.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 18786
/proc/meminfo: memFree=23995544/32950928 swapFree=67054844/67111528
[pid=18777] ppid=18775 vsize=157464 CPUtime=444.5 cores=0,2,4,6
/proc/18777/stat : 18777 (pwbo1.1) S 18775 18777 17705 0 -1 4202496 25583 0 0 0 44359 91 0 0 18 0 3 0 989829094 161243136 25257 33554432000 4194304 5714118 140734355015872 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/18777/statm: 39366 25257 182 372 0 38991 0
[pid=18777/tid=18779] ppid=18775 vsize=157464 CPUtime=222.19 cores=0,2,4,6
/proc/18777/task/18779/stat : 18779 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 9759 0 0 0 22187 32 0 0 25 0 3 0 989829104 161243136 25257 33554432000 4194304 5714118 140734355015872 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=157464 CPUtime=222.19 cores=0,2,4,6
/proc/18777/task/18780/stat : 18780 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 11499 0 0 0 22162 57 0 0 25 0 3 0 989829104 161243136 25257 33554432000 4194304 5714118 140734355015872 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 444.5
Current children cumulated vsize (KiB) 157464
[startup+282.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 18788
/proc/meminfo: memFree=23932732/32950928 swapFree=67054844/67111528
[pid=18777] ppid=18775 vsize=157464 CPUtime=564.51 cores=0,2,4,6
/proc/18777/stat : 18777 (pwbo1.1) S 18775 18777 17705 0 -1 4202496 27234 0 0 0 56344 107 0 0 18 0 3 0 989829094 161243136 26908 33554432000 4194304 5714118 140734355015872 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/18777/statm: 39366 26908 182 372 0 38991 0
[pid=18777/tid=18779] ppid=18775 vsize=157464 CPUtime=282.19 cores=0,2,4,6
/proc/18777/task/18779/stat : 18779 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 11180 0 0 0 28178 41 0 0 25 0 3 0 989829104 161243136 26908 33554432000 4194304 5714118 140734355015872 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=157464 CPUtime=282.2 cores=0,2,4,6
/proc/18777/task/18780/stat : 18780 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 11729 0 0 0 28156 64 0 0 25 0 3 0 989829104 161243136 26908 33554432000 4194304 5714118 140734355015872 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 564.51
Current children cumulated vsize (KiB) 157464
[startup+342.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 18789
/proc/meminfo: memFree=23861636/32950928 swapFree=67054844/67111528
[pid=18777] ppid=18775 vsize=157716 CPUtime=684.51 cores=0,2,4,6
/proc/18777/stat : 18777 (pwbo1.1) S 18775 18777 17705 0 -1 4202496 30374 0 0 0 68325 126 0 0 18 0 3 0 989829094 161501184 30048 33554432000 4194304 5714118 140734355015872 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/18777/statm: 39429 30048 182 372 0 39054 0
[pid=18777/tid=18779] ppid=18775 vsize=157716 CPUtime=342.2 cores=0,2,4,6
/proc/18777/task/18779/stat : 18779 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 13045 0 0 0 34171 49 0 0 25 0 3 0 989829104 161501184 30048 33554432000 4194304 5714118 140734355015872 18446744073709551615 4323024 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=157716 CPUtime=342.2 cores=0,2,4,6
/proc/18777/task/18780/stat : 18780 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 13004 0 0 0 34144 76 0 0 25 0 3 0 989829104 161501184 30048 33554432000 4194304 5714118 140734355015872 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 684.51
Current children cumulated vsize (KiB) 157716
[startup+402.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 18791
/proc/meminfo: memFree=23804808/32950928 swapFree=67054844/67111528
[pid=18777] ppid=18775 vsize=158148 CPUtime=804.51 cores=0,2,4,6
/proc/18777/stat : 18777 (pwbo1.1) S 18775 18777 17705 0 -1 4202496 32062 0 0 0 80310 141 0 0 18 0 3 0 989829094 161943552 31736 33554432000 4194304 5714118 140734355015872 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/18777/statm: 39537 31736 182 372 0 39162 0
[pid=18777/tid=18779] ppid=18775 vsize=158148 CPUtime=402.2 cores=0,2,4,6
/proc/18777/task/18779/stat : 18779 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 14532 0 0 0 40162 58 0 0 25 0 3 0 989829104 161943552 31736 33554432000 4194304 5714118 140734355015872 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=158148 CPUtime=402.2 cores=0,2,4,6
/proc/18777/task/18780/stat : 18780 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 13205 0 0 0 40138 82 0 0 25 0 3 0 989829104 161943552 31736 33554432000 4194304 5714118 140734355015872 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 804.51
Current children cumulated vsize (KiB) 158148
[startup+462.301 s]
/proc/loadavg: 4.07 4.00 3.92 5/182 18793
/proc/meminfo: memFree=23741388/32950928 swapFree=67054844/67111528
[pid=18777] ppid=18775 vsize=224476 CPUtime=924.52 cores=0,2,4,6
/proc/18777/stat : 18777 (pwbo1.1) S 18775 18777 17705 0 -1 4202496 35279 0 0 0 92289 163 0 0 18 0 3 0 989829094 229863424 34953 33554432000 4194304 5714118 140734355015872 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/18777/statm: 56119 34953 182 372 0 55744 0
[pid=18777/tid=18779] ppid=18775 vsize=224476 CPUtime=462.2 cores=0,2,4,6
/proc/18777/task/18779/stat : 18779 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 16383 0 0 0 46153 67 0 0 25 0 3 0 989829104 229863424 34953 33554432000 4194304 5714118 140734355015872 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=224476 CPUtime=462.2 cores=0,2,4,6
/proc/18777/task/18780/stat : 18780 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 14571 0 0 0 46125 95 0 0 25 0 3 0 989829104 229863424 34953 33554432000 4194304 5714118 140734355015872 18446744073709551615 4323024 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 924.52
Current children cumulated vsize (KiB) 224476
[startup+522.3 s]
/proc/loadavg: 4.02 4.00 3.92 5/182 18794
/proc/meminfo: memFree=23686664/32950928 swapFree=67054844/67111528
[pid=18777] ppid=18775 vsize=224728 CPUtime=1044.52 cores=0,2,4,6
/proc/18777/stat : 18777 (pwbo1.1) S 18775 18777 17705 0 -1 4202496 36658 0 0 0 104275 177 0 0 18 0 3 0 989829094 230121472 36332 33554432000 4194304 5714118 140734355015872 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/18777/statm: 56182 36332 182 372 0 55807 0
[pid=18777/tid=18779] ppid=18775 vsize=224728 CPUtime=522.2 cores=0,2,4,6
/proc/18777/task/18779/stat : 18779 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 17696 0 0 0 52144 76 0 0 25 0 3 0 989829104 230121472 36332 33554432000 4194304 5714118 140734355015872 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=224728 CPUtime=522.2 cores=0,2,4,6
/proc/18777/task/18780/stat : 18780 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 14637 0 0 0 52120 100 0 0 25 0 3 0 989829104 230121472 36332 33554432000 4194304 5714118 140734355015872 18446744073709551615 4305224 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1044.52
Current children cumulated vsize (KiB) 224728
[startup+582.301 s]
/proc/loadavg: 4.01 4.00 3.92 5/182 18796
/proc/meminfo: memFree=23626716/32950928 swapFree=67054844/67111528
[pid=18777] ppid=18775 vsize=225428 CPUtime=1164.53 cores=0,2,4,6
/proc/18777/stat : 18777 (pwbo1.1) S 18775 18777 17705 0 -1 4202496 38083 0 0 0 116259 194 0 0 18 0 3 0 989829094 230838272 37757 33554432000 4194304 5714118 140734355015872 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/18777/statm: 56357 37757 182 372 0 55982 0
[pid=18777/tid=18779] ppid=18775 vsize=225428 CPUtime=582.21 cores=0,2,4,6
/proc/18777/task/18779/stat : 18779 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 18905 0 0 0 58135 86 0 0 25 0 3 0 989829104 230838272 37757 33554432000 4194304 5714118 140734355015872 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=225428 CPUtime=582.2 cores=0,2,4,6
/proc/18777/task/18780/stat : 18780 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 14853 0 0 0 58114 106 0 0 25 0 3 0 989829104 230838272 37757 33554432000 4194304 5714118 140734355015872 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1164.53
Current children cumulated vsize (KiB) 225428
[startup+642.301 s]
/proc/loadavg: 4.05 4.01 3.93 5/182 18797
/proc/meminfo: memFree=23570480/32950928 swapFree=67054844/67111528
[pid=18777] ppid=18775 vsize=225644 CPUtime=1284.54 cores=0,2,4,6
/proc/18777/stat : 18777 (pwbo1.1) S 18775 18777 17705 0 -1 4202496 39563 0 0 0 128244 210 0 0 18 0 3 0 989829094 231059456 39237 33554432000 4194304 5714118 140734355015872 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/18777/statm: 56411 39237 182 372 0 56036 0
[pid=18777/tid=18779] ppid=18775 vsize=225644 CPUtime=642.21 cores=0,2,4,6
/proc/18777/task/18779/stat : 18779 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 20331 0 0 0 64127 94 0 0 25 0 3 0 989829104 231059456 39237 33554432000 4194304 5714118 140734355015872 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=225644 CPUtime=642.21 cores=0,2,4,6
/proc/18777/task/18780/stat : 18780 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 14907 0 0 0 64107 114 0 0 25 0 3 0 989829104 231059456 39237 33554432000 4194304 5714118 140734355015872 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1284.54
Current children cumulated vsize (KiB) 225644
[startup+702.301 s]
/proc/loadavg: 4.02 4.01 3.93 5/182 18799
/proc/meminfo: memFree=23515512/32950928 swapFree=67054844/67111528
[pid=18777] ppid=18775 vsize=226256 CPUtime=1404.54 cores=0,2,4,6
/proc/18777/stat : 18777 (pwbo1.1) S 18775 18777 17705 0 -1 4202496 41526 0 0 0 140229 225 0 0 18 0 3 0 989829094 231686144 41200 33554432000 4194304 5714118 140734355015872 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/18777/statm: 56564 41200 182 372 0 56189 0
[pid=18777/tid=18779] ppid=18775 vsize=226256 CPUtime=702.21 cores=0,2,4,6
/proc/18777/task/18779/stat : 18779 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 22030 0 0 0 70117 104 0 0 25 0 3 0 989829104 231686144 41200 33554432000 4194304 5714118 140734355015872 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=226256 CPUtime=702.21 cores=0,2,4,6
/proc/18777/task/18780/stat : 18780 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 15171 0 0 0 70102 119 0 0 25 0 3 0 989829104 231686144 41200 33554432000 4194304 5714118 140734355015872 18446744073709551615 4319218 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1404.54
Current children cumulated vsize (KiB) 226256
[startup+762.306 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 18842
/proc/meminfo: memFree=24198080/32950928 swapFree=67054844/67111528
[pid=18777] ppid=18775 vsize=227820 CPUtime=1524.55 cores=0,2,4,6
/proc/18777/stat : 18777 (pwbo1.1) S 18775 18777 17705 0 -1 4202496 43744 0 0 0 152211 244 0 0 18 0 3 0 989829094 233287680 43418 33554432000 4194304 5714118 140734355015872 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/18777/statm: 56955 43418 182 372 0 56580 0
[pid=18777/tid=18779] ppid=18775 vsize=227820 CPUtime=762.22 cores=0,2,4,6
/proc/18777/task/18779/stat : 18779 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 23556 0 0 0 76109 113 0 0 25 0 3 0 989829104 233287680 43418 33554432000 4194304 5714118 140734355015872 18446744073709551615 4305218 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=227820 CPUtime=762.22 cores=0,2,4,6
/proc/18777/task/18780/stat : 18780 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 15863 0 0 0 76092 130 0 0 25 0 3 0 989829104 233287680 43418 33554432000 4194304 5714118 140734355015872 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1524.55
Current children cumulated vsize (KiB) 227820
[startup+822.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 18843
/proc/meminfo: memFree=24148248/32950928 swapFree=67054844/67111528
[pid=18777] ppid=18775 vsize=228952 CPUtime=1644.55 cores=0,2,4,6
/proc/18777/stat : 18777 (pwbo1.1) S 18775 18777 17705 0 -1 4202496 45444 0 0 0 164194 261 0 0 18 0 3 0 989829094 234446848 45118 33554432000 4194304 5714118 140734355015872 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/18777/statm: 57238 45118 182 372 0 56863 0
[pid=18777/tid=18779] ppid=18775 vsize=228952 CPUtime=822.22 cores=0,2,4,6
/proc/18777/task/18779/stat : 18779 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 25049 0 0 0 82099 123 0 0 25 0 3 0 989829104 234446848 45118 33554432000 4194304 5714118 140734355015872 18446744073709551615 4305224 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=228952 CPUtime=822.21 cores=0,2,4,6
/proc/18777/task/18780/stat : 18780 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 16070 0 0 0 82085 136 0 0 25 0 3 0 989829104 234446848 45118 33554432000 4194304 5714118 140734355015872 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1644.55
Current children cumulated vsize (KiB) 228952
[startup+882.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 18845
/proc/meminfo: memFree=24095836/32950928 swapFree=67054844/67111528
[pid=18777] ppid=18775 vsize=229636 CPUtime=1764.55 cores=0,2,4,6
/proc/18777/stat : 18777 (pwbo1.1) S 18775 18777 17705 0 -1 4202496 47071 0 0 0 176179 276 0 0 18 0 3 0 989829094 235147264 46745 33554432000 4194304 5714118 140734355015872 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/18777/statm: 57409 46745 182 372 0 57034 0
[pid=18777/tid=18779] ppid=18775 vsize=229636 CPUtime=882.22 cores=0,2,4,6
/proc/18777/task/18779/stat : 18779 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 26464 0 0 0 88090 132 0 0 25 0 3 0 989829104 235147264 46745 33554432000 4194304 5714118 140734355015872 18446744073709551615 4200768 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=229636 CPUtime=882.22 cores=0,2,4,6
/proc/18777/task/18780/stat : 18780 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 16282 0 0 0 88079 143 0 0 25 0 3 0 989829104 235147264 46745 33554432000 4194304 5714118 140734355015872 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1764.55
Current children cumulated vsize (KiB) 229636
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.101 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 18845
/proc/meminfo: memFree=24081944/32950928 swapFree=67054844/67111528
[pid=18777] ppid=18775 vsize=229636 CPUtime=1800.16 cores=0,2,4,6
/proc/18777/stat : 18777 (pwbo1.1) S 18775 18777 17705 0 -1 4202496 47627 0 0 0 179735 281 0 0 18 0 3 0 989829094 235147264 47301 33554432000 4194304 5714118 140734355015872 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/18777/statm: 57409 47301 182 372 0 57034 0
[pid=18777/tid=18779] ppid=18775 vsize=229636 CPUtime=900.02 cores=0,2,4,6
/proc/18777/task/18779/stat : 18779 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 27020 0 0 0 89867 135 0 0 25 0 3 0 989829104 235147264 47301 33554432000 4194304 5714118 140734355015872 18446744073709551615 4323034 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=229636 CPUtime=900.02 cores=0,2,4,6
/proc/18777/task/18780/stat : 18780 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 16282 0 0 0 89858 144 0 0 25 0 3 0 989829104 235147264 47301 33554432000 4194304 5714118 140734355015872 18446744073709551615 4322999 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 229636
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.101 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 18845
/proc/meminfo: memFree=24081944/32950928 swapFree=67054844/67111528
[pid=18777] ppid=18775 vsize=229636 CPUtime=1800.16 cores=0,2,4,6
/proc/18777/stat : 18777 (pwbo1.1) S 18775 18777 17705 0 -1 4202496 47627 0 0 0 179735 281 0 0 18 0 3 0 989829094 235147264 47301 33554432000 4194304 5714118 140734355015872 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/18777/statm: 57409 47301 182 372 0 57034 0
[pid=18777/tid=18779] ppid=18775 vsize=229636 CPUtime=900.02 cores=0,2,4,6
/proc/18777/task/18779/stat : 18779 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 27020 0 0 0 89867 135 0 0 25 0 3 0 989829104 235147264 47301 33554432000 4194304 5714118 140734355015872 18446744073709551615 4323034 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=229636 CPUtime=900.02 cores=0,2,4,6
/proc/18777/task/18780/stat : 18780 (pwbo1.1) R 18775 18777 17705 0 -1 4202560 16282 0 0 0 89858 144 0 0 25 0 3 0 989829104 235147264 47301 33554432000 4194304 5714118 140734355015872 18446744073709551615 4322999 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 229636
Child status: 0
Real time (s): 900.123
CPU time (s): 1800.19
CPU user time (s): 1797.37
CPU system time (s): 2.82257
CPU usage (%): 199.994
Max. virtual memory (cumulated for all children) (KiB): 229636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.37
system time used= 2.82257
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47633
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= 51
involuntary context switches= 11561
runsolver used 1.58176 second user time and 3.11253 second system time
The end