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-3500273-1307992903/watcher-3500273-1307992903 -o /var/tmp/evaluation-result-3500273-1307992903/solver-3500273-1307992903 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500273-1307992903.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: 3.83 3.94 3.83 3/179 19720
/proc/meminfo: memFree=10184388/32950928 swapFree=67055156/67111528
[pid=19720] ppid=19718 vsize=2612 CPUtime=0 cores=1,3,5,7
/proc/19720/stat : 19720 (pwbo1.1) R 19718 19720 19040 0 -1 4202496 420 0 0 0 0 0 0 0 25 0 1 0 910890105 2674688 373 33554432000 4194304 5714118 140737480490112 18446744073709551615 5014028 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19720/statm: 653 373 167 372 0 255 0
[startup+0.010477 s]
/proc/loadavg: 3.83 3.94 3.83 3/179 19720
/proc/meminfo: memFree=10184388/32950928 swapFree=67055156/67111528
[pid=19720] ppid=19718 vsize=135580 CPUtime=0.01 cores=1,3,5,7
/proc/19720/stat : 19720 (pwbo1.1) S 19718 19720 19040 0 -1 4202496 917 0 0 0 1 0 0 0 25 0 3 0 910890105 138833920 847 33554432000 4194304 5714118 140737480490112 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19720/statm: 33895 847 172 372 0 33520 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 135580
[startup+0.100464 s]
/proc/loadavg: 3.83 3.94 3.83 3/179 19720
/proc/meminfo: memFree=10184388/32950928 swapFree=67055156/67111528
[pid=19720] ppid=19718 vsize=175752 CPUtime=0.18 cores=1,3,5,7
/proc/19720/stat : 19720 (pwbo1.1) S 19718 19720 19040 0 -1 4202496 14380 0 0 0 16 2 0 0 25 0 3 0 910890105 179970048 14227 33554432000 4194304 5714118 140737480490112 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19720/statm: 43938 14230 178 372 0 43563 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 175752
[startup+0.30043 s]
/proc/loadavg: 3.83 3.94 3.83 3/179 19720
/proc/meminfo: memFree=10184388/32950928 swapFree=67055156/67111528
[pid=19720] ppid=19718 vsize=181724 CPUtime=0.58 cores=1,3,5,7
/proc/19720/stat : 19720 (pwbo1.1) S 19718 19720 19040 0 -1 4202496 22411 0 0 0 55 3 0 0 25 0 3 0 910890105 186085376 22107 33554432000 4194304 5714118 140737480490112 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19720/statm: 45431 22107 178 372 0 45056 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 181724
[startup+0.700362 s]
/proc/loadavg: 3.83 3.94 3.83 3/179 19720
/proc/meminfo: memFree=10184388/32950928 swapFree=67055156/67111528
[pid=19720] ppid=19718 vsize=181724 CPUtime=1.38 cores=1,3,5,7
/proc/19720/stat : 19720 (pwbo1.1) S 19718 19720 19040 0 -1 4202496 23070 0 0 0 131 7 0 0 25 0 3 0 910890105 186085376 22683 33554432000 4194304 5714118 140737480490112 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19720/statm: 45431 22683 179 372 0 45056 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 181724
[startup+1.50022 s]
/proc/loadavg: 3.83 3.94 3.83 5/182 19723
/proc/meminfo: memFree=10092628/32950928 swapFree=67055156/67111528
[pid=19720] ppid=19718 vsize=181724 CPUtime=2.98 cores=1,3,5,7
/proc/19720/stat : 19720 (pwbo1.1) S 19718 19720 19040 0 -1 4202496 24122 0 0 0 286 12 0 0 25 0 3 0 910890105 186085376 23735 33554432000 4194304 5714118 140737480490112 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19720/statm: 45431 23735 179 372 0 45056 0
[pid=19720/tid=19722] ppid=19718 vsize=181724 CPUtime=1.48 cores=1,3,5,7
/proc/19720/task/19722/stat : 19722 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 2245 0 0 0 140 8 0 0 19 0 3 0 910890105 186085376 23735 33554432000 4194304 5714118 140737480490112 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=19720/tid=19723] ppid=19718 vsize=181724 CPUtime=1.48 cores=1,3,5,7
/proc/19720/task/19723/stat : 19723 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 21328 0 0 0 145 3 0 0 25 0 3 0 910890105 186085376 23735 33554432000 4194304 5714118 140737480490112 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 181724
[startup+3.10094 s]
/proc/loadavg: 3.83 3.94 3.83 5/182 19723
/proc/meminfo: memFree=10083016/32950928 swapFree=67055156/67111528
[pid=19720] ppid=19718 vsize=181860 CPUtime=6.18 cores=1,3,5,7
/proc/19720/stat : 19720 (pwbo1.1) S 19718 19720 19040 0 -1 4202496 26433 0 0 0 597 21 0 0 25 0 3 0 910890105 186224640 26017 33554432000 4194304 5714118 140737480490112 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19720/statm: 45465 26017 179 372 0 45090 0
[pid=19720/tid=19722] ppid=19718 vsize=181860 CPUtime=3.08 cores=1,3,5,7
/proc/19720/task/19722/stat : 19722 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 2994 0 0 0 292 16 0 0 25 0 3 0 910890105 186224640 26017 33554432000 4194304 5714118 140737480490112 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=19720/tid=19723] ppid=19718 vsize=181860 CPUtime=3.08 cores=1,3,5,7
/proc/19720/task/19723/stat : 19723 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 22890 0 0 0 304 4 0 0 25 0 3 0 910890105 186224640 26017 33554432000 4194304 5714118 140737480490112 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 181860
[startup+6.30037 s]
/proc/loadavg: 3.85 3.94 3.83 5/182 19724
/proc/meminfo: memFree=10073256/32950928 swapFree=67055156/67111528
[pid=19720] ppid=19718 vsize=182468 CPUtime=12.58 cores=1,3,5,7
/proc/19720/stat : 19720 (pwbo1.1) S 19718 19720 19040 0 -1 4202496 27503 0 0 0 1229 29 0 0 25 0 3 0 910890105 186847232 27087 33554432000 4194304 5714118 140737480490112 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19720/statm: 45617 27087 180 372 0 45242 0
[pid=19720/tid=19722] ppid=19718 vsize=182468 CPUtime=6.28 cores=1,3,5,7
/proc/19720/task/19722/stat : 19722 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 3865 0 0 0 604 24 0 0 25 0 3 0 910890105 186847232 27087 33554432000 4194304 5714118 140737480490112 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=19720/tid=19723] ppid=19718 vsize=182468 CPUtime=6.28 cores=1,3,5,7
/proc/19720/task/19723/stat : 19723 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 23089 0 0 0 623 5 0 0 25 0 3 0 910890105 186847232 27087 33554432000 4194304 5714118 140737480490112 18446744073709551615 4319088 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 182468
[startup+12.7002 s]
/proc/loadavg: 3.86 3.94 3.83 5/182 19724
/proc/meminfo: memFree=10054624/32950928 swapFree=67055156/67111528
[pid=19720] ppid=19718 vsize=182868 CPUtime=25.38 cores=1,3,5,7
/proc/19720/stat : 19720 (pwbo1.1) S 19718 19720 19040 0 -1 4202496 31586 0 0 0 2489 49 0 0 25 0 3 0 910890105 187256832 31170 33554432000 4194304 5714118 140737480490112 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19720/statm: 45717 31170 180 372 0 45342 0
[pid=19720/tid=19722] ppid=19718 vsize=182868 CPUtime=12.68 cores=1,3,5,7
/proc/19720/task/19722/stat : 19722 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 5441 0 0 0 1228 40 0 0 25 0 3 0 910890105 187256832 31170 33554432000 4194304 5714118 140737480490112 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=19720/tid=19723] ppid=19718 vsize=182868 CPUtime=12.68 cores=1,3,5,7
/proc/19720/task/19723/stat : 19723 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 25596 0 0 0 1260 8 0 0 25 0 3 0 910890105 187256832 31170 33554432000 4194304 5714118 140737480490112 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 182868
[startup+25.501 s]
/proc/loadavg: 3.89 3.94 3.83 5/182 19724
/proc/meminfo: memFree=10024756/32950928 swapFree=67055156/67111528
[pid=19720] ppid=19718 vsize=183220 CPUtime=50.98 cores=1,3,5,7
/proc/19720/stat : 19720 (pwbo1.1) S 19718 19720 19040 0 -1 4202496 34236 0 0 0 5021 77 0 0 25 0 3 0 910890105 187617280 33725 33554432000 4194304 5714118 140737480490112 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19720/statm: 45805 33725 180 372 0 45430 0
[pid=19720/tid=19722] ppid=19718 vsize=183220 CPUtime=25.48 cores=1,3,5,7
/proc/19720/task/19722/stat : 19722 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 8042 0 0 0 2492 56 0 0 25 0 3 0 910890105 187617280 33725 33554432000 4194304 5714118 140737480490112 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19720/tid=19723] ppid=19718 vsize=183220 CPUtime=25.48 cores=1,3,5,7
/proc/19720/task/19723/stat : 19723 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 25645 0 0 0 2527 21 0 0 25 0 3 0 910890105 187617280 33725 33554432000 4194304 5714118 140737480490112 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 183220
[startup+51.1005 s]
/proc/loadavg: 3.79 3.91 3.83 5/182 19806
/proc/meminfo: memFree=10854844/32950928 swapFree=67055156/67111528
[pid=19720] ppid=19718 vsize=184144 CPUtime=102.18 cores=1,3,5,7
/proc/19720/stat : 19720 (pwbo1.1) S 19718 19720 19040 0 -1 4202496 41034 0 0 0 10100 118 0 0 25 0 3 0 910890105 188563456 40523 33554432000 4194304 5714118 140737480490112 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19720/statm: 46036 40523 180 372 0 45661 0
[pid=19720/tid=19722] ppid=19718 vsize=184144 CPUtime=51.08 cores=1,3,5,7
/proc/19720/task/19722/stat : 19722 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 13818 0 0 0 5021 87 0 0 25 0 3 0 910890105 188563456 40523 33554432000 4194304 5714118 140737480490112 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19720/tid=19723] ppid=19718 vsize=184144 CPUtime=51.08 cores=1,3,5,7
/proc/19720/task/19723/stat : 19723 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 26667 0 0 0 5078 30 0 0 25 0 3 0 910890105 188563456 40523 33554432000 4194304 5714118 140737480490112 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 184144
[startup+102.306 s]
/proc/loadavg: 3.91 3.92 3.83 5/182 19807
/proc/meminfo: memFree=10749184/32950928 swapFree=67055156/67111528
[pid=19720] ppid=19718 vsize=316348 CPUtime=204.59 cores=1,3,5,7
/proc/19720/stat : 19720 (pwbo1.1) S 19718 19720 19040 0 -1 4202496 56835 0 0 0 20277 182 0 0 25 0 3 0 910890105 323940352 56268 33554432000 4194304 5714118 140737480490112 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19720/statm: 79087 56268 180 372 0 78712 0
[pid=19720/tid=19722] ppid=19718 vsize=316348 CPUtime=102.29 cores=1,3,5,7
/proc/19720/task/19722/stat : 19722 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 21864 0 0 0 10091 138 0 0 25 0 3 0 910890105 323940352 56268 33554432000 4194304 5714118 140737480490112 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19720/tid=19723] ppid=19718 vsize=316348 CPUtime=102.29 cores=1,3,5,7
/proc/19720/task/19723/stat : 19723 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 34422 0 0 0 10185 44 0 0 25 0 3 0 910890105 323940352 56268 33554432000 4194304 5714118 140737480490112 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 316348
[startup+162.301 s]
/proc/loadavg: 3.96 3.93 3.84 5/182 19809
/proc/meminfo: memFree=10669892/32950928 swapFree=67055156/67111528
[pid=19720] ppid=19718 vsize=317432 CPUtime=324.59 cores=1,3,5,7
/proc/19720/stat : 19720 (pwbo1.1) S 19718 19720 19040 0 -1 4202496 67894 0 0 0 32211 248 0 0 25 0 3 0 910890105 325050368 67327 33554432000 4194304 5714118 140737480490112 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19720/statm: 79358 67327 180 372 0 78983 0
[pid=19720/tid=19722] ppid=19718 vsize=317432 CPUtime=162.28 cores=1,3,5,7
/proc/19720/task/19722/stat : 19722 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 24892 0 0 0 16038 190 0 0 25 0 3 0 910890105 325050368 67327 33554432000 4194304 5714118 140737480490112 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19720/tid=19723] ppid=19718 vsize=317432 CPUtime=162.29 cores=1,3,5,7
/proc/19720/task/19723/stat : 19723 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 42453 0 0 0 16172 57 0 0 25 0 3 0 910890105 325050368 67327 33554432000 4194304 5714118 140737480490112 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 317432
[startup+222.3 s]
/proc/loadavg: 3.98 3.94 3.84 5/182 19810
/proc/meminfo: memFree=10571160/32950928 swapFree=67055156/67111528
[pid=19720] ppid=19718 vsize=450252 CPUtime=444.58 cores=1,3,5,7
/proc/19720/stat : 19720 (pwbo1.1) S 19718 19720 19040 0 -1 4202496 86341 0 0 0 44157 301 0 0 25 0 3 0 910890105 461058048 85774 33554432000 4194304 5714118 140737480490112 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19720/statm: 112563 85774 180 372 0 112188 0
[pid=19720/tid=19722] ppid=19718 vsize=450252 CPUtime=222.28 cores=1,3,5,7
/proc/19720/task/19722/stat : 19722 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 35850 0 0 0 21996 232 0 0 25 0 3 0 910890105 461058048 85774 33554432000 4194304 5714118 140737480490112 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19720/tid=19723] ppid=19718 vsize=450252 CPUtime=222.28 cores=1,3,5,7
/proc/19720/task/19723/stat : 19723 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 49942 0 0 0 22160 68 0 0 25 0 3 0 910890105 461058048 85774 33554432000 4194304 5714118 140737480490112 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.58
Current children cumulated vsize (KiB) 450252
[startup+282.301 s]
/proc/loadavg: 3.99 3.95 3.85 5/182 19812
/proc/meminfo: memFree=10491880/32950928 swapFree=67055156/67111528
[pid=19720] ppid=19718 vsize=450988 CPUtime=564.59 cores=1,3,5,7
/proc/19720/stat : 19720 (pwbo1.1) S 19718 19720 19040 0 -1 4202496 100524 0 0 0 56109 350 0 0 25 0 3 0 910890105 461811712 99957 33554432000 4194304 5714118 140737480490112 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19720/statm: 112747 99957 180 372 0 112372 0
[pid=19720/tid=19722] ppid=19718 vsize=450988 CPUtime=282.28 cores=1,3,5,7
/proc/19720/task/19722/stat : 19722 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 42764 0 0 0 27961 267 0 0 25 0 3 0 910890105 461811712 99957 33554432000 4194304 5714118 140737480490112 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19720/tid=19723] ppid=19718 vsize=450988 CPUtime=282.29 cores=1,3,5,7
/proc/19720/task/19723/stat : 19723 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 57211 0 0 0 28147 82 0 0 25 0 3 0 910890105 461811712 99957 33554432000 4194304 5714118 140737480490112 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 450988
[startup+342.301 s]
/proc/loadavg: 3.99 3.96 3.85 5/182 19814
/proc/meminfo: memFree=10421156/32950928 swapFree=67055156/67111528
[pid=19720] ppid=19718 vsize=583348 CPUtime=684.6 cores=1,3,5,7
/proc/19720/stat : 19720 (pwbo1.1) S 19718 19720 19040 0 -1 4202496 117014 0 0 0 68064 396 0 0 25 0 3 0 910890105 597348352 116447 33554432000 4194304 5714118 140737480490112 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19720/statm: 145837 116447 180 372 0 145462 0
[pid=19720/tid=19722] ppid=19718 vsize=583348 CPUtime=342.28 cores=1,3,5,7
/proc/19720/task/19722/stat : 19722 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 52660 0 0 0 33925 303 0 0 25 0 3 0 910890105 597348352 116447 33554432000 4194304 5714118 140737480490112 18446744073709551615 4319307 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19720/tid=19723] ppid=19718 vsize=583348 CPUtime=342.29 cores=1,3,5,7
/proc/19720/task/19723/stat : 19723 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 63805 0 0 0 34137 92 0 0 25 0 3 0 910890105 597348352 116447 33554432000 4194304 5714118 140737480490112 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 583348
[startup+402.3 s]
/proc/loadavg: 4.05 3.98 3.86 5/182 19815
/proc/meminfo: memFree=10375112/32950928 swapFree=67055156/67111528
[pid=19720] ppid=19718 vsize=583992 CPUtime=804.6 cores=1,3,5,7
/proc/19720/stat : 19720 (pwbo1.1) S 19718 19720 19040 0 -1 4202496 127927 0 0 0 80025 435 0 0 25 0 3 0 910890105 598007808 127357 33554432000 4194304 5714118 140737480490112 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19720/statm: 145998 127357 180 372 0 145623 0
[pid=19720/tid=19722] ppid=19718 vsize=583992 CPUtime=402.29 cores=1,3,5,7
/proc/19720/task/19722/stat : 19722 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 57449 0 0 0 39898 331 0 0 25 0 3 0 910890105 598007808 127357 33554432000 4194304 5714118 140737480490112 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19720/tid=19723] ppid=19718 vsize=583992 CPUtime=402.29 cores=1,3,5,7
/proc/19720/task/19723/stat : 19723 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 69929 0 0 0 40126 103 0 0 25 0 3 0 910890105 598007808 127357 33554432000 4194304 5714118 140737480490112 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 583992
[startup+462.301 s]
/proc/loadavg: 4.02 3.98 3.87 5/182 19817
/proc/meminfo: memFree=10321120/32950928 swapFree=67055156/67111528
[pid=19720] ppid=19718 vsize=584620 CPUtime=924.61 cores=1,3,5,7
/proc/19720/stat : 19720 (pwbo1.1) S 19718 19720 19040 0 -1 4202496 140739 0 0 0 91984 477 0 0 25 0 3 0 910890105 598650880 140169 33554432000 4194304 5714118 140737480490112 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19720/statm: 146155 140169 180 372 0 145780 0
[pid=19720/tid=19722] ppid=19718 vsize=584620 CPUtime=462.29 cores=1,3,5,7
/proc/19720/task/19722/stat : 19722 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 64280 0 0 0 45865 364 0 0 25 0 3 0 910890105 598650880 140169 33554432000 4194304 5714118 140737480490112 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19720/tid=19723] ppid=19718 vsize=584620 CPUtime=462.3 cores=1,3,5,7
/proc/19720/task/19723/stat : 19723 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 75910 0 0 0 46118 112 0 0 25 0 3 0 910890105 598650880 140169 33554432000 4194304 5714118 140737480490112 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 924.61
Current children cumulated vsize (KiB) 584620
[startup+522.3 s]
/proc/loadavg: 4.04 3.99 3.88 5/182 19818
/proc/meminfo: memFree=10263544/32950928 swapFree=67055156/67111528
[pid=19720] ppid=19718 vsize=716608 CPUtime=1044.61 cores=1,3,5,7
/proc/19720/stat : 19720 (pwbo1.1) S 19718 19720 19040 0 -1 4202496 154311 0 0 0 103940 521 0 0 25 0 3 0 910890105 733806592 153741 33554432000 4194304 5714118 140737480490112 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19720/statm: 179152 153741 180 372 0 178777 0
[pid=19720/tid=19722] ppid=19718 vsize=716608 CPUtime=522.29 cores=1,3,5,7
/proc/19720/task/19722/stat : 19722 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 72770 0 0 0 51830 399 0 0 25 0 3 0 910890105 733806592 153741 33554432000 4194304 5714118 140737480490112 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19720/tid=19723] ppid=19718 vsize=716608 CPUtime=522.29 cores=1,3,5,7
/proc/19720/task/19723/stat : 19723 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 80992 0 0 0 52108 121 0 0 25 0 3 0 910890105 733806592 153741 33554432000 4194304 5714118 140737480490112 18446744073709551615 4311516 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 716608
[startup+582.301 s]
/proc/loadavg: 4.01 3.99 3.89 5/182 19820
/proc/meminfo: memFree=10198020/32950928 swapFree=67055156/67111528
[pid=19720] ppid=19718 vsize=718876 CPUtime=1164.61 cores=1,3,5,7
/proc/19720/stat : 19720 (pwbo1.1) S 19718 19720 19040 0 -1 4202496 167012 0 0 0 115892 569 0 0 25 0 3 0 910890105 736129024 166442 33554432000 4194304 5714118 140737480490112 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19720/statm: 179719 166442 180 372 0 179344 0
[pid=19720/tid=19722] ppid=19718 vsize=718876 CPUtime=582.29 cores=1,3,5,7
/proc/19720/task/19722/stat : 19722 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 79311 0 0 0 57794 435 0 0 25 0 3 0 910890105 736129024 166442 33554432000 4194304 5714118 140737480490112 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19720/tid=19723] ppid=19718 vsize=718876 CPUtime=582.29 cores=1,3,5,7
/proc/19720/task/19723/stat : 19723 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 87152 0 0 0 58096 133 0 0 25 0 3 0 910890105 736129024 166442 33554432000 4194304 5714118 140737480490112 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 718876
[startup+642.301 s]
/proc/loadavg: 4.00 3.99 3.89 5/182 19822
/proc/meminfo: memFree=10124196/32950928 swapFree=67055156/67111528
[pid=19720] ppid=19718 vsize=784940 CPUtime=1284.62 cores=1,3,5,7
/proc/19720/stat : 19720 (pwbo1.1) S 19718 19720 19040 0 -1 4202496 178284 0 0 0 127849 613 0 0 25 0 3 0 910890105 803778560 177714 33554432000 4194304 5714118 140737480490112 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19720/statm: 196235 177714 180 372 0 195860 0
[pid=19720/tid=19722] ppid=19718 vsize=784940 CPUtime=642.3 cores=1,3,5,7
/proc/19720/task/19722/stat : 19722 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 85576 0 0 0 63761 469 0 0 25 0 3 0 910890105 803778560 177714 33554432000 4194304 5714118 140737480490112 18446744073709551615 4319720 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19720/tid=19723] ppid=19718 vsize=784940 CPUtime=642.3 cores=1,3,5,7
/proc/19720/task/19723/stat : 19723 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 92159 0 0 0 64087 143 0 0 25 0 3 0 910890105 803778560 177714 33554432000 4194304 5714118 140737480490112 18446744073709551615 4319720 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.62
Current children cumulated vsize (KiB) 784940
[startup+702.3 s]
/proc/loadavg: 4.00 3.99 3.90 5/182 19823
/proc/meminfo: memFree=10081852/32950928 swapFree=67055156/67111528
[pid=19720] ppid=19718 vsize=785200 CPUtime=1404.61 cores=1,3,5,7
/proc/19720/stat : 19720 (pwbo1.1) S 19718 19720 19040 0 -1 4202496 187029 0 0 0 139804 657 0 0 25 0 3 0 910890105 804044800 186459 33554432000 4194304 5714118 140737480490112 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19720/statm: 196300 186460 180 372 0 195925 0
[pid=19720/tid=19722] ppid=19718 vsize=785200 CPUtime=702.29 cores=1,3,5,7
/proc/19720/task/19722/stat : 19722 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 93867 0 0 0 69726 503 0 0 25 0 3 0 910890105 804044800 186460 33554432000 4194304 5714118 140737480490112 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19720/tid=19723] ppid=19718 vsize=785200 CPUtime=702.3 cores=1,3,5,7
/proc/19720/task/19723/stat : 19723 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 92614 0 0 0 70077 153 0 0 25 0 3 0 910890105 804044800 186460 33554432000 4194304 5714118 140737480490112 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1404.61
Current children cumulated vsize (KiB) 785200
[startup+762.307 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 19825
/proc/meminfo: memFree=10044468/32950928 swapFree=67055156/67111528
[pid=19720] ppid=19718 vsize=850872 CPUtime=1524.63 cores=1,3,5,7
/proc/19720/stat : 19720 (pwbo1.1) S 19718 19720 19040 0 -1 4202496 192337 0 0 0 151768 695 0 0 25 0 3 0 910890105 871292928 191767 33554432000 4194304 5714118 140737480490112 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19720/statm: 212718 191767 180 372 0 212343 0
[pid=19720/tid=19722] ppid=19718 vsize=850872 CPUtime=762.3 cores=1,3,5,7
/proc/19720/task/19722/stat : 19722 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 99164 0 0 0 75695 535 0 0 25 0 3 0 910890105 871292928 191767 33554432000 4194304 5714118 140737480490112 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19720/tid=19723] ppid=19718 vsize=850872 CPUtime=762.3 cores=1,3,5,7
/proc/19720/task/19723/stat : 19723 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 92624 0 0 0 76071 159 0 0 25 0 3 0 910890105 871292928 191767 33554432000 4194304 5714118 140737480490112 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1524.63
Current children cumulated vsize (KiB) 850872
[startup+822.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 19826
/proc/meminfo: memFree=9981828/32950928 swapFree=67055156/67111528
[pid=19720] ppid=19718 vsize=851004 CPUtime=1644.62 cores=1,3,5,7
/proc/19720/stat : 19720 (pwbo1.1) S 19718 19720 19040 0 -1 4202496 199074 0 0 0 163722 740 0 0 25 0 3 0 910890105 871428096 198504 33554432000 4194304 5714118 140737480490112 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19720/statm: 212751 198504 180 372 0 212376 0
[pid=19720/tid=19722] ppid=19718 vsize=851004 CPUtime=822.3 cores=1,3,5,7
/proc/19720/task/19722/stat : 19722 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 105853 0 0 0 81655 575 0 0 25 0 3 0 910890105 871428096 198504 33554432000 4194304 5714118 140737480490112 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19720/tid=19723] ppid=19718 vsize=851004 CPUtime=822.3 cores=1,3,5,7
/proc/19720/task/19723/stat : 19723 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 92672 0 0 0 82066 164 0 0 25 0 3 0 910890105 871428096 198504 33554432000 4194304 5714118 140737480490112 18446744073709551615 4322586 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1644.62
Current children cumulated vsize (KiB) 851004
[startup+882.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 19828
/proc/meminfo: memFree=9938128/32950928 swapFree=67055156/67111528
[pid=19720] ppid=19718 vsize=851192 CPUtime=1764.61 cores=1,3,5,7
/proc/19720/stat : 19720 (pwbo1.1) S 19718 19720 19040 0 -1 4202496 206526 0 0 0 175681 780 0 0 25 0 3 0 910890105 871620608 205954 33554432000 4194304 5714118 140737480490112 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19720/statm: 212798 205954 180 372 0 212423 0
[pid=19720/tid=19722] ppid=19718 vsize=851192 CPUtime=882.3 cores=1,3,5,7
/proc/19720/task/19722/stat : 19722 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 113254 0 0 0 87619 611 0 0 25 0 3 0 910890105 871620608 205954 33554432000 4194304 5714118 140737480490112 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19720/tid=19723] ppid=19718 vsize=851192 CPUtime=882.31 cores=1,3,5,7
/proc/19720/task/19723/stat : 19723 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 92723 0 0 0 88062 169 0 0 25 0 3 0 910890105 871620608 205954 33554432000 4194304 5714118 140737480490112 18446744073709551615 4313432 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.61
Current children cumulated vsize (KiB) 851192
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 19828
/proc/meminfo: memFree=9929052/32950928 swapFree=67055156/67111528
[pid=19720] ppid=19718 vsize=916868 CPUtime=1800.03 cores=1,3,5,7
/proc/19720/stat : 19720 (pwbo1.1) S 19718 19720 19040 0 -1 4202496 208421 0 0 0 179212 791 0 0 25 0 3 0 910890105 938872832 207849 33554432000 4194304 5714118 140737480490112 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/19720/statm: 229217 207849 180 372 0 228842 0
[pid=19720/tid=19722] ppid=19718 vsize=916868 CPUtime=900 cores=1,3,5,7
/proc/19720/task/19722/stat : 19722 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 115134 0 0 0 89379 621 0 0 25 0 3 0 910890105 938872832 207849 33554432000 4194304 5714118 140737480490112 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=19720/tid=19723] ppid=19718 vsize=916868 CPUtime=900.01 cores=1,3,5,7
/proc/19720/task/19723/stat : 19723 (pwbo1.1) R 19718 19720 19040 0 -1 4202560 92738 0 0 0 89831 170 0 0 25 0 3 0 910890105 938872832 207849 33554432000 4194304 5714118 140737480490112 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 916868
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.09
CPU user time (s): 1792.13
CPU system time (s): 7.95679
CPU usage (%): 199.999
Max. virtual memory (cumulated for all children) (KiB): 916868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.13
system time used= 7.95679
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208426
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= 328
involuntary context switches= 1797
runsolver used 1.61475 second user time and 3.2645 second system time
The end