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-3720123-1338507821/watcher-3720123-1338507821 -o /tmp/evaluation-result-3720123-1338507821/solver-3720123-1338507821 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720123-1338507821.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.06 1.99 1.69 3/176 3358
/proc/meminfo: memFree=29358312/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=3232 CPUtime=0 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 316907012 3309568 287 33554432000 134512640 134579096 4291701808 4291569084 4506672 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 808 287 221 17 0 114 0
[startup+0.0489921 s]
/proc/loadavg: 2.06 1.99 1.69 3/176 3358
/proc/meminfo: memFree=29358312/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=4432 CPUtime=0.04 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 659 0 0 0 4 0 0 0 20 0 1 0 316907012 4538368 596 33554432000 134512640 134579096 4291701808 4291569208 2331265 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 1108 596 221 17 0 414 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4432
[startup+0.100215 s]
/proc/loadavg: 2.06 1.99 1.69 3/176 3358
/proc/meminfo: memFree=29358312/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=5652 CPUtime=0.09 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 945 0 0 0 9 0 0 0 20 0 1 0 316907012 5787648 882 33554432000 134512640 134579096 4291701808 4291698688 134533174 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 1413 882 229 17 0 719 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5652
[startup+0.300179 s]
/proc/loadavg: 2.06 1.99 1.69 3/176 3358
/proc/meminfo: memFree=29358312/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=5652 CPUtime=0.29 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 945 0 0 0 29 0 0 0 20 0 1 0 316907012 5787648 882 33554432000 134512640 134579096 4291701808 4291700624 134519100 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 1413 882 229 17 0 719 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5652
[startup+0.700183 s]
/proc/loadavg: 2.06 1.99 1.69 3/176 3358
/proc/meminfo: memFree=29358312/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=6712 CPUtime=0.69 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 1209 0 0 0 69 0 0 0 20 0 1 0 316907012 6873088 1146 33554432000 134512640 134579096 4291701808 4291700272 1582257 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 1678 1146 229 17 0 984 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6712
[startup+1.50019 s]
/proc/loadavg: 2.06 1.99 1.69 3/177 3359
/proc/meminfo: memFree=29353700/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=9224 CPUtime=1.49 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 1838 0 0 0 149 0 0 0 20 0 1 0 316907012 9445376 1775 33554432000 134512640 134579096 4291701808 4291700780 4506672 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 2306 1775 229 17 0 1612 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9224
[startup+3.1002 s]
/proc/loadavg: 2.06 1.99 1.69 3/177 3359
/proc/meminfo: memFree=29349608/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=14012 CPUtime=3.09 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 3043 0 0 0 308 1 0 0 20 0 1 0 316907012 14348288 2980 33554432000 134512640 134579096 4291701808 4291700780 4506672 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 3503 2980 229 17 0 2809 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14012
[startup+6.30019 s]
/proc/loadavg: 2.05 1.99 1.69 3/177 3359
/proc/meminfo: memFree=29340076/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=23380 CPUtime=6.29 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 5382 0 0 0 628 1 0 0 20 0 1 0 316907012 23941120 5319 33554432000 134512640 134579096 4291701808 4291700640 134517919 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 5845 5319 229 17 0 5151 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23380
[startup+12.7002 s]
/proc/loadavg: 2.13 2.01 1.69 3/177 3359
/proc/meminfo: memFree=29325576/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=34624 CPUtime=12.68 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 8177 0 0 0 1266 2 0 0 20 0 1 0 316907012 35454976 8122 33554432000 134512640 134579096 4291701808 4291700780 4506672 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 8656 8122 229 17 0 7962 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 34624
[startup+25.5003 s]
/proc/loadavg: 2.25 2.04 1.71 3/177 3359
/proc/meminfo: memFree=29318988/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=41420 CPUtime=25.47 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 9870 0 0 0 2544 3 0 0 20 0 1 0 316907012 42414080 9841 33554432000 134512640 134579096 4291701808 4291700780 4506672 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 10355 9841 229 17 0 9661 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 41420
[startup+51.1002 s]
/proc/loadavg: 2.16 2.04 1.72 3/177 3407
/proc/meminfo: memFree=29287476/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=45656 CPUtime=51.06 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 10901 0 0 0 5101 5 0 0 20 0 1 0 316907012 46751744 10907 33554432000 134512640 134579096 4291701808 4291700464 134524544 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 11414 10907 229 17 0 10720 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 45656
[startup+102.307 s]
/proc/loadavg: 2.11 2.04 1.73 3/177 3407
/proc/meminfo: memFree=29211144/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=54984 CPUtime=102.26 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 13218 0 0 0 10218 8 0 0 20 0 1 0 316907012 56303616 13239 33554432000 134512640 134579096 4291701808 4291698496 134533489 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 13746 13239 229 17 0 13052 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 54984
[startup+162.3 s]
/proc/loadavg: 2.08 2.05 1.75 3/177 3408
/proc/meminfo: memFree=29132848/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=60268 CPUtime=162.24 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 14543 0 0 0 16212 12 0 0 20 0 1 0 316907012 61714432 14574 33554432000 134512640 134579096 4291701808 4291700628 134556382 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 15067 14574 229 17 0 14373 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 60268
[startup+222.3 s]
/proc/loadavg: 2.03 2.04 1.76 3/177 3408
/proc/meminfo: memFree=29059436/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=66464 CPUtime=222.23 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 16053 0 0 0 22207 16 0 0 20 0 1 0 316907012 68059136 16082 33554432000 134512640 134579096 4291701808 4291700780 4506672 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 16616 16082 229 17 0 15922 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 66464
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 1.77 3/176 3408
/proc/meminfo: memFree=28979088/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=67264 CPUtime=282.23 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 16270 0 0 0 28203 20 0 0 20 0 1 0 316907012 68878336 16299 33554432000 134512640 134579096 4291701808 4291700780 4506672 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 16816 16299 229 17 0 16122 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 67264
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 1.79 3/177 3409
/proc/meminfo: memFree=28915744/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=73564 CPUtime=342.22 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 17806 0 0 0 34198 24 0 0 20 0 1 0 316907012 75329536 17835 33554432000 134512640 134579096 4291701808 4291700464 134524544 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 18391 17835 229 17 0 17697 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 73564
[startup+402.3 s]
/proc/loadavg: 2.07 2.03 1.80 3/178 3412
/proc/meminfo: memFree=28866288/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=73944 CPUtime=402.21 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 18035 0 0 0 40193 28 0 0 20 0 1 0 316907012 75718656 17949 33554432000 134512640 134579096 4291701808 4291700464 134522754 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 18486 17949 229 17 0 17792 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 73944
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 1.81 3/177 3413
/proc/meminfo: memFree=28778160/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=74308 CPUtime=462.2 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 18119 0 0 0 46189 31 0 0 20 0 1 0 316907012 76091392 18033 33554432000 134512640 134579096 4291701808 4291700464 134522688 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 18577 18033 229 17 0 17883 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 74308
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 1.82 3/177 3413
/proc/meminfo: memFree=28690956/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=74308 CPUtime=522.19 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 18120 0 0 0 52185 34 0 0 20 0 1 0 316907012 76091392 18034 33554432000 134512640 134579096 4291701808 4291700656 134528360 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 18577 18034 229 17 0 17883 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 74308
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.83 3/177 3413
/proc/meminfo: memFree=28610152/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=81092 CPUtime=582.17 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 19790 0 0 0 58179 38 0 0 20 0 1 0 316907012 83038208 19715 33554432000 134512640 134579096 4291701808 4291700736 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 20273 19715 229 17 0 19579 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 81092
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28546044/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=90548 CPUtime=822.14 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 22147 0 0 0 82161 53 0 0 20 0 1 0 316907012 92721152 22057 33554432000 134512640 134579096 4291701808 4291700780 4506672 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 22637 22057 229 17 0 21943 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 90548
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 3414
/proc/meminfo: memFree=28545176/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=91212 CPUtime=882.12 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 22319 0 0 0 88157 55 0 0 20 0 1 0 316907012 93401088 22229 33554432000 134512640 134579096 4291701808 4291700780 4506672 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 22803 22229 229 17 0 22109 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 91212
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 3414
/proc/meminfo: memFree=28545332/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=90824 CPUtime=942.11 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 22319 0 0 0 94153 58 0 0 20 0 1 0 316907012 93003776 22147 33554432000 134512640 134579096 4291701808 4291700528 134529206 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 22706 22147 229 17 0 22012 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 90824
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 3417
/proc/meminfo: memFree=28545044/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=90680 CPUtime=1002.11 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 22342 0 0 0 100149 62 0 0 20 0 1 0 316907012 92856320 22111 33554432000 134512640 134579096 4291701808 4291700736 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 22670 22111 229 17 0 21976 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 90680
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 3441
/proc/meminfo: memFree=28544152/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=90936 CPUtime=1062.1 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 22400 0 0 0 106144 66 0 0 20 0 1 0 316907012 93118464 22215 33554432000 134512640 134579096 4291701808 4291700780 4506672 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 22734 22215 229 17 0 22040 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 90936
[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 1.89 3/177 3441
/proc/meminfo: memFree=28543664/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=91220 CPUtime=1122.09 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 22557 0 0 0 112139 70 0 0 20 0 1 0 316907012 93409280 22295 33554432000 134512640 134579096 4291701808 4291700656 134528360 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 22805 22295 229 17 0 22111 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 91220
[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 1.90 3/177 3441
/proc/meminfo: memFree=28480548/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=91668 CPUtime=1182.08 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 22706 0 0 0 118133 75 0 0 20 0 1 0 316907012 93868032 22393 33554432000 134512640 134579096 4291701808 4291700672 134520044 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 22917 22393 229 17 0 22223 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 91668
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 1.90 3/177 3441
/proc/meminfo: memFree=28479680/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=92004 CPUtime=1242.07 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 22902 0 0 0 124129 78 0 0 20 0 1 0 316907012 94212096 22461 33554432000 134512640 134579096 4291701808 4291700780 4506672 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 23001 22461 229 17 0 22307 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 92004
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/177 3441
/proc/meminfo: memFree=28479804/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=92000 CPUtime=1302.07 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 23059 0 0 0 130126 81 0 0 20 0 1 0 316907012 94208000 22460 33554432000 134512640 134579096 4291701808 4291700780 4506672 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 23000 22460 229 17 0 22306 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 92000
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 3442
/proc/meminfo: memFree=28478812/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=93176 CPUtime=1362.06 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 23338 0 0 0 136120 86 0 0 20 0 1 0 316907012 95412224 22739 33554432000 134512640 134579096 4291701808 4291700780 4506672 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 23294 22739 229 17 0 22600 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 93176
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 3442
/proc/meminfo: memFree=28478440/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=93712 CPUtime=1422.05 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 23484 0 0 0 142115 90 0 0 20 0 1 0 316907012 95961088 22885 33554432000 134512640 134579096 4291701808 4291700672 134520048 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 23428 22885 229 17 0 22734 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 93712
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 3442
/proc/meminfo: memFree=28477756/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=93976 CPUtime=1482.03 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 23550 0 0 0 148109 94 0 0 20 0 1 0 316907012 96231424 22951 33554432000 134512640 134579096 4291701808 4291700780 4506672 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 23494 22951 229 17 0 22800 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 93976
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 3442
/proc/meminfo: memFree=28477632/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=94368 CPUtime=1542.02 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 23651 0 0 0 154104 98 0 0 20 0 1 0 316907012 96632832 23052 33554432000 134512640 134579096 4291701808 4291700672 134520044 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 23592 23052 229 17 0 22898 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 94368
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/178 3445
/proc/meminfo: memFree=28477436/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=94660 CPUtime=1602.01 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 23956 0 0 0 160099 102 0 0 20 0 1 0 316907012 96931840 23099 33554432000 134512640 134579096 4291701808 4291700780 4506672 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 23665 23099 229 17 0 22971 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 94660
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 1.92 3/177 3446
/proc/meminfo: memFree=28448560/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=94392 CPUtime=1662.01 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 23982 0 0 0 166096 105 0 0 20 0 1 0 316907012 96657408 23051 33554432000 134512640 134579096 4291701808 4291700656 134527833 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 23598 23051 229 17 0 22904 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 94392
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 1.92 3/177 3446
/proc/meminfo: memFree=28373904/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=102092 CPUtime=1721.99 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 25894 0 0 0 172090 109 0 0 20 0 1 0 316907012 104542208 24963 33554432000 134512640 134579096 4291701808 4291700736 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 25523 24963 229 17 0 24829 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 102092
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/177 3446
/proc/meminfo: memFree=28308184/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=102672 CPUtime=1781.99 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 26158 0 0 0 178086 113 0 0 20 0 1 0 316907012 105136128 25098 33554432000 134512640 134579096 4291701808 4291700736 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 25668 25098 229 17 0 24974 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 102672
Solver just ended. Dumping a history of the last processes samples
[startup+1783.11 s]
/proc/loadavg: 2.01 2.01 1.92 3/177 3446
/proc/meminfo: memFree=28308184/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=102672 CPUtime=1782.8 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 26158 0 0 0 178167 113 0 0 20 0 1 0 316907012 105136128 25098 33554432000 134512640 134579096 4291701808 4291700608 134527436 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 25668 25098 229 17 0 24974 0
Current children cumulated CPU time (s) 1782.8
Current children cumulated vsize (KiB) 102672
[startup+1783.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/177 3446
/proc/meminfo: memFree=28308184/32873844 swapFree=7120/7120
[pid=3358] ppid=3356 vsize=102672 CPUtime=1782.99 cores=1,3,5,7
/proc/3358/stat : 3358 (Pueblo) R 3356 3358 2995 0 -1 4202496 26158 0 0 0 178186 113 0 0 20 0 1 0 316907012 105136128 25098 33554432000 134512640 134579096 4291701808 4291700780 4506672 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3358/statm: 25668 25098 229 17 0 24974 0
Current children cumulated CPU time (s) 1782.99
Current children cumulated vsize (KiB) 102672
Child status: 10
Real time (s): 1783.31
CPU time (s): 1783
CPU user time (s): 1781.87
CPU system time (s): 1.13183
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 102672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.87
system time used= 1.13183
maximum resident set size= 100412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26163
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= 45
involuntary context switches= 1857
runsolver used 2.96455 second user time and 9.15461 second system time
The end