runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3491924-1307777528/watcher-3491924-1307777528 -o /tmp/evaluation-result-3491924-1307777528/solver-3491924-1307777528 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491924-1307777528.opb --solu --heu=VSIDS
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: 1.84 1.97 1.91 2/175 17979
/proc/meminfo: memFree=31575372/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=4460 CPUtime=0 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 842 0 0 0 0 0 0 0 25 0 1 0 889351497 4567040 732 33554432000 4194304 6245536 140736944156960 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 1115 732 179 501 0 611 0
[startup+0.015242 s]
/proc/loadavg: 1.84 1.97 1.91 2/175 17979
/proc/meminfo: memFree=31575372/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=4608 CPUtime=0.01 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 1104 0 0 0 1 0 0 0 25 0 1 0 889351497 4718592 831 33554432000 4194304 6245536 140736944156960 18446744073709551615 4324288 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 1152 831 221 501 0 648 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4608
[startup+0.100228 s]
/proc/loadavg: 1.84 1.97 1.91 2/175 17979
/proc/meminfo: memFree=31575372/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=12996 CPUtime=0.09 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 3185 0 0 0 9 0 0 0 25 0 1 0 889351497 13307904 2912 33554432000 4194304 6245536 140736944156960 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 3249 2912 221 501 0 2745 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12996
[startup+0.300189 s]
/proc/loadavg: 1.84 1.97 1.91 2/175 17979
/proc/meminfo: memFree=31575372/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=15900 CPUtime=0.29 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 3906 0 0 0 29 0 0 0 25 0 1 0 889351497 16281600 3633 33554432000 4194304 6245536 140736944156960 18446744073709551615 4324226 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 3975 3633 228 501 0 3471 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15900
[startup+0.700133 s]
/proc/loadavg: 1.84 1.97 1.91 2/175 17979
/proc/meminfo: memFree=31575372/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=18672 CPUtime=0.69 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 4606 0 0 0 69 0 0 0 25 0 1 0 889351497 19120128 4333 33554432000 4194304 6245536 140736944156960 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 4668 4333 229 501 0 4164 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18672
[startup+1.501 s]
/proc/loadavg: 1.84 1.97 1.91 3/176 17980
/proc/meminfo: memFree=31550840/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=21472 CPUtime=1.49 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 5294 0 0 0 149 0 0 0 25 0 1 0 889351497 21987328 5021 33554432000 4194304 6245536 140736944156960 18446744073709551615 4633873 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 5368 5021 229 501 0 4864 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21472
[startup+3.10072 s]
/proc/loadavg: 1.84 1.97 1.91 4/176 17980
/proc/meminfo: memFree=31540404/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=24520 CPUtime=3.09 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 6060 0 0 0 309 0 0 0 25 0 1 0 889351497 25108480 5787 33554432000 4194304 6245536 140736944156960 18446744073709551615 4324251 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 6130 5787 229 501 0 5626 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24520
[startup+6.30017 s]
/proc/loadavg: 1.85 1.97 1.91 3/176 17980
/proc/meminfo: memFree=31520700/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=26896 CPUtime=6.29 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 6663 0 0 0 628 1 0 0 25 0 1 0 889351497 27541504 6390 33554432000 4194304 6245536 140736944156960 18446744073709551615 4317348 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 6724 6390 229 501 0 6220 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26896
[startup+12.7011 s]
/proc/loadavg: 1.86 1.97 1.91 3/176 17980
/proc/meminfo: memFree=31503372/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=31860 CPUtime=12.69 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 7905 0 0 0 1268 1 0 0 25 0 1 0 889351497 32624640 7632 33554432000 4194304 6245536 140736944156960 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 7965 7632 229 501 0 7461 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31860
[startup+25.5009 s]
/proc/loadavg: 1.89 1.97 1.91 3/176 17980
/proc/meminfo: memFree=31472136/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=39056 CPUtime=25.49 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 9696 0 0 0 2548 1 0 0 25 0 1 0 889351497 39993344 9423 33554432000 4194304 6245536 140736944156960 18446744073709551615 4635591 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 9764 9423 229 501 0 9260 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 39056
[startup+51.1005 s]
/proc/loadavg: 1.93 1.97 1.91 3/176 17982
/proc/meminfo: memFree=31451452/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=44128 CPUtime=51.09 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 10939 0 0 0 5108 1 0 0 25 0 1 0 889351497 45187072 10666 33554432000 4194304 6245536 140736944156960 18446744073709551615 4324736 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 11032 10666 229 501 0 10528 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 44128
[startup+102.307 s]
/proc/loadavg: 1.97 1.97 1.91 3/176 17982
/proc/meminfo: memFree=31402836/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=54320 CPUtime=102.3 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 13435 0 0 0 10228 2 0 0 25 0 1 0 889351497 55623680 13162 33554432000 4194304 6245536 140736944156960 18446744073709551615 4324291 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 13580 13162 229 501 0 13076 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 54320
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/176 17984
/proc/meminfo: memFree=31374312/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=60528 CPUtime=162.28 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 14970 0 0 0 16226 2 0 0 25 0 1 0 889351497 61980672 14697 33554432000 4194304 6245536 140736944156960 18446744073709551615 4637435 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 15132 14697 229 501 0 14628 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 60528
[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/176 17986
/proc/meminfo: memFree=31342312/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=66468 CPUtime=222.28 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 16507 0 0 0 22226 2 0 0 25 0 1 0 889351497 68063232 16234 33554432000 4194304 6245536 140736944156960 18446744073709551615 4635116 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 16617 16234 229 501 0 16113 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 66468
[startup+282.301 s]
/proc/loadavg: 2.05 1.99 1.91 3/176 17988
/proc/meminfo: memFree=31338324/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=67392 CPUtime=282.28 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 16738 0 0 0 28226 2 0 0 25 0 1 0 889351497 69009408 16465 33554432000 4194304 6245536 140736944156960 18446744073709551615 4635125 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 16848 16465 229 501 0 16344 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 67392
[startup+342.3 s]
/proc/loadavg: 2.02 1.99 1.91 3/176 17990
/proc/meminfo: memFree=31304836/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=73792 CPUtime=342.28 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 18347 0 0 0 34225 3 0 0 25 0 1 0 889351497 75563008 18074 33554432000 4194304 6245536 140736944156960 18446744073709551615 4317344 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 18448 18074 229 501 0 17944 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 73792
[startup+402.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/176 17990
/proc/meminfo: memFree=31300864/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=75496 CPUtime=402.28 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 18741 0 0 0 40225 3 0 0 25 0 1 0 889351497 77307904 18468 33554432000 4194304 6245536 140736944156960 18446744073709551615 4633879 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 18874 18468 229 501 0 18370 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 75496
[startup+462.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/176 17992
/proc/meminfo: memFree=31295008/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=80484 CPUtime=462.28 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 20060 0 0 0 46225 3 0 0 25 0 1 0 889351497 82415616 19669 33554432000 4194304 6245536 140736944156960 18446744073709551615 4605184 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 20121 19669 229 501 0 19617 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 80484
[startup+522.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/176 17994
/proc/meminfo: memFree=31266840/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=82280 CPUtime=522.29 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 20509 0 0 0 52225 4 0 0 25 0 1 0 889351497 84254720 20118 33554432000 4194304 6245536 140736944156960 18446744073709551615 4323456 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 20570 20118 229 501 0 20066 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 82280
[startup+582.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/176 17996
/proc/meminfo: memFree=31263852/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=83716 CPUtime=582.29 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 20829 0 0 0 58225 4 0 0 25 0 1 0 889351497 85725184 20438 33554432000 4194304 6245536 140736944156960 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 20929 20438 229 501 0 20425 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 83716
[startup+642.301 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/176 18004
/proc/meminfo: memFree=31219272/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=92916 CPUtime=882.28 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 23250 0 0 0 88224 4 0 0 25 0 1 0 889351497 95145984 22753 33554432000 4194304 6245536 140736944156960 18446744073709551615 4324746 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 23229 22753 229 501 0 22725 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 92916
[startup+942.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/176 18006
/proc/meminfo: memFree=31217640/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=93312 CPUtime=942.28 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 23333 0 0 0 94224 4 0 0 25 0 1 0 889351497 95551488 22836 33554432000 4194304 6245536 140736944156960 18446744073709551615 4635135 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 23328 22836 229 501 0 22824 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 93312
[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/176 18006
/proc/meminfo: memFree=31215152/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=94156 CPUtime=1002.28 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 23677 0 0 0 100224 4 0 0 25 0 1 0 889351497 96415744 23058 33554432000 4194304 6245536 140736944156960 18446744073709551615 4637497 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 23539 23058 229 501 0 23035 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 94156
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/176 18008
/proc/meminfo: memFree=31213144/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=94600 CPUtime=1062.28 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 23763 0 0 0 106224 4 0 0 25 0 1 0 889351497 96870400 23144 33554432000 4194304 6245536 140736944156960 18446744073709551615 4317344 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 23650 23144 229 501 0 23146 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 94600
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/176 18010
/proc/meminfo: memFree=31206192/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=101276 CPUtime=1122.28 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 25422 0 0 0 112224 4 0 0 25 0 1 0 889351497 103706624 24803 33554432000 4194304 6245536 140736944156960 18446744073709551615 4317354 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 25319 24803 229 501 0 24815 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 101276
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/176 18012
/proc/meminfo: memFree=31172444/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=102992 CPUtime=1182.28 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 25825 0 0 0 118224 4 0 0 25 0 1 0 889351497 105463808 25206 33554432000 4194304 6245536 140736944156960 18446744073709551615 4317334 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 25748 25206 229 501 0 25244 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 102992
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/176 18014
/proc/meminfo: memFree=31169456/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=103256 CPUtime=1242.27 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 25916 0 0 0 124223 4 0 0 25 0 1 0 889351497 105734144 25297 33554432000 4194304 6245536 140736944156960 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 25814 25297 229 501 0 25310 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 103256
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/176 18014
/proc/meminfo: memFree=31164000/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=103764 CPUtime=1302.28 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 26143 0 0 0 130224 4 0 0 25 0 1 0 889351497 106254336 25397 33554432000 4194304 6245536 140736944156960 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 25941 25397 229 501 0 25437 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 103764
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/176 18016
/proc/meminfo: memFree=31162248/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=104448 CPUtime=1362.27 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 26417 0 0 0 136223 4 0 0 25 0 1 0 889351497 106954752 25570 33554432000 4194304 6245536 140736944156960 18446744073709551615 4304903 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 26112 25570 229 501 0 25608 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 104448
[startup+1422.31 s]
/proc/loadavg: 2.06 2.00 1.92 3/176 18018
/proc/meminfo: memFree=31160992/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=104904 CPUtime=1422.28 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 26497 0 0 0 142224 4 0 0 25 0 1 0 889351497 107421696 25650 33554432000 4194304 6245536 140736944156960 18446744073709551615 4304926 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 26226 25650 229 501 0 25722 0
Current children cumulated CPU time (s) 1422.28
Current children cumulated vsize (KiB) 104904
[startup+1482.3 s]
/proc/loadavg: 2.06 2.01 1.93 3/176 18020
/proc/meminfo: memFree=31160244/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=105696 CPUtime=1482.27 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 26699 0 0 0 148223 4 0 0 25 0 1 0 889351497 108232704 25852 33554432000 4194304 6245536 140736944156960 18446744073709551615 4397867 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 26424 25852 229 501 0 25920 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 105696
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/176 18022
/proc/meminfo: memFree=31157868/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=106044 CPUtime=1542.27 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 26763 0 0 0 154223 4 0 0 25 0 1 0 889351497 108589056 25916 33554432000 4194304 6245536 140736944156960 18446744073709551615 4646425 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 26511 25916 229 501 0 26007 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 106044
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 18022
/proc/meminfo: memFree=31157372/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=106044 CPUtime=1602.27 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 26766 0 0 0 160223 4 0 0 25 0 1 0 889351497 108589056 25919 33554432000 4194304 6245536 140736944156960 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 26511 25919 229 501 0 26007 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 106044
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 18024
/proc/meminfo: memFree=31155996/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=106044 CPUtime=1662.27 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 26766 0 0 0 166223 4 0 0 25 0 1 0 889351497 108589056 25919 33554432000 4194304 6245536 140736944156960 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 26511 25919 229 501 0 26007 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 106044
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 18026
/proc/meminfo: memFree=31148680/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=113420 CPUtime=1722.27 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 28575 0 0 0 172223 4 0 0 25 0 1 0 889351497 116142080 27728 33554432000 4194304 6245536 140736944156960 18446744073709551615 4629059 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 28355 27728 229 501 0 27851 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 113420
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 18037
/proc/meminfo: memFree=31120584/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=115116 CPUtime=1782.27 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 28981 0 0 0 178223 4 0 0 25 0 1 0 889351497 117878784 28134 33554432000 4194304 6245536 140736944156960 18446744073709551615 4629039 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 28779 28134 229 501 0 28275 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 115116
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 1.93 2/174 18038
/proc/meminfo: memFree=31526076/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=115116 CPUtime=1800.07 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 28983 0 0 0 180003 4 0 0 25 0 1 0 889351497 117878784 28136 33554432000 4194304 6245536 140736944156960 18446744073709551615 4324247 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 28779 28136 229 501 0 28275 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 115116
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 1.93 2/174 18038
/proc/meminfo: memFree=31526076/32951132 swapFree=67052544/67111528
[pid=17979] ppid=17977 vsize=115116 CPUtime=1800.07 cores=1,3,5,7
/proc/17979/stat : 17979 (clasp) R 17977 17979 16337 0 -1 4202496 28983 0 0 0 180003 4 0 0 25 0 1 0 889351497 117878784 28136 33554432000 4194304 6245536 140736944156960 18446744073709551615 4324247 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/17979/statm: 28779 28136 229 501 0 28275 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 115116
Child status: 10
Real time (s): 1800.11
CPU time (s): 1800.09
CPU user time (s): 1800.04
CPU system time (s): 0.052991
CPU usage (%): 99.9989
Max. virtual memory (cumulated for all children) (KiB): 115116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.052991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28994
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= 3
involuntary context switches= 19863
runsolver used 2.54161 second user time and 5.9201 second system time
The end