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 seq (2017-07-26)	SAT (TO)	215	244.3	240.00999

0.00/0.09	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254085-1501614882.xml"  -tl '264s' -p 1 -x 0
0.00/0.26	c [HOME/instance-4254085-1501614882.xml, -tl, 264s, -p, 1, -x, 0]
0.00/0.32	c simple solver
0.00/0.39	c parse instance...
0.00/0.85	c solve instance...
0.00/0.96	o 575 
0.00/0.97	o 479 
0.00/0.98	o 439 
0.00/1.04	o 399 
2.53/1.11	o 391 
2.85/1.21	o 375 
3.84/1.85	o 367 
3.84/1.87	o 343 
4.32/2.05	o 303 
7.53/4.01	o 271 
9.17/5.55	o 215 
244.30/240.00	s SATISFIABLE
244.30/240.00	v <instantiation>
244.30/240.00	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>
244.30/240.00	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 -1 -6 1 0 1 -4 1 -4 1 0 -1 -4 -5 0 -1 0 1 2 1 4 5 -2 -1 2 3 -2 -1 2 -3 2 1 -2 1 -2 1 0 -1 1 36 1 0 1 16 1 16 1 0 1 16 25 0 1 0 1 4 1 16 25 4 1 4 9 4 1 4 9 4 1 4 1 4 1 0 1 </values>
244.30/240.00	v </instantiation>
244.30/240.00	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-4254085-1501614882/watcher-4254085-1501614882 -o /tmp/evaluation-result-4254085-1501614882/solver-4254085-1501614882 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501610486-5295 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 941297096 HOME/instance-4254085-1501614882.xml 

pid=8804
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.96 2.02 1.92 3/200 8807
/proc/meminfo: memFree=31647896/32770624 swapFree=0/279500
[pid=8807] ppid=8804 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/8807/stat : 8807 (runsolver) D 8804 8807 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 8993969 24240128 108 18446744073709551615 4194304 4338465 140729113816768 140729113814408 140446784033495 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 26124288 140729113821278 140729113821766 140729113821766 140729113825226 0
/proc/8807/statm: 5918 108 54 36 0 2156 0

[startup+0.100155 s]
/proc/loadavg: 1.96 2.02 1.92 3/200 8807
/proc/meminfo: memFree=31647896/32770624 swapFree=0/279500
[pid=8807] ppid=8804 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8807/stat : 8807 (xcsp3-exec) S 8804 8807 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 8993969 9740288 344 18446744073709551615 4194304 5098028 140731571235872 140731571233976 140193457148540 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 18898944 140731571237276 140731571237479 140731571237479 140731571240939 0
/proc/8807/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200942 s]
/proc/loadavg: 1.96 2.02 1.92 3/200 8807
/proc/meminfo: memFree=31647896/32770624 swapFree=0/279500
[pid=8807] ppid=8804 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8807/stat : 8807 (xcsp3-exec) S 8804 8807 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 8993969 9740288 344 18446744073709551615 4194304 5098028 140731571235872 140731571233976 140193457148540 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 18898944 140731571237276 140731571237479 140731571237479 140731571240939 0
/proc/8807/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.30284 s]
/proc/loadavg: 1.96 2.02 1.92 3/200 8807
/proc/meminfo: memFree=31647896/32770624 swapFree=0/279500
[pid=8807] ppid=8804 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8807/stat : 8807 (xcsp3-exec) S 8804 8807 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 8993969 9740288 344 18446744073709551615 4194304 5098028 140731571235872 140731571233976 140193457148540 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 18898944 140731571237276 140731571237479 140731571237479 140731571240939 0
/proc/8807/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.703991 s]
/proc/loadavg: 1.96 2.02 1.92 3/200 8807
/proc/meminfo: memFree=31647896/32770624 swapFree=0/279500
[pid=8807] ppid=8804 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8807/stat : 8807 (xcsp3-exec) S 8804 8807 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 8993969 9740288 344 18446744073709551615 4194304 5098028 140731571235872 140731571233976 140193457148540 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 18898944 140731571237276 140731571237479 140731571237479 140731571240939 0
/proc/8807/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50066 s]
/proc/loadavg: 1.96 2.02 1.92 5/216 8823
/proc/meminfo: memFree=31557936/32770624 swapFree=0/279496
[pid=8807] ppid=8804 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8807/stat : 8807 (xcsp3-exec) S 8804 8807 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 8993969 9740288 344 18446744073709551615 4194304 5098028 140731571235872 140731571233976 140193457148540 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 18898944 140731571237276 140731571237479 140731571237479 140731571240939 0
/proc/8807/statm: 2378 344 289 221 0 87 0
[pid=8809] ppid=8807 vsize=13980732 CPUtime=3.51 cores=1,3,5,7
/proc/8809/stat : 8809 (java) S 8807 8807 5234 0 -1 1077944320 20608 0 0 0 345 6 0 0 20 0 15 0 8993978 14316269568 26173 18446744073709551615 4194304 4196468 140721727173952 140721727156496 140393599471351 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
/proc/8809/statm: 3495183 26173 3179 1 0 3483484 0
[pid=8809/tid=8810] ppid=8807 vsize=13980732 CPUtime=1.36 cores=1,3,5,7
/proc/8809/task/8810/stat : 8810 (java) R 8807 8807 5234 0 -1 4202560 10085 0 0 0 132 4 0 0 20 0 15 0 8993978 14316269568 26173 18446744073709551615 4194304 4196468 140721727173952 140393603689248 140393236997184 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8811] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8811/stat : 8811 (java) S 8807 8807 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8993979 14316269568 26173 18446744073709551615 4194304 4196468 140721727173952 140393199102992 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8812] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8812/stat : 8812 (java) S 8807 8807 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8993979 14316269568 26173 18446744073709551615 4194304 4196468 140721727173952 140393198050448 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8813] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8813/stat : 8813 (java) S 8807 8807 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8993979 14316269568 26173 18446744073709551615 4194304 4196468 140721727173952 140393196997392 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8814] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8814/stat : 8814 (java) S 8807 8807 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8993979 14316269568 26173 18446744073709551615 4194304 4196468 140721727173952 140393195944848 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8815] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8815/stat : 8815 (java) S 8807 8807 5234 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 8993980 14316269568 26173 18446744073709551615 4194304 4196468 140721727173952 140393078020336 140393599482498 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8816] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8816/stat : 8816 (java) S 8807 8807 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8993981 14316269568 26173 18446744073709551615 4194304 4196468 140721727173952 140393076966560 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8817] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8817/stat : 8817 (java) S 8807 8807 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8993981 14316269568 26173 18446744073709551615 4194304 4196468 140721727173952 140393075913456 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8818] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8818/stat : 8818 (java) S 8807 8807 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8993983 14316269568 26173 18446744073709551615 4194304 4196468 140721727173952 140393074862032 140393599489947 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8819] ppid=8807 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/8809/task/8819/stat : 8819 (java) S 8807 8807 5234 0 -1 1077944384 3501 0 0 0 76 0 0 0 20 0 15 0 8993983 14316269568 26173 18446744073709551615 4194304 4196468 140721727173952 140393073810160 140393599482498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8820] ppid=8807 vsize=13980732 CPUtime=0.79 cores=1,3,5,7
/proc/8809/task/8820/stat : 8820 (java) S 8807 8807 5234 0 -1 1077944384 3084 0 0 0 79 0 0 0 20 0 15 0 8993983 14316269568 26173 18446744073709551615 4194304 4196468 140721727173952 140393072757616 140393599482498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8821] ppid=8807 vsize=13980732 CPUtime=0.58 cores=1,3,5,7
/proc/8809/task/8821/stat : 8821 (java) S 8807 8807 5234 0 -1 1077944384 2586 0 0 0 58 0 0 0 20 0 15 0 8993983 14316269568 26173 18446744073709551615 4194304 4196468 140721727173952 140393071704560 140393599482498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8822] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8822/stat : 8822 (java) S 8807 8807 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8993984 14316269568 26173 18446744073709551615 4194304 4196468 140721727173952 140393070652256 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8823] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8823/stat : 8823 (java) S 8807 8807 5234 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 8993987 14316269568 26173 18446744073709551615 4194304 4196468 140721727173952 140393069599280 140393599482498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
Current children cumulated CPU time (s) 3.51
Current children cumulated vsize (KiB) 13990244

[startup+3.10061 s]
/proc/loadavg: 1.96 2.02 1.92 5/216 8823
/proc/meminfo: memFree=31521340/32770624 swapFree=0/279504
[pid=8807] ppid=8804 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8807/stat : 8807 (xcsp3-exec) S 8804 8807 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 8993969 9740288 344 18446744073709551615 4194304 5098028 140731571235872 140731571233976 140193457148540 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 18898944 140731571237276 140731571237479 140731571237479 140731571240939 0
/proc/8807/statm: 2378 344 289 221 0 87 0
[pid=8809] ppid=8807 vsize=13980732 CPUtime=6.57 cores=1,3,5,7
/proc/8809/stat : 8809 (java) S 8807 8807 5234 0 -1 1077944320 30940 0 0 0 650 7 0 0 20 0 15 0 8993978 14316269568 35288 18446744073709551615 4194304 4196468 140721727173952 140721727156496 140393599471351 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
/proc/8809/statm: 3495183 35288 3187 1 0 3483484 0
[pid=8809/tid=8810] ppid=8807 vsize=13980732 CPUtime=2.95 cores=1,3,5,7
/proc/8809/task/8810/stat : 8810 (java) R 8807 8807 5234 0 -1 4202560 10150 0 0 0 291 4 0 0 20 0 15 0 8993978 14316269568 35288 18446744073709551615 4194304 4196468 140721727173952 140393603708568 140393242297509 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8811] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8811/stat : 8811 (java) S 8807 8807 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8993979 14316269568 35288 18446744073709551615 4194304 4196468 140721727173952 140393199102992 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8812] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8812/stat : 8812 (java) S 8807 8807 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8993979 14316269568 35288 18446744073709551615 4194304 4196468 140721727173952 140393198050448 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8813] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8813/stat : 8813 (java) S 8807 8807 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8993979 14316269568 35288 18446744073709551615 4194304 4196468 140721727173952 140393196997392 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8814] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8814/stat : 8814 (java) S 8807 8807 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8993979 14316269568 35288 18446744073709551615 4194304 4196468 140721727173952 140393195944848 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8815] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8815/stat : 8815 (java) S 8807 8807 5234 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 8993980 14316269568 35288 18446744073709551615 4194304 4196468 140721727173952 140393078020336 140393599482498 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8816] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8816/stat : 8816 (java) S 8807 8807 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8993981 14316269568 35288 18446744073709551615 4194304 4196468 140721727173952 140393076966560 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8817] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8817/stat : 8817 (java) S 8807 8807 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8993981 14316269568 35288 18446744073709551615 4194304 4196468 140721727173952 140393075913456 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8818] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8818/stat : 8818 (java) S 8807 8807 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8993983 14316269568 35288 18446744073709551615 4194304 4196468 140721727173952 140393074862032 140393599489947 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8819] ppid=8807 vsize=13980732 CPUtime=1.48 cores=1,3,5,7
/proc/8809/task/8819/stat : 8819 (java) S 8807 8807 5234 0 -1 1077944384 9309 0 0 0 147 1 0 0 20 0 15 0 8993983 14316269568 35288 18446744073709551615 4194304 4196468 140721727173952 140393073810160 140393599482498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8820] ppid=8807 vsize=13980732 CPUtime=1.52 cores=1,3,5,7
/proc/8809/task/8820/stat : 8820 (java) S 8807 8807 5234 0 -1 1077944384 7485 0 0 0 151 1 0 0 20 0 15 0 8993983 14316269568 35288 18446744073709551615 4194304 4196468 140721727173952 140393072757616 140393599482498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8821] ppid=8807 vsize=13980732 CPUtime=0.6 cores=1,3,5,7
/proc/8809/task/8821/stat : 8821 (java) S 8807 8807 5234 0 -1 1077944384 2641 0 0 0 59 1 0 0 20 0 15 0 8993983 14316269568 35288 18446744073709551615 4194304 4196468 140721727173952 140393071704560 140393599482498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8822] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8822/stat : 8822 (java) S 8807 8807 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8993984 14316269568 35288 18446744073709551615 4194304 4196468 140721727173952 140393070652256 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8823] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8823/stat : 8823 (java) S 8807 8807 5234 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 8993987 14316269568 35288 18446744073709551615 4194304 4196468 140721727173952 140393069599280 140393599482498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
Current children cumulated CPU time (s) 6.57
Current children cumulated vsize (KiB) 13990244

[startup+6.30065 s]
/proc/loadavg: 1.96 2.02 1.92 3/216 8823
/proc/meminfo: memFree=31523076/32770624 swapFree=0/279504
[pid=8807] ppid=8804 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8807/stat : 8807 (xcsp3-exec) S 8804 8807 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 8993969 9740288 344 18446744073709551615 4194304 5098028 140731571235872 140731571233976 140193457148540 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 18898944 140731571237276 140731571237479 140731571237479 140731571240939 0
/proc/8807/statm: 2378 344 289 221 0 87 0
[pid=8809] ppid=8807 vsize=13980732 CPUtime=9.96 cores=1,3,5,7
/proc/8809/stat : 8809 (java) S 8807 8807 5234 0 -1 1077944320 35100 0 0 0 988 8 0 0 20 0 15 0 8993978 14316269568 34032 18446744073709551615 4194304 4196468 140721727173952 140721727156496 140393599471351 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
/proc/8809/statm: 3495183 34032 3193 1 0 3483484 0
[pid=8809/tid=8810] ppid=8807 vsize=13980732 CPUtime=6.15 cores=1,3,5,7
/proc/8809/task/8810/stat : 8810 (java) R 8807 8807 5234 0 -1 4202560 10986 0 0 0 611 4 0 0 20 0 15 0 8993978 14316269568 34032 18446744073709551615 4194304 4196468 140721727173952 140393603707360 140393237797172 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8811] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8811/stat : 8811 (java) S 8807 8807 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8993979 14316269568 34032 18446744073709551615 4194304 4196468 140721727173952 140393199102992 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8812] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8812/stat : 8812 (java) S 8807 8807 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8993979 14316269568 34032 18446744073709551615 4194304 4196468 140721727173952 140393198050448 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8813] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8813/stat : 8813 (java) S 8807 8807 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8993979 14316269568 34032 18446744073709551615 4194304 4196468 140721727173952 140393196997392 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8814] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8814/stat : 8814 (java) S 8807 8807 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8993979 14316269568 34032 18446744073709551615 4194304 4196468 140721727173952 140393195944848 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8815] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8815/stat : 8815 (java) S 8807 8807 5234 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 15 0 8993980 14316269568 34032 18446744073709551615 4194304 4196468 140721727173952 140393078020336 140393599482498 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8816] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8816/stat : 8816 (java) S 8807 8807 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8993981 14316269568 34032 18446744073709551615 4194304 4196468 140721727173952 140393076966560 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8817] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8817/stat : 8817 (java) S 8807 8807 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8993981 14316269568 34032 18446744073709551615 4194304 4196468 140721727173952 140393075913456 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8818] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8818/stat : 8818 (java) S 8807 8807 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8993983 14316269568 34032 18446744073709551615 4194304 4196468 140721727173952 140393074862032 140393599489947 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8819] ppid=8807 vsize=13980732 CPUtime=1.55 cores=1,3,5,7
/proc/8809/task/8819/stat : 8819 (java) S 8807 8807 5234 0 -1 1077944384 10430 0 0 0 154 1 0 0 20 0 15 0 8993983 14316269568 34032 18446744073709551615 4194304 4196468 140721727173952 140393073810160 140393599482498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8820] ppid=8807 vsize=13980732 CPUtime=1.61 cores=1,3,5,7
/proc/8809/task/8820/stat : 8820 (java) S 8807 8807 5234 0 -1 1077944384 8338 0 0 0 160 1 0 0 20 0 15 0 8993983 14316269568 34032 18446744073709551615 4194304 4196468 140721727173952 140393072757616 140393599482498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8821] ppid=8807 vsize=13980732 CPUtime=0.61 cores=1,3,5,7
/proc/8809/task/8821/stat : 8821 (java) S 8807 8807 5234 0 -1 1077944384 2839 0 0 0 60 1 0 0 20 0 15 0 8993983 14316269568 34032 18446744073709551615 4194304 4196468 140721727173952 140393071704560 140393599482498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8822] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8822/stat : 8822 (java) S 8807 8807 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8993984 14316269568 34032 18446744073709551615 4194304 4196468 140721727173952 140393070652256 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8823] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8823/stat : 8823 (java) S 8807 8807 5234 0 -1 1077944384 917 0 0 0 0 0 0 0 20 0 15 0 8993987 14316269568 34032 18446744073709551615 4194304 4196468 140721727173952 140393069599280 140393599482498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (KiB) 13990244

[startup+12.7006 s]
/proc/loadavg: 1.97 2.02 1.92 3/216 8824
/proc/meminfo: memFree=31516692/32770624 swapFree=0/279512
[pid=8807] ppid=8804 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8807/stat : 8807 (xcsp3-exec) S 8804 8807 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 8993969 9740288 344 18446744073709551615 4194304 5098028 140731571235872 140731571233976 140193457148540 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 18898944 140731571237276 140731571237479 140731571237479 140731571240939 0
/proc/8807/statm: 2378 344 289 221 0 87 0
[pid=8809] ppid=8807 vsize=13980732 CPUtime=16.68 cores=1,3,5,7
/proc/8809/stat : 8809 (java) S 8807 8807 5234 0 -1 1077944320 41622 0 0 0 1660 8 0 0 20 0 15 0 8993978 14316269568 35626 18446744073709551615 4194304 4196468 140721727173952 140721727156496 140393599471351 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
/proc/8809/statm: 3495183 35626 3194 1 0 3483484 0
[pid=8809/tid=8810] ppid=8807 vsize=13980732 CPUtime=12.55 cores=1,3,5,7
/proc/8809/task/8810/stat : 8810 (java) R 8807 8807 5234 0 -1 4202560 11674 0 0 0 1251 4 0 0 20 0 15 0 8993978 14316269568 35626 18446744073709551615 4194304 4196468 140721727173952 140393603708440 140393242297267 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8811] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8811/stat : 8811 (java) S 8807 8807 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8993979 14316269568 35626 18446744073709551615 4194304 4196468 140721727173952 140393199102992 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8812] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8812/stat : 8812 (java) S 8807 8807 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8993979 14316269568 35626 18446744073709551615 4194304 4196468 140721727173952 140393198050448 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0

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

[pid=8809/tid=8816] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8816/stat : 8816 (java) S 8807 8807 5234 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 8993981 14316269568 55216 18446744073709551615 4194304 4196468 140721727173952 140393076966560 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8817] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8817/stat : 8817 (java) S 8807 8807 5234 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 8993981 14316269568 55216 18446744073709551615 4194304 4196468 140721727173952 140393075913456 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8818] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8818/stat : 8818 (java) S 8807 8807 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8993983 14316269568 55216 18446744073709551615 4194304 4196468 140721727173952 140393074862032 140393599489947 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8819] ppid=8807 vsize=13980732 CPUtime=1.74 cores=1,3,5,7
/proc/8809/task/8819/stat : 8819 (java) S 8807 8807 5234 0 -1 1077944384 15416 0 0 0 173 1 0 0 20 0 15 0 8993983 14316269568 55216 18446744073709551615 4194304 4196468 140721727173952 140393073810160 140393599482498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8820] ppid=8807 vsize=13980732 CPUtime=1.92 cores=1,3,5,7
/proc/8809/task/8820/stat : 8820 (java) S 8807 8807 5234 0 -1 1077944384 13279 0 0 0 191 1 0 0 20 0 15 0 8993983 14316269568 55216 18446744073709551615 4194304 4196468 140721727173952 140393072757616 140393599482498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8821] ppid=8807 vsize=13980732 CPUtime=0.65 cores=1,3,5,7
/proc/8809/task/8821/stat : 8821 (java) S 8807 8807 5234 0 -1 1077944384 6476 0 0 0 64 1 0 0 20 0 15 0 8993983 14316269568 55216 18446744073709551615 4194304 4196468 140721727173952 140393071704560 140393599482498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8822] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8822/stat : 8822 (java) S 8807 8807 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8993984 14316269568 55216 18446744073709551615 4194304 4196468 140721727173952 140393070652256 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8823] ppid=8807 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/8809/task/8823/stat : 8823 (java) S 8807 8807 5234 0 -1 1077944384 1133 0 0 0 1 1 0 0 20 0 15 0 8993987 14316269568 55216 18446744073709551615 4194304 4196468 140721727173952 140393069599280 140393599482498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
Current children cumulated CPU time (s) 106.55
Current children cumulated vsize (KiB) 13990244

[startup+162.301 s]
/proc/loadavg: 2.01 2.02 1.94 3/217 8934
/proc/meminfo: memFree=31461868/32770624 swapFree=0/279712
[pid=8807] ppid=8804 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8807/stat : 8807 (xcsp3-exec) S 8804 8807 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 8993969 9740288 344 18446744073709551615 4194304 5098028 140731571235872 140731571233976 140193457148540 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 18898944 140731571237276 140731571237479 140731571237479 140731571240939 0
/proc/8807/statm: 2378 344 289 221 0 87 0
[pid=8809] ppid=8807 vsize=13980732 CPUtime=166.56 cores=1,3,5,7
/proc/8809/stat : 8809 (java) S 8807 8807 5234 0 -1 1077944320 54044 0 0 0 16643 13 0 0 20 0 15 0 8993978 14316269568 55216 18446744073709551615 4194304 4196468 140721727173952 140721727156496 140393599471351 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
/proc/8809/statm: 3495183 55216 3218 1 0 3483484 0
[pid=8809/tid=8810] ppid=8807 vsize=13980732 CPUtime=162.14 cores=1,3,5,7
/proc/8809/task/8810/stat : 8810 (java) R 8807 8807 5234 0 -1 4202560 14274 0 0 0 16208 6 0 0 20 0 15 0 8993978 14316269568 55216 18446744073709551615 4194304 4196468 140721727173952 140393603708200 140393242168347 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8811] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8811/stat : 8811 (java) S 8807 8807 5234 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 8993979 14316269568 55216 18446744073709551615 4194304 4196468 140721727173952 140393199102992 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8812] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8812/stat : 8812 (java) S 8807 8807 5234 0 -1 1077944384 864 0 0 0 0 0 0 0 20 0 15 0 8993979 14316269568 55216 18446744073709551615 4194304 4196468 140721727173952 140393198050448 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8813] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8813/stat : 8813 (java) S 8807 8807 5234 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 8993979 14316269568 55216 18446744073709551615 4194304 4196468 140721727173952 140393196997392 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8814] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8814/stat : 8814 (java) S 8807 8807 5234 0 -1 1077944384 403 0 0 0 0 0 0 0 20 0 15 0 8993979 14316269568 55216 18446744073709551615 4194304 4196468 140721727173952 140393195944848 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8815] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8815/stat : 8815 (java) S 8807 8807 5234 0 -1 1077944384 656 0 0 0 0 0 0 0 20 0 15 0 8993980 14316269568 55216 18446744073709551615 4194304 4196468 140721727173952 140393078020336 140393599482498 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8816] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8816/stat : 8816 (java) S 8807 8807 5234 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 8993981 14316269568 55216 18446744073709551615 4194304 4196468 140721727173952 140393076966560 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8817] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8817/stat : 8817 (java) S 8807 8807 5234 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 8993981 14316269568 55216 18446744073709551615 4194304 4196468 140721727173952 140393075913456 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8818] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8818/stat : 8818 (java) S 8807 8807 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8993983 14316269568 55216 18446744073709551615 4194304 4196468 140721727173952 140393074862032 140393599489947 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8819] ppid=8807 vsize=13980732 CPUtime=1.74 cores=1,3,5,7
/proc/8809/task/8819/stat : 8819 (java) S 8807 8807 5234 0 -1 1077944384 15418 0 0 0 173 1 0 0 20 0 15 0 8993983 14316269568 55216 18446744073709551615 4194304 4196468 140721727173952 140393073810160 140393599482498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8820] ppid=8807 vsize=13980732 CPUtime=1.92 cores=1,3,5,7
/proc/8809/task/8820/stat : 8820 (java) S 8807 8807 5234 0 -1 1077944384 13281 0 0 0 191 1 0 0 20 0 15 0 8993983 14316269568 55216 18446744073709551615 4194304 4196468 140721727173952 140393072757616 140393599482498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8821] ppid=8807 vsize=13980732 CPUtime=0.65 cores=1,3,5,7
/proc/8809/task/8821/stat : 8821 (java) S 8807 8807 5234 0 -1 1077944384 6478 0 0 0 64 1 0 0 20 0 15 0 8993983 14316269568 55216 18446744073709551615 4194304 4196468 140721727173952 140393071704560 140393599482498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8822] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8822/stat : 8822 (java) S 8807 8807 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8993984 14316269568 55216 18446744073709551615 4194304 4196468 140721727173952 140393070652256 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8823] ppid=8807 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/8809/task/8823/stat : 8823 (java) S 8807 8807 5234 0 -1 1077944384 1135 0 0 0 1 2 0 0 20 0 15 0 8993987 14316269568 55216 18446744073709551615 4194304 4196468 140721727173952 140393069599280 140393599482498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
Current children cumulated CPU time (s) 166.56
Current children cumulated vsize (KiB) 13990244

[startup+222.306 s]
/proc/loadavg: 2.00 2.02 1.95 3/215 8936
/proc/meminfo: memFree=31453656/32770624 swapFree=0/279760
[pid=8807] ppid=8804 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8807/stat : 8807 (xcsp3-exec) S 8804 8807 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 8993969 9740288 344 18446744073709551615 4194304 5098028 140731571235872 140731571233976 140193457148540 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 18898944 140731571237276 140731571237479 140731571237479 140731571240939 0
/proc/8807/statm: 2378 344 289 221 0 87 0
[pid=8809] ppid=8807 vsize=13980732 CPUtime=226.6 cores=1,3,5,7
/proc/8809/stat : 8809 (java) S 8807 8807 5234 0 -1 1077944320 56471 0 0 0 22646 14 0 0 20 0 15 0 8993978 14316269568 57283 18446744073709551615 4194304 4196468 140721727173952 140721727156496 140393599471351 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
/proc/8809/statm: 3495183 57283 3223 1 0 3483484 0
[pid=8809/tid=8810] ppid=8807 vsize=13980732 CPUtime=222.14 cores=1,3,5,7
/proc/8809/task/8810/stat : 8810 (java) R 8807 8807 5234 0 -1 4202560 14788 0 0 0 22208 6 0 0 20 0 15 0 8993978 14316269568 57283 18446744073709551615 4194304 4196468 140721727173952 140393603710504 140393242187056 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8811] ppid=8807 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8809/task/8811/stat : 8811 (java) S 8807 8807 5234 0 -1 1077944384 374 0 0 0 1 0 0 0 20 0 15 0 8993979 14316269568 57283 18446744073709551615 4194304 4196468 140721727173952 140393199102992 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8812] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8812/stat : 8812 (java) S 8807 8807 5234 0 -1 1077944384 950 0 0 0 0 0 0 0 20 0 15 0 8993979 14316269568 57283 18446744073709551615 4194304 4196468 140721727173952 140393198050448 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8813] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8813/stat : 8813 (java) S 8807 8807 5234 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 15 0 8993979 14316269568 57283 18446744073709551615 4194304 4196468 140721727173952 140393196997392 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8814] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8814/stat : 8814 (java) S 8807 8807 5234 0 -1 1077944384 1240 0 0 0 0 0 0 0 20 0 15 0 8993979 14316269568 57283 18446744073709551615 4194304 4196468 140721727173952 140393195944848 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8815] ppid=8807 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8809/task/8815/stat : 8815 (java) S 8807 8807 5234 0 -1 1077944384 856 0 0 0 1 0 0 0 20 0 15 0 8993980 14316269568 57283 18446744073709551615 4194304 4196468 140721727173952 140393078020336 140393599482498 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8816] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8816/stat : 8816 (java) S 8807 8807 5234 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 8993981 14316269568 57283 18446744073709551615 4194304 4196468 140721727173952 140393076966560 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8817] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8817/stat : 8817 (java) S 8807 8807 5234 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 8993981 14316269568 57283 18446744073709551615 4194304 4196468 140721727173952 140393075913456 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8818] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8818/stat : 8818 (java) S 8807 8807 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8993983 14316269568 57283 18446744073709551615 4194304 4196468 140721727173952 140393074862032 140393599489947 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8819] ppid=8807 vsize=13980732 CPUtime=1.74 cores=1,3,5,7
/proc/8809/task/8819/stat : 8819 (java) S 8807 8807 5234 0 -1 1077944384 15420 0 0 0 173 1 0 0 20 0 15 0 8993983 14316269568 57283 18446744073709551615 4194304 4196468 140721727173952 140393073810160 140393599482498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8820] ppid=8807 vsize=13980732 CPUtime=1.92 cores=1,3,5,7
/proc/8809/task/8820/stat : 8820 (java) S 8807 8807 5234 0 -1 1077944384 13282 0 0 0 191 1 0 0 20 0 15 0 8993983 14316269568 57283 18446744073709551615 4194304 4196468 140721727173952 140393072757616 140393599482498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8821] ppid=8807 vsize=13980732 CPUtime=0.65 cores=1,3,5,7
/proc/8809/task/8821/stat : 8821 (java) S 8807 8807 5234 0 -1 1077944384 6869 0 0 0 64 1 0 0 20 0 15 0 8993983 14316269568 57283 18446744073709551615 4194304 4196468 140721727173952 140393071704560 140393599482498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8822] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8822/stat : 8822 (java) S 8807 8807 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8993984 14316269568 57283 18446744073709551615 4194304 4196468 140721727173952 140393070652256 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8823] ppid=8807 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/8809/task/8823/stat : 8823 (java) S 8807 8807 5234 0 -1 1077944384 1160 0 0 0 2 2 0 0 20 0 15 0 8993987 14316269568 57283 18446744073709551615 4194304 4196468 140721727173952 140393069599280 140393599482498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
Current children cumulated CPU time (s) 226.6
Current children cumulated vsize (KiB) 13990244



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 2.00 2.02 1.95 3/215 8936
/proc/meminfo: memFree=31453412/32770624 swapFree=0/279768
[pid=8807] ppid=8804 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8807/stat : 8807 (xcsp3-exec) S 8804 8807 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 8993969 9740288 344 18446744073709551615 4194304 5098028 140731571235872 140731571233976 140193457148540 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 18898944 140731571237276 140731571237479 140731571237479 140731571240939 0
/proc/8807/statm: 2378 344 289 221 0 87 0
[pid=8809] ppid=8807 vsize=13980732 CPUtime=244.3 cores=1,3,5,7
/proc/8809/stat : 8809 (java) S 8807 8807 5234 0 -1 1077944320 56841 0 0 0 24416 14 0 0 20 0 15 0 8993978 14316269568 57284 18446744073709551615 4194304 4196468 140721727173952 140721727156496 140393599471351 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
/proc/8809/statm: 3495183 57284 3223 1 0 3483484 0
[pid=8809/tid=8810] ppid=8807 vsize=13980732 CPUtime=239.84 cores=1,3,5,7
/proc/8809/task/8810/stat : 8810 (java) R 8807 8807 5234 0 -1 4202560 14796 0 0 0 23978 6 0 0 20 0 15 0 8993978 14316269568 57284 18446744073709551615 4194304 4196468 140721727173952 140393603710168 140393242323497 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8811] ppid=8807 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8809/task/8811/stat : 8811 (java) S 8807 8807 5234 0 -1 1077944384 374 0 0 0 1 0 0 0 20 0 15 0 8993979 14316269568 57284 18446744073709551615 4194304 4196468 140721727173952 140393199102992 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8812] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8812/stat : 8812 (java) S 8807 8807 5234 0 -1 1077944384 950 0 0 0 0 0 0 0 20 0 15 0 8993979 14316269568 57284 18446744073709551615 4194304 4196468 140721727173952 140393198050448 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8813] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8813/stat : 8813 (java) S 8807 8807 5234 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 15 0 8993979 14316269568 57284 18446744073709551615 4194304 4196468 140721727173952 140393196997392 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8814] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8814/stat : 8814 (java) S 8807 8807 5234 0 -1 1077944384 1240 0 0 0 0 0 0 0 20 0 15 0 8993979 14316269568 57284 18446744073709551615 4194304 4196468 140721727173952 140393195944848 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8815] ppid=8807 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8809/task/8815/stat : 8815 (java) S 8807 8807 5234 0 -1 1077944384 856 0 0 0 1 0 0 0 20 0 15 0 8993980 14316269568 57284 18446744073709551615 4194304 4196468 140721727173952 140393078020336 140393599482498 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8816] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8816/stat : 8816 (java) S 8807 8807 5234 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 8993981 14316269568 57284 18446744073709551615 4194304 4196468 140721727173952 140393076966560 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8817] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8817/stat : 8817 (java) S 8807 8807 5234 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 8993981 14316269568 57284 18446744073709551615 4194304 4196468 140721727173952 140393075913456 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8818] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8818/stat : 8818 (java) S 8807 8807 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8993983 14316269568 57284 18446744073709551615 4194304 4196468 140721727173952 140393074862032 140393599489947 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8819] ppid=8807 vsize=13980732 CPUtime=1.74 cores=1,3,5,7
/proc/8809/task/8819/stat : 8819 (java) S 8807 8807 5234 0 -1 1077944384 15420 0 0 0 173 1 0 0 20 0 15 0 8993983 14316269568 57284 18446744073709551615 4194304 4196468 140721727173952 140393073810160 140393599482498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8820] ppid=8807 vsize=13980732 CPUtime=1.92 cores=1,3,5,7
/proc/8809/task/8820/stat : 8820 (java) S 8807 8807 5234 0 -1 1077944384 13282 0 0 0 191 1 0 0 20 0 15 0 8993983 14316269568 57284 18446744073709551615 4194304 4196468 140721727173952 140393072757616 140393599482498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8821] ppid=8807 vsize=13980732 CPUtime=0.66 cores=1,3,5,7
/proc/8809/task/8821/stat : 8821 (java) S 8807 8807 5234 0 -1 1077944384 7227 0 0 0 65 1 0 0 20 0 15 0 8993983 14316269568 57284 18446744073709551615 4194304 4196468 140721727173952 140393071704560 140393599482498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8822] ppid=8807 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8809/task/8822/stat : 8822 (java) S 8807 8807 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8993984 14316269568 57284 18446744073709551615 4194304 4196468 140721727173952 140393070652256 140393599481557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
[pid=8809/tid=8823] ppid=8807 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/8809/task/8823/stat : 8823 (java) S 8807 8807 5234 0 -1 1077944384 1164 0 0 0 2 2 0 0 20 0 15 0 8993987 14316269568 57284 18446744073709551615 4194304 4196468 140721727173952 140393069599280 140393599482498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140721727181268 140721727181443 140721727181443 140721727184847 0
Current children cumulated CPU time (s) 244.3
Current children cumulated vsize (KiB) 13990244

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 8809 sig 9
??? kill 8807 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 8807 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1909
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=116
# CPU time returned by wait4() is 0.002025
# while last known CPU time is 244.3
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 240.01
CPU time (s): 244.3
CPU user time (s): 244.16
CPU system time (s): 0.14
CPU usage (%): 101.787
Max. virtual memory (cumulated for all children) (KiB): 13992284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001909
system time used= 0.000116
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.23149 second user time and 1.1547 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 4254085

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