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-3720022-1338506244/watcher-3720022-1338506244 -o /tmp/evaluation-result-3720022-1338506244/solver-3720022-1338506244 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720022-1338506244.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: 1.96 1.08 0.44 3/176 14833
/proc/meminfo: memFree=28153140/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=3108 CPUtime=0 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 335 0 0 0 0 0 0 0 20 0 1 0 316751150 3182592 272 33554432000 134512640 134579096 4291020112 4290887412 9073461 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14833/statm: 777 272 219 17 0 83 0
[startup+0.0362781 s]
/proc/loadavg: 1.96 1.08 0.44 3/176 14833
/proc/meminfo: memFree=28153140/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=3908 CPUtime=0.03 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 512 0 0 0 3 0 0 0 20 0 1 0 316751150 4001792 449 33554432000 134512640 134579096 4291020112 4290887508 9073466 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14833/statm: 977 449 219 17 0 283 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3908
[startup+0.100209 s]
/proc/loadavg: 1.96 1.08 0.44 3/176 14833
/proc/meminfo: memFree=28153140/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=4972 CPUtime=0.09 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 798 0 0 0 9 0 0 0 20 0 1 0 316751150 5091328 735 33554432000 134512640 134579096 4291020112 4290887388 11662384 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14833/statm: 1243 735 219 17 0 549 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4972
[startup+0.300184 s]
/proc/loadavg: 1.96 1.08 0.44 3/176 14833
/proc/meminfo: memFree=28153140/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=8704 CPUtime=0.29 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 1726 0 0 0 29 0 0 0 20 0 1 0 316751150 8912896 1663 33554432000 134512640 134579096 4291020112 4291019084 11662384 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14833/statm: 2176 1663 227 17 0 1482 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8704
[startup+0.700178 s]
/proc/loadavg: 1.96 1.08 0.44 3/176 14833
/proc/meminfo: memFree=28153140/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=8704 CPUtime=0.69 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 1726 0 0 0 69 0 0 0 20 0 1 0 316751150 8912896 1663 33554432000 134512640 134579096 4291020112 4291019084 11662384 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14833/statm: 2176 1663 227 17 0 1482 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8704
[startup+1.50018 s]
/proc/loadavg: 1.96 1.08 0.44 3/177 14834
/proc/meminfo: memFree=28147452/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=10400 CPUtime=1.49 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 2123 0 0 0 148 1 0 0 20 0 1 0 316751150 10649600 2060 33554432000 134512640 134579096 4291020112 4291019084 11662384 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14833/statm: 2600 2060 227 17 0 1906 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10400
[startup+3.10018 s]
/proc/loadavg: 1.96 1.10 0.45 3/177 14834
/proc/meminfo: memFree=28144204/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=14768 CPUtime=3.09 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 3235 0 0 0 307 2 0 0 20 0 1 0 316751150 15122432 3172 33554432000 134512640 134579096 4291020112 4291019084 11662384 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14833/statm: 3692 3172 227 17 0 2998 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14768
[startup+6.30019 s]
/proc/loadavg: 1.96 1.10 0.45 3/177 14834
/proc/meminfo: memFree=28135480/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=19772 CPUtime=6.28 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 4472 0 0 0 626 2 0 0 20 0 1 0 316751150 20246528 4409 33554432000 134512640 134579096 4291020112 4291018960 134527759 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14833/statm: 4943 4409 227 17 0 4249 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19772
[startup+12.7002 s]
/proc/loadavg: 1.97 1.13 0.46 3/177 14834
/proc/meminfo: memFree=28128832/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=25932 CPUtime=12.68 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 6023 0 0 0 1265 3 0 0 20 0 1 0 316751150 26554368 5960 33554432000 134512640 134579096 4291020112 4291018976 134520048 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14833/statm: 6483 5960 227 17 0 5789 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 25932
[startup+25.5002 s]
/proc/loadavg: 1.97 1.15 0.48 3/177 14834
/proc/meminfo: memFree=28124104/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=30980 CPUtime=25.47 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 7289 0 0 0 2542 5 0 0 20 0 1 0 316751150 31723520 7240 33554432000 134512640 134579096 4291020112 4291018768 134524561 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14833/statm: 7745 7240 227 17 0 7051 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 30980
[startup+51.1002 s]
/proc/loadavg: 2.04 1.24 0.52 3/177 14834
/proc/meminfo: memFree=28121308/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=33276 CPUtime=51.07 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 7846 0 0 0 5098 9 0 0 20 0 1 0 316751150 34074624 7821 33554432000 134512640 134579096 4291020112 4291018976 134520204 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14833/statm: 8319 7821 227 17 0 7625 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 33276
[startup+102.306 s]
/proc/loadavg: 2.02 1.36 0.60 3/177 14835
/proc/meminfo: memFree=28106108/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=48736 CPUtime=102.26 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 11713 0 0 0 10210 16 0 0 20 0 1 0 316751150 49905664 11683 33554432000 134512640 134579096 4291020112 4291019040 134559533 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14833/statm: 12184 11683 227 17 0 11490 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 48736
[startup+162.3 s]
/proc/loadavg: 2.06 1.48 0.69 3/178 14838
/proc/meminfo: memFree=28099972/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=50080 CPUtime=162.25 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 12050 0 0 0 16201 24 0 0 20 0 1 0 316751150 51281920 12018 33554432000 134512640 134579096 4291020112 4291018960 134527830 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14833/statm: 12520 12018 227 17 0 11826 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 50080
[startup+222.3 s]
/proc/loadavg: 2.02 1.58 0.77 3/177 14838
/proc/meminfo: memFree=28097788/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=53732 CPUtime=222.23 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 12975 0 0 0 22193 30 0 0 20 0 1 0 316751150 55021568 12943 33554432000 134512640 134579096 4291020112 4291018932 134556221 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14833/statm: 13433 12943 227 17 0 12739 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 53732
[startup+282.3 s]
/proc/loadavg: 2.00 1.65 0.84 3/177 14838
/proc/meminfo: memFree=28094664/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=53988 CPUtime=282.22 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 13012 0 0 0 28186 36 0 0 20 0 1 0 316751150 55283712 12978 33554432000 134512640 134579096 4291020112 4291019084 11662384 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14833/statm: 13497 12978 227 17 0 12803 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 53988
[startup+342.3 s]
/proc/loadavg: 2.00 1.71 0.92 3/177 14838
/proc/meminfo: memFree=28081672/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=67144 CPUtime=342.21 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 16280 0 0 0 34178 43 0 0 20 0 1 0 316751150 68755456 16244 33554432000 134512640 134579096 4291020112 4291019084 11662384 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14833/statm: 16786 16244 227 17 0 16092 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 67144
[startup+402.3 s]
/proc/loadavg: 2.06 1.78 0.98 3/177 14839
/proc/meminfo: memFree=28081352/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=67144 CPUtime=402.19 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 16285 0 0 0 40169 50 0 0 20 0 1 0 316751150 68755456 16247 33554432000 134512640 134579096 4291020112 4291018960 134527833 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14833/statm: 16786 16247 227 17 0 16092 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 67144
[startup+462.3 s]
/proc/loadavg: 2.02 1.81 1.04 3/177 14839
/proc/meminfo: memFree=28063860/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=77656 CPUtime=462.19 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 18921 0 0 0 46163 56 0 0 20 0 1 0 316751150 79519744 18886 33554432000 134512640 134579096 4291020112 4291018960 134527833 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14833/statm: 19414 18886 227 17 0 18720 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 77656
[startup+522.3 s]
/proc/loadavg: 2.00 1.84 1.10 3/177 14839
/proc/meminfo: memFree=28056028/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=86536 CPUtime=522.18 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 21126 0 0 0 52157 61 0 0 20 0 1 0 316751150 88612864 21091 33554432000 134512640 134579096 4291020112 4291018768 134522742 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14833/statm: 21634 21091 227 17 0 20940 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 86536
[startup+582.3 s]
/proc/loadavg: 2.00 1.87 1.15 3/177 14839
/proc/meminfo: memFree=28052840/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=89672 CPUtime=582.17 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 21936 0 0 0 58151 66 0 0 20 0 1 0 316751150 91824128 21896 33554432000 134512640 134579096 4291020112 4291016800 134533509 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14833/statm: 22418 21896 227 17 0 21724 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 89672
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28047708/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=89672 CPUtime=822.13 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 21941 0 0 0 82125 88 0 0 20 0 1 0 316751150 91824128 21900 33554432000 134512640 134579096 4291020112 4291018976 134520067 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14833/statm: 22418 21900 227 17 0 21724 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 89672
[startup+882.3 s]
/proc/loadavg: 2.00 1.95 1.38 3/177 14843
/proc/meminfo: memFree=28047708/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=89672 CPUtime=882.12 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 21941 0 0 0 88120 92 0 0 20 0 1 0 316751150 91824128 21900 33554432000 134512640 134579096 4291020112 4291018928 134520332 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14833/statm: 22418 21900 227 17 0 21724 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 89672
[startup+942.3 s]
/proc/loadavg: 2.00 1.95 1.41 3/178 14844
/proc/meminfo: memFree=28047824/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=89672 CPUtime=942.12 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 21941 0 0 0 94113 99 0 0 20 0 1 0 316751150 91824128 21900 33554432000 134512640 134579096 4291020112 4291019008 134516731 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14833/statm: 22418 21900 227 17 0 21724 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 89672
[startup+1002.3 s]
/proc/loadavg: 2.00 1.96 1.45 3/177 14845
/proc/meminfo: memFree=28047832/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=89672 CPUtime=1002.1 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 21941 0 0 0 100106 104 0 0 20 0 1 0 316751150 91824128 21900 33554432000 134512640 134579096 4291020112 4291018976 134520044 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14833/statm: 22418 21900 227 17 0 21724 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 89672
[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.48 3/177 14845
/proc/meminfo: memFree=28047584/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=89672 CPUtime=1062.09 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 21941 0 0 0 106101 108 0 0 20 0 1 0 316751150 91824128 21900 33554432000 134512640 134579096 4291020112 4291019084 11662384 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14833/statm: 22418 21900 227 17 0 21724 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 89672
[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.51 3/177 14845
/proc/meminfo: memFree=28047708/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=89672 CPUtime=1122.09 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 21941 0 0 0 112094 115 0 0 20 0 1 0 316751150 91824128 21900 33554432000 134512640 134579096 4291020112 4291018944 134517885 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14833/statm: 22418 21900 227 17 0 21724 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 89672
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.54 3/177 14845
/proc/meminfo: memFree=28047712/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=89672 CPUtime=1182.08 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 21941 0 0 0 118089 119 0 0 20 0 1 0 316751150 91824128 21900 33554432000 134512640 134579096 4291020112 4291018944 134517501 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14833/statm: 22418 21900 227 17 0 21724 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 89672
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.56 3/177 14845
/proc/meminfo: memFree=28043744/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=89672 CPUtime=1242.06 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 21941 0 0 0 124082 124 0 0 20 0 1 0 316751150 91824128 21900 33554432000 134512640 134579096 4291020112 4291018976 134520113 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14833/statm: 22418 21900 227 17 0 21724 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 89672
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.59 3/177 14846
/proc/meminfo: memFree=28041140/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=89672 CPUtime=1302.06 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 21945 0 0 0 130076 130 0 0 20 0 1 0 316751150 91824128 21904 33554432000 134512640 134579096 4291020112 4291018976 134520048 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14833/statm: 22418 21904 227 17 0 21724 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 89672
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.61 3/178 14849
/proc/meminfo: memFree=28040104/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=90052 CPUtime=1362.05 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 22034 0 0 0 136071 134 0 0 20 0 1 0 316751150 92213248 21993 33554432000 134512640 134579096 4291020112 4291019084 11662384 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14833/statm: 22513 21993 227 17 0 21819 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 90052
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.64 3/177 14849
/proc/meminfo: memFree=28040764/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=90052 CPUtime=1422.05 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 22034 0 0 0 142066 139 0 0 20 0 1 0 316751150 92213248 21993 33554432000 134512640 134579096 4291020112 4291018928 134519100 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14833/statm: 22513 21993 227 17 0 21819 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 90052
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.65 3/177 14849
/proc/meminfo: memFree=28040764/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=90052 CPUtime=1482.03 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 22034 0 0 0 148059 144 0 0 20 0 1 0 316751150 92213248 21993 33554432000 134512640 134579096 4291020112 4291018928 134519100 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14833/statm: 22513 21993 227 17 0 21819 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 90052
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.67 3/177 14849
/proc/meminfo: memFree=28040888/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=90052 CPUtime=1542.02 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 22034 0 0 0 154054 148 0 0 20 0 1 0 316751150 92213248 21993 33554432000 134512640 134579096 4291020112 4291018768 134522726 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14833/statm: 22513 21993 227 17 0 21819 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 90052
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.69 3/177 14850
/proc/meminfo: memFree=28037172/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=93596 CPUtime=1602.01 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 22911 0 0 0 160048 153 0 0 20 0 1 0 316751150 95842304 22870 33554432000 134512640 134579096 4291020112 4291019084 11662384 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14833/statm: 23399 22870 227 17 0 22705 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 93596
[startup+1662.3 s]
/proc/loadavg: 2.04 1.99 1.71 3/177 14850
/proc/meminfo: memFree=28035492/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=95660 CPUtime=1662 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 23427 0 0 0 166043 157 0 0 20 0 1 0 316751150 97955840 23388 33554432000 134512640 134579096 4291020112 4291018932 134556382 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14833/statm: 23915 23388 227 17 0 23221 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 95660
[startup+1722.3 s]
/proc/loadavg: 2.10 2.02 1.74 3/177 15042
/proc/meminfo: memFree=28068488/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=95648 CPUtime=1721.99 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 23427 0 0 0 172036 163 0 0 20 0 1 0 316751150 97943552 23388 33554432000 134512640 134579096 4291020112 4291018960 134527836 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14833/statm: 23912 23388 227 17 0 23218 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 95648
[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 1.75 3/177 15042
/proc/meminfo: memFree=28015980/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=95540 CPUtime=1781.98 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 23427 0 0 0 178030 168 0 0 20 0 1 0 316751150 97832960 23377 33554432000 134512640 134579096 4291020112 4291019020 134519884 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14833/statm: 23885 23377 227 17 0 23191 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 95540
Solver just ended. Dumping a history of the last processes samples
[startup+1783.11 s]
/proc/loadavg: 2.07 2.03 1.75 3/177 15042
/proc/meminfo: memFree=28015732/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=95540 CPUtime=1782.79 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 23427 0 0 0 178111 168 0 0 20 0 1 0 316751150 97832960 23377 33554432000 134512640 134579096 4291020112 4291019084 11662384 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14833/statm: 23885 23377 227 17 0 23191 0
Current children cumulated CPU time (s) 1782.79
Current children cumulated vsize (KiB) 95540
[startup+1783.3 s]
/proc/loadavg: 2.07 2.03 1.75 3/177 15042
/proc/meminfo: memFree=28015732/32873648 swapFree=6852/6852
[pid=14833] ppid=14831 vsize=95540 CPUtime=1782.98 cores=1,3,5,7
/proc/14833/stat : 14833 (Pueblo) R 14831 14833 14678 0 -1 4202496 23427 0 0 0 178130 168 0 0 20 0 1 0 316751150 97832960 23377 33554432000 134512640 134579096 4291020112 4291019084 11662384 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14833/statm: 23885 23377 227 17 0 23191 0
Current children cumulated CPU time (s) 1782.98
Current children cumulated vsize (KiB) 95540
Child status: 10
Real time (s): 1783.32
CPU time (s): 1783.01
CPU user time (s): 1781.32
CPU system time (s): 1.68774
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 95660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.32
system time used= 1.68774
maximum resident set size= 93552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23432
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= 53
involuntary context switches= 2603
runsolver used 2.50262 second user time and 7.2289 second system time
The end