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-3468223-1307083935/watcher-3468223-1307083935 -o /tmp/evaluation-result-3468223-1307083935/solver-3468223-1307083935 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468223-1307083935.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.00 2.00 2.00 3/429 21530
/proc/meminfo: memFree=29193908/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/21530/stat : 21530 (runsolver) R 21528 21530 15685 0 -1 4202560 43 0 0 0 0 0 0 0 25 0 1 0 819993934 12079104 50 33554432000 4194304 5432328 140733996149360 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/21530/statm: 2949 50 31 303 0 2643 0
[startup+0.079649 s]
/proc/loadavg: 2.00 2.00 2.00 3/429 21530
/proc/meminfo: memFree=29193908/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=14024 CPUtime=0.06 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 909 0 0 0 6 0 0 0 25 0 1 0 819993934 14360576 842 33554432000 4194304 4933572 140733744054352 18446744073709551615 4631912 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 3506 842 378 181 0 515 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14024
[startup+0.100644 s]
/proc/loadavg: 2.00 2.00 2.00 3/429 21530
/proc/meminfo: memFree=29193908/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=14288 CPUtime=0.08 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 990 0 0 0 8 0 0 0 25 0 1 0 819993934 14630912 923 33554432000 4194304 4933572 140733744054352 18446744073709551615 4649834 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 3572 923 378 181 0 581 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14288
[startup+0.300605 s]
/proc/loadavg: 2.00 2.00 2.00 3/429 21530
/proc/meminfo: memFree=29193908/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=14816 CPUtime=0.28 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 1135 0 0 0 28 0 0 0 25 0 1 0 819993934 15171584 1068 33554432000 4194304 4933572 140733744054352 18446744073709551615 4635407 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 3704 1068 378 181 0 713 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 14816
[startup+0.700536 s]
/proc/loadavg: 2.00 2.00 2.00 3/429 21530
/proc/meminfo: memFree=29193908/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=15868 CPUtime=0.68 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 1398 0 0 0 68 0 0 0 25 0 1 0 819993934 16248832 1331 33554432000 4194304 4933572 140733744054352 18446744073709551615 4717558 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 3967 1332 378 181 0 976 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 15868
[startup+1.50038 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 21531
/proc/meminfo: memFree=29185352/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=16392 CPUtime=1.48 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 1504 0 0 0 148 0 0 0 25 0 1 0 819993934 16785408 1437 33554432000 4194304 4933572 140733744054352 18446744073709551615 4328712 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 4098 1437 378 181 0 1107 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 16392
[startup+3.10109 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 21531
/proc/meminfo: memFree=29182792/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=17456 CPUtime=3.08 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 1767 0 0 0 308 0 0 0 25 0 1 0 819993934 17874944 1700 33554432000 4194304 4933572 140733744054352 18446744073709551615 4717627 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 4364 1700 378 181 0 1373 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17456
[startup+6.30049 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 21531
/proc/meminfo: memFree=29179396/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=18548 CPUtime=6.28 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 2067 0 0 0 628 0 0 0 25 0 1 0 819993934 18993152 2000 33554432000 4194304 4933572 140733744054352 18446744073709551615 4719448 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 4637 2000 378 181 0 1646 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 18548
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 21531
/proc/meminfo: memFree=29175100/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=20096 CPUtime=12.68 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 2445 0 0 0 1268 0 0 0 25 0 1 0 819993934 20578304 2378 33554432000 4194304 4933572 140733744054352 18446744073709551615 4360915 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 5024 2378 378 181 0 2033 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20096
[startup+25.5009 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 21532
/proc/meminfo: memFree=29173492/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=21136 CPUtime=25.48 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 2695 0 0 0 2548 0 0 0 25 0 1 0 819993934 21643264 2628 33554432000 4194304 4933572 140733744054352 18446744073709551615 4711305 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 5284 2628 378 181 0 2293 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21136
[startup+51.1002 s]
/proc/loadavg: 2.08 2.02 2.01 3/430 21532
/proc/meminfo: memFree=29171716/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=22284 CPUtime=51.08 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 2969 0 0 0 5108 0 0 0 25 0 1 0 819993934 22818816 2902 33554432000 4194304 4933572 140733744054352 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 5571 2902 378 181 0 2580 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 22284
[startup+102.316 s]
/proc/loadavg: 2.03 2.01 2.00 3/430 21534
/proc/meminfo: memFree=29168468/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=23452 CPUtime=102.3 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 3284 0 0 0 10230 0 0 0 25 0 1 0 819993934 24014848 3217 33554432000 4194304 4933572 140733744054352 18446744073709551615 4717573 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 5863 3217 378 181 0 2872 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 23452
[startup+162.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/430 21535
/proc/meminfo: memFree=29166308/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=24176 CPUtime=162.28 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 3485 0 0 0 16228 0 0 0 25 0 1 0 819993934 24756224 3403 33554432000 4194304 4933572 140733744054352 18446744073709551615 4717660 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 6044 3403 378 181 0 3053 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 24176
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 21537
/proc/meminfo: memFree=29165516/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=24800 CPUtime=222.29 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 3634 0 0 0 22229 0 0 0 25 0 1 0 819993934 25395200 3530 33554432000 4194304 4933572 140733744054352 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 6200 3530 378 181 0 3209 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 24800
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 21538
/proc/meminfo: memFree=29166096/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=24988 CPUtime=282.29 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 3705 0 0 0 28229 0 0 0 25 0 1 0 819993934 25587712 3592 33554432000 4194304 4933572 140733744054352 18446744073709551615 4427984 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 6247 3592 378 181 0 3256 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 24988
[startup+342.301 s]
/proc/loadavg: 2.15 2.03 2.01 3/430 21540
/proc/meminfo: memFree=29165672/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=25236 CPUtime=342.29 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 3782 0 0 0 34229 0 0 0 25 0 1 0 819993934 25841664 3664 33554432000 4194304 4933572 140733744054352 18446744073709551615 4330254 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 6309 3664 378 181 0 3318 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 25236
[startup+402.301 s]
/proc/loadavg: 2.12 2.04 2.01 3/430 21542
/proc/meminfo: memFree=29165492/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=25468 CPUtime=402.29 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 3837 0 0 0 40229 0 0 0 25 0 1 0 819993934 26079232 3719 33554432000 4194304 4933572 140733744054352 18446744073709551615 4664505 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 6367 3719 378 181 0 3376 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 25468
[startup+462.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/430 21543
/proc/meminfo: memFree=29165456/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=25680 CPUtime=462.29 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 3890 0 0 0 46229 0 0 0 25 0 1 0 819993934 26296320 3769 33554432000 4194304 4933572 140733744054352 18446744073709551615 4330085 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 6420 3769 378 181 0 3429 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 25680
[startup+522.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/430 21545
/proc/meminfo: memFree=29165272/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=25784 CPUtime=522.29 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 3957 0 0 0 52229 0 0 0 25 0 1 0 819993934 26402816 3797 33554432000 4194304 4933572 140733744054352 18446744073709551615 4340829 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 6446 3797 378 181 0 3455 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 25784
[startup+582.301 s]
/proc/loadavg: 2.11 2.05 2.01 3/430 21555
/proc/meminfo: memFree=29163580/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=25872 CPUtime=582.3 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 3962 0 0 0 58230 0 0 0 25 0 1 0 819993934 26492928 3799 33554432000 4194304 4933572 140733744054352 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 6468 3799 378 181 0 3477 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 25872
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 21565
/proc/meminfo: memFree=29161764/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=26220 CPUtime=822.3 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 4063 0 0 0 82230 0 0 0 25 0 1 0 819993934 26849280 3900 33554432000 4194304 4933572 140733744054352 18446744073709551615 4428972 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 6555 3900 378 181 0 3564 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 26220
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 21566
/proc/meminfo: memFree=29161212/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=26332 CPUtime=882.31 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 4074 0 0 0 88231 0 0 0 25 0 1 0 819993934 26963968 3911 33554432000 4194304 4933572 140733744054352 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 6583 3911 378 181 0 3592 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 26332
[startup+942.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/430 21568
/proc/meminfo: memFree=29162268/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=26332 CPUtime=942.31 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 4080 0 0 0 94231 0 0 0 25 0 1 0 819993934 26963968 3917 33554432000 4194304 4933572 140733744054352 18446744073709551615 4332754 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 6583 3917 378 181 0 3592 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 26332
[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/430 21570
/proc/meminfo: memFree=29162096/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=26552 CPUtime=1002.31 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 4144 0 0 0 100231 0 0 0 25 0 1 0 819993934 27189248 3981 33554432000 4194304 4933572 140733744054352 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 6638 3981 378 181 0 3647 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 26552
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 21571
/proc/meminfo: memFree=29161688/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=26628 CPUtime=1062.31 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 4174 0 0 0 106231 0 0 0 25 0 1 0 819993934 27267072 4000 33554432000 4194304 4933572 140733744054352 18446744073709551615 4358514 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 6657 4000 378 181 0 3666 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 26628
[startup+1122.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/430 21573
/proc/meminfo: memFree=29161516/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=26744 CPUtime=1122.31 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 4178 0 0 0 112231 0 0 0 25 0 1 0 819993934 27385856 4004 33554432000 4194304 4933572 140733744054352 18446744073709551615 4378736 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 6686 4004 378 181 0 3695 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 26744
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/430 21574
/proc/meminfo: memFree=29161084/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=26744 CPUtime=1182.32 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 4202 0 0 0 118232 0 0 0 25 0 1 0 819993934 27385856 4028 33554432000 4194304 4933572 140733744054352 18446744073709551615 4427998 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 6686 4028 378 181 0 3695 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 26744
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/430 21576
/proc/meminfo: memFree=29159428/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=26744 CPUtime=1242.32 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 4202 0 0 0 124232 0 0 0 25 0 1 0 819993934 27385856 4028 33554432000 4194304 4933572 140733744054352 18446744073709551615 4711305 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 6686 4028 378 181 0 3695 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 26744
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 21578
/proc/meminfo: memFree=29159252/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=26744 CPUtime=1302.34 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 4202 0 0 0 130234 0 0 0 25 0 1 0 819993934 27385856 4028 33554432000 4194304 4933572 140733744054352 18446744073709551615 4632115 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 6686 4028 378 181 0 3695 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 26744
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 21579
/proc/meminfo: memFree=29160948/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=26876 CPUtime=1362.32 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 4222 0 0 0 136232 0 0 0 25 0 1 0 819993934 27521024 4048 33554432000 4194304 4933572 140733744054352 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 6719 4048 378 181 0 3728 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 26876
[startup+1422.32 s]
/proc/loadavg: 2.11 2.03 2.01 3/430 21581
/proc/meminfo: memFree=29160620/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=26988 CPUtime=1422.34 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 4242 0 0 0 142234 0 0 0 25 0 1 0 819993934 27635712 4068 33554432000 4194304 4933572 140733744054352 18446744073709551615 4428066 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 6747 4068 378 181 0 3756 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 26988
[startup+1482.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/430 21582
/proc/meminfo: memFree=29160192/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=27044 CPUtime=1482.33 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 4272 0 0 0 148233 0 0 0 25 0 1 0 819993934 27693056 4098 33554432000 4194304 4933572 140733744054352 18446744073709551615 4717573 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 6761 4098 378 181 0 3770 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 27044
[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/430 21584
/proc/meminfo: memFree=29160380/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=27044 CPUtime=1542.33 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 4272 0 0 0 154233 0 0 0 25 0 1 0 819993934 27693056 4098 33554432000 4194304 4933572 140733744054352 18446744073709551615 4637279 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 6761 4098 378 181 0 3770 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 27044
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/430 21586
/proc/meminfo: memFree=29160196/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=27044 CPUtime=1602.33 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 4272 0 0 0 160233 0 0 0 25 0 1 0 819993934 27693056 4098 33554432000 4194304 4933572 140733744054352 18446744073709551615 4649399 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 6761 4098 378 181 0 3770 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 27044
[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/430 21587
/proc/meminfo: memFree=29160020/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=27116 CPUtime=1662.33 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 4303 0 0 0 166233 0 0 0 25 0 1 0 819993934 27766784 4121 33554432000 4194304 4933572 140733744054352 18446744073709551615 4332754 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 6779 4121 378 181 0 3788 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 27116
[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/430 21589
/proc/meminfo: memFree=29159984/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=27116 CPUtime=1722.33 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 4303 0 0 0 172233 0 0 0 25 0 1 0 819993934 27766784 4121 33554432000 4194304 4933572 140733744054352 18446744073709551615 4428077 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 6779 4121 378 181 0 3788 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 27116
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/430 21590
/proc/meminfo: memFree=29158064/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=27116 CPUtime=1782.34 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 4304 0 0 0 178234 0 0 0 25 0 1 0 819993934 27766784 4122 33554432000 4194304 4933572 140733744054352 18446744073709551615 4637209 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 6779 4122 378 181 0 3788 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 27116
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.02 2.00 2/429 21592
/proc/meminfo: memFree=29173916/32951124 swapFree=43324008/67111528
[pid=21530] ppid=21528 vsize=27116 CPUtime=1800.05 cores=1,3,5,7
/proc/21530/stat : 21530 (clasp) R 21528 21530 15685 0 -1 4202496 4304 0 0 0 180005 0 0 0 25 0 1 0 819993934 27766784 4122 33554432000 4194304 4933572 140733744054352 18446744073709551615 4319434 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21530/statm: 6779 4122 378 181 0 3788 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 27116
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.02
CPU time (s): 1800.06
CPU user time (s): 1800.06
CPU system time (s): 0.005999
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 27172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.005999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4313
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= 6
involuntary context switches= 2954
runsolver used 6.98694 second user time and 17.5823 second system time
The end