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-3468851-1307106603/watcher-3468851-1307106603 -o /tmp/evaluation-result-3468851-1307106603/solver-3468851-1307106603 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468851-1307106603.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: 0.93 1.40 1.74 1/510 9370
/proc/meminfo: memFree=23240148/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=12440 CPUtime=0 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 535 0 0 0 0 0 0 0 22 0 1 0 900890955 12738560 473 33554432000 4194304 4933572 140734943949936 18446744073709551615 256415052485 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 3110 473 377 181 0 119 0
[startup+0.104368 s]
/proc/loadavg: 0.93 1.40 1.74 1/510 9370
/proc/meminfo: memFree=23240148/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=12968 CPUtime=0.1 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 676 0 0 0 10 0 0 0 22 0 1 0 900890955 13279232 614 33554432000 4194304 4933572 140734943949936 18446744073709551615 4632820 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 3242 614 385 181 0 251 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 12968
[startup+0.200317 s]
/proc/loadavg: 0.93 1.40 1.74 1/510 9370
/proc/meminfo: memFree=23240148/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=13232 CPUtime=0.19 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 738 0 0 0 19 0 0 0 23 0 1 0 900890955 13549568 676 33554432000 4194304 4933572 140734943949936 18446744073709551615 4658037 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 3308 676 385 181 0 317 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13232
[startup+0.300312 s]
/proc/loadavg: 0.93 1.40 1.74 1/510 9370
/proc/meminfo: memFree=23240148/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=13496 CPUtime=0.29 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 785 0 0 0 29 0 0 0 23 0 1 0 900890955 13819904 723 33554432000 4194304 4933572 140734943949936 18446744073709551615 4637301 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 3374 723 385 181 0 383 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13496
[startup+0.700231 s]
/proc/loadavg: 0.93 1.40 1.74 1/510 9370
/proc/meminfo: memFree=23240148/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=13896 CPUtime=0.69 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 882 0 0 0 69 0 0 0 25 0 1 0 900890955 14229504 820 33554432000 4194304 4933572 140734943949936 18446744073709551615 4428090 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 3474 820 385 181 0 483 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13896
[startup+1.50107 s]
/proc/loadavg: 0.93 1.40 1.74 3/516 9382
/proc/meminfo: memFree=23231276/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=14432 CPUtime=1.49 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 1018 0 0 0 149 0 0 0 25 0 1 0 900890955 14778368 956 33554432000 4194304 4933572 140734943949936 18446744073709551615 4428984 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 3608 956 385 181 0 617 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14432
[startup+3.10077 s]
/proc/loadavg: 0.93 1.40 1.74 3/516 9382
/proc/meminfo: memFree=23228796/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=15216 CPUtime=3.09 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 1218 0 0 0 309 0 0 0 25 0 1 0 900890955 15581184 1156 33554432000 4194304 4933572 140734943949936 18446744073709551615 4414979 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 3804 1156 385 181 0 813 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15216
[startup+6.30017 s]
/proc/loadavg: 1.02 1.41 1.74 3/516 9382
/proc/meminfo: memFree=23226652/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=15892 CPUtime=6.29 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 1381 0 0 0 629 0 0 0 25 0 1 0 900890955 16273408 1319 33554432000 4194304 4933572 140734943949936 18446744073709551615 4635412 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 3973 1319 385 181 0 982 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15892
[startup+12.701 s]
/proc/loadavg: 1.09 1.42 1.74 3/516 9382
/proc/meminfo: memFree=23223596/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=16716 CPUtime=12.69 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 1577 0 0 0 1269 0 0 0 25 0 1 0 900890955 17117184 1515 33554432000 4194304 4933572 140734943949936 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 4179 1515 385 181 0 1188 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16716
[startup+25.5005 s]
/proc/loadavg: 1.29 1.45 1.75 3/516 9383
/proc/meminfo: memFree=23221004/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=17416 CPUtime=25.49 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 1770 0 0 0 2549 0 0 0 25 0 1 0 900890955 17833984 1708 33554432000 4194304 4933572 140734943949936 18446744073709551615 4337317 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 4354 1708 385 181 0 1363 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17416
[startup+51.1007 s]
/proc/loadavg: 1.61 1.51 1.76 3/516 9383
/proc/meminfo: memFree=23218732/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=18272 CPUtime=51.09 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 1977 0 0 0 5109 0 0 0 25 0 1 0 900890955 18710528 1915 33554432000 4194304 4933572 140734943949936 18446744073709551615 4649405 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 4568 1915 385 181 0 1577 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 18272
[startup+102.301 s]
/proc/loadavg: 1.83 1.58 1.77 3/516 9385
/proc/meminfo: memFree=23213504/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=19284 CPUtime=102.3 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 2182 0 0 0 10230 0 0 0 25 0 1 0 900890955 19746816 2120 33554432000 4194304 4933572 140734943949936 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 4821 2120 385 181 0 1830 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 19284
[startup+162.301 s]
/proc/loadavg: 2.08 1.69 1.79 3/516 9386
/proc/meminfo: memFree=23210956/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=20152 CPUtime=162.3 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 2390 0 0 0 16230 0 0 0 25 0 1 0 900890955 20635648 2328 33554432000 4194304 4933572 140734943949936 18446744073709551615 4649427 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 5038 2328 385 181 0 2047 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 20152
[startup+222.319 s]
/proc/loadavg: 2.03 1.74 1.80 3/516 9388
/proc/meminfo: memFree=23210128/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=20700 CPUtime=222.32 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 2523 0 0 0 22232 0 0 0 25 0 1 0 900890955 21196800 2461 33554432000 4194304 4933572 140734943949936 18446744073709551615 4649399 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 5175 2461 385 181 0 2184 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 20700
[startup+282.301 s]
/proc/loadavg: 2.01 1.79 1.81 3/516 9389
/proc/meminfo: memFree=23208840/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=21380 CPUtime=282.3 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 2675 0 0 0 28230 0 0 0 25 0 1 0 900890955 21893120 2613 33554432000 4194304 4933572 140734943949936 18446744073709551615 4368941 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 5345 2613 385 181 0 2354 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 21380
[startup+342.301 s]
/proc/loadavg: 2.00 1.82 1.82 3/516 9391
/proc/meminfo: memFree=23208016/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=21720 CPUtime=342.3 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 2796 0 0 0 34230 0 0 0 25 0 1 0 900890955 22241280 2715 33554432000 4194304 4933572 140734943949936 18446744073709551615 4414924 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 5430 2715 385 181 0 2439 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 21720
[startup+402.3 s]
/proc/loadavg: 2.00 1.85 1.83 3/516 9393
/proc/meminfo: memFree=23207212/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=22160 CPUtime=402.3 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 2876 0 0 0 40230 0 0 0 25 0 1 0 900890955 22691840 2795 33554432000 4194304 4933572 140734943949936 18446744073709551615 4632893 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 5540 2795 385 181 0 2549 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 22160
[startup+462.301 s]
/proc/loadavg: 2.00 1.88 1.83 3/516 9394
/proc/meminfo: memFree=23206432/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=22448 CPUtime=462.31 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 2949 0 0 0 46231 0 0 0 25 0 1 0 900890955 22986752 2868 33554432000 4194304 4933572 140734943949936 18446744073709551615 4363248 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 5612 2868 385 181 0 2621 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 22448
[startup+522.3 s]
/proc/loadavg: 2.10 1.93 1.85 3/516 9396
/proc/meminfo: memFree=23206488/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=22596 CPUtime=522.31 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 2976 0 0 0 52231 0 0 0 25 0 1 0 900890955 23138304 2895 33554432000 4194304 4933572 140734943949936 18446744073709551615 4319323 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 5649 2895 385 181 0 2658 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 22596
[startup+582.301 s]
/proc/loadavg: 2.08 1.95 1.86 3/516 9397
/proc/meminfo: memFree=23205312/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=22748 CPUtime=582.31 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 3018 0 0 0 58231 0 0 0 25 0 1 0 900890955 23293952 2937 33554432000 4194304 4933572 140734943949936 18446744073709551615 4664576 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 5687 2937 385 181 0 2696 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 22748
[startup+642.301 s]
################
# More data... #
################
[startup+882.319 s]
/proc/loadavg: 2.01 2.00 1.91 3/516 9405
/proc/meminfo: memFree=23202836/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=23424 CPUtime=882.34 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 3165 0 0 0 88234 0 0 0 25 0 1 0 900890955 23986176 3084 33554432000 4194304 4933572 140734943949936 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 5856 3084 385 181 0 2865 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 23424
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/516 9407
/proc/meminfo: memFree=23203260/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=23424 CPUtime=942.32 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 3168 0 0 0 94232 0 0 0 25 0 1 0 900890955 23986176 3087 33554432000 4194304 4933572 140734943949936 18446744073709551615 4428616 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 5856 3087 385 181 0 2865 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 23424
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/516 9409
/proc/meminfo: memFree=23202816/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=23424 CPUtime=1002.33 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 3183 0 0 0 100233 0 0 0 25 0 1 0 900890955 23986176 3102 33554432000 4194304 4933572 140734943949936 18446744073709551615 4427998 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 5856 3102 385 181 0 2865 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 23424
[startup+1062.3 s]
/proc/loadavg: 2.15 2.03 1.92 3/516 9410
/proc/meminfo: memFree=23202748/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=23564 CPUtime=1062.33 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 3205 0 0 0 106233 0 0 0 25 0 1 0 900890955 24129536 3124 33554432000 4194304 4933572 140734943949936 18446744073709551615 4319481 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 5891 3124 385 181 0 2900 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 23564
[startup+1122.3 s]
/proc/loadavg: 2.12 2.04 1.93 3/516 9412
/proc/meminfo: memFree=23202436/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=23716 CPUtime=1122.33 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 3230 0 0 0 112233 0 0 0 25 0 1 0 900890955 24285184 3149 33554432000 4194304 4933572 140734943949936 18446744073709551615 4637172 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 5929 3149 385 181 0 2938 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 23716
[startup+1182.3 s]
/proc/loadavg: 2.17 2.06 1.94 3/516 9413
/proc/meminfo: memFree=23201008/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=23864 CPUtime=1182.33 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 3253 0 0 0 118233 0 0 0 25 0 1 0 900890955 24436736 3172 33554432000 4194304 4933572 140734943949936 18446744073709551615 4331700 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 5966 3172 385 181 0 2975 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 23864
[startup+1242.3 s]
/proc/loadavg: 2.12 2.06 1.94 3/516 9415
/proc/meminfo: memFree=23200048/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=23864 CPUtime=1242.34 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 3254 0 0 0 124234 0 0 0 25 0 1 0 900890955 24436736 3173 33554432000 4194304 4933572 140734943949936 18446744073709551615 4428066 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 5966 3173 385 181 0 2975 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 23864
[startup+1302.3 s]
/proc/loadavg: 2.04 2.05 1.94 3/516 9417
/proc/meminfo: memFree=23200344/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=24016 CPUtime=1302.34 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 3293 0 0 0 130234 0 0 0 25 0 1 0 900890955 24592384 3212 33554432000 4194304 4933572 140734943949936 18446744073709551615 4328069 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 6004 3212 385 181 0 3013 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 24016
[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 1.94 3/516 9418
/proc/meminfo: memFree=23200064/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=24016 CPUtime=1362.34 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 3293 0 0 0 136234 0 0 0 25 0 1 0 900890955 24592384 3212 33554432000 4194304 4933572 140734943949936 18446744073709551615 4319400 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 6004 3212 385 181 0 3013 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 24016
[startup+1422.3 s]
/proc/loadavg: 2.00 2.03 1.94 3/516 9420
/proc/meminfo: memFree=23200972/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=24164 CPUtime=1422.35 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 3317 0 0 0 142235 0 0 0 25 0 1 0 900890955 24743936 3236 33554432000 4194304 4933572 140734943949936 18446744073709551615 4649386 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 6041 3236 385 181 0 3050 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 24164
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/516 9421
/proc/meminfo: memFree=23199904/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=24164 CPUtime=1482.34 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 3340 0 0 0 148234 0 0 0 25 0 1 0 900890955 24743936 3259 33554432000 4194304 4933572 140734943949936 18446744073709551615 4624522 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 6041 3259 385 181 0 3050 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 24164
[startup+1542.32 s]
/proc/loadavg: 2.00 2.02 1.94 3/516 9423
/proc/meminfo: memFree=23200824/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=24164 CPUtime=1542.36 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 3341 0 0 0 154236 0 0 0 25 0 1 0 900890955 24743936 3260 33554432000 4194304 4933572 140734943949936 18446744073709551615 4331682 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 6041 3260 385 181 0 3050 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 24164
[startup+1602.3 s]
/proc/loadavg: 2.08 2.04 1.95 3/516 9425
/proc/meminfo: memFree=23200772/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=24316 CPUtime=1602.35 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 3350 0 0 0 160235 0 0 0 25 0 1 0 900890955 24899584 3269 33554432000 4194304 4933572 140734943949936 18446744073709551615 4330095 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 6079 3269 385 181 0 3088 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 24316
[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 1.96 3/516 9426
/proc/meminfo: memFree=23199844/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=24316 CPUtime=1662.35 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 3365 0 0 0 166235 0 0 0 25 0 1 0 900890955 24899584 3284 33554432000 4194304 4933572 140734943949936 18446744073709551615 4363216 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 6079 3284 385 181 0 3088 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 24316
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 1.96 3/516 9428
/proc/meminfo: memFree=23199560/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=24464 CPUtime=1722.35 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 3382 0 0 0 172235 0 0 0 25 0 1 0 900890955 25051136 3301 33554432000 4194304 4933572 140734943949936 18446744073709551615 4664515 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 6116 3301 385 181 0 3125 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 24464
[startup+1782.3 s]
/proc/loadavg: 2.07 2.05 1.97 3/516 9432
/proc/meminfo: memFree=23196728/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=24464 CPUtime=1782.36 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 3382 0 0 0 178236 0 0 0 25 0 1 0 900890955 25051136 3301 33554432000 4194304 4933572 140734943949936 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 6116 3301 385 181 0 3125 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 24464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.05 2.05 1.97 3/516 9433
/proc/meminfo: memFree=23198188/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=24464 CPUtime=1800.06 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 3382 0 0 0 180006 0 0 0 25 0 1 0 900890955 25051136 3301 33554432000 4194304 4933572 140734943949936 18446744073709551615 4664480 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 6116 3301 385 181 0 3125 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 24464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.05 2.05 1.97 3/516 9433
/proc/meminfo: memFree=23198188/32950928 swapFree=58671692/67111528
[pid=9370] ppid=9368 vsize=24464 CPUtime=1800.06 cores=1,3,5,7
/proc/9370/stat : 9370 (clasp) R 9368 9370 8237 0 -1 4202496 3382 0 0 0 180006 0 0 0 25 0 1 0 900890955 25051136 3301 33554432000 4194304 4933572 140734943949936 18446744073709551615 4664480 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9370/statm: 6116 3301 385 181 0 3125 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 24464
Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.09
CPU user time (s): 1800.08
CPU system time (s): 0.007998
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 24464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.08
system time used= 0.007998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3391
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= 9
involuntary context switches= 3085
runsolver used 8.80166 second user time and 20.6989 second system time
The end