runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3491952-1307779424/watcher-3491952-1307779424 -o /tmp/evaluation-result-3491952-1307779424/solver-3491952-1307779424 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491952-1307779424.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: 1.96 2.00 1.97 3/174 5942
/proc/meminfo: memFree=30796136/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=4128 CPUtime=0 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 779 0 0 0 0 0 0 0 19 0 1 0 968172882 4227072 678 33554432000 4194304 6245536 140734028144656 18446744073709551615 4581955 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 1032 679 199 501 0 528 0
[startup+0.00724388 s]
/proc/loadavg: 1.96 2.00 1.97 3/174 5942
/proc/meminfo: memFree=30796136/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=4128 CPUtime=0 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 788 0 0 0 0 0 0 0 19 0 1 0 968172882 4227072 687 33554432000 4194304 6245536 140734028144656 18446744073709551615 5379306 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 1032 687 201 501 0 528 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4128
[startup+0.100227 s]
/proc/loadavg: 1.96 2.00 1.97 3/174 5942
/proc/meminfo: memFree=30796136/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=4128 CPUtime=0.09 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 824 0 0 0 9 0 0 0 19 0 1 0 968172882 4227072 723 33554432000 4194304 6245536 140734028144656 18446744073709551615 4646412 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 1032 723 228 501 0 528 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4128
[startup+0.300202 s]
/proc/loadavg: 1.96 2.00 1.97 3/174 5942
/proc/meminfo: memFree=30796136/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=4128 CPUtime=0.29 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 825 0 0 0 29 0 0 0 20 0 1 0 968172882 4227072 724 33554432000 4194304 6245536 140734028144656 18446744073709551615 4316676 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 1032 724 229 501 0 528 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4128
[startup+0.701116 s]
/proc/loadavg: 1.96 2.00 1.97 3/174 5942
/proc/meminfo: memFree=30796136/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=5184 CPUtime=0.69 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 1084 0 0 0 69 0 0 0 20 0 1 0 968172882 5308416 983 33554432000 4194304 6245536 140734028144656 18446744073709551615 4629450 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 1296 983 229 501 0 792 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5184
[startup+1.50097 s]
/proc/loadavg: 1.96 2.00 1.97 3/175 5943
/proc/meminfo: memFree=30792696/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=6376 CPUtime=1.49 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 1375 0 0 0 149 0 0 0 23 0 1 0 968172882 6529024 1274 33554432000 4194304 6245536 140734028144656 18446744073709551615 4304794 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 1594 1274 229 501 0 1090 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6376
[startup+3.10067 s]
/proc/loadavg: 1.96 2.00 1.97 3/175 5943
/proc/meminfo: memFree=30791456/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=6448 CPUtime=3.09 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 1394 0 0 0 309 0 0 0 25 0 1 0 968172882 6602752 1293 33554432000 4194304 6245536 140734028144656 18446744073709551615 4627947 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 1612 1293 229 501 0 1108 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6448
[startup+6.30107 s]
/proc/loadavg: 1.96 2.00 1.97 4/175 5943
/proc/meminfo: memFree=30791060/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=7432 CPUtime=6.29 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 1619 0 0 0 629 0 0 0 25 0 1 0 968172882 7610368 1518 33554432000 4194304 6245536 140734028144656 18446744073709551615 4628329 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 1858 1518 229 501 0 1354 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7432
[startup+12.7009 s]
/proc/loadavg: 1.96 2.00 1.97 3/175 5943
/proc/meminfo: memFree=30788952/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=8620 CPUtime=12.69 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 1931 0 0 0 1269 0 0 0 25 0 1 0 968172882 8826880 1830 33554432000 4194304 6245536 140734028144656 18446744073709551615 4700645 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 2155 1830 229 501 0 1651 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8620
[startup+25.5005 s]
/proc/loadavg: 1.97 2.00 1.97 3/175 5944
/proc/meminfo: memFree=30785868/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=12048 CPUtime=25.49 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 2769 0 0 0 2549 0 0 0 25 0 1 0 968172882 12337152 2668 33554432000 4194304 6245536 140734028144656 18446744073709551615 4629009 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 3012 2668 229 501 0 2508 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 12048
[startup+51.1007 s]
/proc/loadavg: 1.98 2.00 1.97 3/175 5944
/proc/meminfo: memFree=30783704/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=13856 CPUtime=51.09 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 3224 0 0 0 5109 0 0 0 25 0 1 0 968172882 14188544 3123 33554432000 4194304 6245536 140734028144656 18446744073709551615 4304779 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 3464 3123 229 501 0 2960 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 13856
[startup+102.306 s]
/proc/loadavg: 1.99 2.00 1.97 3/175 5946
/proc/meminfo: memFree=30782064/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=14516 CPUtime=102.3 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 3570 0 0 0 10230 0 0 0 25 0 1 0 968172882 14864384 3300 33554432000 4194304 6245536 140734028144656 18446744073709551615 4628300 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 3629 3300 229 501 0 3125 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 14516
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.97 3/175 5947
/proc/meminfo: memFree=30771116/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=15776 CPUtime=162.29 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 3844 0 0 0 16229 0 0 0 25 0 1 0 968172882 16154624 3574 33554432000 4194304 6245536 140734028144656 18446744073709551615 4316404 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 3944 3574 229 501 0 3440 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 15776
[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.97 2/173 5950
/proc/meminfo: memFree=30918288/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=17576 CPUtime=222.29 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 4326 0 0 0 22229 0 0 0 25 0 1 0 968172882 17997824 4029 33554432000 4194304 6245536 140734028144656 18446744073709551615 4700402 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 4394 4029 229 501 0 3890 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 17576
[startup+282.301 s]
/proc/loadavg: 2.03 2.01 1.97 3/175 5989
/proc/meminfo: memFree=30916656/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=18440 CPUtime=282.3 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 4541 0 0 0 28229 1 0 0 25 0 1 0 968172882 18882560 4210 33554432000 4194304 6245536 140734028144656 18446744073709551615 4342693 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 4610 4210 229 501 0 4106 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 18440
[startup+342.301 s]
/proc/loadavg: 2.01 2.00 1.97 3/175 5991
/proc/meminfo: memFree=30915624/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=19028 CPUtime=342.31 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 4674 0 0 0 34230 1 0 0 25 0 1 0 968172882 19484672 4343 33554432000 4194304 6245536 140734028144656 18446744073709551615 4629011 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 4757 4343 229 501 0 4253 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 19028
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 5993
/proc/meminfo: memFree=30914480/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=20188 CPUtime=402.31 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 4929 0 0 0 40230 1 0 0 25 0 1 0 968172882 20672512 4598 33554432000 4194304 6245536 140734028144656 18446744073709551615 4323544 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 5047 4598 229 501 0 4543 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 20188
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 5994
/proc/meminfo: memFree=30913952/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=20808 CPUtime=462.31 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 5072 0 0 0 46230 1 0 0 25 0 1 0 968172882 21307392 4741 33554432000 4194304 6245536 140734028144656 18446744073709551615 4628264 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 5202 4741 229 501 0 4698 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 20808
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 5996
/proc/meminfo: memFree=30913296/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=21912 CPUtime=522.31 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 5292 0 0 0 52230 1 0 0 25 0 1 0 968172882 22437888 4961 33554432000 4194304 6245536 140734028144656 18446744073709551615 4696433 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 5478 4961 229 501 0 4974 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 21912
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 5997
/proc/meminfo: memFree=30912764/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=22424 CPUtime=582.31 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 5428 0 0 0 58230 1 0 0 25 0 1 0 968172882 22962176 5097 33554432000 4194304 6245536 140734028144656 18446744073709551615 4633936 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 5606 5097 229 501 0 5102 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 22424
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 6004
/proc/meminfo: memFree=30911248/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=23772 CPUtime=822.32 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 5727 0 0 0 82231 1 0 0 25 0 1 0 968172882 24342528 5396 33554432000 4194304 6245536 140734028144656 18446744073709551615 4633881 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 5943 5396 229 501 0 5439 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 23772
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 6005
/proc/meminfo: memFree=30910960/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=23940 CPUtime=882.32 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 5751 0 0 0 88231 1 0 0 25 0 1 0 968172882 24514560 5420 33554432000 4194304 6245536 140734028144656 18446744073709551615 4628305 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 5985 5420 229 501 0 5481 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 23940
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 6007
/proc/meminfo: memFree=30910548/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=24108 CPUtime=942.33 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 5786 0 0 0 94232 1 0 0 25 0 1 0 968172882 24686592 5455 33554432000 4194304 6245536 140734028144656 18446744073709551615 4316693 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 6027 5455 229 501 0 5523 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 24108
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 6009
/proc/meminfo: memFree=30910392/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=24280 CPUtime=1002.33 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 5817 0 0 0 100232 1 0 0 25 0 1 0 968172882 24862720 5486 33554432000 4194304 6245536 140734028144656 18446744073709551615 4304794 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 6070 5486 229 501 0 5566 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 24280
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 6010
/proc/meminfo: memFree=30910236/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=24616 CPUtime=1062.33 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 5886 0 0 0 106232 1 0 0 25 0 1 0 968172882 25206784 5555 33554432000 4194304 6245536 140734028144656 18446744073709551615 4635013 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 6154 5555 229 501 0 5650 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 24616
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 6012
/proc/meminfo: memFree=30909828/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=24952 CPUtime=1122.33 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 5946 0 0 0 112232 1 0 0 25 0 1 0 968172882 25550848 5615 33554432000 4194304 6245536 140734028144656 18446744073709551615 4628277 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 6238 5615 229 501 0 5734 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 24952
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 6013
/proc/meminfo: memFree=30909672/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=25272 CPUtime=1182.33 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 6020 0 0 0 118232 1 0 0 25 0 1 0 968172882 25878528 5689 33554432000 4194304 6245536 140734028144656 18446744073709551615 4316679 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 6318 5689 229 501 0 5814 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 25272
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 6015
/proc/meminfo: memFree=30909400/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=25440 CPUtime=1242.34 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 6074 0 0 0 124233 1 0 0 25 0 1 0 968172882 26050560 5743 33554432000 4194304 6245536 140734028144656 18446744073709551615 4608172 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 6360 5743 229 501 0 5856 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 25440
[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 1.98 3/175 6017
/proc/meminfo: memFree=30908744/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=25948 CPUtime=1302.34 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 6160 0 0 0 130233 1 0 0 25 0 1 0 968172882 26570752 5829 33554432000 4194304 6245536 140734028144656 18446744073709551615 4304840 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 6487 5829 229 501 0 5983 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 25948
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/175 6018
/proc/meminfo: memFree=30908340/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=26284 CPUtime=1362.34 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 6237 0 0 0 136233 1 0 0 25 0 1 0 968172882 26914816 5906 33554432000 4194304 6245536 140734028144656 18446744073709551615 4635144 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 6571 5906 229 501 0 6067 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 26284
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 1.98 3/175 6020
/proc/meminfo: memFree=30908304/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=26424 CPUtime=1422.35 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 6278 0 0 0 142234 1 0 0 25 0 1 0 968172882 27058176 5947 33554432000 4194304 6245536 140734028144656 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 6606 5947 229 501 0 6102 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 26424
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 6021
/proc/meminfo: memFree=30907912/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=26704 CPUtime=1482.34 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 6338 0 0 0 148233 1 0 0 25 0 1 0 968172882 27344896 6007 33554432000 4194304 6245536 140734028144656 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 6676 6007 229 501 0 6172 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 26704
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 6023
/proc/meminfo: memFree=30908000/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=26872 CPUtime=1542.35 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 6374 0 0 0 154234 1 0 0 25 0 1 0 968172882 27516928 6043 33554432000 4194304 6245536 140734028144656 18446744073709551615 4637449 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 6718 6043 229 501 0 6214 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 26872
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 6025
/proc/meminfo: memFree=30907480/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=27044 CPUtime=1602.35 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 6413 0 0 0 160234 1 0 0 25 0 1 0 968172882 27693056 6082 33554432000 4194304 6245536 140734028144656 18446744073709551615 4637756 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 6761 6082 229 501 0 6257 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 27044
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 6026
/proc/meminfo: memFree=30907440/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=27212 CPUtime=1662.35 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 6449 0 0 0 166234 1 0 0 25 0 1 0 968172882 27865088 6118 33554432000 4194304 6245536 140734028144656 18446744073709551615 4637489 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 6803 6118 229 501 0 6299 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 27212
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 6028
/proc/meminfo: memFree=30907412/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=27212 CPUtime=1722.35 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 6455 0 0 0 172234 1 0 0 25 0 1 0 968172882 27865088 6124 33554432000 4194304 6245536 140734028144656 18446744073709551615 4634509 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 6803 6124 229 501 0 6299 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 27212
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 6029
/proc/meminfo: memFree=30907124/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=27212 CPUtime=1782.35 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 6480 0 0 0 178234 1 0 0 25 0 1 0 968172882 27865088 6149 33554432000 4194304 6245536 140734028144656 18446744073709551615 4628289 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 6803 6149 229 501 0 6299 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 27212
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 6030
/proc/meminfo: memFree=30907108/32951124 swapFree=67062556/67111528
[pid=5942] ppid=5940 vsize=27380 CPUtime=1800.06 cores=1,3,5,7
/proc/5942/stat : 5942 (clasp) R 5940 5942 5721 0 -1 4202496 6507 0 0 0 180005 1 0 0 25 0 1 0 968172882 28037120 6176 33554432000 4194304 6245536 140734028144656 18446744073709551615 4316770 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5942/statm: 6845 6176 229 501 0 6341 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 27380
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): 1800.05
CPU system time (s): 0.013997
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 27380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.013997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6518
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= 2880
runsolver used 2.54361 second user time and 5.64914 second system time
The end