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-3704101-1338089241/watcher-3704101-1338089241 -o /tmp/evaluation-result-3704101-1338089241/solver-3704101-1338089241 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704101-1338089241.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.16 2.05 1.93 3/177 9575
/proc/meminfo: memFree=31347944/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=4520 CPUtime=0 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) R 9573 9575 9022 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275052658 4628480 549 33554432000 4194304 5965102 140735278626032 140734986633144 5179915 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 1130 553 166 433 0 669 0
[startup+0.0897209 s]
/proc/loadavg: 2.16 2.05 1.93 3/177 9575
/proc/meminfo: memFree=31347944/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=85344 CPUtime=0.08 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 2109 0 0 0 8 0 0 0 20 0 2 0 275052658 87392256 1911 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 21336 1911 190 433 0 20900 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 85344
[startup+0.100597 s]
/proc/loadavg: 2.16 2.05 1.93 3/177 9575
/proc/meminfo: memFree=31347944/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=85344 CPUtime=0.09 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 2134 0 0 0 9 0 0 0 20 0 2 0 275052658 87392256 1936 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 21336 1936 190 433 0 20900 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85344
[startup+0.300113 s]
/proc/loadavg: 2.16 2.05 1.93 3/177 9575
/proc/meminfo: memFree=31347944/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=85344 CPUtime=0.29 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 2606 0 0 0 29 0 0 0 20 0 2 0 275052658 87392256 2408 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 21336 2408 190 433 0 20900 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85344
[startup+0.700111 s]
/proc/loadavg: 2.16 2.05 1.93 3/177 9575
/proc/meminfo: memFree=31347944/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=85344 CPUtime=0.69 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 3490 0 0 0 69 0 0 0 20 0 2 0 275052658 87392256 3292 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 21336 3292 190 433 0 20900 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85344
[startup+1.50022 s]
/proc/loadavg: 2.16 2.05 1.93 3/179 9577
/proc/meminfo: memFree=31331420/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=85344 CPUtime=1.49 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 5128 0 0 0 148 1 0 0 20 0 2 0 275052658 87392256 4930 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 21336 4931 190 433 0 20900 0
[pid=9575/tid=9577] ppid=9573 vsize=85344 CPUtime=1.47 cores=0,2,4,6
/proc/9575/task/9577/stat : 9577 (pwbo2.0) R 9573 9575 9022 0 -1 4202560 3976 0 0 0 147 0 0 0 20 0 2 0 275052659 87392256 4931 33554432000 4194304 5965102 140735278626032 140489333827576 5137076 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85344
[startup+3.10022 s]
/proc/loadavg: 2.16 2.05 1.93 3/179 9577
/proc/meminfo: memFree=31322740/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=85344 CPUtime=3.08 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 6584 0 0 0 307 1 0 0 20 0 2 0 275052658 87392256 6386 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 21336 6386 190 433 0 20900 0
[pid=9575/tid=9577] ppid=9573 vsize=85344 CPUtime=3.07 cores=0,2,4,6
/proc/9575/task/9577/stat : 9577 (pwbo2.0) R 9573 9575 9022 0 -1 4202560 5431 0 0 0 305 2 0 0 20 0 2 0 275052659 87392256 6386 33554432000 4194304 5965102 140735278626032 140489333827576 4383069 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 85344
[startup+6.30022 s]
/proc/loadavg: 2.14 2.05 1.93 3/179 9577
/proc/meminfo: memFree=31315176/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=85344 CPUtime=6.29 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 8099 0 0 0 627 2 0 0 20 0 2 0 275052658 87392256 7901 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 21336 7902 190 433 0 20900 0
[pid=9575/tid=9577] ppid=9573 vsize=85344 CPUtime=6.27 cores=0,2,4,6
/proc/9575/task/9577/stat : 9577 (pwbo2.0) R 9573 9575 9022 0 -1 4202560 6947 0 0 0 625 2 0 0 20 0 2 0 275052659 87392256 7902 33554432000 4194304 5965102 140735278626032 140489333827576 5137076 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85344
[startup+12.7002 s]
/proc/loadavg: 2.13 2.05 1.93 3/179 9577
/proc/meminfo: memFree=31293996/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=85560 CPUtime=12.68 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 13029 0 0 0 1264 4 0 0 20 0 2 0 275052658 87613440 12831 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 21390 12831 190 433 0 20954 0
[pid=9575/tid=9577] ppid=9573 vsize=85560 CPUtime=12.67 cores=0,2,4,6
/proc/9575/task/9577/stat : 9577 (pwbo2.0) R 9573 9575 9022 0 -1 4202560 11876 0 0 0 1262 5 0 0 20 0 2 0 275052659 87613440 12831 33554432000 4194304 5965102 140735278626032 140489333827576 4401127 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 85560
[startup+25.5002 s]
/proc/loadavg: 2.10 2.04 1.93 3/179 9577
/proc/meminfo: memFree=31259892/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=151204 CPUtime=25.48 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 19206 0 0 0 2542 6 0 0 20 0 2 0 275052658 154832896 19009 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 37801 19009 190 433 0 37365 0
[pid=9575/tid=9577] ppid=9573 vsize=151204 CPUtime=25.47 cores=0,2,4,6
/proc/9575/task/9577/stat : 9577 (pwbo2.0) R 9573 9575 9022 0 -1 4202560 18053 0 0 0 2540 7 0 0 20 0 2 0 275052659 154832896 19009 33554432000 4194304 5965102 140735278626032 140489333827576 4401009 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 151204
[startup+51.1002 s]
/proc/loadavg: 2.07 2.04 1.93 3/179 9577
/proc/meminfo: memFree=31205904/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=151364 CPUtime=51.05 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 29151 0 0 0 5095 10 0 0 20 0 2 0 275052658 154996736 28940 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 37841 28940 190 433 0 37405 0
[pid=9575/tid=9577] ppid=9573 vsize=151364 CPUtime=51.04 cores=0,2,4,6
/proc/9575/task/9577/stat : 9577 (pwbo2.0) R 9573 9575 9022 0 -1 4202560 27998 0 0 0 5093 11 0 0 20 0 2 0 275052659 154996736 28940 33554432000 4194304 5965102 140735278626032 140489333827624 4383059 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 151364
[startup+102.306 s]
/proc/loadavg: 2.03 2.03 1.93 3/179 9577
/proc/meminfo: memFree=31162712/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=217140 CPUtime=102.24 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 37387 0 0 0 10210 14 0 0 20 0 2 0 275052658 222351360 37575 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 54285 37575 190 433 0 53849 0
[pid=9575/tid=9577] ppid=9573 vsize=217140 CPUtime=102.23 cores=0,2,4,6
/proc/9575/task/9577/stat : 9577 (pwbo2.0) R 9573 9575 9022 0 -1 4202560 36234 0 0 0 10207 16 0 0 20 0 2 0 275052659 222351360 37575 33554432000 4194304 5965102 140735278626032 140489333827576 4383291 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 217140
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/180 9580
/proc/meminfo: memFree=31121692/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=217140 CPUtime=162.2 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 45730 0 0 0 16203 17 0 0 20 0 2 0 275052658 222351360 45940 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 54285 45940 190 433 0 53849 0
[pid=9575/tid=9577] ppid=9573 vsize=217140 CPUtime=162.2 cores=0,2,4,6
/proc/9575/task/9577/stat : 9577 (pwbo2.0) R 9573 9575 9022 0 -1 4202560 44577 0 0 0 16200 20 0 0 20 0 2 0 275052659 222351360 45940 33554432000 4194304 5965102 140735278626032 140489333827576 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 217140
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/179 9580
/proc/meminfo: memFree=31071824/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=283324 CPUtime=222.19 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 54943 0 0 0 22198 21 0 0 20 0 2 0 275052658 290123776 55233 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 70831 55233 190 433 0 70395 0
[pid=9575/tid=9577] ppid=9573 vsize=283324 CPUtime=222.19 cores=0,2,4,6
/proc/9575/task/9577/stat : 9577 (pwbo2.0) R 9573 9575 9022 0 -1 4202560 53790 0 0 0 22194 25 0 0 20 0 2 0 275052659 290123776 55233 33554432000 4194304 5965102 140735278626032 140489333827384 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 283324
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/179 9581
/proc/meminfo: memFree=31000564/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=349400 CPUtime=282.18 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 73318 0 0 0 28192 26 0 0 20 0 2 0 275052658 357785600 74113 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 87350 74113 190 433 0 86914 0
[pid=9575/tid=9577] ppid=9573 vsize=349400 CPUtime=282.19 cores=0,2,4,6
/proc/9575/task/9577/stat : 9577 (pwbo2.0) R 9573 9575 9022 0 -1 4202560 72165 0 0 0 28188 31 0 0 20 0 2 0 275052659 357785600 74113 33554432000 4194304 5965102 140735278626032 140489333827576 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 349400
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/179 9581
/proc/meminfo: memFree=30928900/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=415296 CPUtime=342.16 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 85988 0 0 0 34186 30 0 0 20 0 2 0 275052658 425263104 86893 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 103824 86893 190 433 0 103388 0
[pid=9575/tid=9577] ppid=9573 vsize=415296 CPUtime=342.18 cores=0,2,4,6
/proc/9575/task/9577/stat : 9577 (pwbo2.0) R 9573 9575 9022 0 -1 4202560 84835 0 0 0 34182 36 0 0 20 0 2 0 275052659 425263104 86893 33554432000 4194304 5965102 140735278626032 140489333827576 4400981 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 415296
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 9581
/proc/meminfo: memFree=30810832/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=481264 CPUtime=402.15 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 115394 0 0 0 40174 41 0 0 20 0 2 0 275052658 492814336 116299 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 120316 116299 190 433 0 119880 0
[pid=9575/tid=9577] ppid=9573 vsize=481264 CPUtime=402.18 cores=0,2,4,6
/proc/9575/task/9577/stat : 9577 (pwbo2.0) R 9573 9575 9022 0 -1 4202560 114241 0 0 0 40171 47 0 0 20 0 2 0 275052659 492814336 116299 33554432000 4194304 5965102 140735278626032 140489333827576 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 481264
[startup+462.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/179 9581
/proc/meminfo: memFree=30802148/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=481264 CPUtime=462.14 cores=0,2,4,6
################
# More data... #
################
/proc/9575/task/9577/stat : 9577 (pwbo2.0) R 9573 9575 9022 0 -1 4202560 219755 0 0 0 130114 104 0 0 20 0 2 0 275052659 970309632 221984 33554432000 4194304 5965102 140735278626032 140489333827576 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 947568
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 9590
/proc/meminfo: memFree=30259040/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=948052 CPUtime=1361.96 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 227299 0 0 0 136109 87 0 0 20 0 2 0 275052658 970805248 228375 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 237013 228375 190 433 0 236577 0
[pid=9575/tid=9577] ppid=9573 vsize=948052 CPUtime=1362.18 cores=0,2,4,6
/proc/9575/task/9577/stat : 9577 (pwbo2.0) R 9573 9575 9022 0 -1 4202560 226146 0 0 0 136110 108 0 0 20 0 2 0 275052659 970805248 228375 33554432000 4194304 5965102 140735278626032 140489333827576 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 948052
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 9590
/proc/meminfo: memFree=30248912/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=948052 CPUtime=1421.96 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 227302 0 0 0 142109 87 0 0 20 0 2 0 275052658 970805248 228378 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 237013 228378 190 433 0 236577 0
[pid=9575/tid=9577] ppid=9573 vsize=948052 CPUtime=1422.19 cores=0,2,4,6
/proc/9575/task/9577/stat : 9577 (pwbo2.0) R 9573 9575 9022 0 -1 4202560 226149 0 0 0 142110 109 0 0 20 0 2 0 275052659 970805248 228378 33554432000 4194304 5965102 140735278626032 140489333827576 4401155 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 948052
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9590
/proc/meminfo: memFree=30244684/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=948160 CPUtime=1481.92 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 227358 0 0 0 148105 87 0 0 20 0 2 0 275052658 970915840 228416 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 237040 228416 190 433 0 236604 0
[pid=9575/tid=9577] ppid=9573 vsize=948160 CPUtime=1482.16 cores=0,2,4,6
/proc/9575/task/9577/stat : 9577 (pwbo2.0) R 9573 9575 9022 0 -1 4202560 226205 0 0 0 148106 110 0 0 20 0 2 0 275052659 970915840 228416 33554432000 4194304 5965102 140735278626032 140489333827624 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 948160
[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 1.95 3/179 9591
/proc/meminfo: memFree=30240860/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=948160 CPUtime=1541.9 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 227379 0 0 0 154103 87 0 0 20 0 2 0 275052658 970915840 228242 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 237040 228242 190 433 0 236604 0
[pid=9575/tid=9577] ppid=9573 vsize=948160 CPUtime=1542.15 cores=0,2,4,6
/proc/9575/task/9577/stat : 9577 (pwbo2.0) R 9573 9575 9022 0 -1 4202560 226226 0 0 0 154104 111 0 0 20 0 2 0 275052659 970915840 228242 33554432000 4194304 5965102 140735278626032 140489333827608 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 948160
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 9591
/proc/meminfo: memFree=30237044/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=948160 CPUtime=1601.88 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 227416 0 0 0 160100 88 0 0 20 0 2 0 275052658 970915840 228118 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 237040 228118 190 433 0 236604 0
[pid=9575/tid=9577] ppid=9573 vsize=948160 CPUtime=1602.12 cores=0,2,4,6
/proc/9575/task/9577/stat : 9577 (pwbo2.0) R 9573 9575 9022 0 -1 4202560 226263 0 0 0 160100 112 0 0 20 0 2 0 275052659 970915840 228118 33554432000 4194304 5965102 140735278626032 140489333827608 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 948160
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 9591
/proc/meminfo: memFree=30235264/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=948160 CPUtime=1661.87 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 227426 0 0 0 166099 88 0 0 20 0 2 0 275052658 970915840 228150 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 237040 228150 190 433 0 236604 0
[pid=9575/tid=9577] ppid=9573 vsize=948160 CPUtime=1662.12 cores=0,2,4,6
/proc/9575/task/9577/stat : 9577 (pwbo2.0) R 9573 9575 9022 0 -1 4202560 226273 0 0 0 166098 114 0 0 20 0 2 0 275052659 970915840 228150 33554432000 4194304 5965102 140735278626032 140489333827608 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 948160
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 9591
/proc/meminfo: memFree=30234588/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=948160 CPUtime=1721.85 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 227447 0 0 0 172097 88 0 0 20 0 2 0 275052658 970915840 228152 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 237040 228152 190 433 0 236604 0
[pid=9575/tid=9577] ppid=9573 vsize=948160 CPUtime=1722.11 cores=0,2,4,6
/proc/9575/task/9577/stat : 9577 (pwbo2.0) R 9573 9575 9022 0 -1 4202560 226294 0 0 0 172096 115 0 0 20 0 2 0 275052659 970915840 228152 33554432000 4194304 5965102 140735278626032 140489333827608 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 948160
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 9591
/proc/meminfo: memFree=30223676/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=948160 CPUtime=1781.83 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 230309 0 0 0 178094 89 0 0 20 0 2 0 275052658 970915840 231014 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 237040 231014 190 433 0 236604 0
[pid=9575/tid=9577] ppid=9573 vsize=948160 CPUtime=1782.11 cores=0,2,4,6
/proc/9575/task/9577/stat : 9577 (pwbo2.0) R 9573 9575 9022 0 -1 4202560 229156 0 0 0 178094 117 0 0 20 0 2 0 275052659 970915840 231014 33554432000 4194304 5965102 140735278626032 140489333827576 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 948160
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 9943
/proc/meminfo: memFree=30292720/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=1013696 CPUtime=1791.43 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 234158 0 0 0 179053 90 0 0 20 0 2 0 275052658 1038024704 234863 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 253424 234863 190 433 0 252988 0
[pid=9575/tid=9577] ppid=9573 vsize=1013696 CPUtime=1791.72 cores=0,2,4,6
/proc/9575/task/9577/stat : 9577 (pwbo2.0) R 9573 9575 9022 0 -1 4202560 233005 0 0 0 179054 118 0 0 20 0 2 0 275052659 1038024704 234863 33554432000 4194304 5965102 140735278626032 140489333827576 4401572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (KiB) 1013696
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 9943
/proc/meminfo: memFree=30285916/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=1013696 CPUtime=1794.64 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 235525 0 0 0 179373 91 0 0 20 0 2 0 275052658 1038024704 236230 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 253424 236230 190 433 0 252988 0
[pid=9575/tid=9577] ppid=9573 vsize=1013696 CPUtime=1794.92 cores=0,2,4,6
/proc/9575/task/9577/stat : 9577 (pwbo2.0) R 9573 9575 9022 0 -1 4202560 234372 0 0 0 179373 119 0 0 20 0 2 0 275052659 1038024704 236230 33554432000 4194304 5965102 140735278626032 140489333827576 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 1013696
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 9943
/proc/meminfo: memFree=30280708/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=1013696 CPUtime=1797.83 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 237412 0 0 0 179691 92 0 0 20 0 2 0 275052658 1038024704 238117 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 253424 238117 190 433 0 252988 0
[pid=9575/tid=9577] ppid=9573 vsize=1013696 CPUtime=1798.11 cores=0,2,4,6
/proc/9575/task/9577/stat : 9577 (pwbo2.0) R 9573 9575 9022 0 -1 4202560 236259 0 0 0 179691 120 0 0 20 0 2 0 275052659 1038024704 238117 33554432000 4194304 5965102 140735278626032 140489333827576 4401155 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 1013696
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 9943
/proc/meminfo: memFree=30277484/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=1013696 CPUtime=1798.63 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 237983 0 0 0 179771 92 0 0 20 0 2 0 275052658 1038024704 238688 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 253424 238688 190 433 0 252988 0
[pid=9575/tid=9577] ppid=9573 vsize=1013696 CPUtime=1798.91 cores=0,2,4,6
/proc/9575/task/9577/stat : 9577 (pwbo2.0) R 9573 9575 9022 0 -1 4202560 236830 0 0 0 179771 120 0 0 20 0 2 0 275052659 1038024704 238688 33554432000 4194304 5965102 140735278626032 140489333827576 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (KiB) 1013696
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 9943
/proc/meminfo: memFree=30273416/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=1013696 CPUtime=1799.04 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 238364 0 0 0 179812 92 0 0 20 0 2 0 275052658 1038024704 239069 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 253424 239069 190 433 0 252988 0
[pid=9575/tid=9577] ppid=9573 vsize=1013696 CPUtime=1799.32 cores=0,2,4,6
/proc/9575/task/9577/stat : 9577 (pwbo2.0) R 9573 9575 9022 0 -1 4202560 237211 0 0 0 179812 120 0 0 20 0 2 0 275052659 1038024704 239069 33554432000 4194304 5965102 140735278626032 140489333827576 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.04
Current children cumulated vsize (KiB) 1013696
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 9943
/proc/meminfo: memFree=30273416/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=1013696 CPUtime=1799.43 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 238736 0 0 0 179851 92 0 0 20 0 2 0 275052658 1038024704 239441 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 253424 239441 190 433 0 252988 0
[pid=9575/tid=9577] ppid=9573 vsize=1013696 CPUtime=1799.71 cores=0,2,4,6
/proc/9575/task/9577/stat : 9577 (pwbo2.0) R 9573 9575 9022 0 -1 4202560 237583 0 0 0 179851 120 0 0 20 0 2 0 275052659 1038024704 239441 33554432000 4194304 5965102 140735278626032 140489333827576 4400978 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (KiB) 1013696
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 9943
/proc/meminfo: memFree=30273416/32873844 swapFree=7108/7108
[pid=9575] ppid=9573 vsize=1013696 CPUtime=1799.53 cores=0,2,4,6
/proc/9575/stat : 9575 (pwbo2.0) S 9573 9575 9022 0 -1 4202496 238831 0 0 0 179861 92 0 0 20 0 2 0 275052658 1038024704 239536 33554432000 4194304 5965102 140735278626032 140735278625552 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9575/statm: 253424 239536 190 433 0 252988 0
[pid=9575/tid=9577] ppid=9573 vsize=1013696 CPUtime=1799.81 cores=0,2,4,6
/proc/9575/task/9577/stat : 9577 (pwbo2.0) R 9573 9575 9022 0 -1 4202560 237678 0 0 0 179861 120 0 0 20 0 2 0 275052659 1038024704 239536 33554432000 4194304 5965102 140735278626032 140489333827576 4401096 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (KiB) 1013696
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.84
CPU user time (s): 1798.63
CPU system time (s): 1.21781
CPU usage (%): 99.9908
Max. virtual memory (cumulated for all children) (KiB): 1013696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.63
system time used= 1.21781
maximum resident set size= 958160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238835
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= 323
involuntary context switches= 2134
runsolver used 4.94025 second user time and 14.5418 second system time
The end