runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3468310-1307100392/watcher-3468310-1307100392 -o /tmp/evaluation-result-3468310-1307100392/solver-3468310-1307100392 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468310-1307100392.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
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.04 2.03 2.00 2/478 7614
/proc/meminfo: memFree=27459332/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/7614/stat : 7614 (runsolver) R 7612 7614 7025 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 1 0 821638834 12079104 50 33554432000 4194304 5432328 140733633758752 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/7614/statm: 2949 50 31 303 0 2643 0
[startup+0.0235579 s]
/proc/loadavg: 2.04 2.03 2.00 2/478 7614
/proc/meminfo: memFree=27459332/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=12868 CPUtime=0 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 581 0 0 0 0 0 0 0 25 0 1 0 821638834 13176832 513 33554432000 4194304 4933572 140736188322192 18446744073709551615 208079893189 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 3217 513 331 181 0 226 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12868
[startup+0.100615 s]
/proc/loadavg: 2.04 2.03 2.00 2/478 7614
/proc/meminfo: memFree=27459332/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=19104 CPUtime=0.07 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 2507 0 0 0 7 0 0 0 25 0 1 0 821638834 19562496 1955 33554432000 4194304 4933572 140736188322192 18446744073709551615 4587776 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 4776 1955 348 181 0 1785 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 19104
[startup+0.300574 s]
/proc/loadavg: 2.04 2.03 2.00 2/478 7614
/proc/meminfo: memFree=27459332/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=18020 CPUtime=0.27 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 2536 0 0 0 27 0 0 0 25 0 1 0 821638834 18452480 1799 33554432000 4194304 4933572 140736188322192 18446744073709551615 4635387 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 4505 1799 377 181 0 1514 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 18020
[startup+0.70038 s]
/proc/loadavg: 2.04 2.03 2.00 2/478 7614
/proc/meminfo: memFree=27459332/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=29148 CPUtime=0.67 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 5376 0 0 0 67 0 0 0 25 0 1 0 821638834 29847552 4639 33554432000 4194304 4933572 140736188322192 18446744073709551615 4341552 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 7287 4639 384 181 0 4296 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 29148
[startup+1.50029 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 7639
/proc/meminfo: memFree=27409808/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=51972 CPUtime=1.47 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 11097 0 0 0 146 1 0 0 25 0 1 0 821638834 53219328 10360 33554432000 4194304 4933572 140736188322192 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 12993 10360 384 181 0 10002 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 51972
[startup+3.10103 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 7639
/proc/meminfo: memFree=27343456/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=68024 CPUtime=3.07 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 15088 0 0 0 305 2 0 0 25 0 1 0 821638834 69656576 14351 33554432000 4194304 4933572 140736188322192 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 17006 14351 384 181 0 14015 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 68024
[startup+6.30042 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 7640
/proc/meminfo: memFree=27318568/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=81340 CPUtime=6.27 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 18420 0 0 0 624 3 0 0 25 0 1 0 821638834 83292160 17683 33554432000 4194304 4933572 140736188322192 18446744073709551615 4330219 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 20335 17683 384 181 0 17344 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 81340
[startup+12.7002 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 7640
/proc/meminfo: memFree=27288248/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=90968 CPUtime=12.67 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 20807 0 0 0 1264 3 0 0 25 0 1 0 821638834 93151232 20070 33554432000 4194304 4933572 140736188322192 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 22742 20070 384 181 0 19751 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 90968
[startup+25.5008 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 7640
/proc/meminfo: memFree=27255004/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=109944 CPUtime=25.48 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 25574 0 0 0 2544 4 0 0 25 0 1 0 821638834 112582656 24837 33554432000 4194304 4933572 140736188322192 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 27486 24837 386 181 0 24495 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 109944
[startup+51.1009 s]
/proc/loadavg: 2.02 2.02 2.00 3/482 7641
/proc/meminfo: memFree=27211380/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=133220 CPUtime=51.08 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 31370 0 0 0 5103 5 0 0 25 0 1 0 821638834 136417280 30633 33554432000 4194304 4933572 140736188322192 18446744073709551615 4341654 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 33305 30633 386 181 0 30314 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 133220
[startup+102.318 s]
/proc/loadavg: 2.01 2.02 2.00 3/482 7642
/proc/meminfo: memFree=27161756/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=155808 CPUtime=102.29 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 36984 0 0 0 10223 6 0 0 25 0 1 0 821638834 159547392 36247 33554432000 4194304 4933572 140736188322192 18446744073709551615 4635387 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 38952 36247 386 181 0 35961 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 155808
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 7644
/proc/meminfo: memFree=27125892/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=173864 CPUtime=162.28 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 41287 0 0 0 16221 7 0 0 25 0 1 0 821638834 178036736 40550 33554432000 4194304 4933572 140736188322192 18446744073709551615 4360943 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 43466 40550 386 181 0 40475 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 173864
[startup+222.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/482 7645
/proc/meminfo: memFree=27088504/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=190456 CPUtime=222.28 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 45429 0 0 0 22220 8 0 0 25 0 1 0 821638834 195026944 44692 33554432000 4194304 4933572 140736188322192 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 47614 44692 386 181 0 44623 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 190456
[startup+282.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/482 7647
/proc/meminfo: memFree=27080536/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=195644 CPUtime=282.29 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 47457 0 0 0 28221 8 0 0 25 0 1 0 821638834 200339456 46009 33554432000 4194304 4933572 140736188322192 18446744073709551615 4341896 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 48911 46009 387 181 0 45920 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 195644
[startup+342.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/482 7649
/proc/meminfo: memFree=27066132/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=208492 CPUtime=342.28 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 50647 0 0 0 34220 8 0 0 25 0 1 0 821638834 213495808 49199 33554432000 4194304 4933572 140736188322192 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 52123 49199 387 181 0 49132 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 208492
[startup+402.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/482 7650
/proc/meminfo: memFree=27038948/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=216768 CPUtime=402.29 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 52741 0 0 0 40220 9 0 0 25 0 1 0 821638834 221970432 51293 33554432000 4194304 4933572 140736188322192 18446744073709551615 4637138 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 54192 51293 387 181 0 51201 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 216768
[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/482 7652
/proc/meminfo: memFree=27032092/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=222212 CPUtime=462.29 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 54077 0 0 0 46220 9 0 0 25 0 1 0 821638834 227545088 52629 33554432000 4194304 4933572 140736188322192 18446744073709551615 4664010 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 55553 52629 387 181 0 52562 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 222212
[startup+522.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 7653
/proc/meminfo: memFree=27014076/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=236452 CPUtime=522.3 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 57655 0 0 0 52220 10 0 0 25 0 1 0 821638834 242126848 56207 33554432000 4194304 4933572 140736188322192 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 59113 56207 387 181 0 56122 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 236452
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 7655
/proc/meminfo: memFree=26984776/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=245924 CPUtime=582.29 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 60023 0 0 0 58219 10 0 0 25 0 1 0 821638834 251826176 58575 33554432000 4194304 4933572 140736188322192 18446744073709551615 4631924 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 61481 58575 387 181 0 58490 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 245924
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/482 7661
/proc/meminfo: memFree=26938372/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=269844 CPUtime=822.3 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 65997 0 0 0 82219 11 0 0 25 0 1 0 821638834 276320256 64549 33554432000 4194304 4933572 140736188322192 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 67461 64549 387 181 0 64470 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 269844
[startup+882.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/482 7663
/proc/meminfo: memFree=26932880/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=273292 CPUtime=882.3 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 66845 0 0 0 88219 11 0 0 25 0 1 0 821638834 279851008 65397 33554432000 4194304 4933572 140736188322192 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 68323 65397 387 181 0 65332 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 273292
[startup+942.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 7665
/proc/meminfo: memFree=26932600/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=273820 CPUtime=942.31 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 67005 0 0 0 94219 12 0 0 25 0 1 0 821638834 280391680 65557 33554432000 4194304 4933572 140736188322192 18446744073709551615 4632144 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 68455 65557 387 181 0 65464 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 273820
[startup+1002.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 7666
/proc/meminfo: memFree=26930596/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=275944 CPUtime=1002.32 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 67541 0 0 0 100220 12 0 0 25 0 1 0 821638834 282566656 66093 33554432000 4194304 4933572 140736188322192 18446744073709551615 4368908 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 68986 66093 387 181 0 65995 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 275944
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 7668
/proc/meminfo: memFree=26927708/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=275944 CPUtime=1062.32 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 67541 0 0 0 106220 12 0 0 25 0 1 0 821638834 282566656 66093 33554432000 4194304 4933572 140736188322192 18446744073709551615 4664048 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 68986 66093 387 181 0 65995 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 275944
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 7669
/proc/meminfo: memFree=26927188/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=276740 CPUtime=1122.32 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 67715 0 0 0 112220 12 0 0 25 0 1 0 821638834 283381760 66267 33554432000 4194304 4933572 140736188322192 18446744073709551615 4427984 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 69185 66267 387 181 0 66194 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 276740
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 7671
/proc/meminfo: memFree=26925664/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=274628 CPUtime=1182.32 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 72376 0 0 0 118219 13 0 0 25 0 1 0 821638834 281219072 65966 33554432000 4194304 4933572 140736188322192 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 68657 65966 387 181 0 65666 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 274628
[startup+1242.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/482 7673
/proc/meminfo: memFree=26886312/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=298980 CPUtime=1242.32 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 78418 0 0 0 124218 14 0 0 25 0 1 0 821638834 306155520 72008 33554432000 4194304 4933572 140736188322192 18446744073709551615 4637163 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 74745 72008 387 181 0 71754 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 298980
[startup+1302.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/482 7674
/proc/meminfo: memFree=26876368/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=299112 CPUtime=1302.33 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 78446 0 0 0 130219 14 0 0 25 0 1 0 821638834 306290688 72036 33554432000 4194304 4933572 140736188322192 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 74778 72036 387 181 0 71787 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 299112
[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/482 7676
/proc/meminfo: memFree=26871872/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=304556 CPUtime=1362.32 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 79821 0 0 0 136218 14 0 0 25 0 1 0 821638834 311865344 73411 33554432000 4194304 4933572 140736188322192 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 76139 73411 387 181 0 73148 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 304556
[startup+1422.32 s]
/proc/loadavg: 2.12 2.04 2.01 3/482 7677
/proc/meminfo: memFree=26868856/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=305352 CPUtime=1422.34 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 80026 0 0 0 142220 14 0 0 25 0 1 0 821638834 312680448 73616 33554432000 4194304 4933572 140736188322192 18446744073709551615 4663992 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 76338 73616 387 181 0 73347 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 305352
[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 7679
/proc/meminfo: memFree=26868708/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=305352 CPUtime=1482.33 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 80032 0 0 0 148219 14 0 0 25 0 1 0 821638834 312680448 73622 33554432000 4194304 4933572 140736188322192 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 76338 73622 387 181 0 73347 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 305352
[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 7681
/proc/meminfo: memFree=26868684/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=306400 CPUtime=1542.33 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 81237 0 0 0 154219 14 0 0 25 0 1 0 821638834 313753600 73835 33554432000 4194304 4933572 140736188322192 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 76600 73835 387 181 0 73609 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 306400
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 7682
/proc/meminfo: memFree=26865680/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=309188 CPUtime=1602.33 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 81958 0 0 0 160219 14 0 0 25 0 1 0 821638834 316608512 74556 33554432000 4194304 4933572 140736188322192 18446744073709551615 4637168 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 77297 74556 387 181 0 74306 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 309188
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 7684
/proc/meminfo: memFree=26861552/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=310516 CPUtime=1662.33 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 82270 0 0 0 166219 14 0 0 25 0 1 0 821638834 317968384 74868 33554432000 4194304 4933572 140736188322192 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 77629 74868 387 181 0 74638 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 310516
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 7685
/proc/meminfo: memFree=26860268/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=310516 CPUtime=1722.34 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 82270 0 0 0 172220 14 0 0 25 0 1 0 821638834 317968384 74868 33554432000 4194304 4933572 140736188322192 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 77629 74868 387 181 0 74638 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 310516
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 7687
/proc/meminfo: memFree=26825624/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=326836 CPUtime=1782.34 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 86353 0 0 0 178219 15 0 0 25 0 1 0 821638834 334680064 78951 33554432000 4194304 4933572 140736188322192 18446744073709551615 4360947 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 81709 78951 387 181 0 78718 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 326836
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.12 2.03 2.01 3/482 7687
/proc/meminfo: memFree=26832560/32950928 swapFree=39617324/67111528
[pid=7614] ppid=7612 vsize=319172 CPUtime=1800.05 cores=0,2,4,6
/proc/7614/stat : 7614 (clasp) R 7612 7614 7025 0 -1 4202496 86353 0 0 0 179990 15 0 0 25 0 1 0 821638834 326832128 77067 33554432000 4194304 4933572 140736188322192 18446744073709551615 4632751 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7614/statm: 79793 77067 387 181 0 76802 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 319172
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.03
CPU time (s): 1800.09
CPU user time (s): 1799.91
CPU system time (s): 0.170974
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 326836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.170974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86362
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= 11
involuntary context switches= 2738
runsolver used 8.99763 second user time and 18.9131 second system time
The end