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-3500205-1307992296/watcher-3500205-1307992296 -o /var/tmp/evaluation-result-3500205-1307992296/solver-3500205-1307992296 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500205-1307992296.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.03 3.94 3.29 4/179 772
/proc/meminfo: memFree=12831660/32951124 swapFree=67055536/67111528
[pid=772] ppid=770 vsize=2432 CPUtime=0 cores=0,2,4,6
/proc/772/stat : 772 (pwbo1.1) R 770 772 306 0 -1 4202496 344 0 0 0 0 0 0 0 25 0 1 0 891645750 2490368 296 33554432000 4194304 5714118 140734611127072 18446744073709551615 4228496 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/772/statm: 608 296 157 372 0 185 0
[startup+0.0671489 s]
/proc/loadavg: 4.03 3.94 3.29 4/179 772
/proc/meminfo: memFree=12831660/32951124 swapFree=67055536/67111528
[pid=772] ppid=770 vsize=136088 CPUtime=0.1 cores=0,2,4,6
/proc/772/stat : 772 (pwbo1.1) S 770 772 306 0 -1 4202496 1518 0 0 0 10 0 0 0 25 0 3 0 891645750 139354112 1422 33554432000 4194304 5714118 140734611127072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/772/statm: 34022 1422 179 372 0 33647 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 136088
[startup+0.10113 s]
/proc/loadavg: 4.03 3.94 3.29 4/179 772
/proc/meminfo: memFree=12831660/32951124 swapFree=67055536/67111528
[pid=772] ppid=770 vsize=136088 CPUtime=0.17 cores=0,2,4,6
/proc/772/stat : 772 (pwbo1.1) S 770 772 306 0 -1 4202496 1605 0 0 0 17 0 0 0 25 0 3 0 891645750 139354112 1509 33554432000 4194304 5714118 140734611127072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/772/statm: 34022 1509 179 372 0 33647 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 136088
[startup+0.30111 s]
/proc/loadavg: 4.03 3.94 3.29 4/179 772
/proc/meminfo: memFree=12831660/32951124 swapFree=67055536/67111528
[pid=772] ppid=770 vsize=179464 CPUtime=0.57 cores=0,2,4,6
/proc/772/stat : 772 (pwbo1.1) S 770 772 306 0 -1 4202496 11493 0 0 0 53 4 0 0 25 0 3 0 891645750 183771136 11138 33554432000 4194304 5714118 140734611127072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/772/statm: 44866 11143 179 372 0 44491 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 179464
[startup+0.701027 s]
/proc/loadavg: 4.03 3.94 3.29 4/179 772
/proc/meminfo: memFree=12831660/32951124 swapFree=67055536/67111528
[pid=772] ppid=770 vsize=188308 CPUtime=1.37 cores=0,2,4,6
/proc/772/stat : 772 (pwbo1.1) S 770 772 306 0 -1 4202496 25633 0 0 0 119 18 0 0 25 0 3 0 891645750 192827392 25117 33554432000 4194304 5714118 140734611127072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/772/statm: 47077 25117 179 372 0 46702 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 188308
[startup+1.50086 s]
/proc/loadavg: 4.03 3.94 3.29 5/182 775
/proc/meminfo: memFree=12730476/32951124 swapFree=67055536/67111528
[pid=772] ppid=770 vsize=188308 CPUtime=2.98 cores=0,2,4,6
/proc/772/stat : 772 (pwbo1.1) S 770 772 306 0 -1 4202496 26068 0 0 0 278 20 0 0 25 0 3 0 891645750 192827392 25507 33554432000 4194304 5714118 140734611127072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/772/statm: 47077 25507 179 372 0 46702 0
[pid=772/tid=774] ppid=770 vsize=188308 CPUtime=1.47 cores=0,2,4,6
/proc/772/task/774/stat : 774 (pwbo1.1) R 770 772 306 0 -1 4202560 1662 0 0 0 146 1 0 0 25 0 3 0 891645752 192827392 25507 33554432000 4194304 5714118 140734611127072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=772/tid=775] ppid=770 vsize=188308 CPUtime=1.47 cores=0,2,4,6
/proc/772/task/775/stat : 775 (pwbo1.1) R 770 772 306 0 -1 4202560 23713 0 0 0 129 18 0 0 19 0 3 0 891645752 192827392 25507 33554432000 4194304 5714118 140734611127072 18446744073709551615 4310591 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 188308
[startup+3.10061 s]
/proc/loadavg: 4.03 3.94 3.29 5/182 775
/proc/meminfo: memFree=12726632/32951124 swapFree=67055536/67111528
[pid=772] ppid=770 vsize=188308 CPUtime=6.17 cores=0,2,4,6
/proc/772/stat : 772 (pwbo1.1) S 770 772 306 0 -1 4202496 26822 0 0 0 596 21 0 0 25 0 3 0 891645750 192827392 26261 33554432000 4194304 5714118 140734611127072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/772/statm: 47077 26261 179 372 0 46702 0
[pid=772/tid=774] ppid=770 vsize=188308 CPUtime=3.08 cores=0,2,4,6
/proc/772/task/774/stat : 774 (pwbo1.1) R 770 772 306 0 -1 4202560 2392 0 0 0 305 3 0 0 25 0 3 0 891645752 192827392 26261 33554432000 4194304 5714118 140734611127072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=772/tid=775] ppid=770 vsize=188308 CPUtime=3.07 cores=0,2,4,6
/proc/772/task/775/stat : 775 (pwbo1.1) R 770 772 306 0 -1 4202560 23737 0 0 0 289 18 0 0 23 0 3 0 891645752 192827392 26261 33554432000 4194304 5714118 140734611127072 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 188308
[startup+6.30105 s]
/proc/loadavg: 4.03 3.94 3.29 5/182 775
/proc/meminfo: memFree=12722540/32951124 swapFree=67055536/67111528
[pid=772] ppid=770 vsize=189408 CPUtime=12.57 cores=0,2,4,6
/proc/772/stat : 772 (pwbo1.1) S 770 772 306 0 -1 4202496 27742 0 0 0 1234 23 0 0 25 0 3 0 891645750 193953792 27181 33554432000 4194304 5714118 140734611127072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/772/statm: 47352 27181 179 372 0 46977 0
[pid=772/tid=774] ppid=770 vsize=189408 CPUtime=6.27 cores=0,2,4,6
/proc/772/task/774/stat : 774 (pwbo1.1) R 770 772 306 0 -1 4202560 3132 0 0 0 623 4 0 0 25 0 3 0 891645752 193953792 27181 33554432000 4194304 5714118 140734611127072 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=772/tid=775] ppid=770 vsize=189408 CPUtime=6.27 cores=0,2,4,6
/proc/772/task/775/stat : 775 (pwbo1.1) R 770 772 306 0 -1 4202560 23917 0 0 0 609 18 0 0 25 0 3 0 891645752 193953792 27181 33554432000 4194304 5714118 140734611127072 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 189408
[startup+12.7009 s]
/proc/loadavg: 4.03 3.94 3.29 5/182 776
/proc/meminfo: memFree=12699540/32951124 swapFree=67055536/67111528
[pid=772] ppid=770 vsize=189408 CPUtime=25.38 cores=0,2,4,6
/proc/772/stat : 772 (pwbo1.1) S 770 772 306 0 -1 4202496 29041 0 0 0 2510 28 0 0 25 0 3 0 891645750 193953792 28480 33554432000 4194304 5714118 140734611127072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/772/statm: 47352 28480 180 372 0 46977 0
[pid=772/tid=774] ppid=770 vsize=189408 CPUtime=12.67 cores=0,2,4,6
/proc/772/task/774/stat : 774 (pwbo1.1) R 770 772 306 0 -1 4202560 4305 0 0 0 1259 8 0 0 25 0 3 0 891645752 193953792 28480 33554432000 4194304 5714118 140734611127072 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=772/tid=775] ppid=770 vsize=189408 CPUtime=12.67 cores=0,2,4,6
/proc/772/task/775/stat : 775 (pwbo1.1) R 770 772 306 0 -1 4202560 24043 0 0 0 1248 19 0 0 25 0 3 0 891645752 193953792 28480 33554432000 4194304 5714118 140734611127072 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 189408
[startup+25.5007 s]
/proc/loadavg: 4.02 3.94 3.30 5/182 776
/proc/meminfo: memFree=12693832/32951124 swapFree=67055536/67111528
[pid=772] ppid=770 vsize=189264 CPUtime=50.96 cores=0,2,4,6
/proc/772/stat : 772 (pwbo1.1) S 770 772 306 0 -1 4202496 29999 0 0 0 5062 34 0 0 25 0 3 0 891645750 193806336 29406 33554432000 4194304 5714118 140734611127072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/772/statm: 47316 29406 180 372 0 46941 0
[pid=772/tid=774] ppid=770 vsize=189264 CPUtime=25.47 cores=0,2,4,6
/proc/772/task/774/stat : 774 (pwbo1.1) R 770 772 306 0 -1 4202560 5040 0 0 0 2533 14 0 0 25 0 3 0 891645752 193806336 29406 33554432000 4194304 5714118 140734611127072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=772/tid=775] ppid=770 vsize=189264 CPUtime=25.46 cores=0,2,4,6
/proc/772/task/775/stat : 775 (pwbo1.1) R 770 772 306 0 -1 4202560 24266 0 0 0 2527 19 0 0 25 0 3 0 891645752 193806336 29406 33554432000 4194304 5714118 140734611127072 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 189264
[startup+51.1012 s]
/proc/loadavg: 4.01 3.94 3.32 5/182 777
/proc/meminfo: memFree=12680048/32951124 swapFree=67055536/67111528
[pid=772] ppid=770 vsize=189396 CPUtime=102.16 cores=0,2,4,6
/proc/772/stat : 772 (pwbo1.1) S 770 772 306 0 -1 4202496 33424 0 0 0 10167 49 0 0 25 0 3 0 891645750 193941504 32785 33554432000 4194304 5714118 140734611127072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/772/statm: 47349 32785 180 372 0 46974 0
[pid=772/tid=774] ppid=770 vsize=189396 CPUtime=51.07 cores=0,2,4,6
/proc/772/task/774/stat : 774 (pwbo1.1) R 770 772 306 0 -1 4202560 7855 0 0 0 5080 27 0 0 25 0 3 0 891645752 193941504 32785 33554432000 4194304 5714118 140734611127072 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=772/tid=775] ppid=770 vsize=189396 CPUtime=51.07 cores=0,2,4,6
/proc/772/task/775/stat : 775 (pwbo1.1) R 770 772 306 0 -1 4202560 24876 0 0 0 5085 22 0 0 25 0 3 0 891645752 193941504 32785 33554432000 4194304 5714118 140734611127072 18446744073709551615 4313432 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 189396
[startup+102.306 s]
/proc/loadavg: 4.00 3.95 3.35 5/182 778
/proc/meminfo: memFree=12608976/32951124 swapFree=67055536/67111528
[pid=772] ppid=770 vsize=189528 CPUtime=204.57 cores=0,2,4,6
/proc/772/stat : 772 (pwbo1.1) S 770 772 306 0 -1 4202496 37461 0 0 0 20378 79 0 0 25 0 3 0 891645750 194076672 36822 33554432000 4194304 5714118 140734611127072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/772/statm: 47382 36822 180 372 0 47007 0
[pid=772/tid=774] ppid=770 vsize=189528 CPUtime=102.28 cores=0,2,4,6
/proc/772/task/774/stat : 774 (pwbo1.1) R 770 772 306 0 -1 4202560 11235 0 0 0 10176 52 0 0 25 0 3 0 891645752 194076672 36822 33554432000 4194304 5714118 140734611127072 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=772/tid=775] ppid=770 vsize=189528 CPUtime=102.27 cores=0,2,4,6
/proc/772/task/775/stat : 775 (pwbo1.1) R 770 772 306 0 -1 4202560 25533 0 0 0 10200 27 0 0 25 0 3 0 891645752 194076672 36822 33554432000 4194304 5714118 140734611127072 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.57
Current children cumulated vsize (KiB) 189528
[startup+162.301 s]
/proc/loadavg: 4.12 3.99 3.40 5/182 780
/proc/meminfo: memFree=12542732/32951124 swapFree=67055536/67111528
[pid=772] ppid=770 vsize=189792 CPUtime=324.56 cores=0,2,4,6
/proc/772/stat : 772 (pwbo1.1) S 770 772 306 0 -1 4202496 38163 0 0 0 32348 108 0 0 25 0 3 0 891645750 194347008 37524 33554432000 4194304 5714118 140734611127072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/772/statm: 47448 37524 180 372 0 47073 0
[pid=772/tid=774] ppid=770 vsize=189792 CPUtime=162.28 cores=0,2,4,6
/proc/772/task/774/stat : 774 (pwbo1.1) R 770 772 306 0 -1 4202560 11251 0 0 0 16150 78 0 0 25 0 3 0 891645752 194347008 37524 33554432000 4194304 5714118 140734611127072 18446744073709551615 4319271 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=772/tid=775] ppid=770 vsize=189792 CPUtime=162.26 cores=0,2,4,6
/proc/772/task/775/stat : 775 (pwbo1.1) R 770 772 306 0 -1 4202560 26219 0 0 0 16196 30 0 0 25 0 3 0 891645752 194347008 37524 33554432000 4194304 5714118 140734611127072 18446744073709551615 4305073 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 324.56
Current children cumulated vsize (KiB) 189792
[startup+222.301 s]
/proc/loadavg: 4.04 3.99 3.44 5/182 781
/proc/meminfo: memFree=12474260/32951124 swapFree=67055536/67111528
[pid=772] ppid=770 vsize=255924 CPUtime=444.57 cores=0,2,4,6
/proc/772/stat : 772 (pwbo1.1) S 770 772 306 0 -1 4202496 40133 0 0 0 44316 141 0 0 25 0 3 0 891645750 262066176 39494 33554432000 4194304 5714118 140734611127072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/772/statm: 63981 39494 180 372 0 63606 0
[pid=772/tid=774] ppid=770 vsize=255924 CPUtime=222.28 cores=0,2,4,6
/proc/772/task/774/stat : 774 (pwbo1.1) R 770 772 306 0 -1 4202560 11253 0 0 0 22125 103 0 0 25 0 3 0 891645752 262066176 39494 33554432000 4194304 5714118 140734611127072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=772/tid=775] ppid=770 vsize=255924 CPUtime=222.26 cores=0,2,4,6
/proc/772/task/775/stat : 775 (pwbo1.1) R 770 772 306 0 -1 4202560 28187 0 0 0 22189 37 0 0 25 0 3 0 891645752 262066176 39494 33554432000 4194304 5714118 140734611127072 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 444.57
Current children cumulated vsize (KiB) 255924
[startup+282.301 s]
/proc/loadavg: 4.01 3.99 3.47 5/182 783
/proc/meminfo: memFree=12395368/32951124 swapFree=67055536/67111528
[pid=772] ppid=770 vsize=257360 CPUtime=564.57 cores=0,2,4,6
/proc/772/stat : 772 (pwbo1.1) S 770 772 306 0 -1 4202496 50886 0 0 0 56258 199 0 0 25 0 3 0 891645750 263536640 50247 33554432000 4194304 5714118 140734611127072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/772/statm: 64340 50247 180 372 0 63965 0
[pid=772/tid=774] ppid=770 vsize=257360 CPUtime=282.28 cores=0,2,4,6
/proc/772/task/774/stat : 774 (pwbo1.1) R 770 772 306 0 -1 4202560 16294 0 0 0 28090 138 0 0 25 0 3 0 891645752 263536640 50247 33554432000 4194304 5714118 140734611127072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=772/tid=775] ppid=770 vsize=257360 CPUtime=282.26 cores=0,2,4,6
/proc/772/task/775/stat : 775 (pwbo1.1) R 770 772 306 0 -1 4202560 33899 0 0 0 28166 60 0 0 25 0 3 0 891645752 263536640 50247 33554432000 4194304 5714118 140734611127072 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 564.57
Current children cumulated vsize (KiB) 257360
[startup+342.301 s]
/proc/loadavg: 4.00 3.99 3.50 5/182 784
/proc/meminfo: memFree=12289200/32951124 swapFree=67055536/67111528
[pid=772] ppid=770 vsize=324444 CPUtime=684.56 cores=0,2,4,6
/proc/772/stat : 772 (pwbo1.1) S 770 772 306 0 -1 4202496 71435 0 0 0 68185 271 0 0 25 0 3 0 891645750 332230656 70796 33554432000 4194304 5714118 140734611127072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/772/statm: 81111 70796 180 372 0 80736 0
[pid=772/tid=774] ppid=770 vsize=324444 CPUtime=342.28 cores=0,2,4,6
/proc/772/task/774/stat : 774 (pwbo1.1) R 770 772 306 0 -1 4202560 28295 0 0 0 34048 180 0 0 25 0 3 0 891645752 332230656 70796 33554432000 4194304 5714118 140734611127072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=772/tid=775] ppid=770 vsize=324444 CPUtime=342.26 cores=0,2,4,6
/proc/772/task/775/stat : 775 (pwbo1.1) R 770 772 306 0 -1 4202560 42447 0 0 0 34135 91 0 0 25 0 3 0 891645752 332230656 70796 33554432000 4194304 5714118 140734611127072 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 684.56
Current children cumulated vsize (KiB) 324444
[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.53 5/182 786
/proc/meminfo: memFree=12139756/32951124 swapFree=67055536/67111528
[pid=772] ppid=770 vsize=523384 CPUtime=804.57 cores=0,2,4,6
/proc/772/stat : 772 (pwbo1.1) S 770 772 306 0 -1 4202496 102958 0 0 0 80078 379 0 0 25 0 3 0 891645750 535945216 102319 33554432000 4194304 5714118 140734611127072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/772/statm: 130846 102319 180 372 0 130471 0
[pid=772/tid=774] ppid=770 vsize=523384 CPUtime=402.29 cores=0,2,4,6
/proc/772/task/774/stat : 774 (pwbo1.1) R 770 772 306 0 -1 4202560 38839 0 0 0 40016 213 0 0 25 0 3 0 891645752 535945216 102319 33554432000 4194304 5714118 140734611127072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=772/tid=775] ppid=770 vsize=523384 CPUtime=402.26 cores=0,2,4,6
/proc/772/task/775/stat : 775 (pwbo1.1) R 770 772 306 0 -1 4202560 63426 0 0 0 40060 166 0 0 19 0 3 0 891645752 535945216 102319 33554432000 4194304 5714118 140734611127072 18446744073709551615 4319232 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 804.57
Current children cumulated vsize (KiB) 523384
[startup+462.301 s]
/proc/loadavg: 4.00 3.99 3.56 5/182 788
/proc/meminfo: memFree=11958448/32951124 swapFree=67055536/67111528
[pid=772] ppid=770 vsize=593484 CPUtime=924.57 cores=0,2,4,6
/proc/772/stat : 772 (pwbo1.1) S 770 772 306 0 -1 4202496 134080 0 0 0 91955 502 0 0 25 0 3 0 891645750 607727616 133367 33554432000 4194304 5714118 140734611127072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/772/statm: 148371 133367 180 372 0 147996 0
[pid=772/tid=774] ppid=770 vsize=593484 CPUtime=462.29 cores=0,2,4,6
/proc/772/task/774/stat : 774 (pwbo1.1) R 770 772 306 0 -1 4202560 44495 0 0 0 45984 245 0 0 25 0 3 0 891645752 607727616 133367 33554432000 4194304 5714118 140734611127072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=772/tid=775] ppid=770 vsize=593484 CPUtime=462.26 cores=0,2,4,6
/proc/772/task/775/stat : 775 (pwbo1.1) R 770 772 306 0 -1 4202560 88892 0 0 0 45969 257 0 0 25 0 3 0 891645752 607727616 133367 33554432000 4194304 5714118 140734611127072 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 924.57
Current children cumulated vsize (KiB) 593484
[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.58 5/182 789
/proc/meminfo: memFree=11902244/32951124 swapFree=67055536/67111528
[pid=772] ppid=770 vsize=661688 CPUtime=1044.56 cores=0,2,4,6
/proc/772/stat : 772 (pwbo1.1) S 770 772 306 0 -1 4202496 141829 0 0 0 103895 561 0 0 25 0 3 0 891645750 677568512 141116 33554432000 4194304 5714118 140734611127072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/772/statm: 165422 141116 180 372 0 165047 0
[pid=772/tid=774] ppid=770 vsize=661688 CPUtime=522.29 cores=0,2,4,6
/proc/772/task/774/stat : 774 (pwbo1.1) R 770 772 306 0 -1 4202560 44582 0 0 0 51952 277 0 0 25 0 3 0 891645752 677568512 141116 33554432000 4194304 5714118 140734611127072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=772/tid=775] ppid=770 vsize=661688 CPUtime=522.25 cores=0,2,4,6
/proc/772/task/775/stat : 775 (pwbo1.1) R 770 772 306 0 -1 4202560 96554 0 0 0 51941 284 0 0 25 0 3 0 891645752 677568512 141116 33554432000 4194304 5714118 140734611127072 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1044.56
Current children cumulated vsize (KiB) 661688
[startup+582.301 s]
/proc/loadavg: 4.00 3.99 3.60 5/182 791
/proc/meminfo: memFree=11876676/32951124 swapFree=67055536/67111528
[pid=772] ppid=770 vsize=662140 CPUtime=1164.57 cores=0,2,4,6
/proc/772/stat : 772 (pwbo1.1) S 770 772 306 0 -1 4202496 142538 0 0 0 115863 594 0 0 25 0 3 0 891645750 678031360 141825 33554432000 4194304 5714118 140734611127072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/772/statm: 165535 141825 180 372 0 165160 0
[pid=772/tid=774] ppid=770 vsize=662140 CPUtime=582.29 cores=0,2,4,6
/proc/772/task/774/stat : 774 (pwbo1.1) R 770 772 306 0 -1 4202560 44668 0 0 0 57923 306 0 0 25 0 3 0 891645752 678031360 141825 33554432000 4194304 5714118 140734611127072 18446744073709551615 4319192 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=772/tid=775] ppid=770 vsize=662140 CPUtime=582.26 cores=0,2,4,6
/proc/772/task/775/stat : 775 (pwbo1.1) R 770 772 306 0 -1 4202560 97177 0 0 0 57939 287 0 0 25 0 3 0 891645752 678031360 141825 33554432000 4194304 5714118 140734611127072 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1164.57
Current children cumulated vsize (KiB) 662140
[startup+642.3 s]
/proc/loadavg: 4.00 3.99 3.63 5/182 792
/proc/meminfo: memFree=11851728/32951124 swapFree=67055536/67111528
[pid=772] ppid=770 vsize=662660 CPUtime=1284.57 cores=0,2,4,6
/proc/772/stat : 772 (pwbo1.1) S 770 772 306 0 -1 4202496 143413 0 0 0 127837 620 0 0 25 0 3 0 891645750 678563840 142513 33554432000 4194304 5714118 140734611127072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/772/statm: 165665 142513 180 372 0 165290 0
[pid=772/tid=774] ppid=770 vsize=662660 CPUtime=642.29 cores=0,2,4,6
/proc/772/task/774/stat : 774 (pwbo1.1) R 770 772 306 0 -1 4202560 44742 0 0 0 63899 330 0 0 25 0 3 0 891645752 678563840 142513 33554432000 4194304 5714118 140734611127072 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=772/tid=775] ppid=770 vsize=662660 CPUtime=642.26 cores=0,2,4,6
/proc/772/task/775/stat : 775 (pwbo1.1) R 770 772 306 0 -1 4202560 97978 0 0 0 63937 289 0 0 25 0 3 0 891645752 678563840 142513 33554432000 4194304 5714118 140734611127072 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1284.57
Current children cumulated vsize (KiB) 662660
[startup+702.301 s]
/proc/loadavg: 4.00 3.99 3.65 5/182 794
/proc/meminfo: memFree=11791560/32951124 swapFree=67055536/67111528
[pid=772] ppid=770 vsize=662924 CPUtime=1404.57 cores=0,2,4,6
/proc/772/stat : 772 (pwbo1.1) S 770 772 306 0 -1 4202496 144269 0 0 0 139797 660 0 0 25 0 3 0 891645750 678834176 143369 33554432000 4194304 5714118 140734611127072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/772/statm: 165731 143369 180 372 0 165356 0
[pid=772/tid=774] ppid=770 vsize=662924 CPUtime=702.29 cores=0,2,4,6
/proc/772/task/774/stat : 774 (pwbo1.1) R 770 772 306 0 -1 4202560 44745 0 0 0 69863 366 0 0 25 0 3 0 891645752 678834176 143369 33554432000 4194304 5714118 140734611127072 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=772/tid=775] ppid=770 vsize=662924 CPUtime=702.25 cores=0,2,4,6
/proc/772/task/775/stat : 775 (pwbo1.1) R 770 772 306 0 -1 4202560 98831 0 0 0 69932 293 0 0 25 0 3 0 891645752 678834176 143369 33554432000 4194304 5714118 140734611127072 18446744073709551615 4319249 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1404.57
Current children cumulated vsize (KiB) 662924
[startup+762.306 s]
/proc/loadavg: 4.04 4.00 3.67 5/182 796
/proc/meminfo: memFree=11766608/32951124 swapFree=67055536/67111528
[pid=772] ppid=770 vsize=663244 CPUtime=1524.58 cores=0,2,4,6
/proc/772/stat : 772 (pwbo1.1) S 770 772 306 0 -1 4202496 145016 0 0 0 151770 688 0 0 25 0 3 0 891645750 679161856 144116 33554432000 4194304 5714118 140734611127072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/772/statm: 165811 144116 180 372 0 165436 0
[pid=772/tid=774] ppid=770 vsize=663244 CPUtime=762.29 cores=0,2,4,6
/proc/772/task/774/stat : 774 (pwbo1.1) R 770 772 306 0 -1 4202560 44745 0 0 0 75839 390 0 0 25 0 3 0 891645752 679161856 144116 33554432000 4194304 5714118 140734611127072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=772/tid=775] ppid=770 vsize=663244 CPUtime=762.26 cores=0,2,4,6
/proc/772/task/775/stat : 775 (pwbo1.1) R 770 772 306 0 -1 4202560 99578 0 0 0 75929 297 0 0 25 0 3 0 891645752 679161856 144116 33554432000 4194304 5714118 140734611127072 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1524.58
Current children cumulated vsize (KiB) 663244
[startup+822.301 s]
/proc/loadavg: 4.01 4.00 3.69 5/182 800
/proc/meminfo: memFree=11741368/32951124 swapFree=67055536/67111528
[pid=772] ppid=770 vsize=663428 CPUtime=1644.57 cores=0,2,4,6
/proc/772/stat : 772 (pwbo1.1) S 770 772 306 0 -1 4202496 145719 0 0 0 163736 721 0 0 25 0 3 0 891645750 679350272 144814 33554432000 4194304 5714118 140734611127072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/772/statm: 165857 144814 180 372 0 165482 0
[pid=772/tid=774] ppid=770 vsize=663428 CPUtime=822.29 cores=0,2,4,6
/proc/772/task/774/stat : 774 (pwbo1.1) R 770 772 306 0 -1 4202560 44746 0 0 0 81809 420 0 0 25 0 3 0 891645752 679350272 144814 33554432000 4194304 5714118 140734611127072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=772/tid=775] ppid=770 vsize=663428 CPUtime=822.25 cores=0,2,4,6
/proc/772/task/775/stat : 775 (pwbo1.1) R 770 772 306 0 -1 4202560 100280 0 0 0 81925 300 0 0 25 0 3 0 891645752 679350272 144814 33554432000 4194304 5714118 140734611127072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1644.57
Current children cumulated vsize (KiB) 663428
[startup+882.301 s]
/proc/loadavg: 3.94 3.97 3.70 5/182 858
/proc/meminfo: memFree=11809528/32951124 swapFree=67055536/67111528
[pid=772] ppid=770 vsize=663852 CPUtime=1764.56 cores=0,2,4,6
/proc/772/stat : 772 (pwbo1.1) S 770 772 306 0 -1 4202496 148839 0 0 0 175693 763 0 0 25 0 3 0 891645750 679784448 147934 33554432000 4194304 5714118 140734611127072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/772/statm: 165963 147934 180 372 0 165588 0
[pid=772/tid=774] ppid=770 vsize=663852 CPUtime=882.29 cores=0,2,4,6
/proc/772/task/774/stat : 774 (pwbo1.1) R 770 772 306 0 -1 4202560 44749 0 0 0 87779 450 0 0 25 0 3 0 891645752 679784448 147934 33554432000 4194304 5714118 140734611127072 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=772/tid=775] ppid=770 vsize=663852 CPUtime=882.25 cores=0,2,4,6
/proc/772/task/775/stat : 775 (pwbo1.1) R 770 772 306 0 -1 4202560 103397 0 0 0 87913 312 0 0 25 0 3 0 891645752 679784448 147934 33554432000 4194304 5714118 140734611127072 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1764.56
Current children cumulated vsize (KiB) 663852
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.101 s]
/proc/loadavg: 3.95 3.97 3.70 5/182 858
/proc/meminfo: memFree=11721356/32951124 swapFree=67055536/67111528
[pid=772] ppid=770 vsize=663852 CPUtime=1800.17 cores=0,2,4,6
/proc/772/stat : 772 (pwbo1.1) S 770 772 306 0 -1 4202496 149768 0 0 0 179237 780 0 0 25 0 3 0 891645750 679784448 148863 33554432000 4194304 5714118 140734611127072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/772/statm: 165963 148863 180 372 0 165588 0
[pid=772/tid=774] ppid=770 vsize=663852 CPUtime=900.1 cores=0,2,4,6
/proc/772/task/774/stat : 774 (pwbo1.1) R 770 772 306 0 -1 4202560 44749 0 0 0 89547 463 0 0 25 0 3 0 891645752 679784448 148863 33554432000 4194304 5714118 140734611127072 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=772/tid=775] ppid=770 vsize=663852 CPUtime=900.05 cores=0,2,4,6
/proc/772/task/775/stat : 775 (pwbo1.1) R 770 772 306 0 -1 4202560 104326 0 0 0 89689 316 0 0 25 0 3 0 891645752 679784448 148863 33554432000 4194304 5714118 140734611127072 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 663852
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: 3.95 3.97 3.70 5/182 858
/proc/meminfo: memFree=11721356/32951124 swapFree=67055536/67111528
[pid=772] ppid=770 vsize=663852 CPUtime=1800.17 cores=0,2,4,6
/proc/772/stat : 772 (pwbo1.1) S 770 772 306 0 -1 4202496 149768 0 0 0 179237 780 0 0 25 0 3 0 891645750 679784448 148863 33554432000 4194304 5714118 140734611127072 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/772/statm: 165963 148863 180 372 0 165588 0
[pid=772/tid=774] ppid=770 vsize=663852 CPUtime=900.1 cores=0,2,4,6
/proc/772/task/774/stat : 774 (pwbo1.1) R 770 772 306 0 -1 4202560 44749 0 0 0 89547 463 0 0 25 0 3 0 891645752 679784448 148863 33554432000 4194304 5714118 140734611127072 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=772/tid=775] ppid=770 vsize=663852 CPUtime=900.05 cores=0,2,4,6
/proc/772/task/775/stat : 775 (pwbo1.1) R 770 772 306 0 -1 4202560 104326 0 0 0 89689 316 0 0 25 0 3 0 891645752 679784448 148863 33554432000 4194304 5714118 140734611127072 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 663852
Child status: 0
Real time (s): 900.139
CPU time (s): 1800.22
CPU user time (s): 1792.4
CPU system time (s): 7.82681
CPU usage (%): 199.994
Max. virtual memory (cumulated for all children) (KiB): 663852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.4
system time used= 7.82681
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149773
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= 213
involuntary context switches= 13339
runsolver used 1.64875 second user time and 3.23551 second system time
The end