0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281466-1503185036.xml" -tl '2016s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4281466-1503185036.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.33/0.27 c parse instance...
1.81/0.79 c solve instance...
3.76/1.10 o 1722
4.55/1.11 o 1693
4.55/1.14 o 1674
4.55/1.16 o 1673
4.55/1.17 o 1670
4.55/1.17 o 1664
5.56/1.30 o 1618
5.56/1.34 o 1608
5.56/1.38 o 1593
5.56/1.39 o 1592
6.26/1.42 o 1587
6.26/1.46 o 1586
9.38/1.81 o 1585
9.38/1.82 o 1577
9.38/1.82 o 1571
9.38/1.83 o 1535
9.38/1.83 o 1526
9.38/1.83 o 1520
15.57/2.68 o 1516
229.62/29.50 o 1496
229.62/29.51 o 1494
229.62/29.51 o 1476
229.62/29.54 o 1472
242.00/31.11 o 1468
242.00/31.13 o 1464
242.00/31.15 o 1460
913.27/115.39 o 1455
914.05/115.42 o 1453
926.80/117.05 o 1441
987.16/124.65 o 1437
991.91/125.29 o 1428
993.41/125.41 o 1419
1708.48/215.35 o 1418
1708.99/215.41 o 1395
2000.16/252.07 s SATISFIABLE
2000.16/252.07 v <instantiation>
2000.16/252.07 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[15][16] d[15][17] d[15][18] d[15][19] d[16][17] d[16][18] d[16][19] d[17][18] d[17][19] d[18][19] </list>
2000.16/252.07 v <values>7 10 3 1 15 19 14 18 17 13 11 6 0 4 16 5 12 9 2 8 10 2 1 2 10 10 2 2 0 10 0 3 5 5 2 2 1 4 1 10 2 10 5 1 2 2 5 5 5 5 2 0 0 2 5 0 0 10 1 5 2 5 2 0 2 5 0 1 5 0 2 0 2 1 3 5 10 10 5 10 5 5 0 5 0 1 0 4 3 2 0 3 2 0 5 0 1 4 1 0 0 1 0 0 5 10 6 1 0 5 10 1 1 0 5 5 2 0 2 10 5 5 5 5 5 1 0 2 2 1 1 0 1 5 2 0 0 5 2 1 0 5 0 0 5 1 1 0 2 5 0 0 5 5 0 10 2 0 1 1 0 2 5 5 5 10 5 0 1 0 2 5 0 3 10 6 2 5 2 0 2 0 5 4 2 0 5 5 1 5 5 5 5 0 2 1 0 0 0 0 10 6 5 1 0 0 5 5 2 4 </values>
2000.16/252.07 v </instantiation>
2000.16/252.07 c Unexpected resolution interruption!
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 (13281 MiB free)
memory of node 1: 16384 MiB (13275 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281466-1503185036/watcher-4281466-1503185036 -o /tmp/evaluation-result-4281466-1503185036/solver-4281466-1503185036 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503181653-1704 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1507019730 HOME/instance-4281466-1503185036.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=1938, runsolver pid=1935
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 6.43 6.02 6.82 2/199 1959
/proc/meminfo: memFree=27176952/32770624 swapFree=67108860/67108860
[pid=1938] ppid=1935 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1938/stat : 1938 (xcsp3-exec) S 1935 1938 1674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151591091 9740288 346 33554432000 4194304 5098028 140726319777728 140726319775832 140712423981692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17965056 140726319785066 140726319785276 140726319785276 140726319788011 0
/proc/1938/statm: 2378 346 289 221 0 87 0
[pid=1940] ppid=1938 vsize=25999808 memory=28156 CPUtime=0.11 cores=0-7
/proc/1940/stat : 1940 (java) S 1938 1938 1674 0 -1 1077944320 5465 0 0 0 10 1 0 0 20 0 20 0 151591091 26623803392 7039 33554432000 4194304 4196468 140725599687280 140725599669824 140037715218167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
/proc/1940/statm: 6499952 7039 2844 1 0 6488269 0
[pid=1940/tid=1941] ppid=1938 vsize=25999808 memory=1400242874264906928 CPUtime=0.08 cores=0-7
/proc/1940/task/1941/stat : 1941 (java) R 1938 1938 1674 0 -1 4202560 3482 0 0 0 8 0 0 0 20 0 20 0 151591092 26623803392 7039 33554432000 4194304 4196468 140725599687280 140037719452704 140037715240093 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1942] ppid=1938 vsize=25999808 memory=3461361991549258287 CPUtime=0 cores=0-7
/proc/1940/task/1942/stat : 1942 (java) S 1938 1938 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151591093 26623803392 7039 33554432000 4194304 4196468 140725599687280 140037678324368 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1943] ppid=1938 vsize=25999808 memory=139990174639744 CPUtime=0 cores=0-7
/proc/1940/task/1943/stat : 1943 (java) S 1938 1938 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151591093 26623803392 7039 33554432000 4194304 4196468 140725599687280 140037272762896 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1944] ppid=1938 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1940/task/1944/stat : 1944 (java) S 1938 1938 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151591093 26623803392 7039 33554432000 4194304 4196468 140725599687280 140037271710096 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1945] ppid=1938 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1940/task/1945/stat : 1945 (java) S 1938 1938 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151591093 26623803392 7039 33554432000 4194304 4196468 140725599687280 140037270657296 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1946] ppid=1938 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1940/task/1946/stat : 1946 (java) S 1938 1938 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151591093 26623803392 7039 33554432000 4194304 4196468 140725599687280 140037269605520 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1947] ppid=1938 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/1940/task/1947/stat : 1947 (java) S 1938 1938 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151591093 26623803392 7039 33554432000 4194304 4196468 140725599687280 140037268552720 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1948] ppid=1938 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1940/task/1948/stat : 1948 (java) S 1938 1938 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151591093 26623803392 7039 33554432000 4194304 4196468 140725599687280 140037267499920 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1949] ppid=1938 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1940/task/1949/stat : 1949 (java) S 1938 1938 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151591093 26623803392 7039 33554432000 4194304 4196468 140725599687280 140037266447120 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1950] ppid=1938 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1940/task/1950/stat : 1950 (java) S 1938 1938 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151591094 26623803392 7039 33554432000 4194304 4196468 140725599687280 140036188088688 140037715229314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1951] ppid=1938 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1940/task/1951/stat : 1951 (java) S 1938 1938 1674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151591095 26623803392 7039 33554432000 4194304 4196468 140725599687280 140036187034656 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1952] ppid=1938 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1940/task/1952/stat : 1952 (java) S 1938 1938 1674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151591095 26623803392 7039 33554432000 4194304 4196468 140725599687280 140036185981808 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1953] ppid=1938 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1940/task/1953/stat : 1953 (java) S 1938 1938 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151591097 26623803392 7039 33554432000 4194304 4196468 140725599687280 140036184930128 140037715236763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1954] ppid=1938 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1940/task/1954/stat : 1954 (java) S 1938 1938 1674 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 151591097 26623803392 7039 33554432000 4194304 4196468 140725599687280 140036183878512 140037715229314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1955] ppid=1938 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1940/task/1955/stat : 1955 (java) S 1938 1938 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151591097 26623803392 7039 33554432000 4194304 4196468 140725599687280 140036182825712 140037715229314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1956] ppid=1938 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1940/task/1956/stat : 1956 (java) S 1938 1938 1674 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 151591097 26623803392 7039 33554432000 4194304 4196468 140725599687280 140036181772912 140037715229314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1957] ppid=1938 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/1940/task/1957/stat : 1957 (java) S 1938 1938 1674 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 20 0 151591097 26623803392 7039 33554432000 4194304 4196468 140725599687280 140036180720112 140037715229314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1958] ppid=1938 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1940/task/1958/stat : 1958 (java) S 1938 1938 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151591097 26623803392 7039 33554432000 4194304 4196468 140725599687280 140036179667552 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1959] ppid=1938 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/1940/task/1959/stat : 1959 (java) S 1938 1938 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151591098 26623803392 7039 33554432000 4194304 4196468 140725599687280 140036178614832 140037715229314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 29540 KiB
[startup+0.21037 s]*
/proc/loadavg: 6.43 6.02 6.82 3/199 1959
/proc/meminfo: memFree=27166268/32770624 swapFree=67108860/67108860
[pid=1938] ppid=1935 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1938/stat : 1938 (xcsp3-exec) S 1935 1938 1674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151591091 9740288 346 33554432000 4194304 5098028 140726319777728 140726319775832 140712423981692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17965056 140726319785066 140726319785276 140726319785276 140726319788011 0
/proc/1938/statm: 2378 346 289 221 0 87 0
[pid=1940] ppid=1938 vsize=26004064 memory=40468 CPUtime=0.33 cores=0-7
/proc/1940/stat : 1940 (java) S 1938 1938 1674 0 -1 1077944320 8221 0 0 0 31 2 0 0 20 0 20 0 151591091 26628161536 10117 33554432000 4194304 4196468 140725599687280 140725599669824 140037715218167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
/proc/1940/statm: 6501016 10117 2977 1 0 6488269 0
[pid=1940/tid=1941] ppid=1938 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/1940/task/1941/stat : 1941 (java) R 1938 1938 1674 0 -1 4202560 5394 0 0 0 18 1 0 0 20 0 20 0 151591092 26628161536 10117 33554432000 4194304 4196468 140725599687280 140037719432432 140037715240093 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1942] ppid=1938 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/1940/task/1942/stat : 1942 (java) S 1938 1938 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151591093 26628161536 10117 33554432000 4194304 4196468 140725599687280 140037678324368 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1943] ppid=1938 vsize=26004064 memory=139990174645325 CPUtime=0 cores=0-7
/proc/1940/task/1943/stat : 1943 (java) S 1938 1938 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151591093 26628161536 10117 33554432000 4194304 4196468 140725599687280 140037272762896 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1944] ppid=1938 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1940/task/1944/stat : 1944 (java) S 1938 1938 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151591093 26628161536 10117 33554432000 4194304 4196468 140725599687280 140037271710096 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1945] ppid=1938 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1940/task/1945/stat : 1945 (java) S 1938 1938 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151591093 26628161536 10117 33554432000 4194304 4196468 140725599687280 140037270657296 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1946] ppid=1938 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1940/task/1946/stat : 1946 (java) S 1938 1938 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151591093 26628161536 10117 33554432000 4194304 4196468 140725599687280 140037269605520 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1947] ppid=1938 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1940/task/1947/stat : 1947 (java) S 1938 1938 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151591093 26628161536 10117 33554432000 4194304 4196468 140725599687280 140037268552720 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1948] ppid=1938 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1940/task/1948/stat : 1948 (java) S 1938 1938 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151591093 26628161536 10117 33554432000 4194304 4196468 140725599687280 140037267499920 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1949] ppid=1938 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1940/task/1949/stat : 1949 (java) S 1938 1938 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151591093 26628161536 10117 33554432000 4194304 4196468 140725599687280 140037266447120 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1950] ppid=1938 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1940/task/1950/stat : 1950 (java) S 1938 1938 1674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 151591094 26628161536 10117 33554432000 4194304 4196468 140725599687280 140036188088688 140037715229314 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1951] ppid=1938 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1940/task/1951/stat : 1951 (java) S 1938 1938 1674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151591095 26628161536 10117 33554432000 4194304 4196468 140725599687280 140036187034656 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1952] ppid=1938 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1940/task/1952/stat : 1952 (java) S 1938 1938 1674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151591095 26628161536 10117 33554432000 4194304 4196468 140725599687280 140036185981808 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1953] ppid=1938 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1940/task/1953/stat : 1953 (java) S 1938 1938 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151591097 26628161536 10117 33554432000 4194304 4196468 140725599687280 140036184930128 140037715236763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1954] ppid=1938 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/1940/task/1954/stat : 1954 (java) S 1938 1938 1674 0 -1 1077944384 569 0 0 0 2 0 0 0 20 0 20 0 151591097 26628161536 10117 33554432000 4194304 4196468 140725599687280 140036183878512 140037715229314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1955] ppid=1938 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/1940/task/1955/stat : 1955 (java) S 1938 1938 1674 0 -1 1077944384 63 0 0 0 1 0 0 0 20 0 20 0 151591097 26628161536 10117 33554432000 4194304 4196468 140725599687280 140036182825712 140037715229314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1956] ppid=1938 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1940/task/1956/stat : 1956 (java) S 1938 1938 1674 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 20 0 151591097 26628161536 10117 33554432000 4194304 4196468 140725599687280 140036181772912 140037715229314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1957] ppid=1938 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/1940/task/1957/stat : 1957 (java) R 1938 1938 1674 0 -1 4202560 756 0 0 0 8 0 0 0 20 0 20 0 151591097 26628161536 10117 33554432000 4194304 4196468 140725599687280 140036180720112 140037693818960 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1958] ppid=1938 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1940/task/1958/stat : 1958 (java) S 1938 1938 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151591097 26628161536 10117 33554432000 4194304 4196468 140725599687280 140036179667552 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1959] ppid=1938 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1940/task/1959/stat : 1959 (java) S 1938 1938 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151591098 26628161536 10117 33554432000 4194304 4196468 140725599687280 140036178614832 140037715229314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 41852 KiB
[startup+0.310273 s]*
/proc/loadavg: 6.43 6.02 6.82 4/199 1959
/proc/meminfo: memFree=27161508/32770624 swapFree=67108860/67108860
[pid=1938] ppid=1935 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1938/stat : 1938 (xcsp3-exec) S 1935 1938 1674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151591091 9740288 346 33554432000 4194304 5098028 140726319777728 140726319775832 140712423981692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17965056 140726319785066 140726319785276 140726319785276 140726319788011 0
/proc/1938/statm: 2378 346 289 221 0 87 0
[pid=1940] ppid=1938 vsize=26004064 memory=47340 CPUtime=0.5 cores=0-7
/proc/1940/stat : 1940 (java) S 1938 1938 1674 0 -1 1077944320 9115 0 0 0 47 3 0 0 20 0 20 0 151591091 26628161536 11835 33554432000 4194304 4196468 140725599687280 140725599669824 140037715218167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
/proc/1940/statm: 6501016 11835 3052 1 0 6488269 0
[pid=1940/tid=1941] ppid=1938 vsize=26004064 memory=1399051139730258233 CPUtime=0.29 cores=0-7
/proc/1940/task/1941/stat : 1941 (java) R 1938 1938 1674 0 -1 4202560 6116 0 0 0 27 2 0 0 20 0 20 0 151591092 26628161536 11835 33554432000 4194304 4196468 140725599687280 140037719457088 140037715239514 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1942] ppid=1938 vsize=26004064 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1940/task/1942/stat : 1942 (java) S 1938 1938 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151591093 26628161536 11835 33554432000 4194304 4196468 140725599687280 140037678324368 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1943] ppid=1938 vsize=26004064 memory=1200 CPUtime=0 cores=0-7
/proc/1940/task/1943/stat : 1943 (java) S 1938 1938 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151591093 26628161536 11835 33554432000 4194304 4196468 140725599687280 140037272762896 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1944] ppid=1938 vsize=26004064 memory=15876 CPUtime=0 cores=0-7
/proc/1940/task/1944/stat : 1944 (java) S 1938 1938 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151591093 26628161536 11835 33554432000 4194304 4196468 140725599687280 140037271710096 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1945] ppid=1938 vsize=26004064 memory=23200 CPUtime=0 cores=0-7
/proc/1940/task/1945/stat : 1945 (java) S 1938 1938 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151591093 26628161536 11835 33554432000 4194304 4196468 140725599687280 140037270657296 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1946] ppid=1938 vsize=26004064 memory=4052 CPUtime=0 cores=0-7
/proc/1940/task/1946/stat : 1946 (java) S 1938 1938 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151591093 26628161536 11835 33554432000 4194304 4196468 140725599687280 140037269605520 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1947] ppid=1938 vsize=26004064 memory=16236 CPUtime=0 cores=0-7
/proc/1940/task/1947/stat : 1947 (java) S 1938 1938 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151591093 26628161536 11835 33554432000 4194304 4196468 140725599687280 140037268552720 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1948] ppid=1938 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1940/task/1948/stat : 1948 (java) S 1938 1938 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151591093 26628161536 11835 33554432000 4194304 4196468 140725599687280 140037267499920 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1949] ppid=1938 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1940/task/1949/stat : 1949 (java) S 1938 1938 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151591093 26628161536 11835 33554432000 4194304 4196468 140725599687280 140037266447120 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1950] ppid=1938 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1940/task/1950/stat : 1950 (java) S 1938 1938 1674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 151591094 26628161536 11835 33554432000 4194304 4196468 140725599687280 140036188088688 140037715229314 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1951] ppid=1938 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1940/task/1951/stat : 1951 (java) S 1938 1938 1674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151591095 26628161536 11835 33554432000 4194304 4196468 140725599687280 140036187034656 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1952] ppid=1938 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1940/task/1952/stat : 1952 (java) S 1938 1938 1674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151591095 26628161536 11835 33554432000 4194304 4196468 140725599687280 140036185981808 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1953] ppid=1938 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/1940/task/1953/stat : 1953 (java) S 1938 1938 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151591097 26628161536 11835 33554432000 4194304 4196468 140725599687280 140036184930128 140037715236763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1954] ppid=1938 vsize=26004064 memory=2244 CPUtime=0.02 cores=0-7
/proc/1940/task/1954/stat : 1954 (java) S 1938 1938 1674 0 -1 1077944384 578 0 0 0 2 0 0 0 20 0 20 0 151591097 26628161536 11835 33554432000 4194304 4196468 140725599687280 140036183878512 140037715229314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1955] ppid=1938 vsize=26004064 memory=2244 CPUtime=0.01 cores=0-7
/proc/1940/task/1955/stat : 1955 (java) R 1938 1938 1674 0 -1 4202560 63 0 0 0 1 0 0 0 20 0 20 0 151591097 26628161536 11835 33554432000 4194304 4196468 140725599687280 140036182816096 140037698743945 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1956] ppid=1938 vsize=26004064 memory=2244 CPUtime=0.01 cores=0-7
/proc/1940/task/1956/stat : 1956 (java) S 1938 1938 1674 0 -1 1077944384 157 0 0 0 1 0 0 0 20 0 20 0 151591097 26628161536 11835 33554432000 4194304 4196468 140725599687280 140036181772912 140037715229314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1957] ppid=1938 vsize=26004064 memory=2244 CPUtime=0.13 cores=0-7
/proc/1940/task/1957/stat : 1957 (java) R 1938 1938 1674 0 -1 4202560 893 0 0 0 13 0 0 0 20 0 20 0 151591097 26628161536 11835 33554432000 4194304 4196468 140725599687280 140036180717112 140037694187800 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1958] ppid=1938 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1940/task/1958/stat : 1958 (java) S 1938 1938 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151591097 26628161536 11835 33554432000 4194304 4196468 140725599687280 140036179667552 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1959] ppid=1938 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1940/task/1959/stat : 1959 (java) S 1938 1938 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151591098 26628161536 11835 33554432000 4194304 4196468 140725599687280 140036178614832 140037715229314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 48724 KiB
[startup+0.701027 s]
/proc/loadavg: 6.43 6.02 6.82 3/199 1959
/proc/meminfo: memFree=27142712/32770624 swapFree=67108860/67108860
[pid=1938] ppid=1935 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1938/stat : 1938 (xcsp3-exec) S 1935 1938 1674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151591091 9740288 346 33554432000 4194304 5098028 140726319777728 140726319775832 140712423981692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17965056 140726319785066 140726319785276 140726319785276 140726319788011 0
/proc/1938/statm: 2378 346 289 221 0 87 0
[pid=1940] ppid=1938 vsize=26006188 memory=92612 CPUtime=1.81 cores=0-7
/proc/1940/stat : 1940 (java) S 1938 1938 1674 0 -1 1077944320 12754 0 0 0 175 6 0 0 20 0 20 0 151591091 26630336512 23153 33554432000 4194304 4196468 140725599687280 140725599669824 140037715218167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
/proc/1940/statm: 6501547 23153 3204 1 0 6488781 0
[pid=1940/tid=1941] ppid=1938 vsize=26006188 memory=0 CPUtime=0.67 cores=0-7
/proc/1940/task/1941/stat : 1941 (java) R 1938 1938 1674 0 -1 4202560 6808 0 0 0 64 3 0 0 20 0 20 0 151591092 26630336512 23153 33554432000 4194304 4196468 140725599687280 140037719456320 140037355807982 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1942] ppid=1938 vsize=26006188 memory=139990030132080 CPUtime=0 cores=0-7
/proc/1940/task/1942/stat : 1942 (java) S 1938 1938 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151591093 26630336512 23153 33554432000 4194304 4196468 140725599687280 140037678324368 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1943] ppid=1938 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/1940/task/1943/stat : 1943 (java) S 1938 1938 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151591093 26630336512 23153 33554432000 4194304 4196468 140725599687280 140037272762896 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1944] ppid=1938 vsize=26006188 memory=7954878014979463525 CPUtime=0 cores=0-7
/proc/1940/task/1944/stat : 1944 (java) S 1938 1938 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151591093 26630336512 23153 33554432000 4194304 4196468 140725599687280 140037271710096 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
################
# More data... #
################
[pid=1940/tid=2235] ppid=1938 vsize=26605264 memory=4126316290023845779 CPUtime=36.58 cores=0-7
/proc/1940/task/2235/stat : 2235 (java) R 1938 1938 1674 0 -1 4202560 560 0 0 0 3658 0 0 0 20 0 28 0 151603633 27243790336 53021 33554432000 4194304 4196468 140725599687280 140036168994656 140037357360689 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
Current children cumulated CPU time: 1286.81 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 213468 KiB
[startup+222.302 s]
/proc/loadavg: 8.13 7.27 7.17 9/208 2251
/proc/meminfo: memFree=26981976/32770624 swapFree=67108860/67108860
[pid=1938] ppid=1935 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1938/stat : 1938 (xcsp3-exec) S 1935 1938 1674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151591091 9740288 346 33554432000 4194304 5098028 140726319777728 140726319775832 140712423981692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17965056 140726319785066 140726319785276 140726319785276 140726319788011 0
/proc/1938/statm: 2378 346 289 221 0 87 0
[pid=1940] ppid=1938 vsize=26605264 memory=228356 CPUtime=1763.81 cores=0-7
/proc/1940/stat : 1940 (java) S 1938 1938 1674 0 -1 1077944320 127006 0 0 0 176304 77 0 0 20 0 28 0 151591091 27243790336 57089 33554432000 4194304 4196468 140725599687280 140725599669824 140037715218167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
/proc/1940/statm: 6651316 57089 3279 1 0 6638550 0
[pid=1940/tid=1941] ppid=1938 vsize=26605264 memory=228356 CPUtime=0.8 cores=0-7
/proc/1940/task/1941/stat : 1941 (java) S 1938 1938 1674 0 -1 1077944384 7599 0 0 0 76 4 0 0 20 0 28 0 151591092 27243790336 57089 33554432000 4194304 4196468 140725599687280 140037719458944 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1942] ppid=1938 vsize=26605264 memory=228356 CPUtime=0.16 cores=0-7
/proc/1940/task/1942/stat : 1942 (java) S 1938 1938 1674 0 -1 1077944384 2411 0 0 0 13 3 0 0 20 0 28 0 151591093 27243790336 57089 33554432000 4194304 4196468 140725599687280 140037678324368 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1943] ppid=1938 vsize=26605264 memory=222556 CPUtime=0.14 cores=0-7
/proc/1940/task/1943/stat : 1943 (java) S 1938 1938 1674 0 -1 1077944384 1607 0 0 0 12 2 0 0 20 0 28 0 151591093 27243790336 57089 33554432000 4194304 4196468 140725599687280 140037272762896 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1944] ppid=1938 vsize=26605264 memory=224752 CPUtime=0.15 cores=0-7
/proc/1940/task/1944/stat : 1944 (java) S 1938 1938 1674 0 -1 1077944384 1674 0 0 0 12 3 0 0 20 0 28 0 151591093 27243790336 57089 33554432000 4194304 4196468 140725599687280 140037271710096 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1945] ppid=1938 vsize=26605264 memory=228356 CPUtime=0.14 cores=0-7
/proc/1940/task/1945/stat : 1945 (java) S 1938 1938 1674 0 -1 1077944384 1625 0 0 0 12 2 0 0 20 0 28 0 151591093 27243790336 57089 33554432000 4194304 4196468 140725599687280 140037270657296 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1946] ppid=1938 vsize=26605264 memory=228356 CPUtime=0.15 cores=0-7
/proc/1940/task/1946/stat : 1946 (java) S 1938 1938 1674 0 -1 1077944384 1737 0 0 0 13 2 0 0 20 0 28 0 151591093 27243790336 57089 33554432000 4194304 4196468 140725599687280 140037269605520 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1947] ppid=1938 vsize=26605264 memory=212084 CPUtime=0.15 cores=0-7
/proc/1940/task/1947/stat : 1947 (java) S 1938 1938 1674 0 -1 1077944384 3659 0 0 0 13 2 0 0 20 0 28 0 151591093 27243790336 57089 33554432000 4194304 4196468 140725599687280 140037268552720 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1948] ppid=1938 vsize=26605264 memory=1384 CPUtime=0.16 cores=0-7
/proc/1940/task/1948/stat : 1948 (java) S 1938 1938 1674 0 -1 1077944384 3221 0 0 0 14 2 0 0 20 0 28 0 151591093 27243790336 57089 33554432000 4194304 4196468 140725599687280 140037267499920 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1949] ppid=1938 vsize=26605264 memory=220508 CPUtime=0.15 cores=0-7
/proc/1940/task/1949/stat : 1949 (java) S 1938 1938 1674 0 -1 1077944384 1014 0 0 0 13 2 0 0 20 0 28 0 151591093 27243790336 57089 33554432000 4194304 4196468 140725599687280 140037266447120 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1950] ppid=1938 vsize=26605264 memory=800 CPUtime=0.16 cores=0-7
/proc/1940/task/1950/stat : 1950 (java) S 1938 1938 1674 0 -1 1077944384 5515 0 0 0 13 3 0 0 20 0 28 0 151591094 27243790336 57089 33554432000 4194304 4196468 140725599687280 140036188088688 140037715229314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1951] ppid=1938 vsize=26605264 memory=12132 CPUtime=0 cores=0-7
/proc/1940/task/1951/stat : 1951 (java) S 1938 1938 1674 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 151591095 27243790336 57089 33554432000 4194304 4196468 140725599687280 140036187034720 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1952] ppid=1938 vsize=26605264 memory=372992 CPUtime=0 cores=0-7
/proc/1940/task/1952/stat : 1952 (java) S 1938 1938 1674 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 151591095 27243790336 57089 33554432000 4194304 4196468 140725599687280 140036185981824 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1953] ppid=1938 vsize=26605264 memory=372992 CPUtime=0 cores=0-7
/proc/1940/task/1953/stat : 1953 (java) S 1938 1938 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151591097 27243790336 57089 33554432000 4194304 4196468 140725599687280 140036184930128 140037715236763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1954] ppid=1938 vsize=26605264 memory=80 CPUtime=2.15 cores=0-7
/proc/1940/task/1954/stat : 1954 (java) S 1938 1938 1674 0 -1 1077944384 13090 0 0 0 213 2 0 0 20 0 28 0 151591097 27243790336 57089 33554432000 4194304 4196468 140725599687280 140036183878512 140037715229314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1955] ppid=1938 vsize=26605264 memory=0 CPUtime=2.61 cores=0-7
/proc/1940/task/1955/stat : 1955 (java) S 1938 1938 1674 0 -1 1077944384 12514 0 0 0 259 2 0 0 20 0 28 0 151591097 27243790336 57089 33554432000 4194304 4196468 140725599687280 140036182825712 140037715229314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1956] ppid=1938 vsize=26605264 memory=228356 CPUtime=2.43 cores=0-7
/proc/1940/task/1956/stat : 1956 (java) S 1938 1938 1674 0 -1 1077944384 17851 0 0 0 240 3 0 0 20 0 28 0 151591097 27243790336 57089 33554432000 4194304 4196468 140725599687280 140036181772912 140037715229314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1957] ppid=1938 vsize=26605264 memory=228356 CPUtime=0.81 cores=0-7
/proc/1940/task/1957/stat : 1957 (java) S 1938 1938 1674 0 -1 1077944384 13958 0 0 0 79 2 0 0 20 0 28 0 151591097 27243790336 57089 33554432000 4194304 4196468 140725599687280 140036180720112 140037715229314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1958] ppid=1938 vsize=26605264 memory=1384 CPUtime=0 cores=0-7
/proc/1940/task/1958/stat : 1958 (java) S 1938 1938 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151591097 27243790336 57089 33554432000 4194304 4196468 140725599687280 140036179667552 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1959] ppid=1938 vsize=26605264 memory=226308 CPUtime=0.04 cores=0-7
/proc/1940/task/1959/stat : 1959 (java) S 1938 1938 1674 0 -1 1077944384 2189 0 0 0 0 4 0 0 20 0 28 0 151591098 27243790336 57089 33554432000 4194304 4196468 140725599687280 140036178614832 140037715229314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=2244] ppid=1938 vsize=26605264 memory=222692 CPUtime=6.82 cores=0-7
/proc/1940/task/2244/stat : 2244 (java) R 1938 1938 1674 0 -1 4202560 19 0 0 0 682 0 0 0 20 0 28 0 151612632 27243790336 57089 33554432000 4194304 4196468 140725599687280 140036168993264 140037360511716 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=2245] ppid=1938 vsize=26605264 memory=4100 CPUtime=6.83 cores=0-7
/proc/1940/task/2245/stat : 2245 (java) R 1938 1938 1674 0 -1 4202560 19 0 0 0 683 0 0 0 20 0 28 0 151612632 27243790336 57089 33554432000 4194304 4196468 140725599687280 140036170051056 140037357741813 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=2246] ppid=1938 vsize=26605264 memory=228356 CPUtime=6.83 cores=0-7
/proc/1940/task/2246/stat : 2246 (java) R 1938 1938 1674 0 -1 4202560 17 0 0 0 683 0 0 0 20 0 28 0 151612632 27243790336 57089 33554432000 4194304 4196468 140725599687280 140036165837416 140037357961505 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=2247] ppid=1938 vsize=26605264 memory=1384 CPUtime=6.79 cores=0-7
/proc/1940/task/2247/stat : 2247 (java) R 1938 1938 1674 0 -1 4202560 22 0 0 0 679 0 0 0 20 0 28 0 151612632 27243790336 57089 33554432000 4194304 4196468 140725599687280 140036167942496 140037360819032 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=2248] ppid=1938 vsize=26605264 memory=228356 CPUtime=6.85 cores=0-7
/proc/1940/task/2248/stat : 2248 (java) R 1938 1938 1674 0 -1 4202560 17 0 0 0 685 0 0 0 20 0 28 0 151612632 27243790336 57089 33554432000 4194304 4196468 140725599687280 140036166889832 140037357361043 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=2249] ppid=1938 vsize=26605264 memory=1384 CPUtime=6.83 cores=0-7
/proc/1940/task/2249/stat : 2249 (java) R 1938 1938 1674 0 -1 4202560 22 0 0 0 683 0 0 0 20 0 28 0 151612632 27243790336 57089 33554432000 4194304 4196468 140725599687280 140036162679016 140037357360210 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=2250] ppid=1938 vsize=26605264 memory=228356 CPUtime=6.85 cores=0-7
/proc/1940/task/2250/stat : 2250 (java) R 1938 1938 1674 0 -1 4202560 33 0 0 0 685 0 0 0 20 0 28 0 151612632 27243790336 57089 33554432000 4194304 4196468 140725599687280 140036163731272 140037359129755 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=2251] ppid=1938 vsize=26605264 memory=1384 CPUtime=6.84 cores=0-7
/proc/1940/task/2251/stat : 2251 (java) R 1938 1938 1674 0 -1 4202560 23 0 0 0 684 0 0 0 20 0 28 0 151612632 27243790336 57089 33554432000 4194304 4196468 140725599687280 140036164786512 140037357360859 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
Current children cumulated CPU time: 1763.81 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 229740 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.002 s]*
/proc/loadavg: 8.16 7.36 7.20 9/208 2251
/proc/meminfo: memFree=26974724/32770624 swapFree=67108860/67108860
[pid=1938] ppid=1935 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1938/stat : 1938 (xcsp3-exec) S 1935 1938 1674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151591091 9740288 346 33554432000 4194304 5098028 140726319777728 140726319775832 140712423981692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17965056 140726319785066 140726319785276 140726319785276 140726319788011 0
/proc/1938/statm: 2378 346 289 221 0 87 0
[pid=1940] ppid=1938 vsize=26605264 memory=236548 CPUtime=2000.16 cores=0-7
/proc/1940/stat : 1940 (java) S 1938 1938 1674 0 -1 1077944320 127577 0 0 0 199936 80 0 0 20 0 28 0 151591091 27243790336 59137 33554432000 4194304 4196468 140725599687280 140725599669824 140037715218167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
/proc/1940/statm: 6651316 59137 3279 1 0 6638550 0
[pid=1940/tid=1941] ppid=1938 vsize=26605264 memory=1399051139730258233 CPUtime=0.8 cores=0-7
/proc/1940/task/1941/stat : 1941 (java) S 1938 1938 1674 0 -1 1077944384 7599 0 0 0 76 4 0 0 20 0 28 0 151591092 27243790336 59137 33554432000 4194304 4196468 140725599687280 140037719458944 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1942] ppid=1938 vsize=26605264 memory=4126316290023845779 CPUtime=0.19 cores=0-7
/proc/1940/task/1942/stat : 1942 (java) S 1938 1938 1674 0 -1 1077944384 2428 0 0 0 16 3 0 0 20 0 28 0 151591093 27243790336 59137 33554432000 4194304 4196468 140725599687280 140037678324368 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1943] ppid=1938 vsize=26605264 memory=4124 CPUtime=0.18 cores=0-7
/proc/1940/task/1943/stat : 1943 (java) S 1938 1938 1674 0 -1 1077944384 1622 0 0 0 15 3 0 0 20 0 28 0 151591093 27243790336 59137 33554432000 4194304 4196468 140725599687280 140037272762896 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1944] ppid=1938 vsize=26605264 memory=2196 CPUtime=0.18 cores=0-7
/proc/1940/task/1944/stat : 1944 (java) S 1938 1938 1674 0 -1 1077944384 1690 0 0 0 15 3 0 0 20 0 28 0 151591093 27243790336 59137 33554432000 4194304 4196468 140725599687280 140037271710096 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1945] ppid=1938 vsize=26605264 memory=7788 CPUtime=0.17 cores=0-7
/proc/1940/task/1945/stat : 1945 (java) S 1938 1938 1674 0 -1 1077944384 1640 0 0 0 15 2 0 0 20 0 28 0 151591093 27243790336 59137 33554432000 4194304 4196468 140725599687280 140037270657296 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1946] ppid=1938 vsize=26605264 memory=840 CPUtime=0.19 cores=0-7
/proc/1940/task/1946/stat : 1946 (java) S 1938 1938 1674 0 -1 1077944384 1756 0 0 0 16 3 0 0 20 0 28 0 151591093 27243790336 59137 33554432000 4194304 4196468 140725599687280 140037269605520 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1947] ppid=1938 vsize=26605264 memory=1399051139730258233 CPUtime=0.19 cores=0-7
/proc/1940/task/1947/stat : 1947 (java) S 1938 1938 1674 0 -1 1077944384 3674 0 0 0 16 3 0 0 20 0 28 0 151591093 27243790336 59137 33554432000 4194304 4196468 140725599687280 140037268552720 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1948] ppid=1938 vsize=26605264 memory=4126316290023845779 CPUtime=0.2 cores=0-7
/proc/1940/task/1948/stat : 1948 (java) S 1938 1938 1674 0 -1 1077944384 3233 0 0 0 17 3 0 0 20 0 28 0 151591093 27243790336 59137 33554432000 4194304 4196468 140725599687280 140037267499920 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1949] ppid=1938 vsize=26605264 memory=1384 CPUtime=0.18 cores=0-7
/proc/1940/task/1949/stat : 1949 (java) S 1938 1938 1674 0 -1 1077944384 1022 0 0 0 16 2 0 0 20 0 28 0 151591093 27243790336 59137 33554432000 4194304 4196468 140725599687280 140037266447120 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1950] ppid=1938 vsize=26605264 memory=8112282956445269571 CPUtime=0.2 cores=0-7
/proc/1940/task/1950/stat : 1950 (java) S 1938 1938 1674 0 -1 1077944384 5524 0 0 0 17 3 0 0 20 0 28 0 151591094 27243790336 59137 33554432000 4194304 4196468 140725599687280 140036188088688 140037715229314 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1951] ppid=1938 vsize=26605264 memory=236548 CPUtime=0 cores=0-7
/proc/1940/task/1951/stat : 1951 (java) S 1938 1938 1674 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 151591095 27243790336 59137 33554432000 4194304 4196468 140725599687280 140036187034720 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1952] ppid=1938 vsize=26605264 memory=1156 CPUtime=0 cores=0-7
/proc/1940/task/1952/stat : 1952 (java) S 1938 1938 1674 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 151591095 27243790336 59137 33554432000 4194304 4196468 140725599687280 140036185981824 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1953] ppid=1938 vsize=26605264 memory=3820 CPUtime=0 cores=0-7
/proc/1940/task/1953/stat : 1953 (java) S 1938 1938 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151591097 27243790336 59137 33554432000 4194304 4196468 140725599687280 140036184930128 140037715236763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1954] ppid=1938 vsize=26605264 memory=1384 CPUtime=2.15 cores=0-7
/proc/1940/task/1954/stat : 1954 (java) S 1938 1938 1674 0 -1 1077944384 13090 0 0 0 213 2 0 0 20 0 28 0 151591097 27243790336 59137 33554432000 4194304 4196468 140725599687280 140036183878512 140037715229314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1955] ppid=1938 vsize=26605264 memory=236548 CPUtime=2.61 cores=0-7
/proc/1940/task/1955/stat : 1955 (java) S 1938 1938 1674 0 -1 1077944384 12514 0 0 0 259 2 0 0 20 0 28 0 151591097 27243790336 59137 33554432000 4194304 4196468 140725599687280 140036182825712 140037715229314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1956] ppid=1938 vsize=26605264 memory=932 CPUtime=2.43 cores=0-7
/proc/1940/task/1956/stat : 1956 (java) S 1938 1938 1674 0 -1 1077944384 17978 0 0 0 240 3 0 0 20 0 28 0 151591097 27243790336 59137 33554432000 4194304 4196468 140725599687280 140036181772912 140037715229314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1957] ppid=1938 vsize=26605264 memory=1568 CPUtime=0.81 cores=0-7
/proc/1940/task/1957/stat : 1957 (java) S 1938 1938 1674 0 -1 1077944384 14175 0 0 0 79 2 0 0 20 0 28 0 151591097 27243790336 59137 33554432000 4194304 4196468 140725599687280 140036180720112 140037715229314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1958] ppid=1938 vsize=26605264 memory=2240 CPUtime=0 cores=0-7
/proc/1940/task/1958/stat : 1958 (java) S 1938 1938 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151591097 27243790336 59137 33554432000 4194304 4196468 140725599687280 140036179667552 140037715228373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=1959] ppid=1938 vsize=26605264 memory=4124 CPUtime=0.05 cores=0-7
/proc/1940/task/1959/stat : 1959 (java) S 1938 1938 1674 0 -1 1077944384 2191 0 0 0 0 5 0 0 20 0 28 0 151591098 27243790336 59137 33554432000 4194304 4196468 140725599687280 140036178614832 140037715229314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=2244] ppid=1938 vsize=26605264 memory=2196 CPUtime=36.42 cores=0-7
/proc/1940/task/2244/stat : 2244 (java) R 1938 1938 1674 0 -1 4202560 28 0 0 0 3642 0 0 0 20 0 28 0 151612632 27243790336 59137 33554432000 4194304 4196468 140725599687280 140036168993376 140037357594621 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=2245] ppid=1938 vsize=26605264 memory=7788 CPUtime=36.26 cores=0-7
/proc/1940/task/2245/stat : 2245 (java) R 1938 1938 1674 0 -1 4202560 31 0 0 0 3626 0 0 0 20 0 28 0 151612632 27243790336 59137 33554432000 4194304 4196468 140725599687280 140036170050336 140037358553488 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=2246] ppid=1938 vsize=26605264 memory=840 CPUtime=36.32 cores=0-7
/proc/1940/task/2246/stat : 2246 (java) R 1938 1938 1674 0 -1 4202560 34 0 0 0 3632 0 0 0 20 0 28 0 151612632 27243790336 59137 33554432000 4194304 4196468 140725599687280 140036165837168 140037357360630 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=2247] ppid=1938 vsize=26605264 memory=288230574492221466 CPUtime=36.24 cores=0-7
/proc/1940/task/2247/stat : 2247 (java) R 1938 1938 1674 0 -1 4202560 55 0 0 0 3624 0 0 0 20 0 28 0 151612632 27243790336 59137 33554432000 4194304 4196468 140725599687280 140036167942632 140037359529845 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=2248] ppid=1938 vsize=26605264 memory=288230621803970871 CPUtime=36.39 cores=0-7
/proc/1940/task/2248/stat : 2248 (java) R 1938 1938 1674 0 -1 4202560 23 0 0 0 3639 0 0 0 20 0 28 0 151612632 27243790336 59137 33554432000 4194304 4196468 140725599687280 140036166889696 140037357594575 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=2249] ppid=1938 vsize=26605264 memory=14971187369347119 CPUtime=36.38 cores=0-7
/proc/1940/task/2249/stat : 2249 (java) R 1938 1938 1674 0 -1 4202560 25 0 0 0 3638 0 0 0 20 0 28 0 151612632 27243790336 59137 33554432000 4194304 4196468 140725599687280 140036162679016 140037357740415 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=2250] ppid=1938 vsize=26605264 memory=1236 CPUtime=36.44 cores=0-7
/proc/1940/task/2250/stat : 2250 (java) R 1938 1938 1674 0 -1 4202560 45 0 0 0 3644 0 0 0 20 0 28 0 151612632 27243790336 59137 33554432000 4194304 4196468 140725599687280 140036163731456 140037357961059 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
[pid=1940/tid=2251] ppid=1938 vsize=26605264 memory=1156 CPUtime=36.24 cores=0-7
/proc/1940/task/2251/stat : 2251 (java) R 1938 1938 1674 0 -1 4202560 30 0 0 0 3624 0 0 0 20 0 28 0 151612632 27243790336 59137 33554432000 4194304 4196468 140725599687280 140036164783816 140037357360278 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33406976 140725599691928 140725599692104 140725599692104 140725599694799 0
Current children cumulated CPU time: 2000.16 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 237932 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.041 s]
# the end of solver process 1938 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001922 s, system=0 s
[startup+252.106 s]
# the end of solver process 1940 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2000.06 s, system=0.81322 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 252.106
CPU time (s): 2000.87
CPU user time (s): 2000.06
CPU system time (s): 0.81322
CPU usage (%): 793.663
Max. virtual memory (cumulated for all children) (KiB): 26616904
Max. memory (cumulated for all children) (KiB): 386648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2000.06
system time used= 0.81322
maximum resident set size= 389776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128584
page faults= 0
swaps= 0
block input operations= 0
block output operations= 504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26174
involuntary context switches= 22102
# summary of solver processes directly reported to runsolver:
# pid: 1938,1940
# total CPU time (s): 2000.87
# total CPU user time (s): 2000.06
# total CPU system time (s): 0.81322
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.49239 second user time and 2.51736 second system time
The end
Begin job on node113 at 2017-08-20 01:09:36
IDJOB=4281466
IDBENCH=123129
IDSOLVER=2676
FILE ID=node113/4281466-1503185036
RUNJOBID= node113-1503181653-1704
PBS_JOBID= 20630852
Free space on /tmp= 61692 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-nug20.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281466-1503185036/watcher-4281466-1503185036 -o /tmp/evaluation-result-4281466-1503185036/solver-4281466-1503185036 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503181653-1704 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1507019730 HOME/instance-4281466-1503185036.xml
TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 1ce5b24a466c3cb241db2c2b366e9012
RANDOM SEED=1507019730
node113.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.89
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.89
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.89
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.89
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: 27194400 kB
MemAvailable: 31970252 kB
Buffers: 254976 kB
Cached: 4810664 kB
SwapCached: 0 kB
Active: 1255756 kB
Inactive: 3863668 kB
Active(anon): 3924 kB
Inactive(anon): 85928 kB
Active(file): 1251832 kB
Inactive(file): 3777740 kB
Unevictable: 7476 kB
Mlocked: 7476 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7756 kB
Writeback: 4 kB
AnonPages: 61432 kB
Mapped: 51248 kB
Shmem: 33416 kB
Slab: 150744 kB
SReclaimable: 124228 kB
SUnreclaim: 26516 kB
KernelStack: 3264 kB
PageTables: 4892 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 332816 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 116096 kB
DirectMap2M: 33429504 kB
Free space on /tmp at the end= 61684 MiB
End job on node113 at 2017-08-20 01:13:48