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-3720110-1338507818/watcher-3720110-1338507818 -o /tmp/evaluation-result-3720110-1338507818/solver-3720110-1338507818 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720110-1338507818.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 1.99 1.68 3/174 22772
/proc/meminfo: memFree=22268656/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=3104 CPUtime=0 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 316907298 3178496 263 33554432000 134512640 134579096 4294726176 4294593516 9983024 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 776 263 221 17 0 82 0
[startup+0.0251269 s]
/proc/loadavg: 2.00 1.99 1.68 3/174 22772
/proc/meminfo: memFree=22268656/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=3516 CPUtime=0.02 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 431 0 0 0 2 0 0 0 20 0 1 0 316907298 3600384 369 33554432000 134512640 134579096 4294726176 4294724832 134522427 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 879 369 229 17 0 185 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3516
[startup+0.10026 s]
/proc/loadavg: 2.00 1.99 1.68 3/174 22772
/proc/meminfo: memFree=22268656/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=3916 CPUtime=0.09 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 529 0 0 0 9 0 0 0 20 0 1 0 316907298 4009984 467 33554432000 134512640 134579096 4294726176 4294724640 4756775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 979 468 229 17 0 285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3916
[startup+0.300224 s]
/proc/loadavg: 2.00 1.99 1.68 3/174 22772
/proc/meminfo: memFree=22268656/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=4048 CPUtime=0.29 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 567 0 0 0 29 0 0 0 20 0 1 0 316907298 4145152 505 33554432000 134512640 134579096 4294726176 4294725148 9983024 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 1012 505 229 17 0 318 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4048
[startup+0.700228 s]
/proc/loadavg: 2.00 1.99 1.68 3/174 22772
/proc/meminfo: memFree=22268656/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=4180 CPUtime=0.69 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 600 0 0 0 69 0 0 0 20 0 1 0 316907298 4280320 538 33554432000 134512640 134579096 4294726176 4294725148 9983024 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 1045 538 229 17 0 351 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4180
[startup+1.50024 s]
/proc/loadavg: 2.00 1.99 1.68 3/175 22773
/proc/meminfo: memFree=22266532/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=4444 CPUtime=1.48 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 656 0 0 0 148 0 0 0 20 0 1 0 316907298 4550656 594 33554432000 134512640 134579096 4294726176 4294725024 134527724 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 1111 594 229 17 0 417 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 4444
[startup+3.10023 s]
/proc/loadavg: 2.00 1.99 1.68 3/175 22773
/proc/meminfo: memFree=22264424/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=4444 CPUtime=3.08 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 675 0 0 0 308 0 0 0 20 0 1 0 316907298 4550656 613 33554432000 134512640 134579096 4294726176 4294725024 134527815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 1111 613 229 17 0 417 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 4444
[startup+6.30023 s]
/proc/loadavg: 2.00 1.99 1.68 3/175 22773
/proc/meminfo: memFree=22260440/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=4576 CPUtime=6.28 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 690 0 0 0 628 0 0 0 20 0 1 0 316907298 4685824 628 33554432000 134512640 134579096 4294726176 4294725024 134527759 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 1144 628 229 17 0 450 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 4576
[startup+12.7002 s]
/proc/loadavg: 2.00 1.99 1.68 3/175 22821
/proc/meminfo: memFree=26193516/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=4692 CPUtime=12.69 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 725 0 0 0 1268 1 0 0 20 0 1 0 316907298 4804608 654 33554432000 134512640 134579096 4294726176 4294725148 9983024 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 1173 654 229 17 0 479 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 4692
[startup+25.5002 s]
/proc/loadavg: 2.08 2.00 1.69 3/175 22821
/proc/meminfo: memFree=26178032/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=4824 CPUtime=25.48 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 788 0 0 0 2546 2 0 0 20 0 1 0 316907298 4939776 717 33554432000 134512640 134579096 4294726176 4294725024 134527762 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 1206 717 229 17 0 512 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4824
[startup+51.1002 s]
/proc/loadavg: 2.05 2.00 1.70 3/175 22821
/proc/meminfo: memFree=26134724/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=5192 CPUtime=51.08 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 857 0 0 0 5104 4 0 0 20 0 1 0 316907298 5316608 786 33554432000 134512640 134579096 4294726176 4294725148 9983024 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 1298 786 229 17 0 604 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 5192
[startup+102.306 s]
/proc/loadavg: 2.02 2.00 1.71 3/175 22821
/proc/meminfo: memFree=26047472/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=5536 CPUtime=102.27 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 944 0 0 0 10220 7 0 0 20 0 1 0 316907298 5668864 873 33554432000 134512640 134579096 4294726176 4294725148 9983024 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 1384 873 229 17 0 690 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 5536
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.73 3/175 22822
/proc/meminfo: memFree=25974608/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=5960 CPUtime=162.26 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 1080 0 0 0 16215 11 0 0 20 0 1 0 316907298 6103040 1003 33554432000 134512640 134579096 4294726176 4294725024 134527737 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 1490 1003 229 17 0 796 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 5960
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.74 3/175 22822
/proc/meminfo: memFree=25881236/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=5996 CPUtime=222.25 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 1086 0 0 0 22210 15 0 0 20 0 1 0 316907298 6139904 1009 33554432000 134512640 134579096 4294726176 4294725148 9983024 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 1499 1009 229 17 0 805 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 5996
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.75 3/175 22822
/proc/meminfo: memFree=25806712/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=5996 CPUtime=282.25 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 1087 0 0 0 28206 19 0 0 20 0 1 0 316907298 6139904 1010 33554432000 134512640 134579096 4294726176 4294725148 9983024 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 1499 1010 229 17 0 805 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 5996
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.76 3/175 22822
/proc/meminfo: memFree=25745368/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=6740 CPUtime=342.23 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 1306 0 0 0 34201 22 0 0 20 0 1 0 316907298 6901760 1198 33554432000 134512640 134579096 4294726176 4294725148 9983024 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 1685 1198 229 17 0 991 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 6740
[startup+402.3 s]
/proc/loadavg: 2.04 2.01 1.78 3/176 22825
/proc/meminfo: memFree=25693432/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=6932 CPUtime=402.22 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 1371 0 0 0 40194 28 0 0 20 0 1 0 316907298 7098368 1215 33554432000 134512640 134579096 4294726176 4294725148 9983024 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 1733 1215 229 17 0 1039 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 6932
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 1.79 3/175 22826
/proc/meminfo: memFree=25622292/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=6932 CPUtime=462.21 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 1391 0 0 0 46190 31 0 0 20 0 1 0 316907298 7098368 1235 33554432000 134512640 134579096 4294726176 4294725148 9983024 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 1733 1235 229 17 0 1039 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 6932
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/175 22826
/proc/meminfo: memFree=25565280/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=7036 CPUtime=522.21 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 1405 0 0 0 52180 41 0 0 20 0 1 0 316907298 7204864 1249 33554432000 134512640 134579096 4294726176 4294725148 9983024 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 1759 1249 229 17 0 1065 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 7036
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/175 22826
/proc/meminfo: memFree=25522812/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=7032 CPUtime=582.2 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 1409 0 0 0 58174 46 0 0 20 0 1 0 316907298 7200768 1252 33554432000 134512640 134579096 4294726176 4294725024 134527759 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 1758 1252 229 17 0 1064 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 7032
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25233024/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=7552 CPUtime=882.15 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 1558 0 0 0 88142 73 0 0 20 0 1 0 316907298 7733248 1401 33554432000 134512640 134579096 4294726176 4294725024 134527750 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 1888 1401 229 17 0 1194 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 7552
[startup+942.3 s]
/proc/loadavg: 2.01 2.01 1.86 3/175 22827
/proc/meminfo: memFree=25171024/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=7612 CPUtime=942.14 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 1574 0 0 0 94126 88 0 0 20 0 1 0 316907298 7794688 1416 33554432000 134512640 134579096 4294726176 4294725148 9983024 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 1903 1416 229 17 0 1209 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 7612
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/176 22830
/proc/meminfo: memFree=25170776/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=7744 CPUtime=1002.13 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 1599 0 0 0 100111 102 0 0 20 0 1 0 316907298 7929856 1441 33554432000 134512640 134579096 4294726176 4294725148 9983024 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 1936 1441 229 17 0 1242 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 7744
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/176 22853
/proc/meminfo: memFree=25170804/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=7844 CPUtime=1062.12 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 1613 0 0 0 106097 115 0 0 20 0 1 0 316907298 8032256 1455 33554432000 134512640 134579096 4294726176 4294725148 9983024 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 1961 1455 229 17 0 1267 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 7844
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/175 22854
/proc/meminfo: memFree=25170096/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=8092 CPUtime=1122.12 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 1674 0 0 0 112085 127 0 0 20 0 1 0 316907298 8286208 1513 33554432000 134512640 134579096 4294726176 4294725148 9983024 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 2023 1513 229 17 0 1329 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 8092
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/175 22854
/proc/meminfo: memFree=25170000/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=8224 CPUtime=1182.11 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 1702 0 0 0 118076 135 0 0 20 0 1 0 316907298 8421376 1541 33554432000 134512640 134579096 4294726176 4294725148 9983024 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 2056 1541 229 17 0 1362 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 8224
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/175 22854
/proc/meminfo: memFree=25169180/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=8160 CPUtime=1242.1 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 1703 0 0 0 124070 140 0 0 20 0 1 0 316907298 8355840 1544 33554432000 134512640 134579096 4294726176 4294725148 9983024 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 2040 1544 229 17 0 1346 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 8160
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/175 22854
/proc/meminfo: memFree=25168932/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=8116 CPUtime=1302.09 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 1703 0 0 0 130065 144 0 0 20 0 1 0 316907298 8310784 1542 33554432000 134512640 134579096 4294726176 4294725024 134527759 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 2029 1542 229 17 0 1335 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 8116
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/175 22854
/proc/meminfo: memFree=25168684/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=8516 CPUtime=1362.07 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 1777 0 0 0 136058 149 0 0 20 0 1 0 316907298 8720384 1616 33554432000 134512640 134579096 4294726176 4294725024 134527824 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 2129 1616 229 17 0 1435 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 8516
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 22855
/proc/meminfo: memFree=25168808/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=8468 CPUtime=1422.07 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 1777 0 0 0 142053 154 0 0 20 0 1 0 316907298 8671232 1616 33554432000 134512640 134579096 4294726176 4294725024 134527818 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 2117 1616 229 17 0 1423 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 8468
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/175 22855
/proc/meminfo: memFree=25168684/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=8464 CPUtime=1482.06 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 1777 0 0 0 148047 159 0 0 20 0 1 0 316907298 8667136 1616 33554432000 134512640 134579096 4294726176 4294725148 9983024 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 2116 1616 229 17 0 1422 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 8464
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/175 22855
/proc/meminfo: memFree=25168684/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=8464 CPUtime=1542.05 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 1784 0 0 0 154042 163 0 0 20 0 1 0 316907298 8667136 1623 33554432000 134512640 134579096 4294726176 4294725148 9983024 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 2116 1623 229 17 0 1422 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 8464
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 22858
/proc/meminfo: memFree=25168428/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=8464 CPUtime=1602.04 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 1784 0 0 0 160036 168 0 0 20 0 1 0 316907298 8667136 1623 33554432000 134512640 134579096 4294726176 4294725024 134527742 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 2116 1623 229 17 0 1422 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 8464
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 22858
/proc/meminfo: memFree=25168560/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=8464 CPUtime=1662.03 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 1784 0 0 0 166033 170 0 0 20 0 1 0 316907298 8667136 1623 33554432000 134512640 134579096 4294726176 4294725148 9983024 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 2116 1623 229 17 0 1422 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 8464
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 22859
/proc/meminfo: memFree=25168436/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=8524 CPUtime=1722.03 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 1807 0 0 0 172028 175 0 0 20 0 1 0 316907298 8728576 1644 33554432000 134512640 134579096 4294726176 4294725024 134527759 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 2131 1644 229 17 0 1437 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 8524
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 22859
/proc/meminfo: memFree=25147356/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=8760 CPUtime=1782.02 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 1854 0 0 0 178020 182 0 0 20 0 1 0 316907298 8970240 1675 33554432000 134512640 134579096 4294726176 4294725148 9983024 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 2190 1675 229 17 0 1496 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 8760
Solver just ended. Dumping a history of the last processes samples
[startup+1782.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 22859
/proc/meminfo: memFree=25147356/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=8760 CPUtime=1782.42 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 1854 0 0 0 178060 182 0 0 20 0 1 0 316907298 8970240 1675 33554432000 134512640 134579096 4294726176 4294725148 9983024 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 2190 1675 229 17 0 1496 0
Current children cumulated CPU time (s) 1782.42
Current children cumulated vsize (KiB) 8760
[startup+1783.11 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 22859
/proc/meminfo: memFree=25145620/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=8760 CPUtime=1782.82 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 1854 0 0 0 178100 182 0 0 20 0 1 0 316907298 8970240 1675 33554432000 134512640 134579096 4294726176 4294725024 134527836 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 2190 1675 229 17 0 1496 0
Current children cumulated CPU time (s) 1782.82
Current children cumulated vsize (KiB) 8760
[startup+1783.2 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 22859
/proc/meminfo: memFree=25145620/32873852 swapFree=6856/6856
[pid=22772] ppid=22770 vsize=8760 CPUtime=1782.92 cores=1,3,5,7
/proc/22772/stat : 22772 (Pueblo) R 22770 22772 22360 0 -1 4202496 1854 0 0 0 178110 182 0 0 20 0 1 0 316907298 8970240 1675 33554432000 134512640 134579096 4294726176 4294725148 9983024 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22772/statm: 2190 1675 229 17 0 1496 0
Current children cumulated CPU time (s) 1782.92
Current children cumulated vsize (KiB) 8760
Child status: 10
Real time (s): 1783.28
CPU time (s): 1783
CPU user time (s): 1781.18
CPU system time (s): 1.82172
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 8760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.18
system time used= 1.82172
maximum resident set size= 6720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1859
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= 11
involuntary context switches= 1835
runsolver used 2.83457 second user time and 6.89695 second system time
The end