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-3468740-1307092499/watcher-3468740-1307092499 -o /tmp/evaluation-result-3468740-1307092499/solver-3468740-1307092499 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468740-1307092499.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.00 2.02 2.00 3/424 23721
/proc/meminfo: memFree=25997128/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=12720 CPUtime=0 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 594 0 0 0 0 0 0 0 25 0 1 0 820848116 13025280 523 33554432000 4194304 4933572 140735574924496 18446744073709551615 246516494657 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 3180 523 377 181 0 189 0
[startup+0.0694769 s]
/proc/loadavg: 2.00 2.02 2.00 3/424 23721
/proc/meminfo: memFree=25997128/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=13512 CPUtime=0.06 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 823 0 0 0 6 0 0 0 25 0 1 0 820848116 13836288 752 33554432000 4194304 4933572 140735574924496 18446744073709551615 4340871 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 3378 752 384 181 0 387 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13512
[startup+0.100469 s]
/proc/loadavg: 2.00 2.02 2.00 3/424 23721
/proc/meminfo: memFree=25997128/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=13780 CPUtime=0.09 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 867 0 0 0 9 0 0 0 25 0 1 0 820848116 14110720 796 33554432000 4194304 4933572 140735574924496 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 3445 796 384 181 0 454 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13780
[startup+0.300472 s]
/proc/loadavg: 2.00 2.02 2.00 3/424 23721
/proc/meminfo: memFree=25997128/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=14440 CPUtime=0.29 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 1056 0 0 0 29 0 0 0 25 0 1 0 820848116 14786560 985 33554432000 4194304 4933572 140735574924496 18446744073709551615 4625196 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 3610 985 384 181 0 619 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14440
[startup+0.700388 s]
/proc/loadavg: 2.00 2.02 2.00 3/424 23721
/proc/meminfo: memFree=25997128/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=14836 CPUtime=0.69 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 1139 0 0 0 69 0 0 0 25 0 1 0 820848116 15192064 1068 33554432000 4194304 4933572 140735574924496 18446744073709551615 4631996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 3709 1068 384 181 0 718 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14836
[startup+1.50022 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 23722
/proc/meminfo: memFree=25993036/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=15628 CPUtime=1.49 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 1326 0 0 0 149 0 0 0 25 0 1 0 820848116 16003072 1255 33554432000 4194304 4933572 140735574924496 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 3907 1255 384 181 0 916 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15628
[startup+3.10096 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 23722
/proc/meminfo: memFree=25991672/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=16156 CPUtime=3.09 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 1481 0 0 0 309 0 0 0 25 0 1 0 820848116 16543744 1410 33554432000 4194304 4933572 140735574924496 18446744073709551615 4663992 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 4039 1410 384 181 0 1048 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16156
[startup+6.30038 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 23722
/proc/meminfo: memFree=25990276/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=17080 CPUtime=6.29 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 1700 0 0 0 629 0 0 0 25 0 1 0 820848116 17489920 1629 33554432000 4194304 4933572 140735574924496 18446744073709551615 4414938 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 4270 1629 385 181 0 1279 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17080
[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 23723
/proc/meminfo: memFree=25988060/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=18400 CPUtime=12.69 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 2028 0 0 0 1269 0 0 0 25 0 1 0 820848116 18841600 1957 33554432000 4194304 4933572 140735574924496 18446744073709551615 4625202 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 4600 1957 385 181 0 1609 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18400
[startup+25.5009 s]
/proc/loadavg: 2.00 2.01 2.00 3/425 23723
/proc/meminfo: memFree=25986424/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=20108 CPUtime=25.49 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 2458 0 0 0 2549 0 0 0 25 0 1 0 820848116 20590592 2387 33554432000 4194304 4933572 140735574924496 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 5027 2387 385 181 0 2036 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20108
[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 2.00 3/425 23724
/proc/meminfo: memFree=25985780/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=20492 CPUtime=51.09 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 2608 0 0 0 5109 0 0 0 25 0 1 0 820848116 20983808 2499 33554432000 4194304 4933572 140735574924496 18446744073709551615 4428053 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 5123 2499 385 181 0 2132 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 20492
[startup+102.316 s]
/proc/loadavg: 2.00 2.01 2.00 3/425 23725
/proc/meminfo: memFree=25985012/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=21348 CPUtime=102.3 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 2845 0 0 0 10230 0 0 0 25 0 1 0 820848116 21860352 2713 33554432000 4194304 4933572 140735574924496 18446744073709551615 4414924 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 5337 2713 385 181 0 2346 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 21348
[startup+162.301 s]
/proc/loadavg: 2.10 2.03 2.01 3/425 23727
/proc/meminfo: memFree=25983732/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=22588 CPUtime=162.29 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 3167 0 0 0 16229 0 0 0 25 0 1 0 820848116 23130112 3005 33554432000 4194304 4933572 140735574924496 18446744073709551615 4332779 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 5647 3005 385 181 0 2656 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 22588
[startup+222.301 s]
/proc/loadavg: 2.12 2.05 2.01 3/425 23728
/proc/meminfo: memFree=25982832/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=23472 CPUtime=222.3 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 3412 0 0 0 22229 1 0 0 25 0 1 0 820848116 24035328 3237 33554432000 4194304 4933572 140735574924496 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 5868 3237 385 181 0 2877 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 23472
[startup+282.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/425 23730
/proc/meminfo: memFree=25982420/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=23696 CPUtime=282.3 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 3445 0 0 0 28229 1 0 0 25 0 1 0 820848116 24264704 3270 33554432000 4194304 4933572 140735574924496 18446744073709551615 4332797 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 5924 3270 385 181 0 2933 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 23696
[startup+342.301 s]
/proc/loadavg: 2.24 2.10 2.03 3/425 23731
/proc/meminfo: memFree=25983000/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=24004 CPUtime=342.3 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 3535 0 0 0 34229 1 0 0 25 0 1 0 820848116 24580096 3360 33554432000 4194304 4933572 140735574924496 18446744073709551615 4340829 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 6001 3360 385 181 0 3010 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 24004
[startup+402.3 s]
/proc/loadavg: 2.09 2.08 2.02 3/425 23761
/proc/meminfo: memFree=25993980/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=24156 CPUtime=402.3 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 3566 0 0 0 40229 1 0 0 25 0 1 0 820848116 24735744 3391 33554432000 4194304 4933572 140735574924496 18446744073709551615 4332779 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 6039 3391 385 181 0 3048 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 24156
[startup+462.3 s]
/proc/loadavg: 2.03 2.07 2.01 3/425 23763
/proc/meminfo: memFree=25990584/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=25612 CPUtime=462.3 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 3910 0 0 0 46229 1 0 0 25 0 1 0 820848116 26226688 3735 33554432000 4194304 4933572 140735574924496 18446744073709551615 4332794 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 6403 3735 385 181 0 3412 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 25612
[startup+522.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/425 23764
/proc/meminfo: memFree=25989800/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=26208 CPUtime=522.31 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 4089 0 0 0 52230 1 0 0 25 0 1 0 820848116 26836992 3911 33554432000 4194304 4933572 140735574924496 18446744073709551615 4363392 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 6552 3911 385 181 0 3561 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 26208
[startup+582.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/425 23766
/proc/meminfo: memFree=25988008/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=26332 CPUtime=582.31 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 4120 0 0 0 58230 1 0 0 25 0 1 0 820848116 26963968 3942 33554432000 4194304 4933572 140735574924496 18446744073709551615 4330085 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 6583 3942 385 181 0 3592 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 26332
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/425 23826
/proc/meminfo: memFree=25989048/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=27276 CPUtime=822.31 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 4347 0 0 0 82230 1 0 0 25 0 1 0 820848116 27930624 4169 33554432000 4194304 4933572 140735574924496 18446744073709551615 4632072 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 6819 4169 385 181 0 3828 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 27276
[startup+882.301 s]
/proc/loadavg: 2.09 2.05 2.01 3/425 23828
/proc/meminfo: memFree=25988516/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=27424 CPUtime=882.32 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 4371 0 0 0 88231 1 0 0 25 0 1 0 820848116 28082176 4193 33554432000 4194304 4933572 140735574924496 18446744073709551615 4648398 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 6856 4193 385 181 0 3865 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 27424
[startup+942.301 s]
/proc/loadavg: 2.07 2.06 2.01 3/425 23829
/proc/meminfo: memFree=25987996/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=28464 CPUtime=942.32 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 4639 0 0 0 94231 1 0 0 25 0 1 0 820848116 29147136 4461 33554432000 4194304 4933572 140735574924496 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 7116 4461 385 181 0 4125 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 28464
[startup+1002.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/425 23831
/proc/meminfo: memFree=25987720/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=28588 CPUtime=1002.32 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 4690 0 0 0 100231 1 0 0 25 0 1 0 820848116 29274112 4497 33554432000 4194304 4933572 140735574924496 18446744073709551615 4637233 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 7147 4497 385 181 0 4156 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 28588
[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/425 23833
/proc/meminfo: memFree=25987312/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=28916 CPUtime=1062.32 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 4784 0 0 0 106231 1 0 0 25 0 1 0 820848116 29609984 4579 33554432000 4194304 4933572 140735574924496 18446744073709551615 4414938 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 7229 4579 385 181 0 4238 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 28916
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 23834
/proc/meminfo: memFree=25986152/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=28916 CPUtime=1122.32 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 4798 0 0 0 112231 1 0 0 25 0 1 0 820848116 29609984 4579 33554432000 4194304 4933572 140735574924496 18446744073709551615 4635463 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 7229 4579 385 181 0 4238 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 28916
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 23836
/proc/meminfo: memFree=25985236/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=29172 CPUtime=1182.32 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 4913 0 0 0 118231 1 0 0 25 0 1 0 820848116 29872128 4642 33554432000 4194304 4933572 140735574924496 18446744073709551615 4632181 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 7293 4642 385 181 0 4302 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 29172
[startup+1242.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/425 23837
/proc/meminfo: memFree=25984444/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=29324 CPUtime=1242.33 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 5060 0 0 0 124232 1 0 0 25 0 1 0 820848116 30027776 4679 33554432000 4194304 4933572 140735574924496 18446744073709551615 4637468 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 7331 4679 385 181 0 4340 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 29324
[startup+1302.3 s]
/proc/loadavg: 2.18 2.08 2.02 3/425 23839
/proc/meminfo: memFree=25983904/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=29324 CPUtime=1302.34 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 5060 0 0 0 130233 1 0 0 25 0 1 0 820848116 30027776 4679 33554432000 4194304 4933572 140735574924496 18446744073709551615 4631912 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 7331 4679 385 181 0 4340 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 29324
[startup+1362.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/425 23841
/proc/meminfo: memFree=25984120/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=29444 CPUtime=1362.33 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 5075 0 0 0 136232 1 0 0 25 0 1 0 820848116 30150656 4694 33554432000 4194304 4933572 140735574924496 18446744073709551615 4663994 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 7361 4694 385 181 0 4370 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 29444
[startup+1422.32 s]
/proc/loadavg: 2.18 2.09 2.02 3/425 23842
/proc/meminfo: memFree=25983708/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=29444 CPUtime=1422.35 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 5077 0 0 0 142234 1 0 0 25 0 1 0 820848116 30150656 4696 33554432000 4194304 4933572 140735574924496 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 7361 4696 385 181 0 4370 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 29444
[startup+1482.3 s]
/proc/loadavg: 2.06 2.07 2.02 3/425 23844
/proc/meminfo: memFree=25983300/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=29444 CPUtime=1482.33 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 5090 0 0 0 148232 1 0 0 25 0 1 0 820848116 30150656 4709 33554432000 4194304 4933572 140735574924496 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 7361 4709 385 181 0 4370 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 29444
[startup+1542.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/425 23845
/proc/meminfo: memFree=25983772/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=29444 CPUtime=1542.33 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 5094 0 0 0 154232 1 0 0 25 0 1 0 820848116 30150656 4713 33554432000 4194304 4933572 140735574924496 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 7361 4713 385 181 0 4370 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 29444
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/425 23847
/proc/meminfo: memFree=25983236/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=29820 CPUtime=1602.34 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 5177 0 0 0 160233 1 0 0 25 0 1 0 820848116 30535680 4796 33554432000 4194304 4933572 140735574924496 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 7455 4796 385 181 0 4464 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 29820
[startup+1662.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/425 23849
/proc/meminfo: memFree=25982696/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=30120 CPUtime=1662.34 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 5239 0 0 0 166233 1 0 0 25 0 1 0 820848116 30842880 4858 33554432000 4194304 4933572 140735574924496 18446744073709551615 4429165 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 7530 4858 385 181 0 4539 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 30120
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/425 23850
/proc/meminfo: memFree=25982628/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=30120 CPUtime=1722.34 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 5239 0 0 0 172233 1 0 0 25 0 1 0 820848116 30842880 4858 33554432000 4194304 4933572 140735574924496 18446744073709551615 4330095 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 7530 4858 385 181 0 4539 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 30120
[startup+1782.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/425 23852
/proc/meminfo: memFree=25981096/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=30120 CPUtime=1782.34 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 5240 0 0 0 178233 1 0 0 25 0 1 0 820848116 30842880 4859 33554432000 4194304 4933572 140735574924496 18446744073709551615 4664480 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 7530 4859 385 181 0 4539 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 30120
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.06 2.04 2.00 3/425 23852
/proc/meminfo: memFree=25981956/32951124 swapFree=44043512/67111528
[pid=23721] ppid=23719 vsize=30120 CPUtime=1800.05 cores=0,2,4,6
/proc/23721/stat : 23721 (clasp) R 23719 23721 19780 0 -1 4202496 5240 0 0 0 180004 1 0 0 25 0 1 0 820848116 30842880 4859 33554432000 4194304 4933572 140735574924496 18446744073709551615 4635702 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23721/statm: 7530 4859 385 181 0 4539 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 30120
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.07
CPU user time (s): 1800.05
CPU system time (s): 0.016997
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 30120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.016997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5248
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= 10
involuntary context switches= 4688
runsolver used 8.08077 second user time and 16.1405 second system time
The end