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-3720057-1338507798/watcher-3720057-1338507798 -o /tmp/evaluation-result-3720057-1338507798/solver-3720057-1338507798 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720057-1338507798.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 1.68 3/176 25510
/proc/meminfo: memFree=28652880/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=3104 CPUtime=0 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 322 0 0 0 0 0 0 0 20 0 1 0 316904121 3178496 259 33554432000 134512640 134579096 4290840592 4290707940 5006133 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 776 259 213 17 0 82 0
[startup+0.053951 s]
/proc/loadavg: 2.00 2.00 1.68 3/176 25510
/proc/meminfo: memFree=28652880/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=3988 CPUtime=0.04 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 531 0 0 0 4 0 0 0 20 0 1 0 316904121 4083712 468 33554432000 134512640 134579096 4290840592 4290839056 4257063 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 997 468 227 17 0 303 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3988
[startup+0.100275 s]
/proc/loadavg: 2.00 2.00 1.68 3/176 25510
/proc/meminfo: memFree=28652880/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=4540 CPUtime=0.09 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 681 0 0 0 9 0 0 0 20 0 1 0 316904121 4648960 618 33554432000 134512640 134579096 4290840592 4290839564 11789360 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 1135 618 227 17 0 441 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4540
[startup+0.300217 s]
/proc/loadavg: 2.00 2.00 1.68 3/176 25510
/proc/meminfo: memFree=28652880/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=5920 CPUtime=0.29 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 1043 0 0 0 29 0 0 0 20 0 1 0 316904121 6062080 980 33554432000 134512640 134579096 4290840592 4290839440 134527740 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 1480 980 227 17 0 786 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5920
[startup+0.700213 s]
/proc/loadavg: 2.00 2.00 1.68 3/176 25510
/proc/meminfo: memFree=28652880/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=6472 CPUtime=0.69 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 1156 0 0 0 69 0 0 0 20 0 1 0 316904121 6627328 1093 33554432000 134512640 134579096 4290840592 4290839564 11789360 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 1618 1093 227 17 0 924 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6472
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 1.68 3/177 25511
/proc/meminfo: memFree=28649292/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=6892 CPUtime=1.49 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 1327 0 0 0 149 0 0 0 20 0 1 0 316904121 7057408 1224 33554432000 134512640 134579096 4290840592 4290839248 134522733 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 1723 1224 227 17 0 1029 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6892
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 1.68 3/177 25511
/proc/meminfo: memFree=28648540/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=7880 CPUtime=3.08 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 1706 0 0 0 308 0 0 0 20 0 1 0 316904121 8069120 1471 33554432000 134512640 134579096 4290840592 4290839440 134528015 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 1970 1471 227 17 0 1276 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 7880
[startup+6.30021 s]
/proc/loadavg: 2.00 2.00 1.68 3/177 25511
/proc/meminfo: memFree=28646804/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=8724 CPUtime=6.28 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 2017 0 0 0 628 0 0 0 20 0 1 0 316904121 8933376 1682 33554432000 134512640 134579096 4290840592 4290839520 134526901 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 2181 1682 227 17 0 1487 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 8724
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.68 3/176 25511
/proc/meminfo: memFree=28644860/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=10308 CPUtime=12.68 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 2515 0 0 0 1267 1 0 0 20 0 1 0 316904121 10555392 2077 33554432000 134512640 134579096 4290840592 4290839440 134527740 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 2577 2077 227 17 0 1883 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 10308
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.69 3/177 25512
/proc/meminfo: memFree=28643736/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=11732 CPUtime=25.48 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 3799 0 0 0 2546 2 0 0 20 0 1 0 316904121 12013568 2433 33554432000 134512640 134579096 4290840592 4290839392 134528574 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 2933 2433 227 17 0 2239 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 11732
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.69 3/177 25512
/proc/meminfo: memFree=28643612/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=11836 CPUtime=51.08 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 3903 0 0 0 5103 5 0 0 20 0 1 0 316904121 12120064 2459 33554432000 134512640 134579096 4290840592 4290839440 134527981 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 2959 2459 227 17 0 2265 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 11836
[startup+102.307 s]
/proc/loadavg: 2.05 2.01 1.71 3/177 25512
/proc/meminfo: memFree=28641496/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=13140 CPUtime=102.28 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 4975 0 0 0 10218 10 0 0 20 0 1 0 316904121 13455360 2791 33554432000 134512640 134579096 4290840592 4290839512 134526885 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 3285 2791 227 17 0 2591 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 13140
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 1.73 3/177 25512
/proc/meminfo: memFree=28639140/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=15776 CPUtime=162.26 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 5763 0 0 0 16210 16 0 0 20 0 1 0 316904121 16154624 3455 33554432000 134512640 134579096 4290840592 4290839392 134528638 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 3944 3455 227 17 0 3250 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 15776
[startup+222.3 s]
/proc/loadavg: 2.08 2.03 1.75 2/175 25555
/proc/meminfo: memFree=28749072/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=15720 CPUtime=222.25 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 5765 0 0 0 22205 20 0 0 20 0 1 0 316904121 16097280 3441 33554432000 134512640 134579096 4290840592 4290839564 11789360 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 3930 3441 227 17 0 3236 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 15720
[startup+282.3 s]
/proc/loadavg: 2.03 2.02 1.76 3/177 25656
/proc/meminfo: memFree=28725876/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=17228 CPUtime=282.24 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 6802 0 0 0 28199 25 0 0 20 0 1 0 316904121 17641472 3797 33554432000 134512640 134579096 4290840592 4290839564 11789360 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 4307 3797 227 17 0 3613 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 17228
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 1.78 3/177 25657
/proc/meminfo: memFree=28723332/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=17784 CPUtime=342.23 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 7053 0 0 0 34194 29 0 0 20 0 1 0 316904121 18210816 3957 33554432000 134512640 134579096 4290840592 4290839440 134527762 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 4446 3957 227 17 0 3752 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 17784
[startup+402.3 s]
/proc/loadavg: 2.05 2.04 1.80 3/177 25657
/proc/meminfo: memFree=28721904/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=17784 CPUtime=402.22 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 7067 0 0 0 40189 33 0 0 20 0 1 0 316904121 18210816 3957 33554432000 134512640 134579096 4290840592 4290839440 134527830 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 4446 3957 227 17 0 3752 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 17784
[startup+462.3 s]
/proc/loadavg: 2.02 2.03 1.81 3/178 25660
/proc/meminfo: memFree=28720036/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=20536 CPUtime=462.21 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 7764 0 0 0 46184 37 0 0 20 0 1 0 316904121 21028864 4644 33554432000 134512640 134579096 4290840592 4290839440 134527815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 5134 4644 227 17 0 4440 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 20536
[startup+522.3 s]
/proc/loadavg: 2.04 2.03 1.82 3/177 25660
/proc/meminfo: memFree=28718740/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=20004 CPUtime=522.2 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 7822 0 0 0 52180 40 0 0 20 0 1 0 316904121 20484096 4512 33554432000 134512640 134579096 4290840592 4290839440 134527824 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 5001 4512 227 17 0 4307 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 20004
[startup+582.3 s]
/proc/loadavg: 2.05 2.04 1.83 3/177 25660
/proc/meminfo: memFree=28718740/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=20156 CPUtime=582.19 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 7833 0 0 0 58176 43 0 0 20 0 1 0 316904121 20639744 4523 33554432000 134512640 134579096 4290840592 4290839440 134527759 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 5039 4523 227 17 0 4345 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 20156
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28716444/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=21308 CPUtime=882.15 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 8627 0 0 0 88155 60 0 0 20 0 1 0 316904121 21819392 4838 33554432000 134512640 134579096 4290840592 4290839392 134528660 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 5327 4838 227 17 0 4633 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 21308
[startup+942.3 s]
/proc/loadavg: 2.00 2.03 1.90 3/177 25662
/proc/meminfo: memFree=28716072/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=21308 CPUtime=942.13 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 8627 0 0 0 94152 61 0 0 20 0 1 0 316904121 21819392 4838 33554432000 134512640 134579096 4290840592 4290839412 134556388 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 5327 4838 227 17 0 4633 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 21308
[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 1.90 3/177 25662
/proc/meminfo: memFree=28716072/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=21236 CPUtime=1002.13 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 8627 0 0 0 100149 64 0 0 20 0 1 0 316904121 21745664 4820 33554432000 134512640 134579096 4290840592 4290839440 134527765 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 5309 4820 227 17 0 4615 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 21236
[startup+1062.3 s]
/proc/loadavg: 2.03 2.03 1.91 3/178 25665
/proc/meminfo: memFree=28715504/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=21780 CPUtime=1062.12 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 8810 0 0 0 106146 66 0 0 20 0 1 0 316904121 22302720 4956 33554432000 134512640 134579096 4290840592 4290839440 134527762 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 5445 4956 227 17 0 4751 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 21780
[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 1.91 3/178 25688
/proc/meminfo: memFree=28715504/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=21720 CPUtime=1122.11 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 8810 0 0 0 112142 69 0 0 20 0 1 0 316904121 22241280 4941 33554432000 134512640 134579096 4290840592 4290839500 134519884 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 5430 4941 227 17 0 4736 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 21720
[startup+1182.3 s]
/proc/loadavg: 2.09 2.05 1.92 3/177 25688
/proc/meminfo: memFree=28715512/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=22008 CPUtime=1182.11 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 8868 0 0 0 118138 73 0 0 20 0 1 0 316904121 22536192 4999 33554432000 134512640 134579096 4290840592 4290839440 134527740 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 5502 4999 227 17 0 4808 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 22008
[startup+1242.3 s]
/proc/loadavg: 2.03 2.04 1.92 3/177 25689
/proc/meminfo: memFree=28715512/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=22008 CPUtime=1242.09 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 8868 0 0 0 124135 74 0 0 20 0 1 0 316904121 22536192 4999 33554432000 134512640 134579096 4290840592 4290839440 134527737 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 5502 4999 227 17 0 4808 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 22008
[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 1.92 3/177 25689
/proc/meminfo: memFree=28715264/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=22008 CPUtime=1302.08 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 8868 0 0 0 130131 77 0 0 20 0 1 0 316904121 22536192 4999 33554432000 134512640 134579096 4290840592 4290839440 134527740 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 5502 4999 227 17 0 4808 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 22008
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.92 3/177 25689
/proc/meminfo: memFree=28715264/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=22008 CPUtime=1362.08 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 8868 0 0 0 136128 80 0 0 20 0 1 0 316904121 22536192 4999 33554432000 134512640 134579096 4290840592 4290839440 134527753 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 5502 4999 227 17 0 4808 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 22008
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 1.92 3/177 25689
/proc/meminfo: memFree=28714828/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=21676 CPUtime=1422.07 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 8868 0 0 0 142126 81 0 0 20 0 1 0 316904121 22196224 4930 33554432000 134512640 134579096 4290840592 4290839440 134527740 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 5419 4930 227 17 0 4725 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 21676
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/177 25689
/proc/meminfo: memFree=28714704/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=21748 CPUtime=1482.05 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 8896 0 0 0 148121 84 0 0 20 0 1 0 316904121 22269952 4943 33554432000 134512640 134579096 4290840592 4290839440 134527729 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 5437 4943 227 17 0 4743 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 21748
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 25690
/proc/meminfo: memFree=28714332/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=21756 CPUtime=1542.05 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 8949 0 0 0 154117 88 0 0 20 0 1 0 316904121 22278144 4949 33554432000 134512640 134579096 4290840592 4290839440 134527812 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 5439 4949 227 17 0 4745 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 21756
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 25690
/proc/meminfo: memFree=28714456/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=21664 CPUtime=1602.04 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 9133 0 0 0 160113 91 0 0 20 0 1 0 316904121 22183936 4927 33554432000 134512640 134579096 4290840592 4290839440 134527715 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 5416 4927 227 17 0 4722 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 21664
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 1.93 3/178 25693
/proc/meminfo: memFree=28710852/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=25000 CPUtime=1662.02 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 9992 0 0 0 166108 94 0 0 20 0 1 0 316904121 25600000 5761 33554432000 134512640 134579096 4290840592 4290839440 134527712 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 6250 5761 227 17 0 5556 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 25000
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 25693
/proc/meminfo: memFree=28710672/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=24904 CPUtime=1722.02 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 9993 0 0 0 172104 98 0 0 20 0 1 0 316904121 25501696 5737 33554432000 134512640 134579096 4290840592 4290839392 134528560 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 6226 5737 227 17 0 5532 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 24904
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 25693
/proc/meminfo: memFree=28710796/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=24904 CPUtime=1782.01 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 9993 0 0 0 178101 100 0 0 20 0 1 0 316904121 25501696 5737 33554432000 134512640 134579096 4290840592 4290836960 134533511 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 6226 5737 227 17 0 5532 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 24904
Solver just ended. Dumping a history of the last processes samples
[startup+1782.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 25693
/proc/meminfo: memFree=28710796/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=24904 CPUtime=1782.41 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 9993 0 0 0 178141 100 0 0 20 0 1 0 316904121 25501696 5737 33554432000 134512640 134579096 4290840592 4290839440 134527824 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 6226 5737 227 17 0 5532 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (KiB) 24904
[startup+1783.11 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 25693
/proc/meminfo: memFree=28710796/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=24904 CPUtime=1782.82 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 9993 0 0 0 178182 100 0 0 20 0 1 0 316904121 25501696 5737 33554432000 134512640 134579096 4290840592 4290839440 134528052 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 6226 5737 227 17 0 5532 0
Current children cumulated CPU time (s) 1782.82
Current children cumulated vsize (KiB) 24904
[startup+1783.2 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 25693
/proc/meminfo: memFree=28710796/32873844 swapFree=7632/7632
[pid=25510] ppid=25508 vsize=24904 CPUtime=1782.91 cores=1,3,5,7
/proc/25510/stat : 25510 (Pueblo) R 25508 25510 25340 0 -1 4202496 9993 0 0 0 178191 100 0 0 20 0 1 0 316904121 25501696 5737 33554432000 134512640 134579096 4290840592 4290839440 134527759 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25510/statm: 6226 5737 227 17 0 5532 0
Current children cumulated CPU time (s) 1782.91
Current children cumulated vsize (KiB) 24904
Child status: 10
Real time (s): 1783.29
CPU time (s): 1783.01
CPU user time (s): 1782
CPU system time (s): 1.00485
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 25140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782
system time used= 1.00485
maximum resident set size= 23056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9998
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= 19
involuntary context switches= 1858
runsolver used 5.78712 second user time and 16.6595 second system time
The end