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-3468254-1307089575/watcher-3468254-1307089575 -o /tmp/evaluation-result-3468254-1307089575/solver-3468254-1307089575 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468254-1307089575.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.91 2.00 1.99 2/498 10172
/proc/meminfo: memFree=29141176/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=12840 CPUtime=0.01 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 625 0 0 0 1 0 0 0 25 0 1 0 820557135 13148160 556 33554432000 4194304 4933572 140737391951264 18446744073709551615 210646807237 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 3210 556 384 181 0 219 0
[startup+0.074885 s]
/proc/loadavg: 1.91 2.00 1.99 2/498 10172
/proc/meminfo: memFree=29141176/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=13236 CPUtime=0.07 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 737 0 0 0 7 0 0 0 25 0 1 0 820557135 13553664 668 33554432000 4194304 4933572 140737391951264 18446744073709551615 4428670 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 3309 668 385 181 0 318 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13236
[startup+0.100878 s]
/proc/loadavg: 1.91 2.00 1.99 2/498 10172
/proc/meminfo: memFree=29141176/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=13368 CPUtime=0.09 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 768 0 0 0 9 0 0 0 25 0 1 0 820557135 13688832 699 33554432000 4194304 4933572 140737391951264 18446744073709551615 4369053 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 3342 699 385 181 0 351 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13368
[startup+0.300856 s]
/proc/loadavg: 1.91 2.00 1.99 2/498 10172
/proc/meminfo: memFree=29141176/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=13764 CPUtime=0.29 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 860 0 0 0 29 0 0 0 25 0 1 0 820557135 14094336 791 33554432000 4194304 4933572 140737391951264 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 3441 791 385 181 0 450 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13764
[startup+0.70079 s]
/proc/loadavg: 1.91 2.00 1.99 2/498 10172
/proc/meminfo: memFree=29141176/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=14160 CPUtime=0.69 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 972 0 0 0 69 0 0 0 25 0 1 0 820557135 14499840 903 33554432000 4194304 4933572 140737391951264 18446744073709551615 4319312 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 3540 903 385 181 0 549 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14160
[startup+1.50065 s]
/proc/loadavg: 1.91 2.00 1.99 3/499 10173
/proc/meminfo: memFree=29135720/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=14800 CPUtime=1.49 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 1115 0 0 0 149 0 0 0 25 0 1 0 820557135 15155200 1046 33554432000 4194304 4933572 140737391951264 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 3700 1046 385 181 0 709 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14800
[startup+3.10034 s]
/proc/loadavg: 1.91 2.00 1.99 3/499 10173
/proc/meminfo: memFree=29133536/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=15592 CPUtime=3.09 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 1311 0 0 0 309 0 0 0 25 0 1 0 820557135 15966208 1242 33554432000 4194304 4933572 140737391951264 18446744073709551615 4329888 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 3898 1242 385 181 0 907 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15592
[startup+6.30085 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 10173
/proc/meminfo: memFree=29130684/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=16488 CPUtime=6.29 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 1545 0 0 0 629 0 0 0 25 0 1 0 820557135 16883712 1476 33554432000 4194304 4933572 140737391951264 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 4122 1476 385 181 0 1131 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16488
[startup+12.7008 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 10173
/proc/meminfo: memFree=29127872/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=17284 CPUtime=12.69 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 1733 0 0 0 1269 0 0 0 25 0 1 0 820557135 17698816 1664 33554432000 4194304 4933572 140737391951264 18446744073709551615 4368908 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 4321 1664 385 181 0 1330 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17284
[startup+25.5006 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 10173
/proc/meminfo: memFree=29124924/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=18572 CPUtime=25.48 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 2078 0 0 0 2548 0 0 0 25 0 1 0 820557135 19017728 2001 33554432000 4194304 4933572 140737391951264 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 4643 2001 385 181 0 1652 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18572
[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 10173
/proc/meminfo: memFree=29121428/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=20428 CPUtime=51.08 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 2538 0 0 0 5108 0 0 0 25 0 1 0 820557135 20918272 2459 33554432000 4194304 4933572 140737391951264 18446744073709551615 4427998 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 5107 2459 385 181 0 2116 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 20428
[startup+102.319 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 10175
/proc/meminfo: memFree=29118316/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=21204 CPUtime=102.3 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 2688 0 0 0 10230 0 0 0 25 0 1 0 820557135 21712896 2605 33554432000 4194304 4933572 140737391951264 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 5301 2605 385 181 0 2310 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 21204
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 10177
/proc/meminfo: memFree=29113456/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=22400 CPUtime=162.28 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 2994 0 0 0 16228 0 0 0 25 0 1 0 820557135 22937600 2911 33554432000 4194304 4933572 140737391951264 18446744073709551615 4428619 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10172/statm: 5600 2911 385 181 0 2609 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 22400
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 10179
/proc/meminfo: memFree=29113692/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=23124 CPUtime=222.26 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 3156 0 0 0 22226 0 0 0 25 0 1 0 820557135 23678976 3073 33554432000 4194304 4933572 140737391951264 18446744073709551615 4331721 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 5781 3073 385 181 0 2790 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 23124
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 10179
/proc/meminfo: memFree=29113052/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=24452 CPUtime=282.26 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 3472 0 0 0 28226 0 0 0 25 0 1 0 820557135 25038848 3389 33554432000 4194304 4933572 140737391951264 18446744073709551615 4649396 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 6113 3389 385 181 0 3122 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 24452
[startup+342.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/499 10181
/proc/meminfo: memFree=29112292/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=24888 CPUtime=342.26 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 3555 0 0 0 34226 0 0 0 25 0 1 0 820557135 25485312 3472 33554432000 4194304 4933572 140737391951264 18446744073709551615 4360923 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 6222 3472 385 181 0 3231 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 24888
[startup+402.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/499 10183
/proc/meminfo: memFree=29111780/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=25176 CPUtime=402.26 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 3647 0 0 0 40226 0 0 0 25 0 1 0 820557135 25780224 3564 33554432000 4194304 4933572 140737391951264 18446744073709551615 4637138 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 6294 3564 385 181 0 3303 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 25176
[startup+462.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 10185
/proc/meminfo: memFree=29110528/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=25476 CPUtime=462.26 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 3698 0 0 0 46226 0 0 0 25 0 1 0 820557135 26087424 3615 33554432000 4194304 4933572 140737391951264 18446744073709551615 4360965 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 6369 3615 385 181 0 3378 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 25476
[startup+522.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/499 10187
/proc/meminfo: memFree=29110880/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=25628 CPUtime=522.26 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 3730 0 0 0 52226 0 0 0 25 0 1 0 820557135 26243072 3647 33554432000 4194304 4933572 140737391951264 18446744073709551615 4664515 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 6407 3647 385 181 0 3416 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 25628
[startup+582.301 s]
/proc/loadavg: 2.12 2.05 2.01 3/499 10187
/proc/meminfo: memFree=29109504/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=26052 CPUtime=582.26 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 3837 0 0 0 58226 0 0 0 25 0 1 0 820557135 26677248 3754 33554432000 4194304 4933572 140737391951264 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 6513 3754 385 181 0 3522 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 26052
[startup+642.301 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/499 10195
/proc/meminfo: memFree=29104960/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=27304 CPUtime=882.25 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 4161 0 0 0 88225 0 0 0 25 0 1 0 820557135 27959296 4060 33554432000 4194304 4933572 140737391951264 18446744073709551615 4332779 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 6826 4060 385 181 0 3835 0
Current children cumulated CPU time (s) 882.25
Current children cumulated vsize (KiB) 27304
[startup+942.301 s]
/proc/loadavg: 2.14 2.07 2.01 3/499 10197
/proc/meminfo: memFree=29105944/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=27436 CPUtime=942.26 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 4173 0 0 0 94226 0 0 0 25 0 1 0 820557135 28094464 4072 33554432000 4194304 4933572 140737391951264 18446744073709551615 4428010 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 6859 4072 385 181 0 3868 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 27436
[startup+1002.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/499 10199
/proc/meminfo: memFree=29105556/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=27436 CPUtime=1002.25 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 4191 0 0 0 100225 0 0 0 25 0 1 0 820557135 28094464 4090 33554432000 4194304 4933572 140737391951264 18446744073709551615 4649399 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 6859 4090 385 181 0 3868 0
Current children cumulated CPU time (s) 1002.25
Current children cumulated vsize (KiB) 27436
[startup+1062.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/499 10201
/proc/meminfo: memFree=29105420/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=27436 CPUtime=1062.25 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 4201 0 0 0 106225 0 0 0 25 0 1 0 820557135 28094464 4100 33554432000 4194304 4933572 140737391951264 18446744073709551615 4368908 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 6859 4100 385 181 0 3868 0
Current children cumulated CPU time (s) 1062.25
Current children cumulated vsize (KiB) 27436
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 10203
/proc/meminfo: memFree=29105152/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=27584 CPUtime=1122.25 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 4208 0 0 0 112225 0 0 0 25 0 1 0 820557135 28246016 4107 33554432000 4194304 4933572 140737391951264 18446744073709551615 4637408 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 6896 4107 385 181 0 3905 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 27584
[startup+1182.3 s]
/proc/loadavg: 2.14 2.07 2.01 3/499 10203
/proc/meminfo: memFree=29103900/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=27584 CPUtime=1182.25 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 4210 0 0 0 118225 0 0 0 25 0 1 0 820557135 28246016 4109 33554432000 4194304 4933572 140737391951264 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 6896 4109 385 181 0 3905 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 27584
[startup+1242.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/499 10205
/proc/meminfo: memFree=29102272/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=28008 CPUtime=1242.25 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 4334 0 0 0 124225 0 0 0 25 0 1 0 820557135 28680192 4233 33554432000 4194304 4933572 140737391951264 18446744073709551615 4368896 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 7002 4233 385 181 0 4011 0
Current children cumulated CPU time (s) 1242.25
Current children cumulated vsize (KiB) 28008
[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/499 10207
/proc/meminfo: memFree=29103004/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=28288 CPUtime=1302.26 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 4383 0 0 0 130226 0 0 0 25 0 1 0 820557135 28966912 4282 33554432000 4194304 4933572 140737391951264 18446744073709551615 4429109 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 7072 4282 385 181 0 4081 0
Current children cumulated CPU time (s) 1302.26
Current children cumulated vsize (KiB) 28288
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 10209
/proc/meminfo: memFree=29103108/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=28408 CPUtime=1362.24 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 4437 0 0 0 136224 0 0 0 25 0 1 0 820557135 29089792 4336 33554432000 4194304 4933572 140737391951264 18446744073709551615 4637219 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 7102 4336 385 181 0 4111 0
Current children cumulated CPU time (s) 1362.24
Current children cumulated vsize (KiB) 28408
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 10211
/proc/meminfo: memFree=29102596/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=28556 CPUtime=1422.26 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 4466 0 0 0 142226 0 0 0 25 0 1 0 820557135 29241344 4365 33554432000 4194304 4933572 140737391951264 18446744073709551615 4649407 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 7139 4365 385 181 0 4148 0
Current children cumulated CPU time (s) 1422.26
Current children cumulated vsize (KiB) 28556
[startup+1482.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/499 10211
/proc/meminfo: memFree=29102084/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=28708 CPUtime=1482.24 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 4498 0 0 0 148224 0 0 0 25 0 1 0 820557135 29396992 4397 33554432000 4194304 4933572 140737391951264 18446744073709551615 4429177 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 7177 4397 385 181 0 4186 0
Current children cumulated CPU time (s) 1482.24
Current children cumulated vsize (KiB) 28708
[startup+1542.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/499 10213
/proc/meminfo: memFree=29102320/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=28708 CPUtime=1542.24 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 4509 0 0 0 154224 0 0 0 25 0 1 0 820557135 29396992 4408 33554432000 4194304 4933572 140737391951264 18446744073709551615 4368960 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/10172/statm: 7177 4408 385 181 0 4186 0
Current children cumulated CPU time (s) 1542.24
Current children cumulated vsize (KiB) 28708
[startup+1602.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/499 10215
/proc/meminfo: memFree=29101920/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=28856 CPUtime=1602.23 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 4544 0 0 0 160223 0 0 0 25 0 1 0 820557135 29548544 4443 33554432000 4194304 4933572 140737391951264 18446744073709551615 4637443 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10172/statm: 7214 4443 385 181 0 4223 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 28856
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 10217
/proc/meminfo: memFree=29102036/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=29008 CPUtime=1662.24 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 4554 0 0 0 166223 1 0 0 25 0 1 0 820557135 29704192 4453 33554432000 4194304 4933572 140737391951264 18446744073709551615 4363265 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10172/statm: 7252 4453 385 181 0 4261 0
Current children cumulated CPU time (s) 1662.24
Current children cumulated vsize (KiB) 29008
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 10219
/proc/meminfo: memFree=29101400/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=29008 CPUtime=1722.24 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 4577 0 0 0 172223 1 0 0 25 0 1 0 820557135 29704192 4476 33554432000 4194304 4933572 140737391951264 18446744073709551615 4664543 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10172/statm: 7252 4476 385 181 0 4261 0
Current children cumulated CPU time (s) 1722.24
Current children cumulated vsize (KiB) 29008
[startup+1782.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/499 10219
/proc/meminfo: memFree=29098912/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=29008 CPUtime=1782.24 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 4577 0 0 0 178222 2 0 0 25 0 1 0 820557135 29704192 4476 33554432000 4194304 4933572 140737391951264 18446744073709551615 4363276 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10172/statm: 7252 4476 385 181 0 4261 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 29008
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.13 2.06 2.01 2/497 10222
/proc/meminfo: memFree=29119264/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=29156 CPUtime=1800.06 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 4586 0 0 0 180004 2 0 0 25 0 1 0 820557135 29855744 4485 33554432000 4194304 4933572 140737391951264 18446744073709551615 4429109 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10172/statm: 7289 4485 385 181 0 4298 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 29156
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.13 2.06 2.01 2/497 10222
/proc/meminfo: memFree=29119264/32951132 swapFree=57925096/67111528
[pid=10172] ppid=10170 vsize=29156 CPUtime=1800.06 cores=0,2,4,6
/proc/10172/stat : 10172 (clasp) R 10170 10172 7222 0 -1 4202496 4586 0 0 0 180004 2 0 0 25 0 1 0 820557135 29855744 4485 33554432000 4194304 4933572 140737391951264 18446744073709551615 4429109 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10172/statm: 7289 4485 385 181 0 4298 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 29156
Child status: 10
Real time (s): 1800.12
CPU time (s): 1800.07
CPU user time (s): 1800.05
CPU system time (s): 0.023996
CPU usage (%): 99.9972
Max. virtual memory (cumulated for all children) (KiB): 29156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.023996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4594
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= 5
involuntary context switches= 3338
runsolver used 9.8395 second user time and 19.3581 second system time
The end