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-3720146-1338507867/watcher-3720146-1338507867 -o /tmp/evaluation-result-3720146-1338507867/solver-3720146-1338507867 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720146-1338507867.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: 4.80 3.11 2.11 3/177 31885
/proc/meminfo: memFree=27594268/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=3232 CPUtime=0 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 345 0 0 0 0 0 0 0 20 0 1 0 316912763 3309568 282 33554432000 134512640 134579096 4293628496 4293495908 3130093 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31885/statm: 808 282 221 17 0 114 0
[startup+0.0402271 s]
/proc/loadavg: 4.80 3.11 2.11 3/177 31885
/proc/meminfo: memFree=27594268/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=4164 CPUtime=0.03 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 594 0 0 0 3 0 0 0 20 0 1 0 316912763 4263936 531 33554432000 134512640 134579096 4293628496 4293495908 3130122 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31885/statm: 1041 533 221 17 0 347 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4164
[startup+0.10021 s]
/proc/loadavg: 4.80 3.11 2.11 3/177 31885
/proc/meminfo: memFree=27594268/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=5896 CPUtime=0.09 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 1023 0 0 0 9 0 0 0 20 0 1 0 316912763 6037504 960 33554432000 134512640 134579096 4293628496 4293495956 3130097 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31885/statm: 1474 960 221 17 0 780 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5896
[startup+0.300235 s]
/proc/loadavg: 4.80 3.11 2.11 3/177 31885
/proc/meminfo: memFree=27594268/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=11624 CPUtime=0.29 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 2445 0 0 0 29 0 0 0 20 0 1 0 316912763 11902976 2382 33554432000 134512640 134579096 4293628496 4293495908 3130146 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31885/statm: 2906 2382 221 17 0 2212 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11624
[startup+0.700237 s]
/proc/loadavg: 4.80 3.11 2.11 3/177 31885
/proc/meminfo: memFree=27594268/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=14444 CPUtime=0.68 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 3114 0 0 0 68 0 0 0 20 0 1 0 316912763 14790656 3051 33554432000 134512640 134579096 4293628496 4293627152 134523691 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31885/statm: 3611 3051 230 17 0 2917 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 14444
[startup+1.50023 s]
/proc/loadavg: 4.80 3.11 2.11 3/178 31886
/proc/meminfo: memFree=27583224/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=14444 CPUtime=1.48 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 3114 0 0 0 148 0 0 0 20 0 1 0 316912763 14790656 3051 33554432000 134512640 134579096 4293628496 4293627152 134522706 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31885/statm: 3611 3051 230 17 0 2917 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 14444
[startup+3.10019 s]
/proc/loadavg: 4.58 3.09 2.11 3/178 31886
/proc/meminfo: memFree=27582960/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=14444 CPUtime=3.08 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 3122 0 0 0 308 0 0 0 20 0 1 0 316912763 14790656 3059 33554432000 134512640 134579096 4293628496 4293627152 134523654 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31885/statm: 3611 3059 230 17 0 2917 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 14444
[startup+6.30026 s]
/proc/loadavg: 4.58 3.09 2.11 3/178 31886
/proc/meminfo: memFree=27581748/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=20212 CPUtime=6.29 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 4544 0 0 0 628 1 0 0 20 0 1 0 316912763 20697088 4481 33554432000 134512640 134579096 4293628496 4293627152 134522427 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31885/statm: 5053 4481 230 17 0 4359 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20212
[startup+12.7002 s]
/proc/loadavg: 4.18 3.06 2.11 3/178 31886
/proc/meminfo: memFree=27570872/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=31092 CPUtime=12.68 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 7279 0 0 0 1267 1 0 0 20 0 1 0 316912763 31838208 7216 33554432000 134512640 134579096 4293628496 4293627200 2408662 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31885/statm: 7773 7216 230 17 0 7079 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 31092
[startup+25.5001 s]
/proc/loadavg: 3.85 3.02 2.11 3/178 31886
/proc/meminfo: memFree=27551844/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=52068 CPUtime=25.48 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 12506 0 0 0 2546 2 0 0 20 0 1 0 316912763 53317632 12443 33554432000 134512640 134579096 4293628496 4293627152 134523654 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31885/statm: 13017 12443 230 17 0 12323 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 52068
[startup+51.1002 s]
/proc/loadavg: 3.29 2.95 2.11 3/178 31934
/proc/meminfo: memFree=27527772/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=92924 CPUtime=51.07 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 22714 0 0 0 5102 5 0 0 20 0 1 0 316912763 95154176 22655 33554432000 134512640 134579096 4293628496 4293627468 8901680 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31885/statm: 23231 22655 230 17 0 22537 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 92924
[startup+102.307 s]
/proc/loadavg: 2.57 2.81 2.10 3/177 31934
/proc/meminfo: memFree=27422904/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=161832 CPUtime=102.25 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 39857 0 0 0 10216 9 0 0 20 0 1 0 316912763 165715968 39833 33554432000 134512640 134579096 4293628496 4293627312 134519125 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31885/statm: 40458 39833 230 17 0 39764 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 161832
[startup+162.3 s]
/proc/loadavg: 2.21 2.66 2.09 3/177 31935
/proc/meminfo: memFree=27366420/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=209292 CPUtime=162.21 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 51651 0 0 0 16205 16 0 0 20 0 1 0 316912763 214315008 51703 33554432000 134512640 134579096 4293628496 4293627344 134527759 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31885/statm: 52323 51703 230 17 0 51629 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 209292
[startup+222.3 s]
/proc/loadavg: 2.08 2.54 2.08 3/177 31935
/proc/meminfo: memFree=27312136/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=252536 CPUtime=222.21 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 62372 0 0 0 22200 21 0 0 20 0 1 0 316912763 258596864 62424 33554432000 134512640 134579096 4293628496 4293627328 134517899 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31885/statm: 63134 62424 230 17 0 62440 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 252536
[startup+282.3 s]
/proc/loadavg: 2.03 2.44 2.08 3/177 31935
/proc/meminfo: memFree=27196144/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=357176 CPUtime=282.2 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 88459 0 0 0 28191 29 0 0 20 0 1 0 316912763 365748224 88511 33554432000 134512640 134579096 4293628496 4293627360 134520196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31885/statm: 89294 88511 230 17 0 88600 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 357176
[startup+342.3 s]
/proc/loadavg: 2.01 2.35 2.07 3/178 31938
/proc/meminfo: memFree=27125132/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=427996 CPUtime=342.18 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 106090 0 0 0 34181 37 0 0 20 0 1 0 316912763 438267904 106160 33554432000 134512640 134579096 4293628496 4293627200 2408662 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31885/statm: 106999 106160 230 17 0 106305 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 427996
[startup+402.3 s]
/proc/loadavg: 2.00 2.29 2.07 3/177 31938
/proc/meminfo: memFree=27022196/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=523208 CPUtime=402.16 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 129702 0 0 0 40170 46 0 0 20 0 1 0 316912763 535764992 129826 33554432000 134512640 134579096 4293628496 4293627468 8901680 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31885/statm: 130802 129826 230 17 0 130108 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 523208
[startup+462.3 s]
/proc/loadavg: 2.00 2.23 2.06 3/177 31939
/proc/meminfo: memFree=26962456/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=580112 CPUtime=462.13 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 143940 0 0 0 46160 53 0 0 20 0 1 0 316912763 594034688 144051 33554432000 134512640 134579096 4293628496 4293627344 134532121 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31885/statm: 145028 144051 230 17 0 144334 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 580112
[startup+522.3 s]
/proc/loadavg: 2.00 2.19 2.05 3/177 31939
/proc/meminfo: memFree=26961492/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=580112 CPUtime=522.11 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 143958 0 0 0 52156 55 0 0 20 0 1 0 316912763 594034688 144161 33554432000 134512640 134579096 4293628496 4293627376 134557266 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31885/statm: 145028 144161 230 17 0 144334 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 580112
[startup+582.3 s]
/proc/loadavg: 2.00 2.15 2.05 3/177 31939
/proc/meminfo: memFree=26947896/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=580112 CPUtime=582.09 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 143976 0 0 0 58153 56 0 0 20 0 1 0 316912763 594034688 144221 33554432000 134512640 134579096 4293628496 4293627468 8901680 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31885/statm: 145028 144221 230 17 0 144334 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 580112
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26904872/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=621372 CPUtime=882.05 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 154294 0 0 0 88140 65 0 0 20 0 1 0 316912763 636284928 154475 33554432000 134512640 134579096 4293628496 4293627312 134519093 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31885/statm: 155343 154475 230 17 0 154649 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 621372
[startup+942.3 s]
/proc/loadavg: 2.00 2.04 2.02 3/178 31943
/proc/meminfo: memFree=26889524/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=621372 CPUtime=942.04 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 154294 0 0 0 94137 67 0 0 20 0 1 0 316912763 636284928 154475 33554432000 134512640 134579096 4293628496 4293627316 134556279 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31885/statm: 155343 154475 230 17 0 154649 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 621372
[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/178 31966
/proc/meminfo: memFree=26886956/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=621884 CPUtime=1002.03 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 154363 0 0 0 100134 69 0 0 20 0 1 0 316912763 636809216 154544 33554432000 134512640 134579096 4293628496 4293627344 134527812 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31885/statm: 155471 154544 230 17 0 154777 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 621884
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/177 31967
/proc/meminfo: memFree=26873920/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=636228 CPUtime=1062.01 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 157909 0 0 0 106130 71 0 0 20 0 1 0 316912763 651497472 158075 33554432000 134512640 134579096 4293628496 4293627152 134522706 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31885/statm: 159057 158075 230 17 0 158363 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 636228
[startup+1122.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/177 31967
/proc/meminfo: memFree=26809564/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=700920 CPUtime=1122 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 173798 0 0 0 112123 77 0 0 20 0 1 0 316912763 717742080 173964 33554432000 134512640 134579096 4293628496 4293627312 134519129 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31885/statm: 175230 173964 230 17 0 174536 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 700920
[startup+1182.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/177 31967
/proc/meminfo: memFree=26766664/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=746328 CPUtime=1181.99 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 184948 0 0 0 118116 83 0 0 20 0 1 0 316912763 764239872 185110 33554432000 134512640 134579096 4293628496 4293627360 134520044 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31885/statm: 186582 185110 230 17 0 185888 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 746328
[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 31967
/proc/meminfo: memFree=26749676/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=761716 CPUtime=1241.98 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 188619 0 0 0 124112 86 0 0 20 0 1 0 316912763 779997184 188781 33554432000 134512640 134579096 4293628496 4293627328 134517896 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31885/statm: 190429 188781 230 17 0 189735 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 761716
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 31967
/proc/meminfo: memFree=26749552/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=761716 CPUtime=1301.98 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 188619 0 0 0 130111 87 0 0 20 0 1 0 316912763 779997184 188781 33554432000 134512640 134579096 4293628496 4293627312 134519100 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31885/statm: 190429 188781 230 17 0 189735 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 761716
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 31968
/proc/meminfo: memFree=26748436/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=761716 CPUtime=1361.96 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 188619 0 0 0 136107 89 0 0 20 0 1 0 316912763 779997184 188781 33554432000 134512640 134579096 4293628496 4293627344 134528360 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31885/statm: 190429 188781 230 17 0 189735 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 761716
[startup+1422.31 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 31968
/proc/meminfo: memFree=26747692/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=761716 CPUtime=1421.96 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 188619 0 0 0 142105 91 0 0 20 0 1 0 316912763 779997184 188781 33554432000 134512640 134579096 4293628496 4293627328 134517901 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31885/statm: 190429 188781 230 17 0 189735 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 761716
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 31968
/proc/meminfo: memFree=26744344/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=761716 CPUtime=1481.95 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 188635 0 0 0 148102 93 0 0 20 0 1 0 316912763 779997184 188797 33554432000 134512640 134579096 4293628496 4293627328 134517901 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31885/statm: 190429 188797 230 17 0 189735 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 761716
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 31971
/proc/meminfo: memFree=26733548/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=761716 CPUtime=1541.94 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) D 31883 31885 31568 0 -1 4202496 188641 0 0 0 154099 95 0 0 20 0 1 0 316912763 779997184 188818 33554432000 134512640 134579096 4293628496 4293627424 134559531 0 0 4096 0 18446744071581355444 0 0 17 3 0 0 0 0 0
/proc/31885/statm: 190429 188818 230 17 0 189735 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 761716
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31971
/proc/meminfo: memFree=26718756/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=777692 CPUtime=1601.92 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 192645 0 0 0 160094 98 0 0 20 0 1 0 316912763 796356608 192817 33554432000 134512640 134579096 4293628496 4293627360 134520067 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31885/statm: 194423 192817 230 17 0 193729 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 777692
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31972
/proc/meminfo: memFree=26676676/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=822872 CPUtime=1661.9 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 203289 0 0 0 166087 103 0 0 20 0 1 0 316912763 842620928 203484 33554432000 134512640 134579096 4293628496 4293627152 134524561 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31885/statm: 205718 203484 230 17 0 205024 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 822872
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31972
/proc/meminfo: memFree=26662912/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=837056 CPUtime=1721.89 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 206733 0 0 0 172084 105 0 0 20 0 1 0 316912763 857145344 206928 33554432000 134512640 134579096 4293628496 4293624576 134533509 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31885/statm: 209264 206928 230 17 0 208570 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 837056
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31972
/proc/meminfo: memFree=26662788/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=837056 CPUtime=1781.88 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 206733 0 0 0 178082 106 0 0 20 0 1 0 316912763 857145344 206928 33554432000 134512640 134579096 4293628496 4293627152 134522706 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31885/statm: 209264 206928 230 17 0 208570 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 837056
Solver just ended. Dumping a history of the last processes samples
[startup+1783.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31972
/proc/meminfo: memFree=26662788/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=837056 CPUtime=1782.68 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 206733 0 0 0 178162 106 0 0 20 0 1 0 316912763 857145344 206928 33554432000 134512640 134579096 4293628496 4293627328 134517885 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31885/statm: 209264 206928 230 17 0 208570 0
Current children cumulated CPU time (s) 1782.68
Current children cumulated vsize (KiB) 837056
[startup+1783.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31972
/proc/meminfo: memFree=26662788/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=837056 CPUtime=1782.88 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 206733 0 0 0 178182 106 0 0 20 0 1 0 316912763 857145344 206928 33554432000 134512640 134579096 4293628496 4293627312 134519095 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31885/statm: 209264 206928 230 17 0 208570 0
Current children cumulated CPU time (s) 1782.88
Current children cumulated vsize (KiB) 837056
[startup+1783.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31972
/proc/meminfo: memFree=26662788/32873648 swapFree=6860/6860
[pid=31885] ppid=31883 vsize=837056 CPUtime=1782.98 cores=1,3,5,7
/proc/31885/stat : 31885 (Pueblo) R 31883 31885 31568 0 -1 4202496 206733 0 0 0 178192 106 0 0 20 0 1 0 316912763 857145344 206928 33554432000 134512640 134579096 4293628496 4293627344 134528360 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31885/statm: 209264 206928 230 17 0 208570 0
Current children cumulated CPU time (s) 1782.98
Current children cumulated vsize (KiB) 837056
Child status: 10
Real time (s): 1783.43
CPU time (s): 1783.02
CPU user time (s): 1781.94
CPU system time (s): 1.07584
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 837056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.94
system time used= 1.07584
maximum resident set size= 827732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206738
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= 228
involuntary context switches= 1874
runsolver used 2.67859 second user time and 7.05293 second system time
The end