runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3373246-1305418661/watcher-3373246-1305418661 -o /tmp/evaluation-result-3373246-1305418661/solver-3373246-1305418661 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373246-1305418661.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 3.61 5.66 7.07 2/339 14327
/proc/meminfo: memFree=18148844/32951124 swapFree=67082152/67111528
[pid=14327] ppid=14325 vsize=23436 CPUtime=0 cores=0,2,4,6
/proc/14327/stat : 14327 (claspmt) R 14325 14327 13934 0 -1 4202496 1249 0 0 0 0 0 0 0 21 0 1 0 653464048 23998464 1081 33554432000 4194304 4964800 140735224792144 18446744073709551615 228244009669 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14327/statm: 5859 1083 385 189 0 733 0
[startup+0.0602651 s]
/proc/loadavg: 3.61 5.66 7.07 2/339 14327
/proc/meminfo: memFree=18148844/32951124 swapFree=67082152/67111528
[pid=14327] ppid=14325 vsize=33608 CPUtime=0.05 cores=0,2,4,6
/proc/14327/stat : 14327 (claspmt) R 14325 14327 13934 0 -1 4202496 4522 0 0 0 5 0 0 0 21 0 1 0 653464048 34414592 3488 33554432000 4194304 4964800 140735224792144 18446744073709551615 228244046024 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14327/statm: 8402 3488 396 189 0 3276 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 33608
[startup+0.100285 s]
/proc/loadavg: 3.61 5.66 7.07 2/339 14327
/proc/meminfo: memFree=18148844/32951124 swapFree=67082152/67111528
[pid=14327] ppid=14325 vsize=37648 CPUtime=0.09 cores=0,2,4,6
/proc/14327/stat : 14327 (claspmt) R 14325 14327 13934 0 -1 4202496 5488 0 0 0 9 0 0 0 21 0 1 0 653464048 38551552 4454 33554432000 4194304 4964800 140735224792144 18446744073709551615 4607761 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14327/statm: 9412 4454 398 189 0 4286 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37648
[startup+0.311319 s]
/proc/loadavg: 3.61 5.66 7.07 2/339 14327
/proc/meminfo: memFree=18148844/32951124 swapFree=67082152/67111528
[pid=14327] ppid=14325 vsize=248632 CPUtime=1.19 cores=0,2,4,6
/proc/14327/stat : 14327 (claspmt) R 14325 14327 13934 0 -1 4202496 10432 0 1 0 117 2 0 0 19 0 4 0 653464048 254599168 8987 33554432000 4194304 4964800 140735224792144 18446744073709551615 4320966 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/14327/statm: 62323 11954 458 189 0 56672 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 248632
[startup+0.962743 s]
/proc/loadavg: 3.61 5.66 7.07 2/339 14327
/proc/meminfo: memFree=18148844/32951124 swapFree=67082152/67111528
[pid=14327] ppid=14325 vsize=250304 CPUtime=3.18 cores=0,2,4,6
/proc/14327/stat : 14327 (claspmt) R 14325 14327 13934 0 -1 4202496 14935 0 1 0 314 4 0 0 20 0 4 0 653464048 256311296 13490 33554432000 4194304 4964800 140735224792144 18446744073709551615 228244453919 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/14327/statm: 62576 13490 458 189 0 56925 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 250304
[startup+1.50093 s]
/proc/loadavg: 3.61 5.66 7.07 9/346 14334
/proc/meminfo: memFree=18032904/32951124 swapFree=67082152/67111528
[pid=14327] ppid=14325 vsize=254396 CPUtime=5.35 cores=0,2,4,6
/proc/14327/stat : 14327 (claspmt) R 14325 14327 13934 0 -1 4202496 18433 0 1 0 530 5 0 0 21 0 4 0 653464048 260501504 16988 33554432000 4194304 4964800 140735224792144 18446744073709551615 228244010017 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/14327/statm: 63599 16989 458 189 0 57948 0
[pid=14327/tid=14330] ppid=14325 vsize=254396 CPUtime=1.28 cores=0,2,4,6
/proc/14327/task/14330/stat : 14330 (claspmt) R 14325 14327 13934 0 -1 4202560 2960 0 0 0 127 1 0 0 19 0 4 0 653464069 260501504 17024 33554432000 4194304 4964800 140735224792144 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14327/tid=14332] ppid=14325 vsize=254396 CPUtime=1.29 cores=0,2,4,6
/proc/14327/task/14332/stat : 14332 (claspmt) R 14325 14327 13934 0 -1 4202560 1681 0 0 0 129 0 0 0 19 0 4 0 653464069 260501504 17024 33554432000 4194304 4964800 140735224792144 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14327/tid=14334] ppid=14325 vsize=254396 CPUtime=1.29 cores=0,2,4,6
/proc/14327/task/14334/stat : 14334 (claspmt) R 14325 14327 13934 0 -1 4202560 3992 0 0 0 128 1 0 0 19 0 4 0 653464069 260501504 17025 33554432000 4194304 4964800 140735224792144 18446744073709551615 228244010017 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.35
Current children cumulated vsize (KiB) 254396
[startup+3.10065 s]
/proc/loadavg: 3.61 5.66 7.07 9/346 14334
/proc/meminfo: memFree=18003764/32951124 swapFree=67082152/67111528
[pid=14327] ppid=14325 vsize=260808 CPUtime=11.71 cores=0,2,4,6
/proc/14327/stat : 14327 (claspmt) R 14325 14327 13934 0 -1 4202496 22852 0 1 0 1164 7 0 0 25 0 4 0 653464048 267067392 21407 33554432000 4194304 4964800 140735224792144 18446744073709551615 4660442 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/14327/statm: 65202 21407 458 189 0 59551 0
[pid=14327/tid=14330] ppid=14325 vsize=260808 CPUtime=2.85 cores=0,2,4,6
/proc/14327/task/14330/stat : 14330 (claspmt) R 14325 14327 13934 0 -1 4202560 3717 0 0 0 284 1 0 0 24 0 4 0 653464069 267067392 21407 33554432000 4194304 4964800 140735224792144 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14327/tid=14332] ppid=14325 vsize=260808 CPUtime=2.88 cores=0,2,4,6
/proc/14327/task/14332/stat : 14332 (claspmt) R 14325 14327 13934 0 -1 4202560 1702 0 0 0 288 0 0 0 25 0 4 0 653464069 267067392 21407 33554432000 4194304 4964800 140735224792144 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14327/tid=14334] ppid=14325 vsize=260808 CPUtime=2.87 cores=0,2,4,6
/proc/14327/task/14334/stat : 14334 (claspmt) R 14325 14327 13934 0 -1 4202560 5926 0 0 0 286 1 0 0 25 0 4 0 653464069 267067392 21407 33554432000 4194304 4964800 140735224792144 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.71
Current children cumulated vsize (KiB) 260808
[startup+6.30109 s]
/proc/loadavg: 3.96 5.70 7.08 9/346 14335
/proc/meminfo: memFree=17936996/32951124 swapFree=67082152/67111528
[pid=14327] ppid=14325 vsize=270024 CPUtime=24.47 cores=0,2,4,6
/proc/14327/stat : 14327 (claspmt) R 14325 14327 13934 0 -1 4202496 33786 0 1 0 2436 11 0 0 25 0 4 0 653464048 276504576 32341 33554432000 4194304 4964800 140735224792144 18446744073709551615 4644794 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/14327/statm: 67506 32341 460 189 0 61855 0
[pid=14327/tid=14330] ppid=14325 vsize=270024 CPUtime=6.01 cores=0,2,4,6
/proc/14327/task/14330/stat : 14330 (claspmt) R 14325 14327 13934 0 -1 4202560 8456 0 0 0 599 2 0 0 25 0 4 0 653464069 276504576 32341 33554432000 4194304 4964800 140735224792144 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14327/tid=14332] ppid=14325 vsize=270024 CPUtime=6.08 cores=0,2,4,6
/proc/14327/task/14332/stat : 14332 (claspmt) R 14325 14327 13934 0 -1 4202560 1754 0 0 0 608 0 0 0 25 0 4 0 653464069 276504576 32341 33554432000 4194304 4964800 140735224792144 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14327/tid=14334] ppid=14325 vsize=270024 CPUtime=6.07 cores=0,2,4,6
/proc/14327/task/14334/stat : 14334 (claspmt) R 14325 14327 13934 0 -1 4202560 6295 0 0 0 606 1 0 0 25 0 4 0 653464069 276504576 32341 33554432000 4194304 4964800 140735224792144 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.47
Current children cumulated vsize (KiB) 270024
[startup+12.701 s]
/proc/loadavg: 4.36 5.75 7.09 9/346 14335
/proc/meminfo: memFree=17863984/32951124 swapFree=67082152/67111528
[pid=14327] ppid=14325 vsize=275376 CPUtime=49.99 cores=0,2,4,6
/proc/14327/stat : 14327 (claspmt) R 14325 14327 13934 0 -1 4202496 41570 0 1 0 4985 14 0 0 25 0 4 0 653464048 281985024 40125 33554432000 4194304 4964800 140735224792144 18446744073709551615 4658540 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/14327/statm: 68844 40125 460 189 0 63193 0
[pid=14327/tid=14330] ppid=14325 vsize=275376 CPUtime=12.33 cores=0,2,4,6
/proc/14327/task/14330/stat : 14330 (claspmt) R 14325 14327 13934 0 -1 4202560 10256 0 0 0 1230 3 0 0 25 0 4 0 653464069 281985024 40125 33554432000 4194304 4964800 140735224792144 18446744073709551615 4343267 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14327/tid=14332] ppid=14325 vsize=275376 CPUtime=12.48 cores=0,2,4,6
/proc/14327/task/14332/stat : 14332 (claspmt) R 14325 14327 13934 0 -1 4202560 1835 0 0 0 1248 0 0 0 25 0 4 0 653464069 281985024 40125 33554432000 4194304 4964800 140735224792144 18446744073709551615 4378913 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14327/tid=14334] ppid=14325 vsize=275376 CPUtime=12.48 cores=0,2,4,6
/proc/14327/task/14334/stat : 14334 (claspmt) R 14325 14327 13934 0 -1 4202560 9545 0 0 0 1245 3 0 0 25 0 4 0 653464069 281985024 40125 33554432000 4194304 4964800 140735224792144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (KiB) 275376
[startup+25.5007 s]
/proc/loadavg: 4.92 5.83 7.10 9/346 14335
/proc/meminfo: memFree=17761808/32951124 swapFree=67082152/67111528
[pid=14327] ppid=14325 vsize=296892 CPUtime=101.05 cores=0,2,4,6
/proc/14327/stat : 14327 (claspmt) R 14325 14327 13934 0 -1 4202496 57313 0 1 0 10084 21 0 0 25 0 4 0 653464048 304017408 55868 33554432000 4194304 4964800 140735224792144 18446744073709551615 4321079 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/14327/statm: 74223 55868 460 189 0 68572 0
[pid=14327/tid=14330] ppid=14325 vsize=296892 CPUtime=25.01 cores=0,2,4,6
/proc/14327/task/14330/stat : 14330 (claspmt) R 14325 14327 13934 0 -1 4202560 18267 0 0 0 2493 8 0 0 25 0 4 0 653464069 304017408 55868 33554432000 4194304 4964800 140735224792144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14327/tid=14332] ppid=14325 vsize=296892 CPUtime=25.28 cores=0,2,4,6
/proc/14327/task/14332/stat : 14332 (claspmt) R 14325 14327 13934 0 -1 4202560 2184 0 0 0 2527 1 0 0 25 0 4 0 653464069 304017408 55868 33554432000 4194304 4964800 140735224792144 18446744073709551615 4668789 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14327/tid=14334] ppid=14325 vsize=296892 CPUtime=25.27 cores=0,2,4,6
/proc/14327/task/14334/stat : 14334 (claspmt) R 14325 14327 13934 0 -1 4202560 12463 0 0 0 2523 4 0 0 25 0 4 0 653464069 304017408 55868 33554432000 4194304 4964800 140735224792144 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.05
Current children cumulated vsize (KiB) 296892
[startup+51.1132 s]
/proc/loadavg: 6.13 6.03 7.12 9/346 14336
/proc/meminfo: memFree=17577400/32951124 swapFree=67082152/67111528
[pid=14327] ppid=14325 vsize=460984 CPUtime=203.21 cores=0,2,4,6
/proc/14327/stat : 14327 (claspmt) R 14325 14327 13934 0 -1 4202496 81602 0 1 0 20287 34 0 0 25 0 4 0 653464048 472047616 80156 33554432000 4194304 4964800 140735224792144 18446744073709551615 4670361 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/14327/statm: 115246 80156 460 189 0 109595 0
[pid=14327/tid=14330] ppid=14325 vsize=460984 CPUtime=50.32 cores=0,2,4,6
/proc/14327/task/14330/stat : 14330 (claspmt) R 14325 14327 13934 0 -1 4202560 27878 0 0 0 5020 12 0 0 25 0 4 0 653464069 472047616 80156 33554432000 4194304 4964800 140735224792144 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14327/tid=14332] ppid=14325 vsize=460984 CPUtime=50.89 cores=0,2,4,6
/proc/14327/task/14332/stat : 14332 (claspmt) R 14325 14327 13934 0 -1 4202560 3115 0 0 0 5088 1 0 0 25 0 4 0 653464069 472047616 80156 33554432000 4194304 4964800 140735224792144 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14327/tid=14334] ppid=14325 vsize=460984 CPUtime=50.88 cores=0,2,4,6
/proc/14327/task/14334/stat : 14334 (claspmt) R 14325 14327 13934 0 -1 4202560 15586 0 0 0 5083 5 0 0 25 0 4 0 653464069 472047616 80156 33554432000 4194304 4964800 140735224792144 18446744073709551615 4684058 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.21
Current children cumulated vsize (KiB) 460984
[startup+102.3 s]
/proc/loadavg: 7.25 6.35 7.17 9/346 14337
/proc/meminfo: memFree=17336708/32951124 swapFree=67082152/67111528
[pid=14327] ppid=14325 vsize=526520 CPUtime=407.39 cores=0,2,4,6
/proc/14327/stat : 14327 (claspmt) R 14325 14327 13934 0 -1 4202496 110464 0 1 0 40687 52 0 0 25 0 4 0 653464048 539156480 109018 33554432000 4194304 4964800 140735224792144 18446744073709551615 4320976 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/14327/statm: 131630 109018 460 189 0 125979 0
[pid=14327/tid=14330] ppid=14325 vsize=526520 CPUtime=100.94 cores=0,2,4,6
/proc/14327/task/14330/stat : 14330 (claspmt) R 14325 14327 13934 0 -1 4202560 33365 0 0 0 10079 15 0 0 25 0 4 0 653464069 539156480 109018 33554432000 4194304 4964800 140735224792144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14327/tid=14332] ppid=14325 vsize=526520 CPUtime=102.08 cores=0,2,4,6
/proc/14327/task/14332/stat : 14332 (claspmt) R 14325 14327 13934 0 -1 4202560 3673 0 0 0 10207 1 0 0 25 0 4 0 653464069 539156480 109018 33554432000 4194304 4964800 140735224792144 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14327/tid=14334] ppid=14325 vsize=526520 CPUtime=102.07 cores=0,2,4,6
/proc/14327/task/14334/stat : 14334 (claspmt) R 14325 14327 13934 0 -1 4202560 23106 0 0 0 10196 11 0 0 25 0 4 0 653464069 539156480 109018 33554432000 4194304 4964800 140735224792144 18446744073709551615 4321076 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 407.39
Current children cumulated vsize (KiB) 526520
[startup+162.301 s]
/proc/loadavg: 7.72 6.65 7.22 9/346 14339
/proc/meminfo: memFree=17069964/32951124 swapFree=67082152/67111528
[pid=14327] ppid=14325 vsize=779588 CPUtime=646.71 cores=0,2,4,6
/proc/14327/stat : 14327 (claspmt) R 14325 14327 13934 0 -1 4202496 148154 0 1 0 64602 69 0 0 25 0 4 0 653464048 798298112 146699 33554432000 4194304 4964800 140735224792144 18446744073709551615 4321020 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/14327/statm: 194897 146699 460 189 0 189246 0
[pid=14327/tid=14330] ppid=14325 vsize=779588 CPUtime=160.27 cores=0,2,4,6
/proc/14327/task/14330/stat : 14330 (claspmt) R 14325 14327 13934 0 -1 4202560 50940 0 0 0 16003 24 0 0 25 0 4 0 653464069 798298112 146699 33554432000 4194304 4964800 140735224792144 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14327/tid=14332] ppid=14325 vsize=779588 CPUtime=162.08 cores=0,2,4,6
/proc/14327/task/14332/stat : 14332 (claspmt) R 14325 14327 13934 0 -1 4202560 4806 0 0 0 16207 1 0 0 25 0 4 0 653464069 798298112 146699 33554432000 4194304 4964800 140735224792144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14327/tid=14334] ppid=14325 vsize=779588 CPUtime=162.07 cores=0,2,4,6
/proc/14327/task/14334/stat : 14334 (claspmt) R 14325 14327 13934 0 -1 4202560 31303 0 0 0 16193 14 0 0 25 0 4 0 653464069 798298112 146699 33554432000 4194304 4964800 140735224792144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 646.71
Current children cumulated vsize (KiB) 779588
[startup+222.3 s]
/proc/loadavg: 7.94 6.91 7.27 9/346 14340
/proc/meminfo: memFree=16886184/32951124 swapFree=67082152/67111528
[pid=14327] ppid=14325 vsize=845124 CPUtime=886.04 cores=0,2,4,6
/proc/14327/stat : 14327 (claspmt) R 14325 14327 13934 0 -1 4202496 174353 0 1 0 88516 88 0 0 25 0 4 0 653464048 865406976 172730 33554432000 4194304 4964800 140735224792144 18446744073709551615 4343230 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/14327/statm: 211281 172730 460 189 0 205630 0
[pid=14327/tid=14330] ppid=14325 vsize=845124 CPUtime=219.61 cores=0,2,4,6
/proc/14327/task/14330/stat : 14330 (claspmt) R 14325 14327 13934 0 -1 4202560 57084 0 0 0 21931 30 0 0 25 0 4 0 653464069 865406976 172730 33554432000 4194304 4964800 140735224792144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14327/tid=14332] ppid=14325 vsize=845124 CPUtime=222.08 cores=0,2,4,6
/proc/14327/task/14332/stat : 14332 (claspmt) R 14325 14327 13934 0 -1 4202560 5136 0 0 0 22206 2 0 0 25 0 4 0 653464069 865406976 172730 33554432000 4194304 4964800 140735224792144 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14327/tid=14334] ppid=14325 vsize=845124 CPUtime=222.07 cores=0,2,4,6
/proc/14327/task/14334/stat : 14334 (claspmt) R 14325 14327 13934 0 -1 4202560 43547 0 0 0 22183 24 0 0 25 0 4 0 653464069 865406976 172730 33554432000 4194304 4964800 140735224792144 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 886.04
Current children cumulated vsize (KiB) 845124
[startup+282.301 s]
################
# More data... #
################
[pid=14327/tid=14330] ppid=14325 vsize=1411504 CPUtime=694.28 cores=0,2,4,6
/proc/14327/task/14330/stat : 14330 (claspmt) R 14325 14327 13934 0 -1 4202560 100559 0 0 0 69367 61 0 0 25 0 4 0 653464069 1445380096 316291 33554432000 4194304 4964800 140735224792144 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14327/tid=14332] ppid=14325 vsize=1411504 CPUtime=702.1 cores=0,2,4,6
/proc/14327/task/14332/stat : 14332 (claspmt) R 14325 14327 13934 0 -1 4202560 11851 0 0 0 70205 5 0 0 25 0 4 0 653464069 1445380096 316291 33554432000 4194304 4964800 140735224792144 18446744073709551615 4670542 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14327/tid=14334] ppid=14325 vsize=1411504 CPUtime=702.06 cores=0,2,4,6
/proc/14327/task/14334/stat : 14334 (claspmt) R 14325 14327 13934 0 -1 4202560 103726 0 0 0 70134 72 0 0 25 0 4 0 653464069 1445380096 316291 33554432000 4194304 4964800 140735224792144 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2800.71
Current children cumulated vsize (KiB) 1411504
[startup+762.301 s]
/proc/loadavg: 8.11 7.90 7.62 9/346 14355
/proc/meminfo: memFree=15881540/32951124 swapFree=67082152/67111528
[pid=14327] ppid=14325 vsize=1411504 CPUtime=3039.97 cores=0,2,4,6
/proc/14327/stat : 14327 (claspmt) R 14325 14327 13934 0 -1 4202496 328904 0 1 0 303796 201 0 0 25 0 4 0 653464048 1445380096 325431 33554432000 4194304 4964800 140735224792144 18446744073709551615 4320951 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/14327/statm: 352876 325431 460 189 0 347225 0
[pid=14327/tid=14330] ppid=14325 vsize=1411504 CPUtime=753.59 cores=0,2,4,6
/proc/14327/task/14330/stat : 14330 (claspmt) R 14325 14327 13934 0 -1 4202560 100823 0 0 0 75297 62 0 0 25 0 4 0 653464069 1445380096 325431 33554432000 4194304 4964800 140735224792144 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14327/tid=14332] ppid=14325 vsize=1411504 CPUtime=762.1 cores=0,2,4,6
/proc/14327/task/14332/stat : 14332 (claspmt) R 14325 14327 13934 0 -1 4202560 13082 0 0 0 76204 6 0 0 25 0 4 0 653464069 1445380096 325431 33554432000 4194304 4964800 140735224792144 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14327/tid=14334] ppid=14325 vsize=1411504 CPUtime=762.04 cores=0,2,4,6
/proc/14327/task/14334/stat : 14334 (claspmt) R 14325 14327 13934 0 -1 4202560 111361 0 0 0 76125 79 0 0 25 0 4 0 653464069 1445380096 325431 33554432000 4194304 4964800 140735224792144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3039.97
Current children cumulated vsize (KiB) 1411504
[startup+822.301 s]
/proc/loadavg: 8.15 7.94 7.65 9/346 14356
/proc/meminfo: memFree=15776872/32951124 swapFree=67082152/67111528
[pid=14327] ppid=14325 vsize=1543908 CPUtime=3279.31 cores=0,2,4,6
/proc/14327/stat : 14327 (claspmt) R 14325 14327 13934 0 -1 4202496 349248 0 1 0 327710 221 0 0 25 0 4 0 653464048 1580961792 345775 33554432000 4194304 4964800 140735224792144 18446744073709551615 4653172 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/14327/statm: 385977 345775 460 189 0 380326 0
[pid=14327/tid=14330] ppid=14325 vsize=1543908 CPUtime=812.93 cores=0,2,4,6
/proc/14327/task/14330/stat : 14330 (claspmt) R 14325 14327 13934 0 -1 4202560 109072 0 0 0 81222 71 0 0 25 0 4 0 653464069 1580961792 345775 33554432000 4194304 4964800 140735224792144 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14327/tid=14332] ppid=14325 vsize=1543908 CPUtime=822.1 cores=0,2,4,6
/proc/14327/task/14332/stat : 14332 (claspmt) R 14325 14327 13934 0 -1 4202560 13127 0 0 0 82203 7 0 0 25 0 4 0 653464069 1580961792 345775 33554432000 4194304 4964800 140735224792144 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14327/tid=14334] ppid=14325 vsize=1543908 CPUtime=822.04 cores=0,2,4,6
/proc/14327/task/14334/stat : 14334 (claspmt) R 14325 14327 13934 0 -1 4202560 123112 0 0 0 82114 90 0 0 25 0 4 0 653464069 1580961792 345775 33554432000 4194304 4964800 140735224792144 18446744073709551615 228244010017 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3279.31
Current children cumulated vsize (KiB) 1543908
[startup+882.301 s]
/proc/loadavg: 8.09 7.96 7.67 9/346 14358
/proc/meminfo: memFree=15679024/32951124 swapFree=67082152/67111528
[pid=14327] ppid=14325 vsize=1575608 CPUtime=3518.66 cores=0,2,4,6
/proc/14327/stat : 14327 (claspmt) R 14325 14327 13934 0 -1 4202496 368687 0 1 0 351632 234 0 0 25 0 4 0 653464048 1613422592 364606 33554432000 4194304 4964800 140735224792144 18446744073709551615 4320951 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/14327/statm: 393902 364606 460 189 0 388251 0
[pid=14327/tid=14330] ppid=14325 vsize=1575608 CPUtime=872.28 cores=0,2,4,6
/proc/14327/task/14330/stat : 14330 (claspmt) R 14325 14327 13934 0 -1 4202560 115355 0 0 0 87155 73 0 0 25 0 4 0 653464069 1613422592 364606 33554432000 4194304 4964800 140735224792144 18446744073709551615 4312134 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14327/tid=14332] ppid=14325 vsize=1575608 CPUtime=882.1 cores=0,2,4,6
/proc/14327/task/14332/stat : 14332 (claspmt) R 14325 14327 13934 0 -1 4202560 14307 0 0 0 88203 7 0 0 25 0 4 0 653464069 1613422592 364606 33554432000 4194304 4964800 140735224792144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14327/tid=14334] ppid=14325 vsize=1575608 CPUtime=882.05 cores=0,2,4,6
/proc/14327/task/14334/stat : 14334 (claspmt) R 14325 14327 13934 0 -1 4202560 126564 0 0 0 88112 93 0 0 25 0 4 0 653464069 1613422592 364606 33554432000 4194304 4964800 140735224792144 18446744073709551615 4343166 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3518.66
Current children cumulated vsize (KiB) 1575608
[startup+942.3 s]
/proc/loadavg: 8.07 7.98 7.70 9/346 14360
/proc/meminfo: memFree=15580928/32951124 swapFree=67082152/67111528
[pid=14327] ppid=14325 vsize=1578360 CPUtime=3757.94 cores=0,2,4,6
/proc/14327/stat : 14327 (claspmt) R 14325 14327 13934 0 -1 4202496 370232 0 1 0 375559 235 0 0 25 0 4 0 653464048 1616240640 365028 33554432000 4194304 4964800 140735224792144 18446744073709551615 4660209 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/14327/statm: 394590 365028 460 189 0 388939 0
[pid=14327/tid=14330] ppid=14325 vsize=1578360 CPUtime=931.59 cores=0,2,4,6
/proc/14327/task/14330/stat : 14330 (claspmt) R 14325 14327 13934 0 -1 4202560 115638 0 0 0 93085 74 0 0 25 0 4 0 653464069 1616240640 365028 33554432000 4194304 4964800 140735224792144 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14327/tid=14332] ppid=14325 vsize=1578360 CPUtime=942.09 cores=0,2,4,6
/proc/14327/task/14332/stat : 14332 (claspmt) R 14325 14327 13934 0 -1 4202560 15266 0 0 0 94202 7 0 0 25 0 4 0 653464069 1616240640 365028 33554432000 4194304 4964800 140735224792144 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14327/tid=14334] ppid=14325 vsize=1578360 CPUtime=942.04 cores=0,2,4,6
/proc/14327/task/14334/stat : 14334 (claspmt) R 14325 14327 13934 0 -1 4202560 126862 0 0 0 94111 93 0 0 25 0 4 0 653464069 1616240640 365028 33554432000 4194304 4964800 140735224792144 18446744073709551615 4321076 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3757.94
Current children cumulated vsize (KiB) 1578360
[startup+1002.3 s]
/proc/loadavg: 8.06 8.00 7.72 9/346 14361
/proc/meminfo: memFree=15560348/32951124 swapFree=67082152/67111528
[pid=14327] ppid=14325 vsize=1581064 CPUtime=3997.29 cores=0,2,4,6
/proc/14327/stat : 14327 (claspmt) R 14325 14327 13934 0 -1 4202496 371983 0 1 0 399493 236 0 0 25 0 4 0 653464048 1619009536 366779 33554432000 4194304 4964800 140735224792144 18446744073709551615 4342199 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/14327/statm: 395266 366779 460 189 0 389615 0
[pid=14327/tid=14330] ppid=14325 vsize=1581064 CPUtime=990.94 cores=0,2,4,6
/proc/14327/task/14330/stat : 14330 (claspmt) R 14325 14327 13934 0 -1 4202560 116243 0 0 0 99020 74 0 0 25 0 4 0 653464069 1619009536 366779 33554432000 4194304 4964800 140735224792144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14327/tid=14332] ppid=14325 vsize=1581064 CPUtime=1002.09 cores=0,2,4,6
/proc/14327/task/14332/stat : 14332 (claspmt) R 14325 14327 13934 0 -1 4202560 15291 0 0 0 100201 8 0 0 25 0 4 0 653464069 1619009536 366779 33554432000 4194304 4964800 140735224792144 18446744073709551615 4320953 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14327/tid=14334] ppid=14325 vsize=1581064 CPUtime=1002.03 cores=0,2,4,6
/proc/14327/task/14334/stat : 14334 (claspmt) R 14325 14327 13934 0 -1 4202560 127980 0 0 0 100110 93 0 0 25 0 4 0 653464069 1619009536 366779 33554432000 4194304 4964800 140735224792144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3997.29
Current children cumulated vsize (KiB) 1581064
[startup+1062.3 s]
/proc/loadavg: 8.13 8.03 7.74 9/346 14363
/proc/meminfo: memFree=15557344/32951124 swapFree=67082152/67111528
[pid=14327] ppid=14325 vsize=1581064 CPUtime=4236.62 cores=0,2,4,6
/proc/14327/stat : 14327 (claspmt) R 14325 14327 13934 0 -1 4202496 372372 0 1 0 423426 236 0 0 25 0 4 0 653464048 1619009536 367168 33554432000 4194304 4964800 140735224792144 18446744073709551615 4668756 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/14327/statm: 395266 367168 460 189 0 389615 0
[pid=14327/tid=14330] ppid=14325 vsize=1581064 CPUtime=1050.28 cores=0,2,4,6
/proc/14327/task/14330/stat : 14330 (claspmt) R 14325 14327 13934 0 -1 4202560 116622 0 0 0 104954 74 0 0 25 0 4 0 653464069 1619009536 367168 33554432000 4194304 4964800 140735224792144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14327/tid=14332] ppid=14325 vsize=1581064 CPUtime=1062.09 cores=0,2,4,6
/proc/14327/task/14332/stat : 14332 (claspmt) R 14325 14327 13934 0 -1 4202560 15291 0 0 0 106201 8 0 0 25 0 4 0 653464069 1619009536 367168 33554432000 4194304 4964800 140735224792144 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14327/tid=14334] ppid=14325 vsize=1581064 CPUtime=1062.03 cores=0,2,4,6
/proc/14327/task/14334/stat : 14334 (claspmt) R 14325 14327 13934 0 -1 4202560 127989 0 0 0 106110 93 0 0 25 0 4 0 653464069 1619009536 367168 33554432000 4194304 4964800 140735224792144 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4236.62
Current children cumulated vsize (KiB) 1581064
[startup+1122.3 s]
/proc/loadavg: 8.19 8.05 7.77 9/346 14364
/proc/meminfo: memFree=15537744/32951124 swapFree=67082152/67111528
[pid=14327] ppid=14325 vsize=1648268 CPUtime=4475.9 cores=0,2,4,6
/proc/14327/stat : 14327 (claspmt) R 14325 14327 13934 0 -1 4202496 377429 0 1 0 447348 242 0 0 25 0 4 0 653464048 1687826432 372225 33554432000 4194304 4964800 140735224792144 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/14327/statm: 412067 372225 460 189 0 406416 0
[pid=14327/tid=14330] ppid=14325 vsize=1648268 CPUtime=1109.57 cores=0,2,4,6
/proc/14327/task/14330/stat : 14330 (claspmt) R 14325 14327 13934 0 -1 4202560 116969 0 0 0 110882 75 0 0 25 0 4 0 653464069 1687826432 372225 33554432000 4194304 4964800 140735224792144 18446744073709551615 4669386 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14327/tid=14332] ppid=14325 vsize=1648268 CPUtime=1122.1 cores=0,2,4,6
/proc/14327/task/14332/stat : 14332 (claspmt) R 14325 14327 13934 0 -1 4202560 15291 0 0 0 112202 8 0 0 25 0 4 0 653464069 1687826432 372225 33554432000 4194304 4964800 140735224792144 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14327/tid=14334] ppid=14325 vsize=1648268 CPUtime=1122.03 cores=0,2,4,6
/proc/14327/task/14334/stat : 14334 (claspmt) R 14325 14327 13934 0 -1 4202560 132669 0 0 0 112106 97 0 0 23 0 4 0 653464069 1687826432 372225 33554432000 4194304 4964800 140735224792144 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4475.9
Current children cumulated vsize (KiB) 1648268
[startup+1182.3 s]
/proc/loadavg: 8.18 8.07 7.79 9/346 14366
/proc/meminfo: memFree=15504124/32951124 swapFree=67082152/67111528
[pid=14327] ppid=14325 vsize=1648268 CPUtime=4715.24 cores=0,2,4,6
/proc/14327/stat : 14327 (claspmt) R 14325 14327 13934 0 -1 4202496 377439 0 1 0 471282 242 0 0 25 0 4 0 653464048 1687826432 372235 33554432000 4194304 4964800 140735224792144 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/14327/statm: 412067 372235 460 189 0 406416 0
[pid=14327/tid=14330] ppid=14325 vsize=1648268 CPUtime=1168.91 cores=0,2,4,6
/proc/14327/task/14330/stat : 14330 (claspmt) R 14325 14327 13934 0 -1 4202560 116975 0 0 0 116816 75 0 0 25 0 4 0 653464069 1687826432 372235 33554432000 4194304 4964800 140735224792144 18446744073709551615 4660185 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14327/tid=14332] ppid=14325 vsize=1648268 CPUtime=1182.1 cores=0,2,4,6
/proc/14327/task/14332/stat : 14332 (claspmt) R 14325 14327 13934 0 -1 4202560 15291 0 0 0 118202 8 0 0 25 0 4 0 653464069 1687826432 372235 33554432000 4194304 4964800 140735224792144 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14327/tid=14334] ppid=14325 vsize=1648268 CPUtime=1182.03 cores=0,2,4,6
/proc/14327/task/14334/stat : 14334 (claspmt) R 14325 14327 13934 0 -1 4202560 132670 0 0 0 118106 97 0 0 25 0 4 0 653464069 1687826432 372235 33554432000 4194304 4964800 140735224792144 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4715.24
Current children cumulated vsize (KiB) 1648268
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1203.6 s]
/proc/loadavg: 8.21 8.08 7.80 9/346 14367
/proc/meminfo: memFree=15488496/32951124 swapFree=67082152/67111528
[pid=14327] ppid=14325 vsize=1648268 CPUtime=4800.23 cores=0,2,4,6
/proc/14327/stat : 14327 (claspmt) R 14325 14327 13934 0 -1 4202496 377452 0 1 0 479781 242 0 0 25 0 4 0 653464048 1687826432 372248 33554432000 4194304 4964800 140735224792144 18446744073709551615 4325305 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/14327/statm: 412067 372248 460 189 0 406416 0
[pid=14327/tid=14330] ppid=14325 vsize=1648268 CPUtime=1189.98 cores=0,2,4,6
/proc/14327/task/14330/stat : 14330 (claspmt) R 14325 14327 13934 0 -1 4202560 116985 0 0 0 118923 75 0 0 25 0 4 0 653464069 1687826432 372248 33554432000 4194304 4964800 140735224792144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14327/tid=14332] ppid=14325 vsize=1648268 CPUtime=1203.41 cores=0,2,4,6
/proc/14327/task/14332/stat : 14332 (claspmt) R 14325 14327 13934 0 -1 4202560 15291 0 0 0 120333 8 0 0 25 0 4 0 653464069 1687826432 372248 33554432000 4194304 4964800 140735224792144 18446744073709551615 4362958 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14327/tid=14334] ppid=14325 vsize=1648268 CPUtime=1203.34 cores=0,2,4,6
/proc/14327/task/14334/stat : 14334 (claspmt) R 14325 14327 13934 0 -1 4202560 132673 0 0 0 120237 97 0 0 25 0 4 0 653464069 1687826432 372248 33554432000 4194304 4964800 140735224792144 18446744073709551615 4321082 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 1648268
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1203.72 s]
/proc/loadavg: 8.21 8.08 7.80 9/346 14367
/proc/meminfo: memFree=15488496/32951124 swapFree=67082152/67111528
[pid=14327] ppid=14325 vsize=1641220 CPUtime=4800.37 cores=0,2,4,6
/proc/14327/stat : 14327 (claspmt) R 14325 14327 13934 0 -1 4202496 377462 0 1 0 479795 242 0 0 25 0 1 0 653464048 1680609280 370302 33554432000 4194304 4964800 140735224792144 18446744073709551615 228244005425 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/14327/statm: 410305 370302 470 189 0 404654 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 1641220
[startup+1203.8 s]
/proc/loadavg: 8.21 8.08 7.80 3/342 14369
/proc/meminfo: memFree=16837276/32951124 swapFree=67082152/67111528
[pid=14327] ppid=14325 vsize=389280 CPUtime=4800.45 cores=0,2,4,6
/proc/14327/stat : 14327 (claspmt) R 14325 14327 13934 0 -1 4202496 377463 0 1 0 479798 247 0 0 25 0 1 0 653464048 398622720 46906 33554432000 4194304 4964800 140735224792144 18446744073709551615 228244392071 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/14327/statm: 97320 46459 471 189 0 91669 0
Current children cumulated CPU time (s) 4800.45
Current children cumulated vsize (KiB) 389280
Child status: 0
Real time (s): 1203.82
CPU time (s): 4800.47
CPU user time (s): 4797.99
CPU system time (s): 2.48262
CPU usage (%): 398.771
Max. virtual memory (cumulated for all children) (KiB): 1648268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.99
system time used= 2.48262
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377464
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18678
involuntary context switches= 22556
runsolver used 3.63245 second user time and 9.51855 second system time
The end