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-3720778-1338513377/watcher-3720778-1338513377 -o /tmp/evaluation-result-3720778-1338513377/solver-3720778-1338513377 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720778-1338513377.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.01 2.01 2.00 3/177 1391
/proc/meminfo: memFree=28131944/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=3232 CPUtime=0 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 341 0 0 0 0 0 0 0 20 0 1 0 317464631 3309568 279 33554432000 134512640 134579096 4291966976 4291834372 12464901 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 808 279 213 17 0 114 0
[startup+0.015001 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1391
/proc/meminfo: memFree=28131944/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=3764 CPUtime=0.01 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 470 0 0 0 1 0 0 0 20 0 1 0 317464631 3854336 408 33554432000 134512640 134579096 4291966976 4291834252 8758320 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 941 408 213 17 0 247 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3764
[startup+0.100243 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1391
/proc/meminfo: memFree=28131944/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=7628 CPUtime=0.09 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 1460 0 0 0 9 0 0 0 20 0 1 0 317464631 7811072 1398 33554432000 134512640 134579096 4291966976 4291834372 12464881 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 1907 1398 213 17 0 1213 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7628
[startup+0.300241 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1391
/proc/meminfo: memFree=28131944/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=16420 CPUtime=0.29 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 3659 0 0 0 29 0 0 0 20 0 1 0 317464631 16814080 3597 33554432000 134512640 134579096 4291966976 4291834280 12464769 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 4105 3599 213 17 0 3411 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16420
[startup+0.700241 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1391
/proc/meminfo: memFree=28131944/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=32144 CPUtime=0.68 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 7575 0 0 0 68 0 0 0 20 0 1 0 317464631 32915456 7513 33554432000 134512640 134579096 4291966976 4291834252 8758320 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 8036 7513 219 17 0 7342 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 32144
[startup+1.50027 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 1392
/proc/meminfo: memFree=28100440/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=38004 CPUtime=1.49 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 9046 0 0 0 148 1 0 0 20 0 1 0 317464631 38916096 8984 33554432000 134512640 134579096 4291966976 4291834372 12464881 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 9501 8984 219 17 0 8807 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38004
[startup+3.10027 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 1392
/proc/meminfo: memFree=28091476/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=49728 CPUtime=3.09 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 11982 0 0 0 307 2 0 0 20 0 1 0 317464631 50921472 11920 33554432000 134512640 134579096 4291966976 4291834252 8758320 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 12432 11920 219 17 0 11738 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49728
[startup+6.30023 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 1392
/proc/meminfo: memFree=28041136/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=127612 CPUtime=6.29 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 703967 0 0 0 553 76 0 0 20 0 1 0 317464631 130674688 24910 33554432000 134512640 134579096 4291966976 4291965936 134532446 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 31903 24926 226 17 0 31209 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 127612
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 1392
/proc/meminfo: memFree=27993944/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=169880 CPUtime=12.69 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 2699897 0 0 0 982 287 0 0 20 0 1 0 317464631 173957120 35515 33554432000 134512640 134579096 4291966976 4291965936 134532446 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 42470 35519 226 17 0 41776 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 169880
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 1392
/proc/meminfo: memFree=27938056/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=219588 CPUtime=25.49 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 5742023 0 0 0 1932 617 0 0 20 0 1 0 317464631 224858112 48383 33554432000 134512640 134579096 4291966976 4291965808 134517893 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 54897 48383 228 17 0 54203 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 219588
[startup+51.1003 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 1392
/proc/meminfo: memFree=27935564/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=219588 CPUtime=51.08 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 5742029 0 0 0 4491 617 0 0 20 0 1 0 317464631 224858112 48383 33554432000 134512640 134579096 4291966976 4291965808 134517893 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 54897 48383 228 17 0 54203 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 219588
[startup+102.306 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 1392
/proc/meminfo: memFree=27933704/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=219588 CPUtime=102.27 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 5742039 0 0 0 9610 617 0 0 20 0 1 0 317464631 224858112 48383 33554432000 134512640 134579096 4291966976 4291965808 134517908 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 54897 48383 228 17 0 54203 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 219588
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 1393
/proc/meminfo: memFree=27926496/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=219588 CPUtime=162.26 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 5742045 0 0 0 15609 617 0 0 20 0 1 0 317464631 224858112 49901 33554432000 134512640 134579096 4291966976 4291965808 134517893 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 54897 49901 228 17 0 54203 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 219588
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 1393
/proc/meminfo: memFree=27916576/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=228956 CPUtime=222.24 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 5744437 0 0 0 21607 617 0 0 20 0 1 0 317464631 234450944 52230 33554432000 134512640 134579096 4291966976 4291965808 134517872 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 57239 52230 228 17 0 56545 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 228956
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1396
/proc/meminfo: memFree=27889168/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=243204 CPUtime=282.24 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 5748060 0 0 0 27606 618 0 0 20 0 1 0 317464631 249040896 55769 33554432000 134512640 134579096 4291966976 4291965808 134517922 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 60801 55769 228 17 0 60107 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 243204
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 1621
/proc/meminfo: memFree=27861816/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=255676 CPUtime=342.23 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 5751375 0 0 0 33604 619 0 0 20 0 1 0 317464631 261812224 58859 33554432000 134512640 134579096 4291966976 4291965632 134522754 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 63919 58859 228 17 0 63225 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 255676
[startup+402.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 1621
/proc/meminfo: memFree=27834060/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=272340 CPUtime=402.21 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 5755547 0 0 0 39602 619 0 0 20 0 1 0 317464631 278876160 63031 33554432000 134512640 134579096 4291966976 4291965808 134517908 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 68085 63031 228 17 0 67391 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 272340
[startup+462.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 1622
/proc/meminfo: memFree=27803868/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=294156 CPUtime=462.2 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 5761015 0 0 0 45600 620 0 0 20 0 1 0 317464631 301215744 68520 33554432000 134512640 134579096 4291966976 4291965808 134517922 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 73539 68520 228 17 0 72845 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 294156
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1622
/proc/meminfo: memFree=27769872/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=316388 CPUtime=522.19 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 5766606 0 0 0 51597 622 0 0 20 0 1 0 317464631 323981312 74120 33554432000 134512640 134579096 4291966976 4291965808 134517913 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 79097 74120 228 17 0 78403 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 316388
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 1622
/proc/meminfo: memFree=27753504/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=323768 CPUtime=582.18 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 5768735 0 0 0 57596 622 0 0 20 0 1 0 317464631 331538432 75959 33554432000 134512640 134579096 4291966976 4291965824 134528055 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 80942 75959 228 17 0 80248 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 323768
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 1626
/proc/meminfo: memFree=27654892/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=375272 CPUtime=882.13 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 5782935 0 0 0 87589 624 0 0 20 0 1 0 317464631 384278528 88813 33554432000 134512640 134579096 4291966976 4291965808 134517885 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 93818 88813 228 17 0 93124 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 375272
[startup+942.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 1626
/proc/meminfo: memFree=27639500/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=383708 CPUtime=942.13 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 5785030 0 0 0 93588 625 0 0 20 0 1 0 317464631 392916992 90952 33554432000 134512640 134579096 4291966976 4291965824 134527812 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 95927 90952 228 17 0 95233 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 383708
[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 1626
/proc/meminfo: memFree=27628712/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=385520 CPUtime=1002.12 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 5785506 0 0 0 99587 625 0 0 20 0 1 0 317464631 394772480 91428 33554432000 134512640 134579096 4291966976 4291965808 134517872 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 96380 91428 228 17 0 95686 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 385520
[startup+1062.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 1627
/proc/meminfo: memFree=27609864/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=394216 CPUtime=1062.11 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 5787634 0 0 0 105585 626 0 0 20 0 1 0 317464631 403677184 93556 33554432000 134512640 134579096 4291966976 4291965808 134517922 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 98554 93556 228 17 0 97860 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 394216
[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 1627
/proc/meminfo: memFree=27583496/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=405600 CPUtime=1122.1 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 5790930 0 0 0 111583 627 0 0 20 0 1 0 317464631 415334400 96450 33554432000 134512640 134579096 4291966976 4291965808 134517922 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 101400 96450 228 17 0 100706 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 405600
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 1627
/proc/meminfo: memFree=27566320/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=410536 CPUtime=1182.09 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 5792084 0 0 0 117582 627 0 0 20 0 1 0 317464631 420388864 97604 33554432000 134512640 134579096 4291966976 4291965808 134517893 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 102634 97604 228 17 0 101940 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 410536
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1627
/proc/meminfo: memFree=27552184/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=417196 CPUtime=1242.08 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 5793760 0 0 0 123581 627 0 0 20 0 1 0 317464631 427208704 99280 33554432000 134512640 134579096 4291966976 4291965808 134517893 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 104299 99280 228 17 0 103605 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 417196
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1627
/proc/meminfo: memFree=27541396/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=421508 CPUtime=1302.08 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 5794838 0 0 0 129580 628 0 0 20 0 1 0 317464631 431624192 100358 33554432000 134512640 134579096 4291966976 4291965808 134517903 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 105377 100358 228 17 0 104683 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 421508
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1628
/proc/meminfo: memFree=27520932/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=426368 CPUtime=1362.07 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 5796054 0 0 0 135579 628 0 0 20 0 1 0 317464631 436600832 101574 33554432000 134512640 134579096 4291966976 4291965808 134517922 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 106592 101574 228 17 0 105898 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 426368
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1629
/proc/meminfo: memFree=27491488/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=433608 CPUtime=1422.06 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 5797814 0 0 0 141578 628 0 0 20 0 1 0 317464631 444014592 103406 33554432000 134512640 134579096 4291966976 4291965808 134517893 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 108402 103406 228 17 0 107708 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 433608
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1631
/proc/meminfo: memFree=27463464/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=442036 CPUtime=1482.04 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 5799936 0 0 0 147576 628 0 0 20 0 1 0 317464631 452644864 105528 33554432000 134512640 134579096 4291966976 4291965808 134517872 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 110509 105528 228 17 0 109815 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 442036
[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 1631
/proc/meminfo: memFree=27435696/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=447040 CPUtime=1542.04 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 5801508 0 0 0 153575 629 0 0 20 0 1 0 317464631 457768960 106770 33554432000 134512640 134579096 4291966976 4291965808 134517893 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 111760 106770 228 17 0 111066 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 447040
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 1631
/proc/meminfo: memFree=27415612/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=451604 CPUtime=1602.03 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 5802677 0 0 0 159574 629 0 0 20 0 1 0 317464631 462442496 107939 33554432000 134512640 134579096 4291966976 4291965808 134517893 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 112901 107939 228 17 0 112207 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 451604
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 1632
/proc/meminfo: memFree=27387992/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=459648 CPUtime=1662.02 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 5804668 0 0 0 165573 629 0 0 20 0 1 0 317464631 470679552 109930 33554432000 134512640 134579096 4291966976 4291965632 134522706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 114912 109930 228 17 0 114218 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 459648
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1738
/proc/meminfo: memFree=27919348/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=466560 CPUtime=1722.01 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 5806534 0 0 0 171572 629 0 0 20 0 1 0 317464631 477757440 111656 33554432000 134512640 134579096 4291966976 4291965808 134517893 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 116640 111656 228 17 0 115946 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 466560
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1739
/proc/meminfo: memFree=27880420/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=472268 CPUtime=1782 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 5808001 0 0 0 177570 630 0 0 20 0 1 0 317464631 483602432 113123 33554432000 134512640 134579096 4291966976 4291965808 134517893 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 118067 113123 228 17 0 117373 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 472268
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1739
/proc/meminfo: memFree=27869508/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=474672 CPUtime=1800.01 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 5808716 0 0 0 179371 630 0 0 20 0 1 0 317464631 486064128 113692 33554432000 134512640 134579096 4291966976 4291965808 134517872 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 118668 113692 228 17 0 117974 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 474672
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1739
/proc/meminfo: memFree=27869508/32873648 swapFree=6864/6864
[pid=1391] ppid=1389 vsize=474672 CPUtime=1800.01 cores=1,3,5,7
/proc/1391/stat : 1391 (Pueblo) R 1389 1391 334 0 -1 4202496 5808716 0 0 0 179371 630 0 0 20 0 1 0 317464631 486064128 113692 33554432000 134512640 134579096 4291966976 4291965808 134517872 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1391/statm: 118668 113692 228 17 0 117974 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 474672
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1793.71
CPU system time (s): 6.30704
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 474672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.71
system time used= 6.30704
maximum resident set size= 454768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5808716
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= 1850
runsolver used 3.2595 second user time and 8.43572 second system time
The end