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-3720413-1338511393/watcher-3720413-1338511393 -o /tmp/evaluation-result-3720413-1338511393/solver-3720413-1338511393 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720413-1338511393.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/176 20981
/proc/meminfo: memFree=29535880/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=3104 CPUtime=0 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 331 0 0 0 0 0 0 0 20 0 1 0 317264815 3178496 269 33554432000 134512640 134579096 4290429600 4290296948 10023665 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20981/statm: 776 269 219 17 0 82 0
[startup+0.0170699 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20981
/proc/meminfo: memFree=29535880/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=3504 CPUtime=0.01 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 408 0 0 0 1 0 0 0 20 0 1 0 317264815 3588096 346 33554432000 134512640 134579096 4290429600 4290296996 10023728 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20981/statm: 876 346 219 17 0 182 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3504
[startup+0.100192 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20981
/proc/meminfo: memFree=29535880/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=4328 CPUtime=0.09 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 616 0 0 0 9 0 0 0 20 0 1 0 317264815 4431872 554 33554432000 134512640 134579096 4290429600 4290428088 9274663 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20981/statm: 1082 554 227 17 0 388 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4328
[startup+0.300102 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20981
/proc/meminfo: memFree=29535880/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=4716 CPUtime=0.29 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 725 0 0 0 29 0 0 0 20 0 1 0 317264815 4829184 663 33554432000 134512640 134579096 4290429600 4290428572 6812720 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20981/statm: 1179 663 227 17 0 485 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4716
[startup+0.700096 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20981
/proc/meminfo: memFree=29535880/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=4976 CPUtime=0.69 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 785 0 0 0 69 0 0 0 20 0 1 0 317264815 5095424 723 33554432000 134512640 134579096 4290429600 4290427896 9274663 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20981/statm: 1244 724 227 17 0 550 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4976
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20982
/proc/meminfo: memFree=29531772/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=5236 CPUtime=1.48 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 854 0 0 0 148 0 0 0 20 0 1 0 317264815 5361664 792 33554432000 134512640 134579096 4290429600 4290428508 134519884 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20981/statm: 1309 792 227 17 0 615 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 5236
[startup+3.10017 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20982
/proc/meminfo: memFree=29531152/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=5760 CPUtime=3.08 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 989 0 0 0 308 0 0 0 20 0 1 0 317264815 5898240 927 33554432000 134512640 134579096 4290429600 4290428448 134527712 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20981/statm: 1440 927 227 17 0 746 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 5760
[startup+6.30017 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20982
/proc/meminfo: memFree=29530160/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=6416 CPUtime=6.28 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 1144 0 0 0 627 1 0 0 20 0 1 0 317264815 6569984 1082 33554432000 134512640 134579096 4290429600 4290428364 9281205 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20981/statm: 1604 1082 227 17 0 910 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 6416
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20982
/proc/meminfo: memFree=29530440/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=6548 CPUtime=12.68 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 1180 0 0 0 1265 3 0 0 20 0 1 0 317264815 6705152 1118 33554432000 134512640 134579096 4290429600 4290428572 6812720 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 1637 1118 227 17 0 943 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 6548
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20982
/proc/meminfo: memFree=29530480/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=7200 CPUtime=25.48 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 1353 0 0 0 2542 6 0 0 20 0 1 0 317264815 7372800 1291 33554432000 134512640 134579096 4290429600 4290428572 6812720 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 1800 1291 227 17 0 1106 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 7200
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20983
/proc/meminfo: memFree=29529864/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=7724 CPUtime=51.07 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 1469 0 0 0 5096 11 0 0 20 0 1 0 317264815 7909376 1407 33554432000 134512640 134579096 4290429600 4290428572 6812720 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 1931 1407 227 17 0 1237 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 7724
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20983
/proc/meminfo: memFree=29521924/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=9176 CPUtime=102.27 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 1853 0 0 0 10206 21 0 0 20 0 1 0 317264815 9396224 1791 33554432000 134512640 134579096 4290429600 4290428572 6812720 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 2294 1791 227 17 0 1600 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 9176
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20983
/proc/meminfo: memFree=29513396/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=9216 CPUtime=162.26 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 1860 0 0 0 16196 30 0 0 20 0 1 0 317264815 9437184 1797 33554432000 134512640 134579096 4290429600 4290428572 6812720 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 2304 1797 227 17 0 1610 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 9216
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20983
/proc/meminfo: memFree=29503340/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=10084 CPUtime=222.25 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 2079 0 0 0 22185 40 0 0 20 0 1 0 317264815 10326016 2015 33554432000 134512640 134579096 4290429600 4290428448 134527750 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 2521 2015 227 17 0 1827 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 10084
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20983
/proc/meminfo: memFree=29497864/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=10084 CPUtime=282.24 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 2079 0 0 0 28176 48 0 0 20 0 1 0 317264815 10326016 2015 33554432000 134512640 134579096 4290429600 4290428572 6812720 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 2521 2015 227 17 0 1827 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 10084
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20984
/proc/meminfo: memFree=29497796/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=10084 CPUtime=342.23 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 2079 0 0 0 34166 57 0 0 20 0 1 0 317264815 10326016 2015 33554432000 134512640 134579096 4290429600 4290428572 6812720 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 2521 2015 227 17 0 1827 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 10084
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20984
/proc/meminfo: memFree=29497604/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=10292 CPUtime=402.22 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 2148 0 0 0 40156 66 0 0 20 0 1 0 317264815 10539008 2076 33554432000 134512640 134579096 4290429600 4290428448 134528346 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 2573 2076 227 17 0 1879 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 10292
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20987
/proc/meminfo: memFree=29497956/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=10292 CPUtime=462.21 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 2148 0 0 0 46144 77 0 0 20 0 1 0 317264815 10539008 2076 33554432000 134512640 134579096 4290429600 4290428572 6812720 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 2573 2076 227 17 0 1879 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 10292
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20987
/proc/meminfo: memFree=29497096/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=11068 CPUtime=522.2 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 2338 0 0 0 52133 87 0 0 20 0 1 0 317264815 11333632 2266 33554432000 134512640 134579096 4290429600 4290428572 6812720 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 2767 2266 227 17 0 2073 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 11068
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20987
/proc/meminfo: memFree=29496972/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=11068 CPUtime=582.19 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 2338 0 0 0 58121 98 0 0 20 0 1 0 317264815 11333632 2266 33554432000 134512640 134579096 4290429600 4290428572 6812720 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 2767 2266 227 17 0 2073 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 11068
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29493128/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=12308 CPUtime=882.15 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 2658 0 0 0 88074 141 0 0 20 0 1 0 317264815 12603392 2580 33554432000 134512640 134579096 4290429600 4290428500 134527547 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 3077 2580 227 17 0 2383 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 12308
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20988
/proc/meminfo: memFree=29487704/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=12556 CPUtime=942.14 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 2703 0 0 0 94065 149 0 0 20 0 1 0 317264815 12857344 2624 33554432000 134512640 134579096 4290429600 4290428448 134528357 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 3139 2624 227 17 0 2445 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 12556
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20989
/proc/meminfo: memFree=29486520/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=12568 CPUtime=1002.13 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 2742 0 0 0 100056 157 0 0 20 0 1 0 317264815 12869632 2645 33554432000 134512640 134579096 4290429600 4290428320 134529029 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 3142 2645 227 17 0 2448 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 12568
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20992
/proc/meminfo: memFree=29484984/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=12564 CPUtime=1062.12 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 2742 0 0 0 106046 166 0 0 20 0 1 0 317264815 12865536 2644 33554432000 134512640 134579096 4290429600 4290428572 6812720 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 3141 2644 227 17 0 2447 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 12564
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21015
/proc/meminfo: memFree=29483204/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=12564 CPUtime=1122.11 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 2742 0 0 0 112037 174 0 0 20 0 1 0 317264815 12865536 2644 33554432000 134512640 134579096 4290429600 4290428572 6812720 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 3141 2644 227 17 0 2447 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 12564
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21015
/proc/meminfo: memFree=29482096/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=12564 CPUtime=1182.11 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 2742 0 0 0 118027 184 0 0 20 0 1 0 317264815 12865536 2644 33554432000 134512640 134579096 4290429600 4290428480 134557405 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 3141 2644 227 17 0 2447 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 12564
[startup+1242.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/178 21015
/proc/meminfo: memFree=29480088/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=13212 CPUtime=1242.09 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 2893 0 0 0 124017 192 0 0 20 0 1 0 317264815 13529088 2795 33554432000 134512640 134579096 4290429600 4290428448 134527769 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 3303 2795 227 17 0 2609 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 13212
[startup+1302.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 21016
/proc/meminfo: memFree=29470416/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=13452 CPUtime=1302.09 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 2944 0 0 0 130009 200 0 0 20 0 1 0 317264815 13774848 2846 33554432000 134512640 134579096 4290429600 4290428448 134528360 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 3363 2846 227 17 0 2669 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 13452
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 21016
/proc/meminfo: memFree=29469480/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=13452 CPUtime=1362.08 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 2945 0 0 0 136000 208 0 0 20 0 1 0 317264815 13774848 2847 33554432000 134512640 134579096 4290429600 4290428448 134527750 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 3363 2847 227 17 0 2669 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 13452
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 21016
/proc/meminfo: memFree=29469124/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=13452 CPUtime=1422.07 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 2950 0 0 0 141993 214 0 0 20 0 1 0 317264815 13774848 2852 33554432000 134512640 134579096 4290429600 4290428572 6812720 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 3363 2852 227 17 0 2669 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 13452
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21017
/proc/meminfo: memFree=29467648/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=13452 CPUtime=1482.06 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 2957 0 0 0 147986 220 0 0 20 0 1 0 317264815 13774848 2859 33554432000 134512640 134579096 4290429600 4290428572 6812720 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 3363 2859 227 17 0 2669 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 13452
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21017
/proc/meminfo: memFree=29466288/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=13572 CPUtime=1542.04 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 3013 0 0 0 153977 227 0 0 20 0 1 0 317264815 13897728 2896 33554432000 134512640 134579096 4290429600 4290428572 6812720 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 3393 2896 227 17 0 2699 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 13572
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21018
/proc/meminfo: memFree=29463312/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=13580 CPUtime=1602.04 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 3021 0 0 0 159970 234 0 0 20 0 1 0 317264815 13905920 2889 33554432000 134512640 134579096 4290429600 4290428572 6812720 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 3395 2889 227 17 0 2701 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 13580
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21021
/proc/meminfo: memFree=29459456/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=13992 CPUtime=1662.03 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 3128 0 0 0 165964 239 0 0 20 0 1 0 317264815 14327808 2994 33554432000 134512640 134579096 4290429600 4290428448 134527742 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 3498 2994 227 17 0 2804 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 13992
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21021
/proc/meminfo: memFree=29454868/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=13872 CPUtime=1722.01 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 3128 0 0 0 171958 243 0 0 20 0 1 0 317264815 14204928 2971 33554432000 134512640 134579096 4290429600 4290428572 6812720 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 3468 2971 227 17 0 2774 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 13872
[startup+1782.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/178 22221
/proc/meminfo: memFree=29614144/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=13868 CPUtime=1782.01 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 3128 0 0 0 177950 251 0 0 20 0 1 0 317264815 14200832 2970 33554432000 134512640 134579096 4290429600 4290428572 6812720 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 3467 2970 227 17 0 2773 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 13868
Solver just ended. Dumping a history of the last processes samples
[startup+1782.7 s]
/proc/loadavg: 1.95 1.98 1.99 3/178 22221
/proc/meminfo: memFree=29614144/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=13868 CPUtime=1782.41 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 3128 0 0 0 177990 251 0 0 20 0 1 0 317264815 14200832 2970 33554432000 134512640 134579096 4290429600 4290428448 134527812 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 3467 2970 227 17 0 2773 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (KiB) 13868
[startup+1783.11 s]
/proc/loadavg: 1.95 1.98 1.99 3/178 22221
/proc/meminfo: memFree=29614020/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=13868 CPUtime=1782.81 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 3128 0 0 0 178030 251 0 0 20 0 1 0 317264815 14200832 2970 33554432000 134512640 134579096 4290429600 4290428572 6812720 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 3467 2970 227 17 0 2773 0
Current children cumulated CPU time (s) 1782.81
Current children cumulated vsize (KiB) 13868
[startup+1783.2 s]
/proc/loadavg: 1.95 1.98 1.99 3/178 22221
/proc/meminfo: memFree=29614020/32873648 swapFree=7116/7116
[pid=20981] ppid=20979 vsize=13868 CPUtime=1782.91 cores=0,2,4,6
/proc/20981/stat : 20981 (Pueblo) R 20979 20981 19648 0 -1 4202496 3128 0 0 0 178040 251 0 0 20 0 1 0 317264815 14200832 2970 33554432000 134512640 134579096 4290429600 4290428572 6812720 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20981/statm: 3467 2970 227 17 0 2773 0
Current children cumulated CPU time (s) 1782.91
Current children cumulated vsize (KiB) 13868
Child status: 10
Real time (s): 1783.29
CPU time (s): 1783.01
CPU user time (s): 1780.49
CPU system time (s): 2.51662
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 14060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.49
system time used= 2.51662
maximum resident set size= 11976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3133
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= 13
involuntary context switches= 1879
runsolver used 2.83957 second user time and 6.89095 second system time
The end