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-3491867-1307773361/watcher-3491867-1307773361 -o /tmp/evaluation-result-3491867-1307773361/solver-3491867-1307773361 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491867-1307773361.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: 3.02 3.01 2.95 4/178 21540
/proc/meminfo: memFree=31718476/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=4176 CPUtime=0 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 769 0 0 0 0 0 0 0 25 0 1 0 888934894 4276224 674 33554432000 4194304 6245536 140736368840512 18446744073709551615 4562239 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 1044 674 183 501 0 540 0
[startup+0.033475 s]
/proc/loadavg: 3.02 3.01 2.95 4/178 21540
/proc/meminfo: memFree=31718476/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=6644 CPUtime=0.03 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 1456 0 0 0 3 0 0 0 25 0 1 0 888934894 6803456 1262 33554432000 4194304 6245536 140736368840512 18446744073709551615 4578916 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 1661 1262 201 501 0 1157 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6644
[startup+0.100464 s]
/proc/loadavg: 3.02 3.01 2.95 4/178 21540
/proc/meminfo: memFree=31718476/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=6312 CPUtime=0.09 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 1517 0 0 0 9 0 0 0 25 0 1 0 888934894 6463488 1223 33554432000 4194304 6245536 140736368840512 18446744073709551615 4628882 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 1578 1223 228 501 0 1074 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6312
[startup+0.300494 s]
/proc/loadavg: 3.02 3.01 2.95 4/178 21540
/proc/meminfo: memFree=31718476/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=6444 CPUtime=0.29 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 1583 0 0 0 29 0 0 0 25 0 1 0 888934894 6598656 1289 33554432000 4194304 6245536 140736368840512 18446744073709551615 4637775 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 1611 1289 229 501 0 1107 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6444
[startup+0.700355 s]
/proc/loadavg: 3.02 3.01 2.95 4/178 21540
/proc/meminfo: memFree=31718476/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=6976 CPUtime=0.69 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 1709 0 0 0 69 0 0 0 25 0 1 0 888934894 7143424 1415 33554432000 4194304 6245536 140736368840512 18446744073709551615 4409797 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 1744 1415 229 501 0 1240 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6976
[startup+1.50021 s]
/proc/loadavg: 3.02 3.01 2.95 4/179 21541
/proc/meminfo: memFree=31713036/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=7784 CPUtime=1.49 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 1902 0 0 0 149 0 0 0 25 0 1 0 888934894 7970816 1608 33554432000 4194304 6245536 140736368840512 18446744073709551615 4408754 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 1946 1608 229 501 0 1442 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7784
[startup+3.10093 s]
/proc/loadavg: 3.02 3.01 2.95 4/179 21541
/proc/meminfo: memFree=31711672/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=8856 CPUtime=3.09 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 2167 0 0 0 309 0 0 0 25 0 1 0 888934894 9068544 1873 33554432000 4194304 6245536 140736368840512 18446744073709551615 4344324 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 2214 1873 229 501 0 1710 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8856
[startup+6.30036 s]
/proc/loadavg: 3.01 3.01 2.95 4/179 21541
/proc/meminfo: memFree=31710140/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=9948 CPUtime=6.29 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 2421 0 0 0 629 0 0 0 25 0 1 0 888934894 10186752 2127 33554432000 4194304 6245536 140736368840512 18446744073709551615 5367511 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 2487 2127 229 501 0 1983 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9948
[startup+12.7002 s]
/proc/loadavg: 3.01 3.01 2.95 4/179 21541
/proc/meminfo: memFree=31708276/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=11216 CPUtime=12.69 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 2732 0 0 0 1269 0 0 0 25 0 1 0 888934894 11485184 2438 33554432000 4194304 6245536 140736368840512 18446744073709551615 4408765 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 2804 2438 229 501 0 2300 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11216
[startup+25.5009 s]
/proc/loadavg: 3.01 3.01 2.95 4/179 21541
/proc/meminfo: memFree=31705676/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=13396 CPUtime=25.49 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 3261 0 0 0 2549 0 0 0 25 0 1 0 888934894 13717504 2967 33554432000 4194304 6245536 140736368840512 18446744073709551615 4637720 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 3349 2967 229 501 0 2845 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13396
[startup+51.1004 s]
/proc/loadavg: 3.00 3.00 2.95 4/179 21542
/proc/meminfo: memFree=31700924/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=16516 CPUtime=51.09 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 3959 0 0 0 5109 0 0 0 25 0 1 0 888934894 16912384 3665 33554432000 4194304 6245536 140736368840512 18446744073709551615 4628983 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 4129 3665 229 501 0 3625 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16516
[startup+102.306 s]
/proc/loadavg: 3.00 3.00 2.95 4/179 21543
/proc/meminfo: memFree=31693320/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=20232 CPUtime=102.29 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 4818 0 0 0 10229 0 0 0 25 0 1 0 888934894 20717568 4524 33554432000 4194304 6245536 140736368840512 18446744073709551615 4304940 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 5058 4524 229 501 0 4554 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 20232
[startup+162.301 s]
/proc/loadavg: 3.00 3.00 2.95 4/179 21545
/proc/meminfo: memFree=31687708/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=23200 CPUtime=162.3 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 5503 0 0 0 16229 1 0 0 25 0 1 0 888934894 23756800 5209 33554432000 4194304 6245536 140736368840512 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 5800 5209 229 501 0 5296 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 23200
[startup+222.301 s]
/proc/loadavg: 3.00 3.00 2.95 4/179 21547
/proc/meminfo: memFree=31681716/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=25524 CPUtime=222.3 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 6012 0 0 0 22229 1 0 0 25 0 1 0 888934894 26136576 5718 33554432000 4194304 6245536 140736368840512 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 6381 5718 229 501 0 5877 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 25524
[startup+282.3 s]
/proc/loadavg: 3.00 3.00 2.95 4/179 21548
/proc/meminfo: memFree=31677716/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=27900 CPUtime=282.3 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 6534 0 0 0 28229 1 0 0 25 0 1 0 888934894 28569600 6240 33554432000 4194304 6245536 140736368840512 18446744073709551615 4637756 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 6975 6240 229 501 0 6471 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 27900
[startup+342.3 s]
/proc/loadavg: 3.00 3.00 2.95 4/179 21550
/proc/meminfo: memFree=31675436/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=29460 CPUtime=342.3 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 6897 0 0 0 34229 1 0 0 25 0 1 0 888934894 30167040 6603 33554432000 4194304 6245536 140736368840512 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 7365 6603 229 501 0 6861 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 29460
[startup+402.301 s]
/proc/loadavg: 3.00 3.00 2.95 4/179 21551
/proc/meminfo: memFree=31670428/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=31176 CPUtime=402.3 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 7314 0 0 0 40229 1 0 0 25 0 1 0 888934894 31924224 7020 33554432000 4194304 6245536 140736368840512 18446744073709551615 4637761 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 7794 7020 229 501 0 7290 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 31176
[startup+462.301 s]
/proc/loadavg: 3.00 3.00 2.95 4/179 21553
/proc/meminfo: memFree=31666424/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=33004 CPUtime=462.3 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 7701 0 0 0 46229 1 0 0 25 0 1 0 888934894 33796096 7407 33554432000 4194304 6245536 140736368840512 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 8251 7407 229 501 0 7747 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 33004
[startup+522.3 s]
/proc/loadavg: 3.03 3.01 2.96 4/179 21555
/proc/meminfo: memFree=31663916/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=34224 CPUtime=522.3 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 7946 0 0 0 52229 1 0 0 25 0 1 0 888934894 35045376 7652 33554432000 4194304 6245536 140736368840512 18446744073709551615 4304672 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 8556 7652 229 501 0 8052 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 34224
[startup+582.301 s]
/proc/loadavg: 3.01 3.01 2.96 4/179 21556
/proc/meminfo: memFree=31661260/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=35408 CPUtime=582.3 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 8254 0 0 0 58229 1 0 0 25 0 1 0 888934894 36257792 7960 33554432000 4194304 6245536 140736368840512 18446744073709551615 4629018 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 8852 7960 229 501 0 8348 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 35408
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 3.00 3.00 2.96 4/179 21563
/proc/meminfo: memFree=31652920/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=37808 CPUtime=822.31 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 8805 0 0 0 82229 2 0 0 25 0 1 0 888934894 38715392 8511 33554432000 4194304 6245536 140736368840512 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 9452 8511 229 501 0 8948 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 37808
[startup+882.3 s]
/proc/loadavg: 3.00 3.00 2.96 4/179 21564
/proc/meminfo: memFree=31651256/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=38316 CPUtime=882.31 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 8923 0 0 0 88229 2 0 0 25 0 1 0 888934894 39235584 8629 33554432000 4194304 6245536 140736368840512 18446744073709551615 4629020 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 9579 8629 229 501 0 9075 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 38316
[startup+942.3 s]
/proc/loadavg: 3.00 3.00 2.96 4/179 21566
/proc/meminfo: memFree=31649468/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=39328 CPUtime=942.32 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 9133 0 0 0 94230 2 0 0 25 0 1 0 888934894 40271872 8839 33554432000 4194304 6245536 140736368840512 18446744073709551615 4409085 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 9832 8839 229 501 0 9328 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 39328
[startup+1002.3 s]
/proc/loadavg: 3.00 3.00 2.96 4/179 21567
/proc/meminfo: memFree=31648304/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=39580 CPUtime=1002.32 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 9203 0 0 0 100230 2 0 0 25 0 1 0 888934894 40529920 8909 33554432000 4194304 6245536 140736368840512 18446744073709551615 4646523 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 9895 8909 229 501 0 9391 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 39580
[startup+1062.3 s]
/proc/loadavg: 3.05 3.01 2.96 4/179 21569
/proc/meminfo: memFree=31648012/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=39832 CPUtime=1062.32 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 9270 0 0 0 106230 2 0 0 25 0 1 0 888934894 40787968 8976 33554432000 4194304 6245536 140736368840512 18446744073709551615 4628983 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 9958 8976 229 501 0 9454 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 39832
[startup+1122.3 s]
/proc/loadavg: 3.02 3.01 2.96 4/179 21571
/proc/meminfo: memFree=31646364/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=40084 CPUtime=1122.32 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 9354 0 0 0 112230 2 0 0 25 0 1 0 888934894 41046016 9060 33554432000 4194304 6245536 140736368840512 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 10021 9060 229 501 0 9517 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 40084
[startup+1182.3 s]
/proc/loadavg: 3.00 3.00 2.96 4/179 21572
/proc/meminfo: memFree=31645556/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=40592 CPUtime=1182.32 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 9443 0 0 0 118230 2 0 0 25 0 1 0 888934894 41566208 9149 33554432000 4194304 6245536 140736368840512 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 10148 9149 229 501 0 9644 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 40592
[startup+1242.3 s]
/proc/loadavg: 3.00 3.00 2.96 4/179 21574
/proc/meminfo: memFree=31643292/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=40592 CPUtime=1242.32 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 9481 0 0 0 124230 2 0 0 25 0 1 0 888934894 41566208 9187 33554432000 4194304 6245536 140736368840512 18446744073709551615 4629023 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 10148 9187 229 501 0 9644 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 40592
[startup+1302.3 s]
/proc/loadavg: 3.00 3.00 2.96 4/179 21575
/proc/meminfo: memFree=31640268/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=40844 CPUtime=1302.33 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 9543 0 0 0 130231 2 0 0 25 0 1 0 888934894 41824256 9249 33554432000 4194304 6245536 140736368840512 18446744073709551615 4629222 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 10211 9249 229 501 0 9707 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 40844
[startup+1362.3 s]
/proc/loadavg: 3.00 3.00 2.96 4/179 21577
/proc/meminfo: memFree=31638492/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=41348 CPUtime=1362.32 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 9665 0 0 0 136230 2 0 0 25 0 1 0 888934894 42340352 9371 33554432000 4194304 6245536 140736368840512 18446744073709551615 4629037 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 10337 9371 229 501 0 9833 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 41348
[startup+1422.31 s]
/proc/loadavg: 3.00 3.00 2.96 4/179 21579
/proc/meminfo: memFree=31636072/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=41856 CPUtime=1422.33 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 9787 0 0 0 142231 2 0 0 25 0 1 0 888934894 42860544 9493 33554432000 4194304 6245536 140736368840512 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 10464 9493 229 501 0 9960 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 41856
[startup+1482.3 s]
/proc/loadavg: 3.00 3.00 2.96 4/179 21580
/proc/meminfo: memFree=31634548/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=42108 CPUtime=1482.33 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 9817 0 0 0 148231 2 0 0 25 0 1 0 888934894 43118592 9523 33554432000 4194304 6245536 140736368840512 18446744073709551615 4628998 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 10527 9523 229 501 0 10023 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 42108
[startup+1542.3 s]
/proc/loadavg: 3.00 3.00 2.96 4/179 21582
/proc/meminfo: memFree=31633236/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=42360 CPUtime=1542.33 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 9918 0 0 0 154231 2 0 0 25 0 1 0 888934894 43376640 9624 33554432000 4194304 6245536 140736368840512 18446744073709551615 4629222 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 10590 9624 229 501 0 10086 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 42360
[startup+1602.3 s]
/proc/loadavg: 3.07 3.02 2.97 4/179 21583
/proc/meminfo: memFree=31631824/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=42960 CPUtime=1602.33 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 10050 0 0 0 160231 2 0 0 25 0 1 0 888934894 43991040 9756 33554432000 4194304 6245536 140736368840512 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 10740 9756 229 501 0 10236 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 42960
[startup+1662.3 s]
/proc/loadavg: 2.98 3.00 2.96 4/179 21624
/proc/meminfo: memFree=31556628/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=43212 CPUtime=1662.33 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 10109 0 0 0 166231 2 0 0 25 0 1 0 888934894 44249088 9815 33554432000 4194304 6245536 140736368840512 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 10803 9815 229 501 0 10299 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 43212
[startup+1722.3 s]
/proc/loadavg: 2.99 3.00 2.96 4/179 21626
/proc/meminfo: memFree=31517536/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=43464 CPUtime=1722.33 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 10141 0 0 0 172231 2 0 0 25 0 1 0 888934894 44507136 9847 33554432000 4194304 6245536 140736368840512 18446744073709551615 4629222 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 10866 9847 229 501 0 10362 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 43464
[startup+1782.3 s]
/proc/loadavg: 2.99 3.00 2.96 4/179 21627
/proc/meminfo: memFree=31491300/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=43464 CPUtime=1782.34 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 10144 0 0 0 178232 2 0 0 25 0 1 0 888934894 44507136 9850 33554432000 4194304 6245536 140736368840512 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 10866 9850 229 501 0 10362 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 43464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.99 3.00 2.96 4/179 21628
/proc/meminfo: memFree=31491040/32950928 swapFree=67048868/67111528
[pid=21540] ppid=21538 vsize=43716 CPUtime=1800.04 cores=0,2,4,6
/proc/21540/stat : 21540 (clasp) R 21538 21540 17848 0 -1 4202496 10219 0 0 0 180002 2 0 0 25 0 1 0 888934894 44765184 9925 33554432000 4194304 6245536 140736368840512 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21540/statm: 10929 9925 229 501 0 10425 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 43716
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.05
CPU user time (s): 1800.03
CPU system time (s): 0.028995
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 43716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.028995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10229
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= 2500
runsolver used 2.44163 second user time and 5.74813 second system time
The end