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-3468205-1307083669/watcher-3468205-1307083669 -o /tmp/evaluation-result-3468205-1307083669/solver-3468205-1307083669 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468205-1307083669.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.00 1.23 1.61 3/553 2818
/proc/meminfo: memFree=25086920/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=12572 CPUtime=0 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 569 0 0 0 0 0 0 0 20 0 1 0 819963943 12873728 502 33554432000 4194304 4933572 140734958542016 18446744073709551615 239476355781 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 3176 502 368 181 0 185 0
[startup+0.031108 s]
/proc/loadavg: 1.00 1.23 1.61 3/553 2818
/proc/meminfo: memFree=25086920/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=13364 CPUtime=0.02 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 750 0 0 0 2 0 0 0 20 0 1 0 819963943 13684736 683 33554432000 4194304 4933572 140734958542016 18446744073709551615 4717536 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 3341 683 377 181 0 350 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13364
[startup+0.101093 s]
/proc/loadavg: 1.00 1.23 1.61 3/553 2818
/proc/meminfo: memFree=25086920/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=14416 CPUtime=0.09 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 1034 0 0 0 9 0 0 0 20 0 1 0 819963943 14761984 967 33554432000 4194304 4933572 140734958542016 18446744073709551615 4717616 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 3604 967 378 181 0 613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14416
[startup+0.301064 s]
/proc/loadavg: 1.00 1.23 1.61 3/553 2818
/proc/meminfo: memFree=25086920/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=15072 CPUtime=0.29 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 1182 0 0 0 29 0 0 0 21 0 1 0 819963943 15433728 1115 33554432000 4194304 4933572 140734958542016 18446744073709551615 4717558 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 3768 1115 378 181 0 777 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15072
[startup+0.700998 s]
/proc/loadavg: 1.00 1.23 1.61 3/553 2818
/proc/meminfo: memFree=25086920/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=16668 CPUtime=0.69 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 1589 0 0 0 69 0 0 0 22 0 1 0 819963943 17068032 1522 33554432000 4194304 4933572 140734958542016 18446744073709551615 4360943 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 4167 1522 378 181 0 1176 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16668
[startup+1.50083 s]
/proc/loadavg: 1.00 1.23 1.61 4/555 2820
/proc/meminfo: memFree=25075628/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=17740 CPUtime=1.49 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 1842 0 0 0 149 0 0 0 25 0 1 0 819963943 18165760 1775 33554432000 4194304 4933572 140734958542016 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 4435 1775 378 181 0 1444 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17740
[startup+3.10052 s]
/proc/loadavg: 1.08 1.24 1.61 4/555 2820
/proc/meminfo: memFree=25071460/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=18400 CPUtime=3.09 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 2031 0 0 0 309 0 0 0 25 0 1 0 819963943 18841600 1964 33554432000 4194304 4933572 140734958542016 18446744073709551615 4360906 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 4600 1964 378 181 0 1609 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18400
[startup+6.30091 s]
/proc/loadavg: 1.08 1.24 1.61 4/555 2820
/proc/meminfo: memFree=25068188/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=19716 CPUtime=6.29 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 2340 0 0 0 629 0 0 0 25 0 1 0 819963943 20189184 2273 33554432000 4194304 4933572 140734958542016 18446744073709551615 4668724 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 4929 2273 378 181 0 1938 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19716
[startup+12.7007 s]
/proc/loadavg: 1.22 1.26 1.61 4/555 2821
/proc/meminfo: memFree=25063468/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=20776 CPUtime=12.69 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 2623 0 0 0 1269 0 0 0 25 0 1 0 819963943 21274624 2556 33554432000 4194304 4933572 140734958542016 18446744073709551615 4319394 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 5194 2556 378 181 0 2203 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20776
[startup+25.5002 s]
/proc/loadavg: 1.34 1.29 1.62 4/555 2821
/proc/meminfo: memFree=25062732/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=21456 CPUtime=25.49 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 2789 0 0 0 2549 0 0 0 25 0 1 0 819963943 21970944 2722 33554432000 4194304 4933572 140734958542016 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 5364 2722 378 181 0 2373 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21456
[startup+51.1003 s]
/proc/loadavg: 1.74 1.39 1.64 4/555 2822
/proc/meminfo: memFree=25061220/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=22496 CPUtime=51.1 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 3047 0 0 0 5109 1 0 0 25 0 1 0 819963943 23035904 2978 33554432000 4194304 4933572 140734958542016 18446744073709551615 4717627 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 5624 2978 378 181 0 2633 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 22496
[startup+102.322 s]
/proc/loadavg: 2.01 1.52 1.67 4/555 2823
/proc/meminfo: memFree=25058476/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=24032 CPUtime=102.32 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 3451 0 0 0 10231 1 0 0 25 0 1 0 819963943 24608768 3369 33554432000 4194304 4933572 140734958542016 18446744073709551615 4631912 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 6008 3369 378 181 0 3017 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 24032
[startup+162.301 s]
/proc/loadavg: 2.00 1.61 1.69 4/555 2825
/proc/meminfo: memFree=25053632/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=24808 CPUtime=162.3 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 3631 0 0 0 16229 1 0 0 25 0 1 0 819963943 25403392 3549 33554432000 4194304 4933572 140734958542016 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 6202 3549 378 181 0 3211 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 24808
[startup+222.301 s]
/proc/loadavg: 2.00 1.67 1.70 4/555 2826
/proc/meminfo: memFree=25055460/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=25576 CPUtime=222.3 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 3826 0 0 0 22229 1 0 0 25 0 1 0 819963943 26189824 3744 33554432000 4194304 4933572 140734958542016 18446744073709551615 4428077 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 6394 3744 378 181 0 3403 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 25576
[startup+282.301 s]
/proc/loadavg: 2.00 1.73 1.72 4/555 2836
/proc/meminfo: memFree=25055580/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=25932 CPUtime=282.3 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 3923 0 0 0 28229 1 0 0 25 0 1 0 819963943 26554368 3824 33554432000 4194304 4933572 140734958542016 18446744073709551615 4664026 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 6483 3824 378 181 0 3492 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 25932
[startup+342.301 s]
/proc/loadavg: 2.00 1.78 1.73 4/555 2837
/proc/meminfo: memFree=25054708/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=26284 CPUtime=342.3 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 4012 0 0 0 34229 1 0 0 25 0 1 0 819963943 26914816 3913 33554432000 4194304 4933572 140734958542016 18446744073709551615 4332797 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 6571 3913 378 181 0 3580 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 26284
[startup+402.301 s]
/proc/loadavg: 2.00 1.81 1.75 4/555 2839
/proc/meminfo: memFree=25054568/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=26444 CPUtime=402.31 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 4054 0 0 0 40230 1 0 0 25 0 1 0 819963943 27078656 3955 33554432000 4194304 4933572 140734958542016 18446744073709551615 4429177 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 6611 3955 378 181 0 3620 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 26444
[startup+462.301 s]
/proc/loadavg: 2.00 1.85 1.76 4/555 2841
/proc/meminfo: memFree=25054184/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=26544 CPUtime=462.31 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 4091 0 0 0 46230 1 0 0 25 0 1 0 819963943 27181056 3988 33554432000 4194304 4933572 140734958542016 18446744073709551615 4719448 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 6636 3988 378 181 0 3645 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 26544
[startup+522.301 s]
/proc/loadavg: 2.00 1.87 1.77 4/555 2842
/proc/meminfo: memFree=25053928/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=26864 CPUtime=522.31 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 4164 0 0 0 52230 1 0 0 25 0 1 0 819963943 27508736 4061 33554432000 4194304 4933572 140734958542016 18446744073709551615 4332744 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 6716 4061 378 181 0 3725 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 26864
[startup+582.301 s]
/proc/loadavg: 2.00 1.89 1.78 4/555 2844
/proc/meminfo: memFree=25053672/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=27088 CPUtime=582.31 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 4208 0 0 0 58230 1 0 0 25 0 1 0 819963943 27738112 4104 33554432000 4194304 4933572 140734958542016 18446744073709551615 4631761 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 6772 4104 378 181 0 3781 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 27088
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.01 1.97 1.83 4/555 2860
/proc/meminfo: memFree=25052596/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=27548 CPUtime=822.32 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 4325 0 0 0 82231 1 0 0 25 0 1 0 819963943 28209152 4212 33554432000 4194304 4933572 140734958542016 18446744073709551615 4637163 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 6887 4212 378 181 0 3896 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 27548
[startup+882.3 s]
/proc/loadavg: 2.00 1.97 1.84 4/555 2862
/proc/meminfo: memFree=25051468/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=27624 CPUtime=882.33 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 4350 0 0 0 88232 1 0 0 25 0 1 0 819963943 28286976 4237 33554432000 4194304 4933572 140734958542016 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 6906 4237 378 181 0 3915 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 27624
[startup+942.301 s]
/proc/loadavg: 2.00 1.97 1.85 4/555 2863
/proc/meminfo: memFree=25052448/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=27624 CPUtime=942.33 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 4361 0 0 0 94232 1 0 0 25 0 1 0 819963943 28286976 4248 33554432000 4194304 4933572 140734958542016 18446744073709551615 4428061 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 6906 4248 378 181 0 3915 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 27624
[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.85 4/555 2868
/proc/meminfo: memFree=25051164/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=27760 CPUtime=1002.33 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 4376 0 0 0 100232 1 0 0 25 0 1 0 819963943 28426240 4263 33554432000 4194304 4933572 140734958542016 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 6940 4263 378 181 0 3949 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 27760
[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.86 4/555 2870
/proc/meminfo: memFree=25051424/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=28152 CPUtime=1062.33 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 4478 0 0 0 106232 1 0 0 25 0 1 0 819963943 28827648 4365 33554432000 4194304 4933572 140734958542016 18446744073709551615 4717579 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 7038 4365 378 181 0 4047 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 28152
[startup+1122.3 s]
/proc/loadavg: 2.10 2.00 1.87 4/555 2871
/proc/meminfo: memFree=25051416/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=28152 CPUtime=1122.33 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 4485 0 0 0 112232 1 0 0 25 0 1 0 819963943 28827648 4372 33554432000 4194304 4933572 140734958542016 18446744073709551615 4319293 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 7038 4372 378 181 0 4047 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 28152
[startup+1182.3 s]
/proc/loadavg: 2.12 2.03 1.89 4/555 2873
/proc/meminfo: memFree=25050528/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=28264 CPUtime=1182.34 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 4501 0 0 0 118233 1 0 0 25 0 1 0 819963943 28942336 4388 33554432000 4194304 4933572 140734958542016 18446744073709551615 4632813 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 7066 4388 378 181 0 4075 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 28264
[startup+1242.3 s]
/proc/loadavg: 2.04 2.02 1.90 4/555 2874
/proc/meminfo: memFree=25048776/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=28300 CPUtime=1242.34 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 4522 0 0 0 124233 1 0 0 25 0 1 0 819963943 28979200 4409 33554432000 4194304 4933572 140734958542016 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 7075 4409 378 181 0 4084 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 28300
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 1.90 4/555 2876
/proc/meminfo: memFree=25048504/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=28300 CPUtime=1302.35 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 4532 0 0 0 130234 1 0 0 25 0 1 0 819963943 28979200 4415 33554432000 4194304 4933572 140734958542016 18446744073709551615 4637466 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 7075 4415 378 181 0 4084 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 28300
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.91 4/555 2878
/proc/meminfo: memFree=25048252/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=28376 CPUtime=1362.34 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 4545 0 0 0 136233 1 0 0 25 0 1 0 819963943 29057024 4428 33554432000 4194304 4933572 140734958542016 18446744073709551615 4635476 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 7094 4428 378 181 0 4103 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 28376
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 1.91 4/555 2880
/proc/meminfo: memFree=25048364/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=28376 CPUtime=1422.37 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 4545 0 0 0 142236 1 0 0 25 0 1 0 819963943 29057024 4428 33554432000 4194304 4933572 140734958542016 18446744073709551615 4341706 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 7094 4428 378 181 0 4103 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 28376
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/555 2882
/proc/meminfo: memFree=25048228/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=28376 CPUtime=1482.35 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 4547 0 0 0 148234 1 0 0 25 0 1 0 819963943 29057024 4430 33554432000 4194304 4933572 140734958542016 18446744073709551615 4331712 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 7094 4430 378 181 0 4103 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 28376
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/555 2883
/proc/meminfo: memFree=25049816/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=28412 CPUtime=1542.35 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 4574 0 0 0 154234 1 0 0 25 0 1 0 819963943 29093888 4443 33554432000 4194304 4933572 140734958542016 18446744073709551615 4330085 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 7103 4443 378 181 0 4112 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 28412
[startup+1602.3 s]
/proc/loadavg: 2.22 2.05 1.93 4/555 2885
/proc/meminfo: memFree=25049432/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=28528 CPUtime=1602.35 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 4600 0 0 0 160234 1 0 0 25 0 1 0 819963943 29212672 4469 33554432000 4194304 4933572 140734958542016 18446744073709551615 4717736 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 7132 4469 378 181 0 4141 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 28528
[startup+1662.3 s]
/proc/loadavg: 2.21 2.07 1.94 4/555 2887
/proc/meminfo: memFree=25049040/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=28640 CPUtime=1662.36 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 4620 0 0 0 166235 1 0 0 25 0 1 0 819963943 29327360 4489 33554432000 4194304 4933572 140734958542016 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 7160 4489 378 181 0 4169 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 28640
[startup+1722.3 s]
/proc/loadavg: 2.08 2.05 1.94 4/555 2888
/proc/meminfo: memFree=25049144/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=28640 CPUtime=1722.36 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 4624 0 0 0 172235 1 0 0 25 0 1 0 819963943 29327360 4493 33554432000 4194304 4933572 140734958542016 18446744073709551615 4340904 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 7160 4493 378 181 0 4169 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 28640
[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 1.94 4/555 2890
/proc/meminfo: memFree=25047636/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=28736 CPUtime=1782.36 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 4631 0 0 0 178235 1 0 0 25 0 1 0 819963943 29425664 4500 33554432000 4194304 4933572 140734958542016 18446744073709551615 4717548 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 7184 4500 378 181 0 4193 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 28736
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.04 1.94 4/555 2890
/proc/meminfo: memFree=25048996/32950928 swapFree=67056580/67111528
[pid=2818] ppid=2816 vsize=28736 CPUtime=1800.06 cores=1,3,5,7
/proc/2818/stat : 2818 (clasp) R 2816 2818 32386 0 -1 4202496 4631 0 0 0 180005 1 0 0 25 0 1 0 819963943 29425664 4500 33554432000 4194304 4933572 140734958542016 18446744073709551615 4313360 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2818/statm: 7184 4500 378 181 0 4193 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 28736
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.09
CPU user time (s): 1800.08
CPU system time (s): 0.016997
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 28772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.08
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= 4639
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= 2733
runsolver used 9.79651 second user time and 22.8915 second system time
The end