runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3500762-1307998042/watcher-3500762-1307998042 -o /tmp/evaluation-result-3500762-1307998042/solver-3500762-1307998042 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500762-1307998042.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.01 3.97 3.91 3/179 14718
/proc/meminfo: memFree=31811844/32951124 swapFree=67050540/67111528
[pid=14718] ppid=14716 vsize=3612 CPUtime=0 cores=0,2,4,6
/proc/14718/stat : 14718 (pwbo1.1) R 14716 14718 13000 0 -1 4202496 613 0 0 0 0 0 0 0 25 0 1 0 911406533 3698688 565 33554432000 4194304 5714118 140733658783968 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14718/statm: 903 566 163 372 0 476 0
[startup+0.0479399 s]
/proc/loadavg: 4.01 3.97 3.91 3/179 14718
/proc/meminfo: memFree=31811844/32951124 swapFree=67050540/67111528
[pid=14718] ppid=14716 vsize=139408 CPUtime=0.06 cores=0,2,4,6
/proc/14718/stat : 14718 (pwbo1.1) S 14716 14718 13000 0 -1 4202496 2882 0 0 0 5 1 0 0 25 0 3 0 911406533 142753792 2760 33554432000 4194304 5714118 140733658783968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14718/statm: 34852 2760 181 372 0 34477 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 139408
[startup+0.100929 s]
/proc/loadavg: 4.01 3.97 3.91 3/179 14718
/proc/meminfo: memFree=31811844/32951124 swapFree=67050540/67111528
[pid=14718] ppid=14716 vsize=139408 CPUtime=0.17 cores=0,2,4,6
/proc/14718/stat : 14718 (pwbo1.1) S 14716 14718 13000 0 -1 4202496 2993 0 0 0 15 2 0 0 25 0 3 0 911406533 142753792 2871 33554432000 4194304 5714118 140733658783968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14718/statm: 34852 2871 181 372 0 34477 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 139408
[startup+0.300892 s]
/proc/loadavg: 4.01 3.97 3.91 3/179 14718
/proc/meminfo: memFree=31811844/32951124 swapFree=67050540/67111528
[pid=14718] ppid=14716 vsize=139408 CPUtime=0.57 cores=0,2,4,6
/proc/14718/stat : 14718 (pwbo1.1) S 14716 14718 13000 0 -1 4202496 3391 0 0 0 54 3 0 0 25 0 3 0 911406533 142753792 3269 33554432000 4194304 5714118 140733658783968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14718/statm: 34852 3269 181 372 0 34477 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 139408
[startup+0.700814 s]
/proc/loadavg: 4.01 3.97 3.91 3/179 14718
/proc/meminfo: memFree=31811844/32951124 swapFree=67050540/67111528
[pid=14718] ppid=14716 vsize=139408 CPUtime=1.37 cores=0,2,4,6
/proc/14718/stat : 14718 (pwbo1.1) S 14716 14718 13000 0 -1 4202496 4227 0 0 0 131 6 0 0 25 0 3 0 911406533 142753792 4105 33554432000 4194304 5714118 140733658783968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14718/statm: 34852 4105 181 372 0 34477 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 139408
[startup+1.50067 s]
/proc/loadavg: 4.01 3.97 3.91 5/182 14721
/proc/meminfo: memFree=31794360/32951124 swapFree=67050540/67111528
[pid=14718] ppid=14716 vsize=139408 CPUtime=2.97 cores=0,2,4,6
/proc/14718/stat : 14718 (pwbo1.1) S 14716 14718 13000 0 -1 4202496 4684 0 0 0 288 9 0 0 25 0 3 0 911406533 142753792 4562 33554432000 4194304 5714118 140733658783968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14718/statm: 34852 4563 181 372 0 34477 0
[pid=14718/tid=14720] ppid=14716 vsize=139408 CPUtime=1.47 cores=0,2,4,6
/proc/14718/task/14720/stat : 14720 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 1691 0 0 0 143 4 0 0 18 0 3 0 911406535 142753792 4563 33554432000 4194304 5714118 140733658783968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14718/tid=14721] ppid=14716 vsize=139408 CPUtime=1.46 cores=0,2,4,6
/proc/14718/task/14721/stat : 14721 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 1999 0 0 0 143 3 0 0 20 0 3 0 911406535 142753792 4563 33554432000 4194304 5714118 140733658783968 18446744073709551615 4322968 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 139408
[startup+3.10037 s]
/proc/loadavg: 4.01 3.97 3.91 5/182 14721
/proc/meminfo: memFree=31789400/32951124 swapFree=67050540/67111528
[pid=14718] ppid=14716 vsize=139828 CPUtime=6.17 cores=0,2,4,6
/proc/14718/stat : 14718 (pwbo1.1) S 14716 14718 13000 0 -1 4202496 6251 0 0 0 602 15 0 0 25 0 3 0 911406533 143183872 6129 33554432000 4194304 5714118 140733658783968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14718/statm: 34957 6129 181 372 0 34582 0
[pid=14718/tid=14720] ppid=14716 vsize=139828 CPUtime=3.07 cores=0,2,4,6
/proc/14718/task/14720/stat : 14720 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 2730 0 0 0 298 9 0 0 20 0 3 0 911406535 143183872 6129 33554432000 4194304 5714118 140733658783968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14718/tid=14721] ppid=14716 vsize=139828 CPUtime=3.07 cores=0,2,4,6
/proc/14718/task/14721/stat : 14721 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 2526 0 0 0 302 5 0 0 25 0 3 0 911406535 143183872 6129 33554432000 4194304 5714118 140733658783968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 139828
[startup+6.30076 s]
/proc/loadavg: 4.01 3.97 3.91 5/182 14721
/proc/meminfo: memFree=31781756/32951124 swapFree=67050540/67111528
[pid=14718] ppid=14716 vsize=140296 CPUtime=12.57 cores=0,2,4,6
/proc/14718/stat : 14718 (pwbo1.1) S 14716 14718 13000 0 -1 4202496 8761 0 0 0 1234 23 0 0 25 0 3 0 911406533 143663104 8639 33554432000 4194304 5714118 140733658783968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14718/statm: 35074 8639 181 372 0 34699 0
[pid=14718/tid=14720] ppid=14716 vsize=140296 CPUtime=6.27 cores=0,2,4,6
/proc/14718/task/14720/stat : 14720 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 3649 0 0 0 613 14 0 0 18 0 3 0 911406535 143663104 8639 33554432000 4194304 5714118 140733658783968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14718/tid=14721] ppid=14716 vsize=140296 CPUtime=6.27 cores=0,2,4,6
/proc/14718/task/14721/stat : 14721 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 4117 0 0 0 619 8 0 0 25 0 3 0 911406535 143663104 8639 33554432000 4194304 5714118 140733658783968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 140296
[startup+12.7005 s]
/proc/loadavg: 4.01 3.97 3.91 5/182 14721
/proc/meminfo: memFree=31757112/32951124 swapFree=67050540/67111528
[pid=14718] ppid=14716 vsize=141192 CPUtime=25.37 cores=0,2,4,6
/proc/14718/stat : 14718 (pwbo1.1) S 14716 14718 13000 0 -1 4202496 14042 0 0 0 2503 34 0 0 25 0 3 0 911406533 144580608 13888 33554432000 4194304 5714118 140733658783968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14718/statm: 35298 13889 181 372 0 34923 0
[pid=14718/tid=14720] ppid=14716 vsize=141192 CPUtime=12.67 cores=0,2,4,6
/proc/14718/task/14720/stat : 14720 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 4098 0 0 0 1247 20 0 0 25 0 3 0 911406535 144580608 13889 33554432000 4194304 5714118 140733658783968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14718/tid=14721] ppid=14716 vsize=141192 CPUtime=12.67 cores=0,2,4,6
/proc/14718/task/14721/stat : 14721 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 8950 0 0 0 1254 13 0 0 25 0 3 0 911406535 144580608 13889 33554432000 4194304 5714118 140733658783968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 141192
[startup+25.5011 s]
/proc/loadavg: 4.01 3.97 3.91 5/182 14722
/proc/meminfo: memFree=31733916/32951124 swapFree=67050540/67111528
[pid=14718] ppid=14716 vsize=142628 CPUtime=50.97 cores=0,2,4,6
/proc/14718/stat : 14718 (pwbo1.1) S 14716 14718 13000 0 -1 4202496 18425 0 0 0 5038 59 0 0 25 0 3 0 911406533 146051072 18271 33554432000 4194304 5714118 140733658783968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14718/statm: 35657 18271 182 372 0 35282 0
[pid=14718/tid=14720] ppid=14716 vsize=142628 CPUtime=25.47 cores=0,2,4,6
/proc/14718/task/14720/stat : 14720 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 7017 0 0 0 2510 37 0 0 25 0 3 0 911406535 146051072 18271 33554432000 4194304 5714118 140733658783968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14718/tid=14721] ppid=14716 vsize=142628 CPUtime=25.47 cores=0,2,4,6
/proc/14718/task/14721/stat : 14721 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 10413 0 0 0 2526 21 0 0 25 0 3 0 911406535 146051072 18271 33554432000 4194304 5714118 140733658783968 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 142628
[startup+51.1003 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 14722
/proc/meminfo: memFree=31702428/32951124 swapFree=67050540/67111528
[pid=14718] ppid=14716 vsize=143968 CPUtime=102.17 cores=0,2,4,6
/proc/14718/stat : 14718 (pwbo1.1) S 14716 14718 13000 0 -1 4202496 24322 0 0 0 10111 106 0 0 25 0 3 0 911406533 147423232 24168 33554432000 4194304 5714118 140733658783968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14718/statm: 35992 24168 182 372 0 35617 0
[pid=14718/tid=14720] ppid=14716 vsize=143968 CPUtime=51.07 cores=0,2,4,6
/proc/14718/task/14720/stat : 14720 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 12575 0 0 0 5038 69 0 0 25 0 3 0 911406535 147423232 24168 33554432000 4194304 5714118 140733658783968 18446744073709551615 4319969 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14718/tid=14721] ppid=14716 vsize=143968 CPUtime=51.07 cores=0,2,4,6
/proc/14718/task/14721/stat : 14721 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 10752 0 0 0 5071 36 0 0 25 0 3 0 911406535 147423232 24168 33554432000 4194304 5714118 140733658783968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 143968
[startup+102.307 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 14724
/proc/meminfo: memFree=31644992/32951124 swapFree=67050540/67111528
[pid=14718] ppid=14716 vsize=147200 CPUtime=204.59 cores=0,2,4,6
/proc/14718/stat : 14718 (pwbo1.1) S 14716 14718 13000 0 -1 4202496 31690 0 0 0 20308 151 0 0 25 0 3 0 911406533 150732800 31485 33554432000 4194304 5714118 140733658783968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14718/statm: 36800 31485 182 372 0 36425 0
[pid=14718/tid=14720] ppid=14716 vsize=147200 CPUtime=102.28 cores=0,2,4,6
/proc/14718/task/14720/stat : 14720 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 15852 0 0 0 10128 100 0 0 25 0 3 0 911406535 150732800 31485 33554432000 4194304 5714118 140733658783968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14718/tid=14721] ppid=14716 vsize=147200 CPUtime=102.28 cores=0,2,4,6
/proc/14718/task/14721/stat : 14721 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 14843 0 0 0 10178 50 0 0 25 0 3 0 911406535 150732800 31485 33554432000 4194304 5714118 140733658783968 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 147200
[startup+162.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 14725
/proc/meminfo: memFree=31600560/32951124 swapFree=67050540/67111528
[pid=14718] ppid=14716 vsize=215116 CPUtime=324.58 cores=0,2,4,6
/proc/14718/stat : 14718 (pwbo1.1) S 14716 14718 13000 0 -1 4202496 42528 0 0 0 32243 215 0 0 25 0 3 0 911406533 220278784 42312 33554432000 4194304 5714118 140733658783968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14718/statm: 53779 42312 182 372 0 53404 0
[pid=14718/tid=14720] ppid=14716 vsize=215116 CPUtime=162.27 cores=0,2,4,6
/proc/14718/task/14720/stat : 14720 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 22995 0 0 0 16084 143 0 0 25 0 3 0 911406535 220278784 42312 33554432000 4194304 5714118 140733658783968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14718/tid=14721] ppid=14716 vsize=215116 CPUtime=162.28 cores=0,2,4,6
/proc/14718/task/14721/stat : 14721 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 18538 0 0 0 16157 71 0 0 25 0 3 0 911406535 220278784 42312 33554432000 4194304 5714118 140733658783968 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 324.58
Current children cumulated vsize (KiB) 215116
[startup+222.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 14727
/proc/meminfo: memFree=31559596/32951124 swapFree=67050540/67111528
[pid=14718] ppid=14716 vsize=283068 CPUtime=444.58 cores=0,2,4,6
/proc/14718/stat : 14718 (pwbo1.1) S 14716 14718 13000 0 -1 4202496 52202 0 0 0 44181 277 0 0 25 0 3 0 911406533 289861632 51986 33554432000 4194304 5714118 140733658783968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14718/statm: 70767 51986 182 372 0 70392 0
[pid=14718/tid=14720] ppid=14716 vsize=283068 CPUtime=222.28 cores=0,2,4,6
/proc/14718/task/14720/stat : 14720 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 31146 0 0 0 22034 194 0 0 25 0 3 0 911406535 289861632 51986 33554432000 4194304 5714118 140733658783968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14718/tid=14721] ppid=14716 vsize=283068 CPUtime=222.27 cores=0,2,4,6
/proc/14718/task/14721/stat : 14721 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 20061 0 0 0 22145 82 0 0 25 0 3 0 911406535 289861632 51986 33554432000 4194304 5714118 140733658783968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 444.58
Current children cumulated vsize (KiB) 283068
[startup+282.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 14728
/proc/meminfo: memFree=31505608/32951124 swapFree=67050540/67111528
[pid=14718] ppid=14716 vsize=350332 CPUtime=564.59 cores=0,2,4,6
/proc/14718/stat : 14718 (pwbo1.1) S 14716 14718 13000 0 -1 4202496 64131 0 0 0 56116 343 0 0 25 0 3 0 911406533 358739968 63915 33554432000 4194304 5714118 140733658783968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14718/statm: 87583 63915 182 372 0 87208 0
[pid=14718/tid=14720] ppid=14716 vsize=350332 CPUtime=282.28 cores=0,2,4,6
/proc/14718/task/14720/stat : 14720 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 40265 0 0 0 27987 241 0 0 25 0 3 0 911406535 358739968 63915 33554432000 4194304 5714118 140733658783968 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14718/tid=14721] ppid=14716 vsize=350332 CPUtime=282.27 cores=0,2,4,6
/proc/14718/task/14721/stat : 14721 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 22871 0 0 0 28127 100 0 0 25 0 3 0 911406535 358739968 63915 33554432000 4194304 5714118 140733658783968 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 350332
[startup+342.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 14730
/proc/meminfo: memFree=31443700/32951124 swapFree=67050540/67111528
[pid=14718] ppid=14716 vsize=417340 CPUtime=684.59 cores=0,2,4,6
/proc/14718/stat : 14718 (pwbo1.1) S 14716 14718 13000 0 -1 4202496 75034 0 0 0 68044 415 0 0 25 0 3 0 911406533 427356160 74818 33554432000 4194304 5714118 140733658783968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14718/statm: 104335 74818 182 372 0 103960 0
[pid=14718/tid=14720] ppid=14716 vsize=417340 CPUtime=342.29 cores=0,2,4,6
/proc/14718/task/14720/stat : 14720 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 50795 0 0 0 33928 301 0 0 25 0 3 0 911406535 427356160 74818 33554432000 4194304 5714118 140733658783968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14718/tid=14721] ppid=14716 vsize=417340 CPUtime=342.28 cores=0,2,4,6
/proc/14718/task/14721/stat : 14721 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 23244 0 0 0 34115 113 0 0 25 0 3 0 911406535 427356160 74818 33554432000 4194304 5714118 140733658783968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 684.59
Current children cumulated vsize (KiB) 417340
[startup+402.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 14732
/proc/meminfo: memFree=31412408/32951124 swapFree=67050540/67111528
[pid=14718] ppid=14716 vsize=418608 CPUtime=804.6 cores=0,2,4,6
/proc/14718/stat : 14718 (pwbo1.1) S 14716 14718 13000 0 -1 4202496 82330 0 0 0 79987 473 0 0 25 0 3 0 911406533 428654592 82114 33554432000 4194304 5714118 140733658783968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14718/statm: 104652 82114 182 372 0 104277 0
[pid=14718/tid=14720] ppid=14716 vsize=418608 CPUtime=402.28 cores=0,2,4,6
/proc/14718/task/14720/stat : 14720 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 57864 0 0 0 39885 343 0 0 25 0 3 0 911406535 428654592 82114 33554432000 4194304 5714118 140733658783968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14718/tid=14721] ppid=14716 vsize=418608 CPUtime=402.28 cores=0,2,4,6
/proc/14718/task/14721/stat : 14721 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 23471 0 0 0 40099 129 0 0 25 0 3 0 911406535 428654592 82114 33554432000 4194304 5714118 140733658783968 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 418608
[startup+462.3 s]
/proc/loadavg: 3.62 3.89 3.89 3/174 14758
/proc/meminfo: memFree=31779128/32951124 swapFree=67050540/67111528
[pid=14718] ppid=14716 vsize=485120 CPUtime=924.6 cores=0,2,4,6
/proc/14718/stat : 14718 (pwbo1.1) S 14716 14718 13000 0 -1 4202496 102916 0 0 0 91913 547 0 0 25 0 3 0 911406533 496762880 102626 33554432000 4194304 5714118 140733658783968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14718/statm: 121280 102626 182 372 0 120905 0
[pid=14718/tid=14720] ppid=14716 vsize=485120 CPUtime=462.28 cores=0,2,4,6
/proc/14718/task/14720/stat : 14720 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 68872 0 0 0 45828 400 0 0 25 0 3 0 911406535 496762880 102626 33554432000 4194304 5714118 140733658783968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14718/tid=14721] ppid=14716 vsize=485120 CPUtime=462.29 cores=0,2,4,6
/proc/14718/task/14721/stat : 14721 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 33049 0 0 0 46083 146 0 0 25 0 3 0 911406535 496762880 102626 33554432000 4194304 5714118 140733658783968 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 485120
[startup+522.301 s]
/proc/loadavg: 2.59 3.54 3.77 3/174 14760
/proc/meminfo: memFree=31778844/32951124 swapFree=67050540/67111528
[pid=14718] ppid=14716 vsize=485844 CPUtime=1044.6 cores=0,2,4,6
/proc/14718/stat : 14718 (pwbo1.1) S 14716 14718 13000 0 -1 4202496 103172 0 0 0 103874 586 0 0 25 0 3 0 911406533 497504256 102638 33554432000 4194304 5714118 140733658783968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14718/statm: 121461 102638 182 372 0 121086 0
[pid=14718/tid=14720] ppid=14716 vsize=485844 CPUtime=522.29 cores=0,2,4,6
/proc/14718/task/14720/stat : 14720 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 68918 0 0 0 51806 423 0 0 25 0 3 0 911406535 497504256 102638 33554432000 4194304 5714118 140733658783968 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14718/tid=14721] ppid=14716 vsize=485844 CPUtime=522.29 cores=0,2,4,6
/proc/14718/task/14721/stat : 14721 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 33259 0 0 0 52067 162 0 0 25 0 3 0 911406535 497504256 102638 33554432000 4194304 5714118 140733658783968 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1044.6
Current children cumulated vsize (KiB) 485844
[startup+582.301 s]
/proc/loadavg: 2.22 3.26 3.65 3/174 14761
/proc/meminfo: memFree=31778064/32951124 swapFree=67050540/67111528
[pid=14718] ppid=14716 vsize=486776 CPUtime=1164.61 cores=0,2,4,6
/proc/14718/stat : 14718 (pwbo1.1) S 14716 14718 13000 0 -1 4202496 103509 0 0 0 115841 620 0 0 25 0 3 0 911406533 498458624 102971 33554432000 4194304 5714118 140733658783968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14718/statm: 121694 102971 182 372 0 121319 0
[pid=14718/tid=14720] ppid=14716 vsize=486776 CPUtime=582.29 cores=0,2,4,6
/proc/14718/task/14720/stat : 14720 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 69034 0 0 0 57784 445 0 0 25 0 3 0 911406535 498458624 102971 33554432000 4194304 5714118 140733658783968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14718/tid=14721] ppid=14716 vsize=486776 CPUtime=582.29 cores=0,2,4,6
/proc/14718/task/14721/stat : 14721 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 33480 0 0 0 58055 174 0 0 25 0 3 0 911406535 498458624 102971 33554432000 4194304 5714118 140733658783968 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 486776
[startup+642.3 s]
/proc/loadavg: 2.08 3.03 3.55 3/174 14763
/proc/meminfo: memFree=31777532/32951124 swapFree=67050540/67111528
[pid=14718] ppid=14716 vsize=486916 CPUtime=1284.62 cores=0,2,4,6
/proc/14718/stat : 14718 (pwbo1.1) S 14716 14718 13000 0 -1 4202496 103636 0 0 0 127812 650 0 0 25 0 3 0 911406533 498601984 103098 33554432000 4194304 5714118 140733658783968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14718/statm: 121729 103098 182 372 0 121354 0
[pid=14718/tid=14720] ppid=14716 vsize=486916 CPUtime=642.3 cores=0,2,4,6
/proc/14718/task/14720/stat : 14720 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 69116 0 0 0 63767 463 0 0 25 0 3 0 911406535 498601984 103098 33554432000 4194304 5714118 140733658783968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14718/tid=14721] ppid=14716 vsize=486916 CPUtime=642.29 cores=0,2,4,6
/proc/14718/task/14721/stat : 14721 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 33525 0 0 0 64043 186 0 0 25 0 3 0 911406535 498601984 103098 33554432000 4194304 5714118 140733658783968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1284.62
Current children cumulated vsize (KiB) 486916
[startup+702.301 s]
/proc/loadavg: 2.03 2.84 3.45 3/174 14765
/proc/meminfo: memFree=31776748/32951124 swapFree=67050540/67111528
[pid=14718] ppid=14716 vsize=487364 CPUtime=1404.62 cores=0,2,4,6
/proc/14718/stat : 14718 (pwbo1.1) S 14716 14718 13000 0 -1 4202496 103810 0 0 0 139786 676 0 0 25 0 3 0 911406533 499060736 103272 33554432000 4194304 5714118 140733658783968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14718/statm: 121841 103272 182 372 0 121466 0
[pid=14718/tid=14720] ppid=14716 vsize=487364 CPUtime=702.3 cores=0,2,4,6
/proc/14718/task/14720/stat : 14720 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 69183 0 0 0 69752 478 0 0 25 0 3 0 911406535 499060736 103272 33554432000 4194304 5714118 140733658783968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14718/tid=14721] ppid=14716 vsize=487364 CPUtime=702.29 cores=0,2,4,6
/proc/14718/task/14721/stat : 14721 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 33632 0 0 0 70032 197 0 0 25 0 3 0 911406535 499060736 103272 33554432000 4194304 5714118 140733658783968 18446744073709551615 4323034 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1404.62
Current children cumulated vsize (KiB) 487364
[startup+762.307 s]
/proc/loadavg: 2.01 2.68 3.35 3/174 14766
/proc/meminfo: memFree=31776592/32951124 swapFree=67050540/67111528
[pid=14718] ppid=14716 vsize=487632 CPUtime=1524.63 cores=0,2,4,6
/proc/14718/stat : 14718 (pwbo1.1) S 14716 14718 13000 0 -1 4202496 103866 0 0 0 151754 709 0 0 25 0 3 0 911406533 499335168 103328 33554432000 4194304 5714118 140733658783968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14718/statm: 121908 103328 182 372 0 121533 0
[pid=14718/tid=14720] ppid=14716 vsize=487632 CPUtime=762.3 cores=0,2,4,6
/proc/14718/task/14720/stat : 14720 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 69183 0 0 0 75740 490 0 0 25 0 3 0 911406535 499335168 103328 33554432000 4194304 5714118 140733658783968 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14718/tid=14721] ppid=14716 vsize=487632 CPUtime=762.3 cores=0,2,4,6
/proc/14718/task/14721/stat : 14721 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 33688 0 0 0 76012 218 0 0 25 0 3 0 911406535 499335168 103328 33554432000 4194304 5714118 140733658783968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1524.63
Current children cumulated vsize (KiB) 487632
[startup+822.3 s]
/proc/loadavg: 2.00 2.56 3.27 3/174 14777
/proc/meminfo: memFree=31775912/32951124 swapFree=67050540/67111528
[pid=14718] ppid=14716 vsize=487796 CPUtime=1644.62 cores=0,2,4,6
/proc/14718/stat : 14718 (pwbo1.1) S 14716 14718 13000 0 -1 4202496 103929 0 0 0 163720 742 0 0 25 0 3 0 911406533 499503104 103391 33554432000 4194304 5714118 140733658783968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14718/statm: 121949 103391 182 372 0 121574 0
[pid=14718/tid=14720] ppid=14716 vsize=487796 CPUtime=822.3 cores=0,2,4,6
/proc/14718/task/14720/stat : 14720 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 69183 0 0 0 81727 503 0 0 25 0 3 0 911406535 499503104 103391 33554432000 4194304 5714118 140733658783968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14718/tid=14721] ppid=14716 vsize=487796 CPUtime=822.3 cores=0,2,4,6
/proc/14718/task/14721/stat : 14721 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 33751 0 0 0 81992 238 0 0 25 0 3 0 911406535 499503104 103391 33554432000 4194304 5714118 140733658783968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.62
Current children cumulated vsize (KiB) 487796
[startup+882.301 s]
/proc/loadavg: 2.00 2.45 3.18 3/174 14778
/proc/meminfo: memFree=31775788/32951124 swapFree=67050540/67111528
[pid=14718] ppid=14716 vsize=488076 CPUtime=1764.63 cores=0,2,4,6
/proc/14718/stat : 14718 (pwbo1.1) S 14716 14718 13000 0 -1 4202496 103975 0 0 0 175694 769 0 0 25 0 3 0 911406533 499789824 103437 33554432000 4194304 5714118 140733658783968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14718/statm: 122019 103437 182 372 0 121644 0
[pid=14718/tid=14720] ppid=14716 vsize=488076 CPUtime=882.3 cores=0,2,4,6
/proc/14718/task/14720/stat : 14720 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 69183 0 0 0 87714 516 0 0 25 0 3 0 911406535 499789824 103437 33554432000 4194304 5714118 140733658783968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14718/tid=14721] ppid=14716 vsize=488076 CPUtime=882.3 cores=0,2,4,6
/proc/14718/task/14721/stat : 14721 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 33797 0 0 0 87977 253 0 0 25 0 3 0 911406535 499789824 103437 33554432000 4194304 5714118 140733658783968 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1764.63
Current children cumulated vsize (KiB) 488076
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 2.00 2.42 3.16 3/174 14779
/proc/meminfo: memFree=31775772/32951124 swapFree=67050540/67111528
[pid=14718] ppid=14716 vsize=488076 CPUtime=1800.04 cores=0,2,4,6
/proc/14718/stat : 14718 (pwbo1.1) S 14716 14718 13000 0 -1 4202496 103988 0 0 0 179223 781 0 0 25 0 3 0 911406533 499789824 103450 33554432000 4194304 5714118 140733658783968 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/14718/statm: 122019 103450 182 372 0 121644 0
[pid=14718/tid=14720] ppid=14716 vsize=488076 CPUtime=900.01 cores=0,2,4,6
/proc/14718/task/14720/stat : 14720 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 69183 0 0 0 89481 520 0 0 25 0 3 0 911406535 499789824 103450 33554432000 4194304 5714118 140733658783968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14718/tid=14721] ppid=14716 vsize=488076 CPUtime=900 cores=0,2,4,6
/proc/14718/task/14721/stat : 14721 (pwbo1.1) R 14716 14718 13000 0 -1 4202560 33810 0 0 0 89740 260 0 0 25 0 3 0 911406535 499789824 103450 33554432000 4194304 5714118 140733658783968 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 488076
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.032
CPU time (s): 1800.08
CPU user time (s): 1792.24
CPU system time (s): 7.83781
CPU usage (%): 200.002
Max. virtual memory (cumulated for all children) (KiB): 488076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.24
system time used= 7.83781
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103993
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= 104
involuntary context switches= 3075
runsolver used 1.44978 second user time and 2.85357 second system time
The end