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 5a (2017-07-26)	SAT (TO)	215	255.77	240.00999

0.00/0.09	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4255079-1501620865.xml"  -tl '264s' -p 1 -x 3
0.00/0.27	c [HOME/instance-4255079-1501620865.xml, -tl, 264s, -p, 1, -x, 3]
0.00/0.33	c simple solver
0.00/0.40	c parse instance...
0.00/0.88	c solve instance...
0.00/1.01	o 575 
0.00/1.08	o 479 
2.53/1.19	o 439 
4.05/1.69	o 399 
7.13/2.60	o 391 
10.22/3.76	o 375 
14.65/6.61	o 295 
38.52/28.63	o 279 
70.71/59.80	o 255 
93.05/81.70	o 215 
255.77/240.00	s SATISFIABLE
255.77/240.00	v <instantiation>
255.77/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>
255.77/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 -3 -2 1 -2 -1 2 3 0 -1 -2 1 2 1 0 -3 2 -5 4 -1 -2 -1 -4 -7 2 -3 0 5 0 -1 -2 -1 0 -1 0 1 0 1 9 4 1 4 1 4 9 0 1 4 1 4 1 0 9 4 25 16 1 4 1 16 49 4 9 0 25 0 1 4 1 0 1 0 1 0 1 </values>
255.77/240.00	v </instantiation>
255.77/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-4255079-1501620865/watcher-4255079-1501620865 -o /tmp/evaluation-result-4255079-1501620865/solver-4255079-1501620865 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501617097-24795 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 527366484 HOME/instance-4255079-1501620865.xml 

pid=27298
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: 2.05 1.99 1.85 2/200 27301
/proc/meminfo: memFree=31476872/32770624 swapFree=0/214952
[pid=27301] ppid=27298 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/27301/stat : 27301 (runsolver) D 27298 27301 18930 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 61740036 24240128 106 18446744073709551615 4194304 4338465 140736537859728 140736537857368 140145570820823 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 16252928 140736537862236 140736537862725 140736537862725 140736537866186 0
/proc/27301/statm: 5918 106 53 36 0 2156 0

[startup+0.100075 s]
/proc/loadavg: 2.05 1.99 1.85 2/200 27301
/proc/meminfo: memFree=31476872/32770624 swapFree=0/214952
[pid=27301] ppid=27298 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/27301/stat : 27301 (xcsp3-exec) S 27298 27301 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61740036 9740288 345 18446744073709551615 4194304 5098028 140729873884800 140729873882904 140254657225340 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 18075648 140729873891739 140729873891942 140729873891942 140729873895403 0
/proc/27301/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.202037 s]
/proc/loadavg: 2.05 1.99 1.85 2/200 27301
/proc/meminfo: memFree=31476872/32770624 swapFree=0/214952
[pid=27301] ppid=27298 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/27301/stat : 27301 (xcsp3-exec) S 27298 27301 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61740036 9740288 345 18446744073709551615 4194304 5098028 140729873884800 140729873882904 140254657225340 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 18075648 140729873891739 140729873891942 140729873891942 140729873895403 0
/proc/27301/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300289 s]
/proc/loadavg: 2.05 1.99 1.85 2/200 27301
/proc/meminfo: memFree=31476872/32770624 swapFree=0/214952
[pid=27301] ppid=27298 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/27301/stat : 27301 (xcsp3-exec) S 27298 27301 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61740036 9740288 345 18446744073709551615 4194304 5098028 140729873884800 140729873882904 140254657225340 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 18075648 140729873891739 140729873891942 140729873891942 140729873895403 0
/proc/27301/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.70193 s]
/proc/loadavg: 2.05 1.99 1.85 2/200 27301
/proc/meminfo: memFree=31476872/32770624 swapFree=0/214952
[pid=27301] ppid=27298 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/27301/stat : 27301 (xcsp3-exec) S 27298 27301 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61740036 9740288 345 18446744073709551615 4194304 5098028 140729873884800 140729873882904 140254657225340 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 18075648 140729873891739 140729873891942 140729873891942 140729873895403 0
/proc/27301/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50072 s]
/proc/loadavg: 2.05 1.99 1.85 5/216 27317
/proc/meminfo: memFree=31385772/32770624 swapFree=0/214980
[pid=27301] ppid=27298 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/27301/stat : 27301 (xcsp3-exec) S 27298 27301 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61740036 9740288 345 18446744073709551615 4194304 5098028 140729873884800 140729873882904 140254657225340 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 18075648 140729873891739 140729873891942 140729873891942 140729873895403 0
/proc/27301/statm: 2378 345 289 221 0 87 0
[pid=27303] ppid=27301 vsize=13980732 CPUtime=3.74 cores=1,3,5,7
/proc/27303/stat : 27303 (java) S 27301 27301 18930 0 -1 1077944320 23359 0 0 0 367 7 0 0 20 0 15 0 61740045 14316269568 32452 18446744073709551615 4194304 4196468 140723825946784 140723825929328 140167697141495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
/proc/27303/statm: 3495183 32452 3187 1 0 3483484 0
[pid=27303/tid=27304] ppid=27301 vsize=13980732 CPUtime=1.35 cores=1,3,5,7
/proc/27303/task/27304/stat : 27304 (java) R 27301 27301 18930 0 -1 4202560 9673 0 0 0 131 4 0 0 20 0 15 0 61740045 14316269568 32452 18446744073709551615 4194304 4196468 140723825946784 140167701376688 140167342735648 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27305] ppid=27301 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27305/stat : 27305 (java) S 27301 27301 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61740046 14316269568 32452 18446744073709551615 4194304 4196468 140723825946784 140167668984080 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27306] ppid=27301 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27306/stat : 27306 (java) S 27301 27301 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61740046 14316269568 32452 18446744073709551615 4194304 4196468 140723825946784 140167295789456 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27307] ppid=27301 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27307/stat : 27307 (java) S 27301 27301 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61740046 14316269568 32452 18446744073709551615 4194304 4196468 140723825946784 140167294736912 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27308] ppid=27301 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27308/stat : 27308 (java) S 27301 27301 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61740046 14316269568 32452 18446744073709551615 4194304 4196468 140723825946784 140167293684368 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27309] ppid=27301 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27309/stat : 27309 (java) S 27301 27301 18930 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 61740047 14316269568 32452 18446744073709551615 4194304 4196468 140723825946784 140167175662064 140167697152642 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27310] ppid=27301 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27310/stat : 27310 (java) S 27301 27301 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61740048 14316269568 32452 18446744073709551615 4194304 4196468 140723825946784 140167174608288 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27311] ppid=27301 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27311/stat : 27311 (java) S 27301 27301 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61740048 14316269568 32452 18446744073709551615 4194304 4196468 140723825946784 140167173555696 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27312] ppid=27301 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27312/stat : 27312 (java) S 27301 27301 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61740050 14316269568 32452 18446744073709551615 4194304 4196468 140723825946784 140167172504272 140167697160091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27313] ppid=27301 vsize=13980732 CPUtime=0.88 cores=1,3,5,7
/proc/27303/task/27313/stat : 27313 (java) R 27301 27301 18930 0 -1 4202560 4693 0 0 0 87 1 0 0 20 0 15 0 61740050 14316269568 32452 18446744073709551615 4194304 4196468 140723825946784 140167171440672 140167678686057 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27314] ppid=27301 vsize=13980732 CPUtime=0.85 cores=1,3,5,7
/proc/27303/task/27314/stat : 27314 (java) R 27301 27301 18930 0 -1 4202560 4699 0 0 0 85 0 0 0 20 0 15 0 61740050 14316269568 32452 18446744073709551615 4194304 4196468 140723825946784 140167170391512 140167678662347 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27315] ppid=27301 vsize=13980732 CPUtime=0.62 cores=1,3,5,7
/proc/27303/task/27315/stat : 27315 (java) S 27301 27301 18930 0 -1 1077944384 2962 0 0 0 62 0 0 0 20 0 15 0 61740050 14316269568 32452 18446744073709551615 4194304 4196468 140723825946784 140167169345776 140167697152642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27316] ppid=27301 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27316/stat : 27316 (java) S 27301 27301 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61740050 14316269568 32452 18446744073709551615 4194304 4196468 140723825946784 140167168293472 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27317] ppid=27301 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27317/stat : 27317 (java) S 27301 27301 18930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 61740055 14316269568 32452 18446744073709551615 4194304 4196468 140723825946784 140167167241008 140167697152642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 13990244

[startup+3.10076 s]
/proc/loadavg: 2.05 1.99 1.85 5/216 27317
/proc/meminfo: memFree=31325224/32770624 swapFree=0/214992
[pid=27301] ppid=27298 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/27301/stat : 27301 (xcsp3-exec) S 27298 27301 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61740036 9740288 345 18446744073709551615 4194304 5098028 140729873884800 140729873882904 140254657225340 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 18075648 140729873891739 140729873891942 140729873891942 140729873895403 0
/proc/27301/statm: 2378 345 289 221 0 87 0
[pid=27303] ppid=27301 vsize=13980732 CPUtime=8.64 cores=1,3,5,7
/proc/27303/stat : 27303 (java) S 27301 27301 18930 0 -1 1077944320 30317 0 0 0 854 10 0 0 20 0 15 0 61740045 14316269568 53325 18446744073709551615 4194304 4196468 140723825946784 140723825929328 140167697141495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
/proc/27303/statm: 3495183 53325 3193 1 0 3483484 0
[pid=27303/tid=27304] ppid=27301 vsize=13980732 CPUtime=2.94 cores=1,3,5,7
/proc/27303/task/27304/stat : 27304 (java) R 27301 27301 18930 0 -1 4202560 9859 0 0 0 289 5 0 0 20 0 15 0 61740045 14316269568 53325 18446744073709551615 4194304 4196468 140723825946784 140167701378464 140167343659712 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27305] ppid=27301 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27305/stat : 27305 (java) S 27301 27301 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61740046 14316269568 53325 18446744073709551615 4194304 4196468 140723825946784 140167668984080 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27306] ppid=27301 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27306/stat : 27306 (java) S 27301 27301 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61740046 14316269568 53325 18446744073709551615 4194304 4196468 140723825946784 140167295789456 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27307] ppid=27301 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27307/stat : 27307 (java) S 27301 27301 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61740046 14316269568 53325 18446744073709551615 4194304 4196468 140723825946784 140167294736912 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27308] ppid=27301 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27308/stat : 27308 (java) S 27301 27301 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61740046 14316269568 53325 18446744073709551615 4194304 4196468 140723825946784 140167293684368 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27309] ppid=27301 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27309/stat : 27309 (java) S 27301 27301 18930 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 61740047 14316269568 53325 18446744073709551615 4194304 4196468 140723825946784 140167175662064 140167697152642 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27310] ppid=27301 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27310/stat : 27310 (java) S 27301 27301 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61740048 14316269568 53325 18446744073709551615 4194304 4196468 140723825946784 140167174608288 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27311] ppid=27301 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27311/stat : 27311 (java) S 27301 27301 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61740048 14316269568 53325 18446744073709551615 4194304 4196468 140723825946784 140167173555696 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27312] ppid=27301 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27312/stat : 27312 (java) S 27301 27301 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61740050 14316269568 53325 18446744073709551615 4194304 4196468 140723825946784 140167172504272 140167697160091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27313] ppid=27301 vsize=13980732 CPUtime=2.48 cores=1,3,5,7
/proc/27303/task/27313/stat : 27313 (java) R 27301 27301 18930 0 -1 4202560 7900 0 0 0 246 2 0 0 20 0 15 0 61740050 14316269568 53325 18446744073709551615 4194304 4196468 140723825946784 140167171441872 140167682256550 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27314] ppid=27301 vsize=13980732 CPUtime=2.45 cores=1,3,5,7
/proc/27303/task/27314/stat : 27314 (java) R 27301 27301 18930 0 -1 4202560 7578 0 0 0 244 1 0 0 20 0 15 0 61740050 14316269568 53325 18446744073709551615 4194304 4196468 140723825946784 140167170398320 140167678686126 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27315] ppid=27301 vsize=13980732 CPUtime=0.74 cores=1,3,5,7
/proc/27303/task/27315/stat : 27315 (java) S 27301 27301 18930 0 -1 1077944384 3630 0 0 0 73 1 0 0 20 0 15 0 61740050 14316269568 53325 18446744073709551615 4194304 4196468 140723825946784 140167169345776 140167697152642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27316] ppid=27301 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27316/stat : 27316 (java) S 27301 27301 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61740050 14316269568 53325 18446744073709551615 4194304 4196468 140723825946784 140167168293472 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27317] ppid=27301 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27317/stat : 27317 (java) S 27301 27301 18930 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 61740055 14316269568 53325 18446744073709551615 4194304 4196468 140723825946784 140167167241008 140167697152642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
Current children cumulated CPU time (s) 8.64
Current children cumulated vsize (KiB) 13990244

[startup+6.30072 s]
/proc/loadavg: 2.21 2.02 1.87 3/216 27317
/proc/meminfo: memFree=31249284/32770624 swapFree=0/214992
[pid=27301] ppid=27298 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/27301/stat : 27301 (xcsp3-exec) S 27298 27301 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61740036 9740288 345 18446744073709551615 4194304 5098028 140729873884800 140729873882904 140254657225340 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 18075648 140729873891739 140729873891942 140729873891942 140729873895403 0
/proc/27301/statm: 2378 345 289 221 0 87 0
[pid=27303] ppid=27301 vsize=13982780 CPUtime=14.1 cores=1,3,5,7
/proc/27303/stat : 27303 (java) S 27301 27301 18930 0 -1 1077944320 32715 0 0 0 1396 14 0 0 20 0 15 0 61740045 14318366720 59659 18446744073709551615 4194304 4196468 140723825946784 140723825929328 140167697141495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
/proc/27303/statm: 3495695 59659 3210 1 0 3483996 0
[pid=27303/tid=27304] ppid=27301 vsize=13982780 CPUtime=6.11 cores=1,3,5,7
/proc/27303/task/27304/stat : 27304 (java) R 27301 27301 18930 0 -1 4202560 10039 0 0 0 606 5 0 0 20 0 15 0 61740045 14318366720 59659 18446744073709551615 4194304 4196468 140723825946784 140167701377440 140167337616503 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27305] ppid=27301 vsize=13982780 CPUtime=0.01 cores=1,3,5,7
/proc/27303/task/27305/stat : 27305 (java) S 27301 27301 18930 0 -1 1077944384 432 0 0 0 1 0 0 0 20 0 15 0 61740046 14318366720 59659 18446744073709551615 4194304 4196468 140723825946784 140167668984080 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27306] ppid=27301 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27306/stat : 27306 (java) S 27301 27301 18930 0 -1 1077944384 255 0 0 0 0 0 0 0 20 0 15 0 61740046 14318366720 59659 18446744073709551615 4194304 4196468 140723825946784 140167295789456 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27307] ppid=27301 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27307/stat : 27307 (java) S 27301 27301 18930 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 61740046 14318366720 59659 18446744073709551615 4194304 4196468 140723825946784 140167294736912 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27308] ppid=27301 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27308/stat : 27308 (java) S 27301 27301 18930 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 61740046 14318366720 59659 18446744073709551615 4194304 4196468 140723825946784 140167293684368 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27309] ppid=27301 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27309/stat : 27309 (java) S 27301 27301 18930 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 15 0 61740047 14318366720 59659 18446744073709551615 4194304 4196468 140723825946784 140167175662064 140167697152642 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27310] ppid=27301 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27310/stat : 27310 (java) S 27301 27301 18930 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 61740048 14318366720 59659 18446744073709551615 4194304 4196468 140723825946784 140167174608288 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27311] ppid=27301 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27311/stat : 27311 (java) S 27301 27301 18930 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 61740048 14318366720 59659 18446744073709551615 4194304 4196468 140723825946784 140167173555696 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27312] ppid=27301 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27312/stat : 27312 (java) S 27301 27301 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61740050 14318366720 59659 18446744073709551615 4194304 4196468 140723825946784 140167172504272 140167697160091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27313] ppid=27301 vsize=13982780 CPUtime=3.5 cores=1,3,5,7
/proc/27303/task/27313/stat : 27313 (java) S 27301 27301 18930 0 -1 1077944384 8188 0 0 0 348 2 0 0 20 0 15 0 61740050 14318366720 59659 18446744073709551615 4194304 4196468 140723825946784 140167171450864 140167697152642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27314] ppid=27301 vsize=13982780 CPUtime=3.49 cores=1,3,5,7
/proc/27303/task/27314/stat : 27314 (java) S 27301 27301 18930 0 -1 1077944384 7780 0 0 0 348 1 0 0 20 0 15 0 61740050 14318366720 59659 18446744073709551615 4194304 4196468 140723825946784 140167170398320 140167697152642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27315] ppid=27301 vsize=13982780 CPUtime=0.87 cores=1,3,5,7
/proc/27303/task/27315/stat : 27315 (java) S 27301 27301 18930 0 -1 1077944384 4379 0 0 0 86 1 0 0 20 0 15 0 61740050 14318366720 59659 18446744073709551615 4194304 4196468 140723825946784 140167169345776 140167697152642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27316] ppid=27301 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27316/stat : 27316 (java) S 27301 27301 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61740050 14318366720 59659 18446744073709551615 4194304 4196468 140723825946784 140167168293472 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27317] ppid=27301 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27317/stat : 27317 (java) S 27301 27301 18930 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 61740055 14318366720 59659 18446744073709551615 4194304 4196468 140723825946784 140167167241008 140167697152642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
Current children cumulated CPU time (s) 14.1
Current children cumulated vsize (KiB) 13992292

[startup+12.7007 s]
/proc/loadavg: 2.19 2.02 1.87 3/216 27317
/proc/meminfo: memFree=31201884/32770624 swapFree=0/215000
[pid=27301] ppid=27298 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/27301/stat : 27301 (xcsp3-exec) S 27298 27301 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61740036 9740288 345 18446744073709551615 4194304 5098028 140729873884800 140729873882904 140254657225340 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 18075648 140729873891739 140729873891942 140729873891942 140729873895403 0
/proc/27301/statm: 2378 345 289 221 0 87 0
[pid=27303] ppid=27301 vsize=13982780 CPUtime=21.83 cores=1,3,5,7
/proc/27303/stat : 27303 (java) S 27301 27301 18930 0 -1 1077944320 41820 0 0 0 2161 22 0 0 20 0 15 0 61740045 14318366720 70940 18446744073709551615 4194304 4196468 140723825946784 140723825929328 140167697141495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
/proc/27303/statm: 3495695 70940 3226 1 0 3483996 0
[pid=27303/tid=27304] ppid=27301 vsize=13982780 CPUtime=12.46 cores=1,3,5,7
/proc/27303/task/27304/stat : 27304 (java) R 27301 27301 18930 0 -1 4202560 11382 0 0 0 1240 6 0 0 20 0 15 0 61740045 14318366720 70940 18446744073709551615 4194304 4196468 140723825946784 140167701377984 140167346804443 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27305] ppid=27301 vsize=13982780 CPUtime=0.06 cores=1,3,5,7
/proc/27303/task/27305/stat : 27305 (java) S 27301 27301 18930 0 -1 1077944384 1802 0 0 0 4 2 0 0 20 0 15 0 61740046 14318366720 70940 18446744073709551615 4194304 4196468 140723825946784 140167668984080 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27306] ppid=27301 vsize=13982780 CPUtime=0.06 cores=1,3,5,7
/proc/27303/task/27306/stat : 27306 (java) S 27301 27301 18930 0 -1 1077944384 359 0 0 0 4 2 0 0 20 0 15 0 61740046 14318366720 70940 18446744073709551615 4194304 4196468 140723825946784 140167295789456 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0

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

[pid=27303/tid=27310] ppid=27301 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27310/stat : 27310 (java) S 27301 27301 18930 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 61740048 14318366720 116718 18446744073709551615 4194304 4196468 140723825946784 140167174608352 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27311] ppid=27301 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27311/stat : 27311 (java) S 27301 27301 18930 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 61740048 14318366720 116718 18446744073709551615 4194304 4196468 140723825946784 140167173555712 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27312] ppid=27301 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27312/stat : 27312 (java) S 27301 27301 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61740050 14318366720 116718 18446744073709551615 4194304 4196468 140723825946784 140167172504272 140167697160091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27313] ppid=27301 vsize=13982780 CPUtime=4.58 cores=1,3,5,7
/proc/27303/task/27313/stat : 27313 (java) S 27301 27301 18930 0 -1 1077944384 15769 0 0 0 455 3 0 0 20 0 15 0 61740050 14318366720 116718 18446744073709551615 4194304 4196468 140723825946784 140167171450864 140167697152642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27314] ppid=27301 vsize=13982780 CPUtime=4.97 cores=1,3,5,7
/proc/27303/task/27314/stat : 27314 (java) S 27301 27301 18930 0 -1 1077944384 22794 0 0 0 495 2 0 0 20 0 15 0 61740050 14318366720 116718 18446744073709551615 4194304 4196468 140723825946784 140167170398320 140167697152642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27315] ppid=27301 vsize=13982780 CPUtime=0.92 cores=1,3,5,7
/proc/27303/task/27315/stat : 27315 (java) S 27301 27301 18930 0 -1 1077944384 7899 0 0 0 91 1 0 0 20 0 15 0 61740050 14318366720 116718 18446744073709551615 4194304 4196468 140723825946784 140167169345776 140167697152642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27316] ppid=27301 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27316/stat : 27316 (java) S 27301 27301 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61740050 14318366720 116718 18446744073709551615 4194304 4196468 140723825946784 140167168293472 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27317] ppid=27301 vsize=13982780 CPUtime=0.04 cores=1,3,5,7
/proc/27303/task/27317/stat : 27317 (java) S 27301 27301 18930 0 -1 1077944384 1203 0 0 0 2 2 0 0 20 0 15 0 61740055 14318366720 116718 18446744073709551615 4194304 4196468 140723825946784 140167167241008 140167697152642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
Current children cumulated CPU time (s) 114.71
Current children cumulated vsize (KiB) 13992292

[startup+162.301 s]
/proc/loadavg: 1.85 1.97 1.87 3/214 27400
/proc/meminfo: memFree=31109380/32770624 swapFree=0/215140
[pid=27301] ppid=27298 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/27301/stat : 27301 (xcsp3-exec) S 27298 27301 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61740036 9740288 345 18446744073709551615 4194304 5098028 140729873884800 140729873882904 140254657225340 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 18075648 140729873891739 140729873891942 140729873891942 140729873895403 0
/proc/27301/statm: 2378 345 289 221 0 87 0
[pid=27303] ppid=27301 vsize=13982780 CPUtime=176.48 cores=1,3,5,7
/proc/27303/stat : 27303 (java) S 27301 27301 18930 0 -1 1077944320 83623 0 0 0 17579 69 0 0 20 0 15 0 61740045 14318366720 103155 18446744073709551615 4194304 4196468 140723825946784 140723825929328 140167697141495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
/proc/27303/statm: 3495695 103155 3244 1 0 3483996 0
[pid=27303/tid=27304] ppid=27301 vsize=13982780 CPUtime=160.81 cores=1,3,5,7
/proc/27303/task/27304/stat : 27304 (java) R 27301 27301 18930 0 -1 4202560 17199 0 0 0 16075 6 0 0 20 0 15 0 61740045 14318366720 103155 18446744073709551615 4194304 4196468 140723825946784 140167701381360 140167343660813 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27305] ppid=27301 vsize=13982780 CPUtime=1.17 cores=1,3,5,7
/proc/27303/task/27305/stat : 27305 (java) S 27301 27301 18930 0 -1 1077944384 3969 0 0 0 105 12 0 0 20 0 15 0 61740046 14318366720 103155 18446744073709551615 4194304 4196468 140723825946784 140167668984080 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27306] ppid=27301 vsize=13982780 CPUtime=1.17 cores=1,3,5,7
/proc/27303/task/27306/stat : 27306 (java) S 27301 27301 18930 0 -1 1077944384 2288 0 0 0 105 12 0 0 20 0 15 0 61740046 14318366720 103155 18446744073709551615 4194304 4196468 140723825946784 140167295789456 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27307] ppid=27301 vsize=13982780 CPUtime=1.18 cores=1,3,5,7
/proc/27303/task/27307/stat : 27307 (java) S 27301 27301 18930 0 -1 1077944384 2871 0 0 0 105 13 0 0 20 0 15 0 61740046 14318366720 103155 18446744073709551615 4194304 4196468 140723825946784 140167294736912 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27308] ppid=27301 vsize=13982780 CPUtime=1.17 cores=1,3,5,7
/proc/27303/task/27308/stat : 27308 (java) S 27301 27301 18930 0 -1 1077944384 2245 0 0 0 105 12 0 0 20 0 15 0 61740046 14318366720 103155 18446744073709551615 4194304 4196468 140723825946784 140167293684368 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27309] ppid=27301 vsize=13982780 CPUtime=0.1 cores=1,3,5,7
/proc/27303/task/27309/stat : 27309 (java) S 27301 27301 18930 0 -1 1077944384 4963 0 0 0 9 1 0 0 20 0 15 0 61740047 14318366720 103155 18446744073709551615 4194304 4196468 140723825946784 140167175662064 140167697152642 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27310] ppid=27301 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27310/stat : 27310 (java) S 27301 27301 18930 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 61740048 14318366720 103155 18446744073709551615 4194304 4196468 140723825946784 140167174608352 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27311] ppid=27301 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27311/stat : 27311 (java) S 27301 27301 18930 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 61740048 14318366720 103155 18446744073709551615 4194304 4196468 140723825946784 140167173555712 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27312] ppid=27301 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27312/stat : 27312 (java) S 27301 27301 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61740050 14318366720 103155 18446744073709551615 4194304 4196468 140723825946784 140167172504272 140167697160091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27313] ppid=27301 vsize=13982780 CPUtime=4.73 cores=1,3,5,7
/proc/27303/task/27313/stat : 27313 (java) S 27301 27301 18930 0 -1 1077944384 16635 0 0 0 470 3 0 0 20 0 15 0 61740050 14318366720 103155 18446744073709551615 4194304 4196468 140723825946784 140167171450864 140167697152642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27314] ppid=27301 vsize=13982780 CPUtime=5.05 cores=1,3,5,7
/proc/27303/task/27314/stat : 27314 (java) S 27301 27301 18930 0 -1 1077944384 22920 0 0 0 503 2 0 0 20 0 15 0 61740050 14318366720 103155 18446744073709551615 4194304 4196468 140723825946784 140167170398320 140167697152642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27315] ppid=27301 vsize=13982780 CPUtime=0.92 cores=1,3,5,7
/proc/27303/task/27315/stat : 27315 (java) S 27301 27301 18930 0 -1 1077944384 7957 0 0 0 91 1 0 0 20 0 15 0 61740050 14318366720 103155 18446744073709551615 4194304 4196468 140723825946784 140167169345776 140167697152642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27316] ppid=27301 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27316/stat : 27316 (java) S 27301 27301 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61740050 14318366720 103155 18446744073709551615 4194304 4196468 140723825946784 140167168293472 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27317] ppid=27301 vsize=13982780 CPUtime=0.06 cores=1,3,5,7
/proc/27303/task/27317/stat : 27317 (java) S 27301 27301 18930 0 -1 1077944384 1232 0 0 0 3 3 0 0 20 0 15 0 61740055 14318366720 103155 18446744073709551615 4194304 4196468 140723825946784 140167167241008 140167697152642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
Current children cumulated CPU time (s) 176.48
Current children cumulated vsize (KiB) 13992292

[startup+222.307 s]
/proc/loadavg: 1.95 1.97 1.87 3/214 27402
/proc/meminfo: memFree=31254000/32770624 swapFree=0/215200
[pid=27301] ppid=27298 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/27301/stat : 27301 (xcsp3-exec) S 27298 27301 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61740036 9740288 345 18446744073709551615 4194304 5098028 140729873884800 140729873882904 140254657225340 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 18075648 140729873891739 140729873891942 140729873891942 140729873895403 0
/proc/27301/statm: 2378 345 289 221 0 87 0
[pid=27303] ppid=27301 vsize=13982780 CPUtime=237.78 cores=1,3,5,7
/proc/27303/stat : 27303 (java) S 27301 27301 18930 0 -1 1077944320 89704 0 0 0 23707 71 0 0 20 0 15 0 61740045 14318366720 96607 18446744073709551615 4194304 4196468 140723825946784 140723825929328 140167697141495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
/proc/27303/statm: 3495695 96607 3244 1 0 3483996 0
[pid=27303/tid=27304] ppid=27301 vsize=13982780 CPUtime=220.35 cores=1,3,5,7
/proc/27303/task/27304/stat : 27304 (java) R 27301 27301 18930 0 -1 4202560 17922 0 0 0 22028 7 0 0 20 0 15 0 61740045 14318366720 96607 18446744073709551615 4194304 4196468 140723825946784 140167701381296 140167343659222 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27305] ppid=27301 vsize=13982780 CPUtime=1.6 cores=1,3,5,7
/proc/27303/task/27305/stat : 27305 (java) S 27301 27301 18930 0 -1 1077944384 4261 0 0 0 148 12 0 0 20 0 15 0 61740046 14318366720 96607 18446744073709551615 4194304 4196468 140723825946784 140167668984080 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27306] ppid=27301 vsize=13982780 CPUtime=1.6 cores=1,3,5,7
/proc/27303/task/27306/stat : 27306 (java) S 27301 27301 18930 0 -1 1077944384 2842 0 0 0 148 12 0 0 20 0 15 0 61740046 14318366720 96607 18446744073709551615 4194304 4196468 140723825946784 140167295789456 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27307] ppid=27301 vsize=13982780 CPUtime=1.6 cores=1,3,5,7
/proc/27303/task/27307/stat : 27307 (java) S 27301 27301 18930 0 -1 1077944384 3412 0 0 0 147 13 0 0 20 0 15 0 61740046 14318366720 96607 18446744073709551615 4194304 4196468 140723825946784 140167294736912 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27308] ppid=27301 vsize=13982780 CPUtime=1.59 cores=1,3,5,7
/proc/27303/task/27308/stat : 27308 (java) S 27301 27301 18930 0 -1 1077944384 2499 0 0 0 147 12 0 0 20 0 15 0 61740046 14318366720 96607 18446744073709551615 4194304 4196468 140723825946784 140167293684368 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27309] ppid=27301 vsize=13982780 CPUtime=0.14 cores=1,3,5,7
/proc/27303/task/27309/stat : 27309 (java) S 27301 27301 18930 0 -1 1077944384 8504 0 0 0 12 2 0 0 20 0 15 0 61740047 14318366720 96607 18446744073709551615 4194304 4196468 140723825946784 140167175662064 140167697152642 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27310] ppid=27301 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27310/stat : 27310 (java) S 27301 27301 18930 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 61740048 14318366720 96607 18446744073709551615 4194304 4196468 140723825946784 140167174608352 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27311] ppid=27301 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27311/stat : 27311 (java) S 27301 27301 18930 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 61740048 14318366720 96607 18446744073709551615 4194304 4196468 140723825946784 140167173555712 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27312] ppid=27301 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27312/stat : 27312 (java) S 27301 27301 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61740050 14318366720 96607 18446744073709551615 4194304 4196468 140723825946784 140167172504272 140167697160091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27313] ppid=27301 vsize=13982780 CPUtime=4.73 cores=1,3,5,7
/proc/27303/task/27313/stat : 27313 (java) S 27301 27301 18930 0 -1 1077944384 16776 0 0 0 470 3 0 0 20 0 15 0 61740050 14318366720 96607 18446744073709551615 4194304 4196468 140723825946784 140167171450864 140167697152642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27314] ppid=27301 vsize=13982780 CPUtime=5.05 cores=1,3,5,7
/proc/27303/task/27314/stat : 27314 (java) S 27301 27301 18930 0 -1 1077944384 22927 0 0 0 503 2 0 0 20 0 15 0 61740050 14318366720 96607 18446744073709551615 4194304 4196468 140723825946784 140167170398320 140167697152642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27315] ppid=27301 vsize=13982780 CPUtime=0.93 cores=1,3,5,7
/proc/27303/task/27315/stat : 27315 (java) S 27301 27301 18930 0 -1 1077944384 7962 0 0 0 92 1 0 0 20 0 15 0 61740050 14318366720 96607 18446744073709551615 4194304 4196468 140723825946784 140167169345776 140167697152642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27316] ppid=27301 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27316/stat : 27316 (java) S 27301 27301 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61740050 14318366720 96607 18446744073709551615 4194304 4196468 140723825946784 140167168293472 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27317] ppid=27301 vsize=13982780 CPUtime=0.08 cores=1,3,5,7
/proc/27303/task/27317/stat : 27317 (java) S 27301 27301 18930 0 -1 1077944384 1255 0 0 0 4 4 0 0 20 0 15 0 61740055 14318366720 96607 18446744073709551615 4194304 4196468 140723825946784 140167167241008 140167697152642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
Current children cumulated CPU time (s) 237.78
Current children cumulated vsize (KiB) 13992292



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.96 1.97 1.87 3/214 27402
/proc/meminfo: memFree=31258760/32770624 swapFree=0/215212
[pid=27301] ppid=27298 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/27301/stat : 27301 (xcsp3-exec) S 27298 27301 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61740036 9740288 345 18446744073709551615 4194304 5098028 140729873884800 140729873882904 140254657225340 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 18075648 140729873891739 140729873891942 140729873891942 140729873895403 0
/proc/27301/statm: 2378 345 289 221 0 87 0
[pid=27303] ppid=27301 vsize=13982780 CPUtime=255.77 cores=1,3,5,7
/proc/27303/stat : 27303 (java) S 27301 27301 18930 0 -1 1077944320 90671 0 0 0 25505 72 0 0 20 0 15 0 61740045 14318366720 95081 18446744073709551615 4194304 4196468 140723825946784 140723825929328 140167697141495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
/proc/27303/statm: 3495695 95081 3244 1 0 3483996 0
[pid=27303/tid=27304] ppid=27301 vsize=13982780 CPUtime=237.94 cores=1,3,5,7
/proc/27303/task/27304/stat : 27304 (java) R 27301 27301 18930 0 -1 4202560 18248 0 0 0 23787 7 0 0 20 0 15 0 61740045 14318366720 95081 18446744073709551615 4194304 4196468 140723825946784 140167701381008 140167343387428 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27305] ppid=27301 vsize=13982780 CPUtime=1.7 cores=1,3,5,7
/proc/27303/task/27305/stat : 27305 (java) S 27301 27301 18930 0 -1 1077944384 4295 0 0 0 158 12 0 0 20 0 15 0 61740046 14318366720 95081 18446744073709551615 4194304 4196468 140723825946784 140167668984080 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27306] ppid=27301 vsize=13982780 CPUtime=1.7 cores=1,3,5,7
/proc/27303/task/27306/stat : 27306 (java) S 27301 27301 18930 0 -1 1077944384 2894 0 0 0 158 12 0 0 20 0 15 0 61740046 14318366720 95081 18446744073709551615 4194304 4196468 140723825946784 140167295789456 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27307] ppid=27301 vsize=13982780 CPUtime=1.7 cores=1,3,5,7
/proc/27303/task/27307/stat : 27307 (java) S 27301 27301 18930 0 -1 1077944384 3460 0 0 0 157 13 0 0 20 0 15 0 61740046 14318366720 95081 18446744073709551615 4194304 4196468 140723825946784 140167294736912 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27308] ppid=27301 vsize=13982780 CPUtime=1.69 cores=1,3,5,7
/proc/27303/task/27308/stat : 27308 (java) S 27301 27301 18930 0 -1 1077944384 2768 0 0 0 157 12 0 0 20 0 15 0 61740046 14318366720 95081 18446744073709551615 4194304 4196468 140723825946784 140167293684368 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27309] ppid=27301 vsize=13982780 CPUtime=0.14 cores=1,3,5,7
/proc/27303/task/27309/stat : 27309 (java) S 27301 27301 18930 0 -1 1077944384 8506 0 0 0 12 2 0 0 20 0 15 0 61740047 14318366720 95081 18446744073709551615 4194304 4196468 140723825946784 140167175662064 140167697152642 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27310] ppid=27301 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27310/stat : 27310 (java) S 27301 27301 18930 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 61740048 14318366720 95081 18446744073709551615 4194304 4196468 140723825946784 140167174608352 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27311] ppid=27301 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27311/stat : 27311 (java) S 27301 27301 18930 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 61740048 14318366720 95081 18446744073709551615 4194304 4196468 140723825946784 140167173555712 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27312] ppid=27301 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27312/stat : 27312 (java) S 27301 27301 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61740050 14318366720 95081 18446744073709551615 4194304 4196468 140723825946784 140167172504272 140167697160091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27313] ppid=27301 vsize=13982780 CPUtime=4.73 cores=1,3,5,7
/proc/27303/task/27313/stat : 27313 (java) S 27301 27301 18930 0 -1 1077944384 16776 0 0 0 470 3 0 0 20 0 15 0 61740050 14318366720 95081 18446744073709551615 4194304 4196468 140723825946784 140167171450864 140167697152642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27314] ppid=27301 vsize=13982780 CPUtime=5.05 cores=1,3,5,7
/proc/27303/task/27314/stat : 27314 (java) S 27301 27301 18930 0 -1 1077944384 23004 0 0 0 503 2 0 0 20 0 15 0 61740050 14318366720 95081 18446744073709551615 4194304 4196468 140723825946784 140167170398320 140167697152642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27315] ppid=27301 vsize=13982780 CPUtime=0.93 cores=1,3,5,7
/proc/27303/task/27315/stat : 27315 (java) S 27301 27301 18930 0 -1 1077944384 8119 0 0 0 92 1 0 0 20 0 15 0 61740050 14318366720 95081 18446744073709551615 4194304 4196468 140723825946784 140167169345776 140167697152642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27316] ppid=27301 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/27303/task/27316/stat : 27316 (java) S 27301 27301 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61740050 14318366720 95081 18446744073709551615 4194304 4196468 140723825946784 140167168293472 140167697151701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
[pid=27303/tid=27317] ppid=27301 vsize=13982780 CPUtime=0.09 cores=1,3,5,7
/proc/27303/task/27317/stat : 27317 (java) S 27301 27301 18930 0 -1 1077944384 1257 0 0 0 4 5 0 0 20 0 15 0 61740055 14318366720 95081 18446744073709551615 4194304 4196468 140723825946784 140167167241008 140167697152642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38174720 140723825955283 140723825955458 140723825955458 140723825958863 0
Current children cumulated CPU time (s) 255.77
Current children cumulated vsize (KiB) 13992292

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 27303 sig 9
??? kill 27301 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 27301 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=626
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1252
# CPU time returned by wait4() is 0.001878
# while last known CPU time is 255.77
#
# 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): 255.77
CPU user time (s): 255.05
CPU system time (s): 0.72
CPU usage (%): 106.566
Max. virtual memory (cumulated for all children) (KiB): 13994356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000626
system time used= 0.001252
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 511
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.04776 second user time and 1.6075 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 4255079

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