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-3468259-1307091931/watcher-3468259-1307091931 -o /tmp/evaluation-result-3468259-1307091931/solver-3468259-1307091931 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468259-1307091931.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: 1.84 1.99 1.97 2/483 11950
/proc/meminfo: memFree=24928984/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=12864 CPUtime=0 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 658 0 0 0 0 0 0 0 25 0 1 0 899423748 13172736 581 33554432000 4194304 4933572 140736043417312 18446744073709551615 260905394048 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 3216 581 378 181 0 225 0
[startup+0.055168 s]
/proc/loadavg: 1.84 1.99 1.97 2/483 11950
/proc/meminfo: memFree=24928984/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=13648 CPUtime=0.05 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 836 0 0 0 5 0 0 0 25 0 1 0 899423748 13975552 759 33554432000 4194304 4933572 140736043417312 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 3412 759 384 181 0 421 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13648
[startup+0.100135 s]
/proc/loadavg: 1.84 1.99 1.97 2/483 11950
/proc/meminfo: memFree=24928984/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=14292 CPUtime=0.09 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 1008 0 0 0 9 0 0 0 25 0 1 0 899423748 14635008 931 33554432000 4194304 4933572 140736043417312 18446744073709551615 4428002 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 3573 931 385 181 0 582 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14292
[startup+0.300161 s]
/proc/loadavg: 1.84 1.99 1.97 2/483 11950
/proc/meminfo: memFree=24928984/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=15084 CPUtime=0.29 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 1212 0 0 0 29 0 0 0 25 0 1 0 899423748 15446016 1135 33554432000 4194304 4933572 140736043417312 18446744073709551615 4342518 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 3771 1135 385 181 0 780 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15084
[startup+0.701091 s]
/proc/loadavg: 1.84 1.99 1.97 2/483 11950
/proc/meminfo: memFree=24928984/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=16688 CPUtime=0.69 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 1604 0 0 0 69 0 0 0 25 0 1 0 899423748 17088512 1527 33554432000 4194304 4933572 140736043417312 18446744073709551615 4332744 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 4172 1527 385 181 0 1181 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16688
[startup+1.50095 s]
/proc/loadavg: 1.84 1.99 1.97 3/484 11951
/proc/meminfo: memFree=24923156/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=17216 CPUtime=1.49 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 1748 0 0 0 149 0 0 0 25 0 1 0 899423748 17629184 1671 33554432000 4194304 4933572 140736043417312 18446744073709551615 4632063 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 4304 1671 385 181 0 1313 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17216
[startup+3.10065 s]
/proc/loadavg: 1.86 1.99 1.97 3/484 11951
/proc/meminfo: memFree=24920428/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=19280 CPUtime=3.09 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 2253 0 0 0 309 0 0 0 25 0 1 0 899423748 19742720 2176 33554432000 4194304 4933572 140736043417312 18446744073709551615 4632956 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 4820 2176 385 181 0 1829 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19280
[startup+6.30106 s]
/proc/loadavg: 1.86 1.99 1.97 3/484 11952
/proc/meminfo: memFree=24918012/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=20408 CPUtime=6.29 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 2518 0 0 0 629 0 0 0 25 0 1 0 899423748 20897792 2441 33554432000 4194304 4933572 140736043417312 18446744073709551615 4632181 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 5102 2441 385 181 0 2111 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20408
[startup+12.7009 s]
/proc/loadavg: 1.88 1.99 1.97 3/484 11952
/proc/meminfo: memFree=24914356/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=22920 CPUtime=12.69 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 3152 0 0 0 1269 0 0 0 25 0 1 0 899423748 23470080 3075 33554432000 4194304 4933572 140736043417312 18446744073709551615 4427996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 5730 3075 385 181 0 2739 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22920
[startup+25.5006 s]
/proc/loadavg: 1.90 1.99 1.97 3/484 11952
/proc/meminfo: memFree=24911724/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=24660 CPUtime=25.49 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 3566 0 0 0 2549 0 0 0 25 0 1 0 899423748 25251840 3489 33554432000 4194304 4933572 140736043417312 18446744073709551615 4328714 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 6165 3489 385 181 0 3174 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24660
[startup+51.1008 s]
/proc/loadavg: 1.93 1.99 1.97 3/484 11953
/proc/meminfo: memFree=24909684/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=25904 CPUtime=51.09 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 3893 0 0 0 5109 0 0 0 25 0 1 0 899423748 26525696 3805 33554432000 4194304 4933572 140736043417312 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 6476 3805 385 181 0 3485 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 25904
[startup+102.317 s]
/proc/loadavg: 1.97 1.99 1.97 3/484 11954
/proc/meminfo: memFree=24905692/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=28100 CPUtime=102.31 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 4449 0 0 0 10231 0 0 0 25 0 1 0 899423748 28774400 4361 33554432000 4194304 4933572 140736043417312 18446744073709551615 4329847 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 7025 4361 385 181 0 4034 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 28100
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.97 3/484 11956
/proc/meminfo: memFree=24901340/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=29384 CPUtime=162.29 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 4836 0 0 0 16229 0 0 0 25 0 1 0 899423748 30089216 4679 33554432000 4194304 4933572 140736043417312 18446744073709551615 4340829 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 7346 4679 385 181 0 4355 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 29384
[startup+222.301 s]
/proc/loadavg: 1.99 1.99 1.97 3/484 11957
/proc/meminfo: memFree=24899464/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=30140 CPUtime=222.29 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 5045 0 0 0 22229 0 0 0 25 0 1 0 899423748 30863360 4860 33554432000 4194304 4933572 140736043417312 18446744073709551615 4663987 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 7535 4860 385 181 0 4544 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 30140
[startup+282.301 s]
/proc/loadavg: 2.07 2.02 1.98 3/484 11959
/proc/meminfo: memFree=24899304/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=31648 CPUtime=282.3 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 5425 0 0 0 28230 0 0 0 25 0 1 0 899423748 32407552 5240 33554432000 4194304 4933572 140736043417312 18446744073709551615 4635418 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 7912 5240 385 181 0 4921 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 31648
[startup+342.301 s]
/proc/loadavg: 2.02 2.01 1.98 3/484 11961
/proc/meminfo: memFree=24897064/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=32156 CPUtime=342.3 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 5602 0 0 0 34230 0 0 0 25 0 1 0 899423748 32927744 5366 33554432000 4194304 4933572 140736043417312 18446744073709551615 4663932 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 8039 5366 385 181 0 5048 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 32156
[startup+402.301 s]
/proc/loadavg: 2.01 2.01 1.98 3/484 11962
/proc/meminfo: memFree=24896768/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=32320 CPUtime=402.3 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 5656 0 0 0 40230 0 0 0 25 0 1 0 899423748 33095680 5420 33554432000 4194304 4933572 140736043417312 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 8080 5420 385 181 0 5089 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 32320
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/484 11964
/proc/meminfo: memFree=24896004/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=32888 CPUtime=462.3 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 5755 0 0 0 46230 0 0 0 25 0 1 0 899423748 33677312 5519 33554432000 4194304 4933572 140736043417312 18446744073709551615 4663917 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 8222 5519 385 181 0 5231 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 32888
[startup+522.301 s]
/proc/loadavg: 2.04 2.01 1.99 3/484 11965
/proc/meminfo: memFree=24895704/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=33036 CPUtime=522.3 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 5793 0 0 0 52230 0 0 0 25 0 1 0 899423748 33828864 5557 33554432000 4194304 4933572 140736043417312 18446744073709551615 4635396 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 8259 5557 385 181 0 5268 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 33036
[startup+582.301 s]
/proc/loadavg: 2.05 2.02 2.00 3/484 11967
/proc/meminfo: memFree=24894932/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=33188 CPUtime=582.3 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 5835 0 0 0 58230 0 0 0 25 0 1 0 899423748 33984512 5599 33554432000 4194304 4933572 140736043417312 18446744073709551615 4340868 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 8297 5599 385 181 0 5306 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 33188
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.09 2.04 2.00 3/484 11973
/proc/meminfo: memFree=24892428/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=34400 CPUtime=822.31 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 6181 0 0 0 82231 0 0 0 25 0 1 0 899423748 35225600 5911 33554432000 4194304 4933572 140736043417312 18446744073709551615 4663992 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 8600 5911 385 181 0 5609 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 34400
[startup+882.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/484 11975
/proc/meminfo: memFree=24890408/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=34844 CPUtime=882.31 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 6312 0 0 0 88231 0 0 0 25 0 1 0 899423748 35680256 6034 33554432000 4194304 4933572 140736043417312 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 8711 6034 385 181 0 5720 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 34844
[startup+942.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/484 11977
/proc/meminfo: memFree=24890764/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=35288 CPUtime=942.32 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 6412 0 0 0 94232 0 0 0 25 0 1 0 899423748 36134912 6134 33554432000 4194304 4933572 140736043417312 18446744073709551615 4340551 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 8822 6134 385 181 0 5831 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 35288
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 11978
/proc/meminfo: memFree=24890104/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=35340 CPUtime=1002.32 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 6420 0 0 0 100232 0 0 0 25 0 1 0 899423748 36188160 6142 33554432000 4194304 4933572 140736043417312 18446744073709551615 4340839 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 8835 6142 385 181 0 5844 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 35340
[startup+1062.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/484 11980
/proc/meminfo: memFree=24888468/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=35500 CPUtime=1062.32 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 6462 0 0 0 106232 0 0 0 25 0 1 0 899423748 36352000 6184 33554432000 4194304 4933572 140736043417312 18446744073709551615 4341626 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 8875 6184 385 181 0 5884 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 35500
[startup+1122.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/484 11981
/proc/meminfo: memFree=24888048/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=35632 CPUtime=1122.32 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 6477 0 0 0 112232 0 0 0 25 0 1 0 899423748 36487168 6199 33554432000 4194304 4933572 140736043417312 18446744073709551615 4427996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 8908 6199 385 181 0 5917 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 35632
[startup+1182.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/484 11983
/proc/meminfo: memFree=24886636/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=35632 CPUtime=1182.32 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 6493 0 0 0 118232 0 0 0 25 0 1 0 899423748 36487168 6215 33554432000 4194304 4933572 140736043417312 18446744073709551615 4363265 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 8908 6215 385 181 0 5917 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 35632
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/484 11985
/proc/meminfo: memFree=24886608/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=35632 CPUtime=1242.33 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 6493 0 0 0 124233 0 0 0 25 0 1 0 899423748 36487168 6215 33554432000 4194304 4933572 140736043417312 18446744073709551615 260905054747 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 8908 6215 385 181 0 5917 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 35632
[startup+1302.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/484 11986
/proc/meminfo: memFree=24884948/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=35632 CPUtime=1302.34 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 6493 0 0 0 130234 0 0 0 25 0 1 0 899423748 36487168 6215 33554432000 4194304 4933572 140736043417312 18446744073709551615 4635465 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 8908 6215 385 181 0 5917 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 35632
[startup+1362.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/484 11988
/proc/meminfo: memFree=24885920/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=35632 CPUtime=1362.33 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 6505 0 0 0 136233 0 0 0 25 0 1 0 899423748 36487168 6227 33554432000 4194304 4933572 140736043417312 18446744073709551615 4340900 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 8908 6227 385 181 0 5917 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 35632
[startup+1422.32 s]
/proc/loadavg: 2.04 2.04 2.00 3/484 11989
/proc/meminfo: memFree=24885268/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=35932 CPUtime=1422.35 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 6567 0 0 0 142235 0 0 0 25 0 1 0 899423748 36794368 6289 33554432000 4194304 4933572 140736043417312 18446744073709551615 4428090 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 8983 6289 385 181 0 5992 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 35932
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/484 11991
/proc/meminfo: memFree=24884232/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=35932 CPUtime=1482.33 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 6576 0 0 0 148233 0 0 0 25 0 1 0 899423748 36794368 6298 33554432000 4194304 4933572 140736043417312 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 8983 6298 385 181 0 5992 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 35932
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 11993
/proc/meminfo: memFree=24884572/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=36084 CPUtime=1542.33 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 6583 0 0 0 154233 0 0 0 25 0 1 0 899423748 36950016 6305 33554432000 4194304 4933572 140736043417312 18446744073709551615 4369125 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 9021 6305 385 181 0 6030 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 36084
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 11994
/proc/meminfo: memFree=24883660/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=36084 CPUtime=1602.34 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 6591 0 0 0 160234 0 0 0 25 0 1 0 899423748 36950016 6313 33554432000 4194304 4933572 140736043417312 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 9021 6313 385 181 0 6030 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 36084
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/484 11996
/proc/meminfo: memFree=24883768/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=36084 CPUtime=1662.34 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 6591 0 0 0 166234 0 0 0 25 0 1 0 899423748 36950016 6313 33554432000 4194304 4933572 140736043417312 18446744073709551615 4360876 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 9021 6313 385 181 0 6030 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 36084
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/484 11997
/proc/meminfo: memFree=24882868/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=36232 CPUtime=1722.34 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 6625 0 0 0 172234 0 0 0 25 0 1 0 899423748 37101568 6347 33554432000 4194304 4933572 140736043417312 18446744073709551615 4664536 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 9058 6347 385 181 0 6067 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 36232
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 11999
/proc/meminfo: memFree=24880464/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=36232 CPUtime=1782.34 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 6642 0 0 0 178234 0 0 0 25 0 1 0 899423748 37101568 6364 33554432000 4194304 4933572 140736043417312 18446744073709551615 4427996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 9058 6364 385 181 0 6067 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 36232
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 2/478 12017
/proc/meminfo: memFree=24908516/32950928 swapFree=61542356/67111528
[pid=11950] ppid=11948 vsize=36232 CPUtime=1800.05 cores=1,3,5,7
/proc/11950/stat : 11950 (clasp) R 11948 11950 2195 0 -1 4202496 6643 0 0 0 180005 0 0 0 25 0 1 0 899423748 37101568 6365 33554432000 4194304 4933572 140736043417312 18446744073709551615 4330068 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11950/statm: 9058 6365 385 181 0 6067 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 36232
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.08
CPU user time (s): 1800.06
CPU system time (s): 0.010998
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 36232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.010998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6651
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= 5
involuntary context switches= 3119
runsolver used 8.11077 second user time and 19.733 second system time
The end