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-3468068-1307094984/watcher-3468068-1307094984 -o /tmp/evaluation-result-3468068-1307094984/solver-3468068-1307094984 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468068-1307094984.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: 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: 1.84 1.97 1.99 1/476 7265
/proc/meminfo: memFree=27463444/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=13752 CPUtime=0 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 897 0 0 0 0 0 0 0 25 0 1 0 821098110 14082048 791 33554432000 4194304 4933572 140736326701888 18446744073709551615 4331664 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 3438 791 372 181 0 447 0
[startup+0.0778871 s]
/proc/loadavg: 1.84 1.97 1.99 1/476 7265
/proc/meminfo: memFree=27463444/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=13752 CPUtime=0.07 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 908 0 0 0 7 0 0 0 25 0 1 0 821098110 14082048 802 33554432000 4194304 4933572 140736326701888 18446744073709551615 4429833 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 3438 802 381 181 0 447 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13752
[startup+0.100883 s]
/proc/loadavg: 1.84 1.97 1.99 1/476 7265
/proc/meminfo: memFree=27463444/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=13752 CPUtime=0.09 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 908 0 0 0 9 0 0 0 25 0 1 0 821098110 14082048 802 33554432000 4194304 4933572 140736326701888 18446744073709551615 4340834 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 3438 802 381 181 0 447 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13752
[startup+0.300849 s]
/proc/loadavg: 1.84 1.97 1.99 1/476 7265
/proc/meminfo: memFree=27463444/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=13752 CPUtime=0.29 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 908 0 0 0 29 0 0 0 25 0 1 0 821098110 14082048 802 33554432000 4194304 4933572 140736326701888 18446744073709551615 4340904 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 3438 802 381 181 0 447 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13752
[startup+0.700711 s]
/proc/loadavg: 1.84 1.97 1.99 1/476 7265
/proc/meminfo: memFree=27463444/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=14016 CPUtime=0.69 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 960 0 0 0 69 0 0 0 25 0 1 0 821098110 14352384 854 33554432000 4194304 4933572 140736326701888 18446744073709551615 4648318 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 3504 854 381 181 0 513 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14016
[startup+1.5005 s]
/proc/loadavg: 1.84 1.97 1.99 3/482 7303
/proc/meminfo: memFree=27457328/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=14284 CPUtime=1.49 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 1040 0 0 0 149 0 0 0 25 0 1 0 821098110 14626816 934 33554432000 4194304 4933572 140736326701888 18446744073709551615 4648324 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 3571 934 381 181 0 580 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14284
[startup+3.10032 s]
/proc/loadavg: 1.84 1.97 1.99 3/482 7303
/proc/meminfo: memFree=27453632/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=14548 CPUtime=3.09 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 1084 0 0 0 309 0 0 0 25 0 1 0 821098110 14897152 978 33554432000 4194304 4933572 140736326701888 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 3637 978 381 181 0 646 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14548
[startup+6.30069 s]
/proc/loadavg: 1.85 1.97 1.99 3/482 7303
/proc/meminfo: memFree=27451120/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=14820 CPUtime=6.29 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 1176 0 0 0 629 0 0 0 25 0 1 0 821098110 15175680 1070 33554432000 4194304 4933572 140736326701888 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 3705 1070 381 181 0 714 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14820
[startup+12.7005 s]
/proc/loadavg: 1.86 1.97 1.99 3/482 7304
/proc/meminfo: memFree=27448300/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=15496 CPUtime=12.69 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 1325 0 0 0 1269 0 0 0 25 0 1 0 821098110 15867904 1219 33554432000 4194304 4933572 140736326701888 18446744073709551615 4649236 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 3874 1219 381 181 0 883 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15496
[startup+25.501 s]
/proc/loadavg: 1.89 1.97 1.99 3/482 7304
/proc/meminfo: memFree=27446944/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=16256 CPUtime=25.49 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 1524 0 0 0 2549 0 0 0 25 0 1 0 821098110 16646144 1418 33554432000 4194304 4933572 140736326701888 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 4064 1418 381 181 0 1073 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16256
[startup+51.1012 s]
/proc/loadavg: 1.93 1.97 1.99 3/482 7305
/proc/meminfo: memFree=27444696/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=17108 CPUtime=51.09 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 1717 0 0 0 5109 0 0 0 25 0 1 0 821098110 17518592 1611 33554432000 4194304 4933572 140736326701888 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 4277 1611 381 181 0 1286 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 17108
[startup+102.317 s]
/proc/loadavg: 1.97 1.97 1.99 3/482 7306
/proc/meminfo: memFree=27440708/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=18592 CPUtime=102.31 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 2089 0 0 0 10231 0 0 0 25 0 1 0 821098110 19038208 1983 33554432000 4194304 4933572 140736326701888 18446744073709551615 4649211 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 4648 1983 381 181 0 1657 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 18592
[startup+162.301 s]
/proc/loadavg: 2.02 1.99 1.99 3/482 7308
/proc/meminfo: memFree=27436100/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=20144 CPUtime=162.29 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 2438 0 0 0 16229 0 0 0 25 0 1 0 821098110 20627456 2332 33554432000 4194304 4933572 140736326701888 18446744073709551615 4319373 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 5036 2332 381 181 0 2045 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 20144
[startup+222.301 s]
/proc/loadavg: 2.01 1.99 1.99 3/482 7309
/proc/meminfo: memFree=27436328/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=20696 CPUtime=222.3 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 2569 0 0 0 22230 0 0 0 25 0 1 0 821098110 21192704 2463 33554432000 4194304 4933572 140736326701888 18446744073709551615 4648673 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 5174 2463 381 181 0 2183 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 20696
[startup+282.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/482 7320
/proc/meminfo: memFree=27435308/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=21272 CPUtime=282.3 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 2721 0 0 0 28230 0 0 0 25 0 1 0 821098110 21782528 2615 33554432000 4194304 4933572 140736326701888 18446744073709551615 4323971 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 5318 2615 381 181 0 2327 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 21272
[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/482 7321
/proc/meminfo: memFree=27434808/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=22016 CPUtime=342.3 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 2892 0 0 0 34230 0 0 0 25 0 1 0 821098110 22544384 2786 33554432000 4194304 4933572 140736326701888 18446744073709551615 4428349 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 5504 2786 381 181 0 2513 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 22016
[startup+402.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/482 7323
/proc/meminfo: memFree=27434164/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=22432 CPUtime=402.31 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 2998 0 0 0 40230 1 0 0 25 0 1 0 821098110 22970368 2892 33554432000 4194304 4933572 140736326701888 18446744073709551615 4371152 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 5608 2892 381 181 0 2617 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 22432
[startup+462.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/482 7327
/proc/meminfo: memFree=27433020/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=22716 CPUtime=462.31 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 3084 0 0 0 46230 1 0 0 25 0 1 0 821098110 23261184 2978 33554432000 4194304 4933572 140736326701888 18446744073709551615 4649133 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 5679 2978 381 181 0 2688 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 22716
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/482 7329
/proc/meminfo: memFree=27433692/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=23404 CPUtime=522.31 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 3248 0 0 0 52230 1 0 0 25 0 1 0 821098110 23965696 3142 33554432000 4194304 4933572 140736326701888 18446744073709551615 4428077 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 5851 3142 381 181 0 2860 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 23404
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 7331
/proc/meminfo: memFree=27432684/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=23980 CPUtime=582.31 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 3367 0 0 0 58230 1 0 0 25 0 1 0 821098110 24555520 3261 33554432000 4194304 4933572 140736326701888 18446744073709551615 4648546 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 5995 3261 381 181 0 3004 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 23980
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 7337
/proc/meminfo: memFree=27429864/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=26120 CPUtime=822.32 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 3898 0 0 0 82231 1 0 0 25 0 1 0 821098110 26746880 3792 33554432000 4194304 4933572 140736326701888 18446744073709551615 4649236 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 6530 3792 381 181 0 3539 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 26120
[startup+882.301 s]
/proc/loadavg: 2.11 2.04 2.01 3/482 7339
/proc/meminfo: memFree=27428356/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=26548 CPUtime=882.32 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 3975 0 0 0 88231 1 0 0 25 0 1 0 821098110 27185152 3869 33554432000 4194304 4933572 140736326701888 18446744073709551615 4648618 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 6637 3869 381 181 0 3646 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 26548
[startup+942.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/482 7340
/proc/meminfo: memFree=27428836/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=26840 CPUtime=942.32 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 4041 0 0 0 94231 1 0 0 25 0 1 0 821098110 27484160 3935 33554432000 4194304 4933572 140736326701888 18446744073709551615 4648609 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 6710 3935 381 181 0 3719 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 26840
[startup+1002.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 7342
/proc/meminfo: memFree=27428572/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=26984 CPUtime=1002.32 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 4105 0 0 0 100231 1 0 0 25 0 1 0 821098110 27631616 3999 33554432000 4194304 4933572 140736326701888 18446744073709551615 4649133 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 6746 3999 381 181 0 3755 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 26984
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/482 7344
/proc/meminfo: memFree=27428300/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=27260 CPUtime=1062.33 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 4148 0 0 0 106232 1 0 0 25 0 1 0 821098110 27914240 4042 33554432000 4194304 4933572 140736326701888 18446744073709551615 4631959 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 6815 4042 381 181 0 3824 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 27260
[startup+1122.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/482 7345
/proc/meminfo: memFree=27427896/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=27412 CPUtime=1122.33 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 4202 0 0 0 112232 1 0 0 25 0 1 0 821098110 28069888 4096 33554432000 4194304 4933572 140736326701888 18446744073709551615 4360961 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 6853 4096 381 181 0 3862 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 27412
[startup+1182.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/482 7347
/proc/meminfo: memFree=27427112/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=27740 CPUtime=1182.33 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 4262 0 0 0 118232 1 0 0 25 0 1 0 821098110 28405760 4156 33554432000 4194304 4933572 140736326701888 18446744073709551615 4340878 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 6935 4156 381 181 0 3944 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 27740
[startup+1242.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/482 7348
/proc/meminfo: memFree=27426848/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=27892 CPUtime=1242.33 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 4317 0 0 0 124232 1 0 0 25 0 1 0 821098110 28561408 4211 33554432000 4194304 4933572 140736326701888 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 6973 4211 381 181 0 3982 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 27892
[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/482 7350
/proc/meminfo: memFree=27426696/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=28352 CPUtime=1302.35 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 4409 0 0 0 130233 2 0 0 25 0 1 0 821098110 29032448 4303 33554432000 4194304 4933572 140736326701888 18446744073709551615 4648734 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 7088 4303 381 181 0 4097 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 28352
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 7352
/proc/meminfo: memFree=27427152/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=28484 CPUtime=1362.35 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 4441 0 0 0 136233 2 0 0 25 0 1 0 821098110 29167616 4335 33554432000 4194304 4933572 140736326701888 18446744073709551615 4648632 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 7121 4335 381 181 0 4130 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 28484
[startup+1422.32 s]
/proc/loadavg: 2.08 2.04 2.01 3/482 7353
/proc/meminfo: memFree=27426632/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=28772 CPUtime=1422.36 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 4517 0 0 0 142234 2 0 0 25 0 1 0 821098110 29462528 4411 33554432000 4194304 4933572 140736326701888 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 7193 4411 381 181 0 4202 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 28772
[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 7355
/proc/meminfo: memFree=27425872/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=28912 CPUtime=1482.35 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 4563 0 0 0 148233 2 0 0 25 0 1 0 821098110 29605888 4457 33554432000 4194304 4933572 140736326701888 18446744073709551615 4648645 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 7228 4457 381 181 0 4237 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 28912
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/482 7356
/proc/meminfo: memFree=27426352/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=29308 CPUtime=1542.35 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 4660 0 0 0 154233 2 0 0 25 0 1 0 821098110 30011392 4554 33554432000 4194304 4933572 140736326701888 18446744073709551615 4648327 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 7327 4554 381 181 0 4336 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 29308
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 7358
/proc/meminfo: memFree=27425588/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=29580 CPUtime=1602.35 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 4730 0 0 0 160233 2 0 0 25 0 1 0 821098110 30289920 4624 33554432000 4194304 4933572 140736326701888 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 7395 4624 381 181 0 4404 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 29580
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 7360
/proc/meminfo: memFree=27425188/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=30052 CPUtime=1662.36 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 4845 0 0 0 166234 2 0 0 25 0 1 0 821098110 30773248 4739 33554432000 4194304 4933572 140736326701888 18446744073709551615 4649818 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 7513 4739 381 181 0 4522 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 30052
[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/482 7361
/proc/meminfo: memFree=27424680/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=30512 CPUtime=1722.36 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 4949 0 0 0 172234 2 0 0 25 0 1 0 821098110 31244288 4843 33554432000 4194304 4933572 140736326701888 18446744073709551615 4648693 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 7628 4843 381 181 0 4637 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 30512
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/482 7363
/proc/meminfo: memFree=27422180/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=31028 CPUtime=1782.36 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 5054 0 0 0 178234 2 0 0 25 0 1 0 821098110 31772672 4948 33554432000 4194304 4933572 140736326701888 18446744073709551615 4648542 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 7757 4948 381 181 0 4766 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 31028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/482 7363
/proc/meminfo: memFree=27423668/32950928 swapFree=39617324/67111528
[pid=7265] ppid=7263 vsize=31272 CPUtime=1800.07 cores=0,2,4,6
/proc/7265/stat : 7265 (clasp) R 7263 7265 7025 0 -1 4202496 5107 0 0 0 180005 2 0 0 25 0 1 0 821098110 32022528 5001 33554432000 4194304 4933572 140736326701888 18446744073709551615 4649366 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7265/statm: 7818 5001 381 181 0 4827 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 31272
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.02
CPU time (s): 1800.09
CPU user time (s): 1800.06
CPU system time (s): 0.025996
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 31272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.025996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5120
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= 7
involuntary context switches= 2557
runsolver used 8.93164 second user time and 18.0733 second system time
The end