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-3468588-1307077645/watcher-3468588-1307077645 -o /tmp/evaluation-result-3468588-1307077645/solver-3468588-1307077645 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468588-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: 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.88 1.99 2.08 4/482 7291
/proc/meminfo: memFree=24960916/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=13556 CPUtime=0 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 822 0 0 0 0 0 0 0 25 0 1 0 897995203 13881344 723 33554432000 4194304 4933572 140733512895424 18446744073709551615 4319232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 3389 723 362 181 0 398 0
[startup+0.105568 s]
/proc/loadavg: 1.88 1.99 2.08 4/482 7291
/proc/meminfo: memFree=24960916/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=14612 CPUtime=0.1 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 1106 0 0 0 10 0 0 0 25 0 1 0 897995203 14962688 1007 33554432000 4194304 4933572 140733512895424 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 3653 1007 375 181 0 662 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 14612
[startup+0.200592 s]
/proc/loadavg: 1.88 1.99 2.08 4/482 7291
/proc/meminfo: memFree=24960916/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=15000 CPUtime=0.19 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 1185 0 0 0 19 0 0 0 25 0 1 0 897995203 15360000 1086 33554432000 4194304 4933572 140733512895424 18446744073709551615 4637468 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 3750 1086 375 181 0 759 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 15000
[startup+0.300582 s]
/proc/loadavg: 1.88 1.99 2.08 4/482 7291
/proc/meminfo: memFree=24960916/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=15264 CPUtime=0.29 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 1277 0 0 0 29 0 0 0 25 0 1 0 897995203 15630336 1178 33554432000 4194304 4933572 140733512895424 18446744073709551615 4319360 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 3816 1178 375 181 0 825 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15264
[startup+0.700511 s]
/proc/loadavg: 1.88 1.99 2.08 4/482 7291
/proc/meminfo: memFree=24960916/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=16204 CPUtime=0.69 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 1501 0 0 0 69 0 0 0 25 0 1 0 897995203 16592896 1402 33554432000 4194304 4933572 140733512895424 18446744073709551615 4632755 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 4051 1402 375 181 0 1060 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16204
[startup+1.50044 s]
/proc/loadavg: 1.88 1.99 2.08 4/484 7293
/proc/meminfo: memFree=24951988/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=16732 CPUtime=1.49 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 1616 0 0 0 149 0 0 0 25 0 1 0 897995203 17133568 1517 33554432000 4194304 4933572 140733512895424 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 4183 1517 375 181 0 1192 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16732
[startup+3.10114 s]
/proc/loadavg: 1.88 1.99 2.08 4/484 7294
/proc/meminfo: memFree=24948392/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=17520 CPUtime=3.09 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 1830 0 0 0 309 0 0 0 25 0 1 0 897995203 17940480 1731 33554432000 4194304 4933572 140733512895424 18446744073709551615 4319404 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 4380 1731 375 181 0 1389 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17520
[startup+6.30044 s]
/proc/loadavg: 1.89 1.99 2.08 4/484 7294
/proc/meminfo: memFree=24945508/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=18700 CPUtime=6.29 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 2138 0 0 0 629 0 0 0 25 0 1 0 897995203 19148800 2039 33554432000 4194304 4933572 140733512895424 18446744073709551615 4340816 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 4675 2039 375 181 0 1684 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18700
[startup+12.7003 s]
/proc/loadavg: 1.89 1.99 2.08 4/484 7294
/proc/meminfo: memFree=24942808/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=20276 CPUtime=12.69 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 2529 0 0 0 1269 0 0 0 25 0 1 0 897995203 20762624 2430 33554432000 4194304 4933572 140733512895424 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 5069 2430 375 181 0 2078 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20276
[startup+25.501 s]
/proc/loadavg: 1.92 1.99 2.07 4/484 7294
/proc/meminfo: memFree=24940452/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=21152 CPUtime=25.49 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 2723 0 0 0 2549 0 0 0 25 0 1 0 897995203 21659648 2624 33554432000 4194304 4933572 140733512895424 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 5288 2624 375 181 0 2297 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21152
[startup+51.1004 s]
/proc/loadavg: 1.94 1.99 2.07 4/484 7295
/proc/meminfo: memFree=24938936/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=21936 CPUtime=51.09 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 2946 0 0 0 5109 0 0 0 25 0 1 0 897995203 22462464 2847 33554432000 4194304 4933572 140733512895424 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 5484 2847 375 181 0 2493 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 21936
[startup+102.301 s]
/proc/loadavg: 1.97 1.99 2.07 4/484 7296
/proc/meminfo: memFree=24937168/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=22760 CPUtime=102.3 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 3295 0 0 0 10230 0 0 0 25 0 1 0 897995203 23306240 3048 33554432000 4194304 4933572 140733512895424 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 5690 3048 375 181 0 2699 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 22760
[startup+162.301 s]
/proc/loadavg: 1.99 1.99 2.06 4/484 7298
/proc/meminfo: memFree=24933524/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=23192 CPUtime=162.3 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 3416 0 0 0 16230 0 0 0 25 0 1 0 897995203 23748608 3161 33554432000 4194304 4933572 140733512895424 18446744073709551615 4319397 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 5798 3161 375 181 0 2807 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 23192
[startup+222.319 s]
/proc/loadavg: 1.99 1.99 2.05 4/484 7299
/proc/meminfo: memFree=24933380/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=23556 CPUtime=222.32 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 3519 0 0 0 22232 0 0 0 25 0 1 0 897995203 24121344 3255 33554432000 4194304 4933572 140733512895424 18446744073709551615 4341733 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 5889 3255 375 181 0 2898 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 23556
[startup+282.301 s]
/proc/loadavg: 1.99 1.99 2.05 3/484 7301
/proc/meminfo: memFree=24933976/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=24160 CPUtime=282.3 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 3674 0 0 0 28230 0 0 0 25 0 1 0 897995203 24739840 3395 33554432000 4194304 4933572 140733512895424 18446744073709551615 4649216 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 6040 3395 375 181 0 3049 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 24160
[startup+342.301 s]
/proc/loadavg: 2.07 2.02 2.05 4/484 7303
/proc/meminfo: memFree=24933824/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=24200 CPUtime=342.3 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 3693 0 0 0 34230 0 0 0 25 0 1 0 897995203 24780800 3414 33554432000 4194304 4933572 140733512895424 18446744073709551615 4330243 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 6050 3414 375 181 0 3059 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 24200
[startup+402.301 s]
/proc/loadavg: 2.09 2.04 2.06 4/484 7304
/proc/meminfo: memFree=24932920/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=24528 CPUtime=402.3 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 3827 0 0 0 40230 0 0 0 25 0 1 0 897995203 25116672 3497 33554432000 4194304 4933572 140733512895424 18446744073709551615 4330852 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 6132 3497 375 181 0 3141 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 24528
[startup+462.301 s]
/proc/loadavg: 2.03 2.03 2.05 3/484 7306
/proc/meminfo: memFree=24932644/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=24964 CPUtime=462.3 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 4185 0 0 0 46230 0 0 0 25 0 1 0 897995203 25563136 3605 33554432000 4194304 4933572 140733512895424 18446744073709551615 4632799 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 6241 3605 375 181 0 3250 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 24964
[startup+522.301 s]
/proc/loadavg: 2.01 2.02 2.05 4/484 7307
/proc/meminfo: memFree=24932240/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=25564 CPUtime=522.3 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 4447 0 0 0 52230 0 0 0 25 0 1 0 897995203 26177536 3753 33554432000 4194304 4933572 140733512895424 18446744073709551615 4664059 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 6391 3753 375 181 0 3400 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 25564
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.04 3/484 7309
/proc/meminfo: memFree=24931952/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=26084 CPUtime=582.31 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 4585 0 0 0 58231 0 0 0 25 0 1 0 897995203 26710016 3866 33554432000 4194304 4933572 140733512895424 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 6521 3866 375 181 0 3530 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 26084
[startup+642.3 s]
################
# More data... #
################
[startup+882.319 s]
/proc/loadavg: 2.10 2.03 2.02 4/484 7317
/proc/meminfo: memFree=24928536/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=27212 CPUtime=882.33 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 5227 0 0 0 88233 0 0 0 25 0 1 0 897995203 27865088 4134 33554432000 4194304 4933572 140733512895424 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 6803 4134 375 181 0 3812 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 27212
[startup+942.3 s]
/proc/loadavg: 2.13 2.05 2.03 4/484 7319
/proc/meminfo: memFree=24929740/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=26516 CPUtime=942.31 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 5441 0 0 0 94231 0 0 0 25 0 1 0 897995203 27152384 3992 33554432000 4194304 4933572 140733512895424 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 6629 3992 375 181 0 3638 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 26516
[startup+1002.3 s]
/proc/loadavg: 2.05 2.04 2.02 4/484 7320
/proc/meminfo: memFree=24929332/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=27472 CPUtime=1002.32 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 5686 0 0 0 100232 0 0 0 25 0 1 0 897995203 28131328 4230 33554432000 4194304 4933572 140733512895424 18446744073709551615 4328740 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 6868 4230 375 181 0 3877 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 27472
[startup+1062.3 s]
/proc/loadavg: 2.02 2.03 2.02 4/484 7322
/proc/meminfo: memFree=24929172/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=27472 CPUtime=1062.32 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 5686 0 0 0 106232 0 0 0 25 0 1 0 897995203 28131328 4230 33554432000 4194304 4933572 140733512895424 18446744073709551615 4632828 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 6868 4230 375 181 0 3877 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 27472
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.01 4/484 7323
/proc/meminfo: memFree=24928884/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=27472 CPUtime=1122.32 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 5686 0 0 0 112232 0 0 0 25 0 1 0 897995203 28131328 4230 33554432000 4194304 4933572 140733512895424 18446744073709551615 4330263 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 6868 4230 375 181 0 3877 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 27472
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/484 7325
/proc/meminfo: memFree=24927604/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=27472 CPUtime=1182.32 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 5708 0 0 0 118232 0 0 0 25 0 1 0 897995203 28131328 4230 33554432000 4194304 4933572 140733512895424 18446744073709551615 4717456 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 6868 4230 375 181 0 3877 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 27472
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/484 7327
/proc/meminfo: memFree=24926816/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=27572 CPUtime=1242.32 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 5955 0 0 0 124232 0 0 0 25 0 1 0 897995203 28233728 4255 33554432000 4194304 4933572 140733512895424 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 6893 4255 375 181 0 3902 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 27572
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/484 7328
/proc/meminfo: memFree=24927288/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=27804 CPUtime=1302.33 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 6022 0 0 0 130233 0 0 0 25 0 1 0 897995203 28471296 4313 33554432000 4194304 4933572 140733512895424 18446744073709551615 4330830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 6951 4313 375 181 0 3960 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 27804
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/484 7330
/proc/meminfo: memFree=24927988/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=27804 CPUtime=1362.34 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 6022 0 0 0 136233 1 0 0 25 0 1 0 897995203 28471296 4313 33554432000 4194304 4933572 140733512895424 18446744073709551615 4717487 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 6951 4313 375 181 0 3960 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 27804
[startup+1422.3 s]
/proc/loadavg: 2.15 2.03 2.01 4/484 7331
/proc/meminfo: memFree=24927692/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=27804 CPUtime=1422.35 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 6022 0 0 0 142234 1 0 0 25 0 1 0 897995203 28471296 4313 33554432000 4194304 4933572 140733512895424 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 6951 4313 375 181 0 3960 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 27804
[startup+1482.3 s]
/proc/loadavg: 2.05 2.02 2.00 4/484 7333
/proc/meminfo: memFree=24926164/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=27804 CPUtime=1482.34 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 6194 0 0 0 148233 1 0 0 25 0 1 0 897995203 28471296 4313 33554432000 4194304 4933572 140733512895424 18446744073709551615 4664576 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 6951 4313 375 181 0 3960 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 27804
[startup+1542.32 s]
/proc/loadavg: 2.02 2.02 2.00 4/484 7335
/proc/meminfo: memFree=24926612/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=27804 CPUtime=1542.36 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 6323 0 0 0 154235 1 0 0 25 0 1 0 897995203 28471296 4313 33554432000 4194304 4933572 140733512895424 18446744073709551615 4649366 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 6951 4313 375 181 0 3960 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 27804
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/484 7336
/proc/meminfo: memFree=24926572/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=27804 CPUtime=1602.34 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 6409 0 0 0 160233 1 0 0 25 0 1 0 897995203 28471296 4313 33554432000 4194304 4933572 140733512895424 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 6951 4313 375 181 0 3960 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 27804
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/484 7338
/proc/meminfo: memFree=24925656/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=28672 CPUtime=1662.34 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 6818 0 0 0 166233 1 0 0 25 0 1 0 897995203 29360128 4530 33554432000 4194304 4933572 140733512895424 18446744073709551615 4319377 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 7168 4530 375 181 0 4177 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 28672
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/484 7339
/proc/meminfo: memFree=24926480/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=27976 CPUtime=1722.35 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 7024 0 0 0 172234 1 0 0 25 0 1 0 897995203 28647424 4357 33554432000 4194304 4933572 140733512895424 18446744073709551615 4319400 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 6994 4357 375 181 0 4003 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 27976
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/484 7341
/proc/meminfo: memFree=24923960/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=27976 CPUtime=1782.35 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 7082 0 0 0 178234 1 0 0 25 0 1 0 897995203 28647424 4357 33554432000 4194304 4933572 140733512895424 18446744073709551615 4649369 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 6994 4357 375 181 0 4003 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 27976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 4/484 7341
/proc/meminfo: memFree=24924696/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=28768 CPUtime=1800.06 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 7467 0 0 0 180005 1 0 0 25 0 1 0 897995203 29458432 4555 33554432000 4194304 4933572 140733512895424 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 7192 4555 375 181 0 4201 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 28768
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 4/484 7341
/proc/meminfo: memFree=24924696/32950928 swapFree=61542356/67111528
[pid=7289] ppid=7286 vsize=28768 CPUtime=1800.06 cores=0,2,4,6
/proc/7289/stat : 7289 (clasp) R 7286 7289 2195 0 -1 4202496 7467 0 0 0 180005 1 0 0 25 0 1 0 897995203 29458432 4555 33554432000 4194304 4933572 140733512895424 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7289/statm: 7192 4555 375 181 0 4201 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 28768
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 1800.06
CPU system time (s): 0.012998
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 29560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.012998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7479
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= 23
involuntary context switches= 2675
runsolver used 8.93564 second user time and 20.4929 second system time
The end