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-3468123-1307099478/watcher-3468123-1307099478 -o /tmp/evaluation-result-3468123-1307099478/solver-3468123-1307099478 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468123-1307099478.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: 2.02 2.04 2.00 1/559 29077
/proc/meminfo: memFree=30189692/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=14440 CPUtime=0.01 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 1104 0 0 0 1 0 0 0 25 0 1 0 821546469 14786560 863 33554432000 4194304 4933572 140733443049344 18446744073709551615 251813900997 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 3610 863 331 181 0 619 0
[startup+0.051259 s]
/proc/loadavg: 2.02 2.04 2.00 1/559 29077
/proc/meminfo: memFree=30189692/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=17624 CPUtime=0.04 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 2207 0 0 0 4 0 0 0 25 0 1 0 821546469 18046976 1651 33554432000 4194304 4933572 140733443049344 18446744073709551615 4598707 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 4406 1651 346 181 0 1415 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17624
[startup+0.100252 s]
/proc/loadavg: 2.02 2.04 2.00 1/559 29077
/proc/meminfo: memFree=30189692/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=19628 CPUtime=0.09 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 2687 0 0 0 9 0 0 0 25 0 1 0 821546469 20099072 2131 33554432000 4194304 4933572 140733443049344 18446744073709551615 4587815 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 4907 2131 348 181 0 1916 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19628
[startup+0.300277 s]
/proc/loadavg: 2.02 2.04 2.00 1/559 29077
/proc/meminfo: memFree=30189692/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=18544 CPUtime=0.29 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 2716 0 0 0 29 0 0 0 25 0 1 0 821546469 18989056 1945 33554432000 4194304 4933572 140733443049344 18446744073709551615 4663917 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 4636 1945 377 181 0 1645 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18544
[startup+0.700219 s]
/proc/loadavg: 2.02 2.04 2.00 1/559 29077
/proc/meminfo: memFree=30189692/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=28492 CPUtime=0.69 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 5238 0 0 0 69 0 0 0 25 0 1 0 821546469 29175808 4467 33554432000 4194304 4933572 140733443049344 18446744073709551615 251813900997 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 7123 4467 384 181 0 4132 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28492
[startup+1.50113 s]
/proc/loadavg: 2.02 2.04 2.00 3/562 29105
/proc/meminfo: memFree=30145740/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=52088 CPUtime=1.49 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 11158 0 0 0 148 1 0 0 25 0 1 0 821546469 53338112 10387 33554432000 4194304 4933572 140733443049344 18446744073709551615 251813900997 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 13022 10387 384 181 0 10031 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52088
[startup+3.10086 s]
/proc/loadavg: 2.02 2.04 2.00 3/562 29105
/proc/meminfo: memFree=30076548/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=73556 CPUtime=3.1 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 16503 0 0 0 308 2 0 0 25 0 1 0 821546469 75321344 15732 33554432000 4194304 4933572 140733443049344 18446744073709551615 4341702 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 18389 15732 384 181 0 15398 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 73556
[startup+6.30021 s]
/proc/loadavg: 2.02 2.04 2.00 3/562 29105
/proc/meminfo: memFree=30049064/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=87380 CPUtime=6.29 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 19969 0 0 0 627 2 0 0 25 0 1 0 821546469 89477120 19198 33554432000 4194304 4933572 140733443049344 18446744073709551615 4632085 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 21845 19198 384 181 0 18854 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 87380
[startup+12.7001 s]
/proc/loadavg: 2.18 2.07 2.01 3/562 29105
/proc/meminfo: memFree=30011632/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=104740 CPUtime=12.69 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 24289 0 0 0 1267 2 0 0 25 0 1 0 821546469 107253760 23518 33554432000 4194304 4933572 140733443049344 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 26185 23518 386 181 0 23194 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 104740
[startup+25.5011 s]
/proc/loadavg: 2.14 2.07 2.01 3/562 29105
/proc/meminfo: memFree=29969988/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=119688 CPUtime=25.49 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 28041 0 0 0 2546 3 0 0 25 0 1 0 821546469 122560512 27270 33554432000 4194304 4933572 140733443049344 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 29922 27270 386 181 0 26931 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 119688
[startup+51.1008 s]
/proc/loadavg: 2.15 2.08 2.02 3/562 29106
/proc/meminfo: memFree=29920600/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=144540 CPUtime=51.09 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 34231 0 0 0 5105 4 0 0 25 0 1 0 821546469 148008960 33460 33554432000 4194304 4933572 140733443049344 18446744073709551615 4635474 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 36135 33460 386 181 0 33144 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 144540
[startup+102.321 s]
/proc/loadavg: 2.11 2.08 2.02 3/562 29107
/proc/meminfo: memFree=29868012/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=170660 CPUtime=102.31 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 40771 0 0 0 10226 5 0 0 25 0 1 0 821546469 174755840 40000 33554432000 4194304 4933572 140733443049344 18446744073709551615 4632837 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 42665 40000 386 181 0 39674 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 170660
[startup+162.301 s]
/proc/loadavg: 2.08 2.08 2.02 3/562 29109
/proc/meminfo: memFree=29830288/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=185688 CPUtime=162.29 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 46209 0 0 0 16223 6 0 0 25 0 1 0 821546469 190144512 43757 33554432000 4194304 4933572 140733443049344 18446744073709551615 4360876 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 46422 43757 387 181 0 43431 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 185688
[startup+222.301 s]
/proc/loadavg: 2.03 2.06 2.01 3/562 29111
/proc/meminfo: memFree=29807072/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=194224 CPUtime=222.29 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 48317 0 0 0 22223 6 0 0 25 0 1 0 821546469 198885376 45865 33554432000 4194304 4933572 140733443049344 18446744073709551615 4649369 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 48556 45865 387 181 0 45565 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 194224
[startup+282.301 s]
/proc/loadavg: 2.01 2.05 2.00 3/562 29112
/proc/meminfo: memFree=29780768/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=212480 CPUtime=282.29 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 52874 0 0 0 28222 7 0 0 25 0 1 0 821546469 217579520 50422 33554432000 4194304 4933572 140733443049344 18446744073709551615 4360903 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 53120 50422 387 181 0 50129 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 212480
[startup+342.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/562 29114
/proc/meminfo: memFree=29754580/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=227348 CPUtime=342.3 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 56616 0 0 0 34222 8 0 0 25 0 1 0 821546469 232804352 54164 33554432000 4194304 4933572 140733443049344 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 56837 54164 387 181 0 53846 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 227348
[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/562 29115
/proc/meminfo: memFree=29732988/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=238328 CPUtime=402.29 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 60269 0 0 0 40221 8 0 0 25 0 1 0 821546469 244047872 56882 33554432000 4194304 4933572 140733443049344 18446744073709551615 4341626 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 59582 56882 387 181 0 56591 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 238328
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 29117
/proc/meminfo: memFree=29730224/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=239136 CPUtime=462.3 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 60462 0 0 0 46222 8 0 0 25 0 1 0 821546469 244875264 57075 33554432000 4194304 4933572 140733443049344 18446744073709551615 4341648 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 59784 57075 387 181 0 56793 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 239136
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 29119
/proc/meminfo: memFree=29704036/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=251576 CPUtime=522.3 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 63572 0 0 0 52221 9 0 0 25 0 1 0 821546469 257613824 60185 33554432000 4194304 4933572 140733443049344 18446744073709551615 4368138 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 62894 60185 387 181 0 59903 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 251576
[startup+582.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/562 29120
/proc/meminfo: memFree=29686284/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=262104 CPUtime=582.3 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 69618 0 0 0 58220 10 0 0 25 0 1 0 821546469 268394496 62798 33554432000 4194304 4933572 140733443049344 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 65526 62798 387 181 0 62535 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 262104
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.02 2.05 2.00 3/562 29127
/proc/meminfo: memFree=29660160/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=282168 CPUtime=822.31 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 74634 0 0 0 82220 11 0 0 25 0 1 0 821546469 288940032 67814 33554432000 4194304 4933572 140733443049344 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 70542 67814 387 181 0 67551 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 282168
[startup+882.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/562 29128
/proc/meminfo: memFree=29633732/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=290016 CPUtime=882.31 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 80290 0 0 0 88219 12 0 0 25 0 1 0 821546469 296976384 69740 33554432000 4194304 4933572 140733443049344 18446744073709551615 4341552 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 72504 69740 387 181 0 69513 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 290016
[startup+942.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/562 29130
/proc/meminfo: memFree=29628256/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=293332 CPUtime=942.31 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 81129 0 0 0 94219 12 0 0 25 0 1 0 821546469 300371968 70579 33554432000 4194304 4933572 140733443049344 18446744073709551615 4414950 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 73333 70579 387 181 0 70342 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 293332
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 29131
/proc/meminfo: memFree=29626124/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=295712 CPUtime=1002.31 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 81735 0 0 0 100219 12 0 0 25 0 1 0 821546469 302809088 71185 33554432000 4194304 4933572 140733443049344 18446744073709551615 4360892 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 73928 71185 387 181 0 70937 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 295712
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 29133
/proc/meminfo: memFree=29625720/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=295712 CPUtime=1062.31 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 81735 0 0 0 106219 12 0 0 25 0 1 0 821546469 302809088 71185 33554432000 4194304 4933572 140733443049344 18446744073709551615 4341590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 73928 71185 387 181 0 70937 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 295712
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 29135
/proc/meminfo: memFree=29624220/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=296644 CPUtime=1122.31 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 81967 0 0 0 112219 12 0 0 25 0 1 0 821546469 303763456 71417 33554432000 4194304 4933572 140733443049344 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 74161 71417 387 181 0 71170 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 296644
[startup+1182.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/562 29136
/proc/meminfo: memFree=29621972/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=297712 CPUtime=1182.31 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 82219 0 0 0 118219 12 0 0 25 0 1 0 821546469 304857088 71669 33554432000 4194304 4933572 140733443049344 18446744073709551615 4632085 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 74428 71669 387 181 0 71437 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 297712
[startup+1242.3 s]
/proc/loadavg: 2.24 2.07 2.02 3/562 29138
/proc/meminfo: memFree=29609560/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=312592 CPUtime=1242.31 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 86685 0 0 0 124218 13 0 0 25 0 1 0 821546469 320094208 75396 33554432000 4194304 4933572 140733443049344 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 78148 75396 387 181 0 75157 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 312592
[startup+1302.3 s]
/proc/loadavg: 2.16 2.07 2.02 3/562 29139
/proc/meminfo: memFree=29580636/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=313264 CPUtime=1302.33 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 86874 0 0 0 130220 13 0 0 25 0 1 0 821546469 320782336 75585 33554432000 4194304 4933572 140733443049344 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 78316 75585 387 181 0 75325 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 313264
[startup+1362.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/562 29141
/proc/meminfo: memFree=29574020/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=320940 CPUtime=1362.31 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 88795 0 0 0 136218 13 0 0 25 0 1 0 821546469 328642560 77506 33554432000 4194304 4933572 140733443049344 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 80235 77506 387 181 0 77244 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 320940
[startup+1422.32 s]
/proc/loadavg: 2.02 2.04 2.01 3/562 29143
/proc/meminfo: memFree=29568280/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=327888 CPUtime=1422.33 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 90514 0 0 0 142220 13 0 0 25 0 1 0 821546469 335757312 79225 33554432000 4194304 4933572 140733443049344 18446744073709551615 4637260 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 81972 79225 387 181 0 78981 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 327888
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/562 29144
/proc/meminfo: memFree=29567260/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=327888 CPUtime=1482.31 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 90520 0 0 0 148218 13 0 0 25 0 1 0 821546469 335757312 79231 33554432000 4194304 4933572 140733443049344 18446744073709551615 4340904 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 81972 79231 387 181 0 78981 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 327888
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 29146
/proc/meminfo: memFree=29568216/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=327888 CPUtime=1542.31 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 90524 0 0 0 154218 13 0 0 25 0 1 0 821546469 335757312 79235 33554432000 4194304 4933572 140733443049344 18446744073709551615 4328785 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 81972 79235 387 181 0 78981 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 327888
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 29147
/proc/meminfo: memFree=29568192/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=327888 CPUtime=1602.31 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 90534 0 0 0 160218 13 0 0 25 0 1 0 821546469 335757312 79245 33554432000 4194304 4933572 140733443049344 18446744073709551615 4341849 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 81972 79245 387 181 0 78981 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 327888
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 29149
/proc/meminfo: memFree=29564660/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=327888 CPUtime=1662.31 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 90541 0 0 0 166218 13 0 0 25 0 1 0 821546469 335757312 79252 33554432000 4194304 4933572 140733443049344 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 81972 79252 387 181 0 78981 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 327888
[startup+1722.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/562 29151
/proc/meminfo: memFree=29562020/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=328952 CPUtime=1722.32 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 90808 0 0 0 172219 13 0 0 25 0 1 0 821546469 336846848 79519 33554432000 4194304 4933572 140733443049344 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 82238 79519 387 181 0 79247 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 328952
[startup+1782.3 s]
/proc/loadavg: 2.17 2.06 2.01 3/562 29152
/proc/meminfo: memFree=29559508/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=328952 CPUtime=1782.32 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 90812 0 0 0 178219 13 0 0 25 0 1 0 821546469 336846848 79523 33554432000 4194304 4933572 140733443049344 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 82238 79523 387 181 0 79247 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 328952
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.28 2.09 2.02 3/562 29153
/proc/meminfo: memFree=29560976/32950928 swapFree=41528364/67111528
[pid=29077] ppid=29075 vsize=328952 CPUtime=1800.04 cores=0,2,4,6
/proc/29077/stat : 29077 (clasp) R 29075 29077 28517 0 -1 4202496 90812 0 0 0 179991 13 0 0 25 0 1 0 821546469 336846848 79523 33554432000 4194304 4933572 140733443049344 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29077/statm: 82238 79523 387 181 0 79247 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 328952
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.04
CPU time (s): 1800.07
CPU user time (s): 1799.91
CPU system time (s): 0.152976
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 328952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.152976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90820
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= 2762
runsolver used 10.5954 second user time and 22.4386 second system time
The end