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-3741000-1338766302/watcher-3741000-1338766302 -o /tmp/evaluation-result-3741000-1338766302/solver-3741000-1338766302 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3741000-1338766302.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: 1.92 2.31 3.04 3/173 8796
/proc/meminfo: memFree=28166316/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=22836 CPUtime=0 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 346 0 0 0 0 0 0 0 20 0 1 0 342756266 23384064 299 33554432000 134512640 137136520 4293768768 4293767280 136575102 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 5709 300 190 641 0 2089 0
[startup+0.078374 s]
/proc/loadavg: 1.92 2.31 3.04 3/173 8796
/proc/meminfo: memFree=28166316/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=26380 CPUtime=0.07 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 1493 0 0 0 7 0 0 0 20 0 1 0 342756266 27013120 1446 33554432000 134512640 137136520 4293768768 4293766968 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 6595 1446 463 641 0 2975 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 26380
[startup+0.100168 s]
/proc/loadavg: 1.92 2.31 3.04 3/173 8796
/proc/meminfo: memFree=28166316/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=27336 CPUtime=0.09 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 1831 0 0 0 9 0 0 0 20 0 1 0 342756266 27992064 1784 33554432000 134512640 137136520 4293768768 4293767160 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 6834 1785 547 641 0 3214 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27336
[startup+0.300205 s]
/proc/loadavg: 1.92 2.31 3.04 3/173 8796
/proc/meminfo: memFree=28166316/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=36068 CPUtime=0.29 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 4736 0 0 0 29 0 0 0 20 0 1 0 342756266 36933632 4689 33554432000 134512640 137136520 4293768768 4293767248 136575102 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 9017 4689 1270 641 0 5397 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36068
[startup+0.700145 s]
/proc/loadavg: 1.92 2.31 3.04 3/173 8796
/proc/meminfo: memFree=28166316/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=53284 CPUtime=0.69 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 10442 0 0 0 68 1 0 0 20 0 1 0 342756266 54562816 10395 33554432000 134512640 137136520 4293768768 4293766968 136504572 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 13321 10395 2700 641 0 9701 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53284
[startup+1.50017 s]
/proc/loadavg: 1.92 2.31 3.04 3/174 8797
/proc/meminfo: memFree=28062688/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=79296 CPUtime=1.49 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 20373 0 0 0 146 3 0 0 20 0 1 0 342756266 81199104 17345 33554432000 134512640 137136520 4293768768 4293616220 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 19824 17345 191 641 0 19180 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 79296
[startup+3.10028 s]
/proc/loadavg: 1.92 2.31 3.04 4/176 8813
/proc/meminfo: memFree=27992832/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=79296 CPUtime=3.08 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 20376 0 0 0 303 5 0 0 20 0 1 0 342756266 81199104 17348 33554432000 134512640 137136520 4293768768 4293616220 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 19824 17348 191 641 0 19180 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 79296
[startup+6.30028 s]
/proc/loadavg: 2.00 2.32 3.04 3/177 8814
/proc/meminfo: memFree=27866988/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=79296 CPUtime=6.28 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 20380 0 0 0 621 7 0 0 20 0 1 0 342756266 81199104 17352 33554432000 134512640 137136520 4293768768 4293616220 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 19824 17352 191 641 0 19180 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 79296
[startup+12.7003 s]
/proc/loadavg: 2.00 2.31 3.03 3/177 8814
/proc/meminfo: memFree=27551996/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=79296 CPUtime=12.68 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 20389 0 0 0 1256 12 0 0 20 0 1 0 342756266 81199104 17357 33554432000 134512640 137136520 4293768768 4293616220 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 19824 17357 191 641 0 19180 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 79296
[startup+25.5066 s]
/proc/loadavg: 2.00 2.30 3.01 3/177 8814
/proc/meminfo: memFree=27552888/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=69972 CPUtime=25.48 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 22470 0 0 0 2495 53 0 0 20 0 1 0 342756266 71651328 15066 33554432000 134512640 137136520 4293768768 4293767884 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 17493 15066 197 641 0 16849 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 69972
[startup+51.1003 s]
/proc/loadavg: 2.00 2.27 2.99 3/177 8814
/proc/meminfo: memFree=27524944/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=99424 CPUtime=51.06 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 29813 0 0 0 5027 79 0 0 20 0 1 0 342756266 101810176 22402 33554432000 134512640 137136520 4293768768 4293767696 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 24856 22402 198 641 0 24212 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 99424
[startup+102.3 s]
/proc/loadavg: 2.00 2.23 2.93 3/177 8814
/proc/meminfo: memFree=27496432/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=128592 CPUtime=102.25 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 37133 0 0 0 10127 98 0 0 20 0 1 0 342756266 131678208 29722 33554432000 134512640 137136520 4293768768 4293767884 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 32148 29722 198 641 0 31504 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 128592
[startup+162.3 s]
/proc/loadavg: 2.00 2.18 2.87 3/177 8815
/proc/meminfo: memFree=27464080/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=158932 CPUtime=162.24 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 44690 0 0 0 16118 106 0 0 20 0 1 0 342756266 162746368 37279 33554432000 134512640 137136520 4293768768 4293767872 134545059 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 39733 37279 198 641 0 39089 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 158932
[startup+222.3 s]
/proc/loadavg: 2.00 2.15 2.81 3/177 8815
/proc/meminfo: memFree=27453940/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=173164 CPUtime=222.24 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 48279 0 0 0 22114 110 0 0 20 0 1 0 342756266 177319936 40868 33554432000 134512640 137136520 4293768768 4293767696 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 43291 40868 198 641 0 42647 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 173164
[startup+282.3 s]
/proc/loadavg: 2.00 2.12 2.76 3/177 8815
/proc/meminfo: memFree=27443432/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=184048 CPUtime=282.23 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 50969 0 0 0 28112 111 0 0 20 0 1 0 342756266 188465152 43558 33554432000 134512640 137136520 4293768768 4293767480 136502216 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 46012 43558 198 641 0 45368 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 184048
[startup+342.307 s]
/proc/loadavg: 2.00 2.09 2.71 3/177 8815
/proc/meminfo: memFree=27430492/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=195948 CPUtime=342.22 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 53972 0 0 0 34102 120 0 0 20 0 1 0 342756266 200650752 46561 33554432000 134512640 137136520 4293768768 4293767696 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 48987 46561 198 641 0 48343 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 195948
[startup+402.3 s]
/proc/loadavg: 2.13 2.11 2.67 3/177 8815
/proc/meminfo: memFree=27423432/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=202540 CPUtime=402.18 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 55619 0 0 0 40094 124 0 0 20 0 1 0 342756266 207400960 48181 33554432000 134512640 137136520 4293768768 4293767696 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 50635 48181 198 641 0 49991 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 202540
[startup+462.3 s]
/proc/loadavg: 2.05 2.08 2.63 3/177 8816
/proc/meminfo: memFree=27415544/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=209528 CPUtime=462.15 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 57403 0 0 0 46089 126 0 0 20 0 1 0 342756266 214556672 50098 33554432000 134512640 137136520 4293768768 4293767884 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 52382 50098 198 641 0 51738 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 209528
[startup+522.3 s]
/proc/loadavg: 2.02 2.07 2.59 3/178 8819
/proc/meminfo: memFree=27394836/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=217456 CPUtime=522.13 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 59385 0 0 0 52086 127 0 0 20 0 1 0 342756266 222674944 52080 33554432000 134512640 137136520 4293768768 4293767696 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 54364 52080 198 641 0 53720 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 217456
[startup+582.3 s]
/proc/loadavg: 2.00 2.05 2.55 3/177 8819
/proc/meminfo: memFree=27371160/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=224288 CPUtime=582.13 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 61121 0 0 0 58084 129 0 0 20 0 1 0 342756266 229670912 53816 33554432000 134512640 137136520 4293768768 4293767696 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 56072 53816 198 641 0 55428 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 224288
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27210840/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=288908 CPUtime=1122.02 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 77304 0 0 0 112055 147 0 0 20 0 1 0 342756266 295841792 69968 33554432000 134512640 137136520 4293768768 4293767696 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 72227 69968 198 641 0 71583 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 288908
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.27 3/177 8824
/proc/meminfo: memFree=27182948/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=293876 CPUtime=1182.01 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 78521 0 0 0 118053 148 0 0 20 0 1 0 342756266 300929024 71185 33554432000 134512640 137136520 4293768768 4293767696 134544157 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 73469 71185 198 641 0 72825 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 293876
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.25 3/177 8824
/proc/meminfo: memFree=27155212/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=298736 CPUtime=1241.99 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 79761 0 0 0 124051 148 0 0 20 0 1 0 342756266 305905664 72425 33554432000 134512640 137136520 4293768768 4293767092 136498308 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 74684 72425 198 641 0 74040 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 298736
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.23 3/177 8824
/proc/meminfo: memFree=27132688/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=303824 CPUtime=1301.99 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 81037 0 0 0 130049 150 0 0 20 0 1 0 342756266 311115776 73701 33554432000 134512640 137136520 4293768768 4293767696 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 75956 73701 198 641 0 75312 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 303824
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.21 3/176 8824
/proc/meminfo: memFree=27116092/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=309396 CPUtime=1361.98 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 82426 0 0 0 136047 151 0 0 20 0 1 0 342756266 316821504 75090 33554432000 134512640 137136520 4293768768 4293767480 136501971 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 77349 75090 198 641 0 76705 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 309396
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.20 3/177 8825
/proc/meminfo: memFree=27106040/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=314708 CPUtime=1421.97 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 83729 0 0 0 142045 152 0 0 20 0 1 0 342756266 322260992 76393 33554432000 134512640 137136520 4293768768 4293767536 134573959 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 78677 76393 198 641 0 78033 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 314708
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.18 3/177 8825
/proc/meminfo: memFree=27094880/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=320328 CPUtime=1481.96 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 85162 0 0 0 148042 154 0 0 20 0 1 0 342756266 328015872 77826 33554432000 134512640 137136520 4293768768 4293767696 134544122 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 80082 77826 198 641 0 79438 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 320328
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.17 3/177 8825
/proc/meminfo: memFree=27084536/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=325508 CPUtime=1541.94 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 86479 0 0 0 154038 156 0 0 20 0 1 0 342756266 333320192 79117 33554432000 134512640 137136520 4293768768 4293767664 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 81377 79117 198 641 0 80733 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 325508
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.16 3/177 8825
/proc/meminfo: memFree=27076160/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=331124 CPUtime=1601.92 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 87885 0 0 0 160036 156 0 0 20 0 1 0 342756266 339070976 80523 33554432000 134512640 137136520 4293768768 4293767696 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 82781 80523 198 641 0 82137 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 331124
[startup+1662.31 s]
/proc/loadavg: 2.04 2.02 2.16 3/177 8825
/proc/meminfo: memFree=27067604/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=336940 CPUtime=1661.91 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 89337 0 0 0 166034 157 0 0 20 0 1 0 342756266 345026560 81975 33554432000 134512640 137136520 4293768768 4293767696 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 84235 81975 198 641 0 83591 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 336940
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.15 3/178 8829
/proc/meminfo: memFree=27059424/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=342316 CPUtime=1721.9 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 90657 0 0 0 172032 158 0 0 20 0 1 0 342756266 350531584 83295 33554432000 134512640 137136520 4293768768 4293767688 135982525 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 85579 83295 198 641 0 84935 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 342316
[startup+1782.3 s]
/proc/loadavg: 2.11 2.05 2.15 3/178 8851
/proc/meminfo: memFree=27048456/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=349492 CPUtime=1781.89 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 92451 0 0 0 178030 159 0 0 20 0 1 0 342756266 357879808 85089 33554432000 134512640 137136520 4293768768 4293767664 134543927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 87373 85089 198 641 0 86729 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 349492
Solver just ended. Dumping a history of the last processes samples
[startup+1792.11 s]
/proc/loadavg: 2.10 2.05 2.15 3/178 8851
/proc/meminfo: memFree=27047432/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=350536 CPUtime=1791.7 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 92712 0 0 0 179010 160 0 0 20 0 1 0 342756266 358948864 85350 33554432000 134512640 137136520 4293768768 4293767628 136518985 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 87634 85350 198 641 0 86990 0
Current children cumulated CPU time (s) 1791.7
Current children cumulated vsize (KiB) 350536
[startup+1795.3 s]
/proc/loadavg: 2.09 2.05 2.15 3/178 8851
/proc/meminfo: memFree=27046936/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=350740 CPUtime=1794.9 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 92793 0 0 0 179330 160 0 0 20 0 1 0 342756266 359157760 85431 33554432000 134512640 137136520 4293768768 4293767696 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 87685 85431 198 641 0 87041 0
Current children cumulated CPU time (s) 1794.9
Current children cumulated vsize (KiB) 350740
[startup+1796.9 s]
/proc/loadavg: 2.09 2.05 2.15 3/178 8851
/proc/meminfo: memFree=27046440/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=350872 CPUtime=1796.49 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 92820 0 0 0 179489 160 0 0 20 0 1 0 342756266 359292928 85458 33554432000 134512640 137136520 4293768768 4293767696 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 87718 85458 198 641 0 87074 0
Current children cumulated CPU time (s) 1796.49
Current children cumulated vsize (KiB) 350872
[startup+1797.7 s]
/proc/loadavg: 2.09 2.05 2.15 3/178 8851
/proc/meminfo: memFree=27046564/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=351076 CPUtime=1797.29 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 92847 0 0 0 179569 160 0 0 20 0 1 0 342756266 359501824 85485 33554432000 134512640 137136520 4293768768 4293767696 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 87769 85485 198 641 0 87125 0
Current children cumulated CPU time (s) 1797.29
Current children cumulated vsize (KiB) 351076
[startup+1798.1 s]
/proc/loadavg: 2.09 2.05 2.15 3/178 8851
/proc/meminfo: memFree=27046564/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=351076 CPUtime=1797.69 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 92847 0 0 0 179609 160 0 0 20 0 1 0 342756266 359501824 85485 33554432000 134512640 137136520 4293768768 4293767696 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 87769 85485 198 641 0 87125 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 351076
[startup+1798.3 s]
/proc/loadavg: 2.09 2.05 2.15 3/178 8851
/proc/meminfo: memFree=27046564/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=351076 CPUtime=1797.89 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 92851 0 0 0 179629 160 0 0 20 0 1 0 342756266 359501824 85489 33554432000 134512640 137136520 4293768768 4293767696 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 87769 85489 198 641 0 87125 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 351076
[startup+1798.4 s]
/proc/loadavg: 2.09 2.05 2.15 3/178 8851
/proc/meminfo: memFree=27046564/32873648 swapFree=6864/6864
[pid=8796] ppid=8794 vsize=351076 CPUtime=1797.99 cores=0,2,4,6
/proc/8796/stat : 8796 (bsolo) R 8794 8796 3937 0 -1 4202496 92853 0 0 0 179639 160 0 0 20 0 1 0 342756266 359501824 85491 33554432000 134512640 137136520 4293768768 4293767696 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8796/statm: 87769 85491 198 641 0 87125 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 351076
Child status: 0
Real time (s): 1798.42
CPU time (s): 1798.02
CPU user time (s): 1796.42
CPU system time (s): 1.60476
CPU usage (%): 99.9778
Max. virtual memory (cumulated for all children) (KiB): 351076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.42
system time used= 1.60476
maximum resident set size= 342060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92878
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= 146
involuntary context switches= 1864
runsolver used 3.50147 second user time and 7.9238 second system time
The end