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-3469330-1307088324/watcher-3469330-1307088324 -o /tmp/evaluation-result-3469330-1307088324/solver-3469330-1307088324 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469330-1307088324.opb --solu --heu=VSIDS
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.10 2.03 1.99 2/483 11539
/proc/meminfo: memFree=24842412/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=16308 CPUtime=0 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 1510 0 0 0 0 0 0 0 25 0 1 0 899063036 16699392 1324 33554432000 4194304 4933572 140736684595136 18446744073709551615 260905054917 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/11539/statm: 4077 1324 321 181 0 1086 0
[startup+0.0282501 s]
/proc/loadavg: 2.10 2.03 1.99 2/483 11539
/proc/meminfo: memFree=24842412/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=20536 CPUtime=0.02 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 2940 0 0 0 2 0 0 0 25 0 1 0 899063036 21028864 2370 33554432000 4194304 4933572 140736684595136 18446744073709551615 4587712 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/11539/statm: 5134 2370 339 181 0 2143 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20536
[startup+0.100297 s]
/proc/loadavg: 2.10 2.03 1.99 2/483 11539
/proc/meminfo: memFree=24842412/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=22192 CPUtime=0.09 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 3692 0 0 0 9 0 0 0 25 0 1 0 899063036 22724608 2869 33554432000 4194304 4933572 140736684595136 18446744073709551615 4579064 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/11539/statm: 5548 2869 367 181 0 2557 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22192
[startup+0.300259 s]
/proc/loadavg: 2.10 2.03 1.99 2/483 11539
/proc/meminfo: memFree=24842412/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=22192 CPUtime=0.29 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 3699 0 0 0 29 0 0 0 25 0 1 0 899063036 22724608 2876 33554432000 4194304 4933572 140736684595136 18446744073709551615 4319400 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/11539/statm: 5548 2876 374 181 0 2557 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22192
[startup+0.700194 s]
/proc/loadavg: 2.10 2.03 1.99 2/483 11539
/proc/meminfo: memFree=24842412/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=23116 CPUtime=0.69 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 3915 0 0 0 69 0 0 0 25 0 1 0 899063036 23670784 3092 33554432000 4194304 4933572 140736684595136 18446744073709551615 4377171 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/11539/statm: 5779 3092 374 181 0 2788 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23116
[startup+1.50105 s]
/proc/loadavg: 2.10 2.03 1.99 3/484 11540
/proc/meminfo: memFree=24829764/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=24252 CPUtime=1.49 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 4193 0 0 0 149 0 0 0 25 0 1 0 899063036 24834048 3370 33554432000 4194304 4933572 140736684595136 18446744073709551615 4635303 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/11539/statm: 6063 3370 374 181 0 3072 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24252
[startup+3.10064 s]
/proc/loadavg: 2.10 2.03 1.99 3/484 11540
/proc/meminfo: memFree=24827148/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=25844 CPUtime=3.09 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 4593 0 0 0 309 0 0 0 25 0 1 0 899063036 26464256 3770 33554432000 4194304 4933572 140736684595136 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/11539/statm: 6461 3770 374 181 0 3470 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25844
[startup+6.3011 s]
/proc/loadavg: 2.09 2.03 1.99 3/484 11540
/proc/meminfo: memFree=24824668/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=28204 CPUtime=6.29 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 5177 0 0 0 629 0 0 0 25 0 1 0 899063036 28880896 4354 33554432000 4194304 4933572 140736684595136 18446744073709551615 4649040 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/11539/statm: 7051 4354 374 181 0 4060 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28204
[startup+12.701 s]
/proc/loadavg: 2.08 2.03 1.99 3/484 11541
/proc/meminfo: memFree=24819936/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=31624 CPUtime=12.65 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 6007 0 0 0 1265 0 0 0 25 0 1 0 899063036 32382976 5184 33554432000 4194304 4933572 140736684595136 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 7906 5184 374 181 0 4915 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 31624
[startup+25.5007 s]
/proc/loadavg: 2.06 2.03 1.99 3/484 11541
/proc/meminfo: memFree=24812480/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=35856 CPUtime=25.46 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 7047 0 0 0 2545 1 0 0 25 0 1 0 899063036 36716544 6224 33554432000 4194304 4933572 140736684595136 18446744073709551615 4319404 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 8964 6224 374 181 0 5973 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 35856
[startup+51.101 s]
/proc/loadavg: 2.04 2.02 1.99 3/484 11542
/proc/meminfo: memFree=24804652/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=40920 CPUtime=51.06 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 8210 0 0 0 5105 1 0 0 25 0 1 0 899063036 41902080 7387 33554432000 4194304 4933572 140736684595136 18446744073709551615 4631794 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 10230 7387 374 181 0 7239 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 40920
[startup+102.317 s]
/proc/loadavg: 2.02 2.02 1.99 3/484 11543
/proc/meminfo: memFree=24790848/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=49168 CPUtime=102.27 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 10131 0 0 0 10226 1 0 0 25 0 1 0 899063036 50348032 9308 33554432000 4194304 4933572 140736684595136 18446744073709551615 4429177 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 12292 9308 374 181 0 9301 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49168
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 1.99 3/484 11545
/proc/meminfo: memFree=24777916/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=55292 CPUtime=162.26 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 11536 0 0 0 16225 1 0 0 25 0 1 0 899063036 56619008 10713 33554432000 4194304 4933572 140736684595136 18446744073709551615 4625216 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 13823 10713 374 181 0 10832 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 55292
[startup+222.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/484 11546
/proc/meminfo: memFree=24767840/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=59936 CPUtime=222.26 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 12571 0 0 0 22225 1 0 0 25 0 1 0 899063036 61374464 11748 33554432000 4194304 4933572 140736684595136 18446744073709551615 4359938 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 14984 11748 374 181 0 11993 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 59936
[startup+282.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/484 11548
/proc/meminfo: memFree=24759124/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=63892 CPUtime=282.26 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 13471 0 0 0 28225 1 0 0 25 0 1 0 899063036 65425408 12648 33554432000 4194304 4933572 140736684595136 18446744073709551615 4649386 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 15973 12648 374 181 0 12982 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 63892
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 11549
/proc/meminfo: memFree=24747680/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=67288 CPUtime=342.26 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 14239 0 0 0 34225 1 0 0 25 0 1 0 899063036 68902912 13416 33554432000 4194304 4933572 140736684595136 18446744073709551615 4625232 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 16822 13416 374 181 0 13831 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 67288
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 11551
/proc/meminfo: memFree=24742316/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=71160 CPUtime=402.27 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 15115 0 0 0 40225 2 0 0 25 0 1 0 899063036 72867840 14292 33554432000 4194304 4933572 140736684595136 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 17790 14292 374 181 0 14799 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 71160
[startup+462.301 s]
/proc/loadavg: 2.09 2.03 2.00 3/484 11553
/proc/meminfo: memFree=24733484/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=76388 CPUtime=462.27 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 16313 0 0 0 46225 2 0 0 25 0 1 0 899063036 78221312 15490 33554432000 4194304 4933572 140736684595136 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 19097 15490 374 181 0 16106 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 76388
[startup+522.301 s]
/proc/loadavg: 2.07 2.04 2.00 3/484 11554
/proc/meminfo: memFree=24720940/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=78536 CPUtime=522.27 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 16798 0 0 0 52225 2 0 0 25 0 1 0 899063036 80420864 15975 33554432000 4194304 4933572 140736684595136 18446744073709551615 4631769 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 19634 15975 374 181 0 16643 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 78536
[startup+582.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/484 11556
/proc/meminfo: memFree=24717432/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=80440 CPUtime=582.27 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 17241 0 0 0 58225 2 0 0 25 0 1 0 899063036 82370560 16418 33554432000 4194304 4933572 140736684595136 18446744073709551615 4649590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 20110 16418 374 181 0 17119 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 80440
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/484 11562
/proc/meminfo: memFree=24693864/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=87476 CPUtime=822.27 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 18828 0 0 0 82225 2 0 0 25 0 1 0 899063036 89575424 18005 33554432000 4194304 4933572 140736684595136 18446744073709551615 4649590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 21869 18005 374 181 0 18878 0
Current children cumulated CPU time (s) 822.27
Current children cumulated vsize (KiB) 87476
[startup+882.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/484 11564
/proc/meminfo: memFree=24688988/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=89472 CPUtime=882.27 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 19282 0 0 0 88225 2 0 0 25 0 1 0 899063036 91619328 18459 33554432000 4194304 4933572 140736684595136 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 22368 18459 374 181 0 19377 0
Current children cumulated CPU time (s) 882.27
Current children cumulated vsize (KiB) 89472
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 11565
/proc/meminfo: memFree=24685848/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=93020 CPUtime=942.27 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 20108 0 0 0 94225 2 0 0 25 0 1 0 899063036 95252480 19285 33554432000 4194304 4933572 140736684595136 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 23255 19285 374 181 0 20264 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 93020
[startup+1002.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/484 11567
/proc/meminfo: memFree=24682120/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=94164 CPUtime=1002.28 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 20362 0 0 0 100225 3 0 0 25 0 1 0 899063036 96423936 19539 33554432000 4194304 4933572 140736684595136 18446744073709551615 4377754 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 23541 19539 374 181 0 20550 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 94164
[startup+1062.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/484 11568
/proc/meminfo: memFree=24680096/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=94652 CPUtime=1062.29 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 20500 0 0 0 106226 3 0 0 25 0 1 0 899063036 96923648 19677 33554432000 4194304 4933572 140736684595136 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 23663 19677 374 181 0 20672 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 94652
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/484 11570
/proc/meminfo: memFree=24676988/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=95820 CPUtime=1122.29 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 20722 0 0 0 112226 3 0 0 25 0 1 0 899063036 98119680 19899 33554432000 4194304 4933572 140736684595136 18446744073709551615 4631780 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 23955 19899 374 181 0 20964 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 95820
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 11572
/proc/meminfo: memFree=24674724/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=96388 CPUtime=1182.29 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 20869 0 0 0 118226 3 0 0 25 0 1 0 899063036 98701312 20046 33554432000 4194304 4933572 140736684595136 18446744073709551615 4319345 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 24097 20046 374 181 0 21106 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 96388
[startup+1242.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/484 11573
/proc/meminfo: memFree=24669624/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=96580 CPUtime=1242.29 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 20922 0 0 0 124226 3 0 0 25 0 1 0 899063036 98897920 20099 33554432000 4194304 4933572 140736684595136 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 24145 20099 374 181 0 21154 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 96580
[startup+1302.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/484 11575
/proc/meminfo: memFree=24667988/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=98032 CPUtime=1302.3 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 21249 0 0 0 130227 3 0 0 25 0 1 0 899063036 100384768 20426 33554432000 4194304 4933572 140736684595136 18446744073709551615 4637449 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 24508 20426 374 181 0 21517 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 98032
[startup+1362.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/484 11577
/proc/meminfo: memFree=24658032/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=98980 CPUtime=1362.29 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 21454 0 0 0 136226 3 0 0 25 0 1 0 899063036 101355520 20631 33554432000 4194304 4933572 140736684595136 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 24745 20631 374 181 0 21754 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 98980
[startup+1422.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/484 11578
/proc/meminfo: memFree=24652692/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=102464 CPUtime=1422.31 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 22207 0 0 0 142228 3 0 0 25 0 1 0 899063036 104923136 21384 33554432000 4194304 4933572 140736684595136 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 25616 21384 374 181 0 22625 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 102464
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 11580
/proc/meminfo: memFree=24649800/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=104348 CPUtime=1482.3 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 22599 0 0 0 148227 3 0 0 25 0 1 0 899063036 106852352 21776 33554432000 4194304 4933572 140736684595136 18446744073709551615 4649586 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 26087 21776 374 181 0 23096 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 104348
[startup+1542.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/484 11581
/proc/meminfo: memFree=24647652/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=106880 CPUtime=1542.3 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 23186 0 0 0 154227 3 0 0 25 0 1 0 899063036 109445120 22363 33554432000 4194304 4933572 140736684595136 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 26720 22363 374 181 0 23729 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 106880
[startup+1602.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/484 11583
/proc/meminfo: memFree=24642916/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=108080 CPUtime=1602.3 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 23438 0 0 0 160227 3 0 0 25 0 1 0 899063036 110673920 22615 33554432000 4194304 4933572 140736684595136 18446744073709551615 4428984 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 27020 22615 374 181 0 24029 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 108080
[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/484 11585
/proc/meminfo: memFree=24640272/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=108840 CPUtime=1662.3 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 23611 0 0 0 166227 3 0 0 25 0 1 0 899063036 111452160 22788 33554432000 4194304 4933572 140736684595136 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 27210 22788 374 181 0 24219 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 108840
[startup+1722.3 s]
/proc/loadavg: 1.56 1.92 1.96 2/478 11604
/proc/meminfo: memFree=24846700/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=109260 CPUtime=1722.3 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 23728 0 0 0 172227 3 0 0 25 0 1 0 899063036 111882240 22905 33554432000 4194304 4933572 140736684595136 18446744073709551615 4649366 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 27315 22905 374 181 0 24324 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 109260
[startup+1782.3 s]
/proc/loadavg: 1.20 1.75 1.90 2/478 11606
/proc/meminfo: memFree=24844568/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=110808 CPUtime=1782.3 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 24063 0 0 0 178227 3 0 0 25 0 1 0 899063036 113467392 23240 33554432000 4194304 4933572 140736684595136 18446744073709551615 4427984 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 27702 23240 374 181 0 24711 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 110808
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.15 1.70 1.88 2/478 11606
/proc/meminfo: memFree=24844072/32950928 swapFree=61542356/67111528
[pid=11539] ppid=11537 vsize=111948 CPUtime=1800.01 cores=0,2,4,6
/proc/11539/stat : 11539 (clasp) R 11537 11539 2195 0 -1 4202496 24317 0 0 0 179998 3 0 0 25 0 1 0 899063036 114634752 23494 33554432000 4194304 4933572 140736684595136 18446744073709551615 260905091664 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11539/statm: 27987 23494 374 181 0 24996 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 111948
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.02
CPU time (s): 1800.03
CPU user time (s): 1799.99
CPU system time (s): 0.040993
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 111948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.040993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24327
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= 7
involuntary context switches= 2789
runsolver used 8.88265 second user time and 18.9621 second system time
The end