runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3712728-1338204905/watcher-3712728-1338204905 -o /tmp/evaluation-result-3712728-1338204905/solver-3712728-1338204905 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712728-1338204905.wbo
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.00 4.00 4.00 4/178 23122
/proc/meminfo: memFree=27876508/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=4432 CPUtime=0 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) R 23120 23122 20320 0 -1 4202496 404 0 0 0 0 0 0 0 20 0 1 0 286614634 4538368 356 33554432000 4194304 5964478 140736378173072 140734367195160 5156190 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 1108 356 164 433 0 648 0
[startup+0.0334491 s]
/proc/loadavg: 4.00 4.00 4.00 4/178 23122
/proc/meminfo: memFree=27876508/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=164816 CPUtime=0.03 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 2048 0 0 0 3 0 0 0 20 0 3 0 286614634 168771584 1971 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 41204 1971 197 433 0 40768 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 164816
[startup+0.100181 s]
/proc/loadavg: 4.00 4.00 4.00 4/178 23122
/proc/meminfo: memFree=27876508/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=164272 CPUtime=0.17 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 3407 0 0 0 17 0 0 0 20 0 3 0 286614634 168214528 2579 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 41068 2579 198 433 0 40632 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 164272
[startup+0.300137 s]
/proc/loadavg: 4.00 4.00 4.00 4/178 23122
/proc/meminfo: memFree=27876508/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=164272 CPUtime=0.57 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 5412 0 0 0 56 1 0 0 20 0 3 0 286614634 168214528 3565 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 41068 3565 198 433 0 40632 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 164272
[startup+0.700157 s]
/proc/loadavg: 4.00 4.00 4.00 4/178 23122
/proc/meminfo: memFree=27876508/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=164272 CPUtime=1.36 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 8553 0 0 0 135 1 0 0 20 0 3 0 286614634 168214528 5271 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 41068 5271 198 433 0 40632 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 164272
[startup+1.50026 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23125
/proc/meminfo: memFree=27852924/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=164272 CPUtime=2.96 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 10805 0 0 0 294 2 0 0 20 0 3 0 286614634 168214528 6496 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 41068 6496 198 433 0 40632 0
[pid=23122/tid=23124] ppid=23120 vsize=164272 CPUtime=1.47 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 3098 0 0 0 146 1 0 0 20 0 3 0 286614635 168214528 6496 33554432000 4194304 5964478 140736378173072 139803656705848 5136404 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=164272 CPUtime=1.47 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 6616 0 0 0 145 2 0 0 20 0 3 0 286614635 168214528 6496 33554432000 4194304 5964478 140736378173072 139803646216416 4369727 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 164272
[startup+3.10028 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23125
/proc/meminfo: memFree=27845236/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=164404 CPUtime=6.16 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 14233 0 0 0 610 6 0 0 20 0 3 0 286614634 168349696 9757 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 41101 9757 198 433 0 40665 0
[pid=23122/tid=23124] ppid=23120 vsize=164404 CPUtime=3.07 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 4641 0 0 0 305 2 0 0 20 0 3 0 286614635 168349696 9757 33554432000 4194304 5964478 140736378173072 139803656706040 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=164404 CPUtime=3.07 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 8501 0 0 0 302 5 0 0 20 0 3 0 286614635 168349696 9757 33554432000 4194304 5964478 140736378173072 139803646216504 5136474 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 164404
[startup+6.30029 s]
/proc/loadavg: 4.00 4.00 4.00 3/177 23126
/proc/meminfo: memFree=29853404/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=164808 CPUtime=12.57 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 21999 0 0 0 1249 8 0 0 20 0 3 0 286614634 168763392 17386 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 41202 17386 198 433 0 40766 0
[pid=23122/tid=23124] ppid=23120 vsize=164808 CPUtime=6.27 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 11595 0 0 0 624 3 0 0 20 0 3 0 286614635 168763392 17386 33554432000 4194304 5964478 140736378173072 139803656706040 4400081 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=164808 CPUtime=6.27 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 9313 0 0 0 621 6 0 0 20 0 3 0 286614635 168763392 17386 33554432000 4194304 5964478 140736378173072 139803646216552 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 164808
[startup+12.7003 s]
/proc/loadavg: 3.85 3.97 3.99 5/181 23166
/proc/meminfo: memFree=29737520/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=231176 CPUtime=25.36 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 34463 0 0 0 2525 11 0 0 20 0 3 0 286614634 236724224 29850 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 57794 29850 198 433 0 57358 0
[pid=23122/tid=23124] ppid=23120 vsize=231176 CPUtime=12.67 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 17445 0 0 0 1262 5 0 0 20 0 3 0 286614635 236724224 29850 33554432000 4194304 5964478 140736378173072 139803656706088 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=231176 CPUtime=12.67 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 15927 0 0 0 1260 7 0 0 20 0 3 0 286614635 236724224 29850 33554432000 4194304 5964478 140736378173072 139803646216504 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 231176
[startup+25.5003 s]
/proc/loadavg: 3.87 3.97 3.99 5/181 23166
/proc/meminfo: memFree=29524160/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=297732 CPUtime=50.95 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 62560 0 0 0 5075 20 0 0 20 0 3 0 286614634 304877568 58267 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 74433 58267 198 433 0 73997 0
[pid=23122/tid=23124] ppid=23120 vsize=297732 CPUtime=25.46 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 28068 0 0 0 2538 8 0 0 20 0 3 0 286614635 304877568 58267 33554432000 4194304 5964478 140736378173072 139803656706040 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=297732 CPUtime=25.47 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 33401 0 0 0 2535 12 0 0 20 0 3 0 286614635 304877568 58267 33554432000 4194304 5964478 140736378173072 139803646216504 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 297732
[startup+51.1003 s]
/proc/loadavg: 3.97 3.99 3.99 5/181 23166
/proc/meminfo: memFree=29099548/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=562404 CPUtime=102.1 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 119300 0 0 0 10174 36 0 0 20 0 3 0 286614634 575901696 115029 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 140601 115029 198 433 0 140165 0
[pid=23122/tid=23124] ppid=23120 vsize=562404 CPUtime=51.04 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 53543 0 0 0 5088 16 0 0 20 0 3 0 286614635 575901696 115029 33554432000 4194304 5964478 140736378173072 139803656706040 4399994 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=562404 CPUtime=51.06 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 64666 0 0 0 5084 22 0 0 20 0 3 0 286614635 575901696 115029 33554432000 4194304 5964478 140736378173072 139803646216504 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.1
Current children cumulated vsize (KiB) 562404
[startup+102.307 s]
/proc/loadavg: 4.05 4.00 4.00 5/181 23166
/proc/meminfo: memFree=28613284/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=760416 CPUtime=204.46 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 172051 0 0 0 20387 59 0 0 20 0 3 0 286614634 778665984 167676 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 190104 167676 198 433 0 189668 0
[pid=23122/tid=23124] ppid=23120 vsize=760416 CPUtime=102.22 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 85209 0 0 0 10193 29 0 0 20 0 3 0 286614635 778665984 167676 33554432000 4194304 5964478 140736378173072 139803656706040 4400073 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=760416 CPUtime=102.24 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 85751 0 0 0 10191 33 0 0 20 0 3 0 286614635 778665984 167676 33554432000 4194304 5964478 140736378173072 139803646216504 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.46
Current children cumulated vsize (KiB) 760416
[startup+162.3 s]
/proc/loadavg: 4.02 4.00 4.00 5/181 23167
/proc/meminfo: memFree=28202504/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=958252 CPUtime=324.38 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 210700 0 0 0 32358 80 0 0 20 0 3 0 286614634 981250048 206280 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 239563 206280 198 433 0 239127 0
[pid=23122/tid=23124] ppid=23120 vsize=958252 CPUtime=162.19 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 99148 0 0 0 16183 36 0 0 20 0 3 0 286614635 981250048 206280 33554432000 4194304 5964478 140736378173072 139803656706040 4381585 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=958252 CPUtime=162.22 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 110461 0 0 0 16173 49 0 0 20 0 3 0 286614635 981250048 206280 33554432000 4194304 5964478 140736378173072 139803646216504 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.38
Current children cumulated vsize (KiB) 958252
[startup+222.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23167
/proc/meminfo: memFree=27988048/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=1025508 CPUtime=444.35 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 233697 0 0 0 44332 103 0 0 20 0 3 0 286614634 1050120192 229909 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 256377 229909 198 433 0 255941 0
[pid=23122/tid=23124] ppid=23120 vsize=1025508 CPUtime=222.2 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 99173 0 0 0 22183 37 0 0 20 0 3 0 286614635 1050120192 229909 33554432000 4194304 5964478 140736378173072 139803656706072 4400075 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=1025508 CPUtime=222.21 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 133433 0 0 0 22148 73 0 0 20 0 3 0 286614635 1050120192 229909 33554432000 4194304 5964478 140736378173072 139803646216264 4400503 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.35
Current children cumulated vsize (KiB) 1025508
[startup+282.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23167
/proc/meminfo: memFree=27553828/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=1157288 CPUtime=564.33 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 272111 0 0 0 56297 136 0 0 20 0 3 0 286614634 1185062912 268323 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 289322 268323 198 433 0 288886 0
[pid=23122/tid=23124] ppid=23120 vsize=1157288 CPUtime=282.2 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 137510 0 0 0 28149 71 0 0 20 0 3 0 286614635 1185062912 268323 33554432000 4194304 5964478 140736378173072 139803656706040 4381686 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=1157288 CPUtime=282.22 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 133510 0 0 0 28148 74 0 0 20 0 3 0 286614635 1185062912 268323 33554432000 4194304 5964478 140736378173072 139803646216264 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.33
Current children cumulated vsize (KiB) 1157288
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/182 23210
/proc/meminfo: memFree=28606092/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=1157764 CPUtime=684.31 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 272262 0 0 0 68295 136 0 0 20 0 3 0 286614634 1185550336 268474 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 289441 268474 198 433 0 289005 0
[pid=23122/tid=23124] ppid=23120 vsize=1157764 CPUtime=342.2 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 137520 0 0 0 34148 72 0 0 20 0 3 0 286614635 1185550336 268474 33554432000 4194304 5964478 140736378173072 139803656705952 4391678 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=1157764 CPUtime=342.22 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 133651 0 0 0 34147 75 0 0 20 0 3 0 286614635 1185550336 268474 33554432000 4194304 5964478 140736378173072 139803646216608 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.31
Current children cumulated vsize (KiB) 1157764
[startup+402.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23210
/proc/meminfo: memFree=28349948/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=1158912 CPUtime=804.29 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 273917 0 0 0 80292 137 0 0 20 0 3 0 286614634 1186725888 270129 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 289728 270129 198 433 0 289292 0
[pid=23122/tid=23124] ppid=23120 vsize=1158912 CPUtime=402.21 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 138912 0 0 0 40147 74 0 0 20 0 3 0 286614635 1186725888 270129 33554432000 4194304 5964478 140736378173072 139803656706040 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=1158912 CPUtime=402.22 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 133914 0 0 0 40146 76 0 0 20 0 3 0 286614635 1186725888 270129 33554432000 4194304 5964478 140736378173072 139803646216264 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.29
Current children cumulated vsize (KiB) 1158912
[startup+462.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23211
/proc/meminfo: memFree=27842144/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=1422164 CPUtime=924.28 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 320606 0 0 0 92270 158 0 0 20 0 3 0 286614634 1456295936 316818 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 355541 316818 198 433 0 355105 0
[pid=23122/tid=23124] ppid=23120 vsize=1422164 CPUtime=462.21 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 180744 0 0 0 46127 94 0 0 20 0 3 0 286614635 1456295936 316818 33554432000 4194304 5964478 140736378173072 139803656706040 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=1422164 CPUtime=462.23 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 138771 0 0 0 46144 79 0 0 20 0 3 0 286614635 1456295936 316818 33554432000 4194304 5964478 140736378173072 139803646216504 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.28
Current children cumulated vsize (KiB) 1422164
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23211
/proc/meminfo: memFree=27509508/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=1619152 CPUtime=1044.25 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 380143 0 0 0 104242 183 0 0 20 0 3 0 286614634 1658011648 376661 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 404788 376661 198 433 0 404352 0
[pid=23122/tid=23124] ppid=23120 vsize=1619152 CPUtime=522.2 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 219386 0 0 0 52109 111 0 0 20 0 3 0 286614635 1658011648 376661 33554432000 4194304 5964478 140736378173072 139803656706040 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=1619152 CPUtime=522.23 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 159666 0 0 0 52136 87 0 0 20 0 3 0 286614635 1658011648 376661 33554432000 4194304 5964478 140736378173072 139803646216264 4400416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.25
Current children cumulated vsize (KiB) 1619152
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23211
/proc/meminfo: memFree=27168784/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=1752288 CPUtime=1164.2 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 416734 0 0 0 116217 203 0 0 20 0 3 0 286614634 1794342912 413266 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 438072 413266 198 433 0 437636 0
[pid=23122/tid=23124] ppid=23120 vsize=1752288 CPUtime=582.18 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 254050 0 0 0 58086 132 0 0 20 0 3 0 286614635 1794342912 413266 33554432000 4194304 5964478 140736378173072 139803656706040 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=1752288 CPUtime=582.22 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 161593 0 0 0 58134 88 0 0 20 0 3 0 286614635 1794342912 413266 33554432000 4194304 5964478 140736378173072 139803646216504 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.2
Current children cumulated vsize (KiB) 1752288
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23211
/proc/meminfo: memFree=26822236/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=1949816 CPUtime=1284.18 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 454094 0 0 0 128196 222 0 0 20 0 3 0 286614634 1996611584 450635 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 487454 450635 198 433 0 487018 0
[pid=23122/tid=23124] ppid=23120 vsize=1949816 CPUtime=642.17 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 280903 0 0 0 64069 148 0 0 20 0 3 0 286614635 1996611584 450635 33554432000 4194304 5964478 140736378173072 139803656706040 4381585 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=1949816 CPUtime=642.22 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 172100 0 0 0 64129 93 0 0 20 0 3 0 286614635 1996611584 450635 33554432000 4194304 5964478 140736378173072 139803646216608 4388475 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.18
Current children cumulated vsize (KiB) 1949816
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23211
/proc/meminfo: memFree=26674220/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=2081692 CPUtime=1404.13 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 491472 0 0 0 140176 237 0 0 20 0 3 0 286614634 2131652608 488025 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 520423 488025 198 433 0 519987 0
[pid=23122/tid=23124] ppid=23120 vsize=2081692 CPUtime=702.16 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 280917 0 0 0 70067 149 0 0 20 0 3 0 286614635 2131652608 488025 33554432000 4194304 5964478 140736378173072 139803656706040 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=2081692 CPUtime=702.21 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 209464 0 0 0 70111 110 0 0 20 0 3 0 286614635 2131652608 488025 33554432000 4194304 5964478 140736378173072 139803646216504 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.13
Current children cumulated vsize (KiB) 2081692
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23212
/proc/meminfo: memFree=26658148/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=2081904 CPUtime=1524.09 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 494509 0 0 0 152171 238 0 0 20 0 3 0 286614634 2131869696 491023 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 520476 491023 198 433 0 520040 0
[pid=23122/tid=23124] ppid=23120 vsize=2081904 CPUtime=762.16 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 280948 0 0 0 76066 150 0 0 20 0 3 0 286614635 2131869696 491023 33554432000 4194304 5964478 140736378173072 139803656706040 4399910 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=2081904 CPUtime=762.2 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 212470 0 0 0 76109 111 0 0 20 0 3 0 286614635 2131869696 491023 33554432000 4194304 5964478 140736378173072 139803646216536 4400062 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.09
Current children cumulated vsize (KiB) 2081904
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23212
/proc/meminfo: memFree=26657180/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=2081904 CPUtime=1644.03 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 494554 0 0 0 164165 238 0 0 20 0 3 0 286614634 2131869696 491068 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 520476 491068 198 433 0 520040 0
[pid=23122/tid=23124] ppid=23120 vsize=2081904 CPUtime=822.13 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 280988 0 0 0 82062 151 0 0 20 0 3 0 286614635 2131869696 491068 33554432000 4194304 5964478 140736378173072 139803656706040 4400051 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=2081904 CPUtime=822.2 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 212475 0 0 0 82108 112 0 0 20 0 3 0 286614635 2131869696 491068 33554432000 4194304 5964478 140736378173072 139803646216536 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.03
Current children cumulated vsize (KiB) 2081904
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23212
/proc/meminfo: memFree=26448168/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=2082260 CPUtime=1763.97 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 494675 0 0 0 176159 238 0 0 20 0 3 0 286614634 2132234240 491144 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 520565 491144 198 433 0 520129 0
[pid=23122/tid=23124] ppid=23120 vsize=2082260 CPUtime=882.11 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 281013 0 0 0 88059 152 0 0 20 0 3 0 286614635 2132234240 491144 33554432000 4194304 5964478 140736378173072 139803656706040 4400053 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=2082260 CPUtime=882.18 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 212571 0 0 0 88105 113 0 0 20 0 3 0 286614635 2132234240 491144 33554432000 4194304 5964478 140736378173072 139803646216264 4400062 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1763.97
Current children cumulated vsize (KiB) 2082260
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.4 s]
/proc/loadavg: 4.00 4.00 4.00 5/182 23215
/proc/meminfo: memFree=26347176/32873648 swapFree=7368/7368
[pid=23122] ppid=23120 vsize=2082260 CPUtime=1800.17 cores=0,2,4,6
/proc/23122/stat : 23122 (pwbo2.01) S 23120 23122 20320 0 -1 4202496 494970 0 0 0 179779 238 0 0 20 0 3 0 286614634 2132234240 491432 33554432000 4194304 5964478 140736378173072 140736378172592 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23122/statm: 520565 491432 198 433 0 520129 0
[pid=23122/tid=23124] ppid=23120 vsize=2082260 CPUtime=900.22 cores=0,2,4,6
/proc/23122/task/23124/stat : 23124 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 281022 0 0 0 89870 152 0 0 20 0 3 0 286614635 2132234240 491432 33554432000 4194304 5964478 140736378173072 139803656706040 4400051 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=23122/tid=23125] ppid=23120 vsize=2082260 CPUtime=900.29 cores=0,2,4,6
/proc/23122/task/23125/stat : 23125 (pwbo2.01) R 23120 23122 20320 0 -1 4202560 212857 0 0 0 89915 114 0 0 20 0 3 0 286614635 2132234240 491432 33554432000 4194304 5964478 140736378173072 139803646216504 4388310 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 2082260
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.482
CPU time (s): 1800.62
CPU user time (s): 1797.87
CPU system time (s): 2.75158
CPU usage (%): 199.962
Max. virtual memory (cumulated for all children) (KiB): 2082260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.87
system time used= 2.75158
maximum resident set size= 1965736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 494972
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= 1022
involuntary context switches= 2028
runsolver used 1.79173 second user time and 5.06423 second system time
The end