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-3500084-1307990496/watcher-3500084-1307990496 -o /var/tmp/evaluation-result-3500084-1307990496/solver-3500084-1307990496 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500084-1307990496.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: 1.08 1.66 1.87 3/179 22403
/proc/meminfo: memFree=16690560/32950904 swapFree=67055440/67111528
[pid=22403] ppid=22401 vsize=135424 CPUtime=0 cores=1,3,5,7
/proc/22403/stat : 22403 (pwbo1.1) S 22401 22403 21970 0 -1 4202496 613 0 0 0 0 0 0 0 22 0 3 0 910649388 138674176 554 33554432000 4194304 5714118 140734493495040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22403/statm: 33856 556 176 372 0 33481 0
[pid=22403/tid=22404] ppid=22401 vsize=135424 CPUtime=0 cores=1,3,5,7
/proc/22403/task/22404/stat : 22404 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 82 0 0 0 0 0 0 0 25 0 3 0 910649388 138674176 557 33554432000 4194304 5714118 140734493495040 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22403/tid=22405] ppid=22401 vsize=135424 CPUtime=0 cores=1,3,5,7
/proc/22403/task/22405/stat : 22405 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 33 0 0 0 0 0 0 0 25 0 3 0 910649388 138674176 558 33554432000 4194304 5714118 140734493495040 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[startup+0.0898011 s]
/proc/loadavg: 1.08 1.66 1.87 3/179 22403
/proc/meminfo: memFree=16690560/32950904 swapFree=67055440/67111528
[pid=22403] ppid=22401 vsize=154728 CPUtime=0.16 cores=1,3,5,7
/proc/22403/stat : 22403 (pwbo1.1) S 22401 22403 21970 0 -1 4202496 9713 0 0 0 15 1 0 0 22 0 3 0 910649388 158441472 9617 33554432000 4194304 5714118 140734493495040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22403/statm: 38682 9617 178 372 0 38307 0
[pid=22403/tid=22404] ppid=22401 vsize=154728 CPUtime=0.08 cores=1,3,5,7
/proc/22403/task/22404/stat : 22404 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 835 0 0 0 8 0 0 0 18 0 3 0 910649388 158441472 9617 33554432000 4194304 5714118 140734493495040 18446744073709551615 4964882 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22403/tid=22405] ppid=22401 vsize=154728 CPUtime=0.08 cores=1,3,5,7
/proc/22403/task/22405/stat : 22405 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 8376 0 0 0 7 1 0 0 18 0 3 0 910649388 158441472 9617 33554432000 4194304 5714118 140734493495040 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 154728
[startup+0.100799 s]
/proc/loadavg: 1.08 1.66 1.87 3/179 22403
/proc/meminfo: memFree=16690560/32950904 swapFree=67055440/67111528
[pid=22403] ppid=22401 vsize=154908 CPUtime=0.18 cores=1,3,5,7
/proc/22403/stat : 22403 (pwbo1.1) S 22401 22403 21970 0 -1 4202496 9814 0 0 0 17 1 0 0 22 0 3 0 910649388 158625792 9718 33554432000 4194304 5714118 140734493495040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22403/statm: 38727 9718 178 372 0 38352 0
[pid=22403/tid=22404] ppid=22401 vsize=154908 CPUtime=0.09 cores=1,3,5,7
/proc/22403/task/22404/stat : 22404 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 903 0 0 0 9 0 0 0 18 0 3 0 910649388 158625792 9718 33554432000 4194304 5714118 140734493495040 18446744073709551615 4976397 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22403/tid=22405] ppid=22401 vsize=154908 CPUtime=0.09 cores=1,3,5,7
/proc/22403/task/22405/stat : 22405 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 8409 0 0 0 8 1 0 0 18 0 3 0 910649388 158625792 9718 33554432000 4194304 5714118 140734493495040 18446744073709551615 4340704 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 154908
[startup+0.300766 s]
/proc/loadavg: 1.08 1.66 1.87 3/179 22403
/proc/meminfo: memFree=16690560/32950904 swapFree=67055440/67111528
[pid=22403] ppid=22401 vsize=155048 CPUtime=0.58 cores=1,3,5,7
/proc/22403/stat : 22403 (pwbo1.1) S 22401 22403 21970 0 -1 4202496 10138 0 0 0 56 2 0 0 22 0 3 0 910649388 158769152 10042 33554432000 4194304 5714118 140734493495040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22403/statm: 38762 10042 179 372 0 38387 0
[pid=22403/tid=22404] ppid=22401 vsize=155048 CPUtime=0.29 cores=1,3,5,7
/proc/22403/task/22404/stat : 22404 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 1198 0 0 0 28 1 0 0 18 0 3 0 910649388 158769152 10042 33554432000 4194304 5714118 140734493495040 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22403/tid=22405] ppid=22401 vsize=155048 CPUtime=0.29 cores=1,3,5,7
/proc/22403/task/22405/stat : 22405 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 8438 0 0 0 28 1 0 0 18 0 3 0 910649388 158769152 10042 33554432000 4194304 5714118 140734493495040 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 155048
[startup+0.700695 s]
/proc/loadavg: 1.08 1.66 1.87 3/179 22403
/proc/meminfo: memFree=16690560/32950904 swapFree=67055440/67111528
[pid=22403] ppid=22401 vsize=155048 CPUtime=1.39 cores=1,3,5,7
/proc/22403/stat : 22403 (pwbo1.1) S 22401 22403 21970 0 -1 4202496 10679 0 0 0 134 5 0 0 22 0 3 0 910649388 158769152 10583 33554432000 4194304 5714118 140734493495040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22403/statm: 38762 10583 179 372 0 38387 0
[pid=22403/tid=22404] ppid=22401 vsize=155048 CPUtime=0.69 cores=1,3,5,7
/proc/22403/task/22404/stat : 22404 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 1728 0 0 0 66 3 0 0 18 0 3 0 910649388 158769152 10583 33554432000 4194304 5714118 140734493495040 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22403/tid=22405] ppid=22401 vsize=155048 CPUtime=0.68 cores=1,3,5,7
/proc/22403/task/22405/stat : 22405 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 8449 0 0 0 67 1 0 0 18 0 3 0 910649388 158769152 10583 33554432000 4194304 5714118 140734493495040 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 155048
[startup+1.50055 s]
/proc/loadavg: 1.08 1.66 1.87 5/182 22406
/proc/meminfo: memFree=16642696/32950904 swapFree=67055440/67111528
[pid=22403] ppid=22401 vsize=155192 CPUtime=2.99 cores=1,3,5,7
/proc/22403/stat : 22403 (pwbo1.1) S 22401 22403 21970 0 -1 4202496 11640 0 0 0 291 8 0 0 22 0 3 0 910649388 158916608 11544 33554432000 4194304 5714118 140734493495040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22403/statm: 38798 11544 179 372 0 38423 0
[pid=22403/tid=22404] ppid=22401 vsize=155192 CPUtime=1.48 cores=1,3,5,7
/proc/22403/task/22404/stat : 22404 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 2646 0 0 0 143 5 0 0 20 0 3 0 910649388 158916608 11544 33554432000 4194304 5714118 140734493495040 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22403/tid=22405] ppid=22401 vsize=155192 CPUtime=1.49 cores=1,3,5,7
/proc/22403/task/22405/stat : 22405 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 8492 0 0 0 147 2 0 0 20 0 3 0 910649388 158916608 11544 33554432000 4194304 5714118 140734493495040 18446744073709551615 4305171 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 155192
[startup+3.10027 s]
/proc/loadavg: 1.08 1.66 1.87 5/182 22406
/proc/meminfo: memFree=16632900/32950904 swapFree=67055440/67111528
[pid=22403] ppid=22401 vsize=155192 CPUtime=6.19 cores=1,3,5,7
/proc/22403/stat : 22403 (pwbo1.1) S 22401 22403 21970 0 -1 4202496 13349 0 0 0 607 12 0 0 22 0 3 0 910649388 158916608 13253 33554432000 4194304 5714118 140734493495040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22403/statm: 38798 13253 179 372 0 38423 0
[pid=22403/tid=22404] ppid=22401 vsize=155192 CPUtime=3.08 cores=1,3,5,7
/proc/22403/task/22404/stat : 22404 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 3947 0 0 0 300 8 0 0 25 0 3 0 910649388 158916608 13253 33554432000 4194304 5714118 140734493495040 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22403/tid=22405] ppid=22401 vsize=155192 CPUtime=3.09 cores=1,3,5,7
/proc/22403/task/22405/stat : 22405 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 8900 0 0 0 306 3 0 0 25 0 3 0 910649388 158916608 13253 33554432000 4194304 5714118 140734493495040 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 155192
[startup+6.3007 s]
/proc/loadavg: 1.31 1.70 1.89 5/182 22406
/proc/meminfo: memFree=16611716/32950904 swapFree=67055440/67111528
[pid=22403] ppid=22401 vsize=155336 CPUtime=12.59 cores=1,3,5,7
/proc/22403/stat : 22403 (pwbo1.1) S 22401 22403 21970 0 -1 4202496 16216 0 0 0 1239 20 0 0 22 0 3 0 910649388 159064064 16120 33554432000 4194304 5714118 140734493495040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22403/statm: 38834 16120 180 372 0 38459 0
[pid=22403/tid=22404] ppid=22401 vsize=155336 CPUtime=6.28 cores=1,3,5,7
/proc/22403/task/22404/stat : 22404 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 5248 0 0 0 614 14 0 0 25 0 3 0 910649388 159064064 16120 33554432000 4194304 5714118 140734493495040 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22403/tid=22405] ppid=22401 vsize=155336 CPUtime=6.28 cores=1,3,5,7
/proc/22403/task/22405/stat : 22405 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 10466 0 0 0 623 5 0 0 25 0 3 0 910649388 159064064 16120 33554432000 4194304 5714118 140734493495040 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 155336
[startup+12.7006 s]
/proc/loadavg: 1.53 1.74 1.90 5/182 22406
/proc/meminfo: memFree=16559456/32950904 swapFree=67055440/67111528
[pid=22403] ppid=22401 vsize=155588 CPUtime=25.39 cores=1,3,5,7
/proc/22403/stat : 22403 (pwbo1.1) S 22401 22403 21970 0 -1 4202496 24588 0 0 0 2505 34 0 0 22 0 3 0 910649388 159322112 24492 33554432000 4194304 5714118 140734493495040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22403/statm: 38897 24492 180 372 0 38522 0
[pid=22403/tid=22404] ppid=22401 vsize=155588 CPUtime=12.68 cores=1,3,5,7
/proc/22403/task/22404/stat : 22404 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 7632 0 0 0 1247 21 0 0 25 0 3 0 910649388 159322112 24492 33554432000 4194304 5714118 140734493495040 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22403/tid=22405] ppid=22401 vsize=155588 CPUtime=12.69 cores=1,3,5,7
/proc/22403/task/22405/stat : 22405 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 16454 0 0 0 1257 12 0 0 25 0 3 0 910649388 159322112 24492 33554432000 4194304 5714118 140734493495040 18446744073709551615 4300320 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 155588
[startup+25.5003 s]
/proc/loadavg: 2.07 1.85 1.93 5/182 22406
/proc/meminfo: memFree=16527600/32950904 swapFree=67055440/67111528
[pid=22403] ppid=22401 vsize=155372 CPUtime=50.99 cores=1,3,5,7
/proc/22403/stat : 22403 (pwbo1.1) S 22401 22403 21970 0 -1 4202496 25671 0 0 0 5043 56 0 0 22 0 3 0 910649388 159100928 24550 33554432000 4194304 5714118 140734493495040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22403/statm: 38843 24550 180 372 0 38468 0
[pid=22403/tid=22404] ppid=22401 vsize=155372 CPUtime=25.49 cores=1,3,5,7
/proc/22403/task/22404/stat : 22404 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 8715 0 0 0 2510 39 0 0 25 0 3 0 910649388 159100928 24550 33554432000 4194304 5714118 140734493495040 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22403/tid=22405] ppid=22401 vsize=155372 CPUtime=25.49 cores=1,3,5,7
/proc/22403/task/22405/stat : 22405 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 16454 0 0 0 2532 17 0 0 25 0 3 0 910649388 159100928 24550 33554432000 4194304 5714118 140734493495040 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 155372
[startup+51.1007 s]
/proc/loadavg: 2.73 2.02 1.98 5/182 22407
/proc/meminfo: memFree=16427320/32950904 swapFree=67055440/67111528
[pid=22403] ppid=22401 vsize=221308 CPUtime=102.19 cores=1,3,5,7
/proc/22403/stat : 22403 (pwbo1.1) S 22401 22403 21970 0 -1 4202496 34822 0 0 0 10110 109 0 0 22 0 3 0 910649388 226619392 33105 33554432000 4194304 5714118 140734493495040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22403/statm: 55327 33106 180 372 0 54952 0
[pid=22403/tid=22404] ppid=22401 vsize=221308 CPUtime=51.09 cores=1,3,5,7
/proc/22403/task/22404/stat : 22404 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 12759 0 0 0 5027 82 0 0 25 0 3 0 910649388 226619392 33106 33554432000 4194304 5714118 140734493495040 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22403/tid=22405] ppid=22401 vsize=221308 CPUtime=51.08 cores=1,3,5,7
/proc/22403/task/22405/stat : 22405 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 21562 0 0 0 5082 26 0 0 25 0 3 0 910649388 226619392 33106 33554432000 4194304 5714118 140734493495040 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 221308
[startup+102.307 s]
/proc/loadavg: 3.45 2.32 2.09 5/182 22408
/proc/meminfo: memFree=16269952/32950904 swapFree=67055440/67111528
[pid=22403] ppid=22401 vsize=287528 CPUtime=204.61 cores=1,3,5,7
/proc/22403/stat : 22403 (pwbo1.1) S 22401 22403 21970 0 -1 4202496 53327 0 0 0 20274 187 0 0 22 0 3 0 910649388 294428672 51610 33554432000 4194304 5714118 140734493495040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22403/statm: 71882 51610 180 372 0 71507 0
[pid=22403/tid=22404] ppid=22401 vsize=287528 CPUtime=102.29 cores=1,3,5,7
/proc/22403/task/22404/stat : 22404 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 23219 0 0 0 10085 144 0 0 25 0 3 0 910649388 294428672 51610 33554432000 4194304 5714118 140734493495040 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22403/tid=22405] ppid=22401 vsize=287528 CPUtime=102.3 cores=1,3,5,7
/proc/22403/task/22405/stat : 22405 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 29606 0 0 0 10188 42 0 0 25 0 3 0 910649388 294428672 51610 33554432000 4194304 5714118 140734493495040 18446744073709551615 4319689 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.61
Current children cumulated vsize (KiB) 287528
[startup+162.301 s]
/proc/loadavg: 3.79 2.62 2.20 5/182 22410
/proc/meminfo: memFree=16114316/32950904 swapFree=67055440/67111528
[pid=22403] ppid=22401 vsize=419140 CPUtime=324.6 cores=1,3,5,7
/proc/22403/stat : 22403 (pwbo1.1) S 22401 22403 21970 0 -1 4202496 75548 0 0 0 32191 269 0 0 22 0 3 0 910649388 429199360 73831 33554432000 4194304 5714118 140734493495040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22403/statm: 104785 73831 180 372 0 104410 0
[pid=22403/tid=22404] ppid=22401 vsize=419140 CPUtime=162.29 cores=1,3,5,7
/proc/22403/task/22404/stat : 22404 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 34534 0 0 0 16022 207 0 0 25 0 3 0 910649388 429199360 73831 33554432000 4194304 5714118 140734493495040 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22403/tid=22405] ppid=22401 vsize=419140 CPUtime=162.29 cores=1,3,5,7
/proc/22403/task/22405/stat : 22405 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 40512 0 0 0 16168 61 0 0 25 0 3 0 910649388 429199360 73831 33554432000 4194304 5714118 140734493495040 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 324.6
Current children cumulated vsize (KiB) 419140
[startup+222.3 s]
/proc/loadavg: 3.92 2.87 2.31 5/182 22412
/proc/meminfo: memFree=15935856/32950904 swapFree=67055440/67111528
[pid=22403] ppid=22401 vsize=487824 CPUtime=444.6 cores=1,3,5,7
/proc/22403/stat : 22403 (pwbo1.1) S 22401 22403 21970 0 -1 4202496 106687 0 0 0 44101 359 0 0 22 0 3 0 910649388 499531776 104924 33554432000 4194304 5714118 140734493495040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22403/statm: 121956 104924 180 372 0 121581 0
[pid=22403/tid=22404] ppid=22401 vsize=487824 CPUtime=222.3 cores=1,3,5,7
/proc/22403/task/22404/stat : 22404 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 42087 0 0 0 21968 262 0 0 25 0 3 0 910649388 499531776 104924 33554432000 4194304 5714118 140734493495040 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22403/tid=22405] ppid=22401 vsize=487824 CPUtime=222.29 cores=1,3,5,7
/proc/22403/task/22405/stat : 22405 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 64098 0 0 0 22132 97 0 0 25 0 3 0 910649388 499531776 104924 33554432000 4194304 5714118 140734493495040 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 444.6
Current children cumulated vsize (KiB) 487824
[startup+282.301 s]
/proc/loadavg: 3.97 3.07 2.42 5/182 22413
/proc/meminfo: memFree=15825228/32950904 swapFree=67055440/67111528
[pid=22403] ppid=22401 vsize=489364 CPUtime=564.6 cores=1,3,5,7
/proc/22403/stat : 22403 (pwbo1.1) S 22401 22403 21970 0 -1 4202496 120195 0 0 0 56032 428 0 0 22 0 3 0 910649388 501108736 118432 33554432000 4194304 5714118 140734493495040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22403/statm: 122341 118432 180 372 0 121966 0
[pid=22403/tid=22404] ppid=22401 vsize=489364 CPUtime=282.29 cores=1,3,5,7
/proc/22403/task/22404/stat : 22404 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 49483 0 0 0 27912 317 0 0 25 0 3 0 910649388 501108736 118432 33554432000 4194304 5714118 140734493495040 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22403/tid=22405] ppid=22401 vsize=489364 CPUtime=282.29 cores=1,3,5,7
/proc/22403/task/22405/stat : 22405 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 70210 0 0 0 28119 110 0 0 25 0 3 0 910649388 501108736 118432 33554432000 4194304 5714118 140734493495040 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 564.6
Current children cumulated vsize (KiB) 489364
[startup+342.301 s]
/proc/loadavg: 3.99 3.24 2.51 5/182 22415
/proc/meminfo: memFree=15728480/32950904 swapFree=67055440/67111528
[pid=22403] ppid=22401 vsize=620436 CPUtime=684.6 cores=1,3,5,7
/proc/22403/stat : 22403 (pwbo1.1) S 22401 22403 21970 0 -1 4202496 132031 0 0 0 67960 500 0 0 22 0 3 0 910649388 635326464 130268 33554432000 4194304 5714118 140734493495040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22403/statm: 155109 130268 180 372 0 154734 0
[pid=22403/tid=22404] ppid=22401 vsize=620436 CPUtime=342.29 cores=1,3,5,7
/proc/22403/task/22404/stat : 22404 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 55839 0 0 0 33853 376 0 0 25 0 3 0 910649388 635326464 130268 33554432000 4194304 5714118 140734493495040 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22403/tid=22405] ppid=22401 vsize=620436 CPUtime=342.29 cores=1,3,5,7
/proc/22403/task/22405/stat : 22405 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 75690 0 0 0 34106 123 0 0 25 0 3 0 910649388 635326464 130268 33554432000 4194304 5714118 140734493495040 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 620436
[startup+402.301 s]
/proc/loadavg: 3.99 3.38 2.60 5/182 22416
/proc/meminfo: memFree=15623192/32950904 swapFree=67055440/67111528
[pid=22403] ppid=22401 vsize=620436 CPUtime=804.61 cores=1,3,5,7
/proc/22403/stat : 22403 (pwbo1.1) S 22401 22403 21970 0 -1 4202496 145852 0 0 0 79903 558 0 0 22 0 3 0 910649388 635326464 144088 33554432000 4194304 5714118 140734493495040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22403/statm: 155109 144088 180 372 0 154734 0
[pid=22403/tid=22404] ppid=22401 vsize=620436 CPUtime=402.29 cores=1,3,5,7
/proc/22403/task/22404/stat : 22404 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 64347 0 0 0 39809 420 0 0 25 0 3 0 910649388 635326464 144088 33554432000 4194304 5714118 140734493495040 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22403/tid=22405] ppid=22401 vsize=620436 CPUtime=402.29 cores=1,3,5,7
/proc/22403/task/22405/stat : 22405 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 81003 0 0 0 40092 137 0 0 25 0 3 0 910649388 635326464 144088 33554432000 4194304 5714118 140734493495040 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 804.61
Current children cumulated vsize (KiB) 620436
[startup+462.3 s]
/proc/loadavg: 3.99 3.49 2.69 5/182 22418
/proc/meminfo: memFree=15541576/32950904 swapFree=67055440/67111528
[pid=22403] ppid=22401 vsize=685972 CPUtime=924.61 cores=1,3,5,7
/proc/22403/stat : 22403 (pwbo1.1) S 22401 22403 21970 0 -1 4202496 156184 0 0 0 91849 612 0 0 22 0 3 0 910649388 702435328 154418 33554432000 4194304 5714118 140734493495040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22403/statm: 171493 154418 180 372 0 171118 0
[pid=22403/tid=22404] ppid=22401 vsize=685972 CPUtime=462.29 cores=1,3,5,7
/proc/22403/task/22404/stat : 22404 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 71447 0 0 0 45767 462 0 0 25 0 3 0 910649388 702435328 154418 33554432000 4194304 5714118 140734493495040 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22403/tid=22405] ppid=22401 vsize=685972 CPUtime=462.3 cores=1,3,5,7
/proc/22403/task/22405/stat : 22405 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 84235 0 0 0 46081 149 0 0 25 0 3 0 910649388 702435328 154418 33554432000 4194304 5714118 140734493495040 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 924.61
Current children cumulated vsize (KiB) 685972
[startup+522.301 s]
/proc/loadavg: 3.99 3.58 2.77 5/182 22420
/proc/meminfo: memFree=15478552/32950904 swapFree=67055440/67111528
[pid=22403] ppid=22401 vsize=686132 CPUtime=1044.61 cores=1,3,5,7
/proc/22403/stat : 22403 (pwbo1.1) S 22401 22403 21970 0 -1 4202496 160971 0 0 0 103799 662 0 0 22 0 3 0 910649388 702599168 159205 33554432000 4194304 5714118 140734493495040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22403/statm: 171533 159205 180 372 0 171158 0
[pid=22403/tid=22404] ppid=22401 vsize=686132 CPUtime=522.3 cores=1,3,5,7
/proc/22403/task/22404/stat : 22404 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 76219 0 0 0 51728 502 0 0 25 0 3 0 910649388 702599168 159205 33554432000 4194304 5714118 140734493495040 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22403/tid=22405] ppid=22401 vsize=686132 CPUtime=522.3 cores=1,3,5,7
/proc/22403/task/22405/stat : 22405 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 84250 0 0 0 52070 160 0 0 25 0 3 0 910649388 702599168 159205 33554432000 4194304 5714118 140734493495040 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 686132
[startup+582.301 s]
/proc/loadavg: 3.99 3.65 2.84 5/182 22421
/proc/meminfo: memFree=15425084/32950904 swapFree=67055440/67111528
[pid=22403] ppid=22401 vsize=686132 CPUtime=1164.62 cores=1,3,5,7
/proc/22403/stat : 22403 (pwbo1.1) S 22401 22403 21970 0 -1 4202496 166657 0 0 0 115764 698 0 0 22 0 3 0 910649388 702599168 164890 33554432000 4194304 5714118 140734493495040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22403/statm: 171533 164890 180 372 0 171158 0
[pid=22403/tid=22404] ppid=22401 vsize=686132 CPUtime=582.3 cores=1,3,5,7
/proc/22403/task/22404/stat : 22404 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 81897 0 0 0 57700 530 0 0 25 0 3 0 910649388 702599168 164890 33554432000 4194304 5714118 140734493495040 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22403/tid=22405] ppid=22401 vsize=686132 CPUtime=582.3 cores=1,3,5,7
/proc/22403/task/22405/stat : 22405 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 84258 0 0 0 58063 167 0 0 25 0 3 0 910649388 702599168 164890 33554432000 4194304 5714118 140734493495040 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1164.62
Current children cumulated vsize (KiB) 686132
[startup+642.3 s]
/proc/loadavg: 3.99 3.71 2.91 5/182 22423
/proc/meminfo: memFree=15372232/32950904 swapFree=67055440/67111528
[pid=22403] ppid=22401 vsize=751668 CPUtime=1284.63 cores=1,3,5,7
/proc/22403/stat : 22403 (pwbo1.1) S 22401 22403 21970 0 -1 4202496 171980 0 0 0 127724 739 0 0 22 0 3 0 910649388 769708032 170213 33554432000 4194304 5714118 140734493495040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22403/statm: 187917 170213 180 372 0 187542 0
[pid=22403/tid=22404] ppid=22401 vsize=751668 CPUtime=642.31 cores=1,3,5,7
/proc/22403/task/22404/stat : 22404 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 87217 0 0 0 63665 566 0 0 25 0 3 0 910649388 769708032 170213 33554432000 4194304 5714118 140734493495040 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22403/tid=22405] ppid=22401 vsize=751668 CPUtime=642.31 cores=1,3,5,7
/proc/22403/task/22405/stat : 22405 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 84261 0 0 0 64058 173 0 0 25 0 3 0 910649388 769708032 170213 33554432000 4194304 5714118 140734493495040 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1284.63
Current children cumulated vsize (KiB) 751668
[startup+702.301 s]
/proc/loadavg: 3.99 3.76 2.97 5/182 22424
/proc/meminfo: memFree=15303764/32950904 swapFree=67055440/67111528
[pid=22403] ppid=22401 vsize=751668 CPUtime=1404.62 cores=1,3,5,7
/proc/22403/stat : 22403 (pwbo1.1) S 22401 22403 21970 0 -1 4202496 179996 0 0 0 139676 786 0 0 22 0 3 0 910649388 769708032 178228 33554432000 4194304 5714118 140734493495040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22403/statm: 187917 178228 180 372 0 187542 0
[pid=22403/tid=22404] ppid=22401 vsize=751668 CPUtime=702.3 cores=1,3,5,7
/proc/22403/task/22404/stat : 22404 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 95231 0 0 0 69624 606 0 0 25 0 3 0 910649388 769708032 178228 33554432000 4194304 5714118 140734493495040 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22403/tid=22405] ppid=22401 vsize=751668 CPUtime=702.3 cores=1,3,5,7
/proc/22403/task/22405/stat : 22405 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 84263 0 0 0 70051 179 0 0 25 0 3 0 910649388 769708032 178228 33554432000 4194304 5714118 140734493495040 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1404.62
Current children cumulated vsize (KiB) 751668
[startup+762.307 s]
/proc/loadavg: 3.99 3.80 3.04 5/182 22426
/proc/meminfo: memFree=15260824/32950904 swapFree=67055440/67111528
[pid=22403] ppid=22401 vsize=817204 CPUtime=1524.63 cores=1,3,5,7
/proc/22403/stat : 22403 (pwbo1.1) S 22401 22403 21970 0 -1 4202496 186308 0 0 0 151619 844 0 0 22 0 3 0 910649388 836816896 184540 33554432000 4194304 5714118 140734493495040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22403/statm: 204301 184540 180 372 0 203926 0
[pid=22403/tid=22404] ppid=22401 vsize=817204 CPUtime=762.31 cores=1,3,5,7
/proc/22403/task/22404/stat : 22404 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 101528 0 0 0 75577 654 0 0 25 0 3 0 910649388 836816896 184540 33554432000 4194304 5714118 140734493495040 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22403/tid=22405] ppid=22401 vsize=817204 CPUtime=762.32 cores=1,3,5,7
/proc/22403/task/22405/stat : 22405 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 84278 0 0 0 76042 190 0 0 25 0 3 0 910649388 836816896 184540 33554432000 4194304 5714118 140734493495040 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1524.63
Current children cumulated vsize (KiB) 817204
[startup+822.3 s]
/proc/loadavg: 3.99 3.84 3.09 5/182 22428
/proc/meminfo: memFree=15173004/32950904 swapFree=67055440/67111528
[pid=22403] ppid=22401 vsize=883548 CPUtime=1644.63 cores=1,3,5,7
/proc/22403/stat : 22403 (pwbo1.1) S 22401 22403 21970 0 -1 4202496 200795 0 0 0 163553 910 0 0 22 0 3 0 910649388 904753152 199026 33554432000 4194304 5714118 140734493495040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22403/statm: 220887 199026 180 372 0 220512 0
[pid=22403/tid=22404] ppid=22401 vsize=883548 CPUtime=822.31 cores=1,3,5,7
/proc/22403/task/22404/stat : 22404 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 108752 0 0 0 81531 700 0 0 25 0 3 0 910649388 904753152 199026 33554432000 4194304 5714118 140734493495040 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22403/tid=22405] ppid=22401 vsize=883548 CPUtime=822.31 cores=1,3,5,7
/proc/22403/task/22405/stat : 22405 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 91541 0 0 0 82021 210 0 0 25 0 3 0 910649388 904753152 199026 33554432000 4194304 5714118 140734493495040 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1644.63
Current children cumulated vsize (KiB) 883548
[startup+882.301 s]
/proc/loadavg: 3.99 3.86 3.15 5/182 22429
/proc/meminfo: memFree=15071188/32950904 swapFree=67055440/67111528
[pid=22403] ppid=22401 vsize=951216 CPUtime=1764.64 cores=1,3,5,7
/proc/22403/stat : 22403 (pwbo1.1) S 22401 22403 21970 0 -1 4202496 218182 0 0 0 175496 968 0 0 22 0 3 0 910649388 974045184 216390 33554432000 4194304 5714118 140734493495040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22403/statm: 237804 216390 180 372 0 237429 0
[pid=22403/tid=22404] ppid=22401 vsize=951216 CPUtime=882.31 cores=1,3,5,7
/proc/22403/task/22404/stat : 22404 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 116503 0 0 0 87492 739 0 0 25 0 3 0 910649388 974045184 216390 33554432000 4194304 5714118 140734493495040 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22403/tid=22405] ppid=22401 vsize=951216 CPUtime=882.31 cores=1,3,5,7
/proc/22403/task/22405/stat : 22405 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 101177 0 0 0 88003 228 0 0 25 0 3 0 910649388 974045184 216390 33554432000 4194304 5714118 140734493495040 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1764.64
Current children cumulated vsize (KiB) 951216
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900 s]
/proc/loadavg: 3.99 3.87 3.16 3/178 22431
/proc/meminfo: memFree=15850924/32950904 swapFree=67055440/67111528
[pid=22403] ppid=22401 vsize=951216 CPUtime=1800.04 cores=1,3,5,7
/proc/22403/stat : 22403 (pwbo1.1) S 22401 22403 21970 0 -1 4202496 220509 0 0 0 179023 981 0 0 22 0 3 0 910649388 974045184 218717 33554432000 4194304 5714118 140734493495040 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22403/statm: 237804 218717 180 372 0 237429 0
[pid=22403/tid=22404] ppid=22401 vsize=951216 CPUtime=900.02 cores=1,3,5,7
/proc/22403/task/22404/stat : 22404 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 116750 0 0 0 89253 749 0 0 25 0 3 0 910649388 974045184 218717 33554432000 4194304 5714118 140734493495040 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22403/tid=22405] ppid=22401 vsize=951216 CPUtime=900.01 cores=1,3,5,7
/proc/22403/task/22405/stat : 22405 (pwbo1.1) R 22401 22403 21970 0 -1 4202560 103257 0 0 0 89769 232 0 0 25 0 3 0 910649388 974045184 218717 33554432000 4194304 5714118 140734493495040 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 951216
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 900.05
CPU time (s): 1800.1
CPU user time (s): 1790.25
CPU system time (s): 9.8565
CPU usage (%): 200
Max. virtual memory (cumulated for all children) (KiB): 951216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.25
system time used= 9.8565
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 220514
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= 454
involuntary context switches= 2777
runsolver used 1.47778 second user time and 3.36049 second system time
The end