runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3491897-1307894550/watcher-3491897-1307894550 -o /tmp/evaluation-result-3491897-1307894550/solver-3491897-1307894550 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491897-1307894550.opb --solu --heu=VSIDS
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.00 0.26 0.94 2/176 8910
/proc/meminfo: memFree=2920660/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=6764 CPUtime=0 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 1483 0 0 0 0 0 0 0 25 0 1 0 901052776 6926336 1288 33554432000 4194304 6245536 140736447976176 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 1691 1288 179 501 0 1187 0
[startup+0.0577959 s]
/proc/loadavg: 0.00 0.26 0.94 2/176 8910
/proc/meminfo: memFree=2920660/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=8352 CPUtime=0.05 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 2414 0 0 0 5 0 0 0 25 0 1 0 901052776 8552448 1752 33554432000 4194304 6245536 140736447976176 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 2088 1752 221 501 0 1584 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 8352
[startup+0.100785 s]
/proc/loadavg: 0.00 0.26 0.94 2/176 8910
/proc/meminfo: memFree=2920660/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=10332 CPUtime=0.09 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 2921 0 0 0 9 0 0 0 25 0 1 0 901052776 10579968 2259 33554432000 4194304 6245536 140736447976176 18446744073709551615 4325151 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 2583 2260 227 501 0 2079 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10332
[startup+0.300752 s]
/proc/loadavg: 0.00 0.26 0.94 2/176 8910
/proc/meminfo: memFree=2920660/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=19108 CPUtime=0.29 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 5094 0 0 0 29 0 0 0 25 0 1 0 901052776 19566592 4432 33554432000 4194304 6245536 140736447976176 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 4777 4433 227 501 0 4273 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19108
[startup+0.700688 s]
/proc/loadavg: 0.00 0.26 0.94 2/176 8910
/proc/meminfo: memFree=2920660/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=22076 CPUtime=0.69 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 5826 0 0 0 69 0 0 0 25 0 1 0 901052776 22605824 5164 33554432000 4194304 6245536 140736447976176 18446744073709551615 4629222 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 5519 5164 229 501 0 5015 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22076
[startup+1.50053 s]
/proc/loadavg: 0.00 0.26 0.94 3/178 8912
/proc/meminfo: memFree=2896264/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=25736 CPUtime=1.49 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 6732 0 0 0 149 0 0 0 25 0 1 0 901052776 26353664 6070 33554432000 4194304 6245536 140736447976176 18446744073709551615 4317334 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 6434 6070 229 501 0 5930 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25736
[startup+3.10024 s]
/proc/loadavg: 0.00 0.26 0.94 3/178 8912
/proc/meminfo: memFree=2890576/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=30244 CPUtime=3.09 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 7892 0 0 0 309 0 0 0 25 0 1 0 901052776 30969856 7230 33554432000 4194304 6245536 140736447976176 18446744073709551615 4324247 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 7561 7230 229 501 0 7057 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30244
[startup+6.30065 s]
/proc/loadavg: 0.16 0.29 0.95 3/178 8912
/proc/meminfo: memFree=2883508/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=36748 CPUtime=6.3 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 9508 0 0 0 629 1 0 0 25 0 1 0 901052776 37629952 8846 33554432000 4194304 6245536 140736447976176 18446744073709551615 4304735 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 9187 8846 229 501 0 8683 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 36748
[startup+12.7005 s]
/proc/loadavg: 0.31 0.32 0.95 3/178 8912
/proc/meminfo: memFree=2874472/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=44776 CPUtime=12.69 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 11469 0 0 0 1268 1 0 0 25 0 1 0 901052776 45850624 10807 33554432000 4194304 6245536 140736447976176 18446744073709551615 4646490 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 11194 10807 229 501 0 10690 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44776
[startup+25.5002 s]
/proc/loadavg: 0.68 0.40 0.97 3/178 8912
/proc/meminfo: memFree=2864324/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=51276 CPUtime=25.49 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 13079 0 0 0 2548 1 0 0 25 0 1 0 901052776 52506624 12417 33554432000 4194304 6245536 140736447976176 18446744073709551615 4646512 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 12819 12417 229 501 0 12315 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 51276
[startup+51.1005 s]
/proc/loadavg: 1.13 0.53 1.00 3/178 8913
/proc/meminfo: memFree=2849952/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=63772 CPUtime=51.09 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 16184 0 0 0 5107 2 0 0 25 0 1 0 901052776 65302528 15522 33554432000 4194304 6245536 140736447976176 18446744073709551615 4605213 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 15943 15522 229 501 0 15439 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 63772
[startup+102.306 s]
/proc/loadavg: 1.62 0.75 1.05 4/178 8914
/proc/meminfo: memFree=2839132/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=72632 CPUtime=102.3 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 18406 0 0 0 10227 3 0 0 25 0 1 0 901052776 74375168 17744 33554432000 4194304 6245536 140736447976176 18446744073709551615 4344660 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 18158 17744 229 501 0 17654 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 72632
[startup+162.3 s]
/proc/loadavg: 1.86 0.98 1.10 3/178 8919
/proc/meminfo: memFree=2828484/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=81244 CPUtime=162.29 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 20547 0 0 0 16226 3 0 0 25 0 1 0 901052776 83193856 19885 33554432000 4194304 6245536 140736447976176 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 20311 19885 229 501 0 19807 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 81244
[startup+222.3 s]
/proc/loadavg: 1.95 1.16 1.16 3/178 8921
/proc/meminfo: memFree=2818644/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=89632 CPUtime=222.3 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 22682 0 0 0 22226 4 0 0 25 0 1 0 901052776 91783168 22020 33554432000 4194304 6245536 140736447976176 18446744073709551615 4635135 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 22408 22020 229 501 0 21904 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 89632
[startup+282.3 s]
/proc/loadavg: 1.98 1.31 1.21 3/178 8922
/proc/meminfo: memFree=2816260/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=90424 CPUtime=282.3 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 22879 0 0 0 28226 4 0 0 25 0 1 0 901052776 92594176 22217 33554432000 4194304 6245536 140736447976176 18446744073709551615 4628998 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 22606 22217 229 501 0 22102 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 90424
[startup+342.3 s]
/proc/loadavg: 1.99 1.43 1.25 3/178 8924
/proc/meminfo: memFree=2807912/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=98204 CPUtime=342.3 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 24817 0 0 0 34226 4 0 0 25 0 1 0 901052776 100560896 24155 33554432000 4194304 6245536 140736447976176 18446744073709551615 4304805 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 24551 24155 229 501 0 24047 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 98204
[startup+402.3 s]
/proc/loadavg: 1.99 1.53 1.30 3/178 8925
/proc/meminfo: memFree=2806148/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=99656 CPUtime=402.3 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 25154 0 0 0 40226 4 0 0 25 0 1 0 901052776 102047744 24492 33554432000 4194304 6245536 140736447976176 18446744073709551615 4304834 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 24914 24492 229 501 0 24410 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 99656
[startup+462.3 s]
/proc/loadavg: 1.99 1.62 1.34 3/178 8927
/proc/meminfo: memFree=2797440/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=107452 CPUtime=462.3 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 27114 0 0 0 46226 4 0 0 25 0 1 0 901052776 110030848 26452 33554432000 4194304 6245536 140736447976176 18446744073709551615 4323520 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 26863 26452 229 501 0 26359 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 107452
[startup+522.3 s]
/proc/loadavg: 1.99 1.68 1.38 3/178 8929
/proc/meminfo: memFree=2793812/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=110480 CPUtime=522.31 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 27895 0 0 0 52226 5 0 0 25 0 1 0 901052776 113131520 27233 33554432000 4194304 6245536 140736447976176 18446744073709551615 4317348 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 27620 27233 229 501 0 27116 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 110480
[startup+582.3 s]
/proc/loadavg: 1.99 1.74 1.41 4/178 8930
/proc/meminfo: memFree=2793532/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=110876 CPUtime=582.31 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 27992 0 0 0 58226 5 0 0 25 0 1 0 901052776 113537024 27330 33554432000 4194304 6245536 140736447976176 18446744073709551615 4605196 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 27719 27330 229 501 0 27215 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 110876
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 1.99 1.87 1.54 3/178 8937
/proc/meminfo: memFree=2782356/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=121484 CPUtime=822.31 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 30641 0 0 0 82226 5 0 0 25 0 1 0 901052776 124399616 29979 33554432000 4194304 6245536 140736447976176 18446744073709551615 4629037 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 30371 29979 229 501 0 29867 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 121484
[startup+882.301 s]
/proc/loadavg: 1.99 1.89 1.56 3/178 8938
/proc/meminfo: memFree=2780088/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=123468 CPUtime=882.32 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 31082 0 0 0 88226 6 0 0 25 0 1 0 901052776 126431232 30420 33554432000 4194304 6245536 140736447976176 18446744073709551615 4304771 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 30867 30420 229 501 0 30363 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 123468
[startup+942.301 s]
/proc/loadavg: 1.99 1.91 1.59 3/178 8940
/proc/meminfo: memFree=2779932/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=123468 CPUtime=942.32 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 31085 0 0 0 94226 6 0 0 25 0 1 0 901052776 126431232 30423 33554432000 4194304 6245536 140736447976176 18446744073709551615 4323469 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 30867 30423 229 501 0 30363 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 123468
[startup+1002.3 s]
/proc/loadavg: 1.99 1.92 1.61 4/178 8941
/proc/meminfo: memFree=2779400/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=124128 CPUtime=1002.33 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 31265 0 0 0 100227 6 0 0 25 0 1 0 901052776 127107072 30603 33554432000 4194304 6245536 140736447976176 18446744073709551615 4304906 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 31032 30603 229 501 0 30528 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 124128
[startup+1062.3 s]
/proc/loadavg: 1.99 1.94 1.63 3/178 8943
/proc/meminfo: memFree=2778356/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=125056 CPUtime=1062.33 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 31434 0 0 0 106227 6 0 0 25 0 1 0 901052776 128057344 30772 33554432000 4194304 6245536 140736447976176 18446744073709551615 4324269 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 31264 30772 229 501 0 30760 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 125056
[startup+1122.3 s]
/proc/loadavg: 1.99 1.94 1.65 3/178 8945
/proc/meminfo: memFree=2778076/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=125188 CPUtime=1122.33 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 31487 0 0 0 112227 6 0 0 25 0 1 0 901052776 128192512 30825 33554432000 4194304 6245536 140736447976176 18446744073709551615 4605196 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 31297 30825 229 501 0 30793 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 125188
[startup+1182.3 s]
/proc/loadavg: 1.99 1.95 1.67 3/178 8946
/proc/meminfo: memFree=2768612/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=134556 CPUtime=1182.33 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 33826 0 0 0 118227 6 0 0 25 0 1 0 901052776 137785344 33164 33554432000 4194304 6245536 140736447976176 18446744073709551615 4304794 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 33639 33164 229 501 0 33135 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 134556
[startup+1242.3 s]
/proc/loadavg: 1.99 1.96 1.69 4/178 8948
/proc/meminfo: memFree=2766968/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=136140 CPUtime=1242.33 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 34207 0 0 0 124227 6 0 0 25 0 1 0 901052776 139407360 33545 33554432000 4194304 6245536 140736447976176 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 34035 33545 229 501 0 33531 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 136140
[startup+1302.3 s]
/proc/loadavg: 1.99 1.96 1.71 3/178 8949
/proc/meminfo: memFree=2765320/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=137828 CPUtime=1302.34 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 34637 0 0 0 130228 6 0 0 25 0 1 0 901052776 141135872 33975 33554432000 4194304 6245536 140736447976176 18446744073709551615 4324736 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 34457 33975 229 501 0 33953 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 137828
[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.72 3/178 8951
/proc/meminfo: memFree=2764548/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=138620 CPUtime=1362.33 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 34831 0 0 0 136227 6 0 0 25 0 1 0 901052776 141946880 34169 33554432000 4194304 6245536 140736447976176 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 34655 34169 229 501 0 34151 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 138620
[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.74 4/178 8953
/proc/meminfo: memFree=2763780/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=138884 CPUtime=1422.34 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 34916 0 0 0 142228 6 0 0 25 0 1 0 901052776 142217216 34254 33554432000 4194304 6245536 140736447976176 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 34721 34254 229 501 0 34217 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 138884
[startup+1482.3 s]
/proc/loadavg: 2.08 2.00 1.76 3/178 8954
/proc/meminfo: memFree=2763616/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=139016 CPUtime=1482.33 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 34952 0 0 0 148227 6 0 0 25 0 1 0 901052776 142352384 34290 33554432000 4194304 6245536 140736447976176 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 34754 34290 229 501 0 34250 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 139016
[startup+1542.3 s]
/proc/loadavg: 2.03 2.00 1.77 3/178 8956
/proc/meminfo: memFree=2763336/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=139016 CPUtime=1542.33 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 34952 0 0 0 154227 6 0 0 25 0 1 0 901052776 142352384 34290 33554432000 4194304 6245536 140736447976176 18446744073709551615 4304893 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 34754 34290 229 501 0 34250 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 139016
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.78 3/178 8957
/proc/meminfo: memFree=2761936/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=140468 CPUtime=1602.34 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 35312 0 0 0 160227 7 0 0 25 0 1 0 901052776 143839232 34650 33554432000 4194304 6245536 140736447976176 18446744073709551615 4304926 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 35117 34650 229 501 0 34613 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 140468
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/178 8959
/proc/meminfo: memFree=2761524/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=140864 CPUtime=1662.35 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 35416 0 0 0 166228 7 0 0 25 0 1 0 901052776 144244736 34754 33554432000 4194304 6245536 140736447976176 18446744073709551615 4304733 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 35216 34754 229 501 0 34712 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 140864
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/178 8961
/proc/meminfo: memFree=2761120/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=141392 CPUtime=1722.35 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 35552 0 0 0 172228 7 0 0 25 0 1 0 901052776 144785408 34890 33554432000 4194304 6245536 140736447976176 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 35348 34890 229 501 0 34844 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 141392
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/178 8962
/proc/meminfo: memFree=2751656/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=150700 CPUtime=1782.34 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 37821 0 0 0 178227 7 0 0 25 0 1 0 901052776 154316800 37159 33554432000 4194304 6245536 140736447976176 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 37675 37159 229 501 0 37171 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 150700
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.82 4/178 8963
/proc/meminfo: memFree=2750520/32951124 swapFree=67076880/67111528
[pid=8910] ppid=8905 vsize=151756 CPUtime=1800.05 cores=1,3,5,7
/proc/8910/stat : 8910 (clasp) R 8905 8910 8865 0 -1 4202496 38106 0 0 0 179998 7 0 0 25 0 1 0 901052776 155398144 37444 33554432000 4194304 6245536 140736447976176 18446744073709551615 4317344 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8910/statm: 37939 37444 229 501 0 37435 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 151756
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.01
CPU time (s): 1800.07
CPU user time (s): 1799.98
CPU system time (s): 0.084987
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 151756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.084987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38118
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= 4
involuntary context switches= 3198
runsolver used 2.87356 second user time and 6.91195 second system time
The end