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-3469406-1307096418/watcher-3469406-1307096418 -o /tmp/evaluation-result-3469406-1307096418/solver-3469406-1307096418 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469406-1307096418.opb --solu --heu=VSIDS
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.05 2.05 2.00 3/526 23837
/proc/meminfo: memFree=23041216/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=17136 CPUtime=0.01 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 1790 0 0 0 1 0 0 0 25 0 1 0 802057686 17547264 1582 33554432000 4194304 4933572 140737172473936 18446744073709551615 233510297344 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 4284 1583 318 181 0 1293 0
[startup+0.0393169 s]
/proc/loadavg: 2.05 2.05 2.00 3/526 23837
/proc/meminfo: memFree=23041216/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=18348 CPUtime=0.03 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 2313 0 0 0 3 0 0 0 25 0 1 0 802057686 18788352 1863 33554432000 4194304 4933572 140737172473936 18446744073709551615 4587825 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 4587 1863 342 181 0 1596 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18348
[startup+0.10033 s]
/proc/loadavg: 2.05 2.05 2.00 3/526 23837
/proc/meminfo: memFree=23041216/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=20168 CPUtime=0.09 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 3052 0 0 0 9 0 0 0 25 0 1 0 802057686 20652032 2377 33554432000 4194304 4933572 140737172473936 18446744073709551615 233509958341 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 5042 2378 373 181 0 2051 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20168
[startup+0.300294 s]
/proc/loadavg: 2.05 2.05 2.00 3/526 23837
/proc/meminfo: memFree=23041216/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=28752 CPUtime=0.29 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 5212 0 0 0 29 0 0 0 25 0 1 0 802057686 29442048 4537 33554432000 4194304 4933572 140737172473936 18446744073709551615 233509958341 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 7188 4537 373 181 0 4197 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28752
[startup+0.700229 s]
/proc/loadavg: 2.05 2.05 2.00 3/526 23837
/proc/meminfo: memFree=23041216/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=31932 CPUtime=0.69 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 6002 0 0 0 69 0 0 0 25 0 1 0 802057686 32698368 5327 33554432000 4194304 4933572 140737172473936 18446744073709551615 4319438 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 7983 5327 374 181 0 4992 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31932
[startup+1.50106 s]
/proc/loadavg: 2.05 2.05 2.00 3/527 23838
/proc/meminfo: memFree=23018536/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=35720 CPUtime=1.49 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 6914 0 0 0 149 0 0 0 25 0 1 0 802057686 36577280 6239 33554432000 4194304 4933572 140737172473936 18446744073709551615 4330746 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 8930 6239 374 181 0 5939 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35720
[startup+3.10077 s]
/proc/loadavg: 2.05 2.05 2.00 3/527 23838
/proc/meminfo: memFree=23013080/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=40220 CPUtime=3.09 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 8065 0 0 0 309 0 0 0 25 0 1 0 802057686 41185280 7390 33554432000 4194304 4933572 140737172473936 18446744073709551615 4637609 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 10055 7390 374 181 0 7064 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40220
[startup+6.30021 s]
/proc/loadavg: 2.04 2.05 2.00 3/527 23838
/proc/meminfo: memFree=23007004/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=46864 CPUtime=6.29 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 9700 0 0 0 629 0 0 0 25 0 1 0 802057686 47988736 9025 33554432000 4194304 4933572 140737172473936 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 11716 9025 374 181 0 8725 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46864
[startup+12.7011 s]
/proc/loadavg: 2.04 2.05 2.00 3/527 23839
/proc/meminfo: memFree=22999052/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=54652 CPUtime=12.69 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 11632 0 0 0 1268 1 0 0 25 0 1 0 802057686 55963648 10957 33554432000 4194304 4933572 140737172473936 18446744073709551615 4342591 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 13663 10957 374 181 0 10672 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54652
[startup+25.5008 s]
/proc/loadavg: 2.03 2.05 2.00 3/527 23867
/proc/meminfo: memFree=23023432/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=61220 CPUtime=25.49 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 13249 0 0 0 2548 1 0 0 25 0 1 0 802057686 62689280 12574 33554432000 4194304 4933572 140737172473936 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 15305 12574 374 181 0 12314 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61220
[startup+51.1012 s]
/proc/loadavg: 2.02 2.04 2.00 3/527 23868
/proc/meminfo: memFree=23007192/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=73656 CPUtime=51.09 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 16335 0 0 0 5108 1 0 0 25 0 1 0 802057686 75423744 15660 33554432000 4194304 4933572 140737172473936 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 18414 15660 374 181 0 15423 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 73656
[startup+102.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/527 23869
/proc/meminfo: memFree=22994264/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=82584 CPUtime=102.32 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 18594 0 0 0 10230 2 0 0 25 0 1 0 802057686 84566016 17919 33554432000 4194304 4933572 140737172473936 18446744073709551615 4330726 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 20646 17919 374 181 0 17655 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 82584
[startup+162.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/527 23871
/proc/meminfo: memFree=22983688/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=91196 CPUtime=162.3 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 20728 0 0 0 16228 2 0 0 25 0 1 0 802057686 93384704 20053 33554432000 4194304 4933572 140737172473936 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 22799 20053 374 181 0 19808 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 91196
[startup+222.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/527 23872
/proc/meminfo: memFree=22973484/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=99100 CPUtime=222.3 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 22751 0 0 0 22227 3 0 0 25 0 1 0 802057686 101478400 22076 33554432000 4194304 4933572 140737172473936 18446744073709551615 4362131 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 24775 22076 374 181 0 21784 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 99100
[startup+282.301 s]
/proc/loadavg: 2.09 2.06 2.01 3/527 23876
/proc/meminfo: memFree=22970824/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=100680 CPUtime=282.3 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 23104 0 0 0 28227 3 0 0 25 0 1 0 802057686 103096320 22429 33554432000 4194304 4933572 140737172473936 18446744073709551615 4341838 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 25170 22429 374 181 0 22179 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 100680
[startup+342.301 s]
/proc/loadavg: 2.03 2.05 2.00 3/527 23878
/proc/meminfo: memFree=22962788/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=108180 CPUtime=342.3 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 24978 0 0 0 34227 3 0 0 25 0 1 0 802057686 110776320 24303 33554432000 4194304 4933572 140737172473936 18446744073709551615 4637248 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 27045 24303 374 181 0 24054 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 108180
[startup+402.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/527 23880
/proc/meminfo: memFree=22961148/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=109500 CPUtime=402.3 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 25331 0 0 0 40227 3 0 0 25 0 1 0 802057686 112128000 24656 33554432000 4194304 4933572 140737172473936 18446744073709551615 4362038 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 27375 24656 374 181 0 24384 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 109500
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 23882
/proc/meminfo: memFree=22952672/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=116872 CPUtime=462.3 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 27167 0 0 0 46227 3 0 0 25 0 1 0 802057686 119676928 26492 33554432000 4194304 4933572 140737172473936 18446744073709551615 4341829 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 29218 26492 374 181 0 26227 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 116872
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 23883
/proc/meminfo: memFree=22949292/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=120136 CPUtime=522.31 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 27979 0 0 0 52227 4 0 0 25 0 1 0 802057686 123019264 27304 33554432000 4194304 4933572 140737172473936 18446744073709551615 4319312 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 30034 27304 374 181 0 27043 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 120136
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 23885
/proc/meminfo: memFree=22948876/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=120796 CPUtime=582.31 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 28142 0 0 0 58227 4 0 0 25 0 1 0 802057686 123695104 27467 33554432000 4194304 4933572 140737172473936 18446744073709551615 4319394 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 30199 27467 374 181 0 27208 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 120796
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.20 2.06 2.01 3/527 23891
/proc/meminfo: memFree=22937044/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=131404 CPUtime=822.31 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 30797 0 0 0 82227 4 0 0 25 0 1 0 802057686 134557696 30122 33554432000 4194304 4933572 140737172473936 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 32851 30122 374 181 0 29860 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 131404
[startup+882.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/527 23893
/proc/meminfo: memFree=22934888/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=133484 CPUtime=882.32 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 31259 0 0 0 88227 5 0 0 25 0 1 0 802057686 136687616 30584 33554432000 4194304 4933572 140737172473936 18446744073709551615 4632272 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 33371 30584 374 181 0 30380 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 133484
[startup+942.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/527 23894
/proc/meminfo: memFree=22934972/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=133484 CPUtime=942.32 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 31262 0 0 0 94227 5 0 0 25 0 1 0 802057686 136687616 30587 33554432000 4194304 4933572 140737172473936 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 33371 30587 374 181 0 30380 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 133484
[startup+1002.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/527 23896
/proc/meminfo: memFree=22934684/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=134012 CPUtime=1002.32 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 31427 0 0 0 100227 5 0 0 25 0 1 0 802057686 137228288 30752 33554432000 4194304 4933572 140737172473936 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 33503 30752 374 181 0 30512 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 134012
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 23898
/proc/meminfo: memFree=22934020/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=134992 CPUtime=1062.32 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 31619 0 0 0 106227 5 0 0 25 0 1 0 802057686 138231808 30944 33554432000 4194304 4933572 140737172473936 18446744073709551615 4341902 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 33748 30944 374 181 0 30757 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 134992
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 23899
/proc/meminfo: memFree=22933972/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=134992 CPUtime=1122.32 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 31642 0 0 0 112227 5 0 0 25 0 1 0 802057686 138231808 30967 33554432000 4194304 4933572 140737172473936 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 33748 30967 374 181 0 30757 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 134992
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 23901
/proc/meminfo: memFree=22924132/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=144520 CPUtime=1182.32 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 34039 0 0 0 118227 5 0 0 25 0 1 0 802057686 147988480 33364 33554432000 4194304 4933572 140737172473936 18446744073709551615 4362110 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 36130 33364 374 181 0 33139 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 144520
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/527 23902
/proc/meminfo: memFree=22921112/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=146112 CPUtime=1242.32 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 34418 0 0 0 124227 5 0 0 25 0 1 0 802057686 149618688 33743 33554432000 4194304 4933572 140737172473936 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 36528 33743 374 181 0 33537 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 146112
[startup+1302.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/527 23904
/proc/meminfo: memFree=22919832/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=147444 CPUtime=1302.34 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 34757 0 0 0 130229 5 0 0 25 0 1 0 802057686 150982656 34082 33554432000 4194304 4933572 140737172473936 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 36861 34082 374 181 0 33870 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 147444
[startup+1362.3 s]
/proc/loadavg: 2.15 2.06 2.02 3/527 23906
/proc/meminfo: memFree=22919280/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=148060 CPUtime=1362.33 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 34915 0 0 0 136228 5 0 0 25 0 1 0 802057686 151613440 34240 33554432000 4194304 4933572 140737172473936 18446744073709551615 4649396 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 37015 34240 374 181 0 34024 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 148060
[startup+1422.32 s]
/proc/loadavg: 2.09 2.06 2.02 3/527 23907
/proc/meminfo: memFree=22919612/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=148720 CPUtime=1422.35 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 35060 0 0 0 142230 5 0 0 25 0 1 0 802057686 152289280 34385 33554432000 4194304 4933572 140737172473936 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 37180 34385 374 181 0 34189 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 148720
[startup+1482.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/527 23909
/proc/meminfo: memFree=22918324/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=148984 CPUtime=1482.33 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 35161 0 0 0 148228 5 0 0 25 0 1 0 802057686 152559616 34486 33554432000 4194304 4933572 140737172473936 18446744073709551615 233509995106 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 37246 34486 374 181 0 34255 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 148984
[startup+1542.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/527 23910
/proc/meminfo: memFree=22919020/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=148984 CPUtime=1542.33 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 35164 0 0 0 154228 5 0 0 25 0 1 0 802057686 152559616 34489 33554432000 4194304 4933572 140737172473936 18446744073709551615 4649417 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 37246 34489 374 181 0 34255 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 148984
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 23912
/proc/meminfo: memFree=22918352/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=150436 CPUtime=1602.33 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 35510 0 0 0 160228 5 0 0 25 0 1 0 802057686 154046464 34835 33554432000 4194304 4933572 140737172473936 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 37609 34835 374 181 0 34618 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 150436
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 23914
/proc/meminfo: memFree=22918188/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=150832 CPUtime=1662.33 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 35623 0 0 0 166228 5 0 0 25 0 1 0 802057686 154451968 34948 33554432000 4194304 4933572 140737172473936 18446744073709551615 4330746 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 37708 34948 374 181 0 34717 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 150832
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 23915
/proc/meminfo: memFree=22918004/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=150832 CPUtime=1722.33 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 35623 0 0 0 172228 5 0 0 25 0 1 0 802057686 154451968 34948 33554432000 4194304 4933572 140737172473936 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 37708 34948 374 181 0 34717 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 150832
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 23917
/proc/meminfo: memFree=22915612/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=151756 CPUtime=1782.34 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 35841 0 0 0 178228 6 0 0 25 0 1 0 802057686 155398144 35166 33554432000 4194304 4933572 140737172473936 18446744073709551615 4637248 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 37939 35166 374 181 0 34948 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 151756
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 23917
/proc/meminfo: memFree=22905920/32951124 swapFree=64303760/67111528
[pid=23837] ppid=23835 vsize=160924 CPUtime=1800.05 cores=0,2,4,6
/proc/23837/stat : 23837 (clasp) R 23835 23837 23633 0 -1 4202496 38112 0 0 0 179999 6 0 0 25 0 1 0 802057686 164786176 37437 33554432000 4194304 4933572 140737172473936 18446744073709551615 4341829 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/23837/statm: 40231 37437 374 181 0 37240 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 160924
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.03
CPU time (s): 1800.08
CPU user time (s): 1800
CPU system time (s): 0.074988
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 160924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38123
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= 2875
runsolver used 10.1785 second user time and 20.9328 second system time
The end