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)	190	244.45	240.00999

0.00/0.05	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254084-1501615006.xml"  -tl '264s' -p 1 -x 0
0.00/0.23	c [HOME/instance-4254084-1501615006.xml, -tl, 264s, -p, 1, -x, 0]
0.00/0.29	c simple solver
0.00/0.36	c parse instance...
0.00/0.81	c solve instance...
0.00/0.90	o 430 
0.00/0.96	o 426 
0.00/1.07	o 390 
2.60/1.12	o 382 
2.60/1.13	o 354 
2.60/1.14	o 322 
2.60/1.15	o 294 
6.45/2.93	o 250 
6.57/3.04	o 230 
18.34/14.36	o 210 
53.81/49.79	o 190 
244.45/240.00	s SATISFIABLE
244.45/240.00	v <instantiation>
244.45/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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[31][0] y[31][1] y[31][2] y[31][3] y[32][0] y[32][1] y[32][2] y[33][0] y[33][1] y[34][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] 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] </list>
244.45/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 -4 5 4 -1 0 -1 2 1 0 -3 0 5 -6 -1 0 3 2 1 0 1 -2 -1 4 3 0 -1 2 1 0 1 0 -1 0 1 1 16 25 16 1 0 1 4 1 0 9 0 25 36 1 0 9 4 1 0 1 4 1 16 9 0 1 4 1 0 1 0 1 0 1 </values>
244.45/240.00	v </instantiation>
244.45/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-4254084-1501615006/watcher-4254084-1501615006 -o /tmp/evaluation-result-4254084-1501615006/solver-4254084-1501615006 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501610528-5288 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 269657902 HOME/instance-4254084-1501615006.xml 

pid=8059
running on 4 cores: 0,2,4,6

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.92 1.97 1.91 3/204 8062
/proc/meminfo: memFree=31751920/32770624 swapFree=0/182688
[pid=8062] ppid=8059 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/8062/stat : 8062 (runsolver) D 8059 8062 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9315888 24240128 108 18446744073709551615 4194304 4338465 140731981360688 140731981358328 140177968022231 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 13885440 140731981369438 140731981369926 140731981369926 140731981373386 0
/proc/8062/statm: 5918 108 54 36 0 2156 0

[startup+0.100445 s]
/proc/loadavg: 1.92 1.97 1.91 3/204 8062
/proc/meminfo: memFree=31751920/32770624 swapFree=0/182688
[pid=8062] ppid=8059 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8062/stat : 8062 (xcsp3-exec) S 8059 8062 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9315888 9740288 345 18446744073709551615 4194304 5098028 140722747487472 140722747485576 140394620011132 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 16547840 140722747490716 140722747490919 140722747490919 140722747494379 0
/proc/8062/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.203041 s]
/proc/loadavg: 1.92 1.97 1.91 3/204 8062
/proc/meminfo: memFree=31751920/32770624 swapFree=0/182688
[pid=8062] ppid=8059 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8062/stat : 8062 (xcsp3-exec) S 8059 8062 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9315888 9740288 345 18446744073709551615 4194304 5098028 140722747487472 140722747485576 140394620011132 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 16547840 140722747490716 140722747490919 140722747490919 140722747494379 0
/proc/8062/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300243 s]
/proc/loadavg: 1.92 1.97 1.91 3/204 8062
/proc/meminfo: memFree=31751920/32770624 swapFree=0/182688
[pid=8062] ppid=8059 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8062/stat : 8062 (xcsp3-exec) S 8059 8062 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9315888 9740288 345 18446744073709551615 4194304 5098028 140722747487472 140722747485576 140394620011132 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 16547840 140722747490716 140722747490919 140722747490919 140722747494379 0
/proc/8062/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700433 s]
/proc/loadavg: 1.92 1.97 1.91 3/204 8062
/proc/meminfo: memFree=31751920/32770624 swapFree=0/182688
[pid=8062] ppid=8059 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8062/stat : 8062 (xcsp3-exec) S 8059 8062 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9315888 9740288 345 18446744073709551615 4194304 5098028 140722747487472 140722747485576 140394620011132 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 16547840 140722747490716 140722747490919 140722747490919 140722747494379 0
/proc/8062/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50107 s]
/proc/loadavg: 1.92 1.97 1.91 5/220 8078
/proc/meminfo: memFree=31667752/32770624 swapFree=0/182684
[pid=8062] ppid=8059 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8062/stat : 8062 (xcsp3-exec) S 8059 8062 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9315888 9740288 345 18446744073709551615 4194304 5098028 140722747487472 140722747485576 140394620011132 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 16547840 140722747490716 140722747490919 140722747490919 140722747494379 0
/proc/8062/statm: 2378 345 289 221 0 87 0
[pid=8064] ppid=8062 vsize=13980732 CPUtime=3.61 cores=0,2,4,6
/proc/8064/stat : 8064 (java) S 8062 8062 5228 0 -1 1077944320 20366 0 0 0 354 7 0 0 20 0 15 0 9315894 14316269568 26242 18446744073709551615 4194304 4196468 140730859014976 140730858997520 140406818557687 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
/proc/8064/statm: 3495183 26242 3177 1 0 3483484 0
[pid=8064/tid=8065] ppid=8062 vsize=13980732 CPUtime=1.38 cores=0,2,4,6
/proc/8064/task/8065/stat : 8065 (java) R 8062 8062 5228 0 -1 4202560 8825 0 0 0 134 4 0 0 20 0 15 0 9315894 14316269568 26242 18446744073709551615 4194304 4196468 140730859014976 140406822796008 140406463512347 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8066] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8066/stat : 8066 (java) S 8062 8062 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9315895 14316269568 26242 18446744073709551615 4194304 4196468 140730859014976 140406779456656 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8067] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8067/stat : 8067 (java) S 8062 8062 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9315895 14316269568 26242 18446744073709551615 4194304 4196468 140730859014976 140406778403856 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8068] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8068/stat : 8068 (java) S 8062 8062 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9315895 14316269568 26242 18446744073709551615 4194304 4196468 140730859014976 140406777351056 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8069] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8069/stat : 8069 (java) S 8062 8062 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9315895 14316269568 26242 18446744073709551615 4194304 4196468 140730859014976 140406415616784 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8070] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8070/stat : 8070 (java) S 8062 8062 5228 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 9315896 14316269568 26242 18446744073709551615 4194304 4196468 140730859014976 140406003751280 140406818568834 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8071] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8071/stat : 8071 (java) S 8062 8062 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9315897 14316269568 26242 18446744073709551615 4194304 4196468 140730859014976 140406002697248 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8072] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8072/stat : 8072 (java) S 8062 8062 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9315897 14316269568 26242 18446744073709551615 4194304 4196468 140730859014976 140406001644400 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8073] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8073/stat : 8073 (java) S 8062 8062 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9315899 14316269568 26242 18446744073709551615 4194304 4196468 140730859014976 140406000592720 140406818576283 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8074] ppid=8062 vsize=13980732 CPUtime=0.79 cores=0,2,4,6
/proc/8064/task/8074/stat : 8074 (java) R 8062 8062 5228 0 -1 4202560 4471 0 0 0 79 0 0 0 20 0 15 0 9315899 14316269568 26242 18446744073709551615 4194304 4196468 140730859014976 140405999541104 140406797775534 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8075] ppid=8062 vsize=13980732 CPUtime=0.82 cores=0,2,4,6
/proc/8064/task/8075/stat : 8075 (java) R 8062 8062 5228 0 -1 4202560 2814 0 0 0 82 0 0 0 20 0 15 0 9315899 14316269568 26242 18446744073709551615 4194304 4196468 140730859014976 140405998488304 140406796153840 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8076] ppid=8062 vsize=13980732 CPUtime=0.58 cores=0,2,4,6
/proc/8064/task/8076/stat : 8076 (java) S 8062 8062 5228 0 -1 1077944384 2938 0 0 0 57 1 0 0 20 0 15 0 9315899 14316269568 26242 18446744073709551615 4194304 4196468 140730859014976 140405997435504 140406818568834 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8077] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8077/stat : 8077 (java) S 8062 8062 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9315900 14316269568 26242 18446744073709551615 4194304 4196468 140730859014976 140405996382944 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8078] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8078/stat : 8078 (java) S 8062 8062 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9315904 14316269568 26242 18446744073709551615 4194304 4196468 140730859014976 140405995330224 140406818568834 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 13990244

[startup+3.10064 s]
/proc/loadavg: 1.92 1.97 1.91 4/218 8078
/proc/meminfo: memFree=31660108/32770624 swapFree=0/182684
[pid=8062] ppid=8059 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8062/stat : 8062 (xcsp3-exec) S 8059 8062 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9315888 9740288 345 18446744073709551615 4194304 5098028 140722747487472 140722747485576 140394620011132 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 16547840 140722747490716 140722747490919 140722747490919 140722747494379 0
/proc/8062/statm: 2378 345 289 221 0 87 0
[pid=8064] ppid=8062 vsize=13980732 CPUtime=6.7 cores=0,2,4,6
/proc/8064/stat : 8064 (java) S 8062 8062 5228 0 -1 1077944320 32245 0 0 0 661 9 0 0 20 0 15 0 9315894 14316269568 35587 18446744073709551615 4194304 4196468 140730859014976 140730858997520 140406818557687 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
/proc/8064/statm: 3495183 35587 3181 1 0 3483484 0
[pid=8064/tid=8065] ppid=8062 vsize=13980732 CPUtime=2.98 cores=0,2,4,6
/proc/8064/task/8065/stat : 8065 (java) R 8062 8062 5228 0 -1 4202560 9269 0 0 0 294 4 0 0 20 0 15 0 9315894 14316269568 35587 18446744073709551615 4194304 4196468 140730859014976 140406822788944 140406462307487 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8066] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8066/stat : 8066 (java) S 8062 8062 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9315895 14316269568 35587 18446744073709551615 4194304 4196468 140730859014976 140406779456656 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8067] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8067/stat : 8067 (java) S 8062 8062 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9315895 14316269568 35587 18446744073709551615 4194304 4196468 140730859014976 140406778403856 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8068] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8068/stat : 8068 (java) S 8062 8062 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9315895 14316269568 35587 18446744073709551615 4194304 4196468 140730859014976 140406777351056 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8069] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8069/stat : 8069 (java) S 8062 8062 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9315895 14316269568 35587 18446744073709551615 4194304 4196468 140730859014976 140406415616784 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8070] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8070/stat : 8070 (java) S 8062 8062 5228 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 9315896 14316269568 35587 18446744073709551615 4194304 4196468 140730859014976 140406003751280 140406818568834 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8071] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8071/stat : 8071 (java) S 8062 8062 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9315897 14316269568 35587 18446744073709551615 4194304 4196468 140730859014976 140406002697248 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8072] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8072/stat : 8072 (java) S 8062 8062 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9315897 14316269568 35587 18446744073709551615 4194304 4196468 140730859014976 140406001644400 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8073] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8073/stat : 8073 (java) S 8062 8062 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9315899 14316269568 35587 18446744073709551615 4194304 4196468 140730859014976 140406000592720 140406818576283 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8074] ppid=8062 vsize=13980732 CPUtime=1.56 cores=0,2,4,6
/proc/8064/task/8074/stat : 8074 (java) S 8062 8062 5228 0 -1 1077944384 10904 0 0 0 155 1 0 0 20 0 15 0 9315899 14316269568 35587 18446744073709551615 4194304 4196468 140730859014976 140405999541104 140406818568834 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8075] ppid=8062 vsize=13980732 CPUtime=1.51 cores=0,2,4,6
/proc/8064/task/8075/stat : 8075 (java) S 8062 8062 5228 0 -1 1077944384 7611 0 0 0 150 1 0 0 20 0 15 0 9315899 14316269568 35587 18446744073709551615 4194304 4196468 140730859014976 140405998488304 140406818568834 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8076] ppid=8062 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/8064/task/8076/stat : 8076 (java) S 8062 8062 5228 0 -1 1077944384 3116 0 0 0 59 1 0 0 20 0 15 0 9315899 14316269568 35587 18446744073709551615 4194304 4196468 140730859014976 140405997435504 140406818568834 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8077] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8077/stat : 8077 (java) S 8062 8062 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9315900 14316269568 35587 18446744073709551615 4194304 4196468 140730859014976 140405996382944 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8078] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8078/stat : 8078 (java) S 8062 8062 5228 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 9315904 14316269568 35587 18446744073709551615 4194304 4196468 140730859014976 140405995330224 140406818568834 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
Current children cumulated CPU time (s) 6.7
Current children cumulated vsize (KiB) 13990244

[startup+6.30065 s]
/proc/loadavg: 1.93 1.97 1.91 3/218 8078
/proc/meminfo: memFree=31620136/32770624 swapFree=0/182692
[pid=8062] ppid=8059 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8062/stat : 8062 (xcsp3-exec) S 8059 8062 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9315888 9740288 345 18446744073709551615 4194304 5098028 140722747487472 140722747485576 140394620011132 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 16547840 140722747490716 140722747490919 140722747490919 140722747494379 0
/proc/8062/statm: 2378 345 289 221 0 87 0
[pid=8064] ppid=8062 vsize=13980732 CPUtime=10.06 cores=0,2,4,6
/proc/8064/stat : 8064 (java) S 8062 8062 5228 0 -1 1077944320 35998 0 0 0 997 9 0 0 20 0 15 0 9315894 14316269568 36691 18446744073709551615 4194304 4196468 140730859014976 140730858997520 140406818557687 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
/proc/8064/statm: 3495183 36691 3185 1 0 3483484 0
[pid=8064/tid=8065] ppid=8062 vsize=13980732 CPUtime=6.18 cores=0,2,4,6
/proc/8064/task/8065/stat : 8065 (java) R 8062 8062 5228 0 -1 4202560 9533 0 0 0 614 4 0 0 20 0 15 0 9315894 14316269568 36691 18446744073709551615 4194304 4196468 140730859014976 140406822794064 140406462628603 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8066] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8066/stat : 8066 (java) S 8062 8062 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9315895 14316269568 36691 18446744073709551615 4194304 4196468 140730859014976 140406779456656 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8067] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8067/stat : 8067 (java) S 8062 8062 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9315895 14316269568 36691 18446744073709551615 4194304 4196468 140730859014976 140406778403856 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8068] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8068/stat : 8068 (java) S 8062 8062 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9315895 14316269568 36691 18446744073709551615 4194304 4196468 140730859014976 140406777351056 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8069] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8069/stat : 8069 (java) S 8062 8062 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9315895 14316269568 36691 18446744073709551615 4194304 4196468 140730859014976 140406415616784 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8070] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8070/stat : 8070 (java) S 8062 8062 5228 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 9315896 14316269568 36691 18446744073709551615 4194304 4196468 140730859014976 140406003751280 140406818568834 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8071] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8071/stat : 8071 (java) S 8062 8062 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9315897 14316269568 36691 18446744073709551615 4194304 4196468 140730859014976 140406002697248 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8072] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8072/stat : 8072 (java) S 8062 8062 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9315897 14316269568 36691 18446744073709551615 4194304 4196468 140730859014976 140406001644400 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8073] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8073/stat : 8073 (java) S 8062 8062 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9315899 14316269568 36691 18446744073709551615 4194304 4196468 140730859014976 140406000592720 140406818576283 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8074] ppid=8062 vsize=13980732 CPUtime=1.66 cores=0,2,4,6
/proc/8064/task/8074/stat : 8074 (java) S 8062 8062 5228 0 -1 1077944384 11867 0 0 0 165 1 0 0 20 0 15 0 9315899 14316269568 36691 18446744073709551615 4194304 4196468 140730859014976 140405999541104 140406818568834 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8075] ppid=8062 vsize=13980732 CPUtime=1.57 cores=0,2,4,6
/proc/8064/task/8075/stat : 8075 (java) R 8062 8062 5228 0 -1 4202560 8424 0 0 0 156 1 0 0 20 0 15 0 9315899 14316269568 36691 18446744073709551615 4194304 4196468 140730859014976 140405998488304 140406804571996 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8076] ppid=8062 vsize=13980732 CPUtime=0.61 cores=0,2,4,6
/proc/8064/task/8076/stat : 8076 (java) S 8062 8062 5228 0 -1 1077944384 3346 0 0 0 60 1 0 0 20 0 15 0 9315899 14316269568 36691 18446744073709551615 4194304 4196468 140730859014976 140405997435504 140406818568834 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8077] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8077/stat : 8077 (java) S 8062 8062 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9315900 14316269568 36691 18446744073709551615 4194304 4196468 140730859014976 140405996382944 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8078] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8078/stat : 8078 (java) S 8062 8062 5228 0 -1 1077944384 1225 0 0 0 0 0 0 0 20 0 15 0 9315904 14316269568 36691 18446744073709551615 4194304 4196468 140730859014976 140405995330224 140406818568834 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
Current children cumulated CPU time (s) 10.06
Current children cumulated vsize (KiB) 13990244

[startup+12.7006 s]
/proc/loadavg: 1.93 1.97 1.91 3/217 8078
/proc/meminfo: memFree=31625668/32770624 swapFree=0/182700
[pid=8062] ppid=8059 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8062/stat : 8062 (xcsp3-exec) S 8059 8062 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9315888 9740288 345 18446744073709551615 4194304 5098028 140722747487472 140722747485576 140394620011132 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 16547840 140722747490716 140722747490919 140722747490919 140722747494379 0
/proc/8062/statm: 2378 345 289 221 0 87 0
[pid=8064] ppid=8062 vsize=13980732 CPUtime=16.71 cores=0,2,4,6
/proc/8064/stat : 8064 (java) S 8062 8062 5228 0 -1 1077944320 40568 0 0 0 1661 10 0 0 20 0 15 0 9315894 14316269568 35303 18446744073709551615 4194304 4196468 140730859014976 140730858997520 140406818557687 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
/proc/8064/statm: 3495183 35303 3186 1 0 3483484 0
[pid=8064/tid=8065] ppid=8062 vsize=13980732 CPUtime=12.57 cores=0,2,4,6
/proc/8064/task/8065/stat : 8065 (java) R 8062 8062 5228 0 -1 4202560 10100 0 0 0 1253 4 0 0 20 0 15 0 9315894 14316269568 35303 18446744073709551615 4194304 4196468 140730859014976 140406822793568 140406461086880 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8066] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8066/stat : 8066 (java) S 8062 8062 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9315895 14316269568 35303 18446744073709551615 4194304 4196468 140730859014976 140406779456656 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8067] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8067/stat : 8067 (java) S 8062 8062 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9315895 14316269568 35303 18446744073709551615 4194304 4196468 140730859014976 140406778403856 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0

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

[pid=8064/tid=8071] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8071/stat : 8071 (java) S 8062 8062 5228 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 9315897 14316269568 55903 18446744073709551615 4194304 4196468 140730859014976 140406002697248 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8072] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8072/stat : 8072 (java) S 8062 8062 5228 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 9315897 14316269568 55903 18446744073709551615 4194304 4196468 140730859014976 140406001644400 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8073] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8073/stat : 8073 (java) S 8062 8062 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9315899 14316269568 55903 18446744073709551615 4194304 4196468 140730859014976 140406000592720 140406818576283 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8074] ppid=8062 vsize=13980732 CPUtime=1.87 cores=0,2,4,6
/proc/8064/task/8074/stat : 8074 (java) S 8062 8062 5228 0 -1 1077944384 15180 0 0 0 185 2 0 0 20 0 15 0 9315899 14316269568 55903 18446744073709551615 4194304 4196468 140730859014976 140405999541104 140406818568834 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8075] ppid=8062 vsize=13980732 CPUtime=1.75 cores=0,2,4,6
/proc/8064/task/8075/stat : 8075 (java) S 8062 8062 5228 0 -1 1077944384 11469 0 0 0 173 2 0 0 20 0 15 0 9315899 14316269568 55903 18446744073709551615 4194304 4196468 140730859014976 140405998488304 140406818568834 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8076] ppid=8062 vsize=13980732 CPUtime=0.65 cores=0,2,4,6
/proc/8064/task/8076/stat : 8076 (java) S 8062 8062 5228 0 -1 1077944384 6488 0 0 0 64 1 0 0 20 0 15 0 9315899 14316269568 55903 18446744073709551615 4194304 4196468 140730859014976 140405997435504 140406818568834 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8077] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8077/stat : 8077 (java) S 8062 8062 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9315900 14316269568 55903 18446744073709551615 4194304 4196468 140730859014976 140405996382944 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8078] ppid=8062 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/8064/task/8078/stat : 8078 (java) S 8062 8062 5228 0 -1 1077944384 1584 0 0 0 1 1 0 0 20 0 15 0 9315904 14316269568 55903 18446744073709551615 4194304 4196468 140730859014976 140405995330224 140406818568834 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
Current children cumulated CPU time (s) 106.53
Current children cumulated vsize (KiB) 13990244

[startup+162.301 s]
/proc/loadavg: 2.07 2.00 1.93 3/216 8160
/proc/meminfo: memFree=31524932/32770624 swapFree=0/182852
[pid=8062] ppid=8059 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8062/stat : 8062 (xcsp3-exec) S 8059 8062 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9315888 9740288 345 18446744073709551615 4194304 5098028 140722747487472 140722747485576 140394620011132 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 16547840 140722747490716 140722747490919 140722747490919 140722747494379 0
/proc/8062/statm: 2378 345 289 221 0 87 0
[pid=8064] ppid=8062 vsize=13980732 CPUtime=166.66 cores=0,2,4,6
/proc/8064/stat : 8064 (java) S 8062 8062 5228 0 -1 1077944320 53219 0 0 0 16650 16 0 0 20 0 15 0 9315894 14316269568 57983 18446744073709551615 4194304 4196468 140730859014976 140730858997520 140406818557687 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
/proc/8064/statm: 3495183 57983 3218 1 0 3483484 0
[pid=8064/tid=8065] ppid=8062 vsize=13980732 CPUtime=162.16 cores=0,2,4,6
/proc/8064/task/8065/stat : 8065 (java) R 8062 8062 5228 0 -1 4202560 12831 0 0 0 16210 6 0 0 20 0 15 0 9315894 14316269568 57983 18446744073709551615 4194304 4196468 140730859014976 140406822794224 140406462627807 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8066] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8066/stat : 8066 (java) S 8062 8062 5228 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 15 0 9315895 14316269568 57983 18446744073709551615 4194304 4196468 140730859014976 140406779456656 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8067] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8067/stat : 8067 (java) S 8062 8062 5228 0 -1 1077944384 964 0 0 0 0 0 0 0 20 0 15 0 9315895 14316269568 57983 18446744073709551615 4194304 4196468 140730859014976 140406778403856 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8068] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8068/stat : 8068 (java) S 8062 8062 5228 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 15 0 9315895 14316269568 57983 18446744073709551615 4194304 4196468 140730859014976 140406777351056 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8069] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8069/stat : 8069 (java) S 8062 8062 5228 0 -1 1077944384 455 0 0 0 0 0 0 0 20 0 15 0 9315895 14316269568 57983 18446744073709551615 4194304 4196468 140730859014976 140406415616784 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8070] ppid=8062 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/8064/task/8070/stat : 8070 (java) S 8062 8062 5228 0 -1 1077944384 808 0 0 0 1 0 0 0 20 0 15 0 9315896 14316269568 57983 18446744073709551615 4194304 4196468 140730859014976 140406003751280 140406818568834 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8071] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8071/stat : 8071 (java) S 8062 8062 5228 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 9315897 14316269568 57983 18446744073709551615 4194304 4196468 140730859014976 140406002697248 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8072] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8072/stat : 8072 (java) S 8062 8062 5228 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 9315897 14316269568 57983 18446744073709551615 4194304 4196468 140730859014976 140406001644400 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8073] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8073/stat : 8073 (java) S 8062 8062 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9315899 14316269568 57983 18446744073709551615 4194304 4196468 140730859014976 140406000592720 140406818576283 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8074] ppid=8062 vsize=13980732 CPUtime=1.94 cores=0,2,4,6
/proc/8064/task/8074/stat : 8074 (java) S 8062 8062 5228 0 -1 1077944384 16230 0 0 0 192 2 0 0 20 0 15 0 9315899 14316269568 57983 18446744073709551615 4194304 4196468 140730859014976 140405999541104 140406818568834 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8075] ppid=8062 vsize=13980732 CPUtime=1.77 cores=0,2,4,6
/proc/8064/task/8075/stat : 8075 (java) S 8062 8062 5228 0 -1 1077944384 11511 0 0 0 175 2 0 0 20 0 15 0 9315899 14316269568 57983 18446744073709551615 4194304 4196468 140730859014976 140405998488304 140406818568834 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8076] ppid=8062 vsize=13980732 CPUtime=0.66 cores=0,2,4,6
/proc/8064/task/8076/stat : 8076 (java) S 8062 8062 5228 0 -1 1077944384 7032 0 0 0 65 1 0 0 20 0 15 0 9315899 14316269568 57983 18446744073709551615 4194304 4196468 140730859014976 140405997435504 140406818568834 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8077] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8077/stat : 8077 (java) S 8062 8062 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9315900 14316269568 57983 18446744073709551615 4194304 4196468 140730859014976 140405996382944 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8078] ppid=8062 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/8064/task/8078/stat : 8078 (java) S 8062 8062 5228 0 -1 1077944384 1592 0 0 0 2 2 0 0 20 0 15 0 9315904 14316269568 57983 18446744073709551615 4194304 4196468 140730859014976 140405995330224 140406818568834 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
Current children cumulated CPU time (s) 166.66
Current children cumulated vsize (KiB) 13990244

[startup+222.307 s]
/proc/loadavg: 2.02 2.00 1.94 3/216 8162
/proc/meminfo: memFree=31508652/32770624 swapFree=0/182888
[pid=8062] ppid=8059 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8062/stat : 8062 (xcsp3-exec) S 8059 8062 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9315888 9740288 345 18446744073709551615 4194304 5098028 140722747487472 140722747485576 140394620011132 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 16547840 140722747490716 140722747490919 140722747490919 140722747494379 0
/proc/8062/statm: 2378 345 289 221 0 87 0
[pid=8064] ppid=8062 vsize=13980732 CPUtime=226.76 cores=0,2,4,6
/proc/8064/stat : 8064 (java) S 8062 8062 5228 0 -1 1077944320 54970 0 0 0 22659 17 0 0 20 0 15 0 9315894 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140730858997520 140406818557687 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
/proc/8064/statm: 3495183 61876 3218 1 0 3483484 0
[pid=8064/tid=8065] ppid=8062 vsize=13980732 CPUtime=222.16 cores=0,2,4,6
/proc/8064/task/8065/stat : 8065 (java) R 8062 8062 5228 0 -1 4202560 13177 0 0 0 22210 6 0 0 20 0 15 0 9315894 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140406822797200 140406462638697 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8066] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8066/stat : 8066 (java) S 8062 8062 5228 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 15 0 9315895 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140406779456656 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8067] ppid=8062 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/8064/task/8067/stat : 8067 (java) S 8062 8062 5228 0 -1 1077944384 970 0 0 0 1 0 0 0 20 0 15 0 9315895 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140406778403856 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8068] ppid=8062 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/8064/task/8068/stat : 8068 (java) S 8062 8062 5228 0 -1 1077944384 350 0 0 0 1 0 0 0 20 0 15 0 9315895 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140406777351056 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8069] ppid=8062 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/8064/task/8069/stat : 8069 (java) S 8062 8062 5228 0 -1 1077944384 1237 0 0 0 1 0 0 0 20 0 15 0 9315895 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140406415616784 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8070] ppid=8062 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/8064/task/8070/stat : 8070 (java) S 8062 8062 5228 0 -1 1077944384 866 0 0 0 1 0 0 0 20 0 15 0 9315896 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140406003751280 140406818568834 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8071] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8071/stat : 8071 (java) S 8062 8062 5228 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 9315897 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140406002697248 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8072] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8072/stat : 8072 (java) S 8062 8062 5228 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 9315897 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140406001644400 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8073] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8073/stat : 8073 (java) S 8062 8062 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9315899 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140406000592720 140406818576283 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8074] ppid=8062 vsize=13980732 CPUtime=1.97 cores=0,2,4,6
/proc/8064/task/8074/stat : 8074 (java) S 8062 8062 5228 0 -1 1077944384 16306 0 0 0 195 2 0 0 20 0 15 0 9315899 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140405999541104 140406818568834 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8075] ppid=8062 vsize=13980732 CPUtime=1.79 cores=0,2,4,6
/proc/8064/task/8075/stat : 8075 (java) S 8062 8062 5228 0 -1 1077944384 11868 0 0 0 177 2 0 0 20 0 15 0 9315899 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140405998488304 140406818568834 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8076] ppid=8062 vsize=13980732 CPUtime=0.66 cores=0,2,4,6
/proc/8064/task/8076/stat : 8076 (java) S 8062 8062 5228 0 -1 1077944384 7049 0 0 0 65 1 0 0 20 0 15 0 9315899 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140405997435504 140406818568834 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8077] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8077/stat : 8077 (java) S 8062 8062 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9315900 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140405996382944 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8078] ppid=8062 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/8064/task/8078/stat : 8078 (java) S 8062 8062 5228 0 -1 1077944384 1612 0 0 0 3 2 0 0 20 0 15 0 9315904 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140405995330224 140406818568834 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
Current children cumulated CPU time (s) 226.76
Current children cumulated vsize (KiB) 13990244



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 2.02 2.00 1.94 3/215 8163
/proc/meminfo: memFree=31508412/32770624 swapFree=0/182924
[pid=8062] ppid=8059 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8062/stat : 8062 (xcsp3-exec) S 8059 8062 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9315888 9740288 345 18446744073709551615 4194304 5098028 140722747487472 140722747485576 140394620011132 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 16547840 140722747490716 140722747490919 140722747490919 140722747494379 0
/proc/8062/statm: 2378 345 289 221 0 87 0
[pid=8064] ppid=8062 vsize=13980732 CPUtime=244.45 cores=0,2,4,6
/proc/8064/stat : 8064 (java) S 8062 8062 5228 0 -1 1077944320 54982 0 0 0 24428 17 0 0 20 0 15 0 9315894 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140730858997520 140406818557687 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
/proc/8064/statm: 3495183 61876 3218 1 0 3483484 0
[pid=8064/tid=8065] ppid=8062 vsize=13980732 CPUtime=239.86 cores=0,2,4,6
/proc/8064/task/8065/stat : 8065 (java) R 8062 8062 5228 0 -1 4202560 13189 0 0 0 23980 6 0 0 20 0 15 0 9315894 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140406822797200 140406460624235 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8066] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8066/stat : 8066 (java) S 8062 8062 5228 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 15 0 9315895 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140406779456656 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8067] ppid=8062 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/8064/task/8067/stat : 8067 (java) S 8062 8062 5228 0 -1 1077944384 970 0 0 0 1 0 0 0 20 0 15 0 9315895 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140406778403856 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8068] ppid=8062 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/8064/task/8068/stat : 8068 (java) S 8062 8062 5228 0 -1 1077944384 350 0 0 0 1 0 0 0 20 0 15 0 9315895 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140406777351056 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8069] ppid=8062 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/8064/task/8069/stat : 8069 (java) S 8062 8062 5228 0 -1 1077944384 1237 0 0 0 1 0 0 0 20 0 15 0 9315895 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140406415616784 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8070] ppid=8062 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/8064/task/8070/stat : 8070 (java) S 8062 8062 5228 0 -1 1077944384 866 0 0 0 1 0 0 0 20 0 15 0 9315896 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140406003751280 140406818568834 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8071] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8071/stat : 8071 (java) S 8062 8062 5228 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 9315897 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140406002697248 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8072] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8072/stat : 8072 (java) S 8062 8062 5228 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 9315897 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140406001644400 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8073] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8073/stat : 8073 (java) S 8062 8062 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9315899 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140406000592720 140406818576283 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8074] ppid=8062 vsize=13980732 CPUtime=1.97 cores=0,2,4,6
/proc/8064/task/8074/stat : 8074 (java) S 8062 8062 5228 0 -1 1077944384 16306 0 0 0 195 2 0 0 20 0 15 0 9315899 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140405999541104 140406818568834 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8075] ppid=8062 vsize=13980732 CPUtime=1.79 cores=0,2,4,6
/proc/8064/task/8075/stat : 8075 (java) S 8062 8062 5228 0 -1 1077944384 11868 0 0 0 177 2 0 0 20 0 15 0 9315899 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140405998488304 140406818568834 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8076] ppid=8062 vsize=13980732 CPUtime=0.66 cores=0,2,4,6
/proc/8064/task/8076/stat : 8076 (java) S 8062 8062 5228 0 -1 1077944384 7049 0 0 0 65 1 0 0 20 0 15 0 9315899 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140405997435504 140406818568834 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8077] ppid=8062 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8064/task/8077/stat : 8077 (java) S 8062 8062 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9315900 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140405996382944 140406818567893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
[pid=8064/tid=8078] ppid=8062 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/8064/task/8078/stat : 8078 (java) S 8062 8062 5228 0 -1 1077944384 1612 0 0 0 3 3 0 0 20 0 15 0 9315904 14316269568 61876 18446744073709551615 4194304 4196468 140730859014976 140405995330224 140406818568834 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8511488 140730859020756 140730859020931 140730859020931 140730859024335 0
Current children cumulated CPU time (s) 244.45
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 8064 sig 9
??? kill 8062 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 8062 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1276
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=638
# CPU time returned by wait4() is 0.001914
# while last known CPU time is 244.45
#
# 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.45
CPU user time (s): 244.28
CPU system time (s): 0.17
CPU usage (%): 101.85
Max. virtual memory (cumulated for all children) (KiB): 13992408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001276
system time used= 0.000638
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
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.21487 second user time and 1.22735 second system time

The end

Name	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-036.xml
MD5SUM	c07c58ac36c79f91eadbbae5e125078d
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	102
Best CPU time to get the best result obtained on this benchmark	1920.72
Satisfiable
(Un)Satisfiability was proved
Number of variables	1331
Number of constraints	700
Number of domains	71
Minimum domain size	2
Maximum domain size	71
Distribution of domain sizes	[{"size":2,"count":667},{"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":30,"count":1}, {"size":31,"count":2}, {"size":32,"count":1}, {"size":33,"count":2}, {"size":34,"count":1}, {"size":35,"count":2}, {"size":36,"count":1}, {"size":37,"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}]
Minimum variable degree	0
Maximum variable degree	35
Distribution of variable degrees	[{"degree":0,"count":595},{"degree":2,"count":700},{"degree":35,"count":36}]
Minimum constraint arity	2
Maximum constraint arity	36
Distribution of constraint arities	[{"arity":2,"count":36},{"arity":3,"count":631},{"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}]
Number of extensional constraints	0
Number of intensional constraints	665
Distribution of constraint types	[{"type":"intension","count":665},{"type":"sum","count":35}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4254084

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