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-3500384-1307994702/watcher-3500384-1307994702 -o /var/tmp/evaluation-result-3500384-1307994702/solver-3500384-1307994702 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500384-1307994702.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: 4.00 3.99 3.91 2/175 17536
/proc/meminfo: memFree=14858492/32951124 swapFree=67054712/67111528
[pid=17536] ppid=17534 vsize=134928 CPUtime=0 cores=1,3,5,7
/proc/17536/stat : 17536 (pwbo1.1) S 17534 17536 16567 0 -1 4202496 514 0 0 0 0 0 0 0 25 0 3 0 989700839 138166272 462 33554432000 4194304 5714118 140735668098848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17536/statm: 33732 462 178 372 0 33357 0
[pid=17536/tid=17537] ppid=17534 vsize=134928 CPUtime=0 cores=1,3,5,7
/proc/17536/task/17537/stat : 17537 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 50 0 0 0 0 0 0 0 25 0 3 0 989700840 138166272 463 33554432000 4194304 5714118 140735668098848 18446744073709551615 4970378 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17536/tid=17538] ppid=17534 vsize=134928 CPUtime=0 cores=1,3,5,7
/proc/17536/task/17538/stat : 17538 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 140 0 0 0 0 0 0 0 18 0 3 0 989700840 138166272 464 33554432000 4194304 5714118 140735668098848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[startup+0.0579249 s]
/proc/loadavg: 4.00 3.99 3.91 2/175 17536
/proc/meminfo: memFree=14858492/32951124 swapFree=67054712/67111528
[pid=17536] ppid=17534 vsize=134928 CPUtime=0.1 cores=1,3,5,7
/proc/17536/stat : 17536 (pwbo1.1) S 17534 17536 16567 0 -1 4202496 810 0 0 0 9 1 0 0 25 0 3 0 989700839 138166272 758 33554432000 4194304 5714118 140735668098848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17536/statm: 33732 758 179 372 0 33357 0
[pid=17536/tid=17537] ppid=17534 vsize=134928 CPUtime=0.04 cores=1,3,5,7
/proc/17536/task/17537/stat : 17537 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 210 0 0 0 4 0 0 0 25 0 3 0 989700840 138166272 758 33554432000 4194304 5714118 140735668098848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17536/tid=17538] ppid=17534 vsize=134928 CPUtime=0.04 cores=1,3,5,7
/proc/17536/task/17538/stat : 17538 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 274 0 0 0 4 0 0 0 18 0 3 0 989700840 138166272 758 33554432000 4194304 5714118 140735668098848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 134928
[startup+0.100896 s]
/proc/loadavg: 4.00 3.99 3.91 2/175 17536
/proc/meminfo: memFree=14858492/32951124 swapFree=67054712/67111528
[pid=17536] ppid=17534 vsize=134928 CPUtime=0.19 cores=1,3,5,7
/proc/17536/stat : 17536 (pwbo1.1) S 17534 17536 16567 0 -1 4202496 914 0 0 0 18 1 0 0 25 0 3 0 989700839 138166272 862 33554432000 4194304 5714118 140735668098848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17536/statm: 33732 862 179 372 0 33357 0
[pid=17536/tid=17537] ppid=17534 vsize=134928 CPUtime=0.09 cores=1,3,5,7
/proc/17536/task/17537/stat : 17537 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 314 0 0 0 9 0 0 0 25 0 3 0 989700840 138166272 862 33554432000 4194304 5714118 140735668098848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17536/tid=17538] ppid=17534 vsize=134928 CPUtime=0.09 cores=1,3,5,7
/proc/17536/task/17538/stat : 17538 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 274 0 0 0 8 1 0 0 18 0 3 0 989700840 138166272 862 33554432000 4194304 5714118 140735668098848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 134928
[startup+0.30086 s]
/proc/loadavg: 4.00 3.99 3.91 2/175 17536
/proc/meminfo: memFree=14858492/32951124 swapFree=67054712/67111528
[pid=17536] ppid=17534 vsize=134928 CPUtime=0.59 cores=1,3,5,7
/proc/17536/stat : 17536 (pwbo1.1) S 17534 17536 16567 0 -1 4202496 1580 0 0 0 56 3 0 0 25 0 3 0 989700839 138166272 1528 33554432000 4194304 5714118 140735668098848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17536/statm: 33732 1528 179 372 0 33357 0
[pid=17536/tid=17537] ppid=17534 vsize=134928 CPUtime=0.29 cores=1,3,5,7
/proc/17536/task/17537/stat : 17537 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 735 0 0 0 28 1 0 0 25 0 3 0 989700840 138166272 1528 33554432000 4194304 5714118 140735668098848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17536/tid=17538] ppid=17534 vsize=134928 CPUtime=0.28 cores=1,3,5,7
/proc/17536/task/17538/stat : 17538 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 519 0 0 0 27 1 0 0 18 0 3 0 989700840 138166272 1528 33554432000 4194304 5714118 140735668098848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 134928
[startup+0.700793 s]
/proc/loadavg: 4.00 3.99 3.91 2/175 17536
/proc/meminfo: memFree=14858492/32951124 swapFree=67054712/67111528
[pid=17536] ppid=17534 vsize=135060 CPUtime=1.39 cores=1,3,5,7
/proc/17536/stat : 17536 (pwbo1.1) S 17534 17536 16567 0 -1 4202496 2473 0 0 0 132 7 0 0 25 0 3 0 989700839 138301440 2421 33554432000 4194304 5714118 140735668098848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17536/statm: 33765 2421 179 372 0 33390 0
[pid=17536/tid=17537] ppid=17534 vsize=135060 CPUtime=0.69 cores=1,3,5,7
/proc/17536/task/17537/stat : 17537 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 1374 0 0 0 66 3 0 0 25 0 3 0 989700840 138301440 2421 33554432000 4194304 5714118 140735668098848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17536/tid=17538] ppid=17534 vsize=135060 CPUtime=0.69 cores=1,3,5,7
/proc/17536/task/17538/stat : 17538 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 773 0 0 0 65 4 0 0 18 0 3 0 989700840 138301440 2421 33554432000 4194304 5714118 140735668098848 18446744073709551615 5070743 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) 135060
[startup+1.50069 s]
/proc/loadavg: 3.84 3.95 3.90 4/178 17543
/proc/meminfo: memFree=14849964/32951124 swapFree=67054712/67111528
[pid=17536] ppid=17534 vsize=135340 CPUtime=2.98 cores=1,3,5,7
/proc/17536/stat : 17536 (pwbo1.1) S 17534 17536 16567 0 -1 4202496 3201 0 0 0 288 10 0 0 25 0 3 0 989700839 138588160 3149 33554432000 4194304 5714118 140735668098848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17536/statm: 33835 3149 179 372 0 33460 0
[pid=17536/tid=17537] ppid=17534 vsize=135340 CPUtime=1.49 cores=1,3,5,7
/proc/17536/task/17537/stat : 17537 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 1641 0 0 0 144 5 0 0 25 0 3 0 989700840 138588160 3149 33554432000 4194304 5714118 140735668098848 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17536/tid=17538] ppid=17534 vsize=135340 CPUtime=1.49 cores=1,3,5,7
/proc/17536/task/17538/stat : 17538 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 1234 0 0 0 144 5 0 0 20 0 3 0 989700840 138588160 3149 33554432000 4194304 5714118 140735668098848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 135340
[startup+3.10037 s]
/proc/loadavg: 3.84 3.95 3.90 5/182 17579
/proc/meminfo: memFree=14807640/32951124 swapFree=67054712/67111528
[pid=17536] ppid=17534 vsize=135628 CPUtime=6.18 cores=1,3,5,7
/proc/17536/stat : 17536 (pwbo1.1) S 17534 17536 16567 0 -1 4202496 4647 0 0 0 604 14 0 0 25 0 3 0 989700839 138883072 4595 33554432000 4194304 5714118 140735668098848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17536/statm: 33907 4595 179 372 0 33532 0
[pid=17536/tid=17537] ppid=17534 vsize=135628 CPUtime=3.09 cores=1,3,5,7
/proc/17536/task/17537/stat : 17537 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 2669 0 0 0 302 7 0 0 25 0 3 0 989700840 138883072 4595 33554432000 4194304 5714118 140735668098848 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17536/tid=17538] ppid=17534 vsize=135628 CPUtime=3.09 cores=1,3,5,7
/proc/17536/task/17538/stat : 17538 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 1652 0 0 0 302 7 0 0 25 0 3 0 989700840 138883072 4595 33554432000 4194304 5714118 140735668098848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 135628
[startup+6.30081 s]
/proc/loadavg: 3.84 3.95 3.90 5/182 17579
/proc/meminfo: memFree=14779508/32951124 swapFree=67054712/67111528
[pid=17536] ppid=17534 vsize=135928 CPUtime=12.59 cores=1,3,5,7
/proc/17536/stat : 17536 (pwbo1.1) S 17534 17536 16567 0 -1 4202496 6836 0 0 0 1237 22 0 0 25 0 3 0 989700839 139190272 6784 33554432000 4194304 5714118 140735668098848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17536/statm: 33982 6784 180 372 0 33607 0
[pid=17536/tid=17537] ppid=17534 vsize=135928 CPUtime=6.29 cores=1,3,5,7
/proc/17536/task/17537/stat : 17537 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 4393 0 0 0 617 12 0 0 25 0 3 0 989700840 139190272 6784 33554432000 4194304 5714118 140735668098848 18446744073709551615 4299735 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17536/tid=17538] ppid=17534 vsize=135928 CPUtime=6.29 cores=1,3,5,7
/proc/17536/task/17538/stat : 17538 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 2117 0 0 0 620 9 0 0 25 0 3 0 989700840 139190272 6784 33554432000 4194304 5714118 140735668098848 18446744073709551615 4319200 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) 135928
[startup+12.7007 s]
/proc/loadavg: 3.86 3.95 3.90 5/182 17579
/proc/meminfo: memFree=14746400/32951124 swapFree=67054712/67111528
[pid=17536] ppid=17534 vsize=136072 CPUtime=25.39 cores=1,3,5,7
/proc/17536/stat : 17536 (pwbo1.1) S 17534 17536 16567 0 -1 4202496 10449 0 0 0 2504 35 0 0 25 0 3 0 989700839 139337728 10397 33554432000 4194304 5714118 140735668098848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17536/statm: 34018 10397 180 372 0 33643 0
[pid=17536/tid=17537] ppid=17534 vsize=136072 CPUtime=12.69 cores=1,3,5,7
/proc/17536/task/17537/stat : 17537 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 7537 0 0 0 1250 19 0 0 25 0 3 0 989700840 139337728 10397 33554432000 4194304 5714118 140735668098848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=17536/tid=17538] ppid=17534 vsize=136072 CPUtime=12.69 cores=1,3,5,7
/proc/17536/task/17538/stat : 17538 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 2586 0 0 0 1254 15 0 0 25 0 3 0 989700840 139337728 10397 33554432000 4194304 5714118 140735668098848 18446744073709551615 5070743 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) 136072
[startup+25.5004 s]
/proc/loadavg: 3.96 3.97 3.91 5/182 17580
/proc/meminfo: memFree=14685040/32951124 swapFree=67054712/67111528
[pid=17536] ppid=17534 vsize=136964 CPUtime=50.99 cores=1,3,5,7
/proc/17536/stat : 17536 (pwbo1.1) S 17534 17536 16567 0 -1 4202496 14601 0 0 0 5037 62 0 0 25 0 3 0 989700839 140251136 14549 33554432000 4194304 5714118 140735668098848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17536/statm: 34241 14549 180 372 0 33866 0
[pid=17536/tid=17537] ppid=17534 vsize=136964 CPUtime=25.49 cores=1,3,5,7
/proc/17536/task/17537/stat : 17537 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 11567 0 0 0 2516 33 0 0 25 0 3 0 989700840 140251136 14549 33554432000 4194304 5714118 140735668098848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=17536/tid=17538] ppid=17534 vsize=136964 CPUtime=25.49 cores=1,3,5,7
/proc/17536/task/17538/stat : 17538 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 2708 0 0 0 2521 28 0 0 25 0 3 0 989700840 140251136 14549 33554432000 4194304 5714118 140735668098848 18446744073709551615 5070743 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) 136964
[startup+51.101 s]
/proc/loadavg: 3.97 3.97 3.91 5/182 17580
/proc/meminfo: memFree=14520864/32951124 swapFree=67054712/67111528
[pid=17536] ppid=17534 vsize=203832 CPUtime=102.19 cores=1,3,5,7
/proc/17536/stat : 17536 (pwbo1.1) S 17534 17536 16567 0 -1 4202496 23324 0 0 0 10108 111 0 0 25 0 3 0 989700839 208723968 23272 33554432000 4194304 5714118 140735668098848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17536/statm: 50958 23272 180 372 0 50583 0
[pid=17536/tid=17537] ppid=17534 vsize=203832 CPUtime=51.09 cores=1,3,5,7
/proc/17536/task/17537/stat : 17537 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 19550 0 0 0 5048 61 0 0 25 0 3 0 989700840 208723968 23272 33554432000 4194304 5714118 140735668098848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=17536/tid=17538] ppid=17534 vsize=203832 CPUtime=51.09 cores=1,3,5,7
/proc/17536/task/17538/stat : 17538 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 3448 0 0 0 5060 49 0 0 25 0 3 0 989700840 208723968 23272 33554432000 4194304 5714118 140735668098848 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) 203832
[startup+102.307 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 17582
/proc/meminfo: memFree=14280648/32951124 swapFree=67054712/67111528
[pid=17536] ppid=17534 vsize=277500 CPUtime=204.6 cores=1,3,5,7
/proc/17536/stat : 17536 (pwbo1.1) S 17534 17536 16567 0 -1 4202496 42942 0 0 0 20264 196 0 0 25 0 3 0 989700839 284160000 42890 33554432000 4194304 5714118 140735668098848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17536/statm: 69375 42890 180 372 0 69000 0
[pid=17536/tid=17537] ppid=17534 vsize=277500 CPUtime=102.29 cores=1,3,5,7
/proc/17536/task/17537/stat : 17537 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 37879 0 0 0 10123 106 0 0 25 0 3 0 989700840 284160000 42890 33554432000 4194304 5714118 140735668098848 18446744073709551615 4197716 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=17536/tid=17538] ppid=17534 vsize=277500 CPUtime=102.29 cores=1,3,5,7
/proc/17536/task/17538/stat : 17538 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 4737 0 0 0 10140 89 0 0 25 0 3 0 989700840 284160000 42891 33554432000 4194304 5714118 140735668098848 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 277500
[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 17583
/proc/meminfo: memFree=14173596/32951124 swapFree=67054712/67111528
[pid=17536] ppid=17534 vsize=269780 CPUtime=324.6 cores=1,3,5,7
/proc/17536/stat : 17536 (pwbo1.1) S 17534 17536 16567 0 -1 4202496 43993 0 0 0 32184 276 0 0 25 0 3 0 989700839 276254720 42357 33554432000 4194304 5714118 140735668098848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17536/statm: 67445 42357 180 372 0 67070 0
[pid=17536/tid=17537] ppid=17534 vsize=269780 CPUtime=162.29 cores=1,3,5,7
/proc/17536/task/17537/stat : 17537 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 38512 0 0 0 16084 145 0 0 25 0 3 0 989700840 276254720 42357 33554432000 4194304 5714118 140735668098848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=17536/tid=17538] ppid=17534 vsize=269780 CPUtime=162.29 cores=1,3,5,7
/proc/17536/task/17538/stat : 17538 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 5155 0 0 0 16099 130 0 0 25 0 3 0 989700840 276254720 42357 33554432000 4194304 5714118 140735668098848 18446744073709551615 5070743 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) 269780
[startup+222.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 17585
/proc/meminfo: memFree=14149616/32951124 swapFree=67054712/67111528
[pid=17536] ppid=17534 vsize=270064 CPUtime=444.6 cores=1,3,5,7
/proc/17536/stat : 17536 (pwbo1.1) S 17534 17536 16567 0 -1 4202496 45045 0 0 0 44111 349 0 0 25 0 3 0 989700839 276545536 43407 33554432000 4194304 5714118 140735668098848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17536/statm: 67516 43407 180 372 0 67141 0
[pid=17536/tid=17537] ppid=17534 vsize=270064 CPUtime=222.29 cores=1,3,5,7
/proc/17536/task/17537/stat : 17537 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 38616 0 0 0 22051 178 0 0 25 0 3 0 989700840 276545536 43407 33554432000 4194304 5714118 140735668098848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=17536/tid=17538] ppid=17534 vsize=270064 CPUtime=222.3 cores=1,3,5,7
/proc/17536/task/17538/stat : 17538 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 6103 0 0 0 22059 171 0 0 25 0 3 0 989700840 276545536 43407 33554432000 4194304 5714118 140735668098848 18446744073709551615 5070743 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) 270064
Solver just ended. Dumping a history of the last processes samples
[startup+223.901 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 17585
/proc/meminfo: memFree=14149492/32951124 swapFree=67054712/67111528
[pid=17536] ppid=17534 vsize=270208 CPUtime=447.8 cores=1,3,5,7
/proc/17536/stat : 17536 (pwbo1.1) S 17534 17536 16567 0 -1 4202496 45075 0 0 0 44429 351 0 0 25 0 3 0 989700839 276692992 43437 33554432000 4194304 5714118 140735668098848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17536/statm: 67552 43437 180 372 0 67177 0
[pid=17536/tid=17537] ppid=17534 vsize=270208 CPUtime=223.89 cores=1,3,5,7
/proc/17536/task/17537/stat : 17537 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 38616 0 0 0 22210 179 0 0 25 0 3 0 989700840 276692992 43437 33554432000 4194304 5714118 140735668098848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=17536/tid=17538] ppid=17534 vsize=270208 CPUtime=223.89 cores=1,3,5,7
/proc/17536/task/17538/stat : 17538 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 6133 0 0 0 22218 171 0 0 25 0 3 0 989700840 276692992 43437 33554432000 4194304 5714118 140735668098848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 447.8
Current children cumulated vsize (KiB) 270208
[startup+227.101 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 17585
/proc/meminfo: memFree=14134240/32951124 swapFree=67054712/67111528
[pid=17536] ppid=17534 vsize=270208 CPUtime=454.2 cores=1,3,5,7
/proc/17536/stat : 17536 (pwbo1.1) S 17534 17536 16567 0 -1 4202496 45085 0 0 0 45065 355 0 0 25 0 3 0 989700839 276692992 43447 33554432000 4194304 5714118 140735668098848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17536/statm: 67552 43447 180 372 0 67177 0
[pid=17536/tid=17537] ppid=17534 vsize=270208 CPUtime=227.09 cores=1,3,5,7
/proc/17536/task/17537/stat : 17537 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 38618 0 0 0 22529 180 0 0 25 0 3 0 989700840 276692992 43447 33554432000 4194304 5714118 140735668098848 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=17536/tid=17538] ppid=17534 vsize=270208 CPUtime=227.1 cores=1,3,5,7
/proc/17536/task/17538/stat : 17538 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 6141 0 0 0 22536 174 0 0 25 0 3 0 989700840 276692992 43447 33554432000 4194304 5714118 140735668098848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 454.2
Current children cumulated vsize (KiB) 270208
[startup+228.701 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 17585
/proc/meminfo: memFree=14120460/32951124 swapFree=67054712/67111528
[pid=17536] ppid=17534 vsize=270208 CPUtime=457.41 cores=1,3,5,7
/proc/17536/stat : 17536 (pwbo1.1) S 17534 17536 16567 0 -1 4202496 45096 0 0 0 45385 356 0 0 25 0 3 0 989700839 276692992 43458 33554432000 4194304 5714118 140735668098848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17536/statm: 67552 43458 180 372 0 67177 0
[pid=17536/tid=17537] ppid=17534 vsize=270208 CPUtime=228.7 cores=1,3,5,7
/proc/17536/task/17537/stat : 17537 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 38629 0 0 0 22689 181 0 0 25 0 3 0 989700840 276692992 43458 33554432000 4194304 5714118 140735668098848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=17536/tid=17538] ppid=17534 vsize=270208 CPUtime=228.7 cores=1,3,5,7
/proc/17536/task/17538/stat : 17538 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 6141 0 0 0 22695 175 0 0 25 0 3 0 989700840 276692992 43458 33554432000 4194304 5714118 140735668098848 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 457.41
Current children cumulated vsize (KiB) 270208
[startup+229.501 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 17585
/proc/meminfo: memFree=14120460/32951124 swapFree=67054712/67111528
[pid=17536] ppid=17534 vsize=270208 CPUtime=459 cores=1,3,5,7
/proc/17536/stat : 17536 (pwbo1.1) S 17534 17536 16567 0 -1 4202496 45097 0 0 0 45543 357 0 0 25 0 3 0 989700839 276692992 43459 33554432000 4194304 5714118 140735668098848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17536/statm: 67552 43459 180 372 0 67177 0
[pid=17536/tid=17537] ppid=17534 vsize=270208 CPUtime=229.49 cores=1,3,5,7
/proc/17536/task/17537/stat : 17537 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 38630 0 0 0 22768 181 0 0 25 0 3 0 989700840 276692992 43459 33554432000 4194304 5714118 140735668098848 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=17536/tid=17538] ppid=17534 vsize=270208 CPUtime=229.49 cores=1,3,5,7
/proc/17536/task/17538/stat : 17538 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 6141 0 0 0 22774 175 0 0 25 0 3 0 989700840 276692992 43459 33554432000 4194304 5714118 140735668098848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 459
Current children cumulated vsize (KiB) 270208
[startup+230.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 17585
/proc/meminfo: memFree=14115500/32951124 swapFree=67054712/67111528
[pid=17536] ppid=17534 vsize=270208 CPUtime=460.6 cores=1,3,5,7
/proc/17536/stat : 17536 (pwbo1.1) S 17534 17536 16567 0 -1 4202496 45097 0 0 0 45702 358 0 0 25 0 3 0 989700839 276692992 43459 33554432000 4194304 5714118 140735668098848 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17536/statm: 67552 43459 180 372 0 67177 0
[pid=17536/tid=17537] ppid=17534 vsize=270208 CPUtime=230.29 cores=1,3,5,7
/proc/17536/task/17537/stat : 17537 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 38630 0 0 0 22848 181 0 0 25 0 3 0 989700840 276692992 43459 33554432000 4194304 5714118 140735668098848 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=17536/tid=17538] ppid=17534 vsize=270208 CPUtime=230.29 cores=1,3,5,7
/proc/17536/task/17538/stat : 17538 (pwbo1.1) R 17534 17536 16567 0 -1 4202560 6141 0 0 0 22853 176 0 0 25 0 3 0 989700840 276692992 43459 33554432000 4194304 5714118 140735668098848 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 460.6
Current children cumulated vsize (KiB) 270208
[startup+230.701 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 17585
/proc/meminfo: memFree=14115500/32951124 swapFree=67054712/67111528
[pid=17536] ppid=17534 vsize=0 CPUtime=461.39 cores=1,3,5,7
/proc/17536/stat : 17536 (pwbo1.1) R 17534 17536 16567 0 -1 4202500 45105 0 0 0 45780 359 0 0 18 0 1 0 989700839 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/17536/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 461.39
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 230.708
CPU time (s): 461.407
CPU user time (s): 457.807
CPU system time (s): 3.59945
CPU usage (%): 199.996
Max. virtual memory (cumulated for all children) (KiB): 277500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 457.807
system time used= 3.59945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45105
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= 36
involuntary context switches= 3097
runsolver used 0.379942 second user time and 0.78888 second system time
The end