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-3468072-1307107335/watcher-3468072-1307107335 -o /tmp/evaluation-result-3468072-1307107335/solver-3468072-1307107335 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468072-1307107335.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: 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.05 2.03 2.01 2/469 7360
/proc/meminfo: memFree=24210760/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/7360/stat : 7360 (runsolver) R 7358 7360 6224 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 1 0 900963946 12079104 51 33554432000 4194304 5432328 140736092578688 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/7360/statm: 2949 51 31 303 0 2643 0
[startup+0.0580359 s]
/proc/loadavg: 2.05 2.03 2.01 2/469 7360
/proc/meminfo: memFree=24210760/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=12836 CPUtime=0.03 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 607 0 0 0 3 0 0 0 25 0 1 0 900963946 13144064 548 33554432000 4194304 4933572 140734735613296 18446744073709551615 4713191 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 3209 548 375 181 0 218 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12836
[startup+0.101028 s]
/proc/loadavg: 2.05 2.03 2.01 2/469 7360
/proc/meminfo: memFree=24210760/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=12968 CPUtime=0.08 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 651 0 0 0 8 0 0 0 25 0 1 0 900963946 13279232 592 33554432000 4194304 4933572 140734735613296 18446744073709551615 4317726 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 3242 592 375 181 0 251 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12968
[startup+0.300989 s]
/proc/loadavg: 2.05 2.03 2.01 2/469 7360
/proc/meminfo: memFree=24210760/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=13364 CPUtime=0.28 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 733 0 0 0 28 0 0 0 25 0 1 0 900963946 13684736 674 33554432000 4194304 4933572 140734735613296 18446744073709551615 4664543 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 3341 674 375 181 0 350 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13364
[startup+0.700922 s]
/proc/loadavg: 2.05 2.03 2.01 2/469 7360
/proc/meminfo: memFree=24210760/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=13632 CPUtime=0.68 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 831 0 0 0 68 0 0 0 25 0 1 0 900963946 13959168 772 33554432000 4194304 4933572 140734735613296 18446744073709551615 4664576 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 3408 772 375 181 0 417 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13632
[startup+1.50076 s]
/proc/loadavg: 2.05 2.03 2.01 3/470 7361
/proc/meminfo: memFree=24208396/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=14192 CPUtime=1.48 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 959 0 0 0 148 0 0 0 25 0 1 0 900963946 14532608 900 33554432000 4194304 4933572 140734735613296 18446744073709551615 4716992 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 3548 900 375 181 0 557 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 14192
[startup+3.10047 s]
/proc/loadavg: 2.05 2.03 2.01 3/470 7361
/proc/meminfo: memFree=24206576/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=14936 CPUtime=3.08 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1118 0 0 0 308 0 0 0 25 0 1 0 900963946 15294464 1059 33554432000 4194304 4933572 140734735613296 18446744073709551615 4319463 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 3734 1059 375 181 0 743 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 14936
[startup+6.30087 s]
/proc/loadavg: 2.04 2.03 2.01 3/470 7361
/proc/meminfo: memFree=24205920/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=15644 CPUtime=6.28 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1276 0 0 0 628 0 0 0 25 0 1 0 900963946 16019456 1217 33554432000 4194304 4933572 140734735613296 18446744073709551615 4363392 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 3911 1217 375 181 0 920 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 15644
[startup+12.7007 s]
/proc/loadavg: 2.04 2.03 2.01 3/470 7361
/proc/meminfo: memFree=24204508/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=16080 CPUtime=12.68 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1388 0 0 0 1268 0 0 0 25 0 1 0 900963946 16465920 1329 33554432000 4194304 4933572 140734735613296 18446744073709551615 4718293 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4020 1329 375 181 0 1029 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 16080
[startup+25.5003 s]
/proc/loadavg: 2.03 2.03 2.00 3/470 7361
/proc/meminfo: memFree=24203656/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=16652 CPUtime=25.48 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1518 0 0 0 2548 0 0 0 25 0 1 0 900963946 17051648 1459 33554432000 4194304 4933572 140734735613296 18446744073709551615 4712981 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4163 1459 375 181 0 1172 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16652
[startup+51.1005 s]
/proc/loadavg: 2.02 2.03 2.00 3/470 7362
/proc/meminfo: memFree=24203260/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=16956 CPUtime=51.08 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1619 0 0 0 5108 0 0 0 25 0 1 0 900963946 17362944 1560 33554432000 4194304 4933572 140734735613296 18446744073709551615 4716992 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4239 1560 375 181 0 1248 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16956
[startup+102.317 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 7363
/proc/meminfo: memFree=24201140/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=17256 CPUtime=102.25 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1703 0 0 0 10225 0 0 0 25 0 1 0 900963946 17670144 1644 33554432000 4194304 4933572 140734735613296 18446744073709551615 4331743 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4314 1644 375 181 0 1323 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 17256
[startup+162.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/470 7392
/proc/meminfo: memFree=24201212/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=17520 CPUtime=162.23 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1746 0 0 0 16223 0 0 0 25 0 1 0 900963946 17940480 1687 33554432000 4194304 4933572 140734735613296 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4380 1687 375 181 0 1389 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 17520
[startup+222.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/470 7393
/proc/meminfo: memFree=24201264/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=17520 CPUtime=222.23 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1754 0 0 0 22223 0 0 0 25 0 1 0 900963946 17940480 1695 33554432000 4194304 4933572 140734735613296 18446744073709551615 4367980 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4380 1695 375 181 0 1389 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 17520
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 7395
/proc/meminfo: memFree=24201496/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=17520 CPUtime=282.23 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1786 0 0 0 28223 0 0 0 25 0 1 0 900963946 17940480 1727 33554432000 4194304 4933572 140734735613296 18446744073709551615 4637172 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4380 1727 375 181 0 1389 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 17520
[startup+342.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/470 7397
/proc/meminfo: memFree=24201228/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=17668 CPUtime=342.24 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1794 0 0 0 34224 0 0 0 25 0 1 0 900963946 18092032 1735 33554432000 4194304 4933572 140734735613296 18446744073709551615 4718516 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4417 1735 375 181 0 1426 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 17668
[startup+402.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/470 7398
/proc/meminfo: memFree=24201448/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=17668 CPUtime=402.23 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1806 0 0 0 40223 0 0 0 25 0 1 0 900963946 18092032 1747 33554432000 4194304 4933572 140734735613296 18446744073709551615 4363165 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4417 1747 375 181 0 1426 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 17668
[startup+462.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/470 7400
/proc/meminfo: memFree=24201544/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=17668 CPUtime=462.24 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1814 0 0 0 46224 0 0 0 25 0 1 0 900963946 18092032 1755 33554432000 4194304 4933572 140734735613296 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4417 1755 375 181 0 1426 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 17668
[startup+522.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/470 7401
/proc/meminfo: memFree=24201648/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=17668 CPUtime=522.24 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1817 0 0 0 52224 0 0 0 25 0 1 0 900963946 18092032 1758 33554432000 4194304 4933572 140734735613296 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4417 1758 375 181 0 1426 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 17668
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7403
/proc/meminfo: memFree=24201368/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=17668 CPUtime=582.24 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1817 0 0 0 58224 0 0 0 25 0 1 0 900963946 18092032 1758 33554432000 4194304 4933572 140734735613296 18446744073709551615 4649405 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4417 1758 375 181 0 1426 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 17668
[startup+642.3 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/470 7411
/proc/meminfo: memFree=24200624/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=17668 CPUtime=882.24 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1828 0 0 0 88224 0 0 0 25 0 1 0 900963946 18092032 1769 33554432000 4194304 4933572 140734735613296 18446744073709551615 4632837 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4417 1769 375 181 0 1426 0
Current children cumulated CPU time (s) 882.24
Current children cumulated vsize (KiB) 17668
[startup+942.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/470 7413
/proc/meminfo: memFree=24201220/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=17780 CPUtime=942.24 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1839 0 0 0 94224 0 0 0 25 0 1 0 900963946 18206720 1780 33554432000 4194304 4933572 140734735613296 18446744073709551615 4360903 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4445 1780 375 181 0 1454 0
Current children cumulated CPU time (s) 942.24
Current children cumulated vsize (KiB) 17780
[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 7416
/proc/meminfo: memFree=24201324/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=17780 CPUtime=1002.24 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1840 0 0 0 100224 0 0 0 25 0 1 0 900963946 18206720 1781 33554432000 4194304 4933572 140734735613296 18446744073709551615 4635702 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4445 1781 375 181 0 1454 0
Current children cumulated CPU time (s) 1002.24
Current children cumulated vsize (KiB) 17780
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 7419
/proc/meminfo: memFree=24201600/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=17780 CPUtime=1062.24 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1840 0 0 0 106224 0 0 0 25 0 1 0 900963946 18206720 1781 33554432000 4194304 4933572 140734735613296 18446744073709551615 4360947 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4445 1781 375 181 0 1454 0
Current children cumulated CPU time (s) 1062.24
Current children cumulated vsize (KiB) 17780
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 7420
/proc/meminfo: memFree=24201456/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=17780 CPUtime=1122.24 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1840 0 0 0 112224 0 0 0 25 0 1 0 900963946 18206720 1781 33554432000 4194304 4933572 140734735613296 18446744073709551615 4718537 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4445 1781 375 181 0 1454 0
Current children cumulated CPU time (s) 1122.24
Current children cumulated vsize (KiB) 17780
[startup+1182.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/470 7422
/proc/meminfo: memFree=24201068/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=17780 CPUtime=1182.24 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1840 0 0 0 118224 0 0 0 25 0 1 0 900963946 18206720 1781 33554432000 4194304 4933572 140734735613296 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4445 1781 375 181 0 1454 0
Current children cumulated CPU time (s) 1182.24
Current children cumulated vsize (KiB) 17780
[startup+1242.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/470 7424
/proc/meminfo: memFree=24200168/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=17780 CPUtime=1242.24 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1841 0 0 0 124224 0 0 0 25 0 1 0 900963946 18206720 1782 33554432000 4194304 4933572 140734735613296 18446744073709551615 4718416 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4445 1782 375 181 0 1454 0
Current children cumulated CPU time (s) 1242.24
Current children cumulated vsize (KiB) 17780
[startup+1302.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/470 7425
/proc/meminfo: memFree=24200264/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=17780 CPUtime=1302.25 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1841 0 0 0 130225 0 0 0 25 0 1 0 900963946 18206720 1782 33554432000 4194304 4933572 140734735613296 18446744073709551615 4360965 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4445 1782 375 181 0 1454 0
Current children cumulated CPU time (s) 1302.25
Current children cumulated vsize (KiB) 17780
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 7427
/proc/meminfo: memFree=24199136/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=17780 CPUtime=1362.24 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1841 0 0 0 136224 0 0 0 25 0 1 0 900963946 18206720 1782 33554432000 4194304 4933572 140734735613296 18446744073709551615 4718277 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4445 1782 375 181 0 1454 0
Current children cumulated CPU time (s) 1362.24
Current children cumulated vsize (KiB) 17780
[startup+1422.32 s]
/proc/loadavg: 2.07 2.04 2.01 3/470 7428
/proc/meminfo: memFree=24199856/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=17780 CPUtime=1422.26 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1842 0 0 0 142226 0 0 0 25 0 1 0 900963946 18206720 1783 33554432000 4194304 4933572 140734735613296 18446744073709551615 4363265 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4445 1783 375 181 0 1454 0
Current children cumulated CPU time (s) 1422.26
Current children cumulated vsize (KiB) 17780
[startup+1482.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/470 7430
/proc/meminfo: memFree=24198976/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=17780 CPUtime=1482.24 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1842 0 0 0 148224 0 0 0 25 0 1 0 900963946 18206720 1783 33554432000 4194304 4933572 140734735613296 18446744073709551615 4331664 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4445 1783 375 181 0 1454 0
Current children cumulated CPU time (s) 1482.24
Current children cumulated vsize (KiB) 17780
[startup+1542.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/470 7432
/proc/meminfo: memFree=24200056/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=17780 CPUtime=1542.24 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1842 0 0 0 154224 0 0 0 25 0 1 0 900963946 18206720 1783 33554432000 4194304 4933572 140734735613296 18446744073709551615 4719104 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4445 1783 375 181 0 1454 0
Current children cumulated CPU time (s) 1542.24
Current children cumulated vsize (KiB) 17780
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/470 7433
/proc/meminfo: memFree=24200032/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=17780 CPUtime=1602.24 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1842 0 0 0 160224 0 0 0 25 0 1 0 900963946 18206720 1783 33554432000 4194304 4933572 140734735613296 18446744073709551615 4363232 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4445 1783 375 181 0 1454 0
Current children cumulated CPU time (s) 1602.24
Current children cumulated vsize (KiB) 17780
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7435
/proc/meminfo: memFree=24200624/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=17780 CPUtime=1662.24 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1842 0 0 0 166224 0 0 0 25 0 1 0 900963946 18206720 1783 33554432000 4194304 4933572 140734735613296 18446744073709551615 4649366 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4445 1783 375 181 0 1454 0
Current children cumulated CPU time (s) 1662.24
Current children cumulated vsize (KiB) 17780
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7436
/proc/meminfo: memFree=24199868/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=17780 CPUtime=1722.24 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1842 0 0 0 172224 0 0 0 25 0 1 0 900963946 18206720 1783 33554432000 4194304 4933572 140734735613296 18446744073709551615 4331700 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4445 1783 375 181 0 1454 0
Current children cumulated CPU time (s) 1722.24
Current children cumulated vsize (KiB) 17780
[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/470 7438
/proc/meminfo: memFree=24198844/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=17780 CPUtime=1782.24 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1842 0 0 0 178224 0 0 0 25 0 1 0 900963946 18206720 1783 33554432000 4194304 4933572 140734735613296 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4445 1783 375 181 0 1454 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 17780
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/470 7439
/proc/meminfo: memFree=24199708/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=17780 CPUtime=1800.04 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1842 0 0 0 180004 0 0 0 25 0 1 0 900963946 18206720 1783 33554432000 4194304 4933572 140734735613296 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4445 1783 375 181 0 1454 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 17780
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.02 2.02 2.00 3/470 7439
/proc/meminfo: memFree=24199708/32951124 swapFree=56297244/67111528
[pid=7360] ppid=7358 vsize=17780 CPUtime=1800.04 cores=1,3,5,7
/proc/7360/stat : 7360 (clasp) R 7358 7360 6224 0 -1 4202496 1842 0 0 0 180004 0 0 0 25 0 1 0 900963946 18206720 1783 33554432000 4194304 4933572 140734735613296 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7360/statm: 4445 1783 375 181 0 1454 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 17780
Child status: 0
Real time (s): 1800.12
CPU time (s): 1800.06
CPU user time (s): 1800.06
CPU system time (s): 0.000999
CPU usage (%): 99.9968
Max. virtual memory (cumulated for all children) (KiB): 17800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.000999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1854
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= 7
involuntary context switches= 4857
runsolver used 7.72283 second user time and 18.4832 second system time
The end