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-3704431-1338100573/watcher-3704431-1338100573 -o /tmp/evaluation-result-3704431-1338100573/solver-3704431-1338100573 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704431-1338100573.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7557
/proc/meminfo: memFree=28309328/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=4644 CPUtime=0 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) R 7555 7557 5668 0 -1 4202496 556 0 0 0 0 0 0 0 20 0 1 0 276184071 4755456 509 33554432000 4194304 5965102 140735609809136 140733832835272 4396446 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 1161 509 164 433 0 634 0
[startup+0.0495449 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7557
/proc/meminfo: memFree=28309328/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=86072 CPUtime=0.04 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 2332 0 0 0 4 0 0 0 20 0 2 0 276184071 88137728 2071 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 21518 2071 188 433 0 21082 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 86072
[startup+0.100294 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7557
/proc/meminfo: memFree=28309328/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=86072 CPUtime=0.09 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 2403 0 0 0 9 0 0 0 20 0 2 0 276184071 88137728 2142 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 21518 2142 190 433 0 21082 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 86072
[startup+0.300229 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7557
/proc/meminfo: memFree=28309328/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=86072 CPUtime=0.29 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 2620 0 0 0 29 0 0 0 20 0 2 0 276184071 88137728 2359 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 21518 2359 190 433 0 21082 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86072
[startup+0.700229 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7557
/proc/meminfo: memFree=28309328/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=86072 CPUtime=0.69 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 3151 0 0 0 68 1 0 0 20 0 2 0 276184071 88137728 2890 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 21518 2890 190 433 0 21082 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86072
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7559
/proc/meminfo: memFree=28297284/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=86072 CPUtime=1.49 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 4129 0 0 0 148 1 0 0 20 0 2 0 276184071 88137728 3868 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 21518 3868 190 433 0 21082 0
[pid=7557/tid=7559] ppid=7555 vsize=86072 CPUtime=1.45 cores=1,3,5,7
/proc/7557/task/7559/stat : 7559 (pwbo2.0) R 7555 7557 5668 0 -1 4202560 2728 0 0 0 144 1 0 0 20 0 2 0 276184075 88137728 3868 33554432000 4194304 5965102 140735609809136 139789457614648 5137076 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 86072
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7559
/proc/meminfo: memFree=28291944/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=86072 CPUtime=3.09 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 5103 0 0 0 308 1 0 0 20 0 2 0 276184071 88137728 4842 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 21518 4842 190 433 0 21082 0
[pid=7557/tid=7559] ppid=7555 vsize=86072 CPUtime=3.05 cores=1,3,5,7
/proc/7557/task/7559/stat : 7559 (pwbo2.0) R 7555 7557 5668 0 -1 4202560 3702 0 0 0 304 1 0 0 20 0 2 0 276184075 88137728 4842 33554432000 4194304 5965102 140735609809136 139789457614840 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86072
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7559
/proc/meminfo: memFree=28286772/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=86288 CPUtime=6.29 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 6899 0 0 0 627 2 0 0 20 0 2 0 276184071 88358912 6638 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 21572 6638 190 433 0 21136 0
[pid=7557/tid=7559] ppid=7555 vsize=86288 CPUtime=6.26 cores=1,3,5,7
/proc/7557/task/7559/stat : 7559 (pwbo2.0) R 7555 7557 5668 0 -1 4202560 5498 0 0 0 624 2 0 0 20 0 2 0 276184075 88358912 6638 33554432000 4194304 5965102 140735609809136 139789457614888 4400955 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 86288
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7559
/proc/meminfo: memFree=28267748/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=86288 CPUtime=12.69 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 10189 0 0 0 1266 3 0 0 20 0 2 0 276184071 88358912 9928 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 21572 9928 190 433 0 21136 0
[pid=7557/tid=7559] ppid=7555 vsize=86288 CPUtime=12.65 cores=1,3,5,7
/proc/7557/task/7559/stat : 7559 (pwbo2.0) R 7555 7557 5668 0 -1 4202560 8788 0 0 0 1262 3 0 0 20 0 2 0 276184075 88358912 9928 33554432000 4194304 5965102 140735609809136 139789457614840 4390169 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86288
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7559
/proc/meminfo: memFree=28239656/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=86396 CPUtime=25.48 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 16382 0 0 0 2543 5 0 0 20 0 2 0 276184071 88469504 16121 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 21599 16121 190 433 0 21163 0
[pid=7557/tid=7559] ppid=7555 vsize=86396 CPUtime=25.46 cores=1,3,5,7
/proc/7557/task/7559/stat : 7559 (pwbo2.0) R 7555 7557 5668 0 -1 4202560 14981 0 0 0 2540 6 0 0 20 0 2 0 276184075 88469504 16121 33554432000 4194304 5965102 140735609809136 139789457614840 4389823 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86396
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7559
/proc/meminfo: memFree=28222288/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=152092 CPUtime=51.08 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 18939 0 0 0 5102 6 0 0 20 0 2 0 276184071 155742208 18678 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 38023 18678 190 433 0 37587 0
[pid=7557/tid=7559] ppid=7555 vsize=152092 CPUtime=51.06 cores=1,3,5,7
/proc/7557/task/7559/stat : 7559 (pwbo2.0) R 7555 7557 5668 0 -1 4202560 17538 0 0 0 5100 6 0 0 20 0 2 0 276184075 155742208 18678 33554432000 4194304 5965102 140735609809136 139789457614840 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 152092
[startup+102.307 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 7559
/proc/meminfo: memFree=28182984/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=152332 CPUtime=102.28 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 25772 0 0 0 10219 9 0 0 20 0 2 0 276184071 155987968 25511 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 38083 25511 190 433 0 37647 0
[pid=7557/tid=7559] ppid=7555 vsize=152332 CPUtime=102.26 cores=1,3,5,7
/proc/7557/task/7559/stat : 7559 (pwbo2.0) R 7555 7557 5668 0 -1 4202560 24371 0 0 0 10216 10 0 0 20 0 2 0 276184075 155987968 25511 33554432000 4194304 5965102 140735609809136 139789457614840 4401127 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 152332
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 7599
/proc/meminfo: memFree=28468152/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=152332 CPUtime=162.25 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 32751 0 0 0 16214 11 0 0 20 0 2 0 276184071 155987968 32553 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 38083 32553 190 433 0 37647 0
[pid=7557/tid=7559] ppid=7555 vsize=152332 CPUtime=162.25 cores=1,3,5,7
/proc/7557/task/7559/stat : 7559 (pwbo2.0) R 7555 7557 5668 0 -1 4202560 31350 0 0 0 16211 14 0 0 20 0 2 0 276184075 155987968 32553 33554432000 4194304 5965102 140735609809136 139789457614840 4393903 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 152332
[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 7599
/proc/meminfo: memFree=28419300/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=152332 CPUtime=222.21 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 33817 0 0 0 22209 12 0 0 20 0 2 0 276184071 155987968 33670 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 38083 33670 190 433 0 37647 0
[pid=7557/tid=7559] ppid=7555 vsize=152332 CPUtime=222.21 cores=1,3,5,7
/proc/7557/task/7559/stat : 7559 (pwbo2.0) R 7555 7557 5668 0 -1 4202560 32416 0 0 0 22206 15 0 0 20 0 2 0 276184075 155987968 33670 33554432000 4194304 5965102 140735609809136 139789457614648 4383000 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 152332
[startup+282.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 7602
/proc/meminfo: memFree=28366300/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=218084 CPUtime=282.2 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 39785 0 0 0 28203 17 0 0 20 0 2 0 276184071 223318016 40548 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 54521 40548 190 433 0 54085 0
[pid=7557/tid=7559] ppid=7555 vsize=218084 CPUtime=282.22 cores=1,3,5,7
/proc/7557/task/7559/stat : 7559 (pwbo2.0) R 7555 7557 5668 0 -1 4202560 38384 0 0 0 28201 21 0 0 20 0 2 0 276184075 223318016 40548 33554432000 4194304 5965102 140735609809136 139789457614840 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 218084
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 7602
/proc/meminfo: memFree=28297992/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=218732 CPUtime=342.19 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 46853 0 0 0 34198 21 0 0 20 0 2 0 276184071 223981568 47616 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 54683 47616 190 433 0 54247 0
[pid=7557/tid=7559] ppid=7555 vsize=218732 CPUtime=342.22 cores=1,3,5,7
/proc/7557/task/7559/stat : 7559 (pwbo2.0) R 7555 7557 5668 0 -1 4202560 45452 0 0 0 34195 27 0 0 20 0 2 0 276184075 223981568 47616 33554432000 4194304 5965102 140735609809136 139789457614840 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 218732
[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 7602
/proc/meminfo: memFree=28277668/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=218948 CPUtime=402.16 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 50062 0 0 0 40192 24 0 0 20 0 2 0 276184071 224202752 51067 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 54737 51067 190 433 0 54301 0
[pid=7557/tid=7559] ppid=7555 vsize=218948 CPUtime=402.2 cores=1,3,5,7
/proc/7557/task/7559/stat : 7559 (pwbo2.0) R 7555 7557 5668 0 -1 4202560 48661 0 0 0 40189 31 0 0 20 0 2 0 276184075 224202752 51067 33554432000 4194304 5965102 140735609809136 139789457614840 4401107 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 218948
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7603
/proc/meminfo: memFree=28235168/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=218948 CPUtime=462.15 cores=1,3,5,7
################
# More data... #
################
/proc/7557/task/7559/stat : 7559 (pwbo2.0) R 7555 7557 5668 0 -1 4202560 71696 0 0 0 130159 63 0 0 20 0 2 0 276184075 363102208 74478 33554432000 4194304 5965102 140735609809136 139789457614840 4401127 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 354592
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7610
/proc/meminfo: memFree=27949432/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=354592 CPUtime=1361.98 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 73097 0 0 0 136154 44 0 0 20 0 2 0 276184071 363102208 74478 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 88648 74478 190 433 0 88212 0
[pid=7557/tid=7559] ppid=7555 vsize=354592 CPUtime=1362.22 cores=1,3,5,7
/proc/7557/task/7559/stat : 7559 (pwbo2.0) R 7555 7557 5668 0 -1 4202560 71696 0 0 0 136158 64 0 0 20 0 2 0 276184075 363102208 74478 33554432000 4194304 5965102 140735609809136 139789457614840 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 354592
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7610
/proc/meminfo: memFree=27949432/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=354592 CPUtime=1421.98 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 73097 0 0 0 142154 44 0 0 20 0 2 0 276184071 363102208 74478 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 88648 74478 190 433 0 88212 0
[pid=7557/tid=7559] ppid=7555 vsize=354592 CPUtime=1422.23 cores=1,3,5,7
/proc/7557/task/7559/stat : 7559 (pwbo2.0) R 7555 7557 5668 0 -1 4202560 71696 0 0 0 142158 65 0 0 20 0 2 0 276184075 363102208 74478 33554432000 4194304 5965102 140735609809136 139789457614840 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 354592
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 7613
/proc/meminfo: memFree=27949176/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=354700 CPUtime=1481.96 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 73099 0 0 0 148152 44 0 0 20 0 2 0 276184071 363212800 74480 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 88675 74480 190 433 0 88239 0
[pid=7557/tid=7559] ppid=7555 vsize=354700 CPUtime=1482.23 cores=1,3,5,7
/proc/7557/task/7559/stat : 7559 (pwbo2.0) R 7555 7557 5668 0 -1 4202560 71698 0 0 0 148157 66 0 0 20 0 2 0 276184075 363212800 74480 33554432000 4194304 5965102 140735609809136 139789457614888 4401582 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 354700
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 7636
/proc/meminfo: memFree=27934048/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=354700 CPUtime=1541.95 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 76975 0 0 0 154148 47 0 0 20 0 2 0 276184071 363212800 78356 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 88675 78356 190 433 0 88239 0
[pid=7557/tid=7559] ppid=7555 vsize=354700 CPUtime=1542.23 cores=1,3,5,7
/proc/7557/task/7559/stat : 7559 (pwbo2.0) R 7555 7557 5668 0 -1 4202560 75574 0 0 0 154152 71 0 0 20 0 2 0 276184075 363212800 78356 33554432000 4194304 5965102 140735609809136 139789457614840 4400952 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 354700
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 7636
/proc/meminfo: memFree=27908536/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=356372 CPUtime=1601.94 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 82959 0 0 0 160143 51 0 0 20 0 2 0 276184071 364924928 84335 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 89093 84335 190 433 0 88657 0
[pid=7557/tid=7559] ppid=7555 vsize=356372 CPUtime=1602.23 cores=1,3,5,7
/proc/7557/task/7559/stat : 7559 (pwbo2.0) R 7555 7557 5668 0 -1 4202560 81558 0 0 0 160147 76 0 0 20 0 2 0 276184075 364924928 84335 33554432000 4194304 5965102 140735609809136 139789457614840 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 356372
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 7637
/proc/meminfo: memFree=27908336/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=356372 CPUtime=1661.94 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 82960 0 0 0 166143 51 0 0 20 0 2 0 276184071 364924928 84336 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 89093 84336 190 433 0 88657 0
[pid=7557/tid=7559] ppid=7555 vsize=356372 CPUtime=1662.24 cores=1,3,5,7
/proc/7557/task/7559/stat : 7559 (pwbo2.0) R 7555 7557 5668 0 -1 4202560 81559 0 0 0 166147 77 0 0 20 0 2 0 276184075 364924928 84336 33554432000 4194304 5965102 140735609809136 139789457614840 4389281 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 356372
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7637
/proc/meminfo: memFree=27908340/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=356372 CPUtime=1721.93 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 82962 0 0 0 172142 51 0 0 20 0 2 0 276184071 364924928 84338 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 89093 84338 190 433 0 88657 0
[pid=7557/tid=7559] ppid=7555 vsize=356372 CPUtime=1722.24 cores=1,3,5,7
/proc/7557/task/7559/stat : 7559 (pwbo2.0) R 7555 7557 5668 0 -1 4202560 81561 0 0 0 172146 78 0 0 20 0 2 0 276184075 364924928 84338 33554432000 4194304 5965102 140735609809136 139789457614840 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 356372
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7637
/proc/meminfo: memFree=27894204/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=421908 CPUtime=1781.91 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 86541 0 0 0 178137 54 0 0 20 0 2 0 276184071 432033792 87917 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 105477 87917 190 433 0 105041 0
[pid=7557/tid=7559] ppid=7555 vsize=421908 CPUtime=1782.24 cores=1,3,5,7
/proc/7557/task/7559/stat : 7559 (pwbo2.0) R 7555 7557 5668 0 -1 4202560 85140 0 0 0 178142 82 0 0 20 0 2 0 276184075 432033792 87917 33554432000 4194304 5965102 140735609809136 139789457614840 4401149 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 421908
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 7637
/proc/meminfo: memFree=27891228/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=421908 CPUtime=1791.52 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 87213 0 0 0 179097 55 0 0 20 0 2 0 276184071 432033792 88589 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 105477 88589 190 433 0 105041 0
[pid=7557/tid=7559] ppid=7555 vsize=421908 CPUtime=1791.85 cores=1,3,5,7
/proc/7557/task/7559/stat : 7559 (pwbo2.0) R 7555 7557 5668 0 -1 4202560 85812 0 0 0 179103 82 0 0 20 0 2 0 276184075 432033792 88589 33554432000 4194304 5965102 140735609809136 139789457614648 4401131 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.52
Current children cumulated vsize (KiB) 421908
[startup+1795.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 7637
/proc/meminfo: memFree=27889988/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=421908 CPUtime=1794.72 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 87521 0 0 0 179417 55 0 0 20 0 2 0 276184071 432033792 88897 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 105477 88897 190 433 0 105041 0
[pid=7557/tid=7559] ppid=7555 vsize=421908 CPUtime=1795.05 cores=1,3,5,7
/proc/7557/task/7559/stat : 7559 (pwbo2.0) R 7555 7557 5668 0 -1 4202560 86120 0 0 0 179422 83 0 0 20 0 2 0 276184075 432033792 88897 33554432000 4194304 5965102 140735609809136 139789457614840 4401127 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.72
Current children cumulated vsize (KiB) 421908
[startup+1798.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 7637
/proc/meminfo: memFree=27889368/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=421908 CPUtime=1797.91 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 87737 0 0 0 179736 55 0 0 20 0 2 0 276184071 432033792 89113 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 105477 89113 190 433 0 105041 0
[pid=7557/tid=7559] ppid=7555 vsize=421908 CPUtime=1798.24 cores=1,3,5,7
/proc/7557/task/7559/stat : 7559 (pwbo2.0) R 7555 7557 5668 0 -1 4202560 86336 0 0 0 179741 83 0 0 20 0 2 0 276184075 432033792 89113 33554432000 4194304 5965102 140735609809136 139789457614840 4401155 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 421908
[startup+1799.1 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 7637
/proc/meminfo: memFree=27888996/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=421908 CPUtime=1798.71 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 87858 0 0 0 179816 55 0 0 20 0 2 0 276184071 432033792 89234 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 105477 89234 190 433 0 105041 0
[pid=7557/tid=7559] ppid=7555 vsize=421908 CPUtime=1799.04 cores=1,3,5,7
/proc/7557/task/7559/stat : 7559 (pwbo2.0) R 7555 7557 5668 0 -1 4202560 86457 0 0 0 179821 83 0 0 20 0 2 0 276184075 432033792 89234 33554432000 4194304 5965102 140735609809136 139789457614840 4401143 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.71
Current children cumulated vsize (KiB) 421908
[startup+1799.5 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 7637
/proc/meminfo: memFree=27888252/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=421908 CPUtime=1799.12 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 87937 0 0 0 179857 55 0 0 20 0 2 0 276184071 432033792 89313 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 105477 89313 190 433 0 105041 0
[pid=7557/tid=7559] ppid=7555 vsize=421908 CPUtime=1799.45 cores=1,3,5,7
/proc/7557/task/7559/stat : 7559 (pwbo2.0) R 7555 7557 5668 0 -1 4202560 86536 0 0 0 179862 83 0 0 20 0 2 0 276184075 432033792 89313 33554432000 4194304 5965102 140735609809136 139789457614840 4401109 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.12
Current children cumulated vsize (KiB) 421908
[startup+1799.9 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 7637
/proc/meminfo: memFree=27888252/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=421908 CPUtime=1799.51 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 88000 0 0 0 179896 55 0 0 20 0 2 0 276184071 432033792 89376 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 105477 89376 190 433 0 105041 0
[pid=7557/tid=7559] ppid=7555 vsize=421908 CPUtime=1799.84 cores=1,3,5,7
/proc/7557/task/7559/stat : 7559 (pwbo2.0) R 7555 7557 5668 0 -1 4202560 86599 0 0 0 179901 83 0 0 20 0 2 0 276184075 432033792 89376 33554432000 4194304 5965102 140735609809136 139789457614840 4401131 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (KiB) 421908
[startup+1800 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 7637
/proc/meminfo: memFree=27888252/32873648 swapFree=6844/6844
[pid=7557] ppid=7555 vsize=421908 CPUtime=1799.61 cores=1,3,5,7
/proc/7557/stat : 7557 (pwbo2.0) S 7555 7557 5668 0 -1 4202496 88018 0 0 0 179906 55 0 0 20 0 2 0 276184071 432033792 89394 33554432000 4194304 5965102 140735609809136 140735609808656 4547341 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7557/statm: 105477 89394 190 433 0 105041 0
[pid=7557/tid=7559] ppid=7555 vsize=421908 CPUtime=1799.94 cores=1,3,5,7
/proc/7557/task/7559/stat : 7559 (pwbo2.0) R 7555 7557 5668 0 -1 4202560 86617 0 0 0 179911 83 0 0 20 0 2 0 276184075 432033792 89394 33554432000 4194304 5965102 140735609809136 139789457614840 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.61
Current children cumulated vsize (KiB) 421908
Child status: 255
Real time (s): 1800.01
CPU time (s): 1800
CPU user time (s): 1799.15
CPU system time (s): 0.84987
CPU usage (%): 99.9994
Max. virtual memory (cumulated for all children) (KiB): 421908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.15
system time used= 0.84987
maximum resident set size= 357588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88021
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= 137
involuntary context switches= 1847
runsolver used 2.54261 second user time and 7.33788 second system time
The end