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-3468584-1307077589/watcher-3468584-1307077589 -o /tmp/evaluation-result-3468584-1307077589/solver-3468584-1307077589 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468584-1307077589.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.96 2.28 3.01 3/437 921
/proc/meminfo: memFree=24811252/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=13188 CPUtime=0 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 735 0 0 0 0 0 0 0 22 0 1 0 800174517 13504512 632 33554432000 4194304 4933572 140735334027296 18446744073709551615 4319232 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 3297 632 362 181 0 306 0
[startup+0.0562001 s]
/proc/loadavg: 1.96 2.28 3.01 3/437 921
/proc/meminfo: memFree=24811252/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=13980 CPUtime=0.05 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 940 0 0 0 5 0 0 0 22 0 1 0 800174517 14315520 837 33554432000 4194304 4933572 140735334027296 18446744073709551615 4368201 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 3495 837 374 181 0 504 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13980
[startup+0.100185 s]
/proc/loadavg: 1.96 2.28 3.01 3/437 921
/proc/meminfo: memFree=24811252/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=14244 CPUtime=0.09 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 1027 0 0 0 9 0 0 0 22 0 1 0 800174517 14585856 924 33554432000 4194304 4933572 140735334027296 18446744073709551615 4719526 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 3561 924 374 181 0 570 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14244
[startup+0.300123 s]
/proc/loadavg: 1.96 2.28 3.01 3/437 921
/proc/meminfo: memFree=24811252/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=14928 CPUtime=0.29 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 1167 0 0 0 29 0 0 0 23 0 1 0 800174517 15286272 1064 33554432000 4194304 4933572 140735334027296 18446744073709551615 4319449 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 3732 1064 374 181 0 741 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14928
[startup+0.701045 s]
/proc/loadavg: 1.96 2.28 3.01 3/437 921
/proc/meminfo: memFree=24811252/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=15584 CPUtime=0.69 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 1352 0 0 0 69 0 0 0 25 0 1 0 800174517 15958016 1249 33554432000 4194304 4933572 140735334027296 18446744073709551615 4329879 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 3896 1249 375 181 0 905 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15584
[startup+1.50089 s]
/proc/loadavg: 1.96 2.27 3.01 3/438 950
/proc/meminfo: memFree=24805156/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=16244 CPUtime=1.49 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 1523 0 0 0 149 0 0 0 25 0 1 0 800174517 16633856 1420 33554432000 4194304 4933572 140735334027296 18446744073709551615 4340865 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 4061 1420 375 181 0 1070 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16244
[startup+3.10057 s]
/proc/loadavg: 1.96 2.27 3.01 3/438 950
/proc/meminfo: memFree=24801684/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=17168 CPUtime=3.09 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 1757 0 0 0 309 0 0 0 25 0 1 0 800174517 17580032 1654 33554432000 4194304 4933572 140735334027296 18446744073709551615 4340904 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 4292 1654 375 181 0 1301 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17168
[startup+6.30093 s]
/proc/loadavg: 1.96 2.27 3.01 3/438 1005
/proc/meminfo: memFree=24799688/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=18364 CPUtime=6.29 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 2042 0 0 0 629 0 0 0 25 0 1 0 800174517 18804736 1939 33554432000 4194304 4933572 140735334027296 18446744073709551615 4631924 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 4591 1939 375 181 0 1600 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18364
[startup+12.7007 s]
/proc/loadavg: 1.97 2.26 3.00 3/438 1006
/proc/meminfo: memFree=24795868/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=19536 CPUtime=12.69 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 2342 0 0 0 1269 0 0 0 25 0 1 0 800174517 20004864 2239 33554432000 4194304 4933572 140735334027296 18446744073709551615 4717622 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 4884 2239 375 181 0 1893 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19536
[startup+25.5001 s]
/proc/loadavg: 1.97 2.25 2.99 3/438 1006
/proc/meminfo: memFree=24793556/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=20580 CPUtime=25.49 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 2589 0 0 0 2549 0 0 0 25 0 1 0 800174517 21073920 2486 33554432000 4194304 4933572 140735334027296 18446744073709551615 4330830 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 5145 2486 375 181 0 2154 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20580
[startup+51.101 s]
/proc/loadavg: 1.98 2.23 2.96 3/438 1007
/proc/meminfo: memFree=24790680/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=22896 CPUtime=51.09 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 3236 0 0 0 5109 0 0 0 25 0 1 0 800174517 23445504 3071 33554432000 4194304 4933572 140735334027296 18446744073709551615 4340871 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 5724 3071 375 181 0 2733 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22896
[startup+102.316 s]
/proc/loadavg: 1.99 2.19 2.90 3/438 1008
/proc/meminfo: memFree=24787528/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=25096 CPUtime=102.31 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 3779 0 0 0 10231 0 0 0 25 0 1 0 800174517 25698304 3614 33554432000 4194304 4933572 140735334027296 18446744073709551615 4649427 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 6274 3614 375 181 0 3283 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 25096
[startup+162.301 s]
/proc/loadavg: 2.04 2.17 2.85 3/438 1010
/proc/meminfo: memFree=24784396/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=25764 CPUtime=162.3 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 4107 0 0 0 16230 0 0 0 25 0 1 0 800174517 26382336 3805 33554432000 4194304 4933572 140735334027296 18446744073709551615 4358533 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 6441 3805 375 181 0 3450 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 25764
[startup+222.301 s]
/proc/loadavg: 2.01 2.13 2.79 3/438 1011
/proc/meminfo: memFree=24784608/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=26460 CPUtime=222.3 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 4484 0 0 0 22230 0 0 0 25 0 1 0 800174517 27095040 3979 33554432000 4194304 4933572 140735334027296 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 6615 3979 375 181 0 3624 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 26460
[startup+282.3 s]
/proc/loadavg: 2.00 2.11 2.74 3/438 1013
/proc/meminfo: memFree=24783952/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=27384 CPUtime=282.3 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 4893 0 0 0 28230 0 0 0 25 0 1 0 800174517 28041216 4185 33554432000 4194304 4933572 140735334027296 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 6846 4185 375 181 0 3855 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 27384
[startup+342.3 s]
/proc/loadavg: 2.00 2.08 2.69 3/438 1014
/proc/meminfo: memFree=24781800/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=28224 CPUtime=342.3 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 5353 0 0 0 34230 0 0 0 25 0 1 0 800174517 28901376 4419 33554432000 4194304 4933572 140735334027296 18446744073709551615 4319360 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 7056 4419 375 181 0 4065 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 28224
[startup+402.3 s]
/proc/loadavg: 2.04 2.08 2.65 3/438 1016
/proc/meminfo: memFree=24782136/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=28720 CPUtime=402.3 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 5606 0 0 0 40230 0 0 0 25 0 1 0 800174517 29409280 4537 33554432000 4194304 4933572 140735334027296 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 7180 4537 375 181 0 4189 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 28720
[startup+462.3 s]
/proc/loadavg: 2.01 2.06 2.61 3/438 1018
/proc/meminfo: memFree=24780484/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=30168 CPUtime=462.32 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 6018 0 0 0 46231 1 0 0 25 0 1 0 800174517 30892032 4886 33554432000 4194304 4933572 140735334027296 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 7542 4886 375 181 0 4551 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 30168
[startup+522.301 s]
/proc/loadavg: 2.00 2.05 2.56 3/438 1019
/proc/meminfo: memFree=24780452/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=29780 CPUtime=522.32 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 6018 0 0 0 52231 1 0 0 25 0 1 0 800174517 30494720 4806 33554432000 4194304 4933572 140735334027296 18446744073709551615 4649590 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 7445 4806 375 181 0 4454 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 29780
[startup+582.301 s]
/proc/loadavg: 2.00 2.04 2.53 3/438 1021
/proc/meminfo: memFree=24779040/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=30328 CPUtime=582.32 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 6184 0 0 0 58231 1 0 0 25 0 1 0 800174517 31055872 4942 33554432000 4194304 4933572 140735334027296 18446744073709551615 4329744 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 7582 4942 375 181 0 4591 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 30328
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.03 2.41 3/438 1027
/proc/meminfo: memFree=24772604/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=33356 CPUtime=822.33 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 7564 0 0 0 82232 1 0 0 25 0 1 0 800174517 34156544 5698 33554432000 4194304 4933572 140735334027296 18446744073709551615 4657820 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 8339 5698 375 181 0 5348 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 33356
[startup+882.3 s]
/proc/loadavg: 2.13 2.05 2.39 3/438 1029
/proc/meminfo: memFree=24771456/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=33364 CPUtime=882.33 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 7643 0 0 0 88232 1 0 0 25 0 1 0 800174517 34164736 5681 33554432000 4194304 4933572 140735334027296 18446744073709551615 4632115 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 8341 5681 375 181 0 5350 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 33364
[startup+942.3 s]
/proc/loadavg: 2.05 2.04 2.36 3/438 1030
/proc/meminfo: memFree=24771296/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=33396 CPUtime=942.33 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 7723 0 0 0 94232 1 0 0 25 0 1 0 800174517 34197504 5707 33554432000 4194304 4933572 140735334027296 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 8349 5707 375 181 0 5358 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 33396
[startup+1002.3 s]
/proc/loadavg: 2.02 2.03 2.34 3/438 1032
/proc/meminfo: memFree=24771256/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=33420 CPUtime=1002.34 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 7840 0 0 0 100233 1 0 0 25 0 1 0 800174517 34222080 5714 33554432000 4194304 4933572 140735334027296 18446744073709551615 4649590 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 8355 5714 375 181 0 5364 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 33420
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.31 3/438 1034
/proc/meminfo: memFree=24771092/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=33712 CPUtime=1062.34 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 7996 0 0 0 106233 1 0 0 25 0 1 0 800174517 34521088 5776 33554432000 4194304 4933572 140735334027296 18446744073709551615 4717474 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 8428 5776 375 181 0 5437 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 33712
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.29 3/438 1038
/proc/meminfo: memFree=24769932/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=33880 CPUtime=1122.34 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 8313 0 0 0 112233 1 0 0 25 0 1 0 800174517 34693120 5830 33554432000 4194304 4933572 140735334027296 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 8470 5830 375 181 0 5479 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 33880
[startup+1182.3 s]
/proc/loadavg: 2.04 2.03 2.27 3/438 1040
/proc/meminfo: memFree=24769184/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=34176 CPUtime=1182.35 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 8450 0 0 0 118234 1 0 0 25 0 1 0 800174517 34996224 5904 33554432000 4194304 4933572 140735334027296 18446744073709551615 4330209 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 8544 5904 375 181 0 5553 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 34176
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.25 3/438 1041
/proc/meminfo: memFree=24768912/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=34176 CPUtime=1242.35 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 8590 0 0 0 124234 1 0 0 25 0 1 0 800174517 34996224 5904 33554432000 4194304 4933572 140735334027296 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 8544 5904 375 181 0 5553 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 34176
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.24 3/438 1043
/proc/meminfo: memFree=24767392/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=34176 CPUtime=1302.35 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 8672 0 0 0 130234 1 0 0 25 0 1 0 800174517 34996224 5904 33554432000 4194304 4933572 140735334027296 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 8544 5904 375 181 0 5553 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 34176
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.22 3/438 1045
/proc/meminfo: memFree=24767360/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=34420 CPUtime=1362.35 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 8864 0 0 0 136234 1 0 0 25 0 1 0 800174517 35246080 5934 33554432000 4194304 4933572 140735334027296 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 8605 5934 375 181 0 5614 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 34420
[startup+1422.32 s]
/proc/loadavg: 2.04 2.02 2.21 3/438 1046
/proc/meminfo: memFree=24768928/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=34856 CPUtime=1422.37 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 9063 0 0 0 142236 1 0 0 25 0 1 0 800174517 35692544 6054 33554432000 4194304 4933572 140735334027296 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 8714 6054 375 181 0 5723 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 34856
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.19 3/438 1048
/proc/meminfo: memFree=24769012/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=34952 CPUtime=1482.36 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 9126 0 0 0 148235 1 0 0 25 0 1 0 800174517 35790848 6086 33554432000 4194304 4933572 140735334027296 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 8738 6086 375 181 0 5747 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 34952
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.17 3/438 1049
/proc/meminfo: memFree=24769968/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=34996 CPUtime=1542.36 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 9284 0 0 0 154235 1 0 0 25 0 1 0 800174517 35835904 6109 33554432000 4194304 4933572 140735334027296 18446744073709551615 4319360 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 8749 6109 375 181 0 5758 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 34996
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.16 3/438 1051
/proc/meminfo: memFree=24768696/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=35304 CPUtime=1602.36 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 9395 0 0 0 160235 1 0 0 25 0 1 0 800174517 36151296 6172 33554432000 4194304 4933572 140735334027296 18446744073709551615 4319400 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 8826 6172 375 181 0 5835 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 35304
[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 2.16 3/438 1053
/proc/meminfo: memFree=24768176/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=35172 CPUtime=1662.37 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 9557 0 0 0 166236 1 0 0 25 0 1 0 800174517 36016128 6147 33554432000 4194304 4933572 140735334027296 18446744073709551615 4319463 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 8793 6147 375 181 0 5802 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 35172
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.14 3/438 1054
/proc/meminfo: memFree=24767284/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=35764 CPUtime=1722.37 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 9822 0 0 0 172236 1 0 0 25 0 1 0 800174517 36622336 6301 33554432000 4194304 4933572 140735334027296 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 8941 6301 375 181 0 5950 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 35764
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.13 3/438 1056
/proc/meminfo: memFree=24765628/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=35836 CPUtime=1782.37 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 9911 0 0 0 178236 1 0 0 25 0 1 0 800174517 36696064 6319 33554432000 4194304 4933572 140735334027296 18446744073709551615 4631942 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 8959 6319 375 181 0 5968 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 35836
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.13 3/438 1056
/proc/meminfo: memFree=24767104/32951124 swapFree=50923800/67111528
[pid=921] ppid=919 vsize=35836 CPUtime=1800.07 cores=1,3,5,7
/proc/921/stat : 921 (clasp) R 919 921 29572 0 -1 4202496 9911 0 0 0 180006 1 0 0 25 0 1 0 800174517 36696064 6319 33554432000 4194304 4933572 140735334027296 18446744073709551615 4637147 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/921/statm: 8959 6319 375 181 0 5968 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 35836
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.1
CPU user time (s): 1800.08
CPU system time (s): 0.019996
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 36264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.08
system time used= 0.019996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9923
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= 7
involuntary context switches= 2995
runsolver used 6.85096 second user time and 17.7183 second system time
The end