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 (14567 MiB free)
memory of node 1: 16384 MiB (15346 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392945-1568352193/watcher-4392945-1568352193 -o /tmp/evaluation-result-4392945-1568352193/solver-4392945-1568352193 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568346919-22074 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1685839328 HOME/instance-4392945-1568352193.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=24676, runsolver pid=24673
[startup+0.100059 s]*
/proc/loadavg: 8.90 8.64 8.29 7/234 24692
/proc/meminfo: memFree=30614876/32770624 swapFree=66940764/67108860
[pid=24676] ppid=24673 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24676/stat : 24676 (xcsp3-exec) S 24673 24676 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411458056 115843072 363 33554432000 4194304 5098028 140723163698784 140723163696888 140163492541052 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32030720 140723163706234 140723163706477 140723163706477 140723163709386 0
/proc/24676/statm: 28282 363 304 221 0 87 0
[pid=24678] ppid=24676 vsize=15144768 memory=29580 CPUtime=0.13 cores=1,3,5,7
/proc/24678/stat : 24678 (java) S 24676 24676 22042 0 -1 1077944320 5861 0 0 0 12 1 0 0 20 0 15 0 411458056 15508242432 7395 33554432000 4194304 4196468 140727535177680 140727535160224 139887437577975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
/proc/24678/statm: 3786192 7395 3142 1 0 3748377 0
[pid=24678/tid=24679] ppid=24676 vsize=15144768 memory=8514701219881255588 CPUtime=0.09 cores=1,3,5,7
/proc/24678/task/24679/stat : 24679 (java) R 24676 24676 22042 0 -1 4202560 3734 0 0 0 9 0 0 0 20 0 15 0 411458056 15508242432 7395 33554432000 4194304 4196468 140727535177680 139887441807728 139887437589910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24680] ppid=24676 vsize=15144768 memory=3472467803113948368 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24680/stat : 24680 (java) S 24676 24676 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458057 15508242432 7395 33554432000 4194304 4196468 140727535177680 139887365618064 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24681] ppid=24676 vsize=15144768 memory=139674218796672 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24681/stat : 24681 (java) S 24676 24676 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411458057 15508242432 7395 33554432000 4194304 4196468 140727535177680 139887364565264 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24682] ppid=24676 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24682/stat : 24682 (java) S 24676 24676 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458057 15508242432 7395 33554432000 4194304 4196468 140727535177680 139887363512976 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24683] ppid=24676 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24683/stat : 24683 (java) S 24676 24676 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411458057 15508242432 7395 33554432000 4194304 4196468 140727535177680 139887362460176 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24684] ppid=24676 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24684/stat : 24684 (java) S 24676 24676 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411458058 15508242432 7395 33554432000 4194304 4196468 140727535177680 139886906063472 139887437589122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24685] ppid=24676 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24685/stat : 24685 (java) S 24676 24676 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411458059 15508242432 7395 33554432000 4194304 4196468 140727535177680 139886905009440 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24686] ppid=24676 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24686/stat : 24686 (java) S 24676 24676 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411458059 15508242432 7395 33554432000 4194304 4196468 140727535177680 139886903957104 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24687] ppid=24676 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24687/stat : 24687 (java) S 24676 24676 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411458062 15508242432 7395 33554432000 4194304 4196468 140727535177680 139886902905424 139887437596571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24688] ppid=24676 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24688/stat : 24688 (java) R 24676 24676 22042 0 -1 4202560 341 0 0 0 0 0 0 0 20 0 15 0 411458062 15508242432 7395 33554432000 4194304 4196468 140727535177680 139886901843920 139887421101614 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24689] ppid=24676 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24689/stat : 24689 (java) R 24676 24676 22042 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 411458062 15508242432 7395 33554432000 4194304 4196468 140727535177680 139886900799472 139887437589122 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24690] ppid=24676 vsize=15144768 memory=139674218796672 CPUtime=0.02 cores=1,3,5,7
/proc/24678/task/24690/stat : 24690 (java) R 24676 24676 22042 0 -1 4202560 357 0 0 0 2 0 0 0 20 0 15 0 411458062 15508242432 7395 33554432000 4194304 4196468 140727535177680 139886899744720 139887416545569 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24691] ppid=24676 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24691/stat : 24691 (java) S 24676 24676 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411458062 15508242432 7395 33554432000 4194304 4196468 140727535177680 139886898694624 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24692] ppid=24676 vsize=15144768 memory=139674218796672 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24692/stat : 24692 (java) R 24676 24676 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458062 15508242432 7395 33554432000 4194304 4196468 140727535177680 139886897642416 139887437589122 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31032 KiB
[startup+0.210829 s]*
/proc/loadavg: 8.90 8.64 8.29 6/234 24692
/proc/meminfo: memFree=30602788/32770624 swapFree=66940764/67108860
[pid=24676] ppid=24673 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24676/stat : 24676 (xcsp3-exec) S 24673 24676 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411458056 115843072 363 33554432000 4194304 5098028 140723163698784 140723163696888 140163492541052 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32030720 140723163706234 140723163706477 140723163706477 140723163709386 0
/proc/24676/statm: 28282 363 304 221 0 87 0
[pid=24678] ppid=24676 vsize=15144768 memory=40528 CPUtime=0.34 cores=1,3,5,7
/proc/24678/stat : 24678 (java) S 24676 24676 22042 0 -1 1077944320 9341 0 0 0 32 2 0 0 20 0 15 0 411458056 15508242432 10132 33554432000 4194304 4196468 140727535177680 140727535160224 139887437577975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
/proc/24678/statm: 3786192 10132 3295 1 0 3748377 0
[pid=24678/tid=24679] ppid=24676 vsize=15144768 memory=5852835216252043682 CPUtime=0.2 cores=1,3,5,7
/proc/24678/task/24679/stat : 24679 (java) R 24676 24676 22042 0 -1 4202560 6626 0 0 0 19 1 0 0 20 0 15 0 411458056 15508242432 10132 33554432000 4194304 4196468 140727535177680 139887441812960 139887421658462 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24680] ppid=24676 vsize=15144768 memory=3472467803113948368 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24680/stat : 24680 (java) S 24676 24676 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458057 15508242432 10132 33554432000 4194304 4196468 140727535177680 139887365618064 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24681] ppid=24676 vsize=15144768 memory=139674218796672 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24681/stat : 24681 (java) S 24676 24676 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411458057 15508242432 10132 33554432000 4194304 4196468 140727535177680 139887364565264 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24682] ppid=24676 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24682/stat : 24682 (java) S 24676 24676 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458057 15508242432 10132 33554432000 4194304 4196468 140727535177680 139887363512976 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24683] ppid=24676 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24683/stat : 24683 (java) S 24676 24676 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411458057 15508242432 10132 33554432000 4194304 4196468 140727535177680 139887362460176 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24684] ppid=24676 vsize=15144768 memory=139674218796672 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24684/stat : 24684 (java) S 24676 24676 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411458058 15508242432 10132 33554432000 4194304 4196468 140727535177680 139886906063472 139887437589122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24685] ppid=24676 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24685/stat : 24685 (java) S 24676 24676 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411458059 15508242432 10132 33554432000 4194304 4196468 140727535177680 139886905009440 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24686] ppid=24676 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24686/stat : 24686 (java) S 24676 24676 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411458059 15508242432 10132 33554432000 4194304 4196468 140727535177680 139886903957104 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24687] ppid=24676 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24687/stat : 24687 (java) S 24676 24676 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411458062 15508242432 10132 33554432000 4194304 4196468 140727535177680 139886902905424 139887437596571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24688] ppid=24676 vsize=15144768 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/24678/task/24688/stat : 24688 (java) S 24676 24676 22042 0 -1 1077944384 414 0 0 0 1 0 0 0 20 0 15 0 411458062 15508242432 10132 33554432000 4194304 4196468 140727535177680 139886901852272 139887437589122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24689] ppid=24676 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/24678/task/24689/stat : 24689 (java) S 24676 24676 22042 0 -1 1077944384 219 0 0 0 2 0 0 0 20 0 15 0 411458062 15508242432 10132 33554432000 4194304 4196468 140727535177680 139886900799472 139887437589122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24690] ppid=24676 vsize=15145792 memory=139674218796672 CPUtime=0.08 cores=1,3,5,7
/proc/24678/task/24690/stat : 24690 (java) S 24676 24676 22042 0 -1 1077944384 778 0 0 0 8 0 0 0 20 0 15 0 411458062 15509291008 10132 33554432000 4194304 4196468 140727535177680 139886899747184 139887437589122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24691] ppid=24676 vsize=15145792 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24691/stat : 24691 (java) S 24676 24676 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411458062 15509291008 10132 33554432000 4194304 4196468 140727535177680 139886898694624 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24692] ppid=24676 vsize=15145792 memory=139674218796672 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24692/stat : 24692 (java) S 24676 24676 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458062 15509291008 10132 33554432000 4194304 4196468 140727535177680 139886897642416 139887437589122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41980 KiB
[startup+0.31061 s]*
/proc/loadavg: 8.90 8.64 8.29 7/234 24692
/proc/meminfo: memFree=30595360/32770624 swapFree=66940764/67108860
[pid=24676] ppid=24673 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24676/stat : 24676 (xcsp3-exec) S 24673 24676 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411458056 115843072 363 33554432000 4194304 5098028 140723163698784 140723163696888 140163492541052 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32030720 140723163706234 140723163706477 140723163706477 140723163709386 0
/proc/24676/statm: 28282 363 304 221 0 87 0
[pid=24678] ppid=24676 vsize=15149024 memory=50308 CPUtime=0.53 cores=1,3,5,7
/proc/24678/stat : 24678 (java) S 24676 24676 22042 0 -1 1077944320 10891 0 0 0 49 4 0 0 20 0 15 0 411458056 15512600576 12577 33554432000 4194304 4196468 140727535177680 140727535160224 139887437577975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
/proc/24678/statm: 3787256 12577 3345 1 0 3748377 0
[pid=24678/tid=24679] ppid=24676 vsize=15149024 memory=8514701219880992413 CPUtime=0.3 cores=1,3,5,7
/proc/24678/task/24679/stat : 24679 (java) R 24676 24676 22042 0 -1 4202560 7837 0 0 0 28 2 0 0 20 0 15 0 411458056 15512600576 12577 33554432000 4194304 4196468 140727535177680 139887441809088 139887422744776 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24680] ppid=24676 vsize=15149024 memory=3472467803113948368 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24680/stat : 24680 (java) S 24676 24676 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458057 15512600576 12577 33554432000 4194304 4196468 140727535177680 139887365618064 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24681] ppid=24676 vsize=15149024 memory=139674218796672 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24681/stat : 24681 (java) S 24676 24676 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411458057 15512600576 12577 33554432000 4194304 4196468 140727535177680 139887364565264 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24682] ppid=24676 vsize=15149024 memory=3 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24682/stat : 24682 (java) S 24676 24676 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458057 15512600576 12577 33554432000 4194304 4196468 140727535177680 139887363512976 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24683] ppid=24676 vsize=15149024 memory=139674081437727 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24683/stat : 24683 (java) S 24676 24676 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411458057 15512600576 12577 33554432000 4194304 4196468 140727535177680 139887362460176 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24684] ppid=24676 vsize=15149024 memory=279348162836224 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24684/stat : 24684 (java) S 24676 24676 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411458058 15512600576 12577 33554432000 4194304 4196468 140727535177680 139886906063472 139887437589122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24685] ppid=24676 vsize=15149024 memory=139674081414671 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24685/stat : 24685 (java) S 24676 24676 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411458059 15512600576 12577 33554432000 4194304 4196468 140727535177680 139886905009440 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24686] ppid=24676 vsize=15149024 memory=279348300220512 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24686/stat : 24686 (java) S 24676 24676 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411458059 15512600576 12577 33554432000 4194304 4196468 140727535177680 139886903957104 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24687] ppid=24676 vsize=15149024 memory=139674081419279 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24687/stat : 24687 (java) S 24676 24676 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411458062 15512600576 12577 33554432000 4194304 4196468 140727535177680 139886902905424 139887437596571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24688] ppid=24676 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/24678/task/24688/stat : 24688 (java) S 24676 24676 22042 0 -1 1077944384 454 0 0 0 3 0 0 0 20 0 15 0 411458062 15512600576 12577 33554432000 4194304 4196468 140727535177680 139886901852272 139887437589122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24689] ppid=24676 vsize=15149024 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/24678/task/24689/stat : 24689 (java) S 24676 24676 22042 0 -1 1077944384 362 0 0 0 5 0 0 0 20 0 15 0 411458062 15512600576 12577 33554432000 4194304 4196468 140727535177680 139886900799472 139887437589122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24690] ppid=24676 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/24678/task/24690/stat : 24690 (java) R 24676 24676 22042 0 -1 4202560 933 0 0 0 12 0 0 0 20 0 15 0 411458062 15512600576 12577 33554432000 4194304 4196468 140727535177680 139886899747184 139887437589910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24691] ppid=24676 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24691/stat : 24691 (java) S 24676 24676 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411458062 15512600576 12577 33554432000 4194304 4196468 140727535177680 139886898694624 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24692] ppid=24676 vsize=15149024 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24692/stat : 24692 (java) S 24676 24676 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458062 15512600576 12577 33554432000 4194304 4196468 140727535177680 139886897642416 139887437589122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51760 KiB
[startup+0.701649 s]
/proc/loadavg: 8.90 8.64 8.29 7/234 24692
/proc/meminfo: memFree=30574184/32770624 swapFree=66940764/67108860
[pid=24676] ppid=24673 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24676/stat : 24676 (xcsp3-exec) S 24673 24676 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411458056 115843072 363 33554432000 4194304 5098028 140723163698784 140723163696888 140163492541052 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32030720 140723163706234 140723163706477 140723163706477 140723163709386 0
/proc/24676/statm: 28282 363 304 221 0 87 0
[pid=24678] ppid=24676 vsize=15151148 memory=102868 CPUtime=1.72 cores=1,3,5,7
/proc/24678/stat : 24678 (java) S 24676 24676 22042 0 -1 1077944320 14308 0 0 0 167 5 0 0 20 0 15 0 411458056 15514775552 25717 33554432000 4194304 4196468 140727535177680 140727535160224 139887437577975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
/proc/24678/statm: 3787787 25717 3443 1 0 3748889 0
[pid=24678/tid=24679] ppid=24676 vsize=15151148 memory=1088 CPUtime=0.68 cores=1,3,5,7
/proc/24678/task/24679/stat : 24679 (java) R 24676 24676 22042 0 -1 4202560 8334 0 0 0 65 3 0 0 20 0 15 0 411458056 15514775552 25717 33554432000 4194304 4196468 140727535177680 139887441815088 139887437589910 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24680] ppid=24676 vsize=15151148 memory=988 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24680/stat : 24680 (java) S 24676 24676 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458057 15514775552 25717 33554432000 4194304 4196468 140727535177680 139887365618064 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24681] ppid=24676 vsize=15151148 memory=780 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24681/stat : 24681 (java) S 24676 24676 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411458057 15514775552 25717 33554432000 4194304 4196468 140727535177680 139887364565264 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24682] ppid=24676 vsize=15151148 memory=5972 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24682/stat : 24682 (java) S 24676 24676 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458057 15514775552 25717 33554432000 4194304 4196468 140727535177680 139887363512976 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24683] ppid=24676 vsize=15151148 memory=624 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24683/stat : 24683 (java) S 24676 24676 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411458057 15514775552 25717 33554432000 4194304 4196468 140727535177680 139887362460176 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24684] ppid=24676 vsize=15151148 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24684/stat : 24684 (java) S 24676 24676 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411458058 15514775552 25717 33554432000 4194304 4196468 140727535177680 139886906063472 139887437589122 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24685] ppid=24676 vsize=15151148 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24685/stat : 24685 (java) S 24676 24676 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411458059 15514775552 25717 33554432000 4194304 4196468 140727535177680 139886905009440 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24686] ppid=24676 vsize=15151148 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24686/stat : 24686 (java) S 24676 24676 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411458059 15514775552 25717 33554432000 4194304 4196468 140727535177680 139886903957104 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24687] ppid=24676 vsize=15151148 memory=38320 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24687/stat : 24687 (java) S 24676 24676 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411458062 15514775552 25717 33554432000 4194304 4196468 140727535177680 139886902905424 139887437596571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24688] ppid=24676 vsize=15151148 memory=1988 CPUtime=0.34 cores=1,3,5,7
/proc/24678/task/24688/stat : 24688 (java) R 24676 24676 22042 0 -1 4202560 1766 0 0 0 34 0 0 0 20 0 15 0 411458062 15514775552 25717 33554432000 4194304 4196468 140727535177680 139886901843920 139887421965217 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24689] ppid=24676 vsize=15151148 memory=988 CPUtime=0.36 cores=1,3,5,7
/proc/24678/task/24689/stat : 24689 (java) R 24676 24676 22042 0 -1 4202560 1246 0 0 0 36 0 0 0 20 0 15 0 411458062 15514775552 25717 33554432000 4194304 4196468 140727535177680 139886900798656 139887429916256 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24690] ppid=24676 vsize=15151148 memory=1428 CPUtime=0.3 cores=1,3,5,7
/proc/24678/task/24690/stat : 24690 (java) R 24676 24676 22042 0 -1 1077944384 1654 0 0 0 30 0 0 0 20 0 15 0 411458062 15514775552 25717 33554432000 4194304 4196468 140727535177680 139886899747184 139887437589122 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24691] ppid=24676 vsize=15151148 memory=1772 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24691/stat : 24691 (java) S 24676 24676 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411458062 15514775552 25717 33554432000 4194304 4196468 140727535177680 139886898694624 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24692] ppid=24676 vsize=15151148 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24692/stat : 24692 (java) S 24676 24676 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458062 15514775552 25717 33554432000 4194304 4196468 140727535177680 139886897642416 139887437589122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 104320 KiB
[startup+1.50146 s]
/proc/loadavg: 8.90 8.64 8.29 11/234 24692
/proc/meminfo: memFree=30441380/32770624 swapFree=66940764/67108860
[pid=24676] ppid=24673 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24676/stat : 24676 (xcsp3-exec) S 24673 24676 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411458056 115843072 363 33554432000 4194304 5098028 140723163698784 140723163696888 140163492541052 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32030720 140723163706234 140723163706477 140723163706477 140723163709386 0
/proc/24676/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
[pid=24678/tid=24695] ppid=24676 vsize=15417404 memory=1988 CPUtime=99.38 cores=1,3,5,7
/proc/24678/task/24695/stat : 24695 (java) R 24676 24676 22042 0 -1 4202560 687 0 0 0 9938 0 0 0 20 0 19 0 411458220 15787421696 124858 33554432000 4194304 4196468 140727535177680 139886886564216 139887043127805 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24696] ppid=24676 vsize=15417404 memory=988 CPUtime=98.92 cores=1,3,5,7
/proc/24678/task/24696/stat : 24696 (java) R 24676 24676 22042 0 -1 4202560 1874 0 0 0 9892 0 0 0 20 0 19 0 411458220 15787421696 124858 33554432000 4194304 4196468 140727535177680 139886885510608 139887041592467 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
Current children cumulated CPU time: 405.23 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 500884 KiB
[startup+162.301 s]
/proc/loadavg: 8.50 8.57 8.33 9/237 24708
/proc/meminfo: memFree=29878332/32770624 swapFree=66940764/67108860
[pid=24676] ppid=24673 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24676/stat : 24676 (xcsp3-exec) S 24673 24676 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411458056 115843072 363 33554432000 4194304 5098028 140723163698784 140723163696888 140163492541052 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32030720 140723163706234 140723163706477 140723163706477 140723163709386 0
/proc/24676/statm: 28282 363 304 221 0 87 0
[pid=24678] ppid=24676 vsize=15417404 memory=739240 CPUtime=644 cores=1,3,5,7
/proc/24678/stat : 24678 (java) S 24676 24676 22042 0 -1 1077944320 56605 0 0 0 64361 39 0 0 20 0 19 0 411458056 15787421696 184810 33554432000 4194304 4196468 140727535177680 140727535160224 139887437577975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
/proc/24678/statm: 3854351 184810 3533 1 0 3815453 0
[pid=24678/tid=24679] ppid=24676 vsize=15417404 memory=1452 CPUtime=1.51 cores=1,3,5,7
/proc/24678/task/24679/stat : 24679 (java) S 24676 24676 22042 0 -1 1077944384 9180 0 0 0 146 5 0 0 20 0 19 0 411458056 15787421696 184810 33554432000 4194304 4196468 140727535177680 139887441818752 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24680] ppid=24676 vsize=15417404 memory=3620 CPUtime=0.21 cores=1,3,5,7
/proc/24678/task/24680/stat : 24680 (java) S 24676 24676 22042 0 -1 1077944384 1441 0 0 0 16 5 0 0 20 0 19 0 411458057 15787421696 184810 33554432000 4194304 4196468 140727535177680 139887365618064 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24681] ppid=24676 vsize=15417404 memory=739240 CPUtime=0.2 cores=1,3,5,7
/proc/24678/task/24681/stat : 24681 (java) S 24676 24676 22042 0 -1 1077944384 583 0 0 0 15 5 0 0 20 0 19 0 411458057 15787421696 184810 33554432000 4194304 4196468 140727535177680 139887364565264 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24682] ppid=24676 vsize=15417404 memory=1532 CPUtime=0.22 cores=1,3,5,7
/proc/24678/task/24682/stat : 24682 (java) S 24676 24676 22042 0 -1 1077944384 2180 0 0 0 17 5 0 0 20 0 19 0 411458057 15787421696 184810 33554432000 4194304 4196468 140727535177680 139887363512976 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24683] ppid=24676 vsize=15417404 memory=3620 CPUtime=0.24 cores=1,3,5,7
/proc/24678/task/24683/stat : 24683 (java) S 24676 24676 22042 0 -1 1077944384 809 0 0 0 19 5 0 0 20 0 19 0 411458057 15787421696 184810 33554432000 4194304 4196468 140727535177680 139887362460176 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24684] ppid=24676 vsize=15417404 memory=38320 CPUtime=0.01 cores=1,3,5,7
/proc/24678/task/24684/stat : 24684 (java) S 24676 24676 22042 0 -1 1077944384 1535 0 0 0 1 0 0 0 20 0 19 0 411458058 15787421696 184810 33554432000 4194304 4196468 140727535177680 139886906063472 139887437589122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24685] ppid=24676 vsize=15417404 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24685/stat : 24685 (java) S 24676 24676 22042 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 411458059 15787421696 184810 33554432000 4194304 4196468 140727535177680 139886905009504 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24686] ppid=24676 vsize=15417404 memory=739240 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24686/stat : 24686 (java) S 24676 24676 22042 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 411458059 15787421696 184810 33554432000 4194304 4196468 140727535177680 139886903957120 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24687] ppid=24676 vsize=15417404 memory=739240 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24687/stat : 24687 (java) S 24676 24676 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411458062 15787421696 184810 33554432000 4194304 4196468 140727535177680 139886902905424 139887437596571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24688] ppid=24676 vsize=15417404 memory=6 CPUtime=2.62 cores=1,3,5,7
/proc/24678/task/24688/stat : 24688 (java) S 24676 24676 22042 0 -1 1077944384 14435 0 0 0 260 2 0 0 20 0 19 0 411458062 15787421696 184810 33554432000 4194304 4196468 140727535177680 139886901852272 139887437589122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24689] ppid=24676 vsize=15417404 memory=164 CPUtime=2.48 cores=1,3,5,7
/proc/24678/task/24689/stat : 24689 (java) S 24676 24676 22042 0 -1 1077944384 9324 0 0 0 247 1 0 0 20 0 19 0 411458062 15787421696 184810 33554432000 4194304 4196468 140727535177680 139886900799472 139887437589122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 33 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24690] ppid=24676 vsize=15417404 memory=6655300316396806240 CPUtime=0.77 cores=1,3,5,7
/proc/24678/task/24690/stat : 24690 (java) S 24676 24676 22042 0 -1 1077944384 7708 0 0 0 75 2 0 0 20 0 19 0 411458062 15787421696 184810 33554432000 4194304 4196468 140727535177680 139886899747184 139887437589122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24691] ppid=24676 vsize=15417404 memory=739240 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24691/stat : 24691 (java) S 24676 24676 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411458062 15787421696 184810 33554432000 4194304 4196468 140727535177680 139886898694624 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24692] ppid=24676 vsize=15417404 memory=1556 CPUtime=0.06 cores=1,3,5,7
/proc/24678/task/24692/stat : 24692 (java) S 24676 24676 22042 0 -1 1077944384 410 0 0 0 6 0 0 0 20 0 19 0 411458062 15787421696 184810 33554432000 4194304 4196468 140727535177680 139886897642416 139887437589122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24693] ppid=24676 vsize=15417404 memory=1452 CPUtime=158.31 cores=1,3,5,7
/proc/24678/task/24693/stat : 24693 (java) R 24676 24676 22042 0 -1 4202560 891 0 0 0 15831 0 0 0 20 0 19 0 411458220 15787421696 184810 33554432000 4194304 4196468 140727535177680 139886888668104 139887043127769 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24694] ppid=24676 vsize=15417404 memory=1452 CPUtime=159.34 cores=1,3,5,7
/proc/24678/task/24694/stat : 24694 (java) R 24676 24676 22042 0 -1 4202560 3691 0 0 0 15931 3 0 0 20 0 19 0 411458220 15787421696 184810 33554432000 4194304 4196468 140727535177680 139886887619808 139887042653563 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24695] ppid=24676 vsize=15417404 memory=1452 CPUtime=159.06 cores=1,3,5,7
/proc/24678/task/24695/stat : 24695 (java) R 24676 24676 22042 0 -1 4202560 802 0 0 0 15906 0 0 0 20 0 19 0 411458220 15787421696 184810 33554432000 4194304 4196468 140727535177680 139886886564216 139887043255261 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24696] ppid=24676 vsize=15417404 memory=3620 CPUtime=158.85 cores=1,3,5,7
/proc/24678/task/24696/stat : 24696 (java) R 24676 24676 22042 0 -1 4202560 2312 0 0 0 15884 1 0 0 20 0 19 0 411458220 15787421696 184810 33554432000 4194304 4196468 140727535177680 139886885510608 139887041592540 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
Current children cumulated CPU time: 644 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 740692 KiB
[startup+222.301 s]
/proc/loadavg: 8.82 8.65 8.37 9/237 24714
/proc/meminfo: memFree=29639648/32770624 swapFree=66940764/67108860
[pid=24676] ppid=24673 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24676/stat : 24676 (xcsp3-exec) S 24673 24676 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411458056 115843072 363 33554432000 4194304 5098028 140723163698784 140723163696888 140163492541052 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32030720 140723163706234 140723163706477 140723163706477 140723163709386 0
/proc/24676/statm: 28282 363 304 221 0 87 0
[pid=24678] ppid=24676 vsize=15417404 memory=739496 CPUtime=882.85 cores=1,3,5,7
/proc/24678/stat : 24678 (java) S 24676 24676 22042 0 -1 1077944320 59039 0 0 0 88245 40 0 0 20 0 19 0 411458056 15787421696 184874 33554432000 4194304 4196468 140727535177680 140727535160224 139887437577975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
/proc/24678/statm: 3854351 184874 3533 1 0 3815453 0
[pid=24678/tid=24679] ppid=24676 vsize=15417404 memory=739496 CPUtime=1.51 cores=1,3,5,7
/proc/24678/task/24679/stat : 24679 (java) S 24676 24676 22042 0 -1 1077944384 9180 0 0 0 146 5 0 0 20 0 19 0 411458056 15787421696 184874 33554432000 4194304 4196468 140727535177680 139887441818752 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24680] ppid=24676 vsize=15417404 memory=739496 CPUtime=0.21 cores=1,3,5,7
/proc/24678/task/24680/stat : 24680 (java) S 24676 24676 22042 0 -1 1077944384 1441 0 0 0 16 5 0 0 20 0 19 0 411458057 15787421696 184874 33554432000 4194304 4196468 140727535177680 139887365618064 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24681] ppid=24676 vsize=15417404 memory=1452 CPUtime=0.2 cores=1,3,5,7
/proc/24678/task/24681/stat : 24681 (java) S 24676 24676 22042 0 -1 1077944384 583 0 0 0 15 5 0 0 20 0 19 0 411458057 15787421696 184874 33554432000 4194304 4196468 140727535177680 139887364565264 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24682] ppid=24676 vsize=15417404 memory=739496 CPUtime=0.22 cores=1,3,5,7
/proc/24678/task/24682/stat : 24682 (java) S 24676 24676 22042 0 -1 1077944384 2180 0 0 0 17 5 0 0 20 0 19 0 411458057 15787421696 184874 33554432000 4194304 4196468 140727535177680 139887363512976 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24683] ppid=24676 vsize=15417404 memory=739496 CPUtime=0.24 cores=1,3,5,7
/proc/24678/task/24683/stat : 24683 (java) S 24676 24676 22042 0 -1 1077944384 809 0 0 0 19 5 0 0 20 0 19 0 411458057 15787421696 184874 33554432000 4194304 4196468 140727535177680 139887362460176 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24684] ppid=24676 vsize=15417404 memory=1452 CPUtime=0.01 cores=1,3,5,7
/proc/24678/task/24684/stat : 24684 (java) S 24676 24676 22042 0 -1 1077944384 1540 0 0 0 1 0 0 0 20 0 19 0 411458058 15787421696 184874 33554432000 4194304 4196468 140727535177680 139886906063472 139887437589122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24685] ppid=24676 vsize=15417404 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24685/stat : 24685 (java) S 24676 24676 22042 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 411458059 15787421696 184874 33554432000 4194304 4196468 140727535177680 139886905009504 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24686] ppid=24676 vsize=15417404 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24686/stat : 24686 (java) S 24676 24676 22042 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 411458059 15787421696 184874 33554432000 4194304 4196468 140727535177680 139886903957120 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24687] ppid=24676 vsize=15417404 memory=739496 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24687/stat : 24687 (java) S 24676 24676 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411458062 15787421696 184874 33554432000 4194304 4196468 140727535177680 139886902905424 139887437596571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24688] ppid=24676 vsize=15417404 memory=1452 CPUtime=2.62 cores=1,3,5,7
/proc/24678/task/24688/stat : 24688 (java) S 24676 24676 22042 0 -1 1077944384 14438 0 0 0 260 2 0 0 20 0 19 0 411458062 15787421696 184874 33554432000 4194304 4196468 140727535177680 139886901852272 139887437589122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24689] ppid=24676 vsize=15417404 memory=3620 CPUtime=2.5 cores=1,3,5,7
/proc/24678/task/24689/stat : 24689 (java) S 24676 24676 22042 0 -1 1077944384 10502 0 0 0 249 1 0 0 20 0 19 0 411458062 15787421696 184874 33554432000 4194304 4196468 140727535177680 139886900799472 139887437589122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 33 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24690] ppid=24676 vsize=15417404 memory=38320 CPUtime=0.77 cores=1,3,5,7
/proc/24678/task/24690/stat : 24690 (java) S 24676 24676 22042 0 -1 1077944384 7712 0 0 0 75 2 0 0 20 0 19 0 411458062 15787421696 184874 33554432000 4194304 4196468 140727535177680 139886899747184 139887437589122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24691] ppid=24676 vsize=15417404 memory=739496 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24691/stat : 24691 (java) S 24676 24676 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411458062 15787421696 184874 33554432000 4194304 4196468 140727535177680 139886898694624 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24692] ppid=24676 vsize=15417404 memory=1452 CPUtime=0.08 cores=1,3,5,7
/proc/24678/task/24692/stat : 24692 (java) S 24676 24676 22042 0 -1 1077944384 440 0 0 0 8 0 0 0 20 0 19 0 411458062 15787421696 184874 33554432000 4194304 4196468 140727535177680 139886897642416 139887437589122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 38 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24693] ppid=24676 vsize=15417404 memory=739496 CPUtime=218.27 cores=1,3,5,7
/proc/24678/task/24693/stat : 24693 (java) R 24676 24676 22042 0 -1 4202560 951 0 0 0 21827 0 0 0 20 0 19 0 411458220 15787421696 184874 33554432000 4194304 4196468 140727535177680 139886888668104 139887043127904 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24694] ppid=24676 vsize=15417404 memory=3620 CPUtime=219.26 cores=1,3,5,7
/proc/24678/task/24694/stat : 24694 (java) R 24676 24676 22042 0 -1 4202560 4567 0 0 0 21923 3 0 0 20 0 19 0 411458220 15787421696 184874 33554432000 4194304 4196468 140727535177680 139886887617208 139887038252823 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24695] ppid=24676 vsize=15417404 memory=-7003737579269690708 CPUtime=218 cores=1,3,5,7
/proc/24678/task/24695/stat : 24695 (java) R 24676 24676 22042 0 -1 4202560 875 0 0 0 21800 0 0 0 20 0 19 0 411458220 15787421696 184874 33554432000 4194304 4196468 140727535177680 139886886564216 139887043127769 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24696] ppid=24676 vsize=15417404 memory=1448 CPUtime=218.82 cores=1,3,5,7
/proc/24678/task/24696/stat : 24696 (java) R 24676 24676 22042 0 -1 4202560 2517 0 0 0 21881 1 0 0 20 0 19 0 411458220 15787421696 184874 33554432000 4194304 4196468 140727535177680 139886885510608 139887041592540 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
Current children cumulated CPU time: 882.85 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 740948 KiB
[startup+282.301 s]
/proc/loadavg: 9.01 8.73 8.41 9/237 24718
/proc/meminfo: memFree=29615716/32770624 swapFree=66940764/67108860
[pid=24676] ppid=24673 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24676/stat : 24676 (xcsp3-exec) S 24673 24676 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411458056 115843072 363 33554432000 4194304 5098028 140723163698784 140723163696888 140163492541052 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32030720 140723163706234 140723163706477 140723163706477 140723163709386 0
/proc/24676/statm: 28282 363 304 221 0 87 0
[pid=24678] ppid=24676 vsize=15417404 memory=762020 CPUtime=1121.66 cores=1,3,5,7
/proc/24678/stat : 24678 (java) S 24676 24676 22042 0 -1 1077944320 61429 0 0 0 112123 43 0 0 20 0 19 0 411458056 15787421696 190505 33554432000 4194304 4196468 140727535177680 140727535160224 139887437577975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
/proc/24678/statm: 3854351 190505 3533 1 0 3815453 0
[pid=24678/tid=24679] ppid=24676 vsize=15417404 memory=762020 CPUtime=1.51 cores=1,3,5,7
/proc/24678/task/24679/stat : 24679 (java) S 24676 24676 22042 0 -1 1077944384 9180 0 0 0 146 5 0 0 20 0 19 0 411458056 15787421696 190505 33554432000 4194304 4196468 140727535177680 139887441818752 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24680] ppid=24676 vsize=15417404 memory=1452 CPUtime=0.23 cores=1,3,5,7
/proc/24678/task/24680/stat : 24680 (java) S 24676 24676 22042 0 -1 1077944384 2429 0 0 0 18 5 0 0 20 0 19 0 411458057 15787421696 190505 33554432000 4194304 4196468 140727535177680 139887365618064 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24681] ppid=24676 vsize=15417404 memory=762020 CPUtime=0.24 cores=1,3,5,7
/proc/24678/task/24681/stat : 24681 (java) S 24676 24676 22042 0 -1 1077944384 799 0 0 0 18 6 0 0 20 0 19 0 411458057 15787421696 190505 33554432000 4194304 4196468 140727535177680 139887364565264 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24682] ppid=24676 vsize=15417404 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/24678/task/24682/stat : 24682 (java) S 24676 24676 22042 0 -1 1077944384 2268 0 0 0 20 6 0 0 20 0 19 0 411458057 15787421696 190505 33554432000 4194304 4196468 140727535177680 139887363512976 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24683] ppid=24676 vsize=15417404 memory=1452 CPUtime=0.27 cores=1,3,5,7
/proc/24678/task/24683/stat : 24683 (java) S 24676 24676 22042 0 -1 1077944384 981 0 0 0 21 6 0 0 20 0 19 0 411458057 15787421696 190505 33554432000 4194304 4196468 140727535177680 139887362460176 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24684] ppid=24676 vsize=15417404 memory=1452 CPUtime=0.01 cores=1,3,5,7
/proc/24678/task/24684/stat : 24684 (java) S 24676 24676 22042 0 -1 1077944384 1753 0 0 0 1 0 0 0 20 0 19 0 411458058 15787421696 190505 33554432000 4194304 4196468 140727535177680 139886906063472 139887437589122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24685] ppid=24676 vsize=15417404 memory=762020 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24685/stat : 24685 (java) S 24676 24676 22042 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 411458059 15787421696 190505 33554432000 4194304 4196468 140727535177680 139886905009504 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24686] ppid=24676 vsize=15417404 memory=38320 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24686/stat : 24686 (java) S 24676 24676 22042 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 411458059 15787421696 190505 33554432000 4194304 4196468 140727535177680 139886903957120 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24687] ppid=24676 vsize=15417404 memory=1988 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24687/stat : 24687 (java) S 24676 24676 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411458062 15787421696 190505 33554432000 4194304 4196468 140727535177680 139886902905424 139887437596571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24688] ppid=24676 vsize=15417404 memory=0 CPUtime=2.63 cores=1,3,5,7
/proc/24678/task/24688/stat : 24688 (java) S 24676 24676 22042 0 -1 1077944384 14825 0 0 0 261 2 0 0 20 0 19 0 411458062 15787421696 190505 33554432000 4194304 4196468 140727535177680 139886901852272 139887437589122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24689] ppid=24676 vsize=15417404 memory=11 CPUtime=2.5 cores=1,3,5,7
/proc/24678/task/24689/stat : 24689 (java) S 24676 24676 22042 0 -1 1077944384 10512 0 0 0 249 1 0 0 20 0 19 0 411458062 15787421696 190505 33554432000 4194304 4196468 140727535177680 139886900799472 139887437589122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 33 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24690] ppid=24676 vsize=15417404 memory=3620 CPUtime=0.77 cores=1,3,5,7
/proc/24678/task/24690/stat : 24690 (java) S 24676 24676 22042 0 -1 1077944384 7735 0 0 0 75 2 0 0 20 0 19 0 411458062 15787421696 190505 33554432000 4194304 4196468 140727535177680 139886899747184 139887437589122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24691] ppid=24676 vsize=15417404 memory=38320 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24691/stat : 24691 (java) S 24676 24676 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411458062 15787421696 190505 33554432000 4194304 4196468 140727535177680 139886898694624 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24692] ppid=24676 vsize=15417404 memory=1452 CPUtime=0.11 cores=1,3,5,7
/proc/24678/task/24692/stat : 24692 (java) S 24676 24676 22042 0 -1 1077944384 448 0 0 0 11 0 0 0 20 0 19 0 411458062 15787421696 190505 33554432000 4194304 4196468 140727535177680 139886897642416 139887437589122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 38 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24693] ppid=24676 vsize=15417404 memory=762020 CPUtime=278.21 cores=1,3,5,7
/proc/24678/task/24693/stat : 24693 (java) R 24676 24676 22042 0 -1 4202560 961 0 0 0 27821 0 0 0 20 0 19 0 411458220 15787421696 190505 33554432000 4194304 4196468 140727535177680 139886888668104 139887041533864 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24694] ppid=24676 vsize=15417404 memory=1452 CPUtime=278.91 cores=1,3,5,7
/proc/24678/task/24694/stat : 24694 (java) R 24676 24676 22042 0 -1 4202560 4780 0 0 0 27888 3 0 0 20 0 19 0 411458220 15787421696 190505 33554432000 4194304 4196468 140727535177680 139886887617176 139887043164785 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24695] ppid=24676 vsize=15417404 memory=1452 CPUtime=277.64 cores=1,3,5,7
/proc/24678/task/24695/stat : 24695 (java) R 24676 24676 22042 0 -1 4202560 886 0 0 0 27764 0 0 0 20 0 19 0 411458220 15787421696 190505 33554432000 4194304 4196468 140727535177680 139886886564648 139887042666821 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24696] ppid=24676 vsize=15417404 memory=762020 CPUtime=278.24 cores=1,3,5,7
/proc/24678/task/24696/stat : 24696 (java) R 24676 24676 22042 0 -1 4202560 2568 0 0 0 27823 1 0 0 20 0 19 0 411458220 15787421696 190505 33554432000 4194304 4196468 140727535177680 139886885510856 139887041739591 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
Current children cumulated CPU time: 1121.66 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 763472 KiB
[startup+342.301 s]
/proc/loadavg: 8.80 8.73 8.43 9/237 24723
/proc/meminfo: memFree=29336108/32770624 swapFree=66940764/67108860
[pid=24676] ppid=24673 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24676/stat : 24676 (xcsp3-exec) S 24673 24676 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411458056 115843072 363 33554432000 4194304 5098028 140723163698784 140723163696888 140163492541052 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32030720 140723163706234 140723163706477 140723163706477 140723163709386 0
/proc/24676/statm: 28282 363 304 221 0 87 0
[pid=24678] ppid=24676 vsize=15417404 memory=1017056 CPUtime=1360.48 cores=1,3,5,7
/proc/24678/stat : 24678 (java) S 24676 24676 22042 0 -1 1077944320 64716 0 0 0 135999 49 0 0 20 0 19 0 411458056 15787421696 254264 33554432000 4194304 4196468 140727535177680 140727535160224 139887437577975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
/proc/24678/statm: 3854351 254264 3533 1 0 3815453 0
[pid=24678/tid=24679] ppid=24676 vsize=15417404 memory=935136 CPUtime=1.51 cores=1,3,5,7
/proc/24678/task/24679/stat : 24679 (java) S 24676 24676 22042 0 -1 1077944384 9180 0 0 0 146 5 0 0 20 0 19 0 411458056 15787421696 254264 33554432000 4194304 4196468 140727535177680 139887441818752 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24680] ppid=24676 vsize=15417404 memory=1452 CPUtime=0.23 cores=1,3,5,7
/proc/24678/task/24680/stat : 24680 (java) S 24676 24676 22042 0 -1 1077944384 2429 0 0 0 18 5 0 0 20 0 19 0 411458057 15787421696 254264 33554432000 4194304 4196468 140727535177680 139887365618064 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24681] ppid=24676 vsize=15417404 memory=924896 CPUtime=0.24 cores=1,3,5,7
/proc/24678/task/24681/stat : 24681 (java) S 24676 24676 22042 0 -1 1077944384 799 0 0 0 18 6 0 0 20 0 19 0 411458057 15787421696 254264 33554432000 4194304 4196468 140727535177680 139887364565264 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24682] ppid=24676 vsize=15417404 memory=922848 CPUtime=0.26 cores=1,3,5,7
/proc/24678/task/24682/stat : 24682 (java) S 24676 24676 22042 0 -1 1077944384 2268 0 0 0 20 6 0 0 20 0 19 0 411458057 15787421696 254264 33554432000 4194304 4196468 140727535177680 139887363512976 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24683] ppid=24676 vsize=15417404 memory=992480 CPUtime=0.27 cores=1,3,5,7
/proc/24678/task/24683/stat : 24683 (java) S 24676 24676 22042 0 -1 1077944384 981 0 0 0 21 6 0 0 20 0 19 0 411458057 15787421696 254264 33554432000 4194304 4196468 140727535177680 139887362460176 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24684] ppid=24676 vsize=15417404 memory=1017056 CPUtime=0.02 cores=1,3,5,7
/proc/24678/task/24684/stat : 24684 (java) S 24676 24676 22042 0 -1 1077944384 1759 0 0 0 2 0 0 0 20 0 19 0 411458058 15787421696 254264 33554432000 4194304 4196468 140727535177680 139886906063472 139887437589122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24685] ppid=24676 vsize=15417404 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24685/stat : 24685 (java) S 24676 24676 22042 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 411458059 15787421696 254264 33554432000 4194304 4196468 140727535177680 139886905009504 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24686] ppid=24676 vsize=15417404 memory=1008864 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24686/stat : 24686 (java) S 24676 24676 22042 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 411458059 15787421696 254264 33554432000 4194304 4196468 140727535177680 139886903957120 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24687] ppid=24676 vsize=15417404 memory=1004768 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24687/stat : 24687 (java) S 24676 24676 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411458062 15787421696 254264 33554432000 4194304 4196468 140727535177680 139886902905424 139887437596571 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24688] ppid=24676 vsize=15417404 memory=3620 CPUtime=2.67 cores=1,3,5,7
/proc/24678/task/24688/stat : 24688 (java) S 24676 24676 22042 0 -1 1077944384 16155 0 0 0 265 2 0 0 20 0 19 0 411458062 15787421696 254264 33554432000 4194304 4196468 140727535177680 139886901852272 139887437589122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24689] ppid=24676 vsize=15417404 memory=38320 CPUtime=2.5 cores=1,3,5,7
/proc/24678/task/24689/stat : 24689 (java) S 24676 24676 22042 0 -1 1077944384 10520 0 0 0 249 1 0 0 20 0 19 0 411458062 15787421696 254264 33554432000 4194304 4196468 140727535177680 139886900799472 139887437589122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 33 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24690] ppid=24676 vsize=15417404 memory=1988 CPUtime=0.77 cores=1,3,5,7
/proc/24678/task/24690/stat : 24690 (java) S 24676 24676 22042 0 -1 1077944384 7739 0 0 0 75 2 0 0 20 0 19 0 411458062 15787421696 254264 33554432000 4194304 4196468 140727535177680 139886899747184 139887437589122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24691] ppid=24676 vsize=15417404 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/24678/task/24691/stat : 24691 (java) S 24676 24676 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411458062 15787421696 254264 33554432000 4194304 4196468 140727535177680 139886898694624 139887437588181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24692] ppid=24676 vsize=15417404 memory=1772 CPUtime=0.13 cores=1,3,5,7
/proc/24678/task/24692/stat : 24692 (java) S 24676 24676 22042 0 -1 1077944384 478 0 0 0 13 0 0 0 20 0 19 0 411458062 15787421696 254264 33554432000 4194304 4196468 140727535177680 139886897642416 139887437589122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 38 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24693] ppid=24676 vsize=15417404 memory=1452 CPUtime=338.16 cores=1,3,5,7
/proc/24678/task/24693/stat : 24693 (java) R 24676 24676 22042 0 -1 4202560 1058 0 0 0 33816 0 0 0 20 0 19 0 411458220 15787421696 254264 33554432000 4194304 4196468 140727535177680 139886888668104 139887043127805 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24694] ppid=24676 vsize=15417404 memory=1452 CPUtime=337.81 cores=1,3,5,7
/proc/24678/task/24694/stat : 24694 (java) R 24676 24676 22042 0 -1 4202560 5385 0 0 0 33774 7 0 0 20 0 19 0 411458220 15787421696 254264 33554432000 4194304 4196468 140727535177680 139886887617256 139887043127904 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24695] ppid=24676 vsize=15417404 memory=38320 CPUtime=337.62 cores=1,3,5,7
/proc/24678/task/24695/stat : 24695 (java) R 24676 24676 22042 0 -1 4202560 1324 0 0 0 33761 1 0 0 20 0 19 0 411458220 15787421696 254264 33554432000 4194304 4196468 140727535177680 139886886564648 139887043127769 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0
[pid=24678/tid=24696] ppid=24676 vsize=15417404 memory=1988 CPUtime=338.17 cores=1,3,5,7
/proc/24678/task/24696/stat : 24696 (java) R 24676 24676 22042 0 -1 4202560 3337 0 0 0 33814 3 0 0 20 0 19 0 411458220 15787421696 254264 33554432000 4194304 4196468 140727535177680 139886885511016 139887043127769 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16809984 140727535182831 140727535183002 140727535183002 140727535185871 0