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-3467931-1307116805/watcher-3467931-1307116805 -o /tmp/evaluation-result-3467931-1307116805/solver-3467931-1307116805 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3467931-1307116805.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: 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.33 1.82 1.93 1/493 14200
/proc/meminfo: memFree=30452972/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=14552 CPUtime=0 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 1048 0 0 0 0 0 0 0 25 0 1 0 823281413 14901248 937 33554432000 4194304 4933572 140736364996784 18446744073709551615 270612771525 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 3638 937 329 181 0 647 0
[startup+0.0743061 s]
/proc/loadavg: 1.33 1.82 1.93 1/493 14200
/proc/meminfo: memFree=30452972/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=15704 CPUtime=0.07 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 1599 0 0 0 7 0 0 0 25 0 1 0 823281413 16080896 1286 33554432000 4194304 4933572 140736364996784 18446744073709551615 4630798 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 3926 1286 369 181 0 935 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15704
[startup+0.100305 s]
/proc/loadavg: 1.33 1.82 1.93 1/493 14200
/proc/meminfo: memFree=30452972/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=15704 CPUtime=0.09 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 1605 0 0 0 9 0 0 0 25 0 1 0 823281413 16080896 1292 33554432000 4194304 4933572 140736364996784 18446744073709551615 4341568 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 3926 1292 375 181 0 935 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15704
[startup+0.300269 s]
/proc/loadavg: 1.33 1.82 1.93 1/493 14200
/proc/meminfo: memFree=30452972/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=17552 CPUtime=0.29 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 2061 0 0 0 29 0 0 0 25 0 1 0 823281413 17973248 1748 33554432000 4194304 4933572 140736364996784 18446744073709551615 4319840 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 4388 1748 376 181 0 1397 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17552
[startup+0.700197 s]
/proc/loadavg: 1.33 1.82 1.93 1/493 14200
/proc/meminfo: memFree=30452972/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=21676 CPUtime=0.69 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 3058 0 0 0 69 0 0 0 25 0 1 0 823281413 22196224 2745 33554432000 4194304 4933572 140736364996784 18446744073709551615 4632799 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 5419 2745 376 181 0 2428 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21676
[startup+1.50105 s]
/proc/loadavg: 1.33 1.82 1.93 3/499 14238
/proc/meminfo: memFree=30439164/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=22340 CPUtime=1.49 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 3217 0 0 0 149 0 0 0 25 0 1 0 823281413 22876160 2904 33554432000 4194304 4933572 140736364996784 18446744073709551615 4718416 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 5585 2904 376 181 0 2594 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22340
[startup+3.10077 s]
/proc/loadavg: 1.33 1.82 1.93 3/499 14238
/proc/meminfo: memFree=30435568/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=24328 CPUtime=3.09 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 3730 0 0 0 309 0 0 0 25 0 1 0 823281413 24911872 3417 33554432000 4194304 4933572 140736364996784 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 6082 3417 376 181 0 3091 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24328
[startup+6.3002 s]
/proc/loadavg: 1.38 1.82 1.93 3/499 14238
/proc/meminfo: memFree=30429004/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=29412 CPUtime=6.29 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 4933 0 0 0 629 0 0 0 25 0 1 0 823281413 30117888 4620 33554432000 4194304 4933572 140736364996784 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 7353 4620 376 181 0 4362 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29412
[startup+12.7011 s]
/proc/loadavg: 1.43 1.82 1.93 3/499 14239
/proc/meminfo: memFree=30427276/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=29544 CPUtime=12.69 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 4967 0 0 0 1269 0 0 0 25 0 1 0 823281413 30253056 4654 33554432000 4194304 4933572 140736364996784 18446744073709551615 4630750 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 7386 4654 376 181 0 4395 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29544
[startup+25.5008 s]
/proc/loadavg: 1.56 1.83 1.93 3/499 14411
/proc/meminfo: memFree=30416184/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=37984 CPUtime=25.49 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 6952 0 0 0 2548 1 0 0 25 0 1 0 823281413 38895616 6639 33554432000 4194304 4933572 140736364996784 18446744073709551615 4717269 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 9496 6639 376 181 0 6505 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37984
[startup+51.1003 s]
/proc/loadavg: 1.71 1.84 1.93 3/499 14412
/proc/meminfo: memFree=30410268/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=41476 CPUtime=51.09 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 7849 0 0 0 5108 1 0 0 25 0 1 0 823281413 42471424 7536 33554432000 4194304 4933572 140736364996784 18446744073709551615 4341626 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 10369 7536 376 181 0 7378 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 41476
[startup+102.318 s]
/proc/loadavg: 1.87 1.86 1.93 3/499 14422
/proc/meminfo: memFree=30402888/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=44428 CPUtime=102.31 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 8820 0 0 0 10230 1 0 0 25 0 1 0 823281413 45494272 8283 33554432000 4194304 4933572 140736364996784 18446744073709551615 4632837 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 11107 8283 376 181 0 8116 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 44428
[startup+162.301 s]
/proc/loadavg: 1.95 1.89 1.93 3/499 14423
/proc/meminfo: memFree=30390452/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=54380 CPUtime=162.28 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 11265 0 0 0 16227 1 0 0 25 0 1 0 823281413 55685120 10728 33554432000 4194304 4933572 140736364996784 18446744073709551615 4328783 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 13595 10728 376 181 0 10604 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 54380
[startup+222.301 s]
/proc/loadavg: 1.98 1.90 1.93 3/499 14427
/proc/meminfo: memFree=30384448/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=57880 CPUtime=222.29 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 12183 0 0 0 22228 1 0 0 25 0 1 0 823281413 59269120 11646 33554432000 4194304 4933572 140736364996784 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 14470 11646 376 181 0 11479 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 57880
[startup+282.3 s]
/proc/loadavg: 2.03 1.93 1.94 3/499 14430
/proc/meminfo: memFree=30382620/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=60452 CPUtime=282.28 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 12741 0 0 0 28227 1 0 0 25 0 1 0 823281413 61902848 12204 33554432000 4194304 4933572 140736364996784 18446744073709551615 4637260 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 15113 12204 376 181 0 12122 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 60452
[startup+342.301 s]
/proc/loadavg: 2.05 1.96 1.94 3/499 14431
/proc/meminfo: memFree=30381340/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=60452 CPUtime=342.28 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 12755 0 0 0 34227 1 0 0 25 0 1 0 823281413 61902848 12218 33554432000 4194304 4933572 140736364996784 18446744073709551615 4360906 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 15113 12218 376 181 0 12122 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 60452
[startup+402.301 s]
/proc/loadavg: 2.02 1.96 1.94 3/499 14433
/proc/meminfo: memFree=30375848/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=66104 CPUtime=402.29 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 14188 0 0 0 40227 2 0 0 25 0 1 0 823281413 67690496 13651 33554432000 4194304 4933572 140736364996784 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 16526 13651 376 181 0 13535 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 66104
[startup+462.3 s]
/proc/loadavg: 2.00 1.97 1.94 3/499 14435
/proc/meminfo: memFree=30375328/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=66104 CPUtime=462.29 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 14198 0 0 0 46227 2 0 0 25 0 1 0 823281413 67690496 13661 33554432000 4194304 4933572 140736364996784 18446744073709551615 4363232 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 16526 13661 376 181 0 13535 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 66104
[startup+522.301 s]
/proc/loadavg: 2.10 2.00 1.95 3/499 14436
/proc/meminfo: memFree=30373440/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=67772 CPUtime=522.28 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 14591 0 0 0 52226 2 0 0 25 0 1 0 823281413 69398528 14054 33554432000 4194304 4933572 140736364996784 18446744073709551615 4648657 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 16943 14054 376 181 0 13952 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 67772
[startup+582.3 s]
/proc/loadavg: 2.08 2.01 1.96 3/499 14438
/proc/meminfo: memFree=30371416/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=69228 CPUtime=582.28 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 14948 0 0 0 58226 2 0 0 25 0 1 0 823281413 70889472 14411 33554432000 4194304 4933572 140736364996784 18446744073709551615 4340904 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 17307 14411 376 181 0 14316 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 69228
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.09 2.04 1.97 3/499 14446
/proc/meminfo: memFree=30360912/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=77816 CPUtime=882.28 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 17418 0 0 0 88226 2 0 0 25 0 1 0 823281413 79683584 16549 33554432000 4194304 4933572 140736364996784 18446744073709551615 4360943 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 19454 16549 378 181 0 16463 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 77816
[startup+942.3 s]
/proc/loadavg: 2.03 2.03 1.97 3/499 14447
/proc/meminfo: memFree=30360880/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=78740 CPUtime=942.28 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 17624 0 0 0 94226 2 0 0 25 0 1 0 823281413 80629760 16755 33554432000 4194304 4933572 140736364996784 18446744073709551615 4716992 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 19685 16755 378 181 0 16694 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 78740
[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/499 14449
/proc/meminfo: memFree=30360480/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=78872 CPUtime=1002.27 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 17680 0 0 0 100225 2 0 0 25 0 1 0 823281413 80764928 16811 33554432000 4194304 4933572 140736364996784 18446744073709551615 4363392 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 19718 16811 378 181 0 16727 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 78872
[startup+1062.3 s]
/proc/loadavg: 2.14 2.05 1.98 3/499 14450
/proc/meminfo: memFree=30358588/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=80900 CPUtime=1062.27 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 18281 0 0 0 106225 2 0 0 25 0 1 0 823281413 82841600 17278 33554432000 4194304 4933572 140736364996784 18446744073709551615 4637168 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 20225 17278 378 181 0 17234 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 80900
[startup+1122.3 s]
/proc/loadavg: 2.11 2.05 1.99 3/499 14452
/proc/meminfo: memFree=30356816/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=82128 CPUtime=1122.27 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 18680 0 0 0 112225 2 0 0 25 0 1 0 823281413 84099072 17564 33554432000 4194304 4933572 140736364996784 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 20532 17564 378 181 0 17541 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 82128
[startup+1182.3 s]
/proc/loadavg: 2.04 2.04 1.99 3/499 14454
/proc/meminfo: memFree=30355176/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=83052 CPUtime=1182.27 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 18936 0 0 0 118225 2 0 0 25 0 1 0 823281413 85045248 17820 33554432000 4194304 4933572 140736364996784 18446744073709551615 4717010 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 20763 17820 378 181 0 17772 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 83052
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 1.99 3/499 14455
/proc/meminfo: memFree=30355384/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=83052 CPUtime=1242.27 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 18937 0 0 0 124225 2 0 0 25 0 1 0 823281413 85045248 17821 33554432000 4194304 4933572 140736364996784 18446744073709551615 4368063 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 20763 17821 378 181 0 17772 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 83052
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/499 14457
/proc/meminfo: memFree=30354608/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=83224 CPUtime=1302.28 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 18947 0 0 0 130226 2 0 0 25 0 1 0 823281413 85221376 17831 33554432000 4194304 4933572 140736364996784 18446744073709551615 4328681 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 20806 17831 378 181 0 17815 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 83224
[startup+1362.3 s]
/proc/loadavg: 2.16 2.05 2.00 3/499 14458
/proc/meminfo: memFree=30355072/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=83656 CPUtime=1362.27 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 19046 0 0 0 136225 2 0 0 25 0 1 0 823281413 85663744 17930 33554432000 4194304 4933572 140736364996784 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 20914 17930 378 181 0 17923 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 83656
[startup+1422.32 s]
/proc/loadavg: 2.13 2.06 2.00 3/499 14460
/proc/meminfo: memFree=30354792/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=83920 CPUtime=1422.29 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 19108 0 0 0 142227 2 0 0 25 0 1 0 823281413 85934080 17992 33554432000 4194304 4933572 140736364996784 18446744073709551615 4717062 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 20980 17992 378 181 0 17989 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 83920
[startup+1482.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/499 14462
/proc/meminfo: memFree=30348188/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=90412 CPUtime=1482.27 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 20715 0 0 0 148225 2 0 0 25 0 1 0 823281413 92581888 19599 33554432000 4194304 4933572 140736364996784 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 22603 19599 378 181 0 19612 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 90412
[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 14463
/proc/meminfo: memFree=30347160/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=90948 CPUtime=1542.27 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 21107 0 0 0 154225 2 0 0 25 0 1 0 823281413 93130752 19751 33554432000 4194304 4933572 140736364996784 18446744073709551615 4631976 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 22737 19751 378 181 0 19746 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 90948
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 14465
/proc/meminfo: memFree=30346264/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=92092 CPUtime=1602.27 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 21397 0 0 0 160225 2 0 0 25 0 1 0 823281413 94302208 20041 33554432000 4194304 4933572 140736364996784 18446744073709551615 4632828 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 23023 20041 378 181 0 20032 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 92092
[startup+1662.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/499 14467
/proc/meminfo: memFree=30345604/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=92092 CPUtime=1662.27 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 21617 0 0 0 166225 2 0 0 25 0 1 0 823281413 94302208 20045 33554432000 4194304 4933572 140736364996784 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 23023 20045 378 181 0 20032 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 92092
[startup+1722.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/499 14468
/proc/meminfo: memFree=30345440/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=92292 CPUtime=1722.27 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 21780 0 0 0 172225 2 0 0 25 0 1 0 823281413 94507008 20095 33554432000 4194304 4933572 140736364996784 18446744073709551615 4648609 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 23073 20095 378 181 0 20082 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 92292
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/499 14470
/proc/meminfo: memFree=30344036/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=93052 CPUtime=1782.26 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 21916 0 0 0 178224 2 0 0 25 0 1 0 823281413 95285248 20231 33554432000 4194304 4933572 140736364996784 18446744073709551615 4631889 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 23263 20231 378 181 0 20272 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 93052
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.01 2.04 2.00 3/499 14470
/proc/meminfo: memFree=30343024/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=95144 CPUtime=1800.07 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 22365 0 0 0 180005 2 0 0 25 0 1 0 823281413 97427456 20680 33554432000 4194304 4933572 140736364996784 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 23786 20680 378 181 0 20795 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 95144
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.01 2.04 2.00 3/499 14470
/proc/meminfo: memFree=30343024/32951124 swapFree=53876548/67111528
[pid=14200] ppid=14198 vsize=95144 CPUtime=1800.07 cores=1,3,5,7
/proc/14200/stat : 14200 (clasp) R 14198 14200 12330 0 -1 4202496 22365 0 0 0 180005 2 0 0 25 0 1 0 823281413 97427456 20680 33554432000 4194304 4933572 140736364996784 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14200/statm: 23786 20680 378 181 0 20795 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 95144
Child status: 0
Real time (s): 1800.12
CPU time (s): 1800.1
CPU user time (s): 1800.07
CPU system time (s): 0.032994
CPU usage (%): 99.9986
Max. virtual memory (cumulated for all children) (KiB): 95144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.07
system time used= 0.032994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22377
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= 3185
runsolver used 8.71167 second user time and 20.7658 second system time
The end