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-3720153-1338507909/watcher-3720153-1338507909 -o /tmp/evaluation-result-3720153-1338507909/solver-3720153-1338507909 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720153-1338507909.opb
running on 4 cores: 0,2,4,6
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.71 3/176 28124
/proc/meminfo: memFree=31191748/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=3104 CPUtime=0 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 338 0 0 0 0 0 0 0 20 0 1 0 316916831 3178496 276 33554432000 134512640 134579096 4286813696 4286681044 2331402 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 776 276 221 17 0 82 0
[startup+0.05738 s]
/proc/loadavg: 2.00 2.00 1.71 3/176 28124
/proc/meminfo: memFree=31191748/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=5196 CPUtime=0.05 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 826 0 0 0 5 0 0 0 20 0 1 0 316916831 5320704 764 33554432000 134512640 134579096 4286813696 4286812352 134522706 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 1299 764 229 17 0 605 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5196
[startup+0.100262 s]
/proc/loadavg: 2.00 2.00 1.71 3/176 28124
/proc/meminfo: memFree=31191748/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=5352 CPUtime=0.09 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 858 0 0 0 9 0 0 0 20 0 1 0 316916831 5480448 796 33554432000 134512640 134579096 4286813696 4286812352 134524544 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 1338 796 229 17 0 644 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5352
[startup+0.300175 s]
/proc/loadavg: 2.00 2.00 1.71 3/176 28124
/proc/meminfo: memFree=31191748/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=6016 CPUtime=0.29 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 1012 0 0 0 29 0 0 0 20 0 1 0 316916831 6160384 950 33554432000 134512640 134579096 4286813696 4286812528 134517908 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 1504 950 229 17 0 810 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6016
[startup+0.700173 s]
/proc/loadavg: 2.00 2.00 1.71 3/176 28124
/proc/meminfo: memFree=31191748/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=6248 CPUtime=0.69 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 1088 0 0 0 69 0 0 0 20 0 1 0 316916831 6397952 1026 33554432000 134512640 134579096 4286813696 4286812528 134517908 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 1562 1026 229 17 0 868 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6248
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 1.71 3/177 28125
/proc/meminfo: memFree=31188532/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=6808 CPUtime=1.49 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 1234 0 0 0 149 0 0 0 20 0 1 0 316916831 6971392 1172 33554432000 134512640 134579096 4286813696 4286812528 134517919 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 1702 1172 229 17 0 1008 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6808
[startup+3.10017 s]
/proc/loadavg: 2.00 2.00 1.71 3/177 28125
/proc/meminfo: memFree=31187748/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=8960 CPUtime=3.09 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 1753 0 0 0 309 0 0 0 20 0 1 0 316916831 9175040 1691 33554432000 134512640 134579096 4286813696 4286812528 134517908 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 2240 1691 229 17 0 1546 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8960
[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 1.71 3/177 28125
/proc/meminfo: memFree=31182044/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=12132 CPUtime=6.29 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 2571 0 0 0 629 0 0 0 20 0 1 0 316916831 12423168 2505 33554432000 134512640 134579096 4286813696 4286812528 134517919 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 3033 2505 229 17 0 2339 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12132
[startup+12.701 s]
/proc/loadavg: 2.00 2.00 1.72 3/177 28125
/proc/meminfo: memFree=31176880/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=17292 CPUtime=12.68 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 3879 0 0 0 1268 0 0 0 20 0 1 0 316916831 17707008 3795 33554432000 134512640 134579096 4286813696 4286812576 134557260 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 4323 3795 229 17 0 3629 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17292
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.72 3/177 28125
/proc/meminfo: memFree=31161944/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=32420 CPUtime=25.48 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 7702 0 0 0 2547 1 0 0 20 0 1 0 316916831 33198080 7569 33554432000 134512640 134579096 4286813696 4286812528 134517919 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 8105 7569 229 17 0 7411 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32420
[startup+51.101 s]
/proc/loadavg: 2.00 2.00 1.73 3/177 28125
/proc/meminfo: memFree=31150764/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=38188 CPUtime=51.07 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 9152 0 0 0 5106 1 0 0 20 0 1 0 316916831 39104512 9023 33554432000 134512640 134579096 4286813696 4286812352 134522706 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 9547 9023 229 17 0 8853 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 38188
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.74 3/177 28125
/proc/meminfo: memFree=31142292/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=42040 CPUtime=102.27 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 10149 0 0 0 10225 2 0 0 20 0 1 0 316916831 43048960 9987 33554432000 134512640 134579096 4286813696 4286812496 134528660 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 10510 9987 229 17 0 9816 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 42040
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.75 3/177 28126
/proc/meminfo: memFree=31137516/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=44388 CPUtime=162.26 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 10814 0 0 0 16224 2 0 0 20 0 1 0 316916831 45453312 10577 33554432000 134512640 134579096 4286813696 4286812528 134517919 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 11097 10577 229 17 0 10403 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 44388
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.76 3/177 28126
/proc/meminfo: memFree=31132740/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=44388 CPUtime=222.25 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 10814 0 0 0 22223 2 0 0 20 0 1 0 316916831 45453312 10577 33554432000 134512640 134579096 4286813696 4286812528 134517919 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 11097 10577 229 17 0 10403 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 44388
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/177 28126
/proc/meminfo: memFree=31121560/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=49028 CPUtime=282.23 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 12107 0 0 0 28221 2 0 0 20 0 1 0 316916831 50204672 11737 33554432000 134512640 134579096 4286813696 4286812528 134517896 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 12257 11737 229 17 0 11563 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 49028
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.78 3/178 28129
/proc/meminfo: memFree=31121136/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=49028 CPUtime=342.22 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 12107 0 0 0 34220 2 0 0 20 0 1 0 316916831 50204672 11737 33554432000 134512640 134579096 4286813696 4286812544 134527836 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 12257 11737 229 17 0 11563 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 49028
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/177 28129
/proc/meminfo: memFree=31109984/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=59696 CPUtime=402.22 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 14765 0 0 0 40219 3 0 0 20 0 1 0 316916831 61128704 14395 33554432000 134512640 134579096 4286813696 4286812528 134517872 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 14924 14395 229 17 0 14230 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 59696
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.81 3/177 28130
/proc/meminfo: memFree=31103276/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=58792 CPUtime=462.2 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 15173 0 0 0 46217 3 0 0 20 0 1 0 316916831 60203008 14178 33554432000 134512640 134579096 4286813696 4286812496 134528613 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 14698 14178 229 17 0 14004 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 58792
[startup+522.3 s]
/proc/loadavg: 2.05 2.01 1.82 3/177 28130
/proc/meminfo: memFree=31101224/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=61236 CPUtime=522.19 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 16094 0 0 0 52216 3 0 0 20 0 1 0 316916831 62705664 14774 33554432000 134512640 134579096 4286813696 4286812496 134528716 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 15309 14774 229 17 0 14615 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 61236
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 1.83 3/177 28130
/proc/meminfo: memFree=31101092/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=60412 CPUtime=582.18 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 16466 0 0 0 58215 3 0 0 20 0 1 0 316916831 61861888 14583 33554432000 134512640 134579096 4286813696 4286812528 134517872 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 15103 14583 229 17 0 14409 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 60412
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.05 2.02 1.86 3/177 28131
/proc/meminfo: memFree=31100644/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=60412 CPUtime=822.14 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 16717 0 0 0 82211 3 0 0 20 0 1 0 316916831 61861888 14583 33554432000 134512640 134579096 4286813696 4286812576 134557279 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 15103 14583 229 17 0 14409 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 60412
[startup+882.301 s]
/proc/loadavg: 2.02 2.01 1.87 3/177 28131
/proc/meminfo: memFree=31099152/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=60412 CPUtime=882.13 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 16948 0 0 0 88210 3 0 0 20 0 1 0 316916831 61861888 14583 33554432000 134512640 134579096 4286813696 4286812496 134528713 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 15103 14583 229 17 0 14409 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 60412
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/178 28134
/proc/meminfo: memFree=31094008/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=66468 CPUtime=942.13 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 18656 0 0 0 94209 4 0 0 20 0 1 0 316916831 68063232 16082 33554432000 134512640 134579096 4286813696 4286812528 134517901 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 16617 16082 229 17 0 15923 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 66468
[startup+1002.3 s]
/proc/loadavg: 2.05 2.02 1.88 3/178 28157
/proc/meminfo: memFree=31099340/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=60312 CPUtime=1002.12 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 19284 0 0 0 100208 4 0 0 20 0 1 0 316916831 61759488 14558 33554432000 134512640 134579096 4286813696 4286812560 134520196 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 15078 14558 229 17 0 14384 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 60312
[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 1.89 3/177 28157
/proc/meminfo: memFree=31082116/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=71840 CPUtime=1062.11 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 22149 0 0 0 106206 5 0 0 20 0 1 0 316916831 73564160 17418 33554432000 134512640 134579096 4286813696 4286812528 134517872 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 17960 17418 229 17 0 17266 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 71840
[startup+1122.3 s]
/proc/loadavg: 2.13 2.04 1.91 3/177 28158
/proc/meminfo: memFree=31071736/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=79484 CPUtime=1122.1 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 24063 0 0 0 112205 5 0 0 20 0 1 0 316916831 81391616 19330 33554432000 134512640 134579096 4286813696 4286812528 134517885 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 19871 19330 229 17 0 19177 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 79484
[startup+1182.3 s]
/proc/loadavg: 2.05 2.03 1.91 3/177 28158
/proc/meminfo: memFree=31071344/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=80212 CPUtime=1182.09 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 24246 0 0 0 118204 5 0 0 20 0 1 0 316916831 82137088 19513 33554432000 134512640 134579096 4286813696 4286812528 134517908 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 20053 19513 229 17 0 19359 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 80212
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 1.91 3/177 28158
/proc/meminfo: memFree=31070536/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=80244 CPUtime=1242.08 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 24316 0 0 0 124203 5 0 0 20 0 1 0 316916831 82169856 19541 33554432000 134512640 134579096 4286813696 4286812528 134517933 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 20061 19541 229 17 0 19367 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 80244
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/177 28158
/proc/meminfo: memFree=31070912/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=79136 CPUtime=1302.08 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 24316 0 0 0 130203 5 0 0 20 0 1 0 316916831 81035264 19264 33554432000 134512640 134579096 4286813696 4286812528 134517885 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 19784 19264 229 17 0 19090 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 79136
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 28158
/proc/meminfo: memFree=31070168/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=79276 CPUtime=1362.06 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 24337 0 0 0 136201 5 0 0 20 0 1 0 316916831 81178624 19285 33554432000 134512640 134579096 4286813696 4286812528 134517903 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 19819 19285 229 17 0 19125 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 79276
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 28159
/proc/meminfo: memFree=31056708/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=84984 CPUtime=1422.06 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 25755 0 0 0 142201 5 0 0 20 0 1 0 316916831 87023616 20705 33554432000 134512640 134579096 4286813696 4286812528 134517933 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 21246 20705 229 17 0 20552 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 84984
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 28159
/proc/meminfo: memFree=31056392/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=84396 CPUtime=1482.04 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 25755 0 0 0 148199 5 0 0 20 0 1 0 316916831 86421504 20579 33554432000 134512640 134579096 4286813696 4286812560 134520078 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 21099 20579 229 17 0 20405 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 84396
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 28162
/proc/meminfo: memFree=31056524/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=84756 CPUtime=1542.04 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 25819 0 0 0 154199 5 0 0 20 0 1 0 316916831 86790144 20643 33554432000 134512640 134579096 4286813696 4286812528 134517901 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 21189 20643 229 17 0 20495 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 84756
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 28162
/proc/meminfo: memFree=31056532/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=84932 CPUtime=1602.03 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 25881 0 0 0 160198 5 0 0 20 0 1 0 316916831 86970368 20705 33554432000 134512640 134579096 4286813696 4286812528 134517885 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 21233 20705 229 17 0 20539 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 84932
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 28162
/proc/meminfo: memFree=31056036/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=85536 CPUtime=1662.02 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 26023 0 0 0 166197 5 0 0 20 0 1 0 316916831 87588864 20847 33554432000 134512640 134579096 4286813696 4286812528 134517919 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 21384 20847 229 17 0 20690 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 85536
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 28211
/proc/meminfo: memFree=31132336/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=84912 CPUtime=1722.01 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 26023 0 0 0 172196 5 0 0 20 0 1 0 316916831 86949888 20708 33554432000 134512640 134579096 4286813696 4286812528 134517896 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 21228 20708 229 17 0 20534 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 84912
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 28211
/proc/meminfo: memFree=31132816/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=83860 CPUtime=1782 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 26023 0 0 0 178195 5 0 0 20 0 1 0 316916831 85872640 20445 33554432000 134512640 134579096 4286813696 4286812528 134517903 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 20965 20445 229 17 0 20271 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 83860
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 28211
/proc/meminfo: memFree=31132816/32873648 swapFree=6860/6860
[pid=28124] ppid=28122 vsize=83860 CPUtime=1800.1 cores=0,2,4,6
/proc/28124/stat : 28124 (Pueblo) R 28122 28124 27856 0 -1 4202496 26023 0 0 0 180005 5 0 0 20 0 1 0 316916831 85872640 20445 33554432000 134512640 134579096 4286813696 4286812528 134517922 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28124/statm: 20965 20445 229 17 0 20271 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 83860
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1800.06
CPU system time (s): 0.057991
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 85536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.057991
maximum resident set size= 83388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26023
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= 36
involuntary context switches= 1853
runsolver used 3.12952 second user time and 8.16576 second system time
The end