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-3720823-1338514964/watcher-3720823-1338514964 -o /tmp/evaluation-result-3720823-1338514964/solver-3720823-1338514964 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720823-1338514964.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.99 3/176 23990
/proc/meminfo: memFree=27037436/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=3104 CPUtime=0 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 333 0 0 0 0 0 0 0 20 0 1 0 317621289 3178496 270 33554432000 134512640 134579096 4288583712 4288451108 2331407 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 776 272 221 17 0 82 0
[startup+0.0469909 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 23990
/proc/meminfo: memFree=27037436/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=5236 CPUtime=0.04 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 849 0 0 0 4 0 0 0 20 0 1 0 317621289 5361664 786 33554432000 134512640 134579096 4288583712 4288451136 134534568 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 1309 786 221 17 0 615 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5236
[startup+0.100207 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 23990
/proc/meminfo: memFree=27037436/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=6432 CPUtime=0.09 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 1164 0 0 0 9 0 0 0 20 0 1 0 317621289 6586368 1101 33554432000 134512640 134579096 4288583712 4288450988 7021616 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 1608 1101 221 17 0 914 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6432
[startup+0.30018 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 23990
/proc/meminfo: memFree=27037436/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=9632 CPUtime=0.29 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 1944 0 0 0 29 0 0 0 20 0 1 0 317621289 9863168 1881 33554432000 134512640 134579096 4288583712 4288451104 1534811 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 2408 1881 221 17 0 1714 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9632
[startup+0.700172 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 23990
/proc/meminfo: memFree=27037436/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=13120 CPUtime=0.69 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 2684 0 0 0 69 0 0 0 20 0 1 0 317621289 13434880 2589 33554432000 134512640 134579096 4288583712 4288582672 134532448 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 3280 2589 228 17 0 2586 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13120
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 23991
/proc/meminfo: memFree=27027012/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=16552 CPUtime=1.49 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 3551 0 0 0 149 0 0 0 20 0 1 0 317621289 16949248 3456 33554432000 134512640 134579096 4288583712 4288582416 1582375 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 4138 3456 228 17 0 3444 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16552
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 23991
/proc/meminfo: memFree=27021556/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=18560 CPUtime=3.09 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 4024 0 0 0 309 0 0 0 20 0 1 0 317621289 19005440 3929 33554432000 134512640 134579096 4288583712 4288582532 134556408 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 4640 3929 230 17 0 3946 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18560
[startup+6.30017 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 23991
/proc/meminfo: memFree=27020688/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=18560 CPUtime=6.29 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 4024 0 0 0 629 0 0 0 20 0 1 0 317621289 19005440 3929 33554432000 134512640 134579096 4288583712 4288582532 134556414 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 4640 3929 230 17 0 3946 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18560
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 23991
/proc/meminfo: memFree=27019596/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=18560 CPUtime=12.69 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 4024 0 0 0 1269 0 0 0 20 0 1 0 317621289 19005440 3929 33554432000 134512640 134579096 4288583712 4288582532 134556414 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 4640 3929 230 17 0 3946 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18560
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 23991
/proc/meminfo: memFree=27018232/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=19220 CPUtime=25.48 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 4063 0 0 0 2548 0 0 0 20 0 1 0 317621289 19681280 3968 33554432000 134512640 134579096 4288583712 4288582532 134556399 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 4805 3968 230 17 0 4111 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19220
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 23991
/proc/meminfo: memFree=27012776/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=21544 CPUtime=51.08 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 4864 0 0 0 5108 0 0 0 20 0 1 0 317621289 22061056 4717 33554432000 134512640 134579096 4288583712 4288582544 134517903 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 5386 4717 230 17 0 4692 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 21544
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 24040
/proc/meminfo: memFree=27547080/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=40896 CPUtime=102.27 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 9698 0 0 0 10225 2 0 0 20 0 1 0 317621289 41877504 9564 33554432000 134512640 134579096 4288583712 4288580400 134533489 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 10224 9564 230 17 0 9530 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 40896
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 24041
/proc/meminfo: memFree=27491104/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=53440 CPUtime=162.25 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 12841 0 0 0 16223 2 0 0 20 0 1 0 317621289 54722560 12708 33554432000 134512640 134579096 4288583712 4288582368 134522754 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 13360 12708 230 17 0 12666 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 53440
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 24041
/proc/meminfo: memFree=27474020/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=67696 CPUtime=222.25 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 16396 0 0 0 22222 3 0 0 20 0 1 0 317621289 69320704 16262 33554432000 134512640 134579096 4288583712 4288582528 134519064 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 16924 16262 230 17 0 16230 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 67696
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 24041
/proc/meminfo: memFree=27451376/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=67832 CPUtime=282.23 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 16456 0 0 0 28220 3 0 0 20 0 1 0 317621289 69459968 16315 33554432000 134512640 134579096 4288583712 4288582576 134520048 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 16958 16315 230 17 0 16264 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 67832
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 24041
/proc/meminfo: memFree=27435164/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=75460 CPUtime=342.22 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 18340 0 0 0 34219 3 0 0 20 0 1 0 317621289 77271040 18199 33554432000 134512640 134579096 4288583712 4288582368 134524568 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 18865 18199 230 17 0 18171 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 75460
[startup+402.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 24041
/proc/meminfo: memFree=27435220/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=75460 CPUtime=402.21 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 18342 0 0 0 40218 3 0 0 20 0 1 0 317621289 77271040 18199 33554432000 134512640 134579096 4288583712 4288582532 134556414 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 18865 18199 230 17 0 18171 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 75460
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 24045
/proc/meminfo: memFree=27432360/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=76564 CPUtime=462.2 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 18610 0 0 0 46217 3 0 0 20 0 1 0 317621289 78401536 18467 33554432000 134512640 134579096 4288583712 4288582640 134559533 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 19141 18467 230 17 0 18447 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 76564
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24045
/proc/meminfo: memFree=27409660/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=79028 CPUtime=522.19 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 19222 0 0 0 52216 3 0 0 20 0 1 0 317621289 80924672 19079 33554432000 134512640 134579096 4288583712 4288582528 134519125 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 19757 19079 230 17 0 19063 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 79028
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24045
/proc/meminfo: memFree=27393908/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=79588 CPUtime=582.17 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 19372 0 0 0 58214 3 0 0 20 0 1 0 317621289 81498112 19227 33554432000 134512640 134579096 4288583712 4288582528 134519114 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23990/statm: 19897 19227 230 17 0 19203 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 79588
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24046
/proc/meminfo: memFree=27370180/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=93228 CPUtime=822.13 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 23425 0 0 0 82209 4 0 0 20 0 1 0 317621289 95465472 22620 33554432000 134512640 134579096 4288583712 4288582368 134522742 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 23307 22620 230 17 0 22613 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 93228
[startup+882.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 24046
/proc/meminfo: memFree=27366708/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=93228 CPUtime=882.12 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 23425 0 0 0 88208 4 0 0 20 0 1 0 317621289 95465472 22620 33554432000 134512640 134579096 4288583712 4288582368 134522754 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 23307 22620 230 17 0 22613 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 93228
[startup+942.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24046
/proc/meminfo: memFree=27354184/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=93228 CPUtime=942.11 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 23428 0 0 0 94207 4 0 0 20 0 1 0 317621289 95465472 22623 33554432000 134512640 134579096 4288583712 4288582532 134556405 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23990/statm: 23307 22623 230 17 0 22613 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 93228
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24046
/proc/meminfo: memFree=27317120/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=93664 CPUtime=1002.1 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 23624 0 0 0 100206 4 0 0 20 0 1 0 317621289 95911936 22754 33554432000 134512640 134579096 4288583712 4288582528 134519085 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23990/statm: 23416 22754 230 17 0 22722 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 93664
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24050
/proc/meminfo: memFree=27275008/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=101452 CPUtime=1062.09 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 25576 0 0 0 106204 5 0 0 20 0 1 0 317621289 103886848 24706 33554432000 134512640 134579096 4288583712 4288582544 134517872 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23990/statm: 25363 24706 230 17 0 24669 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 101452
[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 24073
/proc/meminfo: memFree=27269108/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=101452 CPUtime=1122.07 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 25577 0 0 0 112202 5 0 0 20 0 1 0 317621289 103886848 24706 33554432000 134512640 134579096 4288583712 4288582532 134556408 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23990/statm: 25363 24706 230 17 0 24669 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 101452
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24073
/proc/meminfo: memFree=27268380/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=101276 CPUtime=1182.06 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 25724 0 0 0 118201 5 0 0 20 0 1 0 317621289 103706624 24668 33554432000 134512640 134579096 4288583712 4288582544 134517908 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23990/statm: 25319 24668 230 17 0 24625 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 101276
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 24073
/proc/meminfo: memFree=27242648/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=101276 CPUtime=1242.04 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 25724 0 0 0 124199 5 0 0 20 0 1 0 317621289 103706624 24668 33554432000 134512640 134579096 4288583712 4288582544 134517933 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 25319 24668 230 17 0 24625 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 101276
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24073
/proc/meminfo: memFree=27242896/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=101276 CPUtime=1302.04 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 25724 0 0 0 130199 5 0 0 20 0 1 0 317621289 103706624 24668 33554432000 134512640 134579096 4288583712 4288582368 134522688 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 25319 24668 230 17 0 24625 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 101276
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24074
/proc/meminfo: memFree=27243020/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=101276 CPUtime=1362.02 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 25724 0 0 0 136197 5 0 0 20 0 1 0 317621289 103706624 24668 33554432000 134512640 134579096 4288583712 4288582368 134522726 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 25319 24668 230 17 0 24625 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 101276
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24074
/proc/meminfo: memFree=27243020/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=101276 CPUtime=1422.01 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 25725 0 0 0 142196 5 0 0 20 0 1 0 317621289 103706624 24669 33554432000 134512640 134579096 4288583712 4288582368 134522688 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 25319 24669 230 17 0 24625 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 101276
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24074
/proc/meminfo: memFree=27234212/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=101276 CPUtime=1482 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 25725 0 0 0 148195 5 0 0 20 0 1 0 317621289 103706624 24669 33554432000 134512640 134579096 4288583712 4288582368 134522754 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 25319 24669 230 17 0 24625 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 101276
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24074
/proc/meminfo: memFree=27234640/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=101276 CPUtime=1541.98 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 25726 0 0 0 154193 5 0 0 20 0 1 0 317621289 103706624 24670 33554432000 134512640 134579096 4288583712 4288582528 134519064 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 25319 24670 230 17 0 24625 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 101276
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24074
/proc/meminfo: memFree=27234640/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=101408 CPUtime=1601.97 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 25727 0 0 0 160192 5 0 0 20 0 1 0 317621289 103841792 24671 33554432000 134512640 134579096 4288583712 4288582532 134556221 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 25352 24671 230 17 0 24658 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 101408
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24077
/proc/meminfo: memFree=27235252/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=101540 CPUtime=1661.96 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 25769 0 0 0 166191 5 0 0 20 0 1 0 317621289 103976960 24713 33554432000 134512640 134579096 4288583712 4288582528 134519077 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 25385 24713 230 17 0 24691 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 101540
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24078
/proc/meminfo: memFree=27235888/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=101844 CPUtime=1721.95 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 25856 0 0 0 172190 5 0 0 20 0 1 0 317621289 104288256 24800 33554432000 134512640 134579096 4288583712 4288582368 134522706 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 25461 24800 230 17 0 24767 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 101844
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24079
/proc/meminfo: memFree=27205004/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=133168 CPUtime=1781.93 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 33649 0 0 0 178187 6 0 0 20 0 1 0 317621289 136364032 32593 33554432000 134512640 134579096 4288583712 4288582576 134520196 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 33292 32593 230 17 0 32598 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 133168
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24079
/proc/meminfo: memFree=27178280/32873844 swapFree=6608/6608
[pid=23990] ppid=23988 vsize=159020 CPUtime=1800.04 cores=0,2,4,6
/proc/23990/stat : 23990 (Pueblo) R 23988 23990 22740 0 -1 4202496 40059 0 0 0 179996 8 0 0 20 0 1 0 317621289 162836480 39003 33554432000 134512640 134579096 4288583712 4288582544 134517933 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23990/statm: 39755 39003 230 17 0 39061 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 159020
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.05
CPU user time (s): 1799.96
CPU system time (s): 0.087986
CPU usage (%): 99.98
Max. virtual memory (cumulated for all children) (KiB): 159020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.087986
maximum resident set size= 156012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40059
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= 38
involuntary context switches= 2884
runsolver used 3.21251 second user time and 8.80366 second system time
The end