0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404360-1569002111.xml" -tl '20160s' -p 8
0.12/0.18 c Choco 3fb4b153
0.12/0.18 c [HOME/instance-4404360-1569002111.xml, -tl, 20160s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.28 c parse instance...
30.21/24.05 c solve instance...
217.54/47.67 s SATISFIABLE
217.54/47.67 v <instantiation>
217.54/47.67 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] </list>
217.54/47.67 v <values>7 54 53 62 51 46 39 33 24 63 11 42 35 61 22 38 29 68 76 18 67 37 75 15 47 2 32 73 1 8 70 10 59 79 43 26 20 66 36 45 57 60 28 13 44 12 81 56 23 50 17 4 48 78 31 30 40 64 41 21 65 52 25 71 74 9 6 5 49 14 72 69 16 34 58 27 19 80 55 77 3 </values>
217.54/47.67 v </instantiation>
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 (10475 MiB free)
memory of node 1: 16384 MiB (13672 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404360-1569002111/watcher-4404360-1569002111 -o /tmp/evaluation-result-4404360-1569002111/solver-4404360-1569002111 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568996144-14311 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 649583129 HOME/instance-4404360-1569002111.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16888, runsolver pid=16885
Current StackSize limit: 8192 KiB
[startup+0.10013 s]*
/proc/loadavg: 7.48 8.15 8.14 2/214 16909
/proc/meminfo: memFree=24711096/32770624 swapFree=66999080/67108860
[pid=16888] ppid=16885 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16888/stat : 16888 (xcsp3-exec) S 16885 16888 14284 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 476475905 115843072 363 33554432000 4194304 5098028 140722185895568 140722185893672 140244746756732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30904320 140722185896822 140722185897065 140722185897065 140722185899978 0
/proc/16888/statm: 28282 363 305 221 0 87 0
[pid=16890] ppid=16888 vsize=28227396 memory=29808 CPUtime=0.12 cores=0-7
/proc/16890/stat : 16890 (java) S 16888 16888 14284 0 -1 1077944320 5434 0 0 0 11 1 0 0 20 0 20 0 476475905 28904853504 7452 33554432000 4194304 4196468 140720823104608 140720823087152 140065572450039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
/proc/16890/statm: 7056849 7452 3119 1 0 7019032 0
[pid=16890/tid=16891] ppid=16888 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/16890/task/16891/stat : 16891 (java) R 16888 16888 14284 0 -1 4202560 3368 0 0 0 8 0 0 0 20 0 20 0 476475906 28904853504 7452 33554432000 4194304 4196468 140720823104608 140065576683312 140065572461974 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16892] ppid=16888 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16890/task/16892/stat : 16892 (java) S 16888 16888 14284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476475906 28904853504 7452 33554432000 4194304 4196468 140720823104608 140065529002896 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16893] ppid=16888 vsize=28227396 memory=140582204647040 CPUtime=0 cores=0-7
/proc/16890/task/16893/stat : 16893 (java) S 16888 16888 14284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476475906 28904853504 7452 33554432000 4194304 4196468 140720823104608 140065122671376 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16894] ppid=16888 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16894/stat : 16894 (java) S 16888 16888 14284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476475906 28904853504 7452 33554432000 4194304 4196468 140720823104608 140065121619088 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16895] ppid=16888 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16895/stat : 16895 (java) S 16888 16888 14284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476475906 28904853504 7452 33554432000 4194304 4196468 140720823104608 140065120566288 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16896] ppid=16888 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16896/stat : 16896 (java) S 16888 16888 14284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476475906 28904853504 7452 33554432000 4194304 4196468 140720823104608 140065119512976 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16897] ppid=16888 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16890/task/16897/stat : 16897 (java) S 16888 16888 14284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476475906 28904853504 7452 33554432000 4194304 4196468 140720823104608 140065118460176 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16898] ppid=16888 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16898/stat : 16898 (java) S 16888 16888 14284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476475906 28904853504 7452 33554432000 4194304 4196468 140720823104608 140065117407888 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16899] ppid=16888 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16899/stat : 16899 (java) S 16888 16888 14284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476475906 28904853504 7452 33554432000 4194304 4196468 140720823104608 140065116355088 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16900] ppid=16888 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16900/stat : 16900 (java) S 16888 16888 14284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476475908 28904853504 7452 33554432000 4194304 4196468 140720823104608 140064957282928 140065572461186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16901] ppid=16888 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16901/stat : 16901 (java) S 16888 16888 14284 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476475908 28904853504 7452 33554432000 4194304 4196468 140720823104608 140064956228896 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16902] ppid=16888 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16902/stat : 16902 (java) S 16888 16888 14284 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476475908 28904853504 7452 33554432000 4194304 4196468 140720823104608 140064955176560 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16903] ppid=16888 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16903/stat : 16903 (java) S 16888 16888 14284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476475911 28904853504 7452 33554432000 4194304 4196468 140720823104608 140064954124880 140065572468635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16904] ppid=16888 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16904/stat : 16904 (java) R 16888 16888 14284 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 476475911 28904853504 7452 33554432000 4194304 4196468 140720823104608 140064953071728 140065572461186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16905] ppid=16888 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16905/stat : 16905 (java) R 16888 16888 14284 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 476475911 28904853504 7452 33554432000 4194304 4196468 140720823104608 140064952018928 140065572461186 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16906] ppid=16888 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16906/stat : 16906 (java) S 16888 16888 14284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476475911 28904853504 7452 33554432000 4194304 4196468 140720823104608 140064950966640 140065572461186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16907] ppid=16888 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/16890/task/16907/stat : 16907 (java) R 16888 16888 14284 0 -1 4202560 324 0 0 0 2 0 0 0 20 0 20 0 476475911 28904853504 7452 33554432000 4194304 4196468 140720823104608 140064949913840 140065572471386 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16908] ppid=16888 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16908/stat : 16908 (java) S 16888 16888 14284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476475911 28904853504 7452 33554432000 4194304 4196468 140720823104608 140064948861792 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16909] ppid=16888 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16890/task/16909/stat : 16909 (java) S 16888 16888 14284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476475911 28904853504 7452 33554432000 4194304 4196468 140720823104608 140064947809072 140065572461186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31260 KiB
[startup+0.210739 s]*
/proc/loadavg: 7.48 8.15 8.14 3/214 16909
/proc/meminfo: memFree=24699212/32770624 swapFree=66999080/67108860
[pid=16888] ppid=16885 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16888/stat : 16888 (xcsp3-exec) S 16885 16888 14284 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 476475905 115843072 363 33554432000 4194304 5098028 140722185895568 140722185893672 140244746756732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30904320 140722185896822 140722185897065 140722185897065 140722185899978 0
/proc/16888/statm: 28282 363 305 221 0 87 0
[pid=16890] ppid=16888 vsize=28227396 memory=41580 CPUtime=0.34 cores=0-7
/proc/16890/stat : 16890 (java) S 16888 16888 14284 0 -1 1077944320 9082 0 0 0 31 3 0 0 20 0 20 0 476475905 28904853504 10395 33554432000 4194304 4196468 140720823104608 140720823087152 140065572450039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
/proc/16890/statm: 7056849 10395 3298 1 0 7019032 0
[pid=16890/tid=16891] ppid=16888 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/16890/task/16891/stat : 16891 (java) R 16888 16888 14284 0 -1 4202560 6195 0 0 0 18 1 0 0 20 0 20 0 476475906 28904853504 10395 33554432000 4194304 4196468 140720823104608 140065576681952 140065556530526 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16892] ppid=16888 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/16890/task/16892/stat : 16892 (java) S 16888 16888 14284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476475906 28904853504 10395 33554432000 4194304 4196468 140720823104608 140065529002896 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16893] ppid=16888 vsize=28227396 memory=288370958356358784 CPUtime=0 cores=0-7
/proc/16890/task/16893/stat : 16893 (java) S 16888 16888 14284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476475906 28904853504 10395 33554432000 4194304 4196468 140720823104608 140065122671376 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16894] ppid=16888 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16890/task/16894/stat : 16894 (java) S 16888 16888 14284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476475906 28904853504 10395 33554432000 4194304 4196468 140720823104608 140065121619088 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16895] ppid=16888 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16895/stat : 16895 (java) S 16888 16888 14284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476475906 28904853504 10395 33554432000 4194304 4196468 140720823104608 140065120566288 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16896] ppid=16888 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16896/stat : 16896 (java) S 16888 16888 14284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476475906 28904853504 10395 33554432000 4194304 4196468 140720823104608 140065119512976 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16897] ppid=16888 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16890/task/16897/stat : 16897 (java) S 16888 16888 14284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476475906 28904853504 10395 33554432000 4194304 4196468 140720823104608 140065118460176 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16898] ppid=16888 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16898/stat : 16898 (java) S 16888 16888 14284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476475906 28904853504 10395 33554432000 4194304 4196468 140720823104608 140065117407888 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16899] ppid=16888 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16899/stat : 16899 (java) S 16888 16888 14284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476475906 28904853504 10395 33554432000 4194304 4196468 140720823104608 140065116355088 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16900] ppid=16888 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16900/stat : 16900 (java) S 16888 16888 14284 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476475908 28904853504 10395 33554432000 4194304 4196468 140720823104608 140064957282928 140065572461186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16901] ppid=16888 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16901/stat : 16901 (java) S 16888 16888 14284 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476475908 28904853504 10395 33554432000 4194304 4196468 140720823104608 140064956228896 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16902] ppid=16888 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16902/stat : 16902 (java) S 16888 16888 14284 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476475908 28904853504 10395 33554432000 4194304 4196468 140720823104608 140064955176560 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16903] ppid=16888 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16903/stat : 16903 (java) S 16888 16888 14284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476475911 28904853504 10395 33554432000 4194304 4196468 140720823104608 140064954124880 140065572468635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16904] ppid=16888 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/16890/task/16904/stat : 16904 (java) S 16888 16888 14284 0 -1 1077944384 399 0 0 0 1 0 0 0 20 0 20 0 476475911 28904853504 10395 33554432000 4194304 4196468 140720823104608 140064953071728 140065572461186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16905] ppid=16888 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/16890/task/16905/stat : 16905 (java) S 16888 16888 14284 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 20 0 476475911 28904853504 10395 33554432000 4194304 4196468 140720823104608 140064952018928 140065572461186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16906] ppid=16888 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16890/task/16906/stat : 16906 (java) S 16888 16888 14284 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 20 0 476475911 28904853504 10395 33554432000 4194304 4196468 140720823104608 140064950966640 140065572461186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16907] ppid=16888 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/16890/task/16907/stat : 16907 (java) S 16888 16888 14284 0 -1 1077944384 744 0 0 0 8 0 0 0 20 0 20 0 476475911 28904853504 10395 33554432000 4194304 4196468 140720823104608 140064949913840 140065572461186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16908] ppid=16888 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16908/stat : 16908 (java) S 16888 16888 14284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476475911 28904853504 10395 33554432000 4194304 4196468 140720823104608 140064948861792 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16909] ppid=16888 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16890/task/16909/stat : 16909 (java) S 16888 16888 14284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476475911 28904853504 10395 33554432000 4194304 4196468 140720823104608 140064947809072 140065572461186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 43032 KiB
[startup+0.310495 s]*
/proc/loadavg: 7.48 8.15 8.14 3/214 16909
/proc/meminfo: memFree=24692548/32770624 swapFree=66999080/67108860
[pid=16888] ppid=16885 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16888/stat : 16888 (xcsp3-exec) S 16885 16888 14284 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 476475905 115843072 363 33554432000 4194304 5098028 140722185895568 140722185893672 140244746756732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30904320 140722185896822 140722185897065 140722185897065 140722185899978 0
/proc/16888/statm: 28282 363 305 221 0 87 0
[pid=16890] ppid=16888 vsize=28231652 memory=49796 CPUtime=0.51 cores=0-7
/proc/16890/stat : 16890 (java) S 16888 16888 14284 0 -1 1077944320 10315 0 0 0 47 4 0 0 20 0 20 0 476475905 28909211648 12449 33554432000 4194304 4196468 140720823104608 140720823087152 140065572450039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
/proc/16890/statm: 7057913 12449 3332 1 0 7019032 0
[pid=16890/tid=16891] ppid=16888 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/16890/task/16891/stat : 16891 (java) R 16888 16888 14284 0 -1 4202560 7339 0 0 0 28 2 0 0 20 0 20 0 476475906 28909211648 12514 33554432000 4194304 4196468 140720823104608 140065576681152 140065556530526 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16892] ppid=16888 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16892/stat : 16892 (java) S 16888 16888 14284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476475906 28909211648 12514 33554432000 4194304 4196468 140720823104608 140065529002896 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16893] ppid=16888 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16893/stat : 16893 (java) S 16888 16888 14284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476475906 28909211648 12514 33554432000 4194304 4196468 140720823104608 140065122671376 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16894] ppid=16888 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16894/stat : 16894 (java) S 16888 16888 14284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476475906 28909211648 12514 33554432000 4194304 4196468 140720823104608 140065121619088 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16895] ppid=16888 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16895/stat : 16895 (java) S 16888 16888 14284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476475906 28909211648 12514 33554432000 4194304 4196468 140720823104608 140065120566288 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16896] ppid=16888 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16896/stat : 16896 (java) S 16888 16888 14284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476475906 28909211648 12514 33554432000 4194304 4196468 140720823104608 140065119512976 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16897] ppid=16888 vsize=28231652 memory=140582064319151 CPUtime=0 cores=0-7
/proc/16890/task/16897/stat : 16897 (java) S 16888 16888 14284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476475906 28909211648 12521 33554432000 4194304 4196468 140720823104608 140065118460176 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16898] ppid=16888 vsize=28231652 memory=140582064321456 CPUtime=0 cores=0-7
/proc/16890/task/16898/stat : 16898 (java) S 16888 16888 14284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476475906 28909211648 12521 33554432000 4194304 4196468 140720823104608 140065117407888 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16899] ppid=16888 vsize=28231652 memory=140582064323760 CPUtime=0 cores=0-7
/proc/16890/task/16899/stat : 16899 (java) S 16888 16888 14284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476475906 28909211648 12521 33554432000 4194304 4196468 140720823104608 140065116355088 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16900] ppid=16888 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16900/stat : 16900 (java) S 16888 16888 14284 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476475908 28909211648 12521 33554432000 4194304 4196468 140720823104608 140064957282928 140065572461186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16901] ppid=16888 vsize=28231652 memory=281164128661392 CPUtime=0 cores=0-7
/proc/16890/task/16901/stat : 16901 (java) S 16888 16888 14284 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476475908 28909211648 12521 33554432000 4194304 4196468 140720823104608 140064956228896 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16902] ppid=16888 vsize=28231652 memory=281164128659088 CPUtime=0 cores=0-7
/proc/16890/task/16902/stat : 16902 (java) S 16888 16888 14284 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476475908 28909211648 12521 33554432000 4194304 4196468 140720823104608 140064955176560 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16903] ppid=16888 vsize=28231652 memory=281164128666000 CPUtime=0 cores=0-7
/proc/16890/task/16903/stat : 16903 (java) S 16888 16888 14284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476475911 28909211648 12521 33554432000 4194304 4196468 140720823104608 140064954124880 140065572468635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16904] ppid=16888 vsize=28231652 memory=281164128607280 CPUtime=0.02 cores=0-7
/proc/16890/task/16904/stat : 16904 (java) S 16888 16888 14284 0 -1 1077944384 411 0 0 0 2 0 0 0 20 0 20 0 476475911 28909211648 12521 33554432000 4194304 4196468 140720823104608 140064953071728 140065572461186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16905] ppid=16888 vsize=28231652 memory=281164128679824 CPUtime=0.02 cores=0-7
/proc/16890/task/16905/stat : 16905 (java) S 16888 16888 14284 0 -1 1077944384 356 0 0 0 2 0 0 0 20 0 20 0 476475911 28909211648 12521 33554432000 4194304 4196468 140720823104608 140064952018928 140065572461186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16906] ppid=16888 vsize=28231652 memory=281164128686736 CPUtime=0.01 cores=0-7
/proc/16890/task/16906/stat : 16906 (java) S 16888 16888 14284 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 20 0 476475911 28909211648 12521 33554432000 4194304 4196468 140720823104608 140064950966640 140065572461186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16907] ppid=16888 vsize=28231652 memory=281164128684432 CPUtime=0.12 cores=0-7
/proc/16890/task/16907/stat : 16907 (java) S 16888 16888 14284 0 -1 1077944384 820 0 0 0 12 0 0 0 20 0 20 0 476475911 28909211648 12521 33554432000 4194304 4196468 140720823104608 140064949913840 140065572461186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16908] ppid=16888 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16908/stat : 16908 (java) S 16888 16888 14284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476475911 28909211648 12521 33554432000 4194304 4196468 140720823104608 140064948861792 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16909] ppid=16888 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/16890/task/16909/stat : 16909 (java) S 16888 16888 14284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476475911 28909211648 12521 33554432000 4194304 4196468 140720823104608 140064947809072 140065572461186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51248 KiB
[startup+0.701432 s]
/proc/loadavg: 7.48 8.15 8.14 2/214 16909
/proc/meminfo: memFree=24658616/32770624 swapFree=66999080/67108860
[pid=16888] ppid=16885 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16888/stat : 16888 (xcsp3-exec) S 16885 16888 14284 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 476475905 115843072 363 33554432000 4194304 5098028 140722185895568 140722185893672 140244746756732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30904320 140722185896822 140722185897065 140722185897065 140722185899978 0
/proc/16888/statm: 28282 363 305 221 0 87 0
[pid=16890] ppid=16888 vsize=28233776 memory=204000 CPUtime=1.63 cores=0-7
/proc/16890/stat : 16890 (java) S 16888 16888 14284 0 -1 1077944320 13597 0 0 0 150 13 0 0 20 0 20 0 476475905 28911386624 51000 33554432000 4194304 4196468 140720823104608 140720823087152 140065572450039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
/proc/16890/statm: 7058444 51000 3439 1 0 7019544 0
[pid=16890/tid=16891] ppid=16888 vsize=28233776 memory=0 CPUtime=0.66 cores=0-7
/proc/16890/task/16891/stat : 16891 (java) S 16888 16888 14284 0 -1 1077944384 7871 0 0 0 63 3 0 0 20 0 20 0 476475906 28911386624 51000 33554432000 4194304 4196468 140720823104608 140065576687472 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16892] ppid=16888 vsize=28233776 memory=140582064530288 CPUtime=0 cores=0-7
/proc/16890/task/16892/stat : 16892 (java) R 16888 16888 14284 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 20 0 476475906 28911386624 51000 33554432000 4194304 4196468 140720823104608 140065529002896 140065557477922 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16893] ppid=16888 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16893/stat : 16893 (java) R 16888 16888 14284 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 20 0 476475906 28911386624 51000 33554432000 4194304 4196468 140720823104608 140065122671376 140065565552940 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16894] ppid=16888 vsize=28233776 memory=776 CPUtime=0 cores=0-7
/proc/16890/task/16894/stat : 16894 (java) R 16888 16888 14284 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 476475906 28911386624 51512 33554432000 4194304 4196468 140720823104608 140065121619088 140065557477913 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
################
# More data... #
################
[pid=16890/tid=16913] ppid=16888 vsize=28766288 memory=53232 CPUtime=21.49 cores=0-7
/proc/16890/task/16913/stat : 16913 (java) R 16888 16888 14284 0 -1 4202560 2159 0 0 0 2139 10 0 0 20 0 28 0 476478311 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064936483920 140065215655355 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16914] ppid=16888 vsize=28766288 memory=988 CPUtime=21.5 cores=0-7
/proc/16890/task/16914/stat : 16914 (java) R 16888 16888 14284 0 -1 4202560 2296 0 0 0 2140 10 0 0 20 0 28 0 476478311 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064935431120 140065215654979 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16915] ppid=16888 vsize=28766288 memory=111632 CPUtime=21.47 cores=0-7
/proc/16890/task/16915/stat : 16915 (java) R 16888 16888 14284 0 -1 4202560 2778 0 0 0 2139 8 0 0 20 0 28 0 476478311 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064934378616 140065215654506 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16916] ppid=16888 vsize=28766288 memory=800 CPUtime=21.49 cores=0-7
/proc/16890/task/16916/stat : 16916 (java) R 16888 16888 14284 0 -1 4202560 2774 0 0 0 2144 5 0 0 20 0 28 0 476478311 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064933325744 140065215655515 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16917] ppid=16888 vsize=28766288 memory=1804 CPUtime=21.49 cores=0-7
/proc/16890/task/16917/stat : 16917 (java) R 16888 16888 14284 0 -1 4202560 2735 0 0 0 2145 4 0 0 20 0 28 0 476478312 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064932276632 140065215654744 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16918] ppid=16888 vsize=28766288 memory=920 CPUtime=21.46 cores=0-7
/proc/16890/task/16918/stat : 16918 (java) R 16888 16888 14284 0 -1 4202560 3375 0 0 0 2139 7 0 0 20 0 28 0 476478312 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064931221024 140065215654333 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
Current children cumulated CPU time: 207.89 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 3938864 KiB
[startup+47.2014 s]
/proc/loadavg: 6.36 7.69 7.97 9/219 16921
/proc/meminfo: memFree=20796448/32770624 swapFree=66999084/67108860
[pid=16888] ppid=16885 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16888/stat : 16888 (xcsp3-exec) S 16885 16888 14284 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 476475905 115843072 363 33554432000 4194304 5098028 140722185895568 140722185893672 140244746756732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30904320 140722185896822 140722185897065 140722185897065 140722185899978 0
/proc/16888/statm: 28282 363 305 221 0 87 0
[pid=16890] ppid=16888 vsize=28766288 memory=3937412 CPUtime=214.27 cores=0-7
/proc/16890/stat : 16890 (java) S 16888 16888 14284 0 -1 1077944320 107849 0 0 0 21096 331 0 0 20 0 28 0 476475905 29456678912 984353 33554432000 4194304 4196468 140720823104608 140720823087152 140065572450039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
/proc/16890/statm: 7191572 984353 3543 1 0 7152672 0
[pid=16890/tid=16891] ppid=16888 vsize=28766288 memory=394 CPUtime=23.5 cores=0-7
/proc/16890/task/16891/stat : 16891 (java) S 16888 16888 14284 0 -1 1077944384 19010 0 0 0 2314 36 0 0 20 0 28 0 476475906 29456678912 984353 33554432000 4194304 4196468 140720823104608 140065576690816 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16892] ppid=16888 vsize=28766288 memory=321 CPUtime=0.63 cores=0-7
/proc/16890/task/16892/stat : 16892 (java) S 16888 16888 14284 0 -1 1077944384 1452 0 0 0 36 27 0 0 20 0 28 0 476475906 29456678912 984353 33554432000 4194304 4196468 140720823104608 140065529002896 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16893] ppid=16888 vsize=28766288 memory=1123 CPUtime=0.63 cores=0-7
/proc/16890/task/16893/stat : 16893 (java) S 16888 16888 14284 0 -1 1077944384 809 0 0 0 37 26 0 0 20 0 28 0 476475906 29456678912 984353 33554432000 4194304 4196468 140720823104608 140065122671376 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16894] ppid=16888 vsize=28766288 memory=2413 CPUtime=0.62 cores=0-7
/proc/16890/task/16894/stat : 16894 (java) S 16888 16888 14284 0 -1 1077944384 860 0 0 0 37 25 0 0 20 0 28 0 476475906 29456678912 984353 33554432000 4194304 4196468 140720823104608 140065121619088 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16895] ppid=16888 vsize=28766288 memory=6791534058613427641 CPUtime=0.63 cores=0-7
/proc/16890/task/16895/stat : 16895 (java) S 16888 16888 14284 0 -1 1077944384 808 0 0 0 36 27 0 0 20 0 28 0 476475906 29456678912 984353 33554432000 4194304 4196468 140720823104608 140065120566288 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16896] ppid=16888 vsize=28766288 memory=4108 CPUtime=0.63 cores=0-7
/proc/16890/task/16896/stat : 16896 (java) S 16888 16888 14284 0 -1 1077944384 1149 0 0 0 37 26 0 0 20 0 28 0 476475906 29456678912 984353 33554432000 4194304 4196468 140720823104608 140065119512976 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16897] ppid=16888 vsize=28766288 memory=1412 CPUtime=0.63 cores=0-7
/proc/16890/task/16897/stat : 16897 (java) S 16888 16888 14284 0 -1 1077944384 1028 0 0 0 35 28 0 0 20 0 28 0 476475906 29456678912 984353 33554432000 4194304 4196468 140720823104608 140065118460176 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16898] ppid=16888 vsize=28766288 memory=3208 CPUtime=0.6 cores=0-7
/proc/16890/task/16898/stat : 16898 (java) S 16888 16888 14284 0 -1 1077944384 622 0 0 0 35 25 0 0 20 0 28 0 476475906 29456678912 984353 33554432000 4194304 4196468 140720823104608 140065117407888 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16899] ppid=16888 vsize=28766288 memory=2020 CPUtime=0.63 cores=0-7
/proc/16890/task/16899/stat : 16899 (java) S 16888 16888 14284 0 -1 1077944384 806 0 0 0 37 26 0 0 20 0 28 0 476475906 29456678912 984353 33554432000 4194304 4196468 140720823104608 140065116355088 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16900] ppid=16888 vsize=28766288 memory=1428 CPUtime=0.04 cores=0-7
/proc/16890/task/16900/stat : 16900 (java) S 16888 16888 14284 0 -1 1077944384 6461 0 0 0 3 1 0 0 20 0 28 0 476475908 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064957282928 140065572461186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16901] ppid=16888 vsize=28766288 memory=9396 CPUtime=0 cores=0-7
/proc/16890/task/16901/stat : 16901 (java) S 16888 16888 14284 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 476475908 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064956228960 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16902] ppid=16888 vsize=28766288 memory=656 CPUtime=0 cores=0-7
/proc/16890/task/16902/stat : 16902 (java) S 16888 16888 14284 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 28 0 476475908 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064955176576 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16903] ppid=16888 vsize=28766288 memory=3612 CPUtime=0 cores=0-7
/proc/16890/task/16903/stat : 16903 (java) S 16888 16888 14284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476475911 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064954124880 140065572468635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16904] ppid=16888 vsize=28766288 memory=2832 CPUtime=2.23 cores=0-7
/proc/16890/task/16904/stat : 16904 (java) S 16888 16888 14284 0 -1 1077944384 14519 0 0 0 220 3 0 0 20 0 28 0 476475911 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064953071728 140065572461186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 18 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16905] ppid=16888 vsize=28766288 memory=288230574492221466 CPUtime=2.24 cores=0-7
/proc/16890/task/16905/stat : 16905 (java) S 16888 16888 14284 0 -1 1077944384 17311 0 0 0 220 4 0 0 20 0 28 0 476475911 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064952018928 140065572461186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16906] ppid=16888 vsize=28766288 memory=288230596050944315 CPUtime=1.95 cores=0-7
/proc/16890/task/16906/stat : 16906 (java) S 16888 16888 14284 0 -1 1077944384 10979 0 0 0 193 2 0 0 20 0 28 0 476475911 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064950966640 140065572461186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16907] ppid=16888 vsize=28766288 memory=14413717844530249 CPUtime=0.73 cores=0-7
/proc/16890/task/16907/stat : 16907 (java) S 16888 16888 14284 0 -1 1077944384 8360 0 0 0 70 3 0 0 20 0 28 0 476475911 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064949913840 140065572461186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16908] ppid=16888 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/16890/task/16908/stat : 16908 (java) S 16888 16888 14284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476475911 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064948861792 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16909] ppid=16888 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7
/proc/16890/task/16909/stat : 16909 (java) S 16888 16888 14284 0 -1 1077944384 609 0 0 0 1 0 0 0 20 0 28 0 476475911 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064947809072 140065572461186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16911] ppid=16888 vsize=28766288 memory=0 CPUtime=22.24 cores=0-7
/proc/16890/task/16911/stat : 16911 (java) R 16888 16888 14284 0 -1 4202560 2820 0 0 0 2217 7 0 0 20 0 28 0 476478311 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064938588872 140065215654389 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16912] ppid=16888 vsize=28766288 memory=6655300316396806240 CPUtime=22.46 cores=0-7
/proc/16890/task/16912/stat : 16912 (java) R 16888 16888 14284 0 -1 4202560 2533 0 0 0 2234 12 0 0 20 0 28 0 476478311 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064937537584 140065215652810 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16913] ppid=16888 vsize=28766288 memory=6944656592455097440 CPUtime=22.29 cores=0-7
/proc/16890/task/16913/stat : 16913 (java) R 16888 16888 14284 0 -1 4202560 2190 0 0 0 2219 10 0 0 20 0 28 0 476478311 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064936483920 140065215653152 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16914] ppid=16888 vsize=28766288 memory=6655300316396806240 CPUtime=22.3 cores=0-7
/proc/16890/task/16914/stat : 16914 (java) R 16888 16888 14284 0 -1 4202560 2325 0 0 0 2220 10 0 0 20 0 28 0 476478311 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064935431472 140065215318611 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16915] ppid=16888 vsize=28766288 memory=3580 CPUtime=22.27 cores=0-7
/proc/16890/task/16915/stat : 16915 (java) R 16888 16888 14284 0 -1 4202560 2804 0 0 0 2219 8 0 0 20 0 28 0 476478311 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064934379144 140065215654371 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16916] ppid=16888 vsize=28766288 memory=53232 CPUtime=22.29 cores=0-7
/proc/16890/task/16916/stat : 16916 (java) R 16888 16888 14284 0 -1 4202560 2810 0 0 0 2224 5 0 0 20 0 28 0 476478311 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064933325744 140065215655332 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16917] ppid=16888 vsize=28766288 memory=988 CPUtime=22.27 cores=0-7
/proc/16890/task/16917/stat : 16917 (java) R 16888 16888 14284 0 -1 4202560 2767 0 0 0 2223 4 0 0 20 0 28 0 476478312 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064932274936 140065215654371 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16918] ppid=16888 vsize=28766288 memory=2020 CPUtime=22.25 cores=0-7
/proc/16890/task/16918/stat : 16918 (java) R 16888 16888 14284 0 -1 4202560 3412 0 0 0 2218 7 0 0 20 0 28 0 476478312 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064931220848 140065214498718 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
Current children cumulated CPU time: 214.27 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 3938864 KiB
[startup+47.6104 s]
/proc/loadavg: 6.36 7.69 7.97 9/219 16921
/proc/meminfo: memFree=20796448/32770624 swapFree=66999084/67108860
[pid=16888] ppid=16885 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16888/stat : 16888 (xcsp3-exec) S 16885 16888 14284 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 476475905 115843072 363 33554432000 4194304 5098028 140722185895568 140722185893672 140244746756732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30904320 140722185896822 140722185897065 140722185897065 140722185899978 0
/proc/16888/statm: 28282 363 305 221 0 87 0
[pid=16890] ppid=16888 vsize=28766288 memory=3937412 CPUtime=217.54 cores=0-7
/proc/16890/stat : 16890 (java) S 16888 16888 14284 0 -1 1077944320 108250 0 0 0 21423 331 0 0 20 0 28 0 476475905 29456678912 984353 33554432000 4194304 4196468 140720823104608 140720823087152 140065572450039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
/proc/16890/statm: 7191572 984353 3543 1 0 7152672 0
[pid=16890/tid=16891] ppid=16888 vsize=28766288 memory=1412 CPUtime=23.5 cores=0-7
/proc/16890/task/16891/stat : 16891 (java) S 16888 16888 14284 0 -1 1077944384 19010 0 0 0 2314 36 0 0 20 0 28 0 476475906 29456678912 984353 33554432000 4194304 4196468 140720823104608 140065576690816 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16892] ppid=16888 vsize=28766288 memory=37700 CPUtime=0.63 cores=0-7
/proc/16890/task/16892/stat : 16892 (java) S 16888 16888 14284 0 -1 1077944384 1452 0 0 0 36 27 0 0 20 0 28 0 476475906 29456678912 984353 33554432000 4194304 4196468 140720823104608 140065529002896 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16893] ppid=16888 vsize=28766288 memory=3580 CPUtime=0.63 cores=0-7
/proc/16890/task/16893/stat : 16893 (java) S 16888 16888 14284 0 -1 1077944384 809 0 0 0 37 26 0 0 20 0 28 0 476475906 29456678912 984353 33554432000 4194304 4196468 140720823104608 140065122671376 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16894] ppid=16888 vsize=28766288 memory=53232 CPUtime=0.62 cores=0-7
/proc/16890/task/16894/stat : 16894 (java) S 16888 16888 14284 0 -1 1077944384 860 0 0 0 37 25 0 0 20 0 28 0 476475906 29456678912 984353 33554432000 4194304 4196468 140720823104608 140065121619088 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16895] ppid=16888 vsize=28766288 memory=988 CPUtime=0.63 cores=0-7
/proc/16890/task/16895/stat : 16895 (java) S 16888 16888 14284 0 -1 1077944384 808 0 0 0 36 27 0 0 20 0 28 0 476475906 29456678912 984353 33554432000 4194304 4196468 140720823104608 140065120566288 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16896] ppid=16888 vsize=28766288 memory=2020 CPUtime=0.63 cores=0-7
/proc/16890/task/16896/stat : 16896 (java) S 16888 16888 14284 0 -1 1077944384 1149 0 0 0 37 26 0 0 20 0 28 0 476475906 29456678912 984353 33554432000 4194304 4196468 140720823104608 140065119512976 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16897] ppid=16888 vsize=28766288 memory=1428 CPUtime=0.63 cores=0-7
/proc/16890/task/16897/stat : 16897 (java) S 16888 16888 14284 0 -1 1077944384 1028 0 0 0 35 28 0 0 20 0 28 0 476475906 29456678912 984353 33554432000 4194304 4196468 140720823104608 140065118460176 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16898] ppid=16888 vsize=28766288 memory=9396 CPUtime=0.6 cores=0-7
/proc/16890/task/16898/stat : 16898 (java) S 16888 16888 14284 0 -1 1077944384 622 0 0 0 35 25 0 0 20 0 28 0 476475906 29456678912 984353 33554432000 4194304 4196468 140720823104608 140065117407888 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16899] ppid=16888 vsize=28766288 memory=656 CPUtime=0.63 cores=0-7
/proc/16890/task/16899/stat : 16899 (java) S 16888 16888 14284 0 -1 1077944384 806 0 0 0 37 26 0 0 20 0 28 0 476475906 29456678912 984353 33554432000 4194304 4196468 140720823104608 140065116355088 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16900] ppid=16888 vsize=28766288 memory=3612 CPUtime=0.04 cores=0-7
/proc/16890/task/16900/stat : 16900 (java) S 16888 16888 14284 0 -1 1077944384 6461 0 0 0 3 1 0 0 20 0 28 0 476475908 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064957282928 140065572461186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16901] ppid=16888 vsize=28766288 memory=1452 CPUtime=0 cores=0-7
/proc/16890/task/16901/stat : 16901 (java) S 16888 16888 14284 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 476475908 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064956228960 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16902] ppid=16888 vsize=28766288 memory=3877780 CPUtime=0 cores=0-7
/proc/16890/task/16902/stat : 16902 (java) S 16888 16888 14284 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 28 0 476475908 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064955176576 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16903] ppid=16888 vsize=28766288 memory=3877744 CPUtime=0 cores=0-7
/proc/16890/task/16903/stat : 16903 (java) S 16888 16888 14284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476475911 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064954124880 140065572468635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16904] ppid=16888 vsize=28766288 memory=2428 CPUtime=2.26 cores=0-7
/proc/16890/task/16904/stat : 16904 (java) S 16888 16888 14284 0 -1 1077944384 14608 0 0 0 223 3 0 0 20 0 28 0 476475911 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064953071728 140065572461186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16905] ppid=16888 vsize=28766288 memory=2428 CPUtime=2.25 cores=0-7
/proc/16890/task/16905/stat : 16905 (java) R 16888 16888 14284 0 -1 4202560 17515 0 0 0 221 4 0 0 20 0 28 0 476475911 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064952018928 140065564691481 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16906] ppid=16888 vsize=28766288 memory=1580 CPUtime=1.95 cores=0-7
/proc/16890/task/16906/stat : 16906 (java) S 16888 16888 14284 0 -1 1077944384 10979 0 0 0 193 2 0 0 20 0 28 0 476475911 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064950966640 140065572461186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16907] ppid=16888 vsize=28766288 memory=892 CPUtime=0.73 cores=0-7
/proc/16890/task/16907/stat : 16907 (java) S 16888 16888 14284 0 -1 1077944384 8360 0 0 0 70 3 0 0 20 0 28 0 476475911 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064949913840 140065572461186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16908] ppid=16888 vsize=28766288 memory=1440 CPUtime=0 cores=0-7
/proc/16890/task/16908/stat : 16908 (java) S 16888 16888 14284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476475911 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064948861792 140065572460245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16909] ppid=16888 vsize=28766288 memory=1760 CPUtime=0.01 cores=0-7
/proc/16890/task/16909/stat : 16909 (java) S 16888 16888 14284 0 -1 1077944384 609 0 0 0 1 0 0 0 20 0 28 0 476475911 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064947809072 140065572461186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16911] ppid=16888 vsize=28766288 memory=111632 CPUtime=22.63 cores=0-7
/proc/16890/task/16911/stat : 16911 (java) R 16888 16888 14284 0 -1 4202560 2832 0 0 0 2256 7 0 0 20 0 28 0 476478311 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064938588872 140065215654444 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16912] ppid=16888 vsize=28766288 memory=800 CPUtime=22.87 cores=0-7
/proc/16890/task/16912/stat : 16912 (java) R 16888 16888 14284 0 -1 4202560 2556 0 0 0 2275 12 0 0 20 0 28 0 476478311 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064937537584 140065215654737 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16913] ppid=16888 vsize=28766288 memory=1804 CPUtime=22.7 cores=0-7
/proc/16890/task/16913/stat : 16913 (java) R 16888 16888 14284 0 -1 4202560 2204 0 0 0 2260 10 0 0 20 0 28 0 476478311 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064936484056 140065215318618 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16914] ppid=16888 vsize=28766288 memory=920 CPUtime=22.71 cores=0-7
/proc/16890/task/16914/stat : 16914 (java) R 16888 16888 14284 0 -1 4202560 2342 0 0 0 2261 10 0 0 20 0 28 0 476478311 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064935431608 140065215654371 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16915] ppid=16888 vsize=28766288 memory=4164 CPUtime=22.68 cores=0-7
/proc/16890/task/16915/stat : 16915 (java) R 16888 16888 14284 0 -1 4202560 2816 0 0 0 2260 8 0 0 20 0 28 0 476478311 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064934379144 140065215652828 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16916] ppid=16888 vsize=28766288 memory=4108 CPUtime=22.68 cores=0-7
/proc/16890/task/16916/stat : 16916 (java) R 16888 16888 14284 0 -1 4202560 2828 0 0 0 2263 5 0 0 20 0 28 0 476478311 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064933325744 140065216578676 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16917] ppid=16888 vsize=28766288 memory=1412 CPUtime=22.67 cores=0-7
/proc/16890/task/16917/stat : 16917 (java) R 16888 16888 14284 0 -1 4202560 2777 0 0 0 2263 4 0 0 20 0 28 0 476478312 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064932274872 140065215654337 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
[pid=16890/tid=16918] ppid=16888 vsize=28766288 memory=3208 CPUtime=22.66 cores=0-7
/proc/16890/task/16918/stat : 16918 (java) R 16888 16888 14284 0 -1 4202560 3430 0 0 0 2259 7 0 0 20 0 28 0 476478312 29456678912 984353 33554432000 4194304 4196468 140720823104608 140064931220848 140065215654394 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720823112682 140720823112854 140720823112854 140720823115727 0
Current children cumulated CPU time: 217.54 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 3938864 KiB
[startup+47.7012 s]
/proc/loadavg: 6.36 7.69 7.97 9/219 16921
/proc/meminfo: memFree=20796448/32770624 swapFree=66999084/67108860
[pid=16888] ppid=16885 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16888/stat : 16888 (xcsp3-exec) S 16885 16888 14284 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 476475905 115843072 363 33554432000 4194304 5098028 140722185895568 140722185893672 140244746756732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30904320 140722185896822 140722185897065 140722185897065 140722185899978 0
/proc/16888/statm: 28282 363 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 0
Real time (s): 47.7063
CPU time (s): 218.006
CPU user time (s): 214.667
CPU system time (s): 3.33902
CPU usage (%): 456.976
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 3938864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 214.667
system time used= 3.33902
maximum resident set size= 3937756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110226
page faults= 0
swaps= 0
block input operations= 0
block output operations= 200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6845
involuntary context switches= 3148
# summary of solver processes directly reported to runsolver:
# pid: 16888
# total CPU time (s): 218.006
# total CPU user time (s): 214.667
# total CPU system time (s): 3.33902
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.418497 second user time and 0.560378 second system time
The end
Begin job on node123 at 2019-09-20 19:54:31
IDJOB=4404360
IDBENCH=133266
IDSOLVER=2865
FILE ID=node123/4404360-1569002111
RUNJOBID= node123-1568996144-14311
PBS_JOBID= 21704738
Free space on /tmp= 25916 MiB
SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/MagicSquare/MagicSquare-mdd-s1/MagicSquare-9-mdd.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4404360-1569002111/watcher-4404360-1569002111 -o /tmp/evaluation-result-4404360-1569002111/solver-4404360-1569002111 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568996144-14311 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 649583129 HOME/instance-4404360-1569002111.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= fb3d9364636893e4a3b852a85a1b811d
RANDOM SEED=649583129
node123.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.49
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.49
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.49
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.49
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 24728216 kB
MemAvailable: 31845432 kB
Buffers: 50292 kB
Cached: 7198484 kB
SwapCached: 7080 kB
Active: 3565968 kB
Inactive: 3694936 kB
Active(anon): 2140 kB
Inactive(anon): 57704 kB
Active(file): 3563828 kB
Inactive(file): 3637232 kB
Unevictable: 107156 kB
Mlocked: 107156 kB
SwapTotal: 67108860 kB
SwapFree: 66999080 kB
Dirty: 30532 kB
Writeback: 4 kB
AnonPages: 113136 kB
Mapped: 51108 kB
Shmem: 39056 kB
Slab: 374920 kB
SReclaimable: 344616 kB
SUnreclaim: 30304 kB
KernelStack: 3456 kB
PageTables: 5604 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 505912 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 67584 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 105856 kB
DirectMap2M: 33439744 kB
Free space on /tmp at the end= 25888 MiB
End job on node123 at 2019-09-20 19:55:19