0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406681-1569362910.xml" -tl '20160s' -p 8
0.12/0.18 c Choco e747e1e
0.12/0.18 c [HOME/instance-4406681-1569362910.xml, -tl, 20160s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.28 c parse instance...
12.57/4.68 c solve instance...
13.45/4.87 s SATISFIABLE
13.45/4.87 v <instantiation>
13.45/4.87 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][11] x[0][12] x[0][13] x[0][14] x[1][0] x[1][1] x[1][2] x[1][3] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][11] x[1][12] x[1][13] x[1][14] x[2][0] x[2][1] x[2][2] x[2][3] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][11] x[2][12] x[2][13] x[2][14] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[4][3] x[4][4] x[4][5] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][6] x[5][7] x[5][8] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[6][0] x[6][1] x[6][2] x[6][3] x[6][5] x[6][6] x[6][7] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[7][0] x[7][1] x[7][2] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][12] x[7][13] x[7][14] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][7] x[8][8] x[8][9] x[8][11] x[8][12] x[8][13] x[8][14] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][6] x[9][7] x[9][8] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][9] x[10][10] x[10][11] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[12][0] x[12][1] x[12][2] x[12][3] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][11] x[12][12] x[12][13] x[12][14] x[13][0] x[13][1] x[13][2] x[13][3] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][11] x[13][12] x[13][13] x[13][14] x[14][0] x[14][1] x[14][2] x[14][3] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][11] x[14][12] x[14][13] x[14][14] </list>
13.45/4.87 v <values>0 0 3 4 0 0 10 0 10 0 0 3 4 0 0 17 3 0 1 0 2 0 0 0 17 3 3 17 0 6 10 0 2 4 11 18 18 8 8 4 19 0 12 15 0 18 4 12 14 19 19 0 19 14 0 10 0 13 8 12 0 0 2 4 13 18 0 0 18 0 8 0 11 0 0 0 17 3 0 0 18 0 6 18 19 4 21 10 0 12 11 20 19 19 8 2 7 0 0 18 0 11 4 13 4 4 0 0 7 4 12 11 0 10 0 9 0 13 0 8 3 18 2 0 4 17 1 0 1 0 18 0 0 7 0 5 5 8 23 0 11 0 1 2 4 3 0 8 0 2 20 11 5 19 4 17 0 0 0 3 4 3 4 11 11 5 4 2 7 19 13 8 4 11 4 12 11 0 0 17 6 0 18 19 0 11 0 </values>
13.45/4.87 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 (13506 MiB free)
memory of node 1: 16384 MiB (12058 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406681-1569362910/watcher-4406681-1569362910 -o /var/tmp/evaluation-result-4406681-1569362910/solver-4406681-1569362910 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569352967-7589 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 742453771 HOME/instance-4406681-1569362910.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
solver pid=9073, runsolver pid=9070
Starting watchdog thread
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 2.12 5.63 7.05 2/210 9094
/proc/meminfo: memFree=26161288/32770624 swapFree=66956864/67108860
[pid=9073] ppid=9070 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9073/stat : 9073 (xcsp3-exec) S 9070 9073 7562 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512548734 115843072 363 33554432000 4194304 5098028 140727432472960 140727432471064 140515784807036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17719296 140727432479570 140727432479829 140727432479829 140727432482758 0
/proc/9073/statm: 28282 363 304 221 0 87 0
[pid=9075] ppid=9073 vsize=28227396 memory=30228 CPUtime=0.12 cores=0-7
/proc/9075/stat : 9075 (java) S 9073 9073 7562 0 -1 1077944320 5526 0 0 0 11 1 0 0 20 0 20 0 512548734 28904853504 7557 33554432000 4194304 4196468 140723935051552 140723935034096 140672366264055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
/proc/9075/statm: 7056849 7557 3118 1 0 7019032 0
[pid=9075/tid=9076] ppid=9073 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/9075/task/9076/stat : 9076 (java) R 9073 9073 7562 0 -1 4202560 3431 0 0 0 8 0 0 0 20 0 20 0 512548734 28904853504 7557 33554432000 4194304 4196468 140723935051552 140672370490016 140672366285981 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9077] ppid=9073 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/9075/task/9077/stat : 9077 (java) S 9073 9073 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548735 28904853504 7557 33554432000 4194304 4196468 140723935051552 140672327224080 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9078] ppid=9073 vsize=28227396 memory=139897965958784 CPUtime=0 cores=0-7
/proc/9075/task/9078/stat : 9078 (java) S 9073 9073 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548735 28904853504 7557 33554432000 4194304 4196468 140723935051552 140671916612496 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9079] ppid=9073 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9079/stat : 9079 (java) S 9073 9073 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548735 28904853504 7557 33554432000 4194304 4196468 140723935051552 140671915559952 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9080] ppid=9073 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9080/stat : 9080 (java) S 9073 9073 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548735 28904853504 7557 33554432000 4194304 4196468 140723935051552 140671914507408 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9081] ppid=9073 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9081/stat : 9081 (java) S 9073 9073 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548735 28904853504 7557 33554432000 4194304 4196468 140723935051552 140671913453840 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9082] ppid=9073 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9075/task/9082/stat : 9082 (java) S 9073 9073 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548735 28904853504 7557 33554432000 4194304 4196468 140723935051552 140671912401296 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9083] ppid=9073 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9083/stat : 9083 (java) S 9073 9073 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512548735 28904853504 7557 33554432000 4194304 4196468 140723935051552 140671911348752 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9084] ppid=9073 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9084/stat : 9084 (java) S 9073 9073 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548735 28904853504 7557 33554432000 4194304 4196468 140723935051552 140671910296208 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9085] ppid=9073 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9085/stat : 9085 (java) S 9073 9073 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548737 28904853504 7557 33554432000 4194304 4196468 140723935051552 140671751014896 140672366275202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9086] ppid=9073 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9086/stat : 9086 (java) S 9073 9073 7562 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512548737 28904853504 7557 33554432000 4194304 4196468 140723935051552 140671749961120 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9087] ppid=9073 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9087/stat : 9087 (java) S 9073 9073 7562 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512548737 28904853504 7557 33554432000 4194304 4196468 140723935051552 140671748908528 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9088] ppid=9073 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9088/stat : 9088 (java) S 9073 9073 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548740 28904853504 7557 33554432000 4194304 4196468 140723935051552 140671747857104 140672366282651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9089] ppid=9073 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9089/stat : 9089 (java) R 9073 9073 7562 0 -1 4202560 299 0 0 0 0 0 0 0 20 0 20 0 512548740 28904853504 7557 33554432000 4194304 4196468 140723935051552 140671746803696 140672359249097 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9090] ppid=9073 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9090/stat : 9090 (java) R 9073 9073 7562 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 512548740 28904853504 7557 33554432000 4194304 4196468 140723935051552 140671745751152 140672366285402 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9091] ppid=9073 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9091/stat : 9091 (java) S 9073 9073 7562 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 512548740 28904853504 7557 33554432000 4194304 4196468 140723935051552 140671744698608 140672366275202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9092] ppid=9073 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/9075/task/9092/stat : 9092 (java) R 9073 9073 7562 0 -1 4202560 354 0 0 0 2 0 0 0 20 0 20 0 512548740 28904853504 7557 33554432000 4194304 4196468 140723935051552 140671743646064 140672344632763 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9093] ppid=9073 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9093/stat : 9093 (java) S 9073 9073 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512548740 28904853504 7557 33554432000 4194304 4196468 140723935051552 140671742593760 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9094] ppid=9073 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9075/task/9094/stat : 9094 (java) S 9073 9073 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548740 28904853504 7557 33554432000 4194304 4196468 140723935051552 140671741541296 140672366275202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31680 KiB
[startup+0.210459 s]*
/proc/loadavg: 2.12 5.63 7.05 3/210 9094
/proc/meminfo: memFree=26148528/32770624 swapFree=66956864/67108860
[pid=9073] ppid=9070 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9073/stat : 9073 (xcsp3-exec) S 9070 9073 7562 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512548734 115843072 363 33554432000 4194304 5098028 140727432472960 140727432471064 140515784807036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17719296 140727432479570 140727432479829 140727432479829 140727432482758 0
/proc/9073/statm: 28282 363 304 221 0 87 0
[pid=9075] ppid=9073 vsize=28227396 memory=41296 CPUtime=0.34 cores=0-7
/proc/9075/stat : 9075 (java) S 9073 9073 7562 0 -1 1077944320 9073 0 0 0 31 3 0 0 20 0 20 0 512548734 28904853504 10324 33554432000 4194304 4196468 140723935051552 140723935034096 140672366264055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
/proc/9075/statm: 7056849 10324 3252 1 0 7019032 0
[pid=9075/tid=9076] ppid=9073 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/9075/task/9076/stat : 9076 (java) R 9073 9073 7562 0 -1 4202560 6244 0 0 0 18 2 0 0 20 0 20 0 512548734 28904853504 10324 33554432000 4194304 4196468 140723935051552 140672370496784 140672366275990 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9077] ppid=9073 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/9075/task/9077/stat : 9077 (java) S 9073 9073 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548735 28904853504 10324 33554432000 4194304 4196468 140723935051552 140672327224080 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9078] ppid=9073 vsize=28227396 memory=139897965972101 CPUtime=0 cores=0-7
/proc/9075/task/9078/stat : 9078 (java) S 9073 9073 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548735 28904853504 10324 33554432000 4194304 4196468 140723935051552 140671916612496 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9079] ppid=9073 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9075/task/9079/stat : 9079 (java) S 9073 9073 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548735 28904853504 10324 33554432000 4194304 4196468 140723935051552 140671915559952 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9080] ppid=9073 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9080/stat : 9080 (java) S 9073 9073 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548735 28904853504 10324 33554432000 4194304 4196468 140723935051552 140671914507408 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9081] ppid=9073 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9081/stat : 9081 (java) S 9073 9073 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548735 28904853504 10324 33554432000 4194304 4196468 140723935051552 140671913453840 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9082] ppid=9073 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9075/task/9082/stat : 9082 (java) S 9073 9073 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548735 28904853504 10324 33554432000 4194304 4196468 140723935051552 140671912401296 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9083] ppid=9073 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9083/stat : 9083 (java) S 9073 9073 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512548735 28904853504 10324 33554432000 4194304 4196468 140723935051552 140671911348752 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9084] ppid=9073 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9084/stat : 9084 (java) S 9073 9073 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548735 28904853504 10324 33554432000 4194304 4196468 140723935051552 140671910296208 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9085] ppid=9073 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9085/stat : 9085 (java) S 9073 9073 7562 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512548737 28904853504 10324 33554432000 4194304 4196468 140723935051552 140671751014896 140672366275202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9086] ppid=9073 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9086/stat : 9086 (java) S 9073 9073 7562 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512548737 28904853504 10324 33554432000 4194304 4196468 140723935051552 140671749961120 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9087] ppid=9073 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9087/stat : 9087 (java) S 9073 9073 7562 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512548737 28904853504 10324 33554432000 4194304 4196468 140723935051552 140671748908528 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9088] ppid=9073 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9088/stat : 9088 (java) S 9073 9073 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548740 28904853504 10324 33554432000 4194304 4196468 140723935051552 140671747857104 140672366282651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9089] ppid=9073 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/9075/task/9089/stat : 9089 (java) S 9073 9073 7562 0 -1 1077944384 362 0 0 0 1 0 0 0 20 0 20 0 512548740 28904853504 10324 33554432000 4194304 4196468 140723935051552 140671746803696 140672366275202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9090] ppid=9073 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9090/stat : 9090 (java) S 9073 9073 7562 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 512548740 28904853504 10324 33554432000 4194304 4196468 140723935051552 140671745751152 140672366275202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9091] ppid=9073 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/9075/task/9091/stat : 9091 (java) S 9073 9073 7562 0 -1 1077944384 391 0 0 0 2 0 0 0 20 0 20 0 512548740 28904853504 10324 33554432000 4194304 4196468 140723935051552 140671744698608 140672366275202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9092] ppid=9073 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/9075/task/9092/stat : 9092 (java) R 9073 9073 7562 0 -1 4202560 746 0 0 0 8 0 0 0 20 0 20 0 512548740 28904853504 10324 33554432000 4194304 4196468 140723935051552 140671743646064 140672366275990 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9093] ppid=9073 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9093/stat : 9093 (java) S 9073 9073 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512548740 28904853504 10324 33554432000 4194304 4196468 140723935051552 140671742593760 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9094] ppid=9073 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9075/task/9094/stat : 9094 (java) S 9073 9073 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548740 28904853504 10324 33554432000 4194304 4196468 140723935051552 140671741541296 140672366275202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42748 KiB
[startup+0.310367 s]*
/proc/loadavg: 2.12 5.63 7.05 3/210 9094
/proc/meminfo: memFree=26127460/32770624 swapFree=66956864/67108860
[pid=9073] ppid=9070 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9073/stat : 9073 (xcsp3-exec) S 9070 9073 7562 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512548734 115843072 363 33554432000 4194304 5098028 140727432472960 140727432471064 140515784807036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17719296 140727432479570 140727432479829 140727432479829 140727432482758 0
/proc/9073/statm: 28282 363 304 221 0 87 0
[pid=9075] ppid=9073 vsize=28231652 memory=49956 CPUtime=0.52 cores=0-7
/proc/9075/stat : 9075 (java) S 9073 9073 7562 0 -1 1077944320 10351 0 0 0 49 3 0 0 20 0 20 0 512548734 28909211648 12489 33554432000 4194304 4196468 140723935051552 140723935034096 140672366264055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
/proc/9075/statm: 7057913 12489 3339 1 0 7019032 0
[pid=9075/tid=9076] ppid=9073 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/9075/task/9076/stat : 9076 (java) R 9073 9073 7562 0 -1 4202560 7344 0 0 0 27 2 0 0 20 0 20 0 512548734 28909211648 12489 33554432000 4194304 4196468 140723935051552 140672370491112 140672366285981 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9077] ppid=9073 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9077/stat : 9077 (java) S 9073 9073 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548735 28909211648 12489 33554432000 4194304 4196468 140723935051552 140672327224080 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9078] ppid=9073 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9078/stat : 9078 (java) S 9073 9073 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548735 28909211648 12489 33554432000 4194304 4196468 140723935051552 140671916612496 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9079] ppid=9073 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9079/stat : 9079 (java) S 9073 9073 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548735 28909211648 12489 33554432000 4194304 4196468 140723935051552 140671915559952 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9080] ppid=9073 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9080/stat : 9080 (java) S 9073 9073 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548735 28909211648 12489 33554432000 4194304 4196468 140723935051552 140671914507408 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9081] ppid=9073 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9081/stat : 9081 (java) S 9073 9073 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548735 28909211648 12489 33554432000 4194304 4196468 140723935051552 140671913453840 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9082] ppid=9073 vsize=28231652 memory=139897822341807 CPUtime=0 cores=0-7
/proc/9075/task/9082/stat : 9082 (java) S 9073 9073 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548735 28909211648 12489 33554432000 4194304 4196468 140723935051552 140671912401296 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9083] ppid=9073 vsize=28231652 memory=139897822344112 CPUtime=0 cores=0-7
/proc/9075/task/9083/stat : 9083 (java) S 9073 9073 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512548735 28909211648 12489 33554432000 4194304 4196468 140723935051552 140671911348752 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9084] ppid=9073 vsize=28231652 memory=139897822346416 CPUtime=0 cores=0-7
/proc/9075/task/9084/stat : 9084 (java) S 9073 9073 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548735 28909211648 12489 33554432000 4194304 4196468 140723935051552 140671910296208 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9085] ppid=9073 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9085/stat : 9085 (java) S 9073 9073 7562 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512548737 28909211648 12489 33554432000 4194304 4196468 140723935051552 140671751014896 140672366275202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9086] ppid=9073 vsize=28231652 memory=279795644706704 CPUtime=0 cores=0-7
/proc/9075/task/9086/stat : 9086 (java) S 9073 9073 7562 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512548737 28909211648 12489 33554432000 4194304 4196468 140723935051552 140671749961120 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9087] ppid=9073 vsize=28231652 memory=279795644704400 CPUtime=0 cores=0-7
/proc/9075/task/9087/stat : 9087 (java) S 9073 9073 7562 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512548737 28909211648 12489 33554432000 4194304 4196468 140723935051552 140671748908528 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9088] ppid=9073 vsize=28231652 memory=279795644711312 CPUtime=0 cores=0-7
/proc/9075/task/9088/stat : 9088 (java) S 9073 9073 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548740 28909211648 12489 33554432000 4194304 4196468 140723935051552 140671747857104 140672366282651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9089] ppid=9073 vsize=28231652 memory=279795644652592 CPUtime=0.02 cores=0-7
/proc/9075/task/9089/stat : 9089 (java) S 9073 9073 7562 0 -1 1077944384 374 0 0 0 2 0 0 0 20 0 20 0 512548740 28909211648 12489 33554432000 4194304 4196468 140723935051552 140671746803696 140672366275202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9090] ppid=9073 vsize=28231652 memory=279795644725136 CPUtime=0.01 cores=0-7
/proc/9075/task/9090/stat : 9090 (java) S 9073 9073 7562 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 20 0 512548740 28909211648 12489 33554432000 4194304 4196468 140723935051552 140671745751152 140672366275202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9091] ppid=9073 vsize=28231652 memory=279795644732048 CPUtime=0.04 cores=0-7
/proc/9075/task/9091/stat : 9091 (java) R 9073 9073 7562 0 -1 4202560 473 0 0 0 4 0 0 0 20 0 20 0 512548740 28909211648 12489 33554432000 4194304 4196468 140723935051552 140671744688992 140672351390006 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9092] ppid=9073 vsize=28231652 memory=279795644729744 CPUtime=0.13 cores=0-7
/proc/9075/task/9092/stat : 9092 (java) S 9073 9073 7562 0 -1 1077944384 815 0 0 0 13 0 0 0 20 0 20 0 512548740 28909211648 12489 33554432000 4194304 4196468 140723935051552 140671743646064 140672366275202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9093] ppid=9073 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9093/stat : 9093 (java) S 9073 9073 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512548740 28909211648 12489 33554432000 4194304 4196468 140723935051552 140671742593760 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9094] ppid=9073 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/9075/task/9094/stat : 9094 (java) S 9073 9073 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548740 28909211648 12489 33554432000 4194304 4196468 140723935051552 140671741541296 140672366275202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51408 KiB
[startup+0.701023 s]
/proc/loadavg: 2.12 5.63 7.05 7/210 9094
/proc/meminfo: memFree=26110556/32770624 swapFree=66956864/67108860
[pid=9073] ppid=9070 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9073/stat : 9073 (xcsp3-exec) S 9070 9073 7562 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512548734 115843072 363 33554432000 4194304 5098028 140727432472960 140727432471064 140515784807036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17719296 140727432479570 140727432479829 140727432479829 140727432482758 0
/proc/9073/statm: 28282 363 304 221 0 87 0
[pid=9075] ppid=9073 vsize=28233776 memory=202468 CPUtime=1.81 cores=0-7
/proc/9075/stat : 9075 (java) S 9073 9073 7562 0 -1 1077944320 14262 0 0 0 170 11 0 0 20 0 20 0 512548734 28911386624 50617 33554432000 4194304 4196468 140723935051552 140723935034096 140672366264055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
/proc/9075/statm: 7058444 50617 3461 1 0 7019544 0
[pid=9075/tid=9076] ppid=9073 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/9075/task/9076/stat : 9076 (java) R 9073 9073 7562 0 -1 4202560 7955 0 0 0 62 5 0 0 20 0 20 0 512548734 28911386624 50617 33554432000 4194304 4196468 140723935051552 140672370501568 140672366275990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9077] ppid=9073 vsize=28233776 memory=139897822552944 CPUtime=0 cores=0-7
/proc/9075/task/9077/stat : 9077 (java) S 9073 9073 7562 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 512548735 28911386624 50617 33554432000 4194304 4196468 140723935051552 140672327224080 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9078] ppid=9073 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9078/stat : 9078 (java) S 9073 9073 7562 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 512548735 28911386624 50617 33554432000 4194304 4196468 140723935051552 140671916612496 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9079] ppid=9073 vsize=28233776 memory=784 CPUtime=0 cores=0-7
/proc/9075/task/9079/stat : 9079 (java) S 9073 9073 7562 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 512548735 28911386624 50617 33554432000 4194304 4196468 140723935051552 140671915559952 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
################
# More data... #
################
/proc/9075/task/9093/stat : 9093 (java) S 9073 9073 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512548740 28911386624 257770 33554432000 4194304 4196468 140723935051552 140671742593760 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9094] ppid=9073 vsize=28233776 memory=203468 CPUtime=0 cores=0-7
/proc/9075/task/9094/stat : 9094 (java) S 9073 9073 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512548740 28911386624 257770 33554432000 4194304 4196468 140723935051552 140671741541296 140672366275202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
Current children cumulated CPU time: 8.94 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 1032532 KiB
[startup+4.00096 s]*
/proc/loadavg: 2.59 5.67 7.05 2/210 9094
/proc/meminfo: memFree=25003312/32770624 swapFree=66956864/67108860
[pid=9073] ppid=9070 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9073/stat : 9073 (xcsp3-exec) S 9070 9073 7562 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512548734 115843072 363 33554432000 4194304 5098028 140727432472960 140727432471064 140515784807036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17719296 140727432479570 140727432479829 140727432479829 140727432482758 0
/proc/9073/statm: 28282 363 304 221 0 87 0
[pid=9075] ppid=9073 vsize=28233776 memory=1187928 CPUtime=10.43 cores=0-7
/proc/9075/stat : 9075 (java) S 9073 9073 7562 0 -1 1077944320 22048 0 0 0 849 194 0 0 20 0 20 0 512548734 28911386624 296982 33554432000 4194304 4196468 140723935051552 140723935034096 140672366264055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
/proc/9075/statm: 7058444 296982 3496 1 0 7019544 0
[pid=9075/tid=9076] ppid=9073 vsize=28233776 memory=8317482817917895235 CPUtime=3.07 cores=0-7
/proc/9075/task/9076/stat : 9076 (java) R 9073 9073 7562 0 -1 4202560 9556 0 0 0 297 10 0 0 20 0 20 0 512548734 28911386624 296982 33554432000 4194304 4196468 140723935051552 140672370501040 140672006644208 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9077] ppid=9073 vsize=28233776 memory=4872558044660077418 CPUtime=0.65 cores=0-7
/proc/9075/task/9077/stat : 9077 (java) S 9073 9073 7562 0 -1 1077944384 582 0 0 0 43 22 0 0 20 0 20 0 512548735 28911386624 296982 33554432000 4194304 4196468 140723935051552 140672327224080 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9078] ppid=9073 vsize=28233776 memory=2832 CPUtime=0.65 cores=0-7
/proc/9075/task/9078/stat : 9078 (java) S 9073 9073 7562 0 -1 1077944384 472 0 0 0 42 23 0 0 20 0 20 0 512548735 28911386624 296982 33554432000 4194304 4196468 140723935051552 140671916612496 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9079] ppid=9073 vsize=28233776 memory=1620 CPUtime=0.65 cores=0-7
/proc/9075/task/9079/stat : 9079 (java) S 9073 9073 7562 0 -1 1077944384 579 0 0 0 43 22 0 0 20 0 20 0 512548735 28911386624 296982 33554432000 4194304 4196468 140723935051552 140671915559952 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9080] ppid=9073 vsize=28233776 memory=1136 CPUtime=0.65 cores=0-7
/proc/9075/task/9080/stat : 9080 (java) S 9073 9073 7562 0 -1 1077944384 553 0 0 0 43 22 0 0 20 0 20 0 512548735 28911386624 296982 33554432000 4194304 4196468 140723935051552 140671914507408 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9081] ppid=9073 vsize=28233776 memory=1072 CPUtime=0.64 cores=0-7
/proc/9075/task/9081/stat : 9081 (java) S 9073 9073 7562 0 -1 1077944384 631 0 0 0 42 22 0 0 20 0 20 0 512548735 28911386624 296982 33554432000 4194304 4196468 140723935051552 140671913453840 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9082] ppid=9073 vsize=28233776 memory=-1624781813439352349 CPUtime=0.64 cores=0-7
/proc/9075/task/9082/stat : 9082 (java) S 9073 9073 7562 0 -1 1077944384 620 0 0 0 43 21 0 0 20 0 20 0 512548735 28911386624 296982 33554432000 4194304 4196468 140723935051552 140671912401296 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9083] ppid=9073 vsize=28233776 memory=-2843878391478539678 CPUtime=0.65 cores=0-7
/proc/9075/task/9083/stat : 9083 (java) S 9073 9073 7562 0 -1 1077944384 510 0 0 0 43 22 0 0 20 0 20 0 512548735 28911386624 296982 33554432000 4194304 4196468 140723935051552 140671911348752 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9084] ppid=9073 vsize=28233776 memory=8974679720218626472 CPUtime=0.65 cores=0-7
/proc/9075/task/9084/stat : 9084 (java) S 9073 9073 7562 0 -1 1077944384 598 0 0 0 43 22 0 0 20 0 20 0 512548735 28911386624 296982 33554432000 4194304 4196468 140723935051552 140671910296208 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9085] ppid=9073 vsize=28233776 memory=7820909163742374475 CPUtime=0.23 cores=0-7
/proc/9075/task/9085/stat : 9085 (java) S 9073 9073 7562 0 -1 1077944384 1083 0 0 0 23 0 0 0 20 0 20 0 512548737 28911386624 296982 33554432000 4194304 4196468 140723935051552 140671751014896 140672366275202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9086] ppid=9073 vsize=28233776 memory=4874536186311133265 CPUtime=0 cores=0-7
/proc/9075/task/9086/stat : 9086 (java) S 9073 9073 7562 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 512548737 28911386624 296982 33554432000 4194304 4196468 140723935051552 140671749961184 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9087] ppid=9073 vsize=28233776 memory=4210986201856307595 CPUtime=0 cores=0-7
/proc/9075/task/9087/stat : 9087 (java) S 9073 9073 7562 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 512548737 28911386624 296982 33554432000 4194304 4196468 140723935051552 140671748908544 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9088] ppid=9073 vsize=28233776 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/9075/task/9088/stat : 9088 (java) S 9073 9073 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548740 28911386624 296982 33554432000 4194304 4196468 140723935051552 140671747857104 140672366282651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9089] ppid=9073 vsize=28233776 memory=4206450426559352880 CPUtime=0.46 cores=0-7
/proc/9075/task/9089/stat : 9089 (java) S 9073 9073 7562 0 -1 1077944384 1390 0 0 0 46 0 0 0 20 0 20 0 512548740 28911386624 296982 33554432000 4194304 4196468 140723935051552 140671746803696 140672366275202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9090] ppid=9073 vsize=28233776 memory=7810487918915055718 CPUtime=0.42 cores=0-7
/proc/9075/task/9090/stat : 9090 (java) S 9073 9073 7562 0 -1 1077944384 917 0 0 0 42 0 0 0 20 0 20 0 512548740 28911386624 296982 33554432000 4194304 4196468 140723935051552 140671745751152 140672366275202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9091] ppid=9073 vsize=28233776 memory=7584170970093476756 CPUtime=0.45 cores=0-7
/proc/9075/task/9091/stat : 9091 (java) S 9073 9073 7562 0 -1 1077944384 1261 0 0 0 45 0 0 0 20 0 20 0 512548740 28911386624 296982 33554432000 4194304 4196468 140723935051552 140671744698608 140672366275202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9092] ppid=9073 vsize=28233776 memory=0 CPUtime=0.49 cores=0-7
/proc/9075/task/9092/stat : 9092 (java) S 9073 9073 7562 0 -1 1077944384 1993 0 0 0 48 1 0 0 20 0 20 0 512548740 28911386624 296982 33554432000 4194304 4196468 140723935051552 140671743646064 140672366275202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9093] ppid=9073 vsize=28233776 memory=279795644837456 CPUtime=0 cores=0-7
/proc/9075/task/9093/stat : 9093 (java) S 9073 9073 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512548740 28911386624 296982 33554432000 4194304 4196468 140723935051552 140671742593760 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9094] ppid=9073 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9094/stat : 9094 (java) S 9073 9073 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512548740 28911386624 296982 33554432000 4194304 4196468 140723935051552 140671741541296 140672366275202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
Current children cumulated CPU time: 10.43 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 1189380 KiB
[startup+4.40184 s]
/proc/loadavg: 2.59 5.67 7.05 2/210 9094
/proc/meminfo: memFree=25003312/32770624 swapFree=66956864/67108860
[pid=9073] ppid=9070 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9073/stat : 9073 (xcsp3-exec) S 9070 9073 7562 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512548734 115843072 363 33554432000 4194304 5098028 140727432472960 140727432471064 140515784807036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17719296 140727432479570 140727432479829 140727432479829 140727432482758 0
/proc/9073/statm: 28282 363 304 221 0 87 0
[pid=9075] ppid=9073 vsize=28233776 memory=1535192 CPUtime=11.51 cores=0-7
/proc/9075/stat : 9075 (java) S 9073 9073 7562 0 -1 1077944320 23167 0 0 0 900 251 0 0 20 0 20 0 512548734 28911386624 383798 33554432000 4194304 4196468 140723935051552 140723935034096 140672366264055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
/proc/9075/statm: 7058444 383798 3496 1 0 7019544 0
[pid=9075/tid=9076] ppid=9073 vsize=28233776 memory=6083046321183549545 CPUtime=3.37 cores=0-7
/proc/9075/task/9076/stat : 9076 (java) S 9073 9073 7562 0 -1 1077944384 9956 0 0 0 325 12 0 0 20 0 20 0 512548734 28911386624 383798 33554432000 4194304 4196468 140723935051552 140672370502176 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9077] ppid=9073 vsize=28233776 memory=7380385388137112419 CPUtime=0.74 cores=0-7
/proc/9075/task/9077/stat : 9077 (java) R 9073 9073 7562 0 -1 4202560 673 0 0 0 46 28 0 0 20 0 20 0 512548735 28911386624 383798 33554432000 4194304 4196468 140723935051552 140672327224280 140672359363902 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9078] ppid=9073 vsize=28233776 memory=7445684112651215700 CPUtime=0.74 cores=0-7
/proc/9075/task/9078/stat : 9078 (java) R 9073 9073 7562 0 -1 4202560 560 0 0 0 45 29 0 0 20 0 20 0 512548735 28911386624 383798 33554432000 4194304 4196468 140723935051552 140671916612696 140672359367637 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9079] ppid=9073 vsize=28233776 memory=0 CPUtime=0.74 cores=0-7
/proc/9075/task/9079/stat : 9079 (java) R 9073 9073 7562 0 -1 4202560 667 0 0 0 45 29 0 0 20 0 20 0 512548735 28911386624 383798 33554432000 4194304 4196468 140723935051552 140671915559840 140672359360756 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9080] ppid=9073 vsize=28233776 memory=29 CPUtime=0.74 cores=0-7
/proc/9075/task/9080/stat : 9080 (java) R 9073 9073 7562 0 -1 4202560 640 0 0 0 46 28 0 0 20 0 20 0 512548735 28911386624 383798 33554432000 4194304 4196468 140723935051552 140671914507608 140672351291911 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9081] ppid=9073 vsize=28233776 memory=8112282956445269571 CPUtime=0.74 cores=0-7
/proc/9075/task/9081/stat : 9081 (java) R 9073 9073 7562 0 -1 4202560 721 0 0 0 45 29 0 0 20 0 20 0 512548735 28911386624 383798 33554432000 4194304 4196468 140723935051552 140671913454040 140672351291911 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9082] ppid=9073 vsize=28233776 memory=0 CPUtime=0.74 cores=0-7
/proc/9075/task/9082/stat : 9082 (java) R 9073 9073 7562 0 -1 4202560 708 0 0 0 46 28 0 0 20 0 20 0 512548735 28911386624 383798 33554432000 4194304 4196468 140723935051552 140671912401496 140672351291474 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9083] ppid=9073 vsize=28233776 memory=139899969733560 CPUtime=0.75 cores=0-7
/proc/9075/task/9083/stat : 9083 (java) R 9073 9073 7562 0 -1 4202560 601 0 0 0 46 29 0 0 20 0 20 0 512548735 28911386624 383798 33554432000 4194304 4196468 140723935051552 140671911348952 140672351291911 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9084] ppid=9073 vsize=28233776 memory=139899969733561 CPUtime=0.74 cores=0-7
/proc/9075/task/9084/stat : 9084 (java) R 9073 9073 7562 0 -1 4202560 686 0 0 0 45 29 0 0 20 0 20 0 512548735 28911386624 383798 33554432000 4194304 4196468 140723935051552 140671910296408 140672351291920 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9085] ppid=9073 vsize=28233776 memory=139899969733648 CPUtime=0.23 cores=0-7
/proc/9075/task/9085/stat : 9085 (java) S 9073 9073 7562 0 -1 1077944384 1083 0 0 0 23 0 0 0 20 0 20 0 512548737 28911386624 383798 33554432000 4194304 4196468 140723935051552 140671751013408 140672366274261 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9086] ppid=9073 vsize=28233776 memory=139899969734094 CPUtime=0 cores=0-7
/proc/9075/task/9086/stat : 9086 (java) S 9073 9073 7562 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 512548737 28911386624 383798 33554432000 4194304 4196468 140723935051552 140671749961184 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9087] ppid=9073 vsize=28233776 memory=139899969734753 CPUtime=0 cores=0-7
/proc/9075/task/9087/stat : 9087 (java) S 9073 9073 7562 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 512548737 28911386624 383798 33554432000 4194304 4196468 140723935051552 140671748908544 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9088] ppid=9073 vsize=28233776 memory=139899969734754 CPUtime=0 cores=0-7
/proc/9075/task/9088/stat : 9088 (java) S 9073 9073 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548740 28911386624 383798 33554432000 4194304 4196468 140723935051552 140671747857104 140672366282651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9089] ppid=9073 vsize=28233776 memory=139899969734806 CPUtime=0.46 cores=0-7
/proc/9075/task/9089/stat : 9089 (java) S 9073 9073 7562 0 -1 1077944384 1394 0 0 0 46 0 0 0 20 0 20 0 512548740 28911386624 384310 33554432000 4194304 4196468 140723935051552 140671746803696 140672366275202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9090] ppid=9073 vsize=28233776 memory=149336012884118 CPUtime=0.42 cores=0-7
/proc/9075/task/9090/stat : 9090 (java) S 9073 9073 7562 0 -1 1077944384 917 0 0 0 42 0 0 0 20 0 20 0 512548740 28911386624 384310 33554432000 4194304 4196468 140723935051552 140671745751152 140672366275202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9091] ppid=9073 vsize=28233776 memory=139899969734932 CPUtime=0.45 cores=0-7
/proc/9075/task/9091/stat : 9091 (java) S 9073 9073 7562 0 -1 1077944384 1261 0 0 0 45 0 0 0 20 0 20 0 512548740 28911386624 384310 33554432000 4194304 4196468 140723935051552 140671744698608 140672366275202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9092] ppid=9073 vsize=28233776 memory=139899969735002 CPUtime=0.49 cores=0-7
/proc/9075/task/9092/stat : 9092 (java) S 9073 9073 7562 0 -1 1077944384 1997 0 0 0 48 1 0 0 20 0 20 0 512548740 28911386624 384310 33554432000 4194304 4196468 140723935051552 140671743646064 140672366275202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9093] ppid=9073 vsize=28233776 memory=139899969735022 CPUtime=0 cores=0-7
/proc/9075/task/9093/stat : 9093 (java) S 9073 9073 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512548740 28911386624 384310 33554432000 4194304 4196468 140723935051552 140671742593760 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9094] ppid=9073 vsize=28233776 memory=150177826479498 CPUtime=0 cores=0-7
/proc/9075/task/9094/stat : 9094 (java) S 9073 9073 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512548740 28911386624 384310 33554432000 4194304 4196468 140723935051552 140671741541296 140672366275202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
Current children cumulated CPU time: 11.51 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 1536644 KiB
[startup+4.80183 s]
/proc/loadavg: 2.59 5.67 7.05 2/210 9094
/proc/meminfo: memFree=25003312/32770624 swapFree=66956864/67108860
[pid=9073] ppid=9070 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9073/stat : 9073 (xcsp3-exec) S 9070 9073 7562 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512548734 115843072 363 33554432000 4194304 5098028 140727432472960 140727432471064 140515784807036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17719296 140727432479570 140727432479829 140727432479829 140727432482758 0
/proc/9073/statm: 28282 363 304 221 0 87 0
[pid=9075] ppid=9073 vsize=28766288 memory=1723212 CPUtime=13.45 cores=0-7
/proc/9075/stat : 9075 (java) S 9073 9073 7562 0 -1 1077944320 24639 0 0 0 1040 305 0 0 20 0 28 0 512548734 29456678912 430803 33554432000 4194304 4196468 140723935051552 140723935034096 140672366264055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
/proc/9075/statm: 7191572 430803 3504 1 0 7152672 0
[pid=9075/tid=9076] ppid=9073 vsize=28766288 memory=8112282956445269571 CPUtime=3.55 cores=0-7
/proc/9075/task/9076/stat : 9076 (java) S 9073 9073 7562 0 -1 1077944384 10037 0 0 0 342 13 0 0 20 0 28 0 512548734 29456678912 430803 33554432000 4194304 4196468 140723935051552 140672370504832 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9077] ppid=9073 vsize=28766288 memory=139899969734094 CPUtime=0.87 cores=0-7
/proc/9075/task/9077/stat : 9077 (java) S 9073 9073 7562 0 -1 1077944384 766 0 0 0 52 35 0 0 20 0 28 0 512548735 29456678912 430803 33554432000 4194304 4196468 140723935051552 140672327224080 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9078] ppid=9073 vsize=28766288 memory=139899969734753 CPUtime=0.87 cores=0-7
/proc/9075/task/9078/stat : 9078 (java) S 9073 9073 7562 0 -1 1077944384 651 0 0 0 51 36 0 0 20 0 28 0 512548735 29456678912 430803 33554432000 4194304 4196468 140723935051552 140671916612496 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9079] ppid=9073 vsize=28766288 memory=139899969734754 CPUtime=0.87 cores=0-7
/proc/9075/task/9079/stat : 9079 (java) S 9073 9073 7562 0 -1 1077944384 758 0 0 0 51 36 0 0 20 0 28 0 512548735 29456678912 430803 33554432000 4194304 4196468 140723935051552 140671915559952 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9080] ppid=9073 vsize=28766288 memory=139899969734806 CPUtime=0.87 cores=0-7
/proc/9075/task/9080/stat : 9080 (java) S 9073 9073 7562 0 -1 1077944384 731 0 0 0 52 35 0 0 20 0 28 0 512548735 29456678912 430803 33554432000 4194304 4196468 140723935051552 140671914507408 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9081] ppid=9073 vsize=28766288 memory=-7161131788332309537 CPUtime=0.86 cores=0-7
/proc/9075/task/9081/stat : 9081 (java) S 9073 9073 7562 0 -1 1077944384 812 0 0 0 51 35 0 0 20 0 28 0 512548735 29456678912 430803 33554432000 4194304 4196468 140723935051552 140671913453840 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9082] ppid=9073 vsize=28766288 memory=139899969734932 CPUtime=0.86 cores=0-7
/proc/9075/task/9082/stat : 9082 (java) S 9073 9073 7562 0 -1 1077944384 797 0 0 0 51 35 0 0 20 0 28 0 512548735 29456678912 430803 33554432000 4194304 4196468 140723935051552 140671912401296 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9083] ppid=9073 vsize=28766288 memory=0 CPUtime=0.86 cores=0-7
/proc/9075/task/9083/stat : 9083 (java) S 9073 9073 7562 0 -1 1077944384 692 0 0 0 51 35 0 0 20 0 28 0 512548735 29456678912 430803 33554432000 4194304 4196468 140723935051552 140671911348752 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9084] ppid=9073 vsize=28766288 memory=0 CPUtime=0.87 cores=0-7
/proc/9075/task/9084/stat : 9084 (java) S 9073 9073 7562 0 -1 1077944384 778 0 0 0 51 36 0 0 20 0 28 0 512548735 29456678912 430803 33554432000 4194304 4196468 140723935051552 140671910296208 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9085] ppid=9073 vsize=28766288 memory=0 CPUtime=0.24 cores=0-7
/proc/9075/task/9085/stat : 9085 (java) S 9073 9073 7562 0 -1 1077944384 1351 0 0 0 24 0 0 0 20 0 28 0 512548737 29456678912 430803 33554432000 4194304 4196468 140723935051552 140671751014896 140672366275202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9086] ppid=9073 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/9075/task/9086/stat : 9086 (java) S 9073 9073 7562 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 512548737 29456678912 430803 33554432000 4194304 4196468 140723935051552 140671749961184 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9087] ppid=9073 vsize=28766288 memory=4580 CPUtime=0 cores=0-7
/proc/9075/task/9087/stat : 9087 (java) S 9073 9073 7562 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 512548737 29456678912 430803 33554432000 4194304 4196468 140723935051552 140671748908544 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9088] ppid=9073 vsize=28766288 memory=-6444863862880583314 CPUtime=0 cores=0-7
/proc/9075/task/9088/stat : 9088 (java) S 9073 9073 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512548740 29456678912 430803 33554432000 4194304 4196468 140723935051552 140671747857104 140672366282651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9089] ppid=9073 vsize=28766288 memory=5450909908396308010 CPUtime=0.49 cores=0-7
/proc/9075/task/9089/stat : 9089 (java) R 9073 9073 7562 0 -1 1077944384 1401 0 0 0 49 0 0 0 20 0 28 0 512548740 29456678912 430803 33554432000 4194304 4196468 140723935051552 140671746794960 140672366274261 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9090] ppid=9073 vsize=28766288 memory=5450916479880885802 CPUtime=0.45 cores=0-7
/proc/9075/task/9090/stat : 9090 (java) R 9073 9073 7562 0 -1 4202560 928 0 0 0 45 0 0 0 20 0 28 0 512548740 29456678912 430803 33554432000 4194304 4196468 140723935051552 140671745751152 140672345667105 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9091] ppid=9073 vsize=28766288 memory=-8412654363917126771 CPUtime=0.52 cores=0-7
/proc/9075/task/9091/stat : 9091 (java) R 9073 9073 7562 0 -1 4202560 1276 0 0 0 52 0 0 0 20 0 28 0 512548740 29456678912 430803 33554432000 4194304 4196468 140723935051552 140671744685152 140672351387622 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9092] ppid=9073 vsize=28766288 memory=-7749694995119233653 CPUtime=0.52 cores=0-7
/proc/9075/task/9092/stat : 9092 (java) R 9073 9073 7562 0 -1 1077944384 2059 0 0 0 51 1 0 0 20 0 28 0 512548740 29456678912 430803 33554432000 4194304 4196468 140723935051552 140671743645872 140672366274261 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9093] ppid=9073 vsize=28766288 memory=4629539461233085814 CPUtime=0 cores=0-7
/proc/9075/task/9093/stat : 9093 (java) S 9073 9073 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512548740 29456678912 430803 33554432000 4194304 4196468 140723935051552 140671742593760 140672366274261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
[pid=9075/tid=9094] ppid=9073 vsize=28766288 memory=-5874771483550381248 CPUtime=0 cores=0-7
/proc/9075/task/9094/stat : 9094 (java) S 9073 9073 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512548740 29456678912 430803 33554432000 4194304 4196468 140723935051552 140671741541296 140672366275202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140723935056854 140723935057030 140723935057030 140723935059919 0
Current children cumulated CPU time: 13.45 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1724664 KiB
Child status: 0
Real time (s): 4.89773
CPU time (s): 14.023
CPU user time (s): 10.9542
CPU system time (s): 3.06884
CPU usage (%): 286.316
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 1724664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.9542
system time used= 3.06884
maximum resident set size= 1724984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25365
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3886
involuntary context switches= 129
# summary of solver processes directly reported to runsolver:
# pid: 9073
# total CPU time (s): 14.023
# total CPU user time (s): 10.9542
# total CPU system time (s): 3.06884
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.058092 second user time and 0.088016 second system time
The end
Begin job on node105 at 2019-09-24 23:06:49
IDJOB=4406681
IDBENCH=140063
IDSOLVER=2871
FILE ID=node105/4406681-1569362910
RUNJOBID= node105-1569352967-7589
PBS_JOBID= 21705104
Free space on /var/tmp= 13176 MiB
SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd2008-herald/Crossword-m1c-ogd2008-h1509.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 /var/tmp/evaluation-result-4406681-1569362910/watcher-4406681-1569362910 -o /var/tmp/evaluation-result-4406681-1569362910/solver-4406681-1569362910 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569352967-7589 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 742453771 HOME/instance-4406681-1569362910.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 47a2430a9bda935532842a3f94086119
RANDOM SEED=742453771
node105.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.00
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.00
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.00
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.00
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: 26178496 kB
MemAvailable: 31798884 kB
Buffers: 130488 kB
Cached: 5618420 kB
SwapCached: 48356 kB
Active: 2864860 kB
Inactive: 2933752 kB
Active(anon): 4760 kB
Inactive(anon): 99620 kB
Active(file): 2860100 kB
Inactive(file): 2834132 kB
Unevictable: 110908 kB
Mlocked: 110908 kB
SwapTotal: 67108860 kB
SwapFree: 66956864 kB
Dirty: 27896 kB
Writeback: 0 kB
AnonPages: 113188 kB
Mapped: 54664 kB
Shmem: 45940 kB
Slab: 383760 kB
SReclaimable: 354616 kB
SUnreclaim: 29144 kB
KernelStack: 3392 kB
PageTables: 5648 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 506312 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: 120192 kB
DirectMap2M: 33425408 kB
Free space on /var/tmp at the end= 13152 MiB
End job on node105 at 2019-09-24 23:06:54