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-3500164-1307992060/watcher-3500164-1307992060 -o /var/tmp/evaluation-result-3500164-1307992060/solver-3500164-1307992060 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500164-1307992060.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: 3.84 3.87 3.22 4/179 11425
/proc/meminfo: memFree=12352436/32951124 swapFree=67055716/67111528
[pid=11425] ppid=11423 vsize=2872 CPUtime=0 cores=0,2,4,6
/proc/11425/stat : 11425 (pwbo1.1) R 11423 11425 11028 0 -1 4202496 421 0 0 0 0 0 0 0 25 0 1 0 643397260 2940928 373 33554432000 4194304 5714118 140736523030976 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11425/statm: 718 373 167 372 0 254 0
[startup+0.087623 s]
/proc/loadavg: 3.84 3.87 3.22 4/179 11425
/proc/meminfo: memFree=12352436/32951124 swapFree=67055716/67111528
[pid=11425] ppid=11423 vsize=173888 CPUtime=0.14 cores=0,2,4,6
/proc/11425/stat : 11425 (pwbo1.1) S 11423 11425 11028 0 -1 4202496 10011 0 0 0 12 2 0 0 18 0 3 0 643397260 178061312 9844 33554432000 4194304 5714118 140736523030976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11425/statm: 43472 9849 180 372 0 43097 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 173888
[startup+0.100561 s]
/proc/loadavg: 3.84 3.87 3.22 4/179 11425
/proc/meminfo: memFree=12352436/32951124 swapFree=67055716/67111528
[pid=11425] ppid=11423 vsize=174428 CPUtime=0.16 cores=0,2,4,6
/proc/11425/stat : 11425 (pwbo1.1) S 11423 11425 11028 0 -1 4202496 11267 0 0 0 14 2 0 0 18 0 3 0 643397260 178614272 11100 33554432000 4194304 5714118 140736523030976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11425/statm: 43607 11105 180 372 0 43232 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 174428
[startup+0.300575 s]
/proc/loadavg: 3.84 3.87 3.22 4/179 11425
/proc/meminfo: memFree=12352436/32951124 swapFree=67055716/67111528
[pid=11425] ppid=11423 vsize=179824 CPUtime=0.56 cores=0,2,4,6
/proc/11425/stat : 11425 (pwbo1.1) S 11423 11425 11028 0 -1 4202496 18851 0 0 0 51 5 0 0 18 0 3 0 643397260 184139776 18607 33554432000 4194304 5714118 140736523030976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11425/statm: 44956 18607 181 372 0 44581 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 179824
[startup+0.700509 s]
/proc/loadavg: 3.84 3.87 3.22 4/179 11425
/proc/meminfo: memFree=12352436/32951124 swapFree=67055716/67111528
[pid=11425] ppid=11423 vsize=179824 CPUtime=1.37 cores=0,2,4,6
/proc/11425/stat : 11425 (pwbo1.1) S 11423 11425 11028 0 -1 4202496 19158 0 0 0 129 8 0 0 18 0 3 0 643397260 184139776 18913 33554432000 4194304 5714118 140736523030976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11425/statm: 44956 18913 181 372 0 44581 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 179824
[startup+1.50037 s]
/proc/loadavg: 3.84 3.87 3.22 5/182 11468
/proc/meminfo: memFree=12252740/32951124 swapFree=67055716/67111528
[pid=11425] ppid=11423 vsize=179824 CPUtime=2.96 cores=0,2,4,6
/proc/11425/stat : 11425 (pwbo1.1) S 11423 11425 11028 0 -1 4202496 20235 0 0 0 285 11 0 0 18 0 3 0 643397260 184139776 19990 33554432000 4194304 5714118 140736523030976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11425/statm: 44956 19990 181 372 0 44581 0
[pid=11425/tid=11427] ppid=11423 vsize=179824 CPUtime=1.47 cores=0,2,4,6
/proc/11425/task/11427/stat : 11427 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 2093 0 0 0 141 6 0 0 19 0 3 0 643397263 184139776 19990 33554432000 4194304 5714118 140736523030976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11425/tid=11428] ppid=11423 vsize=179824 CPUtime=1.46 cores=0,2,4,6
/proc/11425/task/11428/stat : 11428 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 17409 0 0 0 141 5 0 0 23 0 3 0 643397263 184139776 19990 33554432000 4194304 5714118 140736523030976 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 179824
[startup+3.10106 s]
/proc/loadavg: 3.84 3.87 3.22 5/182 11468
/proc/meminfo: memFree=12218144/32951124 swapFree=67055716/67111528
[pid=11425] ppid=11423 vsize=180100 CPUtime=6.16 cores=0,2,4,6
/proc/11425/stat : 11425 (pwbo1.1) S 11423 11425 11028 0 -1 4202496 22180 0 0 0 600 16 0 0 18 0 3 0 643397260 184422400 21908 33554432000 4194304 5714118 140736523030976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11425/statm: 45025 21908 181 372 0 44650 0
[pid=11425/tid=11427] ppid=11423 vsize=180100 CPUtime=3.06 cores=0,2,4,6
/proc/11425/task/11427/stat : 11427 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 2769 0 0 0 297 9 0 0 19 0 3 0 643397263 184422400 21908 33554432000 4194304 5714118 140736523030976 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=11425/tid=11428] ppid=11423 vsize=180100 CPUtime=3.07 cores=0,2,4,6
/proc/11425/task/11428/stat : 11428 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 18678 0 0 0 301 6 0 0 25 0 3 0 643397263 184422400 21908 33554432000 4194304 5714118 140736523030976 18446744073709551615 4320026 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 180100
[startup+6.30053 s]
/proc/loadavg: 3.85 3.87 3.22 5/182 11469
/proc/meminfo: memFree=12180640/32951124 swapFree=67055716/67111528
[pid=11425] ppid=11423 vsize=180100 CPUtime=12.56 cores=0,2,4,6
/proc/11425/stat : 11425 (pwbo1.1) S 11423 11425 11028 0 -1 4202496 27068 0 0 0 1226 30 0 0 18 0 3 0 643397260 184422400 26796 33554432000 4194304 5714118 140736523030976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11425/statm: 45025 26796 181 372 0 44650 0
[pid=11425/tid=11427] ppid=11423 vsize=180100 CPUtime=6.26 cores=0,2,4,6
/proc/11425/task/11427/stat : 11427 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 4845 0 0 0 604 22 0 0 19 0 3 0 643397263 184422400 26797 33554432000 4194304 5714118 140736523030976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11425/tid=11428] ppid=11423 vsize=180100 CPUtime=6.26 cores=0,2,4,6
/proc/11425/task/11428/stat : 11428 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 21491 0 0 0 618 8 0 0 25 0 3 0 643397263 184422400 26797 33554432000 4194304 5714118 140736523030976 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 180100
[startup+12.7004 s]
/proc/loadavg: 3.86 3.87 3.23 5/182 11469
/proc/meminfo: memFree=12140224/32951124 swapFree=67055716/67111528
[pid=11425] ppid=11423 vsize=180100 CPUtime=25.36 cores=0,2,4,6
/proc/11425/stat : 11425 (pwbo1.1) S 11423 11425 11028 0 -1 4202496 31215 0 0 0 2486 50 0 0 18 0 3 0 643397260 184422400 30654 33554432000 4194304 5714118 140736523030976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11425/statm: 45025 30654 182 372 0 44650 0
[pid=11425/tid=11427] ppid=11423 vsize=180100 CPUtime=12.66 cores=0,2,4,6
/proc/11425/task/11427/stat : 11427 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 7163 0 0 0 1228 38 0 0 25 0 3 0 643397263 184422400 30654 33554432000 4194304 5714118 140736523030976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11425/tid=11428] ppid=11423 vsize=180100 CPUtime=12.66 cores=0,2,4,6
/proc/11425/task/11428/stat : 11428 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 23319 0 0 0 1255 11 0 0 25 0 3 0 643397263 184422400 30654 33554432000 4194304 5714118 140736523030976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 180100
[startup+25.5011 s]
/proc/loadavg: 3.89 3.88 3.24 5/182 11469
/proc/meminfo: memFree=12095324/32951124 swapFree=67055716/67111528
[pid=11425] ppid=11423 vsize=245852 CPUtime=50.96 cores=0,2,4,6
/proc/11425/stat : 11425 (pwbo1.1) S 11423 11425 11028 0 -1 4202496 39974 0 0 0 5008 88 0 0 18 0 3 0 643397260 251752448 39413 33554432000 4194304 5714118 140736523030976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11425/statm: 61463 39413 182 372 0 61088 0
[pid=11425/tid=11427] ppid=11423 vsize=245852 CPUtime=25.46 cores=0,2,4,6
/proc/11425/task/11427/stat : 11427 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 12651 0 0 0 2477 69 0 0 18 0 3 0 643397263 251752448 39413 33554432000 4194304 5714118 140736523030976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11425/tid=11428] ppid=11423 vsize=245852 CPUtime=25.46 cores=0,2,4,6
/proc/11425/task/11428/stat : 11428 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 26590 0 0 0 2528 18 0 0 25 0 3 0 643397263 251752448 39413 33554432000 4194304 5714118 140736523030976 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 245852
[startup+51.1006 s]
/proc/loadavg: 3.93 3.89 3.26 5/182 11470
/proc/meminfo: memFree=11987028/32951124 swapFree=67055716/67111528
[pid=11425] ppid=11423 vsize=311736 CPUtime=102.16 cores=0,2,4,6
/proc/11425/stat : 11425 (pwbo1.1) S 11423 11425 11028 0 -1 4202496 55358 0 0 0 10076 140 0 0 18 0 3 0 643397260 319217664 54797 33554432000 4194304 5714118 140736523030976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11425/statm: 77934 54797 182 372 0 77559 0
[pid=11425/tid=11427] ppid=11423 vsize=311736 CPUtime=51.06 cores=0,2,4,6
/proc/11425/task/11427/stat : 11427 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 19656 0 0 0 5001 105 0 0 22 0 3 0 643397263 319217664 54797 33554432000 4194304 5714118 140736523030976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11425/tid=11428] ppid=11423 vsize=311736 CPUtime=51.06 cores=0,2,4,6
/proc/11425/task/11428/stat : 11428 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 34969 0 0 0 5072 34 0 0 25 0 3 0 643397263 319217664 54797 33554432000 4194304 5714118 140736523030976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 311736
[startup+102.307 s]
/proc/loadavg: 3.97 3.90 3.29 5/182 11471
/proc/meminfo: memFree=11860280/32951124 swapFree=67055716/67111528
[pid=11425] ppid=11423 vsize=377648 CPUtime=204.58 cores=0,2,4,6
/proc/11425/stat : 11425 (pwbo1.1) S 11423 11425 11028 0 -1 4202496 72052 0 0 0 20236 222 0 0 18 0 3 0 643397260 386711552 71491 33554432000 4194304 5714118 140736523030976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11425/statm: 94412 71491 182 372 0 94037 0
[pid=11425/tid=11427] ppid=11423 vsize=377648 CPUtime=102.26 cores=0,2,4,6
/proc/11425/task/11427/stat : 11427 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 29472 0 0 0 10065 161 0 0 25 0 3 0 643397263 386711552 71491 33554432000 4194304 5714118 140736523030976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11425/tid=11428] ppid=11423 vsize=377648 CPUtime=102.27 cores=0,2,4,6
/proc/11425/task/11428/stat : 11428 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 41847 0 0 0 10167 60 0 0 25 0 3 0 643397263 386711552 71491 33554432000 4194304 5714118 140736523030976 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.58
Current children cumulated vsize (KiB) 377648
[startup+162.301 s]
/proc/loadavg: 3.99 3.92 3.33 5/182 11473
/proc/meminfo: memFree=11671136/32951124 swapFree=67055716/67111528
[pid=11425] ppid=11423 vsize=509404 CPUtime=324.56 cores=0,2,4,6
/proc/11425/stat : 11425 (pwbo1.1) S 11423 11425 11028 0 -1 4202496 102951 0 0 0 32130 326 0 0 18 0 3 0 643397260 521629696 102390 33554432000 4194304 5714118 140736523030976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11425/statm: 127351 102390 182 372 0 126976 0
[pid=11425/tid=11427] ppid=11423 vsize=509404 CPUtime=162.26 cores=0,2,4,6
/proc/11425/task/11427/stat : 11427 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 43531 0 0 0 15990 236 0 0 25 0 3 0 643397263 521629696 102390 33554432000 4194304 5714118 140736523030976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11425/tid=11428] ppid=11423 vsize=509404 CPUtime=162.27 cores=0,2,4,6
/proc/11425/task/11428/stat : 11428 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 58687 0 0 0 16138 89 0 0 25 0 3 0 643397263 521629696 102390 33554432000 4194304 5714118 140736523030976 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 324.56
Current children cumulated vsize (KiB) 509404
[startup+222.3 s]
/proc/loadavg: 4.05 3.94 3.38 5/182 11474
/proc/meminfo: memFree=11550084/32951124 swapFree=67055716/67111528
[pid=11425] ppid=11423 vsize=575732 CPUtime=444.57 cores=0,2,4,6
/proc/11425/stat : 11425 (pwbo1.1) S 11423 11425 11028 0 -1 4202496 121458 0 0 0 44070 387 0 0 18 0 3 0 643397260 589549568 120897 33554432000 4194304 5714118 140736523030976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11425/statm: 143933 120897 182 372 0 143558 0
[pid=11425/tid=11427] ppid=11423 vsize=575732 CPUtime=222.26 cores=0,2,4,6
/proc/11425/task/11427/stat : 11427 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 49472 0 0 0 21950 276 0 0 25 0 3 0 643397263 589549568 120897 33554432000 4194304 5714118 140736523030976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11425/tid=11428] ppid=11423 vsize=575732 CPUtime=222.27 cores=0,2,4,6
/proc/11425/task/11428/stat : 11428 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 71253 0 0 0 22117 110 0 0 25 0 3 0 643397263 589549568 120897 33554432000 4194304 5714118 140736523030976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 444.57
Current children cumulated vsize (KiB) 575732
[startup+282.301 s]
/proc/loadavg: 4.02 3.95 3.41 5/182 11476
/proc/meminfo: memFree=11472680/32951124 swapFree=67055716/67111528
[pid=11425] ppid=11423 vsize=575864 CPUtime=564.57 cores=0,2,4,6
/proc/11425/stat : 11425 (pwbo1.1) S 11423 11425 11028 0 -1 4202496 128583 0 0 0 56002 455 0 0 18 0 3 0 643397260 589684736 128022 33554432000 4194304 5714118 140736523030976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11425/statm: 143966 128022 182 372 0 143591 0
[pid=11425/tid=11427] ppid=11423 vsize=575864 CPUtime=282.26 cores=0,2,4,6
/proc/11425/task/11427/stat : 11427 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 56559 0 0 0 27901 325 0 0 25 0 3 0 643397263 589684736 128022 33554432000 4194304 5714118 140736523030976 18446744073709551615 4319249 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11425/tid=11428] ppid=11423 vsize=575864 CPUtime=282.27 cores=0,2,4,6
/proc/11425/task/11428/stat : 11428 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 71291 0 0 0 28098 129 0 0 25 0 3 0 643397263 589684736 128022 33554432000 4194304 5714118 140736523030976 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 564.57
Current children cumulated vsize (KiB) 575864
[startup+342.301 s]
/proc/loadavg: 4.00 3.95 3.45 5/182 11477
/proc/meminfo: memFree=11333388/32951124 swapFree=67055716/67111528
[pid=11425] ppid=11423 vsize=707924 CPUtime=684.57 cores=0,2,4,6
/proc/11425/stat : 11425 (pwbo1.1) S 11423 11425 11028 0 -1 4202496 151077 0 0 0 67918 539 0 0 18 0 3 0 643397260 724914176 150516 33554432000 4194304 5714118 140736523030976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11425/statm: 176981 150516 182 372 0 176606 0
[pid=11425/tid=11427] ppid=11423 vsize=707924 CPUtime=342.27 cores=0,2,4,6
/proc/11425/task/11427/stat : 11427 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 65747 0 0 0 33836 391 0 0 25 0 3 0 643397263 724914176 150516 33554432000 4194304 5714118 140736523030976 18446744073709551615 4197393 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11425/tid=11428] ppid=11423 vsize=707924 CPUtime=342.27 cores=0,2,4,6
/proc/11425/task/11428/stat : 11428 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 84597 0 0 0 34079 148 0 0 25 0 3 0 643397263 724914176 150516 33554432000 4194304 5714118 140736523030976 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 684.57
Current children cumulated vsize (KiB) 707924
[startup+402.301 s]
/proc/loadavg: 4.00 3.96 3.48 5/182 11479
/proc/meminfo: memFree=11264136/32951124 swapFree=67055716/67111528
[pid=11425] ppid=11423 vsize=707752 CPUtime=804.57 cores=0,2,4,6
/proc/11425/stat : 11425 (pwbo1.1) S 11423 11425 11028 0 -1 4202496 157034 0 0 0 79840 617 0 0 18 0 3 0 643397260 724738048 156285 33554432000 4194304 5714118 140736523030976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11425/statm: 176938 156285 182 372 0 176563 0
[pid=11425/tid=11427] ppid=11423 vsize=707752 CPUtime=402.26 cores=0,2,4,6
/proc/11425/task/11427/stat : 11427 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 71645 0 0 0 39773 453 0 0 25 0 3 0 643397263 724738048 156285 33554432000 4194304 5714118 140736523030976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11425/tid=11428] ppid=11423 vsize=707752 CPUtime=402.27 cores=0,2,4,6
/proc/11425/task/11428/stat : 11428 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 84656 0 0 0 40064 163 0 0 25 0 3 0 643397263 724738048 156285 33554432000 4194304 5714118 140736523030976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 804.57
Current children cumulated vsize (KiB) 707752
[startup+462.301 s]
/proc/loadavg: 4.07 3.98 3.51 5/182 11481
/proc/meminfo: memFree=11215240/32951124 swapFree=67055716/67111528
[pid=11425] ppid=11423 vsize=708068 CPUtime=924.57 cores=0,2,4,6
/proc/11425/stat : 11425 (pwbo1.1) S 11423 11425 11028 0 -1 4202496 159503 0 0 0 91791 666 0 0 18 0 3 0 643397260 725061632 158754 33554432000 4194304 5714118 140736523030976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11425/statm: 177017 158754 182 372 0 176642 0
[pid=11425/tid=11427] ppid=11423 vsize=708068 CPUtime=462.27 cores=0,2,4,6
/proc/11425/task/11427/stat : 11427 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 71819 0 0 0 45738 489 0 0 25 0 3 0 643397263 725061632 158754 33554432000 4194304 5714118 140736523030976 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=11425/tid=11428] ppid=11423 vsize=708068 CPUtime=462.27 cores=0,2,4,6
/proc/11425/task/11428/stat : 11428 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 86951 0 0 0 46050 177 0 0 25 0 3 0 643397263 725061632 158754 33554432000 4194304 5714118 140736523030976 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 924.57
Current children cumulated vsize (KiB) 708068
[startup+522.3 s]
/proc/loadavg: 4.02 3.98 3.54 5/182 11482
/proc/meminfo: memFree=11176896/32951124 swapFree=67055716/67111528
[pid=11425] ppid=11423 vsize=708204 CPUtime=1044.57 cores=0,2,4,6
/proc/11425/stat : 11425 (pwbo1.1) S 11423 11425 11028 0 -1 4202496 159701 0 0 0 103753 704 0 0 18 0 3 0 643397260 725200896 158952 33554432000 4194304 5714118 140736523030976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11425/statm: 177051 158952 182 372 0 176676 0
[pid=11425/tid=11427] ppid=11423 vsize=708204 CPUtime=522.27 cores=0,2,4,6
/proc/11425/task/11427/stat : 11427 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 71984 0 0 0 51711 516 0 0 25 0 3 0 643397263 725200896 158952 33554432000 4194304 5714118 140736523030976 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 6 0 0 0
[pid=11425/tid=11428] ppid=11423 vsize=708204 CPUtime=522.27 cores=0,2,4,6
/proc/11425/task/11428/stat : 11428 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 86984 0 0 0 52039 188 0 0 25 0 3 0 643397263 725200896 158952 33554432000 4194304 5714118 140736523030976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1044.57
Current children cumulated vsize (KiB) 708204
[startup+582.301 s]
/proc/loadavg: 4.01 3.98 3.57 5/182 11484
/proc/meminfo: memFree=11081128/32951124 swapFree=67055716/67111528
[pid=11425] ppid=11423 vsize=839692 CPUtime=1164.57 cores=0,2,4,6
/proc/11425/stat : 11425 (pwbo1.1) S 11423 11425 11028 0 -1 4202496 183817 0 0 0 115707 750 0 0 18 0 3 0 643397260 859844608 183068 33554432000 4194304 5714118 140736523030976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11425/statm: 209923 183068 182 372 0 209548 0
[pid=11425/tid=11427] ppid=11423 vsize=839692 CPUtime=582.26 cores=0,2,4,6
/proc/11425/task/11427/stat : 11427 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 72123 0 0 0 57685 541 0 0 25 0 3 0 643397263 859844608 183068 33554432000 4194304 5714118 140736523030976 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=11425/tid=11428] ppid=11423 vsize=839692 CPUtime=582.28 cores=0,2,4,6
/proc/11425/task/11428/stat : 11428 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 110961 0 0 0 58019 209 0 0 25 0 3 0 643397263 859844608 183068 33554432000 4194304 5714118 140736523030976 18446744073709551615 4319232 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1164.57
Current children cumulated vsize (KiB) 839692
[startup+642.3 s]
/proc/loadavg: 4.00 3.98 3.59 5/182 11485
/proc/meminfo: memFree=10954688/32951124 swapFree=67055716/67111528
[pid=11425] ppid=11423 vsize=971908 CPUtime=1284.58 cores=0,2,4,6
/proc/11425/stat : 11425 (pwbo1.1) S 11423 11425 11028 0 -1 4202496 214532 0 0 0 127659 799 0 0 18 0 3 0 643397260 995233792 213783 33554432000 4194304 5714118 140736523030976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11425/statm: 242977 213783 182 372 0 242602 0
[pid=11425/tid=11427] ppid=11423 vsize=971908 CPUtime=642.27 cores=0,2,4,6
/proc/11425/task/11427/stat : 11427 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 72132 0 0 0 63662 565 0 0 25 0 3 0 643397263 995233792 213783 33554432000 4194304 5714118 140736523030976 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=11425/tid=11428] ppid=11423 vsize=971908 CPUtime=642.28 cores=0,2,4,6
/proc/11425/task/11428/stat : 11428 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 141667 0 0 0 63995 233 0 0 25 0 3 0 643397263 995233792 213783 33554432000 4194304 5714118 140736523030976 18446744073709551615 4310877 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1284.58
Current children cumulated vsize (KiB) 971908
[startup+702.301 s]
/proc/loadavg: 4.00 3.98 3.61 5/182 11487
/proc/meminfo: memFree=10862612/32951124 swapFree=67055716/67111528
[pid=11425] ppid=11423 vsize=1038800 CPUtime=1404.58 cores=0,2,4,6
/proc/11425/stat : 11425 (pwbo1.1) S 11423 11425 11028 0 -1 4202496 237064 0 0 0 139612 846 0 0 18 0 3 0 643397260 1063731200 236315 33554432000 4194304 5714118 140736523030976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11425/statm: 259700 236315 182 372 0 259325 0
[pid=11425/tid=11427] ppid=11423 vsize=1038800 CPUtime=702.26 cores=0,2,4,6
/proc/11425/task/11427/stat : 11427 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 73610 0 0 0 69637 589 0 0 25 0 3 0 643397263 1063731200 236315 33554432000 4194304 5714118 140736523030976 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=11425/tid=11428] ppid=11423 vsize=1038800 CPUtime=702.28 cores=0,2,4,6
/proc/11425/task/11428/stat : 11428 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 162721 0 0 0 69972 256 0 0 25 0 3 0 643397263 1063731200 236315 33554432000 4194304 5714118 140736523030976 18446744073709551615 4311646 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1404.58
Current children cumulated vsize (KiB) 1038800
[startup+762.306 s]
/proc/loadavg: 4.08 4.00 3.64 5/182 11489
/proc/meminfo: memFree=10803900/32951124 swapFree=67055716/67111528
[pid=11425] ppid=11423 vsize=1104336 CPUtime=1524.59 cores=0,2,4,6
/proc/11425/stat : 11425 (pwbo1.1) S 11423 11425 11028 0 -1 4202496 246195 0 0 0 151552 907 0 0 18 0 3 0 643397260 1130840064 245446 33554432000 4194304 5714118 140736523030976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11425/statm: 276084 245446 182 372 0 275709 0
[pid=11425/tid=11427] ppid=11423 vsize=1104336 CPUtime=762.27 cores=0,2,4,6
/proc/11425/task/11427/stat : 11427 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 82712 0 0 0 75588 639 0 0 25 0 3 0 643397263 1130840064 245446 33554432000 4194304 5714118 140736523030976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=11425/tid=11428] ppid=11423 vsize=1104336 CPUtime=762.29 cores=0,2,4,6
/proc/11425/task/11428/stat : 11428 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 162750 0 0 0 75961 268 0 0 25 0 3 0 643397263 1130840064 245446 33554432000 4194304 5714118 140736523030976 18446744073709551615 4319867 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1524.59
Current children cumulated vsize (KiB) 1104336
[startup+822.301 s]
/proc/loadavg: 4.03 4.00 3.66 5/182 11490
/proc/meminfo: memFree=10806688/32951124 swapFree=67055716/67111528
[pid=11425] ppid=11423 vsize=1105092 CPUtime=1644.58 cores=0,2,4,6
/proc/11425/stat : 11425 (pwbo1.1) S 11423 11425 11028 0 -1 4202496 247706 0 0 0 163520 938 0 0 18 0 3 0 643397260 1131614208 246957 33554432000 4194304 5714118 140736523030976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11425/statm: 276273 246957 182 372 0 275898 0
[pid=11425/tid=11427] ppid=11423 vsize=1105092 CPUtime=822.26 cores=0,2,4,6
/proc/11425/task/11427/stat : 11427 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 84075 0 0 0 81562 664 0 0 25 0 3 0 643397263 1131614208 246957 33554432000 4194304 5714118 140736523030976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=11425/tid=11428] ppid=11423 vsize=1105092 CPUtime=822.28 cores=0,2,4,6
/proc/11425/task/11428/stat : 11428 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 162898 0 0 0 81954 274 0 0 25 0 3 0 643397263 1131614208 246957 33554432000 4194304 5714118 140736523030976 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.58
Current children cumulated vsize (KiB) 1105092
[startup+882.301 s]
/proc/loadavg: 4.01 4.00 3.68 5/182 11492
/proc/meminfo: memFree=10761864/32951124 swapFree=67055716/67111528
[pid=11425] ppid=11423 vsize=1105604 CPUtime=1764.59 cores=0,2,4,6
/proc/11425/stat : 11425 (pwbo1.1) S 11423 11425 11028 0 -1 4202496 257458 0 0 0 175446 1013 0 0 18 0 3 0 643397260 1132138496 256709 33554432000 4194304 5714118 140736523030976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11425/statm: 276401 256709 182 372 0 276026 0
[pid=11425/tid=11427] ppid=11423 vsize=1105604 CPUtime=882.26 cores=0,2,4,6
/proc/11425/task/11427/stat : 11427 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 93717 0 0 0 87493 733 0 0 25 0 3 0 643397263 1132138496 256709 33554432000 4194304 5714118 140736523030976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=11425/tid=11428] ppid=11423 vsize=1105604 CPUtime=882.28 cores=0,2,4,6
/proc/11425/task/11428/stat : 11428 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 163008 0 0 0 87949 279 0 0 25 0 3 0 643397263 1132138496 256709 33554432000 4194304 5714118 140736523030976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1764.59
Current children cumulated vsize (KiB) 1105604
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.101 s]
/proc/loadavg: 4.00 4.00 3.68 5/182 11492
/proc/meminfo: memFree=10749208/32951124 swapFree=67055716/67111528
[pid=11425] ppid=11423 vsize=1105604 CPUtime=1800.19 cores=0,2,4,6
/proc/11425/stat : 11425 (pwbo1.1) S 11423 11425 11028 0 -1 4202496 260337 0 0 0 178988 1031 0 0 18 0 3 0 643397260 1132138496 259588 33554432000 4194304 5714118 140736523030976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11425/statm: 276401 259588 182 372 0 276026 0
[pid=11425/tid=11427] ppid=11423 vsize=1105604 CPUtime=900.07 cores=0,2,4,6
/proc/11425/task/11427/stat : 11427 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 96595 0 0 0 89257 750 0 0 25 0 3 0 643397263 1132138496 259588 33554432000 4194304 5714118 140736523030976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=11425/tid=11428] ppid=11423 vsize=1105604 CPUtime=900.09 cores=0,2,4,6
/proc/11425/task/11428/stat : 11428 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 163009 0 0 0 89728 281 0 0 25 0 3 0 643397263 1132138496 259588 33554432000 4194304 5714118 140736523030976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 1105604
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.101 s]
/proc/loadavg: 4.00 4.00 3.68 5/182 11492
/proc/meminfo: memFree=10749208/32951124 swapFree=67055716/67111528
[pid=11425] ppid=11423 vsize=1105604 CPUtime=1800.19 cores=0,2,4,6
/proc/11425/stat : 11425 (pwbo1.1) S 11423 11425 11028 0 -1 4202496 260337 0 0 0 178988 1031 0 0 18 0 3 0 643397260 1132138496 259588 33554432000 4194304 5714118 140736523030976 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/11425/statm: 276401 259588 182 372 0 276026 0
[pid=11425/tid=11427] ppid=11423 vsize=1105604 CPUtime=900.07 cores=0,2,4,6
/proc/11425/task/11427/stat : 11427 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 96595 0 0 0 89257 750 0 0 25 0 3 0 643397263 1132138496 259588 33554432000 4194304 5714118 140736523030976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=11425/tid=11428] ppid=11423 vsize=1105604 CPUtime=900.09 cores=0,2,4,6
/proc/11425/task/11428/stat : 11428 (pwbo1.1) R 11423 11425 11028 0 -1 4202560 163009 0 0 0 89728 281 0 0 25 0 3 0 643397263 1132138496 259588 33554432000 4194304 5714118 140736523030976 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 1105604
Child status: 0
Real time (s): 900.153
CPU time (s): 1800.26
CPU user time (s): 1789.9
CPU system time (s): 10.3584
CPU usage (%): 199.994
Max. virtual memory (cumulated for all children) (KiB): 1105604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.9
system time used= 10.3584
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260342
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= 292
involuntary context switches= 4949
runsolver used 1.60076 second user time and 2.92556 second system time
The end