runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14668 MiB free)
memory of node 1: 16384 MiB (15687 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281960-1503134995/watcher-4281960-1503134995 -o /tmp/evaluation-result-4281960-1503134995/solver-4281960-1503134995 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503095823-17351 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1123036626 HOME/instance-4281960-1503134995.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=25659, runsolver pid=25656
[startup+0.100159 s]*
/proc/loadavg: 2.32 1.96 1.82 2/197 25660
/proc/meminfo: memFree=31084616/32770624 swapFree=67108860/67108860
[pid=25659] ppid=25656 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25659/stat : 25659 (xcsp3-exec) S 25656 25659 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11908625 9740288 345 18446744073709551615 4194304 5098028 140731933414080 140731933412184 139911218766460 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 13537280 140731933417849 140731933418054 140731933418054 140731933421547 0
/proc/25659/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
[startup+0.209178 s]*
/proc/loadavg: 2.32 1.96 1.82 2/211 25674
/proc/meminfo: memFree=31072488/32770624 swapFree=67108860/67108860
[pid=25659] ppid=25656 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25659/stat : 25659 (xcsp3-exec) S 25656 25659 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11908625 9740288 345 18446744073709551615 4194304 5098028 140731933414080 140731933412184 139911218766460 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 13537280 140731933417849 140731933418054 140731933418054 140731933421547 0
/proc/25659/statm: 2378 345 289 221 0 87 0
[pid=25661] ppid=25659 vsize=13974352 memory=22932 CPUtime=0.06 cores=1,3,5,7
/proc/25661/stat : 25661 (java) S 25659 25659 17292 0 -1 1077944320 5134 0 0 0 5 1 0 0 20 0 15 0 11908636 14309736448 5733 18446744073709551615 4194304 4196468 140724423209200 140724423191744 139653954502391 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
/proc/25661/statm: 3493588 5733 2714 1 0 3482964 0
[pid=25661/tid=25662] ppid=25659 vsize=13974352 memory=7311146985107750967 CPUtime=0.05 cores=1,3,5,7
/proc/25661/task/25662/stat : 25662 (java) R 25659 25659 17292 0 -1 4202560 3296 0 0 0 4 1 0 0 20 0 15 0 11908636 14309736448 5733 18446744073709551615 4194304 4196468 140724423209200 139653958744672 139653954524317 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25663] ppid=25659 vsize=13974352 memory=10613 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25663/stat : 25663 (java) S 25659 25659 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11908637 14309736448 5733 18446744073709551615 4194304 4196468 140724423209200 139653888936464 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25664] ppid=25659 vsize=13974352 memory=3545936562449933984 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25664/stat : 25664 (java) S 25659 25659 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11908637 14309736448 5733 18446744073709551615 4194304 4196468 140724423209200 139653887883920 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25665] ppid=25659 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25665/stat : 25665 (java) S 25659 25659 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11908637 14309736448 5733 18446744073709551615 4194304 4196468 140724423209200 139653886830864 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25666] ppid=25659 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25666/stat : 25666 (java) S 25659 25659 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11908637 14309736448 5733 18446744073709551615 4194304 4196468 140724423209200 139653885778320 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25667] ppid=25659 vsize=13974352 memory=139990145296000 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25667/stat : 25667 (java) S 25659 25659 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11908638 14309736448 5733 18446744073709551615 4194304 4196468 140724423209200 139653432945392 139653954513538 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25668] ppid=25659 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25668/stat : 25668 (java) S 25659 25659 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11908639 14309736448 5733 18446744073709551615 4194304 4196468 140724423209200 139653431891616 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25669] ppid=25659 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25669/stat : 25669 (java) S 25659 25659 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11908639 14309736448 5733 18446744073709551615 4194304 4196468 140724423209200 139653430838512 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25670] ppid=25659 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25670/stat : 25670 (java) S 25659 25659 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11908641 14309736448 5733 18446744073709551615 4194304 4196468 140724423209200 139653429787088 139653954520987 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25671] ppid=25659 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25671/stat : 25671 (java) S 25659 25659 17292 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 11908641 14309736448 5733 18446744073709551615 4194304 4196468 140724423209200 139653428734192 139653954513538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25672] ppid=25659 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25672/stat : 25672 (java) S 25659 25659 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11908641 14309736448 5733 18446744073709551615 4194304 4196468 140724423209200 139653427681648 139653954513538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25673] ppid=25659 vsize=13974352 memory=139990145296000 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25673/stat : 25673 (java) S 25659 25659 17292 0 -1 1077944384 224 0 0 0 0 0 0 0 20 0 15 0 11908641 14309736448 5733 18446744073709551615 4194304 4196468 140724423209200 139653426628592 139653954513538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25674] ppid=25659 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25674/stat : 25674 (java) S 25659 25659 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11908641 14309736448 5733 18446744073709551615 4194304 4196468 140724423209200 139653425576288 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25675] ppid=25659 vsize=13974352 memory=139990145296000 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25675/stat : 25675 (java) S 25659 25659 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11908647 14309736448 5733 18446744073709551615 4194304 4196468 140724423209200 139653424524336 139653954513538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24312 KiB
[startup+0.310178 s]*
/proc/loadavg: 2.32 1.96 1.82 3/212 25675
/proc/meminfo: memFree=31062088/32770624 swapFree=67108860/67108860
[pid=25659] ppid=25656 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25659/stat : 25659 (xcsp3-exec) S 25656 25659 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11908625 9740288 345 18446744073709551615 4194304 5098028 140731933414080 140731933412184 139911218766460 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 13537280 140731933417849 140731933418054 140731933418054 140731933421547 0
/proc/25659/statm: 2378 345 289 221 0 87 0
[pid=25661] ppid=25659 vsize=13975376 memory=37448 CPUtime=0.25 cores=1,3,5,7
/proc/25661/stat : 25661 (java) S 25659 25659 17292 0 -1 1077944320 8499 0 0 0 22 3 0 0 20 0 15 0 11908636 14310785024 9362 18446744073709551615 4194304 4196468 140724423209200 140724423191744 139653954502391 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
/proc/25661/statm: 3493844 9362 2969 1 0 3483220 0
[pid=25661/tid=25662] ppid=25659 vsize=13975376 memory=-8774313645642428999 CPUtime=0.15 cores=1,3,5,7
/proc/25661/task/25662/stat : 25662 (java) R 25659 25659 17292 0 -1 4202560 5815 0 0 0 13 2 0 0 20 0 15 0 11908636 14310785024 9362 18446744073709551615 4194304 4196468 140724423209200 139653958704368 139653947182109 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25663] ppid=25659 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25663/stat : 25663 (java) S 25659 25659 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11908637 14310785024 9362 18446744073709551615 4194304 4196468 140724423209200 139653888936464 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25664] ppid=25659 vsize=13975376 memory=139990145296000 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25664/stat : 25664 (java) S 25659 25659 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11908637 14310785024 9362 18446744073709551615 4194304 4196468 140724423209200 139653887883920 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25665] ppid=25659 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25665/stat : 25665 (java) S 25659 25659 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11908637 14310785024 9362 18446744073709551615 4194304 4196468 140724423209200 139653886830864 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25666] ppid=25659 vsize=13975376 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25666/stat : 25666 (java) S 25659 25659 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11908637 14310785024 9362 18446744073709551615 4194304 4196468 140724423209200 139653885778320 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25667] ppid=25659 vsize=13975376 memory=139990145296000 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25667/stat : 25667 (java) S 25659 25659 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11908638 14310785024 9362 18446744073709551615 4194304 4196468 140724423209200 139653432945392 139653954513538 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25668] ppid=25659 vsize=13975376 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25668/stat : 25668 (java) S 25659 25659 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11908639 14310785024 9362 18446744073709551615 4194304 4196468 140724423209200 139653431891616 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25669] ppid=25659 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25669/stat : 25669 (java) S 25659 25659 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11908639 14310785024 9362 18446744073709551615 4194304 4196468 140724423209200 139653430838512 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25670] ppid=25659 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25670/stat : 25670 (java) S 25659 25659 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11908641 14310785024 9362 18446744073709551615 4194304 4196468 140724423209200 139653429787088 139653954520987 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25671] ppid=25659 vsize=13975376 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25661/task/25671/stat : 25671 (java) S 25659 25659 17292 0 -1 1077944384 573 0 0 0 1 0 0 0 20 0 15 0 11908641 14310785024 9362 18446744073709551615 4194304 4196468 140724423209200 139653428734192 139653954513538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25672] ppid=25659 vsize=13975376 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/25661/task/25672/stat : 25672 (java) S 25659 25659 17292 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 15 0 11908641 14310785024 9362 18446744073709551615 4194304 4196468 140724423209200 139653427681648 139653954513538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25673] ppid=25659 vsize=13975376 memory=139990145296000 CPUtime=0.05 cores=1,3,5,7
/proc/25661/task/25673/stat : 25673 (java) S 25659 25659 17292 0 -1 1077944384 696 0 0 0 5 0 0 0 20 0 15 0 11908641 14310785024 9362 18446744073709551615 4194304 4196468 140724423209200 139653426628592 139653954513538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25674] ppid=25659 vsize=13975376 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25674/stat : 25674 (java) S 25659 25659 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11908641 14310785024 9362 18446744073709551615 4194304 4196468 140724423209200 139653425576288 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25675] ppid=25659 vsize=13975376 memory=139990145296000 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25675/stat : 25675 (java) S 25659 25659 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11908647 14310785024 9362 18446744073709551615 4194304 4196468 140724423209200 139653424524336 139653954513538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13984888 KiB
Current children cumulated memory: 38828 KiB
[startup+0.700839 s]
/proc/loadavg: 2.32 1.96 1.82 4/212 25675
/proc/meminfo: memFree=31047884/32770624 swapFree=67108860/67108860
[pid=25659] ppid=25656 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25659/stat : 25659 (xcsp3-exec) S 25656 25659 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11908625 9740288 345 18446744073709551615 4194304 5098028 140731933414080 140731933412184 139911218766460 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 13537280 140731933417849 140731933418054 140731933418054 140731933421547 0
/proc/25659/statm: 2378 345 289 221 0 87 0
[pid=25661] ppid=25659 vsize=13980732 memory=68780 CPUtime=1.15 cores=1,3,5,7
/proc/25661/stat : 25661 (java) S 25659 25659 17292 0 -1 1077944320 14887 0 0 0 109 6 0 0 20 0 15 0 11908636 14316269568 17195 18446744073709551615 4194304 4196468 140724423209200 140724423191744 139653954502391 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
/proc/25661/statm: 3495183 17195 3169 1 0 3483476 0
[pid=25661/tid=25662] ppid=25659 vsize=13980732 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/25661/task/25662/stat : 25662 (java) R 25659 25659 17292 0 -1 4202560 8460 0 0 0 49 4 0 0 20 0 15 0 11908636 14316269568 17195 18446744073709551615 4194304 4196468 140724423209200 139653958739568 139653954514326 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25663] ppid=25659 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25663/stat : 25663 (java) S 25659 25659 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11908637 14316269568 17195 18446744073709551615 4194304 4196468 140724423209200 139653888936464 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25664] ppid=25659 vsize=13980732 memory=5939215897960928871 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25664/stat : 25664 (java) S 25659 25659 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11908637 14316269568 17195 18446744073709551615 4194304 4196468 140724423209200 139653887883920 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25665] ppid=25659 vsize=13980732 memory=5865469479800824941 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25665/stat : 25665 (java) S 25659 25659 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11908637 14316269568 17195 18446744073709551615 4194304 4196468 140724423209200 139653886830864 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25666] ppid=25659 vsize=13980732 memory=4638778398332698720 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25666/stat : 25666 (java) S 25659 25659 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11908637 14316269568 17195 18446744073709551615 4194304 4196468 140724423209200 139653885778320 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25667] ppid=25659 vsize=13980732 memory=-9033795734659767669 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25667/stat : 25667 (java) S 25659 25659 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 11908638 14316269568 17195 18446744073709551615 4194304 4196468 140724423209200 139653432945392 139653954513538 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25668] ppid=25659 vsize=13980732 memory=-9109213556524817781 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25668/stat : 25668 (java) S 25659 25659 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11908639 14316269568 17195 18446744073709551615 4194304 4196468 140724423209200 139653431891616 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25669] ppid=25659 vsize=13980732 memory=-7739291840220455296 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25669/stat : 25669 (java) S 25659 25659 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11908639 14316269568 17195 18446744073709551615 4194304 4196468 140724423209200 139653430838512 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25670] ppid=25659 vsize=13980732 memory=8329294824090543255 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25670/stat : 25670 (java) S 25659 25659 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11908641 14316269568 17195 18446744073709551615 4194304 4196468 140724423209200 139653429787088 139653954520987 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25671] ppid=25659 vsize=13980732 memory=7077805514658193553 CPUtime=0.17 cores=1,3,5,7
/proc/25661/task/25671/stat : 25671 (java) R 25659 25659 17292 0 -1 4202560 1939 0 0 0 16 1 0 0 20 0 15 0 11908641 14316269568 17261 18446744073709551615 4194304 4196468 140724423209200 139653428719672 139653936047352 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25672] ppid=25659 vsize=13980732 memory=51048 CPUtime=0.18 cores=1,3,5,7
/proc/25661/task/25672/stat : 25672 (java) R 25659 25659 17292 0 -1 4202560 1290 0 0 0 18 0 0 0 20 0 15 0 11908641 14316269568 17261 18446744073709551615 4194304 4196468 140724423209200 139653427667528 139653934188329 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25673] ppid=25659 vsize=13980732 memory=-8774313645642428999 CPUtime=0.24 cores=1,3,5,7
/proc/25661/task/25673/stat : 25673 (java) R 25659 25659 17292 0 -1 1077944384 1894 0 0 0 24 0 0 0 20 0 15 0 11908641 14316269568 17261 18446744073709551615 4194304 4196468 140724423209200 139653426628592 139653954513538 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25674] ppid=25659 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25674/stat : 25674 (java) S 25659 25659 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11908641 14316269568 17261 18446744073709551615 4194304 4196468 140724423209200 139653425576288 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25675] ppid=25659 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25675/stat : 25675 (java) S 25659 25659 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11908647 14316269568 17261 18446744073709551615 4194304 4196468 140724423209200 139653424524336 139653954513538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 70160 KiB
[startup+1.50084 s]
/proc/loadavg: 2.32 1.96 1.82 4/212 25675
/proc/meminfo: memFree=31011164/32770624 swapFree=67108860/67108860
[pid=25659] ppid=25656 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25659/stat : 25659 (xcsp3-exec) S 25656 25659 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11908625 9740288 345 18446744073709551615 4194304 5098028 140731933414080 140731933412184 139911218766460 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 13537280 140731933417849 140731933418054 140731933418054 140731933421547 0
/proc/25659/statm: 2378 345 289 221 0 87 0
[pid=25661] ppid=25659 vsize=13980732 memory=88148 CPUtime=3.43 cores=1,3,5,7
/proc/25661/stat : 25661 (java) S 25659 25659 17292 0 -1 1077944320 22805 0 0 0 335 8 0 0 20 0 15 0 11908636 14316269568 22037 18446744073709551615 4194304 4196468 140724423209200 140724423191744 139653954502391 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
/proc/25661/statm: 3495183 22037 3187 1 0 3483476 0
[pid=25661/tid=25662] ppid=25659 vsize=13980732 memory=-8774313645642428999 CPUtime=1.32 cores=1,3,5,7
/proc/25661/task/25662/stat : 25662 (java) R 25659 25659 17292 0 -1 4202560 9277 0 0 0 128 4 0 0 20 0 15 0 11908636 14316269568 22037 18446744073709551615 4194304 4196468 140724423209200 139653958741576 139653954514326 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25663] ppid=25659 vsize=13980732 memory=3472468285449317525 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25663/stat : 25663 (java) S 25659 25659 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11908637 14316269568 22037 18446744073709551615 4194304 4196468 140724423209200 139653888936464 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25664] ppid=25659 vsize=13980732 memory=7162362074847524214 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25664/stat : 25664 (java) S 25659 25659 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11908637 14316269568 22037 18446744073709551615 4194304 4196468 140724423209200 139653887883920 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25665] ppid=25659 vsize=13980732 memory=4207739503676505687 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25665/stat : 25665 (java) S 25659 25659 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11908637 14316269568 22037 18446744073709551615 4194304 4196468 140724423209200 139653886830864 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25666] ppid=25659 vsize=13980732 memory=3472468285449324344 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25666/stat : 25666 (java) S 25659 25659 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11908637 14316269568 22037 18446744073709551615 4194304 4196468 140724423209200 139653885778320 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25667] ppid=25659 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25667/stat : 25667 (java) S 25659 25659 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 11908638 14316269568 22037 18446744073709551615 4194304 4196468 140724423209200 139653432945392 139653954513538 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25668] ppid=25659 vsize=13980732 memory=7089618335782298726 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25668/stat : 25668 (java) S 25659 25659 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11908639 14316269568 22037 18446744073709551615 4194304 4196468 140724423209200 139653431891616 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25669] ppid=25659 vsize=13980732 memory=-6804530832991035292 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25669/stat : 25669 (java) S 25659 25659 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11908639 14316269568 22037 18446744073709551615 4194304 4196468 140724423209200 139653430838512 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25670] ppid=25659 vsize=13980732 memory=-7025452035940392864 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25670/stat : 25670 (java) S 25659 25659 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11908641 14316269568 22037 18446744073709551615 4194304 4196468 140724423209200 139653429787088 139653954520987 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25671] ppid=25659 vsize=13980732 memory=3047711553320166262 CPUtime=0.81 cores=1,3,5,7
/proc/25661/task/25671/stat : 25671 (java) R 25659 25659 17292 0 -1 4202560 5005 0 0 0 80 1 0 0 20 0 15 0 11908641 14316269568 22037 18446744073709551615 4194304 4196468 140724423209200 139653428719696 139653939626416 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25672] ppid=25659 vsize=13980732 memory=8226496019563506588 CPUtime=0.85 cores=1,3,5,7
/proc/25661/task/25672/stat : 25672 (java) R 25659 25659 17292 0 -1 4202560 4176 0 0 0 85 0 0 0 20 0 15 0 11908641 14316269568 22037 18446744073709551615 4194304 4196468 140724423209200 139653427681776 139653933748239 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25673] ppid=25659 vsize=13980732 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/25661/task/25673/stat : 25673 (java) R 25659 25659 17292 0 -1 1077944384 3033 0 0 0 40 1 0 0 20 0 15 0 11908641 14316269568 22037 18446744073709551615 4194304 4196468 140724423209200 139653426628592 139653954513538 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25674] ppid=25659 vsize=13980732 memory=-1891255765032775953 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25674/stat : 25674 (java) S 25659 25659 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11908641 14316269568 22037 18446744073709551615 4194304 4196468 140724423209200 139653425576288 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25675] ppid=25659 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25675/stat : 25675 (java) S 25659 25659 17292 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 11908647 14316269568 22037 18446744073709551615 4194304 4196468 140724423209200 139653424524336 139653954513538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
################
# More data... #
################
[pid=25661/tid=25667] ppid=25659 vsize=13980732 memory=170712 CPUtime=0.41 cores=1,3,5,7
/proc/25661/task/25667/stat : 25667 (java) S 25659 25659 17292 0 -1 1077944384 4977 0 0 0 35 6 0 0 20 0 15 0 11908638 14316269568 42678 18446744073709551615 4194304 4196468 140724423209200 139653432945392 139653954513538 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25668] ppid=25659 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25668/stat : 25668 (java) S 25659 25659 17292 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 11908639 14316269568 42678 18446744073709551615 4194304 4196468 140724423209200 139653431891680 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25669] ppid=25659 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25669/stat : 25669 (java) S 25659 25659 17292 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 11908639 14316269568 42678 18446744073709551615 4194304 4196468 140724423209200 139653430838512 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25670] ppid=25659 vsize=13980732 memory=170712 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25670/stat : 25670 (java) S 25659 25659 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11908641 14316269568 42678 18446744073709551615 4194304 4196468 140724423209200 139653429787088 139653954520987 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25671] ppid=25659 vsize=13980732 memory=1380 CPUtime=2.64 cores=1,3,5,7
/proc/25661/task/25671/stat : 25671 (java) S 25659 25659 17292 0 -1 1077944384 20172 0 0 0 262 2 0 0 20 0 15 0 11908641 14316269568 42678 18446744073709551615 4194304 4196468 140724423209200 139653428734192 139653954513538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25672] ppid=25659 vsize=13980732 memory=1152 CPUtime=2.31 cores=1,3,5,7
/proc/25661/task/25672/stat : 25672 (java) S 25659 25659 17292 0 -1 1077944384 14255 0 0 0 230 1 0 0 20 0 15 0 11908641 14316269568 42678 18446744073709551615 4194304 4196468 140724423209200 139653427681648 139653954513538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25673] ppid=25659 vsize=13980732 memory=3256 CPUtime=0.61 cores=1,3,5,7
/proc/25661/task/25673/stat : 25673 (java) S 25659 25659 17292 0 -1 1077944384 10949 0 0 0 58 3 0 0 20 0 15 0 11908641 14316269568 42678 18446744073709551615 4194304 4196468 140724423209200 139653426628592 139653954513538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25674] ppid=25659 vsize=13980732 memory=10592 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25674/stat : 25674 (java) S 25659 25659 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11908641 14316269568 42678 18446744073709551615 4194304 4196468 140724423209200 139653425576288 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25675] ppid=25659 vsize=13980732 memory=1292 CPUtime=0.47 cores=1,3,5,7
/proc/25661/task/25675/stat : 25675 (java) S 25659 25659 17292 0 -1 1077944384 869 0 0 0 20 27 0 0 20 0 15 0 11908647 14316269568 42678 18446744073709551615 4194304 4196468 140724423209200 139653424524336 139653954513538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
Current children cumulated CPU time: 2389.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 172092 KiB
[startup+2442.3 s]
/proc/loadavg: 1.53 1.53 1.54 3/211 25817
/proc/meminfo: memFree=30672080/32770624 swapFree=67108860/67108860
[pid=25659] ppid=25656 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25659/stat : 25659 (xcsp3-exec) S 25656 25659 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11908625 9740288 345 18446744073709551615 4194304 5098028 140731933414080 140731933412184 139911218766460 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 13537280 140731933417849 140731933418054 140731933418054 140731933421547 0
/proc/25659/statm: 2378 345 289 221 0 87 0
[pid=25661] ppid=25659 vsize=13980732 memory=170712 CPUtime=2449.06 cores=1,3,5,7
/proc/25661/stat : 25661 (java) S 25659 25659 17292 0 -1 1077944320 88338 0 0 0 244850 56 0 0 20 0 15 0 11908636 14316269568 42678 18446744073709551615 4194304 4196468 140724423209200 140724423191744 139653954502391 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
/proc/25661/statm: 3495183 42678 3240 1 0 3483476 0
[pid=25661/tid=25662] ppid=25659 vsize=13980732 memory=170712 CPUtime=2441.09 cores=1,3,5,7
/proc/25661/task/25662/stat : 25662 (java) R 25659 25659 17292 0 -1 4202560 24059 0 0 0 244101 8 0 0 20 0 15 0 11908636 14316269568 42678 18446744073709551615 4194304 4196468 140724423209200 139653958741984 139653568976727 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25663] ppid=25659 vsize=13980732 memory=170712 CPUtime=0.36 cores=1,3,5,7
/proc/25661/task/25663/stat : 25663 (java) S 25659 25659 17292 0 -1 1077944384 3340 0 0 0 32 4 0 0 20 0 15 0 11908637 14316269568 42678 18446744073709551615 4194304 4196468 140724423209200 139653888936464 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25664] ppid=25659 vsize=13980732 memory=170712 CPUtime=0.36 cores=1,3,5,7
/proc/25661/task/25664/stat : 25664 (java) S 25659 25659 17292 0 -1 1077944384 3248 0 0 0 31 5 0 0 20 0 15 0 11908637 14316269568 42678 18446744073709551615 4194304 4196468 140724423209200 139653887883920 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25665] ppid=25659 vsize=13980732 memory=170712 CPUtime=0.36 cores=1,3,5,7
/proc/25661/task/25665/stat : 25665 (java) S 25659 25659 17292 0 -1 1077944384 2709 0 0 0 31 5 0 0 20 0 15 0 11908637 14316269568 42678 18446744073709551615 4194304 4196468 140724423209200 139653886830864 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25666] ppid=25659 vsize=13980732 memory=170712 CPUtime=0.36 cores=1,3,5,7
/proc/25661/task/25666/stat : 25666 (java) S 25659 25659 17292 0 -1 1077944384 2379 0 0 0 33 3 0 0 20 0 15 0 11908637 14316269568 42678 18446744073709551615 4194304 4196468 140724423209200 139653885778320 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25667] ppid=25659 vsize=13980732 memory=170712 CPUtime=0.42 cores=1,3,5,7
/proc/25661/task/25667/stat : 25667 (java) S 25659 25659 17292 0 -1 1077944384 4981 0 0 0 36 6 0 0 20 0 15 0 11908638 14316269568 42678 18446744073709551615 4194304 4196468 140724423209200 139653432945392 139653954513538 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25668] ppid=25659 vsize=13980732 memory=170712 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25668/stat : 25668 (java) S 25659 25659 17292 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 11908639 14316269568 42678 18446744073709551615 4194304 4196468 140724423209200 139653431891680 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25669] ppid=25659 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25669/stat : 25669 (java) S 25659 25659 17292 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 11908639 14316269568 42678 18446744073709551615 4194304 4196468 140724423209200 139653430838512 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25670] ppid=25659 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25670/stat : 25670 (java) S 25659 25659 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11908641 14316269568 42678 18446744073709551615 4194304 4196468 140724423209200 139653429787088 139653954520987 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25671] ppid=25659 vsize=13980732 memory=1380 CPUtime=2.64 cores=1,3,5,7
/proc/25661/task/25671/stat : 25671 (java) S 25659 25659 17292 0 -1 1077944384 20172 0 0 0 262 2 0 0 20 0 15 0 11908641 14316269568 42678 18446744073709551615 4194304 4196468 140724423209200 139653428734192 139653954513538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25672] ppid=25659 vsize=13980732 memory=170712 CPUtime=2.31 cores=1,3,5,7
/proc/25661/task/25672/stat : 25672 (java) S 25659 25659 17292 0 -1 1077944384 14255 0 0 0 230 1 0 0 20 0 15 0 11908641 14316269568 42678 18446744073709551615 4194304 4196468 140724423209200 139653427681648 139653954513538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25673] ppid=25659 vsize=13980732 memory=1380 CPUtime=0.61 cores=1,3,5,7
/proc/25661/task/25673/stat : 25673 (java) S 25659 25659 17292 0 -1 1077944384 10949 0 0 0 58 3 0 0 20 0 15 0 11908641 14316269568 42678 18446744073709551615 4194304 4196468 140724423209200 139653426628592 139653954513538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25674] ppid=25659 vsize=13980732 memory=170712 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25674/stat : 25674 (java) S 25659 25659 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11908641 14316269568 42678 18446744073709551615 4194304 4196468 140724423209200 139653425576288 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25675] ppid=25659 vsize=13980732 memory=1380 CPUtime=0.48 cores=1,3,5,7
/proc/25661/task/25675/stat : 25675 (java) S 25659 25659 17292 0 -1 1077944384 873 0 0 0 21 27 0 0 20 0 15 0 11908647 14316269568 42678 18446744073709551615 4194304 4196468 140724423209200 139653424524336 139653954513538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
Current children cumulated CPU time: 2449.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 172092 KiB
[startup+2502.3 s]
/proc/loadavg: 1.56 1.54 1.54 3/211 25897
/proc/meminfo: memFree=31439776/32770624 swapFree=67108860/67108860
[pid=25659] ppid=25656 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25659/stat : 25659 (xcsp3-exec) S 25656 25659 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11908625 9740288 345 18446744073709551615 4194304 5098028 140731933414080 140731933412184 139911218766460 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 13537280 140731933417849 140731933418054 140731933418054 140731933421547 0
/proc/25659/statm: 2378 345 289 221 0 87 0
[pid=25661] ppid=25659 vsize=13980732 memory=172760 CPUtime=2509.11 cores=1,3,5,7
/proc/25661/stat : 25661 (java) S 25659 25659 17292 0 -1 1077944320 89292 0 0 0 250854 57 0 0 20 0 15 0 11908636 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 140724423191744 139653954502391 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
/proc/25661/statm: 3495183 43190 3240 1 0 3483476 0
[pid=25661/tid=25662] ppid=25659 vsize=13980732 memory=1380 CPUtime=2501.06 cores=1,3,5,7
/proc/25661/task/25662/stat : 25662 (java) R 25659 25659 17292 0 -1 4202560 24426 0 0 0 250098 8 0 0 20 0 15 0 11908636 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 139653958741984 139653563899543 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25663] ppid=25659 vsize=13980732 memory=172760 CPUtime=0.37 cores=1,3,5,7
/proc/25661/task/25663/stat : 25663 (java) S 25659 25659 17292 0 -1 1077944384 3645 0 0 0 33 4 0 0 20 0 15 0 11908637 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 139653888936464 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25664] ppid=25659 vsize=13980732 memory=172760 CPUtime=0.37 cores=1,3,5,7
/proc/25661/task/25664/stat : 25664 (java) S 25659 25659 17292 0 -1 1077944384 3302 0 0 0 32 5 0 0 20 0 15 0 11908637 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 139653887883920 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25665] ppid=25659 vsize=13980732 memory=172760 CPUtime=0.37 cores=1,3,5,7
/proc/25661/task/25665/stat : 25665 (java) S 25659 25659 17292 0 -1 1077944384 2722 0 0 0 32 5 0 0 20 0 15 0 11908637 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 139653886830864 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25666] ppid=25659 vsize=13980732 memory=1380 CPUtime=0.37 cores=1,3,5,7
/proc/25661/task/25666/stat : 25666 (java) S 25659 25659 17292 0 -1 1077944384 2396 0 0 0 34 3 0 0 20 0 15 0 11908637 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 139653885778320 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25667] ppid=25659 vsize=13980732 memory=1380 CPUtime=0.43 cores=1,3,5,7
/proc/25661/task/25667/stat : 25667 (java) S 25659 25659 17292 0 -1 1077944384 5154 0 0 0 37 6 0 0 20 0 15 0 11908638 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 139653432945392 139653954513538 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25668] ppid=25659 vsize=13980732 memory=170712 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25668/stat : 25668 (java) S 25659 25659 17292 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 11908639 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 139653431891680 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25669] ppid=25659 vsize=13980732 memory=172760 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25669/stat : 25669 (java) S 25659 25659 17292 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 11908639 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 139653430838512 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25670] ppid=25659 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25670/stat : 25670 (java) S 25659 25659 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11908641 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 139653429787088 139653954520987 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25671] ppid=25659 vsize=13980732 memory=172760 CPUtime=2.64 cores=1,3,5,7
/proc/25661/task/25671/stat : 25671 (java) S 25659 25659 17292 0 -1 1077944384 20174 0 0 0 262 2 0 0 20 0 15 0 11908641 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 139653428734192 139653954513538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25672] ppid=25659 vsize=13980732 memory=1380 CPUtime=2.31 cores=1,3,5,7
/proc/25661/task/25672/stat : 25672 (java) S 25659 25659 17292 0 -1 1077944384 14257 0 0 0 230 1 0 0 20 0 15 0 11908641 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 139653427681648 139653954513538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25673] ppid=25659 vsize=13980732 memory=172760 CPUtime=0.61 cores=1,3,5,7
/proc/25661/task/25673/stat : 25673 (java) S 25659 25659 17292 0 -1 1077944384 10951 0 0 0 58 3 0 0 20 0 15 0 11908641 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 139653426628592 139653954513538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25674] ppid=25659 vsize=13980732 memory=172760 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25674/stat : 25674 (java) S 25659 25659 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11908641 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 139653425576288 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25675] ppid=25659 vsize=13980732 memory=1380 CPUtime=0.49 cores=1,3,5,7
/proc/25661/task/25675/stat : 25675 (java) S 25659 25659 17292 0 -1 1077944384 892 0 0 0 21 28 0 0 20 0 15 0 11908647 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 139653424524336 139653954513538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
Current children cumulated CPU time: 2509.11 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 174140 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513.2 s]
/proc/loadavg: 1.47 1.53 1.53 3/211 25897
/proc/meminfo: memFree=31477520/32770624 swapFree=67108860/67108860
[pid=25659] ppid=25656 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25659/stat : 25659 (xcsp3-exec) S 25656 25659 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11908625 9740288 345 18446744073709551615 4194304 5098028 140731933414080 140731933412184 139911218766460 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 13537280 140731933417849 140731933418054 140731933418054 140731933421547 0
/proc/25659/statm: 2378 345 289 221 0 87 0
[pid=25661] ppid=25659 vsize=13980732 memory=172760 CPUtime=2520.02 cores=1,3,5,7
/proc/25661/stat : 25661 (java) S 25659 25659 17292 0 -1 1077944320 89303 0 0 0 251945 57 0 0 20 0 15 0 11908636 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 140724423191744 139653954502391 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
/proc/25661/statm: 3495183 43190 3240 1 0 3483476 0
[pid=25661/tid=25662] ppid=25659 vsize=13980732 memory=3252 CPUtime=2511.95 cores=1,3,5,7
/proc/25661/task/25662/stat : 25662 (java) R 25659 25659 17292 0 -1 4202560 24431 0 0 0 251187 8 0 0 20 0 15 0 11908636 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 139653958741952 139653567474364 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25663] ppid=25659 vsize=13980732 memory=1380 CPUtime=0.37 cores=1,3,5,7
/proc/25661/task/25663/stat : 25663 (java) S 25659 25659 17292 0 -1 1077944384 3646 0 0 0 33 4 0 0 20 0 15 0 11908637 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 139653888936464 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25664] ppid=25659 vsize=13980732 memory=172760 CPUtime=0.37 cores=1,3,5,7
/proc/25661/task/25664/stat : 25664 (java) S 25659 25659 17292 0 -1 1077944384 3302 0 0 0 32 5 0 0 20 0 15 0 11908637 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 139653887883920 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25665] ppid=25659 vsize=13980732 memory=1156 CPUtime=0.37 cores=1,3,5,7
/proc/25661/task/25665/stat : 25665 (java) S 25659 25659 17292 0 -1 1077944384 2722 0 0 0 32 5 0 0 20 0 15 0 11908637 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 139653886830864 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25666] ppid=25659 vsize=13980732 memory=2732 CPUtime=0.37 cores=1,3,5,7
/proc/25661/task/25666/stat : 25666 (java) S 25659 25659 17292 0 -1 1077944384 2397 0 0 0 34 3 0 0 20 0 15 0 11908637 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 139653885778320 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25667] ppid=25659 vsize=13980732 memory=1380 CPUtime=0.44 cores=1,3,5,7
/proc/25661/task/25667/stat : 25667 (java) S 25659 25659 17292 0 -1 1077944384 5156 0 0 0 38 6 0 0 20 0 15 0 11908638 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 139653432945392 139653954513538 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25668] ppid=25659 vsize=13980732 memory=172760 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25668/stat : 25668 (java) S 25659 25659 17292 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 11908639 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 139653431891680 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25669] ppid=25659 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25669/stat : 25669 (java) S 25659 25659 17292 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 11908639 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 139653430838512 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25670] ppid=25659 vsize=13980732 memory=952 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25670/stat : 25670 (java) S 25659 25659 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11908641 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 139653429787088 139653954520987 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25671] ppid=25659 vsize=13980732 memory=1236 CPUtime=2.64 cores=1,3,5,7
/proc/25661/task/25671/stat : 25671 (java) S 25659 25659 17292 0 -1 1077944384 20174 0 0 0 262 2 0 0 20 0 15 0 11908641 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 139653428734192 139653954513538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25672] ppid=25659 vsize=13980732 memory=2244 CPUtime=2.31 cores=1,3,5,7
/proc/25661/task/25672/stat : 25672 (java) S 25659 25659 17292 0 -1 1077944384 14257 0 0 0 230 1 0 0 20 0 15 0 11908641 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 139653427681648 139653954513538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25673] ppid=25659 vsize=13980732 memory=4288 CPUtime=0.61 cores=1,3,5,7
/proc/25661/task/25673/stat : 25673 (java) S 25659 25659 17292 0 -1 1077944384 10951 0 0 0 58 3 0 0 20 0 15 0 11908641 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 139653426628592 139653954513538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25674] ppid=25659 vsize=13980732 memory=928 CPUtime=0 cores=1,3,5,7
/proc/25661/task/25674/stat : 25674 (java) S 25659 25659 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11908641 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 139653425576288 139653954512597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
[pid=25661/tid=25675] ppid=25659 vsize=13980732 memory=1584 CPUtime=0.49 cores=1,3,5,7
/proc/25661/task/25675/stat : 25675 (java) S 25659 25659 17292 0 -1 1077944384 894 0 0 0 21 28 0 0 20 0 15 0 11908647 14316269568 43190 18446744073709551615 4194304 4196468 140724423209200 139653424524336 139653954513538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 17104896 140724423213490 140724423213666 140724423213666 140724423217103 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 174140 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.21 s]
# the end of solver process 25659 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.46 s, system=0.579134 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2513.21
CPU time (s): 2520.04
CPU user time (s): 2519.46
CPU system time (s): 0.579134
CPU usage (%): 100.272
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 217760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.46
system time used= 0.579134
maximum resident set size= 222528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90083
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67551
involuntary context switches= 1133
# summary of solver processes directly reported to runsolver:
# pid: 25659
# total CPU time (s): 2520.04
# total CPU user time (s): 2519.46
# total CPU system time (s): 0.579134
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.6558 second user time and 23.4615 second system time
The end