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-3468589-1307077645/watcher-3468589-1307077645 -o /tmp/evaluation-result-3468589-1307077645/solver-3468589-1307077645 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468589-1307077645.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.88 1.99 2.08 3/482 7291
/proc/meminfo: memFree=24960916/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=12724 CPUtime=0 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 600 0 0 0 0 0 0 0 25 0 1 0 897995203 13029376 524 33554432000 4194304 4933572 140736787254752 18446744073709551615 260905054917 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 3181 524 367 181 0 190 0
[startup+0.105439 s]
/proc/loadavg: 1.88 1.99 2.08 3/482 7291
/proc/meminfo: memFree=24960916/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=13520 CPUtime=0.1 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 791 0 0 0 10 0 0 0 25 0 1 0 897995203 13844480 715 33554432000 4194304 4933572 140736787254752 18446744073709551615 4664056 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 3380 715 374 181 0 389 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13520
[startup+0.200421 s]
/proc/loadavg: 1.88 1.99 2.08 3/482 7291
/proc/meminfo: memFree=24960916/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=13652 CPUtime=0.19 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 851 0 0 0 19 0 0 0 25 0 1 0 897995203 13979648 775 33554432000 4194304 4933572 140736787254752 18446744073709551615 4632115 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 3413 775 374 181 0 422 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13652
[startup+0.300403 s]
/proc/loadavg: 1.88 1.99 2.08 3/482 7291
/proc/meminfo: memFree=24960916/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=13916 CPUtime=0.29 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 899 0 0 0 29 0 0 0 25 0 1 0 897995203 14249984 823 33554432000 4194304 4933572 140736787254752 18446744073709551615 4648519 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 3479 823 374 181 0 488 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13916
[startup+0.70033 s]
/proc/loadavg: 1.88 1.99 2.08 3/482 7291
/proc/meminfo: memFree=24960916/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=14444 CPUtime=0.69 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 1039 0 0 0 69 0 0 0 25 0 1 0 897995203 14790656 963 33554432000 4194304 4933572 140736787254752 18446744073709551615 4632982 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 3611 963 374 181 0 620 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14444
[startup+1.50018 s]
/proc/loadavg: 1.88 1.99 2.08 3/484 7293
/proc/meminfo: memFree=24951988/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=14976 CPUtime=1.49 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 1179 0 0 0 149 0 0 0 25 0 1 0 897995203 15335424 1103 33554432000 4194304 4933572 140736787254752 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 3744 1103 374 181 0 753 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14976
[startup+3.10089 s]
/proc/loadavg: 1.88 1.99 2.08 3/484 7294
/proc/meminfo: memFree=24948392/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=16056 CPUtime=3.09 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 1454 0 0 0 309 0 0 0 25 0 1 0 897995203 16441344 1378 33554432000 4194304 4933572 140736787254752 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 4014 1378 374 181 0 1023 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16056
[startup+6.3003 s]
/proc/loadavg: 1.89 1.99 2.08 4/484 7294
/proc/meminfo: memFree=24945508/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=16584 CPUtime=6.29 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 1565 0 0 0 629 0 0 0 25 0 1 0 897995203 16982016 1489 33554432000 4194304 4933572 140736787254752 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 4146 1489 374 181 0 1155 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16584
[startup+12.7001 s]
/proc/loadavg: 1.89 1.99 2.08 3/484 7294
/proc/meminfo: memFree=24942808/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=17124 CPUtime=12.69 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 1711 0 0 0 1269 0 0 0 25 0 1 0 897995203 17534976 1635 33554432000 4194304 4933572 140736787254752 18446744073709551615 4319295 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 4281 1635 374 181 0 1290 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17124
[startup+25.5008 s]
/proc/loadavg: 1.92 1.99 2.07 3/484 7294
/proc/meminfo: memFree=24940452/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=18052 CPUtime=25.49 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 1952 0 0 0 2549 0 0 0 25 0 1 0 897995203 18485248 1876 33554432000 4194304 4933572 140736787254752 18446744073709551615 4632837 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 4513 1876 374 181 0 1522 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18052
[startup+51.1011 s]
/proc/loadavg: 1.94 1.99 2.07 3/484 7295
/proc/meminfo: memFree=24938936/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=18692 CPUtime=51.09 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 2107 0 0 0 5109 0 0 0 25 0 1 0 897995203 19140608 2031 33554432000 4194304 4933572 140736787254752 18446744073709551615 4360863 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 4673 2031 375 181 0 1682 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 18692
[startup+102.301 s]
/proc/loadavg: 1.97 1.99 2.07 3/484 7296
/proc/meminfo: memFree=24937168/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=19312 CPUtime=102.3 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 2264 0 0 0 10230 0 0 0 25 0 1 0 897995203 19775488 2188 33554432000 4194304 4933572 140736787254752 18446744073709551615 4718373 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 4828 2188 375 181 0 1837 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 19312
[startup+162.301 s]
/proc/loadavg: 1.99 1.99 2.06 3/484 7298
/proc/meminfo: memFree=24933524/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=19944 CPUtime=162.3 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 2417 0 0 0 16230 0 0 0 25 0 1 0 897995203 20422656 2341 33554432000 4194304 4933572 140736787254752 18446744073709551615 4637154 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 4986 2341 375 181 0 1995 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 19944
[startup+222.319 s]
/proc/loadavg: 1.99 1.99 2.05 3/484 7299
/proc/meminfo: memFree=24933380/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=20404 CPUtime=222.32 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 2533 0 0 0 22232 0 0 0 25 0 1 0 897995203 20893696 2457 33554432000 4194304 4933572 140736787254752 18446744073709551615 4637189 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 5101 2457 375 181 0 2110 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 20404
[startup+282.301 s]
/proc/loadavg: 1.99 1.99 2.05 4/484 7301
/proc/meminfo: memFree=24933976/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=21148 CPUtime=282.3 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 2711 0 0 0 28230 0 0 0 25 0 1 0 897995203 21655552 2635 33554432000 4194304 4933572 140736787254752 18446744073709551615 4649369 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 5287 2635 375 181 0 2296 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 21148
[startup+342.301 s]
/proc/loadavg: 2.07 2.02 2.05 3/484 7303
/proc/meminfo: memFree=24933824/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=21272 CPUtime=342.3 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 2762 0 0 0 34230 0 0 0 25 0 1 0 897995203 21782528 2679 33554432000 4194304 4933572 140736787254752 18446744073709551615 4319426 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 5318 2679 375 181 0 2327 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 21272
[startup+402.301 s]
/proc/loadavg: 2.09 2.04 2.06 3/484 7304
/proc/meminfo: memFree=24932920/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=21424 CPUtime=402.3 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 2833 0 0 0 40230 0 0 0 25 0 1 0 897995203 21938176 2717 33554432000 4194304 4933572 140736787254752 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 5356 2717 375 181 0 2365 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 21424
[startup+462.301 s]
/proc/loadavg: 2.03 2.03 2.05 4/484 7306
/proc/meminfo: memFree=24932644/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=21628 CPUtime=462.31 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 2869 0 0 0 46231 0 0 0 25 0 1 0 897995203 22147072 2753 33554432000 4194304 4933572 140736787254752 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 5407 2753 375 181 0 2416 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 21628
[startup+522.301 s]
/proc/loadavg: 2.01 2.02 2.05 3/484 7307
/proc/meminfo: memFree=24932240/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=22036 CPUtime=522.31 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 2954 0 0 0 52231 0 0 0 25 0 1 0 897995203 22564864 2838 33554432000 4194304 4933572 140736787254752 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 5509 2838 375 181 0 2518 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 22036
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.04 4/484 7309
/proc/meminfo: memFree=24931952/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=22036 CPUtime=582.31 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 2954 0 0 0 58231 0 0 0 25 0 1 0 897995203 22564864 2838 33554432000 4194304 4933572 140736787254752 18446744073709551615 4631855 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 5509 2838 375 181 0 2518 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 22036
[startup+642.301 s]
################
# More data... #
################
[startup+882.318 s]
/proc/loadavg: 2.10 2.03 2.02 3/484 7317
/proc/meminfo: memFree=24928536/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=22692 CPUtime=882.34 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 3303 0 0 0 88234 0 0 0 25 0 1 0 897995203 23236608 3032 33554432000 4194304 4933572 140736787254752 18446744073709551615 4717624 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 5673 3032 375 181 0 2682 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 22692
[startup+942.3 s]
/proc/loadavg: 2.13 2.05 2.03 3/484 7319
/proc/meminfo: memFree=24929740/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=22820 CPUtime=942.32 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 3356 0 0 0 94232 0 0 0 25 0 1 0 897995203 23367680 3064 33554432000 4194304 4933572 140736787254752 18446744073709551615 4330153 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 5705 3064 375 181 0 2714 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 22820
[startup+1002.3 s]
/proc/loadavg: 2.05 2.04 2.02 3/484 7320
/proc/meminfo: memFree=24929332/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=22848 CPUtime=1002.32 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 3384 0 0 0 100232 0 0 0 25 0 1 0 897995203 23396352 3071 33554432000 4194304 4933572 140736787254752 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 5712 3071 375 181 0 2721 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 22848
[startup+1062.3 s]
/proc/loadavg: 2.02 2.03 2.02 3/484 7322
/proc/meminfo: memFree=24929172/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=22988 CPUtime=1062.32 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 3410 0 0 0 106232 0 0 0 25 0 1 0 897995203 23539712 3097 33554432000 4194304 4933572 140736787254752 18446744073709551615 4717627 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 5747 3097 375 181 0 2756 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 22988
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.01 4/484 7323
/proc/meminfo: memFree=24928884/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=23252 CPUtime=1122.33 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 3458 0 0 0 112233 0 0 0 25 0 1 0 897995203 23810048 3145 33554432000 4194304 4933572 140736787254752 18446744073709551615 4649730 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 5813 3145 375 181 0 2822 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 23252
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/484 7325
/proc/meminfo: memFree=24927604/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=23268 CPUtime=1182.33 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 3506 0 0 0 118233 0 0 0 25 0 1 0 897995203 23826432 3175 33554432000 4194304 4933572 140736787254752 18446744073709551615 4649377 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 5817 3175 375 181 0 2826 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 23268
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 7327
/proc/meminfo: memFree=24926816/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=23360 CPUtime=1242.33 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 3539 0 0 0 124233 0 0 0 25 0 1 0 897995203 23920640 3198 33554432000 4194304 4933572 140736787254752 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 5840 3198 375 181 0 2849 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 23360
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 7328
/proc/meminfo: memFree=24927288/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=23388 CPUtime=1302.33 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 3569 0 0 0 130233 0 0 0 25 0 1 0 897995203 23949312 3205 33554432000 4194304 4933572 140736787254752 18446744073709551615 4664494 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 5847 3205 375 181 0 2856 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 23388
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 7330
/proc/meminfo: memFree=24927988/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=23512 CPUtime=1362.33 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 3597 0 0 0 136233 0 0 0 25 0 1 0 897995203 24076288 3228 33554432000 4194304 4933572 140736787254752 18446744073709551615 4719093 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 5878 3228 375 181 0 2887 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 23512
[startup+1422.3 s]
/proc/loadavg: 2.15 2.03 2.01 4/484 7331
/proc/meminfo: memFree=24927692/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=23668 CPUtime=1422.34 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 3739 0 0 0 142234 0 0 0 25 0 1 0 897995203 24236032 3275 33554432000 4194304 4933572 140736787254752 18446744073709551615 4319404 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 5917 3275 375 181 0 2926 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 23668
[startup+1482.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/484 7333
/proc/meminfo: memFree=24926164/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=23896 CPUtime=1482.34 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 3784 0 0 0 148234 0 0 0 25 0 1 0 897995203 24469504 3315 33554432000 4194304 4933572 140736787254752 18446744073709551615 4319426 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 5974 3315 375 181 0 2983 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 23896
[startup+1542.32 s]
/proc/loadavg: 2.02 2.02 2.00 3/484 7335
/proc/meminfo: memFree=24926612/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=23896 CPUtime=1542.36 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 3823 0 0 0 154236 0 0 0 25 0 1 0 897995203 24469504 3331 33554432000 4194304 4933572 140736787254752 18446744073709551615 4648519 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 5974 3331 375 181 0 2983 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 23896
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 7336
/proc/meminfo: memFree=24926572/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=23896 CPUtime=1602.34 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 3823 0 0 0 160234 0 0 0 25 0 1 0 897995203 24469504 3331 33554432000 4194304 4933572 140736787254752 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 5974 3331 375 181 0 2983 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 23896
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 7338
/proc/meminfo: memFree=24925656/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=24028 CPUtime=1662.34 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 3853 0 0 0 166234 0 0 0 25 0 1 0 897995203 24604672 3361 33554432000 4194304 4933572 140736787254752 18446744073709551615 4328714 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 6007 3361 375 181 0 3016 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 24028
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 7339
/proc/meminfo: memFree=24926480/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=24028 CPUtime=1722.35 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 3853 0 0 0 172235 0 0 0 25 0 1 0 897995203 24604672 3361 33554432000 4194304 4933572 140736787254752 18446744073709551615 4664505 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 6007 3361 375 181 0 3016 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 24028
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 7341
/proc/meminfo: memFree=24923960/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=24120 CPUtime=1782.35 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 3898 0 0 0 178235 0 0 0 25 0 1 0 897995203 24698880 3387 33554432000 4194304 4933572 140736787254752 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 6030 3387 375 181 0 3039 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 24120
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 7341
/proc/meminfo: memFree=24924696/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=24120 CPUtime=1800.06 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 3898 0 0 0 180006 0 0 0 25 0 1 0 897995203 24698880 3387 33554432000 4194304 4933572 140736787254752 18446744073709551615 4319360 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 6030 3387 375 181 0 3039 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 24120
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.00 2.00 3/484 7341
/proc/meminfo: memFree=24924696/32950928 swapFree=61542356/67111528
[pid=7291] ppid=7287 vsize=24120 CPUtime=1800.06 cores=1,3,5,7
/proc/7291/stat : 7291 (clasp) R 7287 7291 2195 0 -1 4202496 3898 0 0 0 180006 0 0 0 25 0 1 0 897995203 24698880 3387 33554432000 4194304 4933572 140736787254752 18446744073709551615 4319360 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7291/statm: 6030 3387 375 181 0 3039 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 24120
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 1800.07
CPU system time (s): 0.002999
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 24292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.07
system time used= 0.002999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3910
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= 37
involuntary context switches= 5340
runsolver used 8.01178 second user time and 19.948 second system time
The end