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-3705642-1338107647/watcher-3705642-1338107647 -o /tmp/evaluation-result-3705642-1338107647/solver-3705642-1338107647 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705642-1338107647.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.00 2.00 2.00 3/177 4224
/proc/meminfo: memFree=26208076/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=7456 CPUtime=0 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) R 4222 4224 2447 0 -1 4202496 679 0 0 0 0 0 0 0 20 0 1 0 276890720 7634944 631 33554432000 4194304 5963574 140736392798432 140734982074088 4394942 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 1864 631 169 432 0 719 0
[startup+0.01688 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4224
/proc/meminfo: memFree=26208076/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=10624 CPUtime=0.01 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) R 4222 4224 2447 0 -1 4202496 1366 0 0 0 1 0 0 0 20 0 1 0 276890720 10878976 1318 33554432000 4194304 5963574 140736392798432 140734982074088 4343745 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 2656 1320 193 432 0 1511 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10624
[startup+0.100224 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4224
/proc/meminfo: memFree=26208076/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=20804 CPUtime=0.09 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) R 4222 4224 2447 0 -1 4202496 4077 0 0 0 9 0 0 0 20 0 1 0 276890720 21303296 3882 33554432000 4194304 5963574 140736392798432 140734982074088 5135642 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 5201 3882 424 432 0 4056 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20804
[startup+0.300219 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4224
/proc/meminfo: memFree=26208076/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=114616 CPUtime=0.29 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) S 4222 4224 2447 0 -1 4202496 11207 0 0 0 28 1 0 0 20 0 2 0 276890720 117366784 10224 33554432000 4194304 5963574 140736392798432 140736392797952 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 28654 10224 183 432 0 28219 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 114616
[startup+0.700176 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4224
/proc/meminfo: memFree=26208076/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=106192 CPUtime=0.69 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) S 4222 4224 2447 0 -1 4202496 17408 0 0 0 66 3 0 0 20 0 2 0 276890720 108740608 14714 33554432000 4194304 5963574 140736392798432 140736392797952 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 26548 14714 192 432 0 26113 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 106192
[startup+1.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4226
/proc/meminfo: memFree=26149648/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=106192 CPUtime=1.49 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) S 4222 4224 2447 0 -1 4202496 17409 0 0 0 146 3 0 0 20 0 2 0 276890720 108740608 14715 33554432000 4194304 5963574 140736392798432 140736392797952 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 26548 14715 193 432 0 26113 0
[pid=4224/tid=4226] ppid=4222 vsize=106192 CPUtime=1.24 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (wbo1.7) R 4222 4224 2447 0 -1 4202560 10269 0 0 0 121 3 0 0 20 0 2 0 276890744 108740608 14715 33554432000 4194304 5963574 140736392798432 140231344475064 4388706 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 106192
[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4226
/proc/meminfo: memFree=26149012/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=106192 CPUtime=3.09 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) S 4222 4224 2447 0 -1 4202496 17638 0 0 0 306 3 0 0 20 0 2 0 276890720 108740608 14944 33554432000 4194304 5963574 140736392798432 140736392797952 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 26548 14944 194 432 0 26113 0
[pid=4224/tid=4226] ppid=4222 vsize=106192 CPUtime=2.84 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (wbo1.7) R 4222 4224 2447 0 -1 4202560 10498 0 0 0 281 3 0 0 20 0 2 0 276890744 108740608 14944 33554432000 4194304 5963574 140736392798432 140231344473624 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 106192
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4226
/proc/meminfo: memFree=26134388/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=106192 CPUtime=6.29 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) S 4222 4224 2447 0 -1 4202496 21166 0 0 0 626 3 0 0 20 0 2 0 276890720 108740608 18471 33554432000 4194304 5963574 140736392798432 140736392797952 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 26548 18471 194 432 0 26113 0
[pid=4224/tid=4226] ppid=4222 vsize=106192 CPUtime=6.04 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (wbo1.7) R 4222 4224 2447 0 -1 4202560 14026 0 0 0 601 3 0 0 20 0 2 0 276890744 108740608 18471 33554432000 4194304 5963574 140736392798432 140231344474440 4388696 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 106192
[startup+12.7001 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4226
/proc/meminfo: memFree=26118428/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=106192 CPUtime=12.69 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) S 4222 4224 2447 0 -1 4202496 21638 0 0 0 1266 3 0 0 20 0 2 0 276890720 108740608 18943 33554432000 4194304 5963574 140736392798432 140736392797952 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 26548 18943 194 432 0 26113 0
[pid=4224/tid=4226] ppid=4222 vsize=106192 CPUtime=12.44 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (wbo1.7) R 4222 4224 2447 0 -1 4202560 14498 0 0 0 1241 3 0 0 20 0 2 0 276890744 108740608 18943 33554432000 4194304 5963574 140736392798432 140231344473624 4403253 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 106192
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4226
/proc/meminfo: memFree=26056568/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=171728 CPUtime=25.49 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) S 4222 4224 2447 0 -1 4202496 27490 0 0 0 2544 5 0 0 20 0 2 0 276890720 175849472 24795 33554432000 4194304 5963574 140736392798432 140736392797952 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 42932 24795 194 432 0 42497 0
[pid=4224/tid=4226] ppid=4222 vsize=171728 CPUtime=25.24 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (wbo1.7) R 4222 4224 2447 0 -1 4202560 20350 0 0 0 2519 5 0 0 20 0 2 0 276890744 175849472 24795 33554432000 4194304 5963574 140736392798432 140231344473624 4388621 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 171728
[startup+51.1001 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 4226
/proc/meminfo: memFree=25926708/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=171728 CPUtime=51.08 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) S 4222 4224 2447 0 -1 4202496 38288 0 0 0 5100 8 0 0 20 0 2 0 276890720 175849472 35593 33554432000 4194304 5963574 140736392798432 140736392797952 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 42932 35593 194 432 0 42497 0
[pid=4224/tid=4226] ppid=4222 vsize=171728 CPUtime=50.84 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (wbo1.7) R 4222 4224 2447 0 -1 4202560 31148 0 0 0 5076 8 0 0 20 0 2 0 276890744 175849472 35593 33554432000 4194304 5963574 140736392798432 140231344473624 4222464 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 171728
[startup+102.306 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 4227
/proc/meminfo: memFree=25789096/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=302800 CPUtime=102.28 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) S 4222 4224 2447 0 -1 4202496 61514 0 0 0 10215 13 0 0 20 0 2 0 276890720 310067200 58819 33554432000 4194304 5963574 140736392798432 140736392797952 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 75700 58819 194 432 0 75265 0
[pid=4224/tid=4226] ppid=4222 vsize=302800 CPUtime=102.05 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (wbo1.7) R 4222 4224 2447 0 -1 4202560 54374 0 0 0 10191 14 0 0 20 0 2 0 276890744 310067200 58819 33554432000 4194304 5963574 140736392798432 140231344473624 5142110 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 302800
[startup+162.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 4227
/proc/meminfo: memFree=25596784/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=433872 CPUtime=162.27 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) S 4222 4224 2447 0 -1 4202496 91755 0 0 0 16205 22 0 0 20 0 2 0 276890720 444284928 89060 33554432000 4194304 5963574 140736392798432 140736392797952 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 108468 89060 194 432 0 108033 0
[pid=4224/tid=4226] ppid=4222 vsize=433872 CPUtime=162.04 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (wbo1.7) R 4222 4224 2447 0 -1 4202560 84615 0 0 0 16180 24 0 0 20 0 2 0 276890744 444284928 89060 33554432000 4194304 5963574 140736392798432 140231344473624 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 433872
[startup+222.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 4227
/proc/meminfo: memFree=25293252/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=499408 CPUtime=222.26 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) S 4222 4224 2447 0 -1 4202496 120318 0 0 0 22195 31 0 0 20 0 2 0 276890720 511393792 117623 33554432000 4194304 5963574 140736392798432 140736392797952 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 124852 117623 194 432 0 124417 0
[pid=4224/tid=4226] ppid=4222 vsize=499408 CPUtime=222.05 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (wbo1.7) R 4222 4224 2447 0 -1 4202560 113178 0 0 0 22171 34 0 0 20 0 2 0 276890744 511393792 117623 33554432000 4194304 5963574 140736392798432 140231344474104 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 499408
[startup+282.3 s]
/proc/loadavg: 2.17 2.05 2.01 3/179 4278
/proc/meminfo: memFree=27723224/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=499408 CPUtime=282.24 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) S 4222 4224 2447 0 -1 4202496 120332 0 0 0 28193 31 0 0 20 0 2 0 276890720 511393792 117938 33554432000 4194304 5963574 140736392798432 140736392797952 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 124852 117938 194 432 0 124417 0
[pid=4224/tid=4226] ppid=4222 vsize=499408 CPUtime=282.04 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (wbo1.7) R 4222 4224 2447 0 -1 4202560 113192 0 0 0 28169 35 0 0 20 0 2 0 276890744 511393792 117938 33554432000 4194304 5963574 140736392798432 140231344474104 4399633 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 499408
[startup+342.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/179 4278
/proc/meminfo: memFree=27574912/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=564944 CPUtime=342.21 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) S 4222 4224 2447 0 -1 4202496 131445 0 0 0 34187 34 0 0 20 0 2 0 276890720 578502656 129106 33554432000 4194304 5963574 140736392798432 140736392797952 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 141236 129106 194 432 0 140801 0
[pid=4224/tid=4226] ppid=4222 vsize=564944 CPUtime=342.03 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (wbo1.7) R 4222 4224 2447 0 -1 4202560 124305 0 0 0 34164 39 0 0 20 0 2 0 276890744 578502656 129106 33554432000 4194304 5963574 140736392798432 140231344473624 4222464 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 564944
[startup+402.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/180 4282
/proc/meminfo: memFree=27495704/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=630480 CPUtime=402.18 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) S 4222 4224 2447 0 -1 4202496 151216 0 0 0 40178 40 0 0 20 0 2 0 276890720 645611520 148871 33554432000 4194304 5963574 140736392798432 140736392797952 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 157620 148871 194 432 0 157185 0
[pid=4224/tid=4226] ppid=4222 vsize=630480 CPUtime=402.01 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (wbo1.7) R 4222 4224 2447 0 -1 4202560 144076 0 0 0 40155 46 0 0 20 0 2 0 276890744 645611520 148871 33554432000 4194304 5963574 140736392798432 140231344474472 4388683 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 630480
[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 4282
/proc/meminfo: memFree=27395300/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=630480 CPUtime=462.17 cores=0,2,4,6
################
# More data... #
################
/proc/4224/task/4226/stat : 4226 (wbo1.7) R 4222 4224 2447 0 -1 4202560 283310 0 0 0 130103 94 0 0 20 0 2 0 276890744 1249591296 288941 33554432000 4194304 5963574 140736392798432 140231344473624 4222464 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1220304
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4288
/proc/meminfo: memFree=25306852/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=1351376 CPUtime=1361.93 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) S 4222 4224 2447 0 -1 4202496 327581 0 0 0 136107 86 0 0 20 0 2 0 276890720 1383809024 326072 33554432000 4194304 5963574 140736392798432 140736392797952 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 337844 326072 194 432 0 337409 0
[pid=4224/tid=4226] ppid=4222 vsize=1351376 CPUtime=1361.97 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (wbo1.7) R 4222 4224 2447 0 -1 4202560 320442 0 0 0 136091 106 0 0 20 0 2 0 276890744 1383809024 326073 33554432000 4194304 5963574 140736392798432 140231344474104 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1351376
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4288
/proc/meminfo: memFree=25140696/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=1482448 CPUtime=1421.92 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) S 4222 4224 2447 0 -1 4202496 366779 0 0 0 142096 96 0 0 20 0 2 0 276890720 1518026752 365270 33554432000 4194304 5963574 140736392798432 140736392797952 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 370612 365270 194 432 0 370177 0
[pid=4224/tid=4226] ppid=4222 vsize=1482448 CPUtime=1421.97 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (wbo1.7) R 4222 4224 2447 0 -1 4202560 359639 0 0 0 142080 117 0 0 20 0 2 0 276890744 1518026752 365270 33554432000 4194304 5963574 140736392798432 140231344473912 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1482448
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4288
/proc/meminfo: memFree=24838972/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=1615144 CPUtime=1481.91 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) S 4222 4224 2447 0 -1 4202496 396653 0 0 0 148085 106 0 0 20 0 2 0 276890720 1653907456 395143 33554432000 4194304 5963574 140736392798432 140736392797952 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 403786 395143 194 432 0 403351 0
[pid=4224/tid=4226] ppid=4222 vsize=1615144 CPUtime=1481.97 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (wbo1.7) R 4222 4224 2447 0 -1 4202560 389513 0 0 0 148069 128 0 0 20 0 2 0 276890744 1653907456 395143 33554432000 4194304 5963574 140736392798432 140231344474104 4388636 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1615144
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4288
/proc/meminfo: memFree=24755236/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=1615144 CPUtime=1541.9 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) S 4222 4224 2447 0 -1 4202496 396653 0 0 0 154084 106 0 0 20 0 2 0 276890720 1653907456 395143 33554432000 4194304 5963574 140736392798432 140736392797952 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 403786 395143 194 432 0 403351 0
[pid=4224/tid=4226] ppid=4222 vsize=1615144 CPUtime=1541.97 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (wbo1.7) R 4222 4224 2447 0 -1 4202560 389513 0 0 0 154068 129 0 0 20 0 2 0 276890744 1653907456 395143 33554432000 4194304 5963574 140736392798432 140231344474104 4388706 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1615144
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4291
/proc/meminfo: memFree=24749248/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=1615144 CPUtime=1601.89 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) S 4222 4224 2447 0 -1 4202496 396653 0 0 0 160083 106 0 0 20 0 2 0 276890720 1653907456 395143 33554432000 4194304 5963574 140736392798432 140736392797952 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 403786 395143 194 432 0 403351 0
[pid=4224/tid=4226] ppid=4222 vsize=1615144 CPUtime=1601.98 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (wbo1.7) R 4222 4224 2447 0 -1 4202560 389513 0 0 0 160068 130 0 0 20 0 2 0 276890744 1653907456 395143 33554432000 4194304 5963574 140736392798432 140231344474104 4387756 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1615144
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 4315
/proc/meminfo: memFree=24557368/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=1615144 CPUtime=1661.88 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) S 4222 4224 2447 0 -1 4202496 396655 0 0 0 166082 106 0 0 20 0 2 0 276890720 1653907456 395145 33554432000 4194304 5963574 140736392798432 140736392797952 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 403786 395145 194 432 0 403351 0
[pid=4224/tid=4226] ppid=4222 vsize=1615144 CPUtime=1661.98 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (wbo1.7) R 4222 4224 2447 0 -1 4202560 389515 0 0 0 166067 131 0 0 20 0 2 0 276890744 1653907456 395145 33554432000 4194304 5963574 140736392798432 140231344474104 4388706 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1615144
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 4315
/proc/meminfo: memFree=24542400/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=1615144 CPUtime=1721.87 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) S 4222 4224 2447 0 -1 4202496 401122 0 0 0 172080 107 0 0 20 0 2 0 276890720 1653907456 399612 33554432000 4194304 5963574 140736392798432 140736392797952 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 403786 399612 194 432 0 403351 0
[pid=4224/tid=4226] ppid=4222 vsize=1615144 CPUtime=1721.98 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (wbo1.7) R 4222 4224 2447 0 -1 4202560 393982 0 0 0 172065 133 0 0 20 0 2 0 276890744 1653907456 399612 33554432000 4194304 5963574 140736392798432 140231344474104 4388621 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1615144
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4315
/proc/meminfo: memFree=24393876/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=1811752 CPUtime=1781.86 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) S 4222 4224 2447 0 -1 4202496 437804 0 0 0 178068 118 0 0 20 0 2 0 276890720 1855234048 436294 33554432000 4194304 5963574 140736392798432 140736392797952 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 452938 436294 194 432 0 452503 0
[pid=4224/tid=4226] ppid=4222 vsize=1811752 CPUtime=1781.99 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (wbo1.7) R 4222 4224 2447 0 -1 4202560 430664 0 0 0 178054 145 0 0 20 0 2 0 276890744 1855234048 436294 33554432000 4194304 5963574 140736392798432 140231344474104 4400074 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1811752
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 4315
/proc/meminfo: memFree=24363172/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=1811752 CPUtime=1791.46 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) S 4222 4224 2447 0 -1 4202496 445058 0 0 0 179027 119 0 0 20 0 2 0 276890720 1855234048 443548 33554432000 4194304 5963574 140736392798432 140736392797952 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 452938 443548 194 432 0 452503 0
[pid=4224/tid=4226] ppid=4222 vsize=1811752 CPUtime=1791.59 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (wbo1.7) R 4222 4224 2447 0 -1 4202560 437918 0 0 0 179012 147 0 0 20 0 2 0 276890744 1855234048 443548 33554432000 4194304 5963574 140736392798432 140231344474104 4388665 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 1811752
[startup+1795.1 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 4315
/proc/meminfo: memFree=24355716/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=1811752 CPUtime=1794.66 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) S 4222 4224 2447 0 -1 4202496 446815 0 0 0 179347 119 0 0 20 0 2 0 276890720 1855234048 445305 33554432000 4194304 5963574 140736392798432 140736392797952 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 452938 445305 194 432 0 452503 0
[pid=4224/tid=4226] ppid=4222 vsize=1811752 CPUtime=1794.79 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (wbo1.7) R 4222 4224 2447 0 -1 4202560 439675 0 0 0 179332 147 0 0 20 0 2 0 276890744 1855234048 445305 33554432000 4194304 5963574 140736392798432 140231344473624 4388668 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 1811752
[startup+1798.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 4315
/proc/meminfo: memFree=24349764/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=1811752 CPUtime=1797.85 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) S 4222 4224 2447 0 -1 4202496 449103 0 0 0 179665 120 0 0 20 0 2 0 276890720 1855234048 447593 33554432000 4194304 5963574 140736392798432 140736392797952 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 452938 447593 194 432 0 452503 0
[pid=4224/tid=4226] ppid=4222 vsize=1811752 CPUtime=1797.99 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (wbo1.7) R 4222 4224 2447 0 -1 4202560 441963 0 0 0 179652 147 0 0 20 0 2 0 276890744 1855234048 447593 33554432000 4194304 5963574 140736392798432 140231344473624 4222464 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 1811752
[startup+1799.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 4315
/proc/meminfo: memFree=24345920/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=1811752 CPUtime=1798.65 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) S 4222 4224 2447 0 -1 4202496 449701 0 0 0 179745 120 0 0 20 0 2 0 276890720 1855234048 448191 33554432000 4194304 5963574 140736392798432 140736392797952 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 452938 448191 194 432 0 452503 0
[pid=4224/tid=4226] ppid=4222 vsize=1811752 CPUtime=1798.79 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (wbo1.7) R 4222 4224 2447 0 -1 4202560 442561 0 0 0 179732 147 0 0 20 0 2 0 276890744 1855234048 448191 33554432000 4194304 5963574 140736392798432 140231344474104 4399459 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (KiB) 1811752
[startup+1799.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 4315
/proc/meminfo: memFree=24342944/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=1811752 CPUtime=1799.06 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) S 4222 4224 2447 0 -1 4202496 449995 0 0 0 179786 120 0 0 20 0 2 0 276890720 1855234048 448485 33554432000 4194304 5963574 140736392798432 140736392797952 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 452938 448485 194 432 0 452503 0
[pid=4224/tid=4226] ppid=4222 vsize=1811752 CPUtime=1799.19 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (wbo1.7) R 4222 4224 2447 0 -1 4202560 442855 0 0 0 179771 148 0 0 20 0 2 0 276890744 1855234048 448485 33554432000 4194304 5963574 140736392798432 140231344474104 4399451 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.06
Current children cumulated vsize (KiB) 1811752
[startup+1799.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 4315
/proc/meminfo: memFree=24342944/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=1811752 CPUtime=1799.45 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) S 4222 4224 2447 0 -1 4202496 450316 0 0 0 179825 120 0 0 20 0 2 0 276890720 1855234048 448806 33554432000 4194304 5963574 140736392798432 140736392797952 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 452938 448806 194 432 0 452503 0
[pid=4224/tid=4226] ppid=4222 vsize=1811752 CPUtime=1799.59 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (wbo1.7) R 4222 4224 2447 0 -1 4202560 443176 0 0 0 179811 148 0 0 20 0 2 0 276890744 1855234048 448806 33554432000 4194304 5963574 140736392798432 140231344474104 4388683 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.45
Current children cumulated vsize (KiB) 1811752
[startup+1800 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 4315
/proc/meminfo: memFree=24342944/32873648 swapFree=6864/6864
[pid=4224] ppid=4222 vsize=1811752 CPUtime=1799.56 cores=0,2,4,6
/proc/4224/stat : 4224 (wbo1.7) S 4222 4224 2447 0 -1 4202496 450427 0 0 0 179835 121 0 0 20 0 2 0 276890720 1855234048 448917 33554432000 4194304 5963574 140736392798432 140736392797952 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4224/statm: 452938 448917 194 432 0 452503 0
[pid=4224/tid=4226] ppid=4222 vsize=1811752 CPUtime=1799.69 cores=0,2,4,6
/proc/4224/task/4226/stat : 4226 (wbo1.7) R 4222 4224 2447 0 -1 4202560 443287 0 0 0 179821 148 0 0 20 0 2 0 276890744 1855234048 448917 33554432000 4194304 5963574 140736392798432 140231344474104 4388696 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (KiB) 1811752
Child status: 255
Real time (s): 1800.06
CPU time (s): 1800.01
CPU user time (s): 1798.46
CPU system time (s): 1.55476
CPU usage (%): 99.9973
Max. virtual memory (cumulated for all children) (KiB): 1811752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.46
system time used= 1.55476
maximum resident set size= 1795672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 450428
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= 222
involuntary context switches= 1885
runsolver used 2.74158 second user time and 7.08292 second system time
The end