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-3500578-1307996791/watcher-3500578-1307996791 -o /var/tmp/evaluation-result-3500578-1307996791/solver-3500578-1307996791 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500578-1307996791.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.03 4.00 3.92 3/179 17964
/proc/meminfo: memFree=13847140/32951124 swapFree=67054712/67111528
[pid=17964] ppid=17962 vsize=5208 CPUtime=0 cores=1,3,5,7
/proc/17964/stat : 17964 (pwbo1.1) R 17962 17964 16567 0 -1 4202496 556 0 0 0 0 0 0 0 25 0 1 0 989909769 5332992 508 33554432000 4194304 5714118 140736114200704 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17964/statm: 1302 511 167 372 0 414 0
[startup+0.0459281 s]
/proc/loadavg: 4.03 4.00 3.92 3/179 17964
/proc/meminfo: memFree=13847140/32951124 swapFree=67054712/67111528
[pid=17964] ppid=17962 vsize=8204 CPUtime=0.04 cores=1,3,5,7
/proc/17964/stat : 17964 (pwbo1.1) R 17962 17964 16567 0 -1 4202496 1398 0 0 0 4 0 0 0 25 0 1 0 989909769 8400896 1350 33554432000 4194304 5714118 140736114200704 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17964/statm: 2051 1352 310 372 0 1163 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 8204
[startup+0.100918 s]
/proc/loadavg: 4.03 4.00 3.92 3/179 17964
/proc/meminfo: memFree=13847140/32951124 swapFree=67054712/67111528
[pid=17964] ppid=17962 vsize=12296 CPUtime=0.09 cores=1,3,5,7
/proc/17964/stat : 17964 (pwbo1.1) R 17962 17964 16567 0 -1 4202496 2615 0 0 0 9 0 0 0 25 0 1 0 989909769 12591104 2501 33554432000 4194304 5714118 140736114200704 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/17964/statm: 3074 2502 506 372 0 2186 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12296
[startup+0.300853 s]
/proc/loadavg: 4.03 4.00 3.92 3/179 17964
/proc/meminfo: memFree=13847140/32951124 swapFree=67054712/67111528
[pid=17964] ppid=17962 vsize=164144 CPUtime=0.44 cores=1,3,5,7
/proc/17964/stat : 17964 (pwbo1.1) S 17962 17964 16567 0 -1 4202496 14479 0 0 0 41 3 0 0 25 0 3 0 989909769 168083456 13223 33554432000 4194304 5714118 140736114200704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17964/statm: 41036 13224 179 372 0 40661 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 164144
[startup+0.700783 s]
/proc/loadavg: 4.03 4.00 3.92 3/179 17964
/proc/meminfo: memFree=13847140/32951124 swapFree=67054712/67111528
[pid=17964] ppid=17962 vsize=164144 CPUtime=1.24 cores=1,3,5,7
/proc/17964/stat : 17964 (pwbo1.1) S 17962 17964 16567 0 -1 4202496 15691 0 0 0 118 6 0 0 25 0 3 0 989909769 168083456 13380 33554432000 4194304 5714118 140736114200704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17964/statm: 41036 13380 179 372 0 40661 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 164144
[startup+1.50067 s]
/proc/loadavg: 4.03 4.00 3.92 5/182 17967
/proc/meminfo: memFree=13784172/32951124 swapFree=67054712/67111528
[pid=17964] ppid=17962 vsize=164144 CPUtime=2.84 cores=1,3,5,7
/proc/17964/stat : 17964 (pwbo1.1) S 17962 17964 16567 0 -1 4202496 18705 0 0 0 271 13 0 0 25 0 3 0 989909769 168083456 14987 33554432000 4194304 5714118 140736114200704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17964/statm: 41036 14987 179 372 0 40661 0
[pid=17964/tid=17966] ppid=17962 vsize=164144 CPUtime=1.34 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 5659 0 0 0 133 1 0 0 19 0 3 0 989909783 168083456 14987 33554432000 4194304 5714118 140736114200704 18446744073709551615 4977485 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=164144 CPUtime=1.34 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 9421 0 0 0 123 11 0 0 25 0 3 0 989909783 168083456 14987 33554432000 4194304 5714118 140736114200704 18446744073709551615 4305716 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 164144
[startup+3.10039 s]
/proc/loadavg: 4.03 4.00 3.92 5/182 17967
/proc/meminfo: memFree=13766068/32951124 swapFree=67054712/67111528
[pid=17964] ppid=17962 vsize=164144 CPUtime=6.04 cores=1,3,5,7
/proc/17964/stat : 17964 (pwbo1.1) S 17962 17964 16567 0 -1 4202496 23017 0 0 0 580 24 0 0 25 0 3 0 989909769 168083456 17945 33554432000 4194304 5714118 140736114200704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17964/statm: 41036 17945 180 372 0 40661 0
[pid=17964/tid=17966] ppid=17962 vsize=164144 CPUtime=2.94 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 7455 0 0 0 291 3 0 0 24 0 3 0 989909783 168083456 17945 33554432000 4194304 5714118 140736114200704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=164144 CPUtime=2.93 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 11937 0 0 0 274 19 0 0 25 0 3 0 989909783 168083456 17945 33554432000 4194304 5714118 140736114200704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 164144
[startup+6.30083 s]
/proc/loadavg: 4.03 4.00 3.92 5/182 17967
/proc/meminfo: memFree=13716144/32951124 swapFree=67054712/67111528
[pid=17964] ppid=17962 vsize=164144 CPUtime=12.44 cores=1,3,5,7
/proc/17964/stat : 17964 (pwbo1.1) S 17962 17964 16567 0 -1 4202496 28955 0 0 0 1197 47 0 0 25 0 3 0 989909769 168083456 23883 33554432000 4194304 5714118 140736114200704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17964/statm: 41036 23883 180 372 0 40661 0
[pid=17964/tid=17966] ppid=17962 vsize=164144 CPUtime=6.14 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 8629 0 0 0 604 10 0 0 25 0 3 0 989909783 168083456 23883 33554432000 4194304 5714118 140736114200704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=164144 CPUtime=6.13 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 16701 0 0 0 578 35 0 0 25 0 3 0 989909783 168083456 23883 33554432000 4194304 5714118 140736114200704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 164144
[startup+12.7007 s]
/proc/loadavg: 4.03 4.00 3.92 5/182 17967
/proc/meminfo: memFree=13658320/32951124 swapFree=67054712/67111528
[pid=17964] ppid=17962 vsize=164612 CPUtime=25.23 cores=1,3,5,7
/proc/17964/stat : 17964 (pwbo1.1) S 17962 17964 16567 0 -1 4202496 35699 0 0 0 2459 64 0 0 25 0 3 0 989909769 168562688 30627 33554432000 4194304 5714118 140736114200704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17964/statm: 41153 30627 181 372 0 40778 0
[pid=17964/tid=17966] ppid=17962 vsize=164612 CPUtime=12.54 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 12608 0 0 0 1236 18 0 0 25 0 3 0 989909783 168562688 30627 33554432000 4194304 5714118 140736114200704 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=164612 CPUtime=12.54 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 19466 0 0 0 1209 45 0 0 25 0 3 0 989909783 168562688 30627 33554432000 4194304 5714118 140736114200704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 164612
[startup+25.5005 s]
/proc/loadavg: 4.02 4.00 3.92 5/182 17967
/proc/meminfo: memFree=13580832/32951124 swapFree=67054712/67111528
[pid=17964] ppid=17962 vsize=231508 CPUtime=50.83 cores=1,3,5,7
/proc/17964/stat : 17964 (pwbo1.1) S 17962 17964 16567 0 -1 4202496 41989 0 0 0 4996 87 0 0 25 0 3 0 989909769 237064192 36909 33554432000 4194304 5714118 140736114200704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17964/statm: 57877 36909 181 372 0 57502 0
[pid=17964/tid=17966] ppid=17962 vsize=231508 CPUtime=25.34 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 16461 0 0 0 2505 29 0 0 25 0 3 0 989909783 237064192 36909 33554432000 4194304 5714118 140736114200704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=231508 CPUtime=25.33 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 21903 0 0 0 2476 57 0 0 25 0 3 0 989909783 237064192 36909 33554432000 4194304 5714118 140736114200704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 231508
[startup+51.101 s]
/proc/loadavg: 4.01 4.00 3.92 5/182 17968
/proc/meminfo: memFree=13448528/32951124 swapFree=67054712/67111528
[pid=17964] ppid=17962 vsize=298476 CPUtime=102.03 cores=1,3,5,7
/proc/17964/stat : 17964 (pwbo1.1) S 17962 17964 16567 0 -1 4202496 51650 0 0 0 10084 119 0 0 25 0 3 0 989909769 305639424 46567 33554432000 4194304 5714118 140736114200704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17964/statm: 74619 46567 181 372 0 74244 0
[pid=17964/tid=17966] ppid=17962 vsize=298476 CPUtime=50.94 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 22604 0 0 0 5048 46 0 0 25 0 3 0 989909783 305639424 46567 33554432000 4194304 5714118 140736114200704 18446744073709551615 4319720 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=298476 CPUtime=50.94 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 25421 0 0 0 5022 72 0 0 25 0 3 0 989909783 305639424 46567 33554432000 4194304 5714118 140736114200704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (KiB) 298476
[startup+102.307 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 17969
/proc/meminfo: memFree=13387196/32951124 swapFree=67054712/67111528
[pid=17964] ppid=17962 vsize=300348 CPUtime=204.45 cores=1,3,5,7
/proc/17964/stat : 17964 (pwbo1.1) S 17962 17964 16567 0 -1 4202496 59659 0 0 0 20264 181 0 0 25 0 3 0 989909769 307556352 53861 33554432000 4194304 5714118 140736114200704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17964/statm: 75087 53861 181 372 0 74712 0
[pid=17964/tid=17966] ppid=17962 vsize=300348 CPUtime=102.15 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 26943 0 0 0 10130 85 0 0 25 0 3 0 989909783 307556352 53861 33554432000 4194304 5714118 140736114200704 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=300348 CPUtime=102.14 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 29091 0 0 0 10119 95 0 0 25 0 3 0 989909783 307556352 53861 33554432000 4194304 5714118 140736114200704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.45
Current children cumulated vsize (KiB) 300348
[startup+162.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 17971
/proc/meminfo: memFree=13328900/32951124 swapFree=67054712/67111528
[pid=17964] ppid=17962 vsize=303608 CPUtime=324.44 cores=1,3,5,7
/proc/17964/stat : 17964 (pwbo1.1) S 17962 17964 16567 0 -1 4202496 64197 0 0 0 32203 241 0 0 25 0 3 0 989909769 310894592 58398 33554432000 4194304 5714118 140736114200704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17964/statm: 75902 58398 181 372 0 75527 0
[pid=17964/tid=17966] ppid=17962 vsize=303608 CPUtime=162.15 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 27116 0 0 0 16098 117 0 0 25 0 3 0 989909783 310894592 58398 33554432000 4194304 5714118 140736114200704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=303608 CPUtime=162.13 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 33456 0 0 0 16090 123 0 0 25 0 3 0 989909783 310894592 58398 33554432000 4194304 5714118 140736114200704 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.44
Current children cumulated vsize (KiB) 303608
[startup+222.301 s]
/proc/loadavg: 4.06 4.01 3.93 5/182 17973
/proc/meminfo: memFree=13241952/32951124 swapFree=67054712/67111528
[pid=17964] ppid=17962 vsize=304852 CPUtime=444.44 cores=1,3,5,7
/proc/17964/stat : 17964 (pwbo1.1) S 17962 17964 16567 0 -1 4202496 71768 0 0 0 44153 291 0 0 25 0 3 0 989909769 312168448 65967 33554432000 4194304 5714118 140736114200704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17964/statm: 76213 65967 181 372 0 75838 0
[pid=17964/tid=17966] ppid=17962 vsize=304852 CPUtime=222.15 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 34119 0 0 0 22065 150 0 0 25 0 3 0 989909783 312168448 65967 33554432000 4194304 5714118 140736114200704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=304852 CPUtime=222.14 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 34024 0 0 0 22074 140 0 0 25 0 3 0 989909783 312168448 65967 33554432000 4194304 5714118 140736114200704 18446744073709551615 4319959 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.44
Current children cumulated vsize (KiB) 304852
[startup+282.301 s]
/proc/loadavg: 4.02 4.01 3.93 5/182 17974
/proc/meminfo: memFree=13214276/32951124 swapFree=67054712/67111528
[pid=17964] ppid=17962 vsize=371668 CPUtime=564.44 cores=1,3,5,7
/proc/17964/stat : 17964 (pwbo1.1) S 17962 17964 16567 0 -1 4202496 78449 0 0 0 56089 355 0 0 25 0 3 0 989909769 380588032 72645 33554432000 4194304 5714118 140736114200704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17964/statm: 92917 72645 181 372 0 92542 0
[pid=17964/tid=17966] ppid=17962 vsize=371668 CPUtime=282.15 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 39943 0 0 0 28023 192 0 0 25 0 3 0 989909783 380588032 72645 33554432000 4194304 5714118 140736114200704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=371668 CPUtime=282.14 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 34881 0 0 0 28051 163 0 0 25 0 3 0 989909783 380588032 72645 33554432000 4194304 5714118 140736114200704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 564.44
Current children cumulated vsize (KiB) 371668
[startup+342.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 17976
/proc/meminfo: memFree=13127588/32951124 swapFree=67054712/67111528
[pid=17964] ppid=17962 vsize=439952 CPUtime=684.45 cores=1,3,5,7
/proc/17964/stat : 17964 (pwbo1.1) S 17962 17964 16567 0 -1 4202496 92188 0 0 0 68043 402 0 0 25 0 3 0 989909769 450510848 86384 33554432000 4194304 5714118 140736114200704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17964/statm: 109988 86384 181 372 0 109613 0
[pid=17964/tid=17966] ppid=17962 vsize=439952 CPUtime=342.15 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 48237 0 0 0 33992 223 0 0 25 0 3 0 989909783 450510848 86384 33554432000 4194304 5714118 140736114200704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=439952 CPUtime=342.14 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 40326 0 0 0 34036 178 0 0 25 0 3 0 989909783 450510848 86384 33554432000 4194304 5714118 140736114200704 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 684.45
Current children cumulated vsize (KiB) 439952
[startup+402.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 17977
/proc/meminfo: memFree=13092100/32951124 swapFree=67054712/67111528
[pid=17964] ppid=17962 vsize=509456 CPUtime=804.45 cores=1,3,5,7
/proc/17964/stat : 17964 (pwbo1.1) S 17962 17964 16567 0 -1 4202496 100685 0 0 0 80004 441 0 0 25 0 3 0 989909769 521682944 94859 33554432000 4194304 5714118 140736114200704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17964/statm: 127364 94859 181 372 0 126989 0
[pid=17964/tid=17966] ppid=17962 vsize=509456 CPUtime=402.15 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 55253 0 0 0 39970 245 0 0 25 0 3 0 989909783 521682944 94859 33554432000 4194304 5714118 140736114200704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=509456 CPUtime=402.14 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 41807 0 0 0 40019 195 0 0 25 0 3 0 989909783 521682944 94859 33554432000 4194304 5714118 140736114200704 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 804.45
Current children cumulated vsize (KiB) 509456
[startup+462.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 17979
/proc/meminfo: memFree=13072716/32951124 swapFree=67054712/67111528
[pid=17964] ppid=17962 vsize=510656 CPUtime=924.45 cores=1,3,5,7
/proc/17964/stat : 17964 (pwbo1.1) S 17962 17964 16567 0 -1 4202496 105611 0 0 0 91974 471 0 0 25 0 3 0 989909769 522911744 99781 33554432000 4194304 5714118 140736114200704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17964/statm: 127664 99781 181 372 0 127289 0
[pid=17964/tid=17966] ppid=17962 vsize=510656 CPUtime=462.16 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 59838 0 0 0 45950 266 0 0 25 0 3 0 989909783 522911744 99781 33554432000 4194304 5714118 140736114200704 18446744073709551615 4299904 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=510656 CPUtime=462.14 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 42148 0 0 0 46010 204 0 0 25 0 3 0 989909783 522911744 99781 33554432000 4194304 5714118 140736114200704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 924.45
Current children cumulated vsize (KiB) 510656
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 17981
/proc/meminfo: memFree=13033620/32951124 swapFree=67054712/67111528
[pid=17964] ppid=17962 vsize=513112 CPUtime=1044.46 cores=1,3,5,7
/proc/17964/stat : 17964 (pwbo1.1) S 17962 17964 16567 0 -1 4202496 109804 0 0 0 103933 513 0 0 25 0 3 0 989909769 525426688 103689 33554432000 4194304 5714118 140736114200704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17964/statm: 128278 103689 181 372 0 127903 0
[pid=17964/tid=17966] ppid=17962 vsize=513112 CPUtime=522.16 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 60295 0 0 0 51920 296 0 0 25 0 3 0 989909783 525426688 103689 33554432000 4194304 5714118 140736114200704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=513112 CPUtime=522.14 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 45884 0 0 0 51998 216 0 0 25 0 3 0 989909783 525426688 103689 33554432000 4194304 5714118 140736114200704 18446744073709551615 4300144 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1044.46
Current children cumulated vsize (KiB) 513112
[startup+582.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 17982
/proc/meminfo: memFree=13013644/32951124 swapFree=67054712/67111528
[pid=17964] ppid=17962 vsize=513112 CPUtime=1164.46 cores=1,3,5,7
/proc/17964/stat : 17964 (pwbo1.1) S 17962 17964 16567 0 -1 4202496 109884 0 0 0 115882 564 0 0 25 0 3 0 989909769 525426688 103702 33554432000 4194304 5714118 140736114200704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17964/statm: 128278 103702 181 372 0 127903 0
[pid=17964/tid=17966] ppid=17962 vsize=513112 CPUtime=582.16 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 60375 0 0 0 57888 328 0 0 25 0 3 0 989909783 525426688 103702 33554432000 4194304 5714118 140736114200704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=513112 CPUtime=582.15 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 45884 0 0 0 57980 235 0 0 25 0 3 0 989909783 525426688 103702 33554432000 4194304 5714118 140736114200704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1164.46
Current children cumulated vsize (KiB) 513112
[startup+642.3 s]
/proc/loadavg: 3.93 3.98 3.92 5/182 18065
/proc/meminfo: memFree=14229420/32951124 swapFree=67054712/67111528
[pid=17964] ppid=17962 vsize=513792 CPUtime=1284.47 cores=1,3,5,7
/proc/17964/stat : 17964 (pwbo1.1) S 17962 17964 16567 0 -1 4202496 110197 0 0 0 127856 591 0 0 25 0 3 0 989909769 526123008 104015 33554432000 4194304 5714118 140736114200704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17964/statm: 128448 104015 181 372 0 128073 0
[pid=17964/tid=17966] ppid=17962 vsize=513792 CPUtime=642.16 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 60460 0 0 0 63870 346 0 0 25 0 3 0 989909783 526123008 104015 33554432000 4194304 5714118 140736114200704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=513792 CPUtime=642.15 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 46112 0 0 0 63971 244 0 0 25 0 3 0 989909783 526123008 104015 33554432000 4194304 5714118 140736114200704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.47
Current children cumulated vsize (KiB) 513792
[startup+702.301 s]
/proc/loadavg: 3.97 3.98 3.92 5/182 18066
/proc/meminfo: memFree=14133896/32951124 swapFree=67054712/67111528
[pid=17964] ppid=17962 vsize=516672 CPUtime=1404.46 cores=1,3,5,7
/proc/17964/stat : 17964 (pwbo1.1) S 17962 17964 16567 0 -1 4202496 111586 0 0 0 139831 615 0 0 25 0 3 0 989909769 529072128 105404 33554432000 4194304 5714118 140736114200704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17964/statm: 129168 105404 181 372 0 128793 0
[pid=17964/tid=17966] ppid=17962 vsize=516672 CPUtime=702.16 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 60588 0 0 0 69852 364 0 0 25 0 3 0 989909783 529072128 105404 33554432000 4194304 5714118 140736114200704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=516672 CPUtime=702.14 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 47373 0 0 0 69964 250 0 0 25 0 3 0 989909783 529072128 105404 33554432000 4194304 5714118 140736114200704 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1404.46
Current children cumulated vsize (KiB) 516672
[startup+762.306 s]
/proc/loadavg: 3.99 3.98 3.92 5/182 18071
/proc/meminfo: memFree=14059692/32951124 swapFree=67054712/67111528
[pid=17964] ppid=17962 vsize=516672 CPUtime=1524.48 cores=1,3,5,7
/proc/17964/stat : 17964 (pwbo1.1) S 17962 17964 16567 0 -1 4202496 114141 0 0 0 151805 643 0 0 25 0 3 0 989909769 529072128 107959 33554432000 4194304 5714118 140736114200704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17964/statm: 129168 107959 181 372 0 128793 0
[pid=17964/tid=17966] ppid=17962 vsize=516672 CPUtime=762.17 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 60745 0 0 0 75834 383 0 0 25 0 3 0 989909783 529072128 107959 33554432000 4194304 5714118 140736114200704 18446744073709551615 4299904 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=516672 CPUtime=762.16 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 49771 0 0 0 75957 259 0 0 25 0 3 0 989909783 529072128 107959 33554432000 4194304 5714118 140736114200704 18446744073709551615 4319349 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1524.48
Current children cumulated vsize (KiB) 516672
[startup+822.301 s]
/proc/loadavg: 3.99 3.98 3.92 5/182 18073
/proc/meminfo: memFree=13988280/32951124 swapFree=67054712/67111528
[pid=17964] ppid=17962 vsize=519640 CPUtime=1644.46 cores=1,3,5,7
/proc/17964/stat : 17964 (pwbo1.1) S 17962 17964 16567 0 -1 4202496 117069 0 0 0 163776 670 0 0 25 0 3 0 989909769 532111360 110887 33554432000 4194304 5714118 140736114200704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17964/statm: 129910 110887 181 372 0 129535 0
[pid=17964/tid=17966] ppid=17962 vsize=519640 CPUtime=822.16 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 60804 0 0 0 81814 402 0 0 25 0 3 0 989909783 532111360 110887 33554432000 4194304 5714118 140736114200704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=519640 CPUtime=822.15 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 52640 0 0 0 81948 267 0 0 25 0 3 0 989909783 532111360 110887 33554432000 4194304 5714118 140736114200704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1644.46
Current children cumulated vsize (KiB) 519640
[startup+882.3 s]
/proc/loadavg: 3.99 3.98 3.92 5/182 18074
/proc/meminfo: memFree=13927844/32951124 swapFree=67054712/67111528
[pid=17964] ppid=17962 vsize=520360 CPUtime=1764.47 cores=1,3,5,7
/proc/17964/stat : 17964 (pwbo1.1) S 17962 17964 16567 0 -1 4202496 120964 0 0 0 175746 701 0 0 25 0 3 0 989909769 532848640 114781 33554432000 4194304 5714118 140736114200704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17964/statm: 130090 114781 181 372 0 129715 0
[pid=17964/tid=17966] ppid=17962 vsize=520360 CPUtime=882.16 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 62515 0 0 0 87793 423 0 0 25 0 3 0 989909783 532848640 114781 33554432000 4194304 5714118 140736114200704 18446744073709551615 4319232 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=520360 CPUtime=882.15 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 54824 0 0 0 87938 277 0 0 25 0 3 0 989909783 532848640 114781 33554432000 4194304 5714118 140736114200704 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.47
Current children cumulated vsize (KiB) 520360
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.1 s]
/proc/loadavg: 3.99 3.98 3.92 5/182 18075
/proc/meminfo: memFree=13912956/32951124 swapFree=67054712/67111528
[pid=17964] ppid=17962 vsize=520360 CPUtime=1800.08 cores=1,3,5,7
/proc/17964/stat : 17964 (pwbo1.1) S 17962 17964 16567 0 -1 4202496 121940 0 0 0 179299 709 0 0 25 0 3 0 989909769 532848640 115757 33554432000 4194304 5714118 140736114200704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17964/statm: 130090 115757 181 372 0 129715 0
[pid=17964/tid=17966] ppid=17962 vsize=520360 CPUtime=899.97 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 62808 0 0 0 89569 428 0 0 25 0 3 0 989909783 532848640 115757 33554432000 4194304 5714118 140736114200704 18446744073709551615 4319907 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=520360 CPUtime=899.96 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 55507 0 0 0 89716 280 0 0 25 0 3 0 989909783 532848640 115757 33554432000 4194304 5714118 140736114200704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 520360
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.1 s]
/proc/loadavg: 3.99 3.98 3.92 5/182 18075
/proc/meminfo: memFree=13912956/32951124 swapFree=67054712/67111528
[pid=17964] ppid=17962 vsize=520360 CPUtime=1800.08 cores=1,3,5,7
/proc/17964/stat : 17964 (pwbo1.1) S 17962 17964 16567 0 -1 4202496 121940 0 0 0 179299 709 0 0 25 0 3 0 989909769 532848640 115757 33554432000 4194304 5714118 140736114200704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/17964/statm: 130090 115757 181 372 0 129715 0
[pid=17964/tid=17966] ppid=17962 vsize=520360 CPUtime=899.97 cores=1,3,5,7
/proc/17964/task/17966/stat : 17966 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 62808 0 0 0 89569 428 0 0 25 0 3 0 989909783 532848640 115757 33554432000 4194304 5714118 140736114200704 18446744073709551615 4319907 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=17964/tid=17967] ppid=17962 vsize=520360 CPUtime=899.96 cores=1,3,5,7
/proc/17964/task/17967/stat : 17967 (pwbo1.1) R 17962 17964 16567 0 -1 4202560 55507 0 0 0 89716 280 0 0 25 0 3 0 989909783 532848640 115757 33554432000 4194304 5714118 140736114200704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 520360
Child status: 0
Real time (s): 900.133
CPU time (s): 1800.12
CPU user time (s): 1793.01
CPU system time (s): 7.11392
CPU usage (%): 199.984
Max. virtual memory (cumulated for all children) (KiB): 520360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.01
system time used= 7.11392
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121946
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= 941
involuntary context switches= 13117
runsolver used 1.54476 second user time and 3.36849 second system time
The end