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-3468030-1307114233/watcher-3468030-1307114233 -o /tmp/evaluation-result-3468030-1307114233/solver-3468030-1307114233 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468030-1307114233.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.93 1.99 1.99 4/443 15360
/proc/meminfo: memFree=29939220/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=14008 CPUtime=0 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 903 0 0 0 0 0 0 0 19 0 1 0 901653995 14344192 800 33554432000 4194304 4933572 140736091148512 18446744073709551615 231895490304 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 3502 800 331 181 0 511 0
[startup+0.101922 s]
/proc/loadavg: 1.93 1.99 1.99 4/443 15360
/proc/meminfo: memFree=29939220/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=15900 CPUtime=0.09 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 1588 0 0 0 9 0 0 0 19 0 1 0 901653995 16281600 1304 33554432000 4194304 4933572 140736091148512 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 3975 1304 373 181 0 984 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15900
[startup+0.200895 s]
/proc/loadavg: 1.93 1.99 1.99 4/443 15360
/proc/meminfo: memFree=29939220/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=15900 CPUtime=0.19 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 1595 0 0 0 19 0 0 0 20 0 1 0 901653995 16281600 1311 33554432000 4194304 4933572 140736091148512 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 3975 1311 380 181 0 984 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 15900
[startup+0.300884 s]
/proc/loadavg: 1.93 1.99 1.99 4/443 15360
/proc/meminfo: memFree=29939220/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=15900 CPUtime=0.29 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 1595 0 0 0 29 0 0 0 20 0 1 0 901653995 16281600 1311 33554432000 4194304 4933572 140736091148512 18446744073709551615 4648384 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 3975 1311 380 181 0 984 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15900
[startup+0.700806 s]
/proc/loadavg: 1.93 1.99 1.99 4/443 15360
/proc/meminfo: memFree=29939220/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=15900 CPUtime=0.69 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 1595 0 0 0 69 0 0 0 21 0 1 0 901653995 16281600 1311 33554432000 4194304 4933572 140736091148512 18446744073709551615 4649236 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 3975 1311 380 181 0 984 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15900
[startup+1.50066 s]
/proc/loadavg: 1.93 1.99 1.99 3/444 15361
/proc/meminfo: memFree=29934352/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=16032 CPUtime=1.49 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 1650 0 0 0 149 0 0 0 23 0 1 0 901653995 16416768 1366 33554432000 4194304 4933572 140736091148512 18446744073709551615 4368953 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 4008 1366 380 181 0 1017 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16032
[startup+3.10036 s]
/proc/loadavg: 1.93 1.99 1.99 3/444 15361
/proc/meminfo: memFree=29933608/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=16560 CPUtime=3.09 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 1784 0 0 0 309 0 0 0 25 0 1 0 901653995 16957440 1500 33554432000 4194304 4933572 140736091148512 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 4140 1500 380 181 0 1149 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16560
[startup+6.30076 s]
/proc/loadavg: 2.01 2.01 2.00 3/444 15362
/proc/meminfo: memFree=29932740/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=17100 CPUtime=6.29 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 1893 0 0 0 629 0 0 0 25 0 1 0 901653995 17510400 1609 33554432000 4194304 4933572 140736091148512 18446744073709551615 4328162 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 4275 1609 380 181 0 1284 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17100
[startup+12.7006 s]
/proc/loadavg: 2.01 2.00 2.00 3/444 15362
/proc/meminfo: memFree=29930756/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=17896 CPUtime=12.69 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 2116 0 0 0 1269 0 0 0 25 0 1 0 901653995 18325504 1832 33554432000 4194304 4933572 140736091148512 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 4474 1832 380 181 0 1483 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17896
[startup+25.5011 s]
/proc/loadavg: 2.01 2.00 2.00 3/444 15362
/proc/meminfo: memFree=29929528/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=19240 CPUtime=25.49 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 2447 0 0 0 2549 0 0 0 25 0 1 0 901653995 19701760 2163 33554432000 4194304 4933572 140736091148512 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 4810 2163 380 181 0 1819 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19240
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 15363
/proc/meminfo: memFree=29928112/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=20476 CPUtime=51.09 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 2740 0 0 0 5109 0 0 0 25 0 1 0 901653995 20967424 2456 33554432000 4194304 4933572 140736091148512 18446744073709551615 4635240 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 5119 2456 380 181 0 2128 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 20476
[startup+102.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/444 15364
/proc/meminfo: memFree=29926464/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=22172 CPUtime=102.3 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 3139 0 0 0 10230 0 0 0 25 0 1 0 901653995 22704128 2855 33554432000 4194304 4933572 140736091148512 18446744073709551615 4637408 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 5543 2855 380 181 0 2552 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 22172
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/444 15366
/proc/meminfo: memFree=29923208/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=23972 CPUtime=162.3 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 3564 0 0 0 16230 0 0 0 25 0 1 0 901653995 24547328 3280 33554432000 4194304 4933572 140736091148512 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 5993 3280 380 181 0 3002 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 23972
[startup+222.316 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 15367
/proc/meminfo: memFree=29921792/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=25328 CPUtime=222.31 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 3900 0 0 0 22231 0 0 0 25 0 1 0 901653995 25935872 3616 33554432000 4194304 4933572 140736091148512 18446744073709551615 4648904 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 6332 3616 380 181 0 3341 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 25328
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 15397
/proc/meminfo: memFree=29943032/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=26160 CPUtime=282.3 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 4107 0 0 0 28230 0 0 0 25 0 1 0 901653995 26787840 3823 33554432000 4194304 4933572 140736091148512 18446744073709551615 4718587 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 6540 3823 380 181 0 3549 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 26160
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 15399
/proc/meminfo: memFree=29940740/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=27972 CPUtime=342.3 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 4531 0 0 0 34230 0 0 0 25 0 1 0 901653995 28643328 4247 33554432000 4194304 4933572 140736091148512 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 6993 4247 380 181 0 4002 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 27972
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 15400
/proc/meminfo: memFree=29937604/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=29716 CPUtime=402.3 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 4957 0 0 0 40230 0 0 0 25 0 1 0 901653995 30429184 4673 33554432000 4194304 4933572 140736091148512 18446744073709551615 4368896 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 7429 4673 380 181 0 4438 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 29716
[startup+462.301 s]
/proc/loadavg: 2.11 2.03 2.01 3/444 15402
/proc/meminfo: memFree=29936780/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=30552 CPUtime=462.3 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 5161 0 0 0 46230 0 0 0 25 0 1 0 901653995 31285248 4877 33554432000 4194304 4933572 140736091148512 18446744073709551615 4649366 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 7638 4877 380 181 0 4647 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 30552
[startup+522.301 s]
/proc/loadavg: 2.19 2.05 2.01 3/444 15403
/proc/meminfo: memFree=29935376/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=31696 CPUtime=522.3 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 5438 0 0 0 52230 0 0 0 25 0 1 0 901653995 32456704 5154 33554432000 4194304 4933572 140736091148512 18446744073709551615 4648384 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 7924 5154 380 181 0 4933 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 31696
[startup+582.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/444 15405
/proc/meminfo: memFree=29933808/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=32676 CPUtime=582.32 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 5654 0 0 0 58231 1 0 0 25 0 1 0 901653995 33460224 5370 33554432000 4194304 4933572 140736091148512 18446744073709551615 4368908 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 8169 5370 380 181 0 5178 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 32676
[startup+642.301 s]
################
# More data... #
################
[startup+882.317 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 15413
/proc/meminfo: memFree=29930960/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=36344 CPUtime=882.34 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 6552 0 0 0 88233 1 0 0 25 0 1 0 901653995 37216256 6268 33554432000 4194304 4933572 140736091148512 18446744073709551615 4632847 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 9086 6268 380 181 0 6095 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 36344
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 15414
/proc/meminfo: memFree=29930416/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=37316 CPUtime=942.33 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 6743 0 0 0 94232 1 0 0 25 0 1 0 901653995 38211584 6459 33554432000 4194304 4933572 140736091148512 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 9329 6459 380 181 0 6338 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 37316
[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/444 15416
/proc/meminfo: memFree=29930244/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=37484 CPUtime=1002.33 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 6804 0 0 0 100232 1 0 0 25 0 1 0 901653995 38383616 6520 33554432000 4194304 4933572 140736091148512 18446744073709551615 4649590 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 9371 6520 380 181 0 6380 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 37484
[startup+1062.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/444 15418
/proc/meminfo: memFree=29930548/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=37624 CPUtime=1062.33 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 6828 0 0 0 106232 1 0 0 25 0 1 0 901653995 38526976 6544 33554432000 4194304 4933572 140736091148512 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 9406 6544 380 181 0 6415 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 37624
[startup+1122.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/444 15419
/proc/meminfo: memFree=29928032/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=39620 CPUtime=1122.33 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 7321 0 0 0 112232 1 0 0 25 0 1 0 901653995 40570880 7037 33554432000 4194304 4933572 140736091148512 18446744073709551615 4368908 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 9905 7037 380 181 0 6914 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 39620
[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/444 15421
/proc/meminfo: memFree=29927716/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=40156 CPUtime=1182.33 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 7454 0 0 0 118232 1 0 0 25 0 1 0 901653995 41119744 7170 33554432000 4194304 4933572 140736091148512 18446744073709551615 4363270 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 10039 7170 380 181 0 7048 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 40156
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 15422
/proc/meminfo: memFree=29926792/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=40888 CPUtime=1242.34 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 7716 0 0 0 124233 1 0 0 25 0 1 0 901653995 41869312 7359 33554432000 4194304 4933572 140736091148512 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 10222 7359 381 181 0 7231 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 40888
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 15426
/proc/meminfo: memFree=29926348/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=41848 CPUtime=1302.34 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 7952 0 0 0 130233 1 0 0 25 0 1 0 901653995 42852352 7595 33554432000 4194304 4933572 140736091148512 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 10462 7595 381 181 0 7471 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 41848
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 15429
/proc/meminfo: memFree=29926356/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=41748 CPUtime=1362.34 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 8008 0 0 0 136233 1 0 0 25 0 1 0 901653995 42749952 7585 33554432000 4194304 4933572 140736091148512 18446744073709551615 4648673 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 10437 7585 381 181 0 7446 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 41748
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 15430
/proc/meminfo: memFree=29925556/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=42312 CPUtime=1422.35 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 8121 0 0 0 142234 1 0 0 25 0 1 0 901653995 43327488 7698 33554432000 4194304 4933572 140736091148512 18446744073709551615 4330095 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 10578 7698 381 181 0 7587 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 42312
[startup+1482.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/444 15432
/proc/meminfo: memFree=29925004/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=42480 CPUtime=1482.34 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 8172 0 0 0 148233 1 0 0 25 0 1 0 901653995 43499520 7749 33554432000 4194304 4933572 140736091148512 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 10620 7749 381 181 0 7629 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 42480
[startup+1542.32 s]
/proc/loadavg: 2.11 2.04 2.01 3/444 15434
/proc/meminfo: memFree=29923600/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=43056 CPUtime=1542.36 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 8298 0 0 0 154235 1 0 0 25 0 1 0 901653995 44089344 7875 33554432000 4194304 4933572 140736091148512 18446744073709551615 4648973 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 10764 7875 381 181 0 7773 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 43056
[startup+1602.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/444 15435
/proc/meminfo: memFree=29924656/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=43264 CPUtime=1602.35 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 8353 0 0 0 160234 1 0 0 25 0 1 0 901653995 44302336 7930 33554432000 4194304 4933572 140736091148512 18446744073709551615 4369049 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 10816 7930 381 181 0 7825 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 43264
[startup+1662.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/444 15437
/proc/meminfo: memFree=29923844/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=43436 CPUtime=1662.35 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 8371 0 0 0 166234 1 0 0 25 0 1 0 901653995 44478464 7948 33554432000 4194304 4933572 140736091148512 18446744073709551615 4331721 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 10859 7948 381 181 0 7868 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 43436
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/444 15438
/proc/meminfo: memFree=29923548/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=43772 CPUtime=1722.35 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 8465 0 0 0 172234 1 0 0 25 0 1 0 901653995 44822528 8042 33554432000 4194304 4933572 140736091148512 18446744073709551615 4648673 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 10943 8042 383 181 0 7952 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 43772
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/444 15440
/proc/meminfo: memFree=29922500/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=44080 CPUtime=1782.35 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 8558 0 0 0 178234 1 0 0 25 0 1 0 901653995 45137920 8135 33554432000 4194304 4933572 140736091148512 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 11020 8135 383 181 0 8029 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 44080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 15440
/proc/meminfo: memFree=29922732/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=44080 CPUtime=1800.06 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 8562 0 0 0 180005 1 0 0 25 0 1 0 901653995 45137920 8139 33554432000 4194304 4933572 140736091148512 18446744073709551615 4648944 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 11020 8139 383 181 0 8029 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 44080
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 15440
/proc/meminfo: memFree=29922732/32950928 swapFree=52246700/67111528
[pid=15360] ppid=15358 vsize=44080 CPUtime=1800.06 cores=1,3,5,7
/proc/15360/stat : 15360 (clasp) R 15358 15360 13866 0 -1 4202496 8562 0 0 0 180005 1 0 0 25 0 1 0 901653995 45137920 8139 33554432000 4194304 4933572 140736091148512 18446744073709551615 4648944 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/15360/statm: 11020 8139 383 181 0 8029 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 44080
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.08
CPU user time (s): 1800.06
CPU system time (s): 0.018997
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 44080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.018997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8575
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= 10
involuntary context switches= 4234
runsolver used 7.39288 second user time and 18.0613 second system time
The end