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-3712465-1338196638/watcher-3712465-1338196638 -o /tmp/evaluation-result-3712465-1338196638/solver-3712465-1338196638 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712465-1338196638.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 3.98 3.92 4/178 21107
/proc/meminfo: memFree=29182552/32873648 swapFree=7368/7368
[pid=21107] ppid=21105 vsize=4316 CPUtime=0 cores=0,2,4,6
/proc/21107/stat : 21107 (pwbo2.01) R 21105 21107 20320 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 285787852 4419584 326 33554432000 4194304 5964478 140735868927616 140733291535784 4395390 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/21107/statm: 1079 326 165 433 0 620 0
[startup+0.013681 s]
/proc/loadavg: 4.00 3.98 3.92 4/178 21107
/proc/meminfo: memFree=29182552/32873648 swapFree=7368/7368
[pid=21107] ppid=21105 vsize=163408 CPUtime=0 cores=0,2,4,6
/proc/21107/stat : 21107 (pwbo2.01) S 21105 21107 20320 0 -1 4202496 1191 0 0 0 0 0 0 0 20 0 3 0 285787852 167329792 1119 33554432000 4194304 5964478 140735868927616 140735868927136 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21107/statm: 40852 1128 178 433 0 40416 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 163408
[startup+0.100158 s]
/proc/loadavg: 4.00 3.98 3.92 4/178 21107
/proc/meminfo: memFree=29182552/32873648 swapFree=7368/7368
[pid=21107] ppid=21105 vsize=163772 CPUtime=0.17 cores=0,2,4,6
/proc/21107/stat : 21107 (pwbo2.01) S 21105 21107 20320 0 -1 4202496 2780 0 0 0 16 1 0 0 20 0 3 0 285787852 167702528 2119 33554432000 4194304 5964478 140735868927616 140735868927136 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21107/statm: 40943 2119 198 433 0 40507 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 163772
[startup+0.300122 s]
/proc/loadavg: 4.00 3.98 3.92 4/178 21107
/proc/meminfo: memFree=29182552/32873648 swapFree=7368/7368
[pid=21107] ppid=21105 vsize=163772 CPUtime=0.57 cores=0,2,4,6
/proc/21107/stat : 21107 (pwbo2.01) S 21105 21107 20320 0 -1 4202496 4068 0 0 0 55 2 0 0 20 0 3 0 285787852 167702528 2899 33554432000 4194304 5964478 140735868927616 140735868927136 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21107/statm: 40943 2899 198 433 0 40507 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 163772
[startup+0.700136 s]
/proc/loadavg: 4.00 3.98 3.92 4/178 21107
/proc/meminfo: memFree=29182552/32873648 swapFree=7368/7368
[pid=21107] ppid=21105 vsize=163772 CPUtime=1.37 cores=0,2,4,6
/proc/21107/stat : 21107 (pwbo2.01) S 21105 21107 20320 0 -1 4202496 5374 0 0 0 133 4 0 0 20 0 3 0 285787852 167702528 3864 33554432000 4194304 5964478 140735868927616 140735868927136 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21107/statm: 40943 3864 198 433 0 40507 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 163772
[startup+1.50025 s]
/proc/loadavg: 4.00 3.98 3.92 5/181 21110
/proc/meminfo: memFree=29166996/32873648 swapFree=7368/7368
[pid=21107] ppid=21105 vsize=163772 CPUtime=2.97 cores=0,2,4,6
/proc/21107/stat : 21107 (pwbo2.01) S 21105 21107 20320 0 -1 4202496 6626 0 0 0 292 5 0 0 20 0 3 0 285787852 167702528 4728 33554432000 4194304 5964478 140735868927616 140735868927136 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21107/statm: 40943 4728 198 433 0 40507 0
[pid=21107/tid=21109] ppid=21105 vsize=163772 CPUtime=1.47 cores=0,2,4,6
/proc/21107/task/21109/stat : 21109 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 2381 0 0 0 142 5 0 0 20 0 3 0 285787853 167702528 4728 33554432000 4194304 5964478 140735868927616 139961810409464 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21107/tid=21110] ppid=21105 vsize=163772 CPUtime=1.46 cores=0,2,4,6
/proc/21107/task/21110/stat : 21110 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 3222 0 0 0 146 0 0 0 20 0 3 0 285787853 167702528 4728 33554432000 4194304 5964478 140735868927616 139961799920280 4222416 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 163772
[startup+3.10027 s]
/proc/loadavg: 4.00 3.98 3.92 5/181 21110
/proc/meminfo: memFree=29158936/32873648 swapFree=7368/7368
[pid=21107] ppid=21105 vsize=163904 CPUtime=6.17 cores=0,2,4,6
/proc/21107/stat : 21107 (pwbo2.01) S 21105 21107 20320 0 -1 4202496 9896 0 0 0 611 6 0 0 20 0 3 0 285787852 167837696 7860 33554432000 4194304 5964478 140735868927616 140735868927136 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21107/statm: 40976 7860 198 433 0 40540 0
[pid=21107/tid=21109] ppid=21105 vsize=163904 CPUtime=3.07 cores=0,2,4,6
/proc/21107/task/21109/stat : 21109 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 4854 0 0 0 301 6 0 0 20 0 3 0 285787853 167837696 7860 33554432000 4194304 5964478 140735868927616 139961810409456 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21107/tid=21110] ppid=21105 vsize=163904 CPUtime=3.06 cores=0,2,4,6
/proc/21107/task/21110/stat : 21110 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 4019 0 0 0 306 0 0 0 20 0 3 0 285787853 167837696 7860 33554432000 4194304 5964478 140735868927616 139961799920032 4403701 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 163904
[startup+6.30029 s]
/proc/loadavg: 4.00 3.98 3.92 5/181 21110
/proc/meminfo: memFree=29141452/32873648 swapFree=7368/7368
[pid=21107] ppid=21105 vsize=164172 CPUtime=12.57 cores=0,2,4,6
/proc/21107/stat : 21107 (pwbo2.01) S 21105 21107 20320 0 -1 4202496 14593 0 0 0 1249 8 0 0 20 0 3 0 285787852 168112128 12443 33554432000 4194304 5964478 140735868927616 140735868927136 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21107/statm: 41043 12443 198 433 0 40607 0
[pid=21107/tid=21109] ppid=21105 vsize=164172 CPUtime=6.27 cores=0,2,4,6
/proc/21107/task/21109/stat : 21109 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 8840 0 0 0 620 7 0 0 20 0 3 0 285787853 168112128 12443 33554432000 4194304 5964478 140735868927616 139961810409464 5136474 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21107/tid=21110] ppid=21105 vsize=164172 CPUtime=6.26 cores=0,2,4,6
/proc/21107/task/21110/stat : 21110 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 4730 0 0 0 626 0 0 0 20 0 3 0 285787853 168112128 12443 33554432000 4194304 5964478 140735868927616 139961799919960 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 164172
[startup+12.7003 s]
/proc/loadavg: 4.00 3.98 3.92 5/181 21110
/proc/meminfo: memFree=29078996/32873648 swapFree=7368/7368
[pid=21107] ppid=21105 vsize=165016 CPUtime=25.36 cores=0,2,4,6
/proc/21107/stat : 21107 (pwbo2.01) S 21105 21107 20320 0 -1 4202496 28422 0 0 0 2513 23 0 0 20 0 3 0 285787852 168976384 26272 33554432000 4194304 5964478 140735868927616 140735868927136 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21107/statm: 41254 26272 198 433 0 40818 0
[pid=21107/tid=21109] ppid=21105 vsize=165016 CPUtime=12.67 cores=0,2,4,6
/proc/21107/task/21109/stat : 21109 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 14793 0 0 0 1253 14 0 0 20 0 3 0 285787853 168976384 26272 33554432000 4194304 5964478 140735868927616 139961810409272 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21107/tid=21110] ppid=21105 vsize=165016 CPUtime=12.66 cores=0,2,4,6
/proc/21107/task/21110/stat : 21110 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 12606 0 0 0 1257 9 0 0 20 0 3 0 285787853 168976384 26272 33554432000 4194304 5964478 140735868927616 139961799919864 4400416 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) 165016
[startup+25.5004 s]
/proc/loadavg: 4.00 3.98 3.92 5/181 21110
/proc/meminfo: memFree=29001236/32873648 swapFree=7368/7368
[pid=21107] ppid=21105 vsize=231572 CPUtime=50.95 cores=0,2,4,6
/proc/21107/stat : 21107 (pwbo2.01) S 21105 21107 20320 0 -1 4202496 42164 0 0 0 5041 54 0 0 20 0 3 0 285787852 237129728 40014 33554432000 4194304 5964478 140735868927616 140735868927136 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21107/statm: 57893 40014 198 433 0 57457 0
[pid=21107/tid=21109] ppid=21105 vsize=231572 CPUtime=25.47 cores=0,2,4,6
/proc/21107/task/21109/stat : 21109 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 23965 0 0 0 2511 36 0 0 20 0 3 0 285787853 237129728 40014 33554432000 4194304 5964478 140735868927616 139961810409464 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21107/tid=21110] ppid=21105 vsize=231572 CPUtime=25.46 cores=0,2,4,6
/proc/21107/task/21110/stat : 21110 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 17176 0 0 0 2527 19 0 0 20 0 3 0 285787853 237129728 40014 33554432000 4194304 5964478 140735868927616 139961799919688 4399904 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) 231572
[startup+51.1003 s]
/proc/loadavg: 3.95 3.97 3.91 5/181 21151
/proc/meminfo: memFree=29458768/32873648 swapFree=7368/7368
[pid=21107] ppid=21105 vsize=364592 CPUtime=102.13 cores=0,2,4,6
/proc/21107/stat : 21107 (pwbo2.01) S 21105 21107 20320 0 -1 4202496 80792 0 0 0 10126 87 0 0 20 0 3 0 285787852 373342208 78636 33554432000 4194304 5964478 140735868927616 140735868927136 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21107/statm: 91148 78637 198 433 0 90712 0
[pid=21107/tid=21109] ppid=21105 vsize=364592 CPUtime=51.07 cores=0,2,4,6
/proc/21107/task/21109/stat : 21109 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 46984 0 0 0 5055 52 0 0 20 0 3 0 285787853 373342208 78638 33554432000 4194304 5964478 140735868927616 139961810409464 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21107/tid=21110] ppid=21105 vsize=364592 CPUtime=51.06 cores=0,2,4,6
/proc/21107/task/21110/stat : 21110 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 32787 0 0 0 5069 37 0 0 20 0 3 0 285787853 373342208 78638 33554432000 4194304 5964478 140735868927616 139961799919960 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 364592
[startup+102.307 s]
/proc/loadavg: 3.98 3.97 3.91 5/181 21151
/proc/meminfo: memFree=29075292/32873648 swapFree=7368/7368
[pid=21107] ppid=21105 vsize=563236 CPUtime=204.5 cores=0,2,4,6
/proc/21107/stat : 21107 (pwbo2.01) S 21105 21107 20320 0 -1 4202496 119207 0 0 0 20347 103 0 0 20 0 3 0 285787852 576753664 117432 33554432000 4194304 5964478 140735868927616 140735868927136 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21107/statm: 140809 117432 198 433 0 140373 0
[pid=21107/tid=21109] ppid=21105 vsize=563236 CPUtime=102.25 cores=0,2,4,6
/proc/21107/task/21109/stat : 21109 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 69269 0 0 0 10162 63 0 0 20 0 3 0 285787853 576753664 117432 33554432000 4194304 5964478 140735868927616 139961810409464 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21107/tid=21110] ppid=21105 vsize=563236 CPUtime=102.26 cores=0,2,4,6
/proc/21107/task/21110/stat : 21110 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 48915 0 0 0 10182 44 0 0 20 0 3 0 285787853 576753664 117432 33554432000 4194304 5964478 140735868927616 139961799919688 4400062 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.5
Current children cumulated vsize (KiB) 563236
[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 21151
/proc/meminfo: memFree=28730292/32873648 swapFree=7368/7368
[pid=21107] ppid=21105 vsize=629692 CPUtime=324.42 cores=0,2,4,6
/proc/21107/stat : 21107 (pwbo2.01) S 21105 21107 20320 0 -1 4202496 144076 0 0 0 32327 115 0 0 20 0 3 0 285787852 644804608 142302 33554432000 4194304 5964478 140735868927616 140735868927136 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21107/statm: 157423 142302 198 433 0 156987 0
[pid=21107/tid=21109] ppid=21105 vsize=629692 CPUtime=162.21 cores=0,2,4,6
/proc/21107/task/21109/stat : 21109 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 77908 0 0 0 16153 68 0 0 20 0 3 0 285787853 644804608 142302 33554432000 4194304 5964478 140735868927616 139961810409376 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21107/tid=21110] ppid=21105 vsize=629692 CPUtime=162.25 cores=0,2,4,6
/proc/21107/task/21110/stat : 21110 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 65145 0 0 0 16173 52 0 0 20 0 3 0 285787853 644804608 142302 33554432000 4194304 5964478 140735868927616 139961799919688 4400051 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.42
Current children cumulated vsize (KiB) 629692
[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 21155
/proc/meminfo: memFree=28467420/32873648 swapFree=7368/7368
[pid=21107] ppid=21105 vsize=827316 CPUtime=444.35 cores=0,2,4,6
/proc/21107/stat : 21107 (pwbo2.01) S 21105 21107 20320 0 -1 4202496 193679 0 0 0 44296 139 0 0 20 0 3 0 285787852 847171584 191861 33554432000 4194304 5964478 140735868927616 140735868927136 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21107/statm: 206829 191861 198 433 0 206393 0
[pid=21107/tid=21109] ppid=21105 vsize=827316 CPUtime=222.21 cores=0,2,4,6
/proc/21107/task/21109/stat : 21109 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 112858 0 0 0 22133 88 0 0 20 0 3 0 285787853 847171584 191861 33554432000 4194304 5964478 140735868927616 139961810409464 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21107/tid=21110] ppid=21105 vsize=827316 CPUtime=222.22 cores=0,2,4,6
/proc/21107/task/21110/stat : 21110 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 79798 0 0 0 22163 59 0 0 20 0 3 0 285787853 847171584 191861 33554432000 4194304 5964478 140735868927616 139961799919840 4400040 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) 827316
[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 21155
/proc/meminfo: memFree=28105872/32873648 swapFree=7368/7368
[pid=21107] ppid=21105 vsize=959948 CPUtime=564.29 cores=0,2,4,6
/proc/21107/stat : 21107 (pwbo2.01) S 21105 21107 20320 0 -1 4202496 231363 0 0 0 56267 162 0 0 20 0 3 0 285787852 982986752 229507 33554432000 4194304 5964478 140735868927616 140735868927136 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21107/statm: 239987 229507 198 433 0 239551 0
[pid=21107/tid=21109] ppid=21105 vsize=959948 CPUtime=282.18 cores=0,2,4,6
/proc/21107/task/21109/stat : 21109 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 145396 0 0 0 28109 109 0 0 20 0 3 0 285787853 982986752 229507 33554432000 4194304 5964478 140735868927616 139961810409464 5136474 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21107/tid=21110] ppid=21105 vsize=959948 CPUtime=282.2 cores=0,2,4,6
/proc/21107/task/21110/stat : 21110 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 84944 0 0 0 28158 62 0 0 20 0 3 0 285787853 982986752 229507 33554432000 4194304 5964478 140735868927616 139961799919688 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.29
Current children cumulated vsize (KiB) 959948
[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 21155
/proc/meminfo: memFree=27830020/32873648 swapFree=7368/7368
[pid=21107] ppid=21105 vsize=1158616 CPUtime=684.26 cores=0,2,4,6
/proc/21107/stat : 21107 (pwbo2.01) S 21105 21107 20320 0 -1 4202496 265056 0 0 0 68249 177 0 0 20 0 3 0 285787852 1186422784 264804 33554432000 4194304 5964478 140735868927616 140735868927136 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21107/statm: 289654 264804 198 433 0 289218 0
################
# More data... #
################
Current children cumulated vsize (KiB) 1158616
[startup+402.3 s]
/proc/loadavg: 4.06 3.99 3.92 5/181 21155
/proc/meminfo: memFree=27676040/32873648 swapFree=7368/7368
[pid=21107] ppid=21105 vsize=1224580 CPUtime=804.25 cores=0,2,4,6
/proc/21107/stat : 21107 (pwbo2.01) S 21105 21107 20320 0 -1 4202496 271747 0 0 0 80245 180 0 0 20 0 3 0 285787852 1253969920 271495 33554432000 4194304 5964478 140735868927616 140735868927136 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21107/statm: 306145 271495 198 433 0 305709 0
[pid=21107/tid=21109] ppid=21105 vsize=1224580 CPUtime=402.19 cores=0,2,4,6
/proc/21107/task/21109/stat : 21109 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 167142 0 0 0 40097 122 0 0 20 0 3 0 285787853 1253969920 271495 33554432000 4194304 5964478 140735868927616 139961810409568 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21107/tid=21110] ppid=21105 vsize=1224580 CPUtime=402.21 cores=0,2,4,6
/proc/21107/task/21110/stat : 21110 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 103582 0 0 0 40150 71 0 0 20 0 3 0 285787853 1253969920 271495 33554432000 4194304 5964478 140735868927616 139961799919928 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.25
Current children cumulated vsize (KiB) 1224580
[startup+462.3 s]
/proc/loadavg: 4.02 3.99 3.92 5/181 21155
/proc/meminfo: memFree=27542892/32873648 swapFree=7368/7368
[pid=21107] ppid=21105 vsize=1224956 CPUtime=924.23 cores=0,2,4,6
/proc/21107/stat : 21107 (pwbo2.01) S 21105 21107 20320 0 -1 4202496 271895 0 0 0 92243 180 0 0 20 0 3 0 285787852 1254354944 271643 33554432000 4194304 5964478 140735868927616 140735868927136 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21107/statm: 306239 271643 198 433 0 305803 0
[pid=21107/tid=21109] ppid=21105 vsize=1224956 CPUtime=462.19 cores=0,2,4,6
/proc/21107/task/21109/stat : 21109 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 167190 0 0 0 46096 123 0 0 20 0 3 0 285787853 1254354944 271643 33554432000 4194304 5964478 140735868927616 139961810409568 4400051 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21107/tid=21110] ppid=21105 vsize=1224956 CPUtime=462.21 cores=0,2,4,6
/proc/21107/task/21110/stat : 21110 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 103682 0 0 0 46149 72 0 0 20 0 3 0 285787853 1254354944 271643 33554432000 4194304 5964478 140735868927616 139961799919688 4388475 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.23
Current children cumulated vsize (KiB) 1224956
[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21156
/proc/meminfo: memFree=27474684/32873648 swapFree=7368/7368
[pid=21107] ppid=21105 vsize=1291468 CPUtime=1044.21 cores=0,2,4,6
/proc/21107/stat : 21107 (pwbo2.01) S 21105 21107 20320 0 -1 4202496 288753 0 0 0 104232 189 0 0 20 0 3 0 285787852 1322463232 288501 33554432000 4194304 5964478 140735868927616 140735868927136 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21107/statm: 322867 288501 198 433 0 322431 0
[pid=21107/tid=21109] ppid=21105 vsize=1291468 CPUtime=522.19 cores=0,2,4,6
/proc/21107/task/21109/stat : 21109 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 167707 0 0 0 52095 124 0 0 20 0 3 0 285787853 1322463232 288501 33554432000 4194304 5964478 140735868927616 139961810409464 4400040 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21107/tid=21110] ppid=21105 vsize=1291468 CPUtime=522.21 cores=0,2,4,6
/proc/21107/task/21110/stat : 21110 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 120023 0 0 0 52140 81 0 0 20 0 3 0 285787853 1322463232 288501 33554432000 4194304 5964478 140735868927616 139961799920032 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.21
Current children cumulated vsize (KiB) 1291468
[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 21157
/proc/meminfo: memFree=27349588/32873648 swapFree=7368/7368
[pid=21107] ppid=21105 vsize=1359548 CPUtime=1164.2 cores=0,2,4,6
/proc/21107/stat : 21107 (pwbo2.01) S 21105 21107 20320 0 -1 4202496 319842 0 0 0 116212 208 0 0 20 0 3 0 285787852 1392177152 319590 33554432000 4194304 5964478 140735868927616 140735868927136 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21107/statm: 339887 319590 198 433 0 339451 0
[pid=21107/tid=21109] ppid=21105 vsize=1359548 CPUtime=582.2 cores=0,2,4,6
/proc/21107/task/21109/stat : 21109 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 196994 0 0 0 58078 142 0 0 20 0 3 0 285787853 1392177152 319590 33554432000 4194304 5964478 140735868927616 139961810409464 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21107/tid=21110] ppid=21105 vsize=1359548 CPUtime=582.22 cores=0,2,4,6
/proc/21107/task/21110/stat : 21110 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 121825 0 0 0 58139 83 0 0 20 0 3 0 285787853 1392177152 319590 33554432000 4194304 5964478 140735868927616 139961799919928 4221120 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) 1359548
[startup+642.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21157
/proc/meminfo: memFree=27143660/32873648 swapFree=7368/7368
[pid=21107] ppid=21105 vsize=1491288 CPUtime=1284.19 cores=0,2,4,6
/proc/21107/stat : 21107 (pwbo2.01) S 21105 21107 20320 0 -1 4202496 349782 0 0 0 128144 275 0 0 20 0 3 0 285787852 1527078912 349530 33554432000 4194304 5964478 140735868927616 140735868927136 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21107/statm: 372822 349530 198 433 0 372386 0
[pid=21107/tid=21109] ppid=21105 vsize=1491288 CPUtime=642.21 cores=0,2,4,6
/proc/21107/task/21109/stat : 21109 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 226877 0 0 0 64011 210 0 0 20 0 3 0 285787853 1527078912 349530 33554432000 4194304 5964478 140735868927616 139961810409464 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21107/tid=21110] ppid=21105 vsize=1491288 CPUtime=642.23 cores=0,2,4,6
/proc/21107/task/21110/stat : 21110 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 121882 0 0 0 64139 84 0 0 20 0 3 0 285787853 1527078912 349530 33554432000 4194304 5964478 140735868927616 139961799919688 4400053 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.19
Current children cumulated vsize (KiB) 1491288
Solver just ended. Dumping a history of the last processes samples
[startup+652.7 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21157
/proc/meminfo: memFree=27105576/32873648 swapFree=7368/7368
[pid=21107] ppid=21105 vsize=1557016 CPUtime=1304.97 cores=0,2,4,6
/proc/21107/stat : 21107 (pwbo2.01) S 21105 21107 20320 0 -1 4202496 354599 0 0 0 130209 288 0 0 20 0 3 0 285787852 1594384384 354347 33554432000 4194304 5964478 140735868927616 140735868927136 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21107/statm: 389254 354347 198 433 0 388818 0
[pid=21107/tid=21109] ppid=21105 vsize=1557016 CPUtime=652.6 cores=0,2,4,6
/proc/21107/task/21109/stat : 21109 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 231675 0 0 0 65036 224 0 0 20 0 3 0 285787853 1594384384 354347 33554432000 4194304 5964478 140735868927616 139961810409464 4400073 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21107/tid=21110] ppid=21105 vsize=1557016 CPUtime=652.62 cores=0,2,4,6
/proc/21107/task/21110/stat : 21110 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 121901 0 0 0 65178 84 0 0 20 0 3 0 285787853 1594384384 354347 33554432000 4194304 5964478 140735868927616 139961799919688 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1304.97
Current children cumulated vsize (KiB) 1557016
[startup+659.1 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21157
/proc/meminfo: memFree=27081876/32873648 swapFree=7368/7368
[pid=21107] ppid=21105 vsize=1557016 CPUtime=1317.77 cores=0,2,4,6
/proc/21107/stat : 21107 (pwbo2.01) S 21105 21107 20320 0 -1 4202496 357723 0 0 0 131482 295 0 0 20 0 3 0 285787852 1594384384 357471 33554432000 4194304 5964478 140735868927616 140735868927136 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21107/statm: 389254 357471 198 433 0 388818 0
[pid=21107/tid=21109] ppid=21105 vsize=1557016 CPUtime=659 cores=0,2,4,6
/proc/21107/task/21109/stat : 21109 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 234793 0 0 0 65670 230 0 0 20 0 3 0 285787853 1594384384 357471 33554432000 4194304 5964478 140735868927616 139961810409464 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21107/tid=21110] ppid=21105 vsize=1557016 CPUtime=659.02 cores=0,2,4,6
/proc/21107/task/21110/stat : 21110 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 121907 0 0 0 65817 85 0 0 20 0 3 0 285787853 1594384384 357471 33554432000 4194304 5964478 140735868927616 139961799919688 4400051 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1317.77
Current children cumulated vsize (KiB) 1557016
[startup+662.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21157
/proc/meminfo: memFree=27072204/32873648 swapFree=7368/7368
[pid=21107] ppid=21105 vsize=1557016 CPUtime=1324.17 cores=0,2,4,6
/proc/21107/stat : 21107 (pwbo2.01) S 21105 21107 20320 0 -1 4202496 359038 0 0 0 132118 299 0 0 20 0 3 0 285787852 1594384384 358786 33554432000 4194304 5964478 140735868927616 140735868927136 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21107/statm: 389254 358786 198 433 0 388818 0
[pid=21107/tid=21109] ppid=21105 vsize=1557016 CPUtime=662.2 cores=0,2,4,6
/proc/21107/task/21109/stat : 21109 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 236108 0 0 0 65984 236 0 0 20 0 3 0 285787853 1594384384 358786 33554432000 4194304 5964478 140735868927616 139961810409464 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21107/tid=21110] ppid=21105 vsize=1557016 CPUtime=662.22 cores=0,2,4,6
/proc/21107/task/21110/stat : 21110 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 121907 0 0 0 66137 85 0 0 20 0 3 0 285787853 1594384384 358786 33554432000 4194304 5964478 140735868927616 139961799919688 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1324.17
Current children cumulated vsize (KiB) 1557016
[startup+663.9 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21157
/proc/meminfo: memFree=27070468/32873648 swapFree=7368/7368
[pid=21107] ppid=21105 vsize=1557016 CPUtime=1327.36 cores=0,2,4,6
/proc/21107/stat : 21107 (pwbo2.01) S 21105 21107 20320 0 -1 4202496 359744 0 0 0 132436 300 0 0 20 0 3 0 285787852 1594384384 359492 33554432000 4194304 5964478 140735868927616 140735868927136 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21107/statm: 389254 359492 198 433 0 388818 0
[pid=21107/tid=21109] ppid=21105 vsize=1557016 CPUtime=663.8 cores=0,2,4,6
/proc/21107/task/21109/stat : 21109 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 236814 0 0 0 66143 237 0 0 20 0 3 0 285787853 1594384384 359492 33554432000 4194304 5964478 140735868927616 139961810409464 4400099 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21107/tid=21110] ppid=21105 vsize=1557016 CPUtime=663.82 cores=0,2,4,6
/proc/21107/task/21110/stat : 21110 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 121907 0 0 0 66297 85 0 0 20 0 3 0 285787853 1594384384 359492 33554432000 4194304 5964478 140735868927616 139961799919688 4400040 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1327.36
Current children cumulated vsize (KiB) 1557016
[startup+665.507 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21157
/proc/meminfo: memFree=27066236/32873648 swapFree=7368/7368
[pid=21107] ppid=21105 vsize=1557016 CPUtime=1330.58 cores=0,2,4,6
/proc/21107/stat : 21107 (pwbo2.01) S 21105 21107 20320 0 -1 4202496 360465 0 0 0 132755 303 0 0 20 0 3 0 285787852 1594384384 360213 33554432000 4194304 5964478 140735868927616 140735868927136 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21107/statm: 389254 360213 198 433 0 388818 0
[pid=21107/tid=21109] ppid=21105 vsize=1557016 CPUtime=665.41 cores=0,2,4,6
/proc/21107/task/21109/stat : 21109 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 237535 0 0 0 66302 239 0 0 20 0 3 0 285787853 1594384384 360213 33554432000 4194304 5964478 140735868927616 139961810409464 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21107/tid=21110] ppid=21105 vsize=1557016 CPUtime=665.43 cores=0,2,4,6
/proc/21107/task/21110/stat : 21110 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 121907 0 0 0 66458 85 0 0 20 0 3 0 285787853 1594384384 360213 33554432000 4194304 5964478 140735868927616 139961799919688 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1330.58
Current children cumulated vsize (KiB) 1557016
[startup+665.9 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21157
/proc/meminfo: memFree=27066236/32873648 swapFree=7368/7368
[pid=21107] ppid=21105 vsize=1557016 CPUtime=1331.37 cores=0,2,4,6
/proc/21107/stat : 21107 (pwbo2.01) S 21105 21107 20320 0 -1 4202496 360590 0 0 0 132834 303 0 0 20 0 3 0 285787852 1594384384 360338 33554432000 4194304 5964478 140735868927616 140735868927136 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21107/statm: 389254 360338 198 433 0 388818 0
[pid=21107/tid=21109] ppid=21105 vsize=1557016 CPUtime=665.8 cores=0,2,4,6
/proc/21107/task/21109/stat : 21109 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 237660 0 0 0 66340 240 0 0 20 0 3 0 285787853 1594384384 360338 33554432000 4194304 5964478 140735868927616 139961810409464 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21107/tid=21110] ppid=21105 vsize=1557016 CPUtime=665.82 cores=0,2,4,6
/proc/21107/task/21110/stat : 21110 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 121907 0 0 0 66497 85 0 0 20 0 3 0 285787853 1594384384 360338 33554432000 4194304 5964478 140735868927616 139961799919688 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1331.37
Current children cumulated vsize (KiB) 1557016
[startup+666.1 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21157
/proc/meminfo: memFree=27066236/32873648 swapFree=7368/7368
[pid=21107] ppid=21105 vsize=1557016 CPUtime=1331.77 cores=0,2,4,6
/proc/21107/stat : 21107 (pwbo2.01) S 21105 21107 20320 0 -1 4202496 360651 0 0 0 132874 303 0 0 20 0 3 0 285787852 1594384384 360399 33554432000 4194304 5964478 140735868927616 140735868927136 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21107/statm: 389254 360399 198 433 0 388818 0
[pid=21107/tid=21109] ppid=21105 vsize=1557016 CPUtime=666 cores=0,2,4,6
/proc/21107/task/21109/stat : 21109 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 237721 0 0 0 66360 240 0 0 20 0 3 0 285787853 1594384384 360399 33554432000 4194304 5964478 140735868927616 139961810409464 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21107/tid=21110] ppid=21105 vsize=1557016 CPUtime=666.02 cores=0,2,4,6
/proc/21107/task/21110/stat : 21110 (pwbo2.01) R 21105 21107 20320 0 -1 4202560 121907 0 0 0 66517 85 0 0 20 0 3 0 285787853 1594384384 360399 33554432000 4194304 5964478 140735868927616 139961799919688 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1331.77
Current children cumulated vsize (KiB) 1557016
[startup+666.2 s]
/proc/loadavg: 4.00 3.99 3.92 5/181 21157
/proc/meminfo: memFree=27066236/32873648 swapFree=7368/7368
[pid=21107] ppid=21105 vsize=0 CPUtime=1332.07 cores=0,2,4,6
/proc/21107/stat : 21107 (pwbo2.01) Z 21105 21107 20320 0 -1 4203532 360881 0 0 0 132887 320 0 0 20 0 2 0 285787852 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21107/statm: 0 0 0 0 0 0 0
[pid=21107/tid=21110] ppid=21105 vsize=0 CPUtime=666.12 cores=0,2,4,6
/proc/21107/task/21110/stat : 21110 (pwbo2.01) R 21105 21107 20320 0 -1 4203588 121907 0 0 0 66522 90 0 0 20 0 2 0 285787853 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1332.07
Current children cumulated vsize (KiB) 0
Child status: 255
Real time (s): 666.217
CPU time (s): 1332.24
CPU user time (s): 1328.9
CPU system time (s): 3.34149
CPU usage (%): 199.971
Max. virtual memory (cumulated for all children) (KiB): 1557016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1328.9
system time used= 3.34149
maximum resident set size= 1442476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 360881
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= 708
involuntary context switches= 1611
runsolver used 1.26281 second user time and 2.78658 second system time
The end