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-3468172-1307085471/watcher-3468172-1307085471 -o /tmp/evaluation-result-3468172-1307085471/solver-3468172-1307085471 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468172-1307085471.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.86 2.00 1.93 3/554 2950
/proc/meminfo: memFree=25055784/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/2950/stat : 2950 (runsolver) R 2948 2950 32386 0 -1 4202560 43 0 0 0 0 0 0 0 21 0 1 0 820144209 12079104 50 33554432000 4194304 5432328 140734262867856 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/2950/statm: 2949 50 31 303 0 2643 0
[startup+0.095688 s]
/proc/loadavg: 1.86 2.00 1.93 3/554 2950
/proc/meminfo: memFree=25055784/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=21944 CPUtime=0.08 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 3625 0 0 0 8 0 0 0 21 0 1 0 820144209 22470656 2743 33554432000 4194304 4933572 140735437407216 18446744073709551615 239476355781 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 5486 2744 332 181 0 2495 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21944
[startup+0.100677 s]
/proc/loadavg: 1.86 2.00 1.93 3/554 2950
/proc/meminfo: memFree=25055784/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=22340 CPUtime=0.08 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 3741 0 0 0 8 0 0 0 21 0 1 0 820144209 22876160 2859 33554432000 4194304 4933572 140735437407216 18446744073709551615 239476694784 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 5585 2861 332 181 0 2594 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22340
[startup+0.300638 s]
/proc/loadavg: 1.86 2.00 1.93 3/554 2950
/proc/meminfo: memFree=25055784/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=40444 CPUtime=0.28 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 10126 0 0 0 27 1 0 0 22 0 1 0 820144209 41414656 7318 33554432000 4194304 4933572 140735437407216 18446744073709551615 239476355781 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 10111 7318 332 181 0 7120 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 40444
[startup+0.700564 s]
/proc/loadavg: 1.86 2.00 1.93 3/554 2950
/proc/meminfo: memFree=25055784/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=55560 CPUtime=0.68 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 13985 0 0 0 66 2 0 0 23 0 1 0 820144209 56893440 11081 33554432000 4194304 4933572 140735437407216 18446744073709551615 4587844 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 13890 11081 349 181 0 10899 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 55560
[startup+1.50041 s]
/proc/loadavg: 1.86 2.00 1.93 3/555 2951
/proc/meminfo: memFree=25006444/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=55560 CPUtime=1.48 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 13985 0 0 0 146 2 0 0 25 0 1 0 820144209 56893440 11081 33554432000 4194304 4933572 140735437407216 18446744073709551615 4587830 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 13890 11081 349 181 0 10899 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 55560
[startup+3.1011 s]
/proc/loadavg: 1.86 2.00 1.93 3/555 2951
/proc/meminfo: memFree=24998272/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=50088 CPUtime=3.08 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 14082 0 0 0 306 2 0 0 25 0 1 0 820144209 51290112 9894 33554432000 4194304 4933572 140735437407216 18446744073709551615 4637168 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 12522 9894 381 181 0 9531 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 50088
[startup+6.30049 s]
/proc/loadavg: 1.87 2.00 1.93 3/555 2952
/proc/meminfo: memFree=24986864/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=69956 CPUtime=6.28 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 18863 0 0 0 625 3 0 0 25 0 1 0 820144209 71634944 14675 33554432000 4194304 4933572 140735437407216 18446744073709551615 4411008 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 17489 14675 381 181 0 14498 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 69956
[startup+12.7003 s]
/proc/loadavg: 1.88 2.00 1.93 3/555 2952
/proc/meminfo: memFree=24958212/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=84872 CPUtime=12.68 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 22755 0 0 0 1264 4 0 0 25 0 1 0 820144209 86908928 18567 33554432000 4194304 4933572 140735437407216 18446744073709551615 4318085 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 21218 18567 381 181 0 18227 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84872
[startup+25.5008 s]
/proc/loadavg: 1.91 2.00 1.93 3/555 2952
/proc/meminfo: memFree=24928244/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=112348 CPUtime=25.48 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 29173 0 0 0 2544 4 0 0 25 0 1 0 820144209 115044352 24985 33554432000 4194304 4933572 140735437407216 18446744073709551615 4632828 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 28087 24985 383 181 0 25096 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 112348
[startup+51.1009 s]
/proc/loadavg: 2.02 2.02 1.93 3/555 2953
/proc/meminfo: memFree=24890224/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=140100 CPUtime=51.08 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 36131 0 0 0 5103 5 0 0 25 0 1 0 820144209 143462400 31943 33554432000 4194304 4933572 140735437407216 18446744073709551615 4330240 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 35025 31943 383 181 0 32034 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 140100
[startup+102.321 s]
/proc/loadavg: 2.01 2.01 1.93 3/555 2954
/proc/meminfo: memFree=24844824/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=178212 CPUtime=102.3 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 45705 0 0 0 10224 6 0 0 25 0 1 0 820144209 182489088 41517 33554432000 4194304 4933572 140735437407216 18446744073709551615 4330209 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 44553 41517 383 181 0 41562 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 178212
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 1.93 3/555 2956
/proc/meminfo: memFree=24840972/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=178212 CPUtime=162.28 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 46045 0 0 0 16222 6 0 0 25 0 1 0 820144209 182489088 41857 33554432000 4194304 4933572 140735437407216 18446744073709551615 4342463 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 44553 41857 383 181 0 41562 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 178212
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/555 2957
/proc/meminfo: memFree=24828436/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=191544 CPUtime=222.29 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 49410 0 0 0 22222 7 0 0 25 0 1 0 820144209 196141056 45222 33554432000 4194304 4933572 140735437407216 18446744073709551615 4631976 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 47886 45222 383 181 0 44895 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 191544
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/555 2959
/proc/meminfo: memFree=24828176/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=193692 CPUtime=282.29 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 49932 0 0 0 28222 7 0 0 25 0 1 0 820144209 198340608 45744 33554432000 4194304 4933572 140735437407216 18446744073709551615 4632776 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 48423 45744 383 181 0 45432 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 193692
[startup+342.301 s]
/proc/loadavg: 2.16 2.03 1.94 3/555 2961
/proc/meminfo: memFree=24791456/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=229812 CPUtime=342.3 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 58956 0 0 0 34222 8 0 0 25 0 1 0 820144209 235327488 54768 33554432000 4194304 4933572 140735437407216 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 57453 54768 383 181 0 54462 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 229812
[startup+402.301 s]
/proc/loadavg: 2.13 2.04 1.95 3/555 2962
/proc/meminfo: memFree=24781992/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=239092 CPUtime=402.3 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 61283 0 0 0 40222 8 0 0 25 0 1 0 820144209 244830208 57095 33554432000 4194304 4933572 140735437407216 18446744073709551615 4631915 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 59773 57095 383 181 0 56782 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 239092
[startup+462.301 s]
/proc/loadavg: 2.05 2.03 1.95 3/555 2964
/proc/meminfo: memFree=24779016/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=242024 CPUtime=462.3 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 62024 0 0 0 46222 8 0 0 25 0 1 0 820144209 247832576 57836 33554432000 4194304 4933572 140735437407216 18446744073709551615 4648411 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 60506 57836 383 181 0 57515 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 242024
[startup+522.301 s]
/proc/loadavg: 2.13 2.05 1.96 3/555 2965
/proc/meminfo: memFree=24772800/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=242024 CPUtime=522.3 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 62024 0 0 0 52222 8 0 0 25 0 1 0 820144209 247832576 57836 33554432000 4194304 4933572 140735437407216 18446744073709551615 4319438 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 60506 57836 383 181 0 57515 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 242024
[startup+582.3 s]
/proc/loadavg: 2.10 2.06 1.96 3/555 2967
/proc/meminfo: memFree=24771792/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=242024 CPUtime=582.3 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 62024 0 0 0 58222 8 0 0 25 0 1 0 820144209 247832576 57836 33554432000 4194304 4933572 140735437407216 18446744073709551615 4360897 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 60506 57836 383 181 0 57515 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 242024
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/555 2973
/proc/meminfo: memFree=24613392/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=401788 CPUtime=822.31 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 101753 0 0 0 82218 13 0 0 25 0 1 0 820144209 411430912 97565 33554432000 4194304 4933572 140735437407216 18446744073709551615 4330310 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 100447 97565 383 181 0 97456 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 401788
[startup+882.301 s]
/proc/loadavg: 2.09 2.04 1.97 3/555 2975
/proc/meminfo: memFree=24574320/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=438692 CPUtime=882.31 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 110959 0 0 0 88217 14 0 0 25 0 1 0 820144209 449220608 106771 33554432000 4194304 4933572 140735437407216 18446744073709551615 4663983 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 109673 106771 383 181 0 106682 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 438692
[startup+942.3 s]
/proc/loadavg: 2.07 2.05 1.98 3/555 2976
/proc/meminfo: memFree=24575424/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=438692 CPUtime=942.31 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 110960 0 0 0 94217 14 0 0 25 0 1 0 820144209 449220608 106772 33554432000 4194304 4933572 140735437407216 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 109673 106772 383 181 0 106682 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 438692
[startup+1002.3 s]
/proc/loadavg: 2.02 2.04 1.98 3/555 2978
/proc/meminfo: memFree=24575908/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=438692 CPUtime=1002.32 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 110962 0 0 0 100218 14 0 0 25 0 1 0 820144209 449220608 106774 33554432000 4194304 4933572 140735437407216 18446744073709551615 4328697 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 109673 106774 383 181 0 106682 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 438692
[startup+1062.3 s]
/proc/loadavg: 2.23 2.09 2.00 3/555 2981
/proc/meminfo: memFree=24575408/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=438692 CPUtime=1062.32 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 110969 0 0 0 106218 14 0 0 25 0 1 0 820144209 449220608 106781 33554432000 4194304 4933572 140735437407216 18446744073709551615 4330263 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 109673 106781 383 181 0 106682 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 438692
[startup+1122.3 s]
/proc/loadavg: 2.08 2.07 2.00 3/555 2982
/proc/meminfo: memFree=24575020/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=438692 CPUtime=1122.32 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 110969 0 0 0 112218 14 0 0 25 0 1 0 820144209 449220608 106781 33554432000 4194304 4933572 140735437407216 18446744073709551615 4637187 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 109673 106781 383 181 0 106682 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 438692
[startup+1182.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/555 2984
/proc/meminfo: memFree=24574256/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=438692 CPUtime=1182.32 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 110969 0 0 0 118218 14 0 0 25 0 1 0 820144209 449220608 106781 33554432000 4194304 4933572 140735437407216 18446744073709551615 4360923 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 109673 106781 383 181 0 106682 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 438692
[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/555 2985
/proc/meminfo: memFree=24573244/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=438692 CPUtime=1242.33 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 110969 0 0 0 124219 14 0 0 25 0 1 0 820144209 449220608 106781 33554432000 4194304 4933572 140735437407216 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 109673 106781 383 181 0 106682 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 438692
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 2987
/proc/meminfo: memFree=24573848/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=438692 CPUtime=1302.33 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 110969 0 0 0 130219 14 0 0 25 0 1 0 820144209 449220608 106781 33554432000 4194304 4933572 140735437407216 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 109673 106781 383 181 0 106682 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 438692
[startup+1362.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/555 2989
/proc/meminfo: memFree=24573588/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=438692 CPUtime=1362.33 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 110969 0 0 0 136219 14 0 0 25 0 1 0 820144209 449220608 106781 33554432000 4194304 4933572 140735437407216 18446744073709551615 4330269 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 109673 106781 383 181 0 106682 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 438692
[startup+1422.32 s]
/proc/loadavg: 2.11 2.06 2.01 3/555 2990
/proc/meminfo: memFree=24574448/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=438692 CPUtime=1422.35 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 110969 0 0 0 142221 14 0 0 25 0 1 0 820144209 449220608 106781 33554432000 4194304 4933572 140735437407216 18446744073709551615 4631976 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 109673 106781 383 181 0 106682 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 438692
[startup+1482.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/555 2992
/proc/meminfo: memFree=24573696/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=438692 CPUtime=1482.34 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 110969 0 0 0 148220 14 0 0 25 0 1 0 820144209 449220608 106781 33554432000 4194304 4933572 140735437407216 18446744073709551615 4340826 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 109673 106781 383 181 0 106682 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 438692
[startup+1542.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/555 2994
/proc/meminfo: memFree=24575304/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=438692 CPUtime=1542.34 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 110970 0 0 0 154220 14 0 0 25 0 1 0 820144209 449220608 106782 33554432000 4194304 4933572 140735437407216 18446744073709551615 4330283 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 109673 106782 383 181 0 106682 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 438692
[startup+1602.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/555 2995
/proc/meminfo: memFree=24576028/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=438692 CPUtime=1602.34 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 110970 0 0 0 160220 14 0 0 25 0 1 0 820144209 449220608 106782 33554432000 4194304 4933572 140735437407216 18446744073709551615 4340852 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 109673 106782 383 181 0 106682 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 438692
[startup+1662.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/555 2997
/proc/meminfo: memFree=24574520/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=438692 CPUtime=1662.34 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 110970 0 0 0 166220 14 0 0 25 0 1 0 820144209 449220608 106782 33554432000 4194304 4933572 140735437407216 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 109673 106782 383 181 0 106682 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 438692
[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/555 2998
/proc/meminfo: memFree=24574384/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=438692 CPUtime=1722.35 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 110970 0 0 0 172221 14 0 0 25 0 1 0 820144209 449220608 106782 33554432000 4194304 4933572 140735437407216 18446744073709551615 4330209 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 109673 106782 383 181 0 106682 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 438692
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/555 3000
/proc/meminfo: memFree=24571896/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=438692 CPUtime=1782.35 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 110972 0 0 0 178221 14 0 0 25 0 1 0 820144209 449220608 106784 33554432000 4194304 4933572 140735437407216 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 109673 106784 383 181 0 106682 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 438692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.03 2.00 2/553 3001
/proc/meminfo: memFree=24632668/32950928 swapFree=67056580/67111528
[pid=2950] ppid=2948 vsize=438692 CPUtime=1800.05 cores=1,3,5,7
/proc/2950/stat : 2950 (clasp) R 2948 2950 32386 0 -1 4202496 110972 0 0 0 179991 14 0 0 25 0 1 0 820144209 449220608 106784 33554432000 4194304 4933572 140735437407216 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/2950/statm: 109673 106784 383 181 0 106682 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 438692
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.04
CPU time (s): 1800.1
CPU user time (s): 1799.93
CPU system time (s): 0.166974
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 438692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.166974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110985
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= 3001
runsolver used 9.24659 second user time and 23.5094 second system time
The end