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-3468801-1307103702/watcher-3468801-1307103702 -o /tmp/evaluation-result-3468801-1307103702/solver-3468801-1307103702 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468801-1307103702.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 2/469 7111
/proc/meminfo: memFree=24039280/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=14396 CPUtime=0 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 1155 0 0 0 0 0 0 0 25 0 1 0 900600682 14741504 919 33554432000 4194304 4933572 140735961725840 18446744073709551615 252461609648 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 3599 919 360 181 0 608 0
[startup+0.0218771 s]
/proc/loadavg: 2.00 2.02 2.00 2/469 7111
/proc/meminfo: memFree=24039280/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=14976 CPUtime=0.02 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 1301 0 0 0 2 0 0 0 25 0 1 0 900600682 15335424 1065 33554432000 4194304 4933572 140735961725840 18446744073709551615 4319300 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 3744 1065 367 181 0 753 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14976
[startup+0.10087 s]
/proc/loadavg: 2.00 2.02 2.00 2/469 7111
/proc/meminfo: memFree=24039280/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=16428 CPUtime=0.1 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 1688 0 0 0 10 0 0 0 25 0 1 0 900600682 16822272 1452 33554432000 4194304 4933572 140735961725840 18446744073709551615 4340871 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 4107 1453 374 181 0 1116 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 16428
[startup+0.300847 s]
/proc/loadavg: 2.00 2.02 2.00 2/469 7111
/proc/meminfo: memFree=24039280/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=18276 CPUtime=0.29 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 2160 0 0 0 29 0 0 0 25 0 1 0 900600682 18714624 1924 33554432000 4194304 4933572 140735961725840 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 4569 1924 374 181 0 1578 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18276
[startup+0.700769 s]
/proc/loadavg: 2.00 2.02 2.00 2/469 7111
/proc/meminfo: memFree=24039280/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=19860 CPUtime=0.69 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 2550 0 0 0 69 0 0 0 25 0 1 0 900600682 20336640 2314 33554432000 4194304 4933572 140735961725840 18446744073709551615 4341573 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 4965 2315 374 181 0 1974 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19860
[startup+1.50062 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7112
/proc/meminfo: memFree=24028232/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=22624 CPUtime=1.49 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 3230 0 0 0 149 0 0 0 25 0 1 0 900600682 23166976 2994 33554432000 4194304 4933572 140735961725840 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 5656 2995 374 181 0 2665 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22624
[startup+3.1003 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7112
/proc/meminfo: memFree=24025752/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=25264 CPUtime=3.09 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 3895 0 0 0 309 0 0 0 25 0 1 0 900600682 25870336 3659 33554432000 4194304 4933572 140735961725840 18446744073709551615 4360892 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 6316 3659 374 181 0 3325 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25264
[startup+6.30072 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7112
/proc/meminfo: memFree=24023256/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=27316 CPUtime=6.29 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 4395 0 0 0 629 0 0 0 25 0 1 0 900600682 27971584 4159 33554432000 4194304 4933572 140735961725840 18446744073709551615 4319360 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 6829 4159 374 181 0 3838 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27316
[startup+12.7005 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7112
/proc/meminfo: memFree=24018932/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=29824 CPUtime=12.69 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 5008 0 0 0 1269 0 0 0 25 0 1 0 900600682 30539776 4772 33554432000 4194304 4933572 140735961725840 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 7456 4772 374 181 0 4465 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29824
[startup+25.5011 s]
/proc/loadavg: 2.00 2.02 2.00 2/468 7113
/proc/meminfo: memFree=24189452/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=33404 CPUtime=25.49 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 5927 0 0 0 2549 0 0 0 25 0 1 0 900600682 34205696 5691 33554432000 4194304 4933572 140735961725840 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 8351 5691 374 181 0 5360 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 33404
[startup+51.1004 s]
/proc/loadavg: 1.94 2.00 1.99 3/470 7141
/proc/meminfo: memFree=24179352/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=35524 CPUtime=51.09 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 6463 0 0 0 5109 0 0 0 25 0 1 0 900600682 36376576 6227 33554432000 4194304 4933572 140735961725840 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 8881 6227 374 181 0 5890 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 35524
[startup+102.317 s]
/proc/loadavg: 1.97 2.00 1.99 3/470 7142
/proc/meminfo: memFree=24167432/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=41772 CPUtime=102.31 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 7992 0 0 0 10231 0 0 0 25 0 1 0 900600682 42774528 7756 33554432000 4194304 4933572 140735961725840 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 10443 7756 374 181 0 7452 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 41772
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/470 7144
/proc/meminfo: memFree=24163568/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=43500 CPUtime=162.29 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 8494 0 0 0 16229 0 0 0 25 0 1 0 900600682 44544000 8188 33554432000 4194304 4933572 140735961725840 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 10875 8188 375 181 0 7884 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 43500
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/470 7146
/proc/meminfo: memFree=24155848/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=48984 CPUtime=222.3 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 9932 0 0 0 22230 0 0 0 25 0 1 0 900600682 50159616 9546 33554432000 4194304 4933572 140735961725840 18446744073709551615 4337717 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 12246 9546 375 181 0 9255 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 48984
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/470 7147
/proc/meminfo: memFree=24155200/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=48984 CPUtime=282.3 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 9935 0 0 0 28230 0 0 0 25 0 1 0 900600682 50159616 9549 33554432000 4194304 4933572 140735961725840 18446744073709551615 4358523 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 12246 9549 375 181 0 9255 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 48984
[startup+342.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/470 7149
/proc/meminfo: memFree=24151096/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=52548 CPUtime=342.3 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 10825 0 0 0 34230 0 0 0 25 0 1 0 900600682 53809152 10439 33554432000 4194304 4933572 140735961725840 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 13137 10439 375 181 0 10146 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 52548
[startup+402.301 s]
/proc/loadavg: 2.14 2.04 2.01 3/470 7150
/proc/meminfo: memFree=24147596/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=55196 CPUtime=402.3 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 11479 0 0 0 40230 0 0 0 25 0 1 0 900600682 56520704 11093 33554432000 4194304 4933572 140735961725840 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 13799 11093 375 181 0 10808 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 55196
[startup+462.301 s]
/proc/loadavg: 2.09 2.05 2.01 3/470 7152
/proc/meminfo: memFree=24145460/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=56384 CPUtime=462.3 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 11794 0 0 0 46230 0 0 0 25 0 1 0 900600682 57737216 11408 33554432000 4194304 4933572 140735961725840 18446744073709551615 4360912 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 14096 11408 375 181 0 11105 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 56384
[startup+522.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/470 7154
/proc/meminfo: memFree=24142344/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=59892 CPUtime=522.31 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 12663 0 0 0 52230 1 0 0 25 0 1 0 900600682 61329408 12277 33554432000 4194304 4933572 140735961725840 18446744073709551615 4649586 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 14973 12277 375 181 0 11982 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 59892
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/470 7155
/proc/meminfo: memFree=24142184/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=59892 CPUtime=582.31 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 12663 0 0 0 58230 1 0 0 25 0 1 0 900600682 61329408 12277 33554432000 4194304 4933572 140735961725840 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 14973 12277 375 181 0 11982 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 59892
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 7162
/proc/meminfo: memFree=24136512/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=63984 CPUtime=822.32 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 13824 0 0 0 82231 1 0 0 25 0 1 0 900600682 65519616 13282 33554432000 4194304 4933572 140735961725840 18446744073709551615 4340839 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 15996 13282 375 181 0 13005 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 63984
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 7163
/proc/meminfo: memFree=24135376/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=63740 CPUtime=882.32 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 14061 0 0 0 88231 1 0 0 25 0 1 0 900600682 65269760 13242 33554432000 4194304 4933572 140735961725840 18446744073709551615 4649396 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 15935 13242 375 181 0 12944 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 63740
[startup+942.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/470 7165
/proc/meminfo: memFree=24133856/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=64460 CPUtime=942.32 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 14661 0 0 0 94231 1 0 0 25 0 1 0 900600682 66007040 13422 33554432000 4194304 4933572 140735961725840 18446744073709551615 4342144 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 16115 13422 375 181 0 13124 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 64460
[startup+1002.3 s]
/proc/loadavg: 2.05 2.03 2.01 3/470 7166
/proc/meminfo: memFree=24133824/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=64460 CPUtime=1002.32 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 16454 0 0 0 100231 1 0 0 25 0 1 0 900600682 66007040 13422 33554432000 4194304 4933572 140735961725840 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 16115 13422 375 181 0 13124 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 64460
[startup+1062.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/470 7171
/proc/meminfo: memFree=24131800/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=67892 CPUtime=1062.32 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 17287 0 0 0 106231 1 0 0 25 0 1 0 900600682 69521408 14255 33554432000 4194304 4933572 140735961725840 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 16973 14255 375 181 0 13982 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 67892
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7173
/proc/meminfo: memFree=24131244/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=67496 CPUtime=1122.32 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 17287 0 0 0 112231 1 0 0 25 0 1 0 900600682 69115904 14186 33554432000 4194304 4933572 140735961725840 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 16874 14186 375 181 0 13883 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 67496
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 7174
/proc/meminfo: memFree=24126160/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=71324 CPUtime=1182.33 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 18228 0 0 0 118232 1 0 0 25 0 1 0 900600682 73035776 15127 33554432000 4194304 4933572 140735961725840 18446744073709551615 4664059 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 17831 15127 377 181 0 14840 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 71324
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 7176
/proc/meminfo: memFree=24125900/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=71324 CPUtime=1242.33 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 18228 0 0 0 124232 1 0 0 25 0 1 0 900600682 73035776 15127 33554432000 4194304 4933572 140735961725840 18446744073709551615 4330269 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 17831 15127 377 181 0 14840 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 71324
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 7177
/proc/meminfo: memFree=24126004/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=71324 CPUtime=1302.34 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 18229 0 0 0 130233 1 0 0 25 0 1 0 900600682 73035776 15128 33554432000 4194304 4933572 140735961725840 18446744073709551615 4631780 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 17831 15128 377 181 0 14840 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 71324
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 7179
/proc/meminfo: memFree=24122648/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=73128 CPUtime=1362.34 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 18953 0 0 0 136232 2 0 0 25 0 1 0 900600682 74883072 15600 33554432000 4194304 4933572 140735961725840 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 18282 15600 377 181 0 15291 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 73128
[startup+1422.32 s]
/proc/loadavg: 2.12 2.03 2.01 3/470 7181
/proc/meminfo: memFree=24123744/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=73128 CPUtime=1422.36 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 18953 0 0 0 142234 2 0 0 25 0 1 0 900600682 74883072 15600 33554432000 4194304 4933572 140735961725840 18446744073709551615 4330258 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 18282 15600 377 181 0 15291 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 73128
[startup+1482.3 s]
/proc/loadavg: 2.25 2.08 2.02 3/470 7182
/proc/meminfo: memFree=24122980/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=73128 CPUtime=1482.34 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 18953 0 0 0 148232 2 0 0 25 0 1 0 900600682 74883072 15600 33554432000 4194304 4933572 140735961725840 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 18282 15600 377 181 0 15291 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 73128
[startup+1542.3 s]
/proc/loadavg: 2.09 2.06 2.02 3/470 7184
/proc/meminfo: memFree=24124568/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=72848 CPUtime=1542.35 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 18999 0 0 0 154233 2 0 0 25 0 1 0 900600682 74596352 15530 33554432000 4194304 4933572 140735961725840 18446744073709551615 4635412 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 18212 15530 377 181 0 15221 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 72848
[startup+1602.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/470 7185
/proc/meminfo: memFree=24123564/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=74432 CPUtime=1602.35 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 19370 0 0 0 160233 2 0 0 25 0 1 0 900600682 76218368 15901 33554432000 4194304 4933572 140735961725840 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 18608 15901 377 181 0 15617 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 74432
[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/470 7187
/proc/meminfo: memFree=24123656/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=74432 CPUtime=1662.35 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 19370 0 0 0 166233 2 0 0 25 0 1 0 900600682 76218368 15901 33554432000 4194304 4933572 140735961725840 18446744073709551615 4632828 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 18608 15901 377 181 0 15617 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 74432
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/470 7189
/proc/meminfo: memFree=24122272/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=75620 CPUtime=1722.35 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 20029 0 0 0 172233 2 0 0 25 0 1 0 900600682 77434880 16222 33554432000 4194304 4933572 140735961725840 18446744073709551615 4360959 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 18905 16222 377 181 0 15914 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 75620
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7190
/proc/meminfo: memFree=24122244/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=73628 CPUtime=1782.35 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 20054 0 0 0 178233 2 0 0 25 0 1 0 900600682 75395072 15717 33554432000 4194304 4933572 140735961725840 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 18407 15717 377 181 0 15416 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 73628
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7191
/proc/meminfo: memFree=24115164/32951124 swapFree=56297244/67111528
[pid=7111] ppid=7109 vsize=80808 CPUtime=1800.05 cores=0,2,4,6
/proc/7111/stat : 7111 (clasp) R 7109 7111 6224 0 -1 4202496 21604 0 0 0 180003 2 0 0 25 0 1 0 900600682 82747392 17267 33554432000 4194304 4933572 140735961725840 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7111/statm: 20202 17267 377 181 0 17211 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 80808
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.08
CPU user time (s): 1800.05
CPU system time (s): 0.032994
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 80808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.032994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21616
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= 2734
runsolver used 8.84566 second user time and 17.5623 second system time
The end