2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 par (2017-07-26)	SAT (TO)	199	1920.03	241.63499

0.00/0.08	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254582-1501687534.xml"  -tl '1920s' -p 8 -x 0
0.00/0.28	c [HOME/instance-4254582-1501687534.xml, -tl, 1920s, -p, 8, -x, 0]
0.00/0.34	c 8 solvers in parallel
0.00/0.40	c parse instance...
3.64/1.40	c solve instance...
4.75/1.59	o 17575 
4.75/1.60	o 14911 
5.50/1.64	o 14775 
5.50/1.64	o 12671 
5.50/1.65	o 12535 
5.50/1.66	o 12407 
5.50/1.67	o 12407 
5.50/1.67	o 10823 
5.50/1.68	o 10671 
5.50/1.69	o 10543 
5.50/1.69	o 591 
6.16/1.70	o 439 
6.90/1.83	o 423 
6.90/1.83	o 399 
7.66/1.96	o 391 
10.85/2.31	o 375 
13.12/2.67	o 239 
13.91/2.75	o 223 
61.49/8.76	o 215 
117.22/15.72	o 207 
1181.17/149.04	o 199 
1920.03/241.66	s SATISFIABLE
1920.03/241.66	v <instantiation>
1920.03/241.66	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] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[33][0] y[33][1] y[33][2] y[33][3] y[34][0] y[34][1] y[34][2] y[35][0] y[35][1] y[36][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] </list>
1920.03/241.66	v 	<values>1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 3 -2 -3 0 -3 -2 -1 -2 -1 0 3 -2 -1 2 1 0 -3 -2 1 0 -7 -6 1 4 -1 0 -1 -2 -1 0 3 0 1 2 1 0 -1 9 4 9 0 9 4 1 4 1 0 9 4 1 4 1 0 9 4 1 0 49 36 1 16 1 0 1 4 1 0 9 0 1 4 1 0 1 </values>
1920.03/241.66	v </instantiation>
1920.03/241.66	c Unexpected resolution interruption!

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254582-1501687534/watcher-4254582-1501687534 -o /tmp/evaluation-result-4254582-1501687534/solver-4254582-1501687534 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node130-1501661057-2426 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 901699936 HOME/instance-4254582-1501687534.xml 

pid=20982
running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 7.64 7.98 7.00 2/173 20985
/proc/meminfo: memFree=31798444/32770624 swapFree=0/304488
[pid=20985] ppid=20982 vsize=23672 CPUtime=0 cores=0-7
/proc/20985/stat : 20985 (runsolver) D 20982 20985 2334 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 2580440 24240128 106 18446744073709551615 4194304 4338465 140733008223312 140733008220952 139628514718423 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 35311616 140733008224342 140733008224837 140733008224837 140733008228298 0
/proc/20985/statm: 5918 106 53 36 0 2156 0

[startup+0.100153 s]
/proc/loadavg: 7.64 7.98 7.00 2/173 20985
/proc/meminfo: memFree=31798444/32770624 swapFree=0/304488
[pid=20985] ppid=20982 vsize=9512 CPUtime=0 cores=0-7
/proc/20985/stat : 20985 (xcsp3-exec) S 20982 20985 2334 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 2580440 9740288 344 18446744073709551615 4194304 5098028 140731285904208 140731285902312 140045515588220 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 21303296 140731285905813 140731285906022 140731285906022 140731285909483 0
/proc/20985/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.209066 s]
/proc/loadavg: 7.64 7.98 7.00 2/173 20985
/proc/meminfo: memFree=31798444/32770624 swapFree=0/304488
[pid=20985] ppid=20982 vsize=9512 CPUtime=0 cores=0-7
/proc/20985/stat : 20985 (xcsp3-exec) S 20982 20985 2334 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 2580440 9740288 344 18446744073709551615 4194304 5098028 140731285904208 140731285902312 140045515588220 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 21303296 140731285905813 140731285906022 140731285906022 140731285909483 0
/proc/20985/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300221 s]
/proc/loadavg: 7.64 7.98 7.00 2/173 20985
/proc/meminfo: memFree=31798444/32770624 swapFree=0/304488
[pid=20985] ppid=20982 vsize=9512 CPUtime=0 cores=0-7
/proc/20985/stat : 20985 (xcsp3-exec) S 20982 20985 2334 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 2580440 9740288 344 18446744073709551615 4194304 5098028 140731285904208 140731285902312 140045515588220 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 21303296 140731285905813 140731285906022 140731285906022 140731285909483 0
/proc/20985/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700194 s]
/proc/loadavg: 7.64 7.98 7.00 2/173 20985
/proc/meminfo: memFree=31798444/32770624 swapFree=0/304488
[pid=20985] ppid=20982 vsize=9512 CPUtime=0 cores=0-7
/proc/20985/stat : 20985 (xcsp3-exec) S 20982 20985 2334 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 2580440 9740288 344 18446744073709551615 4194304 5098028 140731285904208 140731285902312 140045515588220 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 21303296 140731285905813 140731285906022 140731285906022 140731285909483 0
/proc/20985/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50112 s]
/proc/loadavg: 7.27 7.90 6.98 5/194 21006
/proc/meminfo: memFree=31648132/32770624 swapFree=0/304252
[pid=20985] ppid=20982 vsize=9512 CPUtime=0 cores=0-7
/proc/20985/stat : 20985 (xcsp3-exec) S 20982 20985 2334 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 2580440 9740288 344 18446744073709551615 4194304 5098028 140731285904208 140731285902312 140045515588220 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 21303296 140731285905813 140731285906022 140731285906022 140731285909483 0
/proc/20985/statm: 2378 344 289 221 0 87 0
[pid=20987] ppid=20985 vsize=26534456 CPUtime=4.75 cores=0-7
/proc/20987/stat : 20987 (java) S 20985 20985 2334 0 -1 1077944320 18259 0 0 0 464 11 0 0 20 0 28 0 2580449 27171282944 53176 18446744073709551615 4194304 4196468 140732129849312 140732129831856 139741289164535 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
/proc/20987/statm: 6633614 53176 3210 1 0 6621915 0
[pid=20987/tid=20988] ppid=20985 vsize=26534456 CPUtime=1.24 cores=0-7
/proc/20987/task/20988/stat : 20988 (java) S 20985 20985 2334 0 -1 1077944384 9085 0 0 0 119 5 0 0 20 0 28 0 2580449 27171282944 53176 18446744073709551615 4194304 4196468 140732129849312 139741293405312 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20989] ppid=20985 vsize=26534456 CPUtime=0 cores=0-7
/proc/20987/task/20989/stat : 20989 (java) S 20985 20985 2334 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 2580450 27171282944 53176 18446744073709551615 4194304 4196468 140732129849312 139741258877712 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20990] ppid=20985 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/20987/task/20990/stat : 20990 (java) S 20985 20985 2334 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 28 0 2580450 27171282944 53176 18446744073709551615 4194304 4196468 140732129849312 139740850650000 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20991] ppid=20985 vsize=26534456 CPUtime=0 cores=0-7
/proc/20987/task/20991/stat : 20991 (java) S 20985 20985 2334 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 2580450 27171282944 53176 18446744073709551615 4194304 4196468 140732129849312 139740849597456 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20992] ppid=20985 vsize=26534456 CPUtime=0 cores=0-7
/proc/20987/task/20992/stat : 20992 (java) S 20985 20985 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 2580450 27171282944 53176 18446744073709551615 4194304 4196468 140732129849312 139740848544912 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20993] ppid=20985 vsize=26534456 CPUtime=0 cores=0-7
/proc/20987/task/20993/stat : 20993 (java) S 20985 20985 2334 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 2580450 27171282944 53176 18446744073709551615 4194304 4196468 140732129849312 139740847491344 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20994] ppid=20985 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/20987/task/20994/stat : 20994 (java) S 20985 20985 2334 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 28 0 2580450 27171282944 53176 18446744073709551615 4194304 4196468 140732129849312 139740846438800 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20995] ppid=20985 vsize=26534456 CPUtime=0 cores=0-7
/proc/20987/task/20995/stat : 20995 (java) S 20985 20985 2334 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 2580450 27171282944 53176 18446744073709551615 4194304 4196468 140732129849312 139740845386256 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20996] ppid=20985 vsize=26534456 CPUtime=0 cores=0-7
/proc/20987/task/20996/stat : 20996 (java) S 20985 20985 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 2580450 27171282944 53176 18446744073709551615 4194304 4196468 140732129849312 139740844333712 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20997] ppid=20985 vsize=26534456 CPUtime=0 cores=0-7
/proc/20987/task/20997/stat : 20997 (java) S 20985 20985 2334 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 2580451 27171282944 53176 18446744073709551615 4194304 4196468 140732129849312 139739498613232 139741289175682 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20998] ppid=20985 vsize=26534456 CPUtime=0 cores=0-7
/proc/20987/task/20998/stat : 20998 (java) S 20985 20985 2334 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 2580452 27171282944 53176 18446744073709551615 4194304 4196468 140732129849312 139739497559456 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20999] ppid=20985 vsize=26534456 CPUtime=0 cores=0-7
/proc/20987/task/20999/stat : 20999 (java) S 20985 20985 2334 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 2580452 27171282944 53176 18446744073709551615 4194304 4196468 140732129849312 139739496506864 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21000] ppid=20985 vsize=26534456 CPUtime=0 cores=0-7
/proc/20987/task/21000/stat : 21000 (java) S 20985 20985 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 2580454 27171282944 53176 18446744073709551615 4194304 4196468 140732129849312 139739495455440 139741289183131 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21001] ppid=20985 vsize=26534456 CPUtime=0.8 cores=0-7
/proc/20987/task/21001/stat : 21001 (java) R 20985 20985 2334 0 -1 4202560 2096 0 0 0 80 0 0 0 20 0 28 0 2580454 27171282944 53176 18446744073709551615 4194304 4196468 140732129849312 139739494382752 139741270709112 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21002] ppid=20985 vsize=26534456 CPUtime=0.76 cores=0-7
/proc/20987/task/21002/stat : 21002 (java) S 20985 20985 2334 0 -1 1077944384 1326 0 0 0 76 0 0 0 20 0 28 0 2580454 27171282944 53176 18446744073709551615 4194304 4196468 140732129849312 139739493349488 139741289175682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21003] ppid=20985 vsize=26534456 CPUtime=0.79 cores=0-7
/proc/20987/task/21003/stat : 21003 (java) R 20985 20985 2334 0 -1 1077944384 1575 0 0 0 79 0 0 0 20 0 28 0 2580454 27171282944 53176 18446744073709551615 4194304 4196468 140732129849312 139739492296944 139741289175682 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21004] ppid=20985 vsize=26534456 CPUtime=0.62 cores=0-7
/proc/20987/task/21004/stat : 21004 (java) S 20985 20985 2334 0 -1 1077944384 2281 0 0 0 61 1 0 0 20 0 28 0 2580454 27171282944 53176 18446744073709551615 4194304 4196468 140732129849312 139739491244400 139741289175682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21005] ppid=20985 vsize=26534456 CPUtime=0 cores=0-7
/proc/20987/task/21005/stat : 21005 (java) S 20985 20985 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 2580454 27171282944 53176 18446744073709551615 4194304 4196468 140732129849312 139739490192096 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21006] ppid=20985 vsize=26534456 CPUtime=0 cores=0-7
/proc/20987/task/21006/stat : 21006 (java) S 20985 20985 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 2580459 27171282944 53176 18446744073709551615 4194304 4196468 140732129849312 139739489139632 139741289175682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
Current children cumulated CPU time (s) 4.75
Current children cumulated vsize (KiB) 26543968

[startup+3.10912 s]
/proc/loadavg: 7.27 7.90 6.98 13/202 21134
/proc/meminfo: memFree=31526360/32770624 swapFree=0/304252
[pid=20985] ppid=20982 vsize=9512 CPUtime=0 cores=0-7
/proc/20985/stat : 20985 (xcsp3-exec) S 20982 20985 2334 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 2580440 9740288 344 18446744073709551615 4194304 5098028 140731285904208 140731285902312 140045515588220 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 21303296 140731285905813 140731285906022 140731285906022 140731285909483 0
/proc/20985/statm: 2378 344 289 221 0 87 0
[pid=20987] ppid=20985 vsize=26536504 CPUtime=17.14 cores=0-7
/proc/20987/stat : 20987 (java) S 20985 20985 2334 0 -1 1077944320 28746 0 0 0 1689 25 0 0 20 0 28 0 2580449 27173380096 102490 18446744073709551615 4194304 4196468 140732129849312 140732129831856 139741289164535 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
/proc/20987/statm: 6634126 102490 3238 1 0 6622427 0
[pid=20987/tid=20988] ppid=20985 vsize=26536504 CPUtime=1.26 cores=0-7
/proc/20987/task/20988/stat : 20988 (java) S 20985 20985 2334 0 -1 1077944384 9088 0 0 0 121 5 0 0 20 0 28 0 2580449 27173380096 102490 18446744073709551615 4194304 4196468 140732129849312 139741293405312 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20989] ppid=20985 vsize=26536504 CPUtime=0.04 cores=0-7
/proc/20987/task/20989/stat : 20989 (java) S 20985 20985 2334 0 -1 1077944384 40 0 0 0 3 1 0 0 20 0 28 0 2580450 27173380096 102490 18446744073709551615 4194304 4196468 140732129849312 139741258877712 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20990] ppid=20985 vsize=26536504 CPUtime=0.02 cores=0-7
/proc/20987/task/20990/stat : 20990 (java) S 20985 20985 2334 0 -1 1077944384 24 0 0 0 2 0 0 0 20 0 28 0 2580450 27173380096 102490 18446744073709551615 4194304 4196468 140732129849312 139740850650000 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20991] ppid=20985 vsize=26536504 CPUtime=0.04 cores=0-7
/proc/20987/task/20991/stat : 20991 (java) S 20985 20985 2334 0 -1 1077944384 30 0 0 0 3 1 0 0 20 0 28 0 2580450 27173380096 102490 18446744073709551615 4194304 4196468 140732129849312 139740849597456 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20992] ppid=20985 vsize=26536504 CPUtime=0.03 cores=0-7
/proc/20987/task/20992/stat : 20992 (java) S 20985 20985 2334 0 -1 1077944384 28 0 0 0 2 1 0 0 20 0 28 0 2580450 27173380096 102490 18446744073709551615 4194304 4196468 140732129849312 139740848544912 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20993] ppid=20985 vsize=26536504 CPUtime=0.06 cores=0-7
/proc/20987/task/20993/stat : 20993 (java) S 20985 20985 2334 0 -1 1077944384 50 0 0 0 5 1 0 0 20 0 28 0 2580450 27173380096 102490 18446744073709551615 4194304 4196468 140732129849312 139740847491344 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20994] ppid=20985 vsize=26536504 CPUtime=0.05 cores=0-7
/proc/20987/task/20994/stat : 20994 (java) S 20985 20985 2334 0 -1 1077944384 56 0 0 0 4 1 0 0 20 0 28 0 2580450 27173380096 102490 18446744073709551615 4194304 4196468 140732129849312 139740846438800 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20995] ppid=20985 vsize=26536504 CPUtime=0.06 cores=0-7
/proc/20987/task/20995/stat : 20995 (java) S 20985 20985 2334 0 -1 1077944384 53 0 0 0 5 1 0 0 20 0 28 0 2580450 27173380096 102490 18446744073709551615 4194304 4196468 140732129849312 139740845386256 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20996] ppid=20985 vsize=26536504 CPUtime=0.03 cores=0-7
/proc/20987/task/20996/stat : 20996 (java) S 20985 20985 2334 0 -1 1077944384 31 0 0 0 2 1 0 0 20 0 28 0 2580450 27173380096 102490 18446744073709551615 4194304 4196468 140732129849312 139740844333712 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20997] ppid=20985 vsize=26536504 CPUtime=0.01 cores=0-7
/proc/20987/task/20997/stat : 20997 (java) S 20985 20985 2334 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 28 0 2580451 27173380096 102490 18446744073709551615 4194304 4196468 140732129849312 139739498613232 139741289175682 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20998] ppid=20985 vsize=26536504 CPUtime=0 cores=0-7
/proc/20987/task/20998/stat : 20998 (java) S 20985 20985 2334 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 2580452 27173380096 102490 18446744073709551615 4194304 4196468 140732129849312 139739497559520 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20999] ppid=20985 vsize=26536504 CPUtime=0 cores=0-7
/proc/20987/task/20999/stat : 20999 (java) S 20985 20985 2334 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 2580452 27173380096 102490 18446744073709551615 4194304 4196468 140732129849312 139739496506880 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21000] ppid=20985 vsize=26536504 CPUtime=0 cores=0-7
/proc/20987/task/21000/stat : 21000 (java) S 20985 20985 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 2580454 27173380096 102490 18446744073709551615 4194304 4196468 140732129849312 139739495455440 139741289183131 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21001] ppid=20985 vsize=26536504 CPUtime=1.91 cores=0-7
/proc/20987/task/21001/stat : 21001 (java) R 20985 20985 2334 0 -1 4202560 3998 0 0 0 190 1 0 0 20 0 28 0 2580454 27173380096 102490 18446744073709551615 4194304 4196468 140732129849312 139739494386800 139741268421211 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21002] ppid=20985 vsize=26536504 CPUtime=1.7 cores=0-7
/proc/20987/task/21002/stat : 21002 (java) R 20985 20985 2334 0 -1 4202560 2836 0 0 0 170 0 0 0 20 0 28 0 2580454 27173380096 102490 18446744073709551615 4194304 4196468 140732129849312 139739493349296 139741272650975 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21003] ppid=20985 vsize=26536504 CPUtime=1.85 cores=0-7
/proc/20987/task/21003/stat : 21003 (java) R 20985 20985 2334 0 -1 4202560 4709 0 0 0 184 1 0 0 20 0 28 0 2580454 27173380096 102490 18446744073709551615 4194304 4196468 140732129849312 139739492289968 139741268614295 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21004] ppid=20985 vsize=26536504 CPUtime=0.85 cores=0-7
/proc/20987/task/21004/stat : 21004 (java) R 20985 20985 2334 0 -1 4202560 3270 0 0 0 84 1 0 0 20 0 28 0 2580454 27173380096 102490 18446744073709551615 4194304 4196468 140732129849312 139739491244208 139741289185882 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21005] ppid=20985 vsize=26536504 CPUtime=0 cores=0-7
/proc/20987/task/21005/stat : 21005 (java) S 20985 20985 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 2580454 27173380096 102490 18446744073709551615 4194304 4196468 140732129849312 139739490192096 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21006] ppid=20985 vsize=26536504 CPUtime=0 cores=0-7
/proc/20987/task/21006/stat : 21006 (java) S 20985 20985 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 2580459 27173380096 102490 18446744073709551615 4194304 4196468 140732129849312 139739489139632 139741289175682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
Current children cumulated CPU time (s) 17.14
Current children cumulated vsize (KiB) 26546016

[startup+6.30112 s]
/proc/loadavg: 7.27 7.90 6.98 9/202 21158
/proc/meminfo: memFree=31384236/32770624 swapFree=0/304264
[pid=20985] ppid=20982 vsize=9512 CPUtime=0 cores=0-7
/proc/20985/stat : 20985 (xcsp3-exec) S 20982 20985 2334 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 2580440 9740288 344 18446744073709551615 4194304 5098028 140731285904208 140731285902312 140045515588220 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 21303296 140731285905813 140731285906022 140731285906022 140731285909483 0
/proc/20985/statm: 2378 344 289 221 0 87 0
[pid=20987] ppid=20985 vsize=26536504 CPUtime=42.43 cores=0-7
/proc/20987/stat : 20987 (java) S 20985 20985 2334 0 -1 1077944320 34962 0 0 0 4205 38 0 0 20 0 28 0 2580449 27173380096 136635 18446744073709551615 4194304 4196468 140732129849312 140732129831856 139741289164535 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
/proc/20987/statm: 6634126 136635 3247 1 0 6622427 0
[pid=20987/tid=20988] ppid=20985 vsize=26536504 CPUtime=1.26 cores=0-7
/proc/20987/task/20988/stat : 20988 (java) S 20985 20985 2334 0 -1 1077944384 9088 0 0 0 121 5 0 0 20 0 28 0 2580449 27173380096 136635 18446744073709551615 4194304 4196468 140732129849312 139741293405312 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20989] ppid=20985 vsize=26536504 CPUtime=0.06 cores=0-7
/proc/20987/task/20989/stat : 20989 (java) S 20985 20985 2334 0 -1 1077944384 48 0 0 0 4 2 0 0 20 0 28 0 2580450 27173380096 136635 18446744073709551615 4194304 4196468 140732129849312 139741258877712 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20990] ppid=20985 vsize=26536504 CPUtime=0.04 cores=0-7
/proc/20987/task/20990/stat : 20990 (java) S 20985 20985 2334 0 -1 1077944384 37 0 0 0 3 1 0 0 20 0 28 0 2580450 27173380096 136635 18446744073709551615 4194304 4196468 140732129849312 139740850650000 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20991] ppid=20985 vsize=26536504 CPUtime=0.06 cores=0-7
/proc/20987/task/20991/stat : 20991 (java) S 20985 20985 2334 0 -1 1077944384 43 0 0 0 4 2 0 0 20 0 28 0 2580450 27173380096 136635 18446744073709551615 4194304 4196468 140732129849312 139740849597456 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20992] ppid=20985 vsize=26536504 CPUtime=0.04 cores=0-7
/proc/20987/task/20992/stat : 20992 (java) S 20985 20985 2334 0 -1 1077944384 39 0 0 0 3 1 0 0 20 0 28 0 2580450 27173380096 136635 18446744073709551615 4194304 4196468 140732129849312 139740848544912 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20993] ppid=20985 vsize=26536504 CPUtime=0.06 cores=0-7
/proc/20987/task/20993/stat : 20993 (java) S 20985 20985 2334 0 -1 1077944384 52 0 0 0 5 1 0 0 20 0 28 0 2580450 27173380096 136635 18446744073709551615 4194304 4196468 140732129849312 139740847491344 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20994] ppid=20985 vsize=26536504 CPUtime=0.06 cores=0-7
/proc/20987/task/20994/stat : 20994 (java) S 20985 20985 2334 0 -1 1077944384 58 0 0 0 4 2 0 0 20 0 28 0 2580450 27173380096 136635 18446744073709551615 4194304 4196468 140732129849312 139740846438800 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20995] ppid=20985 vsize=26536504 CPUtime=0.06 cores=0-7
/proc/20987/task/20995/stat : 20995 (java) S 20985 20985 2334 0 -1 1077944384 54 0 0 0 5 1 0 0 20 0 28 0 2580450 27173380096 136635 18446744073709551615 4194304 4196468 140732129849312 139740845386256 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20996] ppid=20985 vsize=26536504 CPUtime=0.04 cores=0-7
/proc/20987/task/20996/stat : 20996 (java) S 20985 20985 2334 0 -1 1077944384 42 0 0 0 3 1 0 0 20 0 28 0 2580450 27173380096 136635 18446744073709551615 4194304 4196468 140732129849312 139740844333712 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20997] ppid=20985 vsize=26536504 CPUtime=0.01 cores=0-7
/proc/20987/task/20997/stat : 20997 (java) S 20985 20985 2334 0 -1 1077944384 289 0 0 0 1 0 0 0 20 0 28 0 2580451 27173380096 136635 18446744073709551615 4194304 4196468 140732129849312 139739498613232 139741289175682 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20998] ppid=20985 vsize=26536504 CPUtime=0 cores=0-7
/proc/20987/task/20998/stat : 20998 (java) S 20985 20985 2334 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 2580452 27173380096 136635 18446744073709551615 4194304 4196468 140732129849312 139739497559520 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20999] ppid=20985 vsize=26536504 CPUtime=0 cores=0-7
/proc/20987/task/20999/stat : 20999 (java) S 20985 20985 2334 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 2580452 27173380096 136635 18446744073709551615 4194304 4196468 140732129849312 139739496506880 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21000] ppid=20985 vsize=26536504 CPUtime=0 cores=0-7
/proc/20987/task/21000/stat : 21000 (java) S 20985 20985 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 2580454 27173380096 136635 18446744073709551615 4194304 4196468 140732129849312 139739495455440 139741289183131 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0

################
# More data... #
################

[pid=20987/tid=21183] ppid=20985 vsize=26536504 CPUtime=13.08 cores=0-7
/proc/20987/task/21183/stat : 21183 (java) R 20985 20985 2334 0 -1 4202560 1445 0 0 0 1303 5 0 0 20 0 28 0 2595344 27173380096 543265 18446744073709551615 4194304 4196468 140732129849312 139739481129736 139740938539996 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21184] ppid=20985 vsize=26536504 CPUtime=13.23 cores=0-7
/proc/20987/task/21184/stat : 21184 (java) R 20985 20985 2334 0 -1 4202560 456 0 0 0 1323 0 0 0 20 0 28 0 2595344 27173380096 543265 18446744073709551615 4194304 4196468 140732129849312 139739474812904 139740937859244 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
Current children cumulated CPU time (s) 1286.95
Current children cumulated vsize (KiB) 26546016

[startup+222.307 s]
/proc/loadavg: 8.26 8.06 7.24 9/201 21186
/proc/meminfo: memFree=29638300/32770624 swapFree=0/304328
[pid=20985] ppid=20982 vsize=9512 CPUtime=0 cores=0-7
/proc/20985/stat : 20985 (xcsp3-exec) S 20982 20985 2334 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 2580440 9740288 344 18446744073709551615 4194304 5098028 140731285904208 140731285902312 140045515588220 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 21303296 140731285905813 140731285906022 140731285906022 140731285909483 0
/proc/20985/statm: 2378 344 289 221 0 87 0
[pid=20987] ppid=20985 vsize=26536504 CPUtime=1766 cores=0-7
/proc/20987/stat : 20987 (java) S 20985 20985 2334 0 -1 1077944320 126503 0 0 0 176456 144 0 0 20 0 28 0 2580449 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 140732129831856 139741289164535 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
/proc/20987/statm: 6634126 543375 3257 1 0 6622427 0
[pid=20987/tid=20988] ppid=20985 vsize=26536504 CPUtime=1.27 cores=0-7
/proc/20987/task/20988/stat : 20988 (java) S 20985 20985 2334 0 -1 1077944384 9640 0 0 0 122 5 0 0 20 0 28 0 2580449 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139741293405312 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20989] ppid=20985 vsize=26536504 CPUtime=0.12 cores=0-7
/proc/20987/task/20989/stat : 20989 (java) S 20985 20985 2334 0 -1 1077944384 567 0 0 0 8 4 0 0 20 0 28 0 2580450 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139741258877712 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20990] ppid=20985 vsize=26536504 CPUtime=0.11 cores=0-7
/proc/20987/task/20990/stat : 20990 (java) S 20985 20985 2334 0 -1 1077944384 420 0 0 0 8 3 0 0 20 0 28 0 2580450 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139740850650000 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20991] ppid=20985 vsize=26536504 CPUtime=0.13 cores=0-7
/proc/20987/task/20991/stat : 20991 (java) S 20985 20985 2334 0 -1 1077944384 283 0 0 0 9 4 0 0 20 0 28 0 2580450 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139740849597456 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20992] ppid=20985 vsize=26536504 CPUtime=0.12 cores=0-7
/proc/20987/task/20992/stat : 20992 (java) S 20985 20985 2334 0 -1 1077944384 585 0 0 0 8 4 0 0 20 0 28 0 2580450 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139740848544912 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20993] ppid=20985 vsize=26536504 CPUtime=0.12 cores=0-7
/proc/20987/task/20993/stat : 20993 (java) S 20985 20985 2334 0 -1 1077944384 684 0 0 0 9 3 0 0 20 0 28 0 2580450 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139740847491344 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20994] ppid=20985 vsize=26536504 CPUtime=0.13 cores=0-7
/proc/20987/task/20994/stat : 20994 (java) S 20985 20985 2334 0 -1 1077944384 1693 0 0 0 9 4 0 0 20 0 28 0 2580450 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139740846438800 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20995] ppid=20985 vsize=26536504 CPUtime=0.14 cores=0-7
/proc/20987/task/20995/stat : 20995 (java) S 20985 20985 2334 0 -1 1077944384 2153 0 0 0 10 4 0 0 20 0 28 0 2580450 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139740845386256 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20996] ppid=20985 vsize=26536504 CPUtime=0.11 cores=0-7
/proc/20987/task/20996/stat : 20996 (java) S 20985 20985 2334 0 -1 1077944384 314 0 0 0 8 3 0 0 20 0 28 0 2580450 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139740844333712 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20997] ppid=20985 vsize=26536504 CPUtime=0.04 cores=0-7
/proc/20987/task/20997/stat : 20997 (java) S 20985 20985 2334 0 -1 1077944384 3561 0 0 0 3 1 0 0 20 0 28 0 2580451 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739498613232 139741289175682 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20998] ppid=20985 vsize=26536504 CPUtime=0 cores=0-7
/proc/20987/task/20998/stat : 20998 (java) S 20985 20985 2334 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 2580452 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739497559520 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20999] ppid=20985 vsize=26536504 CPUtime=0 cores=0-7
/proc/20987/task/20999/stat : 20999 (java) S 20985 20985 2334 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 2580452 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739496506880 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21000] ppid=20985 vsize=26536504 CPUtime=0 cores=0-7
/proc/20987/task/21000/stat : 21000 (java) S 20985 20985 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 2580454 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739495455440 139741289183131 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21001] ppid=20985 vsize=26536504 CPUtime=3.38 cores=0-7
/proc/20987/task/21001/stat : 21001 (java) S 20985 20985 2334 0 -1 1077944384 16633 0 0 0 334 4 0 0 20 0 28 0 2580454 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739494402032 139741289175682 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21002] ppid=20985 vsize=26536504 CPUtime=3.05 cores=0-7
/proc/20987/task/21002/stat : 21002 (java) S 20985 20985 2334 0 -1 1077944384 13844 0 0 0 301 4 0 0 20 0 28 0 2580454 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739493349488 139741289175682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21003] ppid=20985 vsize=26536504 CPUtime=3.15 cores=0-7
/proc/20987/task/21003/stat : 21003 (java) S 20985 20985 2334 0 -1 1077944384 18667 0 0 0 312 3 0 0 20 0 28 0 2580454 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739492296944 139741289175682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21004] ppid=20985 vsize=26536504 CPUtime=1.1 cores=0-7
/proc/20987/task/21004/stat : 21004 (java) S 20985 20985 2334 0 -1 1077944384 15331 0 0 0 106 4 0 0 20 0 28 0 2580454 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739491244400 139741289175682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21005] ppid=20985 vsize=26536504 CPUtime=0 cores=0-7
/proc/20987/task/21005/stat : 21005 (java) S 20985 20985 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 2580454 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739490192096 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21006] ppid=20985 vsize=26536504 CPUtime=0.08 cores=0-7
/proc/20987/task/21006/stat : 21006 (java) S 20985 20985 2334 0 -1 1077944384 2247 0 0 0 4 4 0 0 20 0 28 0 2580459 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739489139632 139741289175682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21177] ppid=20985 vsize=26536504 CPUtime=73.2 cores=0-7
/proc/20987/task/21177/stat : 21177 (java) R 20985 20985 2334 0 -1 4202560 1027 0 0 0 7320 0 0 0 20 0 28 0 2595344 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739473759560 139740938430811 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21178] ppid=20985 vsize=26536504 CPUtime=72.13 cores=0-7
/proc/20987/task/21178/stat : 21178 (java) R 20985 20985 2334 0 -1 4202560 835 0 0 0 7213 0 0 0 20 0 28 0 2595344 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739477971384 139740934435100 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21179] ppid=20985 vsize=26536504 CPUtime=73.13 cores=0-7
/proc/20987/task/21179/stat : 21179 (java) R 20985 20985 2334 0 -1 4202560 2591 0 0 0 7312 1 0 0 20 0 28 0 2595344 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739476917928 139740942081132 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21180] ppid=20985 vsize=26536504 CPUtime=73.12 cores=0-7
/proc/20987/task/21180/stat : 21180 (java) R 20985 20985 2334 0 -1 4202560 1776 0 0 0 7310 2 0 0 20 0 28 0 2595344 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739480075912 139740937952753 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21181] ppid=20985 vsize=26536504 CPUtime=73.2 cores=0-7
/proc/20987/task/21181/stat : 21181 (java) R 20985 20985 2334 0 -1 4202560 1737 0 0 0 7318 2 0 0 20 0 28 0 2595344 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739475865368 139740941400547 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21182] ppid=20985 vsize=26536504 CPUtime=73.19 cores=0-7
/proc/20987/task/21182/stat : 21182 (java) R 20985 20985 2334 0 -1 4202560 657 0 0 0 7319 0 0 0 20 0 28 0 2595344 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739479023768 139740935491505 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21183] ppid=20985 vsize=26536504 CPUtime=73.05 cores=0-7
/proc/20987/task/21183/stat : 21183 (java) R 20985 20985 2334 0 -1 4202560 4543 0 0 0 7290 15 0 0 20 0 28 0 2595344 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739481131936 139740942220580 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21184] ppid=20985 vsize=26536504 CPUtime=73.21 cores=0-7
/proc/20987/task/21184/stat : 21184 (java) R 20985 20985 2334 0 -1 4202560 737 0 0 0 7321 0 0 0 20 0 28 0 2595344 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739474813312 139740934435073 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
Current children cumulated CPU time (s) 1766
Current children cumulated vsize (KiB) 26546016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+241.601 s]
/proc/loadavg: 8.33 8.09 7.27 9/201 21186
/proc/meminfo: memFree=29638976/32770624 swapFree=0/304332
[pid=20985] ppid=20982 vsize=9512 CPUtime=0 cores=0-7
/proc/20985/stat : 20985 (xcsp3-exec) S 20982 20985 2334 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 2580440 9740288 344 18446744073709551615 4194304 5098028 140731285904208 140731285902312 140045515588220 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 21303296 140731285905813 140731285906022 140731285906022 140731285909483 0
/proc/20985/statm: 2378 344 289 221 0 87 0
[pid=20987] ppid=20985 vsize=26536504 CPUtime=1920.03 cores=0-7
/proc/20987/stat : 20987 (java) S 20985 20985 2334 0 -1 1077944320 131913 0 0 0 191854 149 0 0 20 0 28 0 2580449 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 140732129831856 139741289164535 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
/proc/20987/statm: 6634126 543375 3257 1 0 6622427 0
[pid=20987/tid=20988] ppid=20985 vsize=26536504 CPUtime=1.27 cores=0-7
/proc/20987/task/20988/stat : 20988 (java) S 20985 20985 2334 0 -1 1077944384 9640 0 0 0 122 5 0 0 20 0 28 0 2580449 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139741293405312 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20989] ppid=20985 vsize=26536504 CPUtime=0.12 cores=0-7
/proc/20987/task/20989/stat : 20989 (java) S 20985 20985 2334 0 -1 1077944384 567 0 0 0 8 4 0 0 20 0 28 0 2580450 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139741258877712 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20990] ppid=20985 vsize=26536504 CPUtime=0.11 cores=0-7
/proc/20987/task/20990/stat : 20990 (java) S 20985 20985 2334 0 -1 1077944384 420 0 0 0 8 3 0 0 20 0 28 0 2580450 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139740850650000 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20991] ppid=20985 vsize=26536504 CPUtime=0.13 cores=0-7
/proc/20987/task/20991/stat : 20991 (java) S 20985 20985 2334 0 -1 1077944384 283 0 0 0 9 4 0 0 20 0 28 0 2580450 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139740849597456 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20992] ppid=20985 vsize=26536504 CPUtime=0.12 cores=0-7
/proc/20987/task/20992/stat : 20992 (java) S 20985 20985 2334 0 -1 1077944384 585 0 0 0 8 4 0 0 20 0 28 0 2580450 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139740848544912 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20993] ppid=20985 vsize=26536504 CPUtime=0.12 cores=0-7
/proc/20987/task/20993/stat : 20993 (java) S 20985 20985 2334 0 -1 1077944384 684 0 0 0 9 3 0 0 20 0 28 0 2580450 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139740847491344 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20994] ppid=20985 vsize=26536504 CPUtime=0.13 cores=0-7
/proc/20987/task/20994/stat : 20994 (java) S 20985 20985 2334 0 -1 1077944384 1693 0 0 0 9 4 0 0 20 0 28 0 2580450 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139740846438800 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20995] ppid=20985 vsize=26536504 CPUtime=0.14 cores=0-7
/proc/20987/task/20995/stat : 20995 (java) S 20985 20985 2334 0 -1 1077944384 2153 0 0 0 10 4 0 0 20 0 28 0 2580450 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139740845386256 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20996] ppid=20985 vsize=26536504 CPUtime=0.11 cores=0-7
/proc/20987/task/20996/stat : 20996 (java) S 20985 20985 2334 0 -1 1077944384 314 0 0 0 8 3 0 0 20 0 28 0 2580450 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139740844333712 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20997] ppid=20985 vsize=26536504 CPUtime=0.04 cores=0-7
/proc/20987/task/20997/stat : 20997 (java) S 20985 20985 2334 0 -1 1077944384 3665 0 0 0 3 1 0 0 20 0 28 0 2580451 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739498613232 139741289175682 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20998] ppid=20985 vsize=26536504 CPUtime=0 cores=0-7
/proc/20987/task/20998/stat : 20998 (java) S 20985 20985 2334 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 2580452 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739497559520 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=20999] ppid=20985 vsize=26536504 CPUtime=0 cores=0-7
/proc/20987/task/20999/stat : 20999 (java) S 20985 20985 2334 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 2580452 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739496506880 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21000] ppid=20985 vsize=26536504 CPUtime=0 cores=0-7
/proc/20987/task/21000/stat : 21000 (java) S 20985 20985 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 2580454 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739495455440 139741289183131 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21001] ppid=20985 vsize=26536504 CPUtime=3.42 cores=0-7
/proc/20987/task/21001/stat : 21001 (java) S 20985 20985 2334 0 -1 1077944384 18667 0 0 0 338 4 0 0 20 0 28 0 2580454 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739494402032 139741289175682 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21002] ppid=20985 vsize=26536504 CPUtime=3.05 cores=0-7
/proc/20987/task/21002/stat : 21002 (java) S 20985 20985 2334 0 -1 1077944384 13850 0 0 0 301 4 0 0 20 0 28 0 2580454 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739493349488 139741289175682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21003] ppid=20985 vsize=26536504 CPUtime=3.15 cores=0-7
/proc/20987/task/21003/stat : 21003 (java) S 20985 20985 2334 0 -1 1077944384 18673 0 0 0 312 3 0 0 20 0 28 0 2580454 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739492296944 139741289175682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21004] ppid=20985 vsize=26536504 CPUtime=1.1 cores=0-7
/proc/20987/task/21004/stat : 21004 (java) S 20985 20985 2334 0 -1 1077944384 16505 0 0 0 106 4 0 0 20 0 28 0 2580454 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739491244400 139741289175682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21005] ppid=20985 vsize=26536504 CPUtime=0 cores=0-7
/proc/20987/task/21005/stat : 21005 (java) S 20985 20985 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 2580454 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739490192096 139741289174741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21006] ppid=20985 vsize=26536504 CPUtime=0.1 cores=0-7
/proc/20987/task/21006/stat : 21006 (java) S 20985 20985 2334 0 -1 1077944384 2279 0 0 0 5 5 0 0 20 0 28 0 2580459 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739489139632 139741289175682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21177] ppid=20985 vsize=26536504 CPUtime=92.49 cores=0-7
/proc/20987/task/21177/stat : 21177 (java) R 20985 20985 2334 0 -1 4202560 1091 0 0 0 9249 0 0 0 20 0 28 0 2595344 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739473759536 139740934434964 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21178] ppid=20985 vsize=26536504 CPUtime=91.14 cores=0-7
/proc/20987/task/21178/stat : 21178 (java) R 20985 20985 2334 0 -1 4202560 898 0 0 0 9114 0 0 0 20 0 28 0 2595344 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739477971512 139740941366373 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21179] ppid=20985 vsize=26536504 CPUtime=92.42 cores=0-7
/proc/20987/task/21179/stat : 21179 (java) R 20985 20985 2334 0 -1 4202560 3069 0 0 0 9240 2 0 0 20 0 28 0 2595344 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739476917664 139740938045182 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21180] ppid=20985 vsize=26536504 CPUtime=92.41 cores=0-7
/proc/20987/task/21180/stat : 21180 (java) R 20985 20985 2334 0 -1 4202560 2031 0 0 0 9238 3 0 0 20 0 28 0 2595344 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739480076576 139740938006873 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21181] ppid=20985 vsize=26536504 CPUtime=92.46 cores=0-7
/proc/20987/task/21181/stat : 21181 (java) R 20985 20985 2334 0 -1 4202560 2055 0 0 0 9242 4 0 0 20 0 28 0 2595344 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739475865528 139740941318657 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21182] ppid=20985 vsize=26536504 CPUtime=92.48 cores=0-7
/proc/20987/task/21182/stat : 21182 (java) R 20985 20985 2334 0 -1 4202560 709 0 0 0 9248 0 0 0 20 0 28 0 2595344 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739479023768 139740937952780 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21183] ppid=20985 vsize=26536504 CPUtime=92.32 cores=0-7
/proc/20987/task/21183/stat : 21183 (java) R 20985 20985 2334 0 -1 4202560 5346 0 0 0 9216 16 0 0 20 0 28 0 2595344 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739481129240 139740936984384 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
[pid=20987/tid=21184] ppid=20985 vsize=26536504 CPUtime=92.5 cores=0-7
/proc/20987/task/21184/stat : 21184 (java) R 20985 20985 2334 0 -1 4202560 758 0 0 0 9250 0 0 0 20 0 28 0 2595344 27173380096 543375 18446744073709551615 4194304 4196468 140732129849312 139739474813312 139740938046252 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140732129853906 140732129854082 140732129854082 140732129857487 0
Current children cumulated CPU time (s) 1920.03
Current children cumulated vsize (KiB) 26546016

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20987 sig 9
??? kill 20985 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20985 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=970
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=970
# CPU time returned by wait4() is 0.00194
# while last known CPU time is 1920.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 241.635
CPU time (s): 1920.03
CPU user time (s): 1918.54
CPU system time (s): 1.49
CPU usage (%): 794.599
Max. virtual memory (cumulated for all children) (KiB): 26546016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00097
system time used= 0.00097
maximum resident set size= 1380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.81393 second user time and 1.76268 second system time

The end

Name	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-038.xml
MD5SUM	5c46c59146557e02d06c9ff3e1746190
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	127
Best CPU time to get the best result obtained on this benchmark	1921.35
Satisfiable
(Un)Satisfiability was proved
Number of variables	1481
Number of constraints	777
Number of domains	75
Minimum domain size	2
Maximum domain size	75
Distribution of domain sizes	[{"size":2,"count":742},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":33,"count":2}, {"size":34,"count":1}, {"size":35,"count":2}, {"size":36,"count":1}, {"size":37,"count":2}, {"size":38,"count":1}, {"size":39,"count":1}, {"size":41,"count":1}, {"size":43,"count":1}, {"size":45,"count":1}, {"size":47,"count":1}, {"size":49,"count":1}, {"size":51,"count":1}, {"size":53,"count":1}, {"size":55,"count":1}, {"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}]
Minimum variable degree	0
Maximum variable degree	37
Distribution of variable degrees	[{"degree":0,"count":666},{"degree":2,"count":777},{"degree":37,"count":38}]
Minimum constraint arity	2
Maximum constraint arity	38
Distribution of constraint arities	[{"arity":2,"count":38},{"arity":3,"count":704},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":37,"count":1},{"arity":38,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	740
Distribution of constraint types	[{"type":"intension","count":740},{"type":"sum","count":37}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4254582

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data