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 (12737 MiB free)
memory of node 1: 16384 MiB (12967 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284535-1503210734/watcher-4284535-1503210734 -o /tmp/evaluation-result-4284535-1503210734/solver-4284535-1503210734 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node113-1503209106-8068 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 389256573 HOME/instance-4284535-1503210734.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=8681, runsolver pid=8678
[startup+0.100096 s]*
/proc/loadavg: 1.60 1.75 1.70 3/217 8697
/proc/meminfo: memFree=26303380/32770624 swapFree=67108860/67108860
[pid=8681] ppid=8678 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8681/stat : 8681 (xcsp3-exec) S 8678 8681 8036 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154160866 9740288 345 33554432000 4194304 5098028 140736367016800 140736367014904 140719958606460 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22364160 140736367023221 140736367023424 140736367023424 140736367026155 0
/proc/8681/statm: 2378 345 289 221 0 87 0
[pid=8683] ppid=8681 vsize=13978596 memory=29116 CPUtime=0.12 cores=1,3,5,7
/proc/8683/stat : 8683 (java) S 8681 8681 8036 0 -1 1077944320 5098 0 0 0 11 1 0 0 20 0 15 0 154160866 14314082304 7279 33554432000 4194304 4196468 140729259804384 140729259786928 140162197257975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
/proc/8683/statm: 3494649 7279 2892 1 0 3482966 0
[pid=8683/tid=8684] ppid=8681 vsize=13978596 memory=-8976644418600983157 CPUtime=0.09 cores=1,3,5,7
/proc/8683/task/8684/stat : 8684 (java) R 8681 8681 8036 0 -1 4202560 3016 0 0 0 8 1 0 0 20 0 15 0 154160866 14314082304 7279 33554432000 4194304 4196468 140729259804384 140162201489888 140162176335884 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8685] ppid=8681 vsize=13978596 memory=3472467879073764560 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8685/stat : 8685 (java) S 8681 8681 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154160867 14314082304 7279 33554432000 4194304 4196468 140729259804384 140161792801552 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8686] ppid=8681 vsize=13978596 memory=139750178612864 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8686/stat : 8686 (java) S 8681 8681 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154160867 14314082304 7279 33554432000 4194304 4196468 140729259804384 140161791749008 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8687] ppid=8681 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8687/stat : 8687 (java) S 8681 8681 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154160867 14314082304 7279 33554432000 4194304 4196468 140729259804384 140161790696464 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8688] ppid=8681 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8688/stat : 8688 (java) S 8681 8681 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154160867 14314082304 7279 33554432000 4194304 4196468 140729259804384 140161789643920 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8689] ppid=8681 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8689/stat : 8689 (java) S 8681 8681 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154160869 14314082304 7279 33554432000 4194304 4196468 140729259804384 140161671170032 140162197269122 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8690] ppid=8681 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8690/stat : 8690 (java) S 8681 8681 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154160869 14314082304 7279 33554432000 4194304 4196468 140729259804384 140161670116256 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8691] ppid=8681 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8691/stat : 8691 (java) S 8681 8681 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154160869 14314082304 7279 33554432000 4194304 4196468 140729259804384 140161669063664 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8692] ppid=8681 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8692/stat : 8692 (java) S 8681 8681 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160872 14314082304 7279 33554432000 4194304 4196468 140729259804384 140161668012240 140162197276571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8693] ppid=8681 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8693/stat : 8693 (java) S 8681 8681 8036 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 154160872 14314082304 7279 33554432000 4194304 4196468 140729259804384 140161666959856 140162197269122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8694] ppid=8681 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8694/stat : 8694 (java) S 8681 8681 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160872 14314082304 7279 33554432000 4194304 4196468 140729259804384 140161665907312 140162197269122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8695] ppid=8681 vsize=13978596 memory=139750178612864 CPUtime=0.01 cores=1,3,5,7
/proc/8683/task/8695/stat : 8695 (java) S 8681 8681 8036 0 -1 1077944384 367 0 0 0 1 0 0 0 20 0 15 0 154160872 14314082304 7279 33554432000 4194304 4196468 140729259804384 140161664854768 140162197269122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8696] ppid=8681 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8696/stat : 8696 (java) S 8681 8681 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160872 14314082304 7279 33554432000 4194304 4196468 140729259804384 140161663802464 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8697] ppid=8681 vsize=13978596 memory=139750178612864 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8697/stat : 8697 (java) S 8681 8681 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154160872 14314082304 7279 33554432000 4194304 4196468 140729259804384 140161662748976 140162197269122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30496 KiB
[startup+0.210657 s]*
/proc/loadavg: 1.60 1.75 1.70 3/217 8697
/proc/meminfo: memFree=26289120/32770624 swapFree=67108860/67108860
[pid=8681] ppid=8678 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8681/stat : 8681 (xcsp3-exec) S 8678 8681 8036 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154160866 9740288 345 33554432000 4194304 5098028 140736367016800 140736367014904 140719958606460 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22364160 140736367023221 140736367023424 140736367023424 140736367026155 0
/proc/8681/statm: 2378 345 289 221 0 87 0
[pid=8683] ppid=8681 vsize=13982852 memory=40936 CPUtime=0.33 cores=1,3,5,7
/proc/8683/stat : 8683 (java) S 8681 8681 8036 0 -1 1077944320 7879 0 0 0 31 2 0 0 20 0 15 0 154160866 14318440448 10234 33554432000 4194304 4196468 140729259804384 140729259786928 140162197257975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
/proc/8683/statm: 3495713 10234 3052 1 0 3482966 0
[pid=8683/tid=8684] ppid=8681 vsize=13982852 memory=4790596700399117203 CPUtime=0.2 cores=1,3,5,7
/proc/8683/task/8684/stat : 8684 (java) D 8681 8681 8036 0 -1 1077944384 4839 0 0 0 18 2 0 0 20 0 15 0 154160866 14318440448 10234 33554432000 4194304 4196468 140729259804384 140162201468768 140162189937197 0 4 0 16800975 18446744072101629476 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8685] ppid=8681 vsize=13982852 memory=3472467879073764560 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8685/stat : 8685 (java) S 8681 8681 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154160867 14318440448 10234 33554432000 4194304 4196468 140729259804384 140161792801552 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8686] ppid=8681 vsize=13982852 memory=139750178612864 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8686/stat : 8686 (java) S 8681 8681 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154160867 14318440448 10234 33554432000 4194304 4196468 140729259804384 140161791749008 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8687] ppid=8681 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8687/stat : 8687 (java) S 8681 8681 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154160867 14318473216 10234 33554432000 4194304 4196468 140729259804384 140161790696464 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8688] ppid=8681 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8688/stat : 8688 (java) S 8681 8681 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154160867 14318473216 10234 33554432000 4194304 4196468 140729259804384 140161789643920 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8689] ppid=8681 vsize=13982852 memory=139750178612864 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8689/stat : 8689 (java) S 8681 8681 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154160869 14318440448 10234 33554432000 4194304 4196468 140729259804384 140161671170032 140162197269122 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8690] ppid=8681 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8690/stat : 8690 (java) S 8681 8681 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154160869 14318440448 10234 33554432000 4194304 4196468 140729259804384 140161670116256 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8691] ppid=8681 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8691/stat : 8691 (java) S 8681 8681 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154160869 14318440448 10234 33554432000 4194304 4196468 140729259804384 140161669063664 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8692] ppid=8681 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8692/stat : 8692 (java) S 8681 8681 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160872 14318440448 10234 33554432000 4194304 4196468 140729259804384 140161668012240 140162197276571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8693] ppid=8681 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8683/task/8693/stat : 8693 (java) S 8681 8681 8036 0 -1 1077944384 772 0 0 0 2 0 0 0 20 0 15 0 154160872 14318440448 10234 33554432000 4194304 4196468 140729259804384 140161666959856 140162197269122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8694] ppid=8681 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8683/task/8694/stat : 8694 (java) S 8681 8681 8036 0 -1 1077944384 125 0 0 0 2 0 0 0 20 0 15 0 154160872 14318440448 10234 33554432000 4194304 4196468 140729259804384 140161665907312 140162197269122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8695] ppid=8681 vsize=13982884 memory=139750178612864 CPUtime=0.08 cores=1,3,5,7
/proc/8683/task/8695/stat : 8695 (java) S 8681 8681 8036 0 -1 1077944384 855 0 0 0 8 0 0 0 20 0 15 0 154160872 14318473216 10234 33554432000 4194304 4196468 140729259804384 140161664854768 140162197269122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8696] ppid=8681 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8696/stat : 8696 (java) S 8681 8681 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160872 14318473216 10234 33554432000 4194304 4196468 140729259804384 140161663802464 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8697] ppid=8681 vsize=13982852 memory=139750178612864 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8697/stat : 8697 (java) S 8681 8681 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154160872 14318440448 10234 33554432000 4194304 4196468 140729259804384 140161662748976 140162197269122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42316 KiB
[startup+0.317017 s]*
/proc/loadavg: 1.60 1.75 1.70 4/217 8697
/proc/meminfo: memFree=26282172/32770624 swapFree=67108860/67108860
[pid=8681] ppid=8678 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8681/stat : 8681 (xcsp3-exec) S 8678 8681 8036 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154160866 9740288 345 33554432000 4194304 5098028 140736367016800 140736367014904 140719958606460 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22364160 140736367023221 140736367023424 140736367023424 140736367026155 0
/proc/8681/statm: 2378 345 289 221 0 87 0
[pid=8683] ppid=8681 vsize=13982928 memory=48912 CPUtime=0.52 cores=1,3,5,7
/proc/8683/stat : 8683 (java) S 8681 8681 8036 0 -1 1077944320 8806 0 0 0 49 3 0 0 20 0 15 0 154160866 14318518272 12228 33554432000 4194304 4196468 140729259804384 140729259786928 140162197257975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
/proc/8683/statm: 3495732 12228 3144 1 0 3482966 0
[pid=8683/tid=8684] ppid=8681 vsize=13982928 memory=-8976644418600983157 CPUtime=0.3 cores=1,3,5,7
/proc/8683/task/8684/stat : 8684 (java) R 8681 8681 8036 0 -1 4202560 5562 0 0 0 28 2 0 0 20 0 15 0 154160866 14318518272 12228 33554432000 4194304 4196468 140729259804384 140162201491712 140162181338462 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8685] ppid=8681 vsize=13982928 memory=3472467879073764560 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8685/stat : 8685 (java) S 8681 8681 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154160867 14318518272 12228 33554432000 4194304 4196468 140729259804384 140161792801552 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8686] ppid=8681 vsize=13982928 memory=139750178612864 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8686/stat : 8686 (java) S 8681 8681 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154160867 14318518272 12228 33554432000 4194304 4196468 140729259804384 140161791749008 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8687] ppid=8681 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8687/stat : 8687 (java) S 8681 8681 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154160867 14318518272 12228 33554432000 4194304 4196468 140729259804384 140161790696464 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8688] ppid=8681 vsize=13982928 memory=139750048671775 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8688/stat : 8688 (java) S 8681 8681 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154160867 14318518272 12228 33554432000 4194304 4196468 140729259804384 140161789643920 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8689] ppid=8681 vsize=13982928 memory=279500097322784 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8689/stat : 8689 (java) S 8681 8681 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154160869 14318518272 12228 33554432000 4194304 4196468 140729259804384 140161671170032 140162197269122 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8690] ppid=8681 vsize=13982928 memory=139750048648719 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8690/stat : 8690 (java) S 8681 8681 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154160869 14318518272 12228 33554432000 4194304 4196468 140729259804384 140161670116256 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8691] ppid=8681 vsize=13982928 memory=279500227270752 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8691/stat : 8691 (java) S 8681 8681 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154160869 14318518272 12228 33554432000 4194304 4196468 140729259804384 140161669063664 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8692] ppid=8681 vsize=13982928 memory=139750048653327 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8692/stat : 8692 (java) S 8681 8681 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160872 14318518272 12228 33554432000 4194304 4196468 140729259804384 140161668012240 140162197276571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8693] ppid=8681 vsize=13982928 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8683/task/8693/stat : 8693 (java) R 8681 8681 8036 0 -1 1077944384 799 0 0 0 3 0 0 0 20 0 15 0 154160872 14318518272 12228 33554432000 4194304 4196468 140729259804384 140161666959856 140162197269122 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8694] ppid=8681 vsize=13982928 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/8683/task/8694/stat : 8694 (java) S 8681 8681 8036 0 -1 1077944384 140 0 0 0 4 0 0 0 20 0 15 0 154160872 14318518272 12228 33554432000 4194304 4196468 140729259804384 140161665907312 140162197269122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8695] ppid=8681 vsize=13982928 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/8683/task/8695/stat : 8695 (java) S 8681 8681 8036 0 -1 1077944384 1008 0 0 0 12 0 0 0 20 0 15 0 154160872 14318518272 12228 33554432000 4194304 4196468 140729259804384 140161664854768 140162197269122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8696] ppid=8681 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8696/stat : 8696 (java) S 8681 8681 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160872 14318518272 12228 33554432000 4194304 4196468 140729259804384 140161663802464 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8697] ppid=8681 vsize=13982928 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8697/stat : 8697 (java) S 8681 8681 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154160872 14318518272 12228 33554432000 4194304 4196468 140729259804384 140161662748976 140162197269122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 50292 KiB
[startup+0.708641 s]
/proc/loadavg: 1.60 1.75 1.70 4/217 8697
/proc/meminfo: memFree=26269952/32770624 swapFree=67108860/67108860
[pid=8681] ppid=8678 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8681/stat : 8681 (xcsp3-exec) S 8678 8681 8036 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154160866 9740288 345 33554432000 4194304 5098028 140736367016800 140736367014904 140719958606460 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22364160 140736367023221 140736367023424 140736367023424 140736367026155 0
/proc/8681/statm: 2378 345 289 221 0 87 0
[pid=8683] ppid=8681 vsize=13984976 memory=70708 CPUtime=1.6 cores=1,3,5,7
/proc/8683/stat : 8683 (java) S 8681 8681 8036 0 -1 1077944320 11366 0 0 0 155 5 0 0 20 0 15 0 154160866 14320615424 17677 33554432000 4194304 4196468 140729259804384 140729259786928 140162197257975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
/proc/8683/statm: 3496244 17677 3206 1 0 3483478 0
[pid=8683/tid=8684] ppid=8681 vsize=13984976 memory=279500097130544 CPUtime=0.67 cores=1,3,5,7
/proc/8683/task/8684/stat : 8684 (java) R 8681 8681 8036 0 -1 4202560 6391 0 0 0 64 3 0 0 20 0 15 0 154160866 14320615424 17677 33554432000 4194304 4196468 140729259804384 140162201496064 140161838544818 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8685] ppid=8681 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8685/stat : 8685 (java) S 8681 8681 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154160867 14320615424 17677 33554432000 4194304 4196468 140729259804384 140161792801552 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8686] ppid=8681 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8686/stat : 8686 (java) S 8681 8681 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154160867 14320615424 17677 33554432000 4194304 4196468 140729259804384 140161791749008 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8687] ppid=8681 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8687/stat : 8687 (java) S 8681 8681 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154160867 14320615424 17677 33554432000 4194304 4196468 140729259804384 140161790696464 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8688] ppid=8681 vsize=13984976 memory=5796 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8688/stat : 8688 (java) S 8681 8681 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154160867 14320615424 17677 33554432000 4194304 4196468 140729259804384 140161789643920 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8689] ppid=8681 vsize=13984976 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8689/stat : 8689 (java) S 8681 8681 8036 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154160869 14320615424 17677 33554432000 4194304 4196468 140729259804384 140161671170032 140162197269122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8690] ppid=8681 vsize=13984976 memory=8716 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8690/stat : 8690 (java) S 8681 8681 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154160869 14320615424 17677 33554432000 4194304 4196468 140729259804384 140161670116256 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8691] ppid=8681 vsize=13984976 memory=7740655667640821056 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8691/stat : 8691 (java) S 8681 8681 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154160869 14320615424 17677 33554432000 4194304 4196468 140729259804384 140161669063664 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8692] ppid=8681 vsize=13984976 memory=7450453974481135974 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8692/stat : 8692 (java) S 8681 8681 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160872 14320615424 17677 33554432000 4194304 4196468 140729259804384 140161668012240 140162197276571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8693] ppid=8681 vsize=13984976 memory=5787213827131598673 CPUtime=0.23 cores=1,3,5,7
/proc/8683/task/8693/stat : 8693 (java) R 8681 8681 8036 0 -1 4202560 1215 0 0 0 23 0 0 0 20 0 15 0 154160872 14320615424 17677 33554432000 4194304 4196468 140729259804384 140161666959984 140162181650218 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8694] ppid=8681 vsize=13984976 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/8683/task/8694/stat : 8694 (java) R 8681 8681 8036 0 -1 1077944384 597 0 0 0 27 0 0 0 20 0 15 0 154160872 14320615424 17677 33554432000 4194304 4196468 140729259804384 140161665907312 140162197269122 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8695] ppid=8681 vsize=13984976 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/8683/task/8695/stat : 8695 (java) R 8681 8681 8036 0 -1 4202560 1855 0 0 0 40 0 0 0 20 0 15 0 154160872 14320615424 17677 33554432000 4194304 4196468 140729259804384 140161664850496 140162182423623 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8696] ppid=8681 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8696/stat : 8696 (java) S 8681 8681 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160872 14320615424 17677 33554432000 4194304 4196468 140729259804384 140161663802464 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8697] ppid=8681 vsize=13984976 memory=42520 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8697/stat : 8697 (java) S 8681 8681 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154160872 14320615424 17677 33554432000 4194304 4196468 140729259804384 140161662748976 140162197269122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 72088 KiB
[startup+1.5009 s]
/proc/loadavg: 1.60 1.75 1.70 5/217 8697
/proc/meminfo: memFree=26237324/32770624 swapFree=67108860/67108860
[pid=8681] ppid=8678 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8681/stat : 8681 (xcsp3-exec) S 8678 8681 8036 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154160866 9740288 345 33554432000 4194304 5098028 140736367016800 140736367014904 140719958606460 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22364160 140736367023221 140736367023424 140736367023424 140736367026155 0
/proc/8681/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/8681/stat : 8681 (xcsp3-exec) S 8678 8681 8036 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154160866 9740288 345 33554432000 4194304 5098028 140736367016800 140736367014904 140719958606460 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22364160 140736367023221 140736367023424 140736367023424 140736367026155 0
/proc/8681/statm: 2378 345 289 221 0 87 0
[pid=8683] ppid=8681 vsize=13984976 memory=257636 CPUtime=19.07 cores=1,3,5,7
/proc/8683/stat : 8683 (java) S 8681 8681 8036 0 -1 1077944320 52250 0 0 0 1892 15 0 0 20 0 15 0 154160866 14320615424 64409 33554432000 4194304 4196468 140729259804384 140729259786928 140162197257975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
/proc/8683/statm: 3496244 64409 3263 1 0 3483478 0
[pid=8683/tid=8684] ppid=8681 vsize=13984976 memory=1948 CPUtime=10.31 cores=1,3,5,7
/proc/8683/task/8684/stat : 8684 (java) R 8681 8681 8036 0 -1 4202560 9154 0 0 0 1025 6 0 0 20 0 15 0 154160866 14320615424 64409 33554432000 4194304 4196468 140729259804384 140162201497552 140161841417939 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8685] ppid=8681 vsize=13984976 memory=800 CPUtime=0.03 cores=1,3,5,7
/proc/8683/task/8685/stat : 8685 (java) S 8681 8681 8036 0 -1 1077944384 673 0 0 0 3 0 0 0 20 0 15 0 154160867 14320615424 64409 33554432000 4194304 4196468 140729259804384 140161792801552 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8686] ppid=8681 vsize=13984976 memory=1380 CPUtime=0.02 cores=1,3,5,7
/proc/8683/task/8686/stat : 8686 (java) S 8681 8681 8036 0 -1 1077944384 279 0 0 0 2 0 0 0 20 0 15 0 154160867 14320615424 64409 33554432000 4194304 4196468 140729259804384 140161791749008 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8687] ppid=8681 vsize=13984976 memory=267308 CPUtime=0.02 cores=1,3,5,7
/proc/8683/task/8687/stat : 8687 (java) S 8681 8681 8036 0 -1 1077944384 944 0 0 0 2 0 0 0 20 0 15 0 154160867 14320615424 64409 33554432000 4194304 4196468 140729259804384 140161790696464 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8688] ppid=8681 vsize=13984976 memory=1732 CPUtime=0.03 cores=1,3,5,7
/proc/8683/task/8688/stat : 8688 (java) S 8681 8681 8036 0 -1 1077944384 210 0 0 0 3 0 0 0 20 0 15 0 154160867 14320615424 64409 33554432000 4194304 4196468 140729259804384 140161789643920 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8689] ppid=8681 vsize=13984976 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8683/task/8689/stat : 8689 (java) S 8681 8681 8036 0 -1 1077944384 168 0 0 0 1 0 0 0 20 0 15 0 154160869 14320615424 64409 33554432000 4194304 4196468 140729259804384 140161671170032 140162197269122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8690] ppid=8681 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8690/stat : 8690 (java) S 8681 8681 8036 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 154160869 14320615424 64409 33554432000 4194304 4196468 140729259804384 140161670116256 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8691] ppid=8681 vsize=13984976 memory=279500097548608 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8691/stat : 8691 (java) S 8681 8681 8036 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 154160869 14320615424 64409 33554432000 4194304 4196468 140729259804384 140161669063664 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8692] ppid=8681 vsize=13984976 memory=139750048789760 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8692/stat : 8692 (java) S 8681 8681 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160872 14320615424 64409 33554432000 4194304 4196468 140729259804384 140161668012240 140162197276571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8693] ppid=8681 vsize=13984976 memory=5796 CPUtime=3.83 cores=1,3,5,7
/proc/8683/task/8693/stat : 8693 (java) S 8681 8681 8036 0 -1 1077944384 20825 0 0 0 380 3 0 0 20 0 15 0 154160872 14320615424 64409 33554432000 4194304 4196468 140729259804384 140161666959856 140162197269122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8694] ppid=8681 vsize=13984976 memory=1224 CPUtime=4.02 cores=1,3,5,7
/proc/8683/task/8694/stat : 8694 (java) S 8681 8681 8036 0 -1 1077944384 14336 0 0 0 401 1 0 0 20 0 15 0 154160872 14320615424 64409 33554432000 4194304 4196468 140729259804384 140161665907312 140162197269122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8695] ppid=8681 vsize=13984976 memory=8716 CPUtime=0.71 cores=1,3,5,7
/proc/8683/task/8695/stat : 8695 (java) S 8681 8681 8036 0 -1 1077944384 4203 0 0 0 70 1 0 0 20 0 15 0 154160872 14320615424 64409 33554432000 4194304 4196468 140729259804384 140161664854768 140162197269122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8696] ppid=8681 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8696/stat : 8696 (java) S 8681 8681 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160872 14320615424 64409 33554432000 4194304 4196468 140729259804384 140161663802464 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8697] ppid=8681 vsize=13984976 memory=1776 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8697/stat : 8697 (java) S 8681 8681 8036 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 15 0 154160872 14320615424 64409 33554432000 4194304 4196468 140729259804384 140161662748976 140162197269122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
Current children cumulated CPU time: 19.07 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 259016 KiB
[startup+11.2008 s]
/proc/loadavg: 1.66 1.76 1.70 3/217 8697
/proc/meminfo: memFree=26031168/32770624 swapFree=67108860/67108860
[pid=8681] ppid=8678 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8681/stat : 8681 (xcsp3-exec) S 8678 8681 8036 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154160866 9740288 345 33554432000 4194304 5098028 140736367016800 140736367014904 140719958606460 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22364160 140736367023221 140736367023424 140736367023424 140736367026155 0
/proc/8681/statm: 2378 345 289 221 0 87 0
[pid=8683] ppid=8681 vsize=13984976 memory=257668 CPUtime=19.88 cores=1,3,5,7
/proc/8683/stat : 8683 (java) S 8681 8681 8036 0 -1 1077944320 52514 0 0 0 1973 15 0 0 20 0 15 0 154160866 14320615424 64417 33554432000 4194304 4196468 140729259804384 140729259786928 140162197257975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
/proc/8683/statm: 3496244 64417 3263 1 0 3483478 0
[pid=8683/tid=8684] ppid=8681 vsize=13984976 memory=8112282956445269571 CPUtime=11.11 cores=1,3,5,7
/proc/8683/task/8684/stat : 8684 (java) R 8681 8681 8036 0 -1 4202560 9166 0 0 0 1105 6 0 0 20 0 15 0 154160866 14320615424 64417 33554432000 4194304 4196468 140729259804384 140162201494544 140161839952705 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8685] ppid=8681 vsize=13984976 memory=1712 CPUtime=0.03 cores=1,3,5,7
/proc/8683/task/8685/stat : 8685 (java) S 8681 8681 8036 0 -1 1077944384 673 0 0 0 3 0 0 0 20 0 15 0 154160867 14320615424 64417 33554432000 4194304 4196468 140729259804384 140161792801552 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8686] ppid=8681 vsize=13984976 memory=4612 CPUtime=0.02 cores=1,3,5,7
/proc/8683/task/8686/stat : 8686 (java) S 8681 8681 8036 0 -1 1077944384 279 0 0 0 2 0 0 0 20 0 15 0 154160867 14320615424 64417 33554432000 4194304 4196468 140729259804384 140161791749008 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8687] ppid=8681 vsize=13984976 memory=1380 CPUtime=0.02 cores=1,3,5,7
/proc/8683/task/8687/stat : 8687 (java) S 8681 8681 8036 0 -1 1077944384 944 0 0 0 2 0 0 0 20 0 15 0 154160867 14320615424 64417 33554432000 4194304 4196468 140729259804384 140161790696464 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8688] ppid=8681 vsize=13984976 memory=267284 CPUtime=0.03 cores=1,3,5,7
/proc/8683/task/8688/stat : 8688 (java) S 8681 8681 8036 0 -1 1077944384 210 0 0 0 3 0 0 0 20 0 15 0 154160867 14320615424 64417 33554432000 4194304 4196468 140729259804384 140161789643920 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8689] ppid=8681 vsize=13984976 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/8683/task/8689/stat : 8689 (java) S 8681 8681 8036 0 -1 1077944384 168 0 0 0 1 0 0 0 20 0 15 0 154160869 14320615424 64417 33554432000 4194304 4196468 140729259804384 140161671170032 140162197269122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8690] ppid=8681 vsize=13984976 memory=266948 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8690/stat : 8690 (java) S 8681 8681 8036 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 154160869 14320615424 64417 33554432000 4194304 4196468 140729259804384 140161670116256 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8691] ppid=8681 vsize=13984976 memory=74646531621858 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8691/stat : 8691 (java) S 8681 8681 8036 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 154160869 14320615424 64417 33554432000 4194304 4196468 140729259804384 140161669063664 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8692] ppid=8681 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8692/stat : 8692 (java) S 8681 8681 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160872 14320615424 64417 33554432000 4194304 4196468 140729259804384 140161668012240 140162197276571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8693] ppid=8681 vsize=13984976 memory=267284 CPUtime=3.84 cores=1,3,5,7
/proc/8683/task/8693/stat : 8693 (java) S 8681 8681 8036 0 -1 1077944384 20899 0 0 0 381 3 0 0 20 0 15 0 154160872 14320615424 64417 33554432000 4194304 4196468 140729259804384 140161666959856 140162197269122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8694] ppid=8681 vsize=13984976 memory=7019467087989978680 CPUtime=4.02 cores=1,3,5,7
/proc/8683/task/8694/stat : 8694 (java) S 8681 8681 8036 0 -1 1077944384 14336 0 0 0 401 1 0 0 20 0 15 0 154160872 14320615424 64417 33554432000 4194304 4196468 140729259804384 140161665907312 140162197269122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8695] ppid=8681 vsize=13984976 memory=266948 CPUtime=0.71 cores=1,3,5,7
/proc/8683/task/8695/stat : 8695 (java) S 8681 8681 8036 0 -1 1077944384 4381 0 0 0 70 1 0 0 20 0 15 0 154160872 14320615424 64417 33554432000 4194304 4196468 140729259804384 140161664854768 140162197269122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8696] ppid=8681 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8696/stat : 8696 (java) S 8681 8681 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160872 14320615424 64417 33554432000 4194304 4196468 140729259804384 140161663802464 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8697] ppid=8681 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8697/stat : 8697 (java) S 8681 8681 8036 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 15 0 154160872 14320615424 64417 33554432000 4194304 4196468 140729259804384 140161662748976 140162197269122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
Current children cumulated CPU time: 19.88 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 259048 KiB
[startup+11.4008 s]
/proc/loadavg: 1.66 1.76 1.70 3/217 8697
/proc/meminfo: memFree=26031168/32770624 swapFree=67108860/67108860
[pid=8681] ppid=8678 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8681/stat : 8681 (xcsp3-exec) S 8678 8681 8036 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154160866 9740288 345 33554432000 4194304 5098028 140736367016800 140736367014904 140719958606460 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22364160 140736367023221 140736367023424 140736367023424 140736367026155 0
/proc/8681/statm: 2378 345 289 221 0 87 0
[pid=8683] ppid=8681 vsize=13984976 memory=257712 CPUtime=20.09 cores=1,3,5,7
/proc/8683/stat : 8683 (java) S 8681 8681 8036 0 -1 1077944320 52668 0 0 0 1994 15 0 0 20 0 15 0 154160866 14320615424 64428 33554432000 4194304 4196468 140729259804384 140729259786928 140162197257975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
/proc/8683/statm: 3496244 64428 3263 1 0 3483478 0
[pid=8683/tid=8684] ppid=8681 vsize=13984976 memory=2448 CPUtime=11.31 cores=1,3,5,7
/proc/8683/task/8684/stat : 8684 (java) R 8681 8681 8036 0 -1 4202560 9188 0 0 0 1125 6 0 0 20 0 15 0 154160866 14320615424 64428 33554432000 4194304 4196468 140729259804384 140162201494544 140161840116834 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8685] ppid=8681 vsize=13984976 memory=1732 CPUtime=0.03 cores=1,3,5,7
/proc/8683/task/8685/stat : 8685 (java) S 8681 8681 8036 0 -1 1077944384 673 0 0 0 3 0 0 0 20 0 15 0 154160867 14320615424 64428 33554432000 4194304 4196468 140729259804384 140161792801552 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8686] ppid=8681 vsize=13984976 memory=1948 CPUtime=0.02 cores=1,3,5,7
/proc/8683/task/8686/stat : 8686 (java) S 8681 8681 8036 0 -1 1077944384 279 0 0 0 2 0 0 0 20 0 15 0 154160867 14320615424 64428 33554432000 4194304 4196468 140729259804384 140161791749008 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8687] ppid=8681 vsize=13984976 memory=800 CPUtime=0.02 cores=1,3,5,7
/proc/8683/task/8687/stat : 8687 (java) S 8681 8681 8036 0 -1 1077944384 944 0 0 0 2 0 0 0 20 0 15 0 154160867 14320615424 64428 33554432000 4194304 4196468 140729259804384 140161790696464 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8688] ppid=8681 vsize=13984976 memory=12132 CPUtime=0.03 cores=1,3,5,7
/proc/8683/task/8688/stat : 8688 (java) S 8681 8681 8036 0 -1 1077944384 210 0 0 0 3 0 0 0 20 0 15 0 154160867 14320615424 64428 33554432000 4194304 4196468 140729259804384 140161789643920 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8689] ppid=8681 vsize=13984976 memory=1440 CPUtime=0.01 cores=1,3,5,7
/proc/8683/task/8689/stat : 8689 (java) S 8681 8681 8036 0 -1 1077944384 168 0 0 0 1 0 0 0 20 0 15 0 154160869 14320615424 64428 33554432000 4194304 4196468 140729259804384 140161671170032 140162197269122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8690] ppid=8681 vsize=13984976 memory=257636 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8690/stat : 8690 (java) S 8681 8681 8036 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 154160869 14320615424 64428 33554432000 4194304 4196468 140729259804384 140161670116256 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8691] ppid=8681 vsize=13984976 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8691/stat : 8691 (java) S 8681 8681 8036 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 154160869 14320615424 64428 33554432000 4194304 4196468 140729259804384 140161669063664 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8692] ppid=8681 vsize=13984976 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8692/stat : 8692 (java) S 8681 8681 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160872 14320615424 64428 33554432000 4194304 4196468 140729259804384 140161668012240 140162197276571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8693] ppid=8681 vsize=13984976 memory=288230583166042426 CPUtime=3.84 cores=1,3,5,7
/proc/8683/task/8693/stat : 8693 (java) S 8681 8681 8036 0 -1 1077944384 20919 0 0 0 381 3 0 0 20 0 15 0 154160872 14320615424 64428 33554432000 4194304 4196468 140729259804384 140161666959856 140162197269122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8694] ppid=8681 vsize=13984976 memory=14695192787684081 CPUtime=4.03 cores=1,3,5,7
/proc/8683/task/8694/stat : 8694 (java) S 8681 8681 8036 0 -1 1077944384 14368 0 0 0 402 1 0 0 20 0 15 0 154160872 14320615424 64428 33554432000 4194304 4196468 140729259804384 140161665907312 140162197269122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8695] ppid=8681 vsize=13984976 memory=0 CPUtime=0.71 cores=1,3,5,7
/proc/8683/task/8695/stat : 8695 (java) S 8681 8681 8036 0 -1 1077944384 4461 0 0 0 70 1 0 0 20 0 15 0 154160872 14320615424 64428 33554432000 4194304 4196468 140729259804384 140161664854768 140162197269122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8696] ppid=8681 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8696/stat : 8696 (java) S 8681 8681 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160872 14320615424 64428 33554432000 4194304 4196468 140729259804384 140161663802464 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8697] ppid=8681 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8697/stat : 8697 (java) S 8681 8681 8036 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 15 0 154160872 14320615424 64428 33554432000 4194304 4196468 140729259804384 140161662748976 140162197269122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
Current children cumulated CPU time: 20.09 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 259092 KiB
[startup+11.5008 s]
/proc/loadavg: 1.66 1.76 1.70 3/217 8697
/proc/meminfo: memFree=26031168/32770624 swapFree=67108860/67108860
[pid=8681] ppid=8678 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/8681/stat : 8681 (xcsp3-exec) S 8678 8681 8036 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154160866 9740288 345 33554432000 4194304 5098028 140736367016800 140736367014904 140719958606460 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22364160 140736367023221 140736367023424 140736367023424 140736367026155 0
/proc/8681/statm: 2378 345 289 221 0 87 0
[pid=8683] ppid=8681 vsize=13984976 memory=257744 CPUtime=20.24 cores=1,3,5,7
/proc/8683/stat : 8683 (java) S 8681 8681 8036 0 -1 1077944320 52912 0 0 0 2009 15 0 0 20 0 15 0 154160866 14320615424 64436 33554432000 4194304 4196468 140729259804384 140729259786928 140162197257975 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
/proc/8683/statm: 3496244 64436 3263 1 0 3483478 0
[pid=8683/tid=8684] ppid=8681 vsize=13984976 memory=0 CPUtime=11.41 cores=1,3,5,7
/proc/8683/task/8684/stat : 8684 (java) R 8681 8681 8036 0 -1 4202560 9190 0 0 0 1135 6 0 0 20 0 15 0 154160866 14320615424 64436 33554432000 4194304 4196468 140729259804384 140162201495936 140161840558240 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8685] ppid=8681 vsize=13984976 memory=1353 CPUtime=0.03 cores=1,3,5,7
/proc/8683/task/8685/stat : 8685 (java) S 8681 8681 8036 0 -1 1077944384 673 0 0 0 3 0 0 0 20 0 15 0 154160867 14320615424 64436 33554432000 4194304 4196468 140729259804384 140161792801552 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8686] ppid=8681 vsize=13984976 memory=554 CPUtime=0.02 cores=1,3,5,7
/proc/8683/task/8686/stat : 8686 (java) S 8681 8681 8036 0 -1 1077944384 279 0 0 0 2 0 0 0 20 0 15 0 154160867 14320615424 64436 33554432000 4194304 4196468 140729259804384 140161791749008 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8687] ppid=8681 vsize=13984976 memory=1380 CPUtime=0.02 cores=1,3,5,7
/proc/8683/task/8687/stat : 8687 (java) S 8681 8681 8036 0 -1 1077944384 944 0 0 0 2 0 0 0 20 0 15 0 154160867 14320615424 64436 33554432000 4194304 4196468 140729259804384 140161790696464 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8688] ppid=8681 vsize=13984976 memory=1224 CPUtime=0.03 cores=1,3,5,7
/proc/8683/task/8688/stat : 8688 (java) S 8681 8681 8036 0 -1 1077944384 210 0 0 0 3 0 0 0 20 0 15 0 154160867 14320615424 64436 33554432000 4194304 4196468 140729259804384 140161789643920 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8689] ppid=8681 vsize=13984976 memory=8716 CPUtime=0.01 cores=1,3,5,7
/proc/8683/task/8689/stat : 8689 (java) S 8681 8681 8036 0 -1 1077944384 168 0 0 0 1 0 0 0 20 0 15 0 154160869 14320615424 64436 33554432000 4194304 4196468 140729259804384 140161671170032 140162197269122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8690] ppid=8681 vsize=13984976 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8690/stat : 8690 (java) S 8681 8681 8036 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 154160869 14320615424 64436 33554432000 4194304 4196468 140729259804384 140161670116256 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8691] ppid=8681 vsize=13984976 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8691/stat : 8691 (java) S 8681 8681 8036 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 154160869 14320615424 64436 33554432000 4194304 4196468 140729259804384 140161669063664 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8692] ppid=8681 vsize=13984976 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8692/stat : 8692 (java) S 8681 8681 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160872 14320615424 64436 33554432000 4194304 4196468 140729259804384 140161668012240 140162197276571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8693] ppid=8681 vsize=13984976 memory=1200 CPUtime=3.86 cores=1,3,5,7
/proc/8683/task/8693/stat : 8693 (java) S 8681 8681 8036 0 -1 1077944384 21108 0 0 0 383 3 0 0 20 0 15 0 154160872 14320615424 64436 33554432000 4194304 4196468 140729259804384 140161666959856 140162197269122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8694] ppid=8681 vsize=13984976 memory=15876 CPUtime=4.06 cores=1,3,5,7
/proc/8683/task/8694/stat : 8694 (java) S 8681 8681 8036 0 -1 1077944384 14421 0 0 0 405 1 0 0 20 0 15 0 154160872 14320615424 64436 33554432000 4194304 4196468 140729259804384 140161665907312 140162197269122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8695] ppid=8681 vsize=13984976 memory=1380 CPUtime=0.71 cores=1,3,5,7
/proc/8683/task/8695/stat : 8695 (java) S 8681 8681 8036 0 -1 1077944384 4461 0 0 0 70 1 0 0 20 0 15 0 154160872 14320615424 64436 33554432000 4194304 4196468 140729259804384 140161664854768 140162197269122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8696] ppid=8681 vsize=13984976 memory=257636 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8696/stat : 8696 (java) S 8681 8681 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154160872 14320615424 64436 33554432000 4194304 4196468 140729259804384 140161663802464 140162197268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
[pid=8683/tid=8697] ppid=8681 vsize=13984976 memory=2 CPUtime=0 cores=1,3,5,7
/proc/8683/task/8697/stat : 8697 (java) S 8681 8681 8036 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 15 0 154160872 14320615424 64436 33554432000 4194304 4196468 140729259804384 140161662748976 140162197269122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140729259811997 140729259812172 140729259812172 140729259814863 0
Current children cumulated CPU time: 20.24 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 259124 KiB
Child status: 0
Real time (s): 11.5579
CPU time (s): 20.3145
CPU user time (s): 20.1478
CPU system time (s): 0.166751
CPU usage (%): 175.763
Max. virtual memory (cumulated for all children) (KiB): 13998448
Max. memory (cumulated for all children) (KiB): 281020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.1478
system time used= 0.166751
maximum resident set size= 279640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53692
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3315
involuntary context switches= 38
# summary of solver processes directly reported to runsolver:
# pid: 8681
# total CPU time (s): 20.3145
# total CPU user time (s): 20.1478
# total CPU system time (s): 0.166751
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.091866 second user time and 0.163844 second system time
The end