Trace number 4254501

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-07-26)OPT63 41.463902 6.27424

General information on the benchmark

NameFastfood/Fastfood-m1-s1/
Fastfood-ff65.xml
MD5SUM0deffa9f0e673ce4a3cf2d2074b556a7
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark63
Best CPU time to get the best result obtained on this benchmark6.1055698
Satisfiable
(Un)Satisfiability was proved
Number of variables560
Number of constraints545
Number of domains27
Minimum domain size23
Maximum domain size26
Distribution of domain sizes[{"size":23,"count":17},{"size":25,"count":51},{"size":26,"count":492}]
Minimum variable degree2
Maximum variable degree33
Distribution of variable degrees[{"degree":2,"count":544},{"degree":33,"count":16}]
Minimum constraint arity2
Maximum constraint arity17
Distribution of constraint arities[{"arity":2,"count":512},{"arity":16,"count":1},{"arity":17,"count":32}]
Number of extensional constraints512
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":512},{"type":"ordered","count":1},{"type":"minimum","count":32}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.06	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254501-1501696994.xml"  -tl '1920s' -p 8 -x 0
0.00/0.24	c [HOME/instance-4254501-1501696994.xml, -tl, 1920s, -p, 8, -x, 0]
0.00/0.30	c 8 solvers in parallel
0.00/0.37	c parse instance...
8.39/1.87	c solve instance...
10.27/2.15	o 4691 
14.06/2.66	o 383 
14.06/2.67	o 354 
14.06/2.69	o 335 
14.06/2.69	o 270 
14.06/2.70	o 255 
14.70/2.71	o 242 
14.70/2.72	o 229 
14.70/2.73	o 215 
14.70/2.75	o 210 
14.70/2.79	o 204 
15.24/2.80	o 191 
15.24/2.82	o 186 
15.24/2.88	o 184 
15.24/2.88	o 179 
15.24/2.89	o 177 
15.24/2.89	o 172 
15.74/2.90	o 169 
15.74/2.90	o 163 
15.74/2.91	o 162 
15.74/2.91	o 161 
15.74/2.91	o 155 
15.74/2.94	o 154 
15.74/2.94	o 148 
16.44/3.05	o 142 
17.20/3.11	o 139 
17.20/3.12	o 138 
17.20/3.13	o 128 
17.88/3.20	o 115 
17.88/3.23	o 112 
17.88/3.24	o 111 
18.63/3.32	o 109 
18.63/3.33	o 103 
18.63/3.34	o 96 
19.33/3.49	o 92 
20.05/3.54	o 89 
20.05/3.55	o 86 
21.56/3.70	o 82 
21.56/3.74	o 80 
22.30/3.85	o 79 
23.03/3.93	o 78 
25.43/4.21	o 77 
27.82/4.57	o 70 
27.82/4.58	o 63 
41.10/6.24	s OPTIMUM FOUND
41.10/6.24	v <instantiation>
41.10/6.24	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] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[0][5] drd[0][6] drd[0][7] drd[0][8] drd[0][9] drd[0][10] drd[0][11] drd[0][12] drd[0][13] drd[0][14] drd[0][15] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[1][5] drd[1][6] drd[1][7] drd[1][8] drd[1][9] drd[1][10] drd[1][11] drd[1][12] drd[1][13] drd[1][14] drd[1][15] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[2][5] drd[2][6] drd[2][7] drd[2][8] drd[2][9] drd[2][10] drd[2][11] drd[2][12] drd[2][13] drd[2][14] drd[2][15] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[3][5] drd[3][6] drd[3][7] drd[3][8] drd[3][9] drd[3][10] drd[3][11] drd[3][12] drd[3][13] drd[3][14] drd[3][15] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[4][5] drd[4][6] drd[4][7] drd[4][8] drd[4][9] drd[4][10] drd[4][11] drd[4][12] drd[4][13] drd[4][14] drd[4][15] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[5][5] drd[5][6] drd[5][7] drd[5][8] drd[5][9] drd[5][10] drd[5][11] drd[5][12] drd[5][13] drd[5][14] drd[5][15] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[6][5] drd[6][6] drd[6][7] drd[6][8] drd[6][9] drd[6][10] drd[6][11] drd[6][12] drd[6][13] drd[6][14] drd[6][15] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[7][5] drd[7][6] drd[7][7] drd[7][8] drd[7][9] drd[7][10] drd[7][11] drd[7][12] drd[7][13] drd[7][14] drd[7][15] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[8][5] drd[8][6] drd[8][7] drd[8][8] drd[8][9] drd[8][10] drd[8][11] drd[8][12] drd[8][13] drd[8][14] drd[8][15] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[9][5] drd[9][6] drd[9][7] drd[9][8] drd[9][9] drd[9][10] drd[9][11] drd[9][12] drd[9][13] drd[9][14] drd[9][15] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[10][5] drd[10][6] drd[10][7] drd[10][8] drd[10][9] drd[10][10] drd[10][11] drd[10][12] drd[10][13] drd[10][14] drd[10][15] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[11][5] drd[11][6] drd[11][7] drd[11][8] drd[11][9] drd[11][10] drd[11][11] drd[11][12] drd[11][13] drd[11][14] drd[11][15] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[12][5] drd[12][6] drd[12][7] drd[12][8] drd[12][9] drd[12][10] drd[12][11] drd[12][12] drd[12][13] drd[12][14] drd[12][15] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[13][5] drd[13][6] drd[13][7] drd[13][8] drd[13][9] drd[13][10] drd[13][11] drd[13][12] drd[13][13] drd[13][14] drd[13][15] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[14][5] drd[14][6] drd[14][7] drd[14][8] drd[14][9] drd[14][10] drd[14][11] drd[14][12] drd[14][13] drd[14][14] drd[14][15] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[15][5] drd[15][6] drd[15][7] drd[15][8] drd[15][9] drd[15][10] drd[15][11] drd[15][12] drd[15][13] drd[15][14] drd[15][15] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[16][5] drd[16][6] drd[16][7] drd[16][8] drd[16][9] drd[16][10] drd[16][11] drd[16][12] drd[16][13] drd[16][14] drd[16][15] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[17][5] drd[17][6] drd[17][7] drd[17][8] drd[17][9] drd[17][10] drd[17][11] drd[17][12] drd[17][13] drd[17][14] drd[17][15] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[18][5] drd[18][6] drd[18][7] drd[18][8] drd[18][9] drd[18][10] drd[18][11] drd[18][12] drd[18][13] drd[18][14] drd[18][15] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[19][5] drd[19][6] drd[19][7] drd[19][8] drd[19][9] drd[19][10] drd[19][11] drd[19][12] drd[19][13] drd[19][14] drd[19][15] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[20][5] drd[20][6] drd[20][7] drd[20][8] drd[20][9] drd[20][10] drd[20][11] drd[20][12] drd[20][13] drd[20][14] drd[20][15] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[21][5] drd[21][6] drd[21][7] drd[21][8] drd[21][9] drd[21][10] drd[21][11] drd[21][12] drd[21][13] drd[21][14] drd[21][15] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[22][5] drd[22][6] drd[22][7] drd[22][8] drd[22][9] drd[22][10] drd[22][11] drd[22][12] drd[22][13] drd[22][14] drd[22][15] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[23][5] drd[23][6] drd[23][7] drd[23][8] drd[23][9] drd[23][10] drd[23][11] drd[23][12] drd[23][13] drd[23][14] drd[23][15] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[24][5] drd[24][6] drd[24][7] drd[24][8] drd[24][9] drd[24][10] drd[24][11] drd[24][12] drd[24][13] drd[24][14] drd[24][15] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[25][5] drd[25][6] drd[25][7] drd[25][8] drd[25][9] drd[25][10] drd[25][11] drd[25][12] drd[25][13] drd[25][14] drd[25][15] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[26][5] drd[26][6] drd[26][7] drd[26][8] drd[26][9] drd[26][10] drd[26][11] drd[26][12] drd[26][13] drd[26][14] drd[26][15] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[27][5] drd[27][6] drd[27][7] drd[27][8] drd[27][9] drd[27][10] drd[27][11] drd[27][12] drd[27][13] drd[27][14] drd[27][15] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[28][5] drd[28][6] drd[28][7] drd[28][8] drd[28][9] drd[28][10] drd[28][11] drd[28][12] drd[28][13] drd[28][14] drd[28][15] drd[29][0] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[29][5] drd[29][6] drd[29][7] drd[29][8] drd[29][9] drd[29][10] drd[29][11] drd[29][12] drd[29][13] drd[29][14] drd[29][15] drd[30][0] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[30][5] drd[30][6] drd[30][7] drd[30][8] drd[30][9] drd[30][10] drd[30][11] drd[30][12] drd[30][13] drd[30][14] drd[30][15] drd[31][0] drd[31][1] drd[31][2] drd[31][3] drd[31][4] drd[31][5] drd[31][6] drd[31][7] drd[31][8] drd[31][9] drd[31][10] drd[31][11] drd[31][12] drd[31][13] drd[31][14] drd[31][15] dr[0] dr[1] dr[2] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] dr[30] dr[31] </list>
41.10/6.24	v 	<values>23 50 62 87 98 122 160 187 209 238 467 512 546 606 661 711 114 87 75 50 39 15 23 50 72 101 330 375 409 469 524 574 27 0 12 37 48 72 110 137 159 188 417 462 496 556 611 661 99 72 60 35 24 0 38 65 87 116 345 390 424 484 539 589 99 72 60 35 24 0 38 65 87 116 345 390 424 484 539 589 64 37 25 0 11 35 73 100 122 151 380 425 459 519 574 624 58 31 19 6 17 41 79 106 128 157 386 431 465 525 580 630 164 137 125 100 89 65 27 0 22 51 280 325 359 419 474 524 35 8 4 29 40 64 102 129 151 180 409 454 488 548 603 653 137 110 98 73 62 38 0 27 49 78 307 352 386 446 501 551 75 48 36 11 0 24 62 89 111 140 369 414 448 508 563 613 72 45 33 8 3 27 65 92 114 143 372 417 451 511 566 616 2 25 37 62 73 97 135 162 184 213 442 487 521 581 636 686 0 27 39 64 75 99 137 164 186 215 444 489 523 583 638 688 688 661 649 624 613 589 551 524 502 473 244 199 165 105 50 0 18 9 21 46 57 81 119 146 168 197 426 471 505 565 620 670 489 462 450 425 414 390 352 325 303 274 45 0 34 94 149 199 489 462 450 425 414 390 352 325 303 274 45 0 34 94 149 199 81 54 42 17 6 18 56 83 105 134 363 408 442 502 557 607 44 17 5 20 31 55 93 120 142 171 400 445 479 539 594 644 638 611 599 574 563 539 501 474 452 423 194 149 115 55 0 50 638 611 599 574 563 539 501 474 452 423 194 149 115 55 0 50 444 417 405 380 369 345 307 280 258 229 0 45 79 139 194 244 444 417 405 380 369 345 307 280 258 229 0 45 79 139 194 244 215 188 176 151 140 116 78 51 29 0 229 274 308 368 423 473 39 12 0 25 36 60 98 125 147 176 405 450 484 544 599 649 39 12 0 25 36 60 98 125 147 176 405 450 484 544 599 649 583 556 544 519 508 484 446 419 397 368 139 94 60 0 55 105 583 556 544 519 508 484 446 419 397 368 139 94 60 0 55 105 186 159 147 122 111 87 49 22 0 29 258 303 337 397 452 502 11 38 50 75 86 110 148 175 197 226 455 500 534 594 649 699 525 498 486 461 450 426 388 361 339 310 81 36 2 58 113 163 523 496 484 459 448 424 386 359 337 308 79 34 0 60 115 165 15 0 0 0 0 6 0 4 0 0 3 2 0 0 9 0 0 6 5 0 0 0 0 0 0 0 0 0 0 11 2 0 </values>
41.10/6.24	v </instantiation>

Verifier Data 

OK	63

Watcher Data 

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-4254501-1501696994/watcher-4254501-1501696994 -o /tmp/evaluation-result-4254501-1501696994/solver-4254501-1501696994 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node135-1501676595-1714 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1375593250 HOME/instance-4254501-1501696994.xml 

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

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


[startup+0 s]
/proc/loadavg: 2.34 3.88 5.34 2/177 26209
/proc/meminfo: memFree=31689416/32770624 swapFree=0/282180
[pid=26209] ppid=26206 vsize=23672 CPUtime=0 cores=0-7
/proc/26209/stat : 26209 (runsolver) D 26206 26209 1658 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 11610013 24240128 107 18446744073709551615 4194304 4338465 140731660858208 140731660855848 139748139266775 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 31440896 140731660865619 140731660866115 140731660866115 140731660869578 0
/proc/26209/statm: 5918 107 54 36 0 2156 0

[startup+0.100155 s]
/proc/loadavg: 2.34 3.88 5.34 2/177 26209
/proc/meminfo: memFree=31689416/32770624 swapFree=0/282180
[pid=26209] ppid=26206 vsize=9512 CPUtime=0 cores=0-7
/proc/26209/stat : 26209 (xcsp3-exec) S 26206 26209 1658 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 11610013 9740288 345 18446744073709551615 4194304 5098028 140721177675744 140721177673848 139652175811196 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 19415040 140721177682322 140721177682532 140721177682532 140721177685995 0
/proc/26209/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200313 s]
/proc/loadavg: 2.34 3.88 5.34 2/177 26209
/proc/meminfo: memFree=31689416/32770624 swapFree=0/282180
[pid=26209] ppid=26206 vsize=9512 CPUtime=0 cores=0-7
/proc/26209/stat : 26209 (xcsp3-exec) S 26206 26209 1658 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 11610013 9740288 345 18446744073709551615 4194304 5098028 140721177675744 140721177673848 139652175811196 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 19415040 140721177682322 140721177682532 140721177682532 140721177685995 0
/proc/26209/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300313 s]
/proc/loadavg: 2.34 3.88 5.34 2/177 26209
/proc/meminfo: memFree=31689416/32770624 swapFree=0/282180
[pid=26209] ppid=26206 vsize=9512 CPUtime=0 cores=0-7
/proc/26209/stat : 26209 (xcsp3-exec) S 26206 26209 1658 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 11610013 9740288 345 18446744073709551615 4194304 5098028 140721177675744 140721177673848 139652175811196 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 19415040 140721177682322 140721177682532 140721177682532 140721177685995 0
/proc/26209/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700301 s]
/proc/loadavg: 2.34 3.88 5.34 2/177 26209
/proc/meminfo: memFree=31689416/32770624 swapFree=0/282180
[pid=26209] ppid=26206 vsize=9512 CPUtime=0 cores=0-7
/proc/26209/stat : 26209 (xcsp3-exec) S 26206 26209 1658 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 11610013 9740288 345 18446744073709551615 4194304 5098028 140721177675744 140721177673848 139652175811196 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 19415040 140721177682322 140721177682532 140721177682532 140721177685995 0
/proc/26209/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50078 s]
/proc/loadavg: 2.34 3.88 5.34 5/198 26230
/proc/meminfo: memFree=31272564/32770624 swapFree=0/282196
[pid=26209] ppid=26206 vsize=9512 CPUtime=0 cores=0-7
/proc/26209/stat : 26209 (xcsp3-exec) S 26206 26209 1658 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 11610013 9740288 345 18446744073709551615 4194304 5098028 140721177675744 140721177673848 139652175811196 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 19415040 140721177682322 140721177682532 140721177682532 140721177685995 0
/proc/26209/statm: 2378 345 289 221 0 87 0
[pid=26211] ppid=26209 vsize=26001944 CPUtime=6.33 cores=0-7
/proc/26211/stat : 26211 (java) S 26209 26209 1658 0 -1 1077944320 33303 0 0 0 495 138 0 0 20 0 20 0 11610019 26625990656 205029 18446744073709551615 4194304 4196468 140723755769600 140723755752144 139717819096823 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
/proc/26211/statm: 6500486 205029 3225 1 0 6488787 0
[pid=26211/tid=26212] ppid=26209 vsize=26001944 CPUtime=0.92 cores=0-7
/proc/26211/task/26212/stat : 26212 (java) S 26209 26209 1658 0 -1 1077944384 8764 0 0 0 85 7 0 0 20 0 20 0 11610019 26625990656 205029 18446744073709551615 4194304 4196468 140723755769600 139717823333072 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26213] ppid=26209 vsize=26001944 CPUtime=0.42 cores=0-7
/proc/26211/task/26213/stat : 26213 (java) R 26209 26209 1658 0 -1 4202560 2008 0 0 0 27 15 0 0 20 0 20 0 11610020 26625990656 205029 18446744073709551615 4194304 4196468 140723755769600 139717776063248 139717811725031 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26214] ppid=26209 vsize=26001944 CPUtime=0.42 cores=0-7
/proc/26211/task/26214/stat : 26214 (java) R 26209 26209 1658 0 -1 4202560 2084 0 0 0 26 16 0 0 20 0 20 0 11610020 26625990656 205029 18446744073709551615 4194304 4196468 140723755769600 139717775010704 139717811725031 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26215] ppid=26209 vsize=26001944 CPUtime=0.42 cores=0-7
/proc/26211/task/26215/stat : 26215 (java) R 26209 26209 1658 0 -1 4202560 2145 0 0 0 27 15 0 0 20 0 20 0 11610020 26625990656 205029 18446744073709551615 4194304 4196468 140723755769600 139717773958160 139717811725031 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26216] ppid=26209 vsize=26001944 CPUtime=0.42 cores=0-7
/proc/26211/task/26216/stat : 26216 (java) R 26209 26209 1658 0 -1 4202560 1961 0 0 0 27 15 0 0 20 0 20 0 11610020 26625990656 205029 18446744073709551615 4194304 4196468 140723755769600 139717772905616 139717811725031 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26217] ppid=26209 vsize=26001944 CPUtime=0.42 cores=0-7
/proc/26211/task/26217/stat : 26217 (java) R 26209 26209 1658 0 -1 4202560 1923 0 0 0 27 15 0 0 20 0 20 0 11610020 26625990656 205029 18446744073709551615 4194304 4196468 140723755769600 139717771852168 139717811725031 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26218] ppid=26209 vsize=26001944 CPUtime=0.42 cores=0-7
/proc/26211/task/26218/stat : 26218 (java) R 26209 26209 1658 0 -1 4202560 2139 0 0 0 27 15 0 0 20 0 20 0 11610020 26625990656 205029 18446744073709551615 4194304 4196468 140723755769600 139717770799504 139717811725031 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26219] ppid=26209 vsize=26001944 CPUtime=0.42 cores=0-7
/proc/26211/task/26219/stat : 26219 (java) R 26209 26209 1658 0 -1 4202560 2281 0 0 0 26 16 0 0 20 0 20 0 11610020 26625990656 205029 18446744073709551615 4194304 4196468 140723755769600 139717375293968 139717811725031 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26220] ppid=26209 vsize=26001944 CPUtime=0.43 cores=0-7
/proc/26211/task/26220/stat : 26220 (java) R 26209 26209 1658 0 -1 4202560 2205 0 0 0 27 16 0 0 20 0 20 0 11610020 26625990656 205029 18446744073709551615 4194304 4196468 140723755769600 139717374241424 139717803797456 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26221] ppid=26209 vsize=26001944 CPUtime=0.01 cores=0-7
/proc/26211/task/26221/stat : 26221 (java) S 26209 26209 1658 0 -1 1077944384 228 0 0 0 1 0 0 0 20 0 20 0 11610022 26625990656 205029 18446744073709551615 4194304 4196468 140723755769600 139716027946048 139717819107029 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26222] ppid=26209 vsize=26001944 CPUtime=0 cores=0-7
/proc/26211/task/26222/stat : 26222 (java) S 26209 26209 1658 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 11610022 26625990656 205029 18446744073709551615 4194304 4196468 140723755769600 139716026893792 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26223] ppid=26209 vsize=26001944 CPUtime=0 cores=0-7
/proc/26211/task/26223/stat : 26223 (java) S 26209 26209 1658 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 11610022 26625990656 205029 18446744073709551615 4194304 4196468 140723755769600 139716025841152 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26224] ppid=26209 vsize=26001944 CPUtime=0 cores=0-7
/proc/26211/task/26224/stat : 26224 (java) S 26209 26209 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11610025 26625990656 205029 18446744073709551615 4194304 4196468 140723755769600 139715823004368 139717819115419 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26225] ppid=26209 vsize=26001944 CPUtime=0.47 cores=0-7
/proc/26211/task/26225/stat : 26225 (java) S 26209 26209 1658 0 -1 1077944384 1504 0 0 0 46 1 0 0 20 0 20 0 11610025 26625990656 205029 18446744073709551615 4194304 4196468 140723755769600 139715821935952 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26226] ppid=26209 vsize=26001944 CPUtime=0.45 cores=0-7
/proc/26211/task/26226/stat : 26226 (java) S 26209 26209 1658 0 -1 1077944384 1435 0 0 0 45 0 0 0 20 0 20 0 11610025 26625990656 205029 18446744073709551615 4194304 4196468 140723755769600 139715820888736 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26227] ppid=26209 vsize=26001944 CPUtime=0.5 cores=0-7
/proc/26211/task/26227/stat : 26227 (java) S 26209 26209 1658 0 -1 1077944384 960 0 0 0 50 0 0 0 20 0 20 0 11610025 26625990656 205029 18446744073709551615 4194304 4196468 140723755769600 139715819845872 139717819107970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26228] ppid=26209 vsize=26001944 CPUtime=0.47 cores=0-7
/proc/26211/task/26228/stat : 26228 (java) S 26209 26209 1658 0 -1 1077944384 2369 0 0 0 47 0 0 0 20 0 20 0 11610025 26625990656 205029 18446744073709551615 4194304 4196468 140723755769600 139715818793328 139717819107970 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26229] ppid=26209 vsize=26001944 CPUtime=0 cores=0-7
/proc/26211/task/26229/stat : 26229 (java) S 26209 26209 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11610025 26625990656 205029 18446744073709551615 4194304 4196468 140723755769600 139715817741024 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26230] ppid=26209 vsize=26001944 CPUtime=0 cores=0-7
/proc/26211/task/26230/stat : 26230 (java) S 26209 26209 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11610029 26625990656 205029 18446744073709551615 4194304 4196468 140723755769600 139715816688560 139717819107970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 26011456

[startup+3.10132 s]
/proc/loadavg: 2.34 3.88 5.34 10/199 26239
/proc/meminfo: memFree=30807920/32770624 swapFree=0/282196
[pid=26209] ppid=26206 vsize=9512 CPUtime=0 cores=0-7
/proc/26209/stat : 26209 (xcsp3-exec) S 26206 26209 1658 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 11610013 9740288 345 18446744073709551615 4194304 5098028 140721177675744 140721177673848 139652175811196 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 19415040 140721177682322 140721177682532 140721177682532 140721177685995 0
/proc/26209/statm: 2378 345 289 221 0 87 0
[pid=26211] ppid=26209 vsize=26534456 CPUtime=17.2 cores=0-7
/proc/26211/stat : 26211 (java) S 26209 26209 1658 0 -1 1077944320 55145 0 0 0 1498 222 0 0 20 0 28 0 11610019 27171282944 302515 18446744073709551615 4194304 4196468 140723755769600 140723755752144 139717819096823 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
/proc/26211/statm: 6633614 302515 3259 1 0 6621915 0
[pid=26211/tid=26212] ppid=26209 vsize=26534456 CPUtime=1.11 cores=0-7
/proc/26211/task/26212/stat : 26212 (java) S 26209 26209 1658 0 -1 1077944384 8956 0 0 0 100 11 0 0 20 0 28 0 11610019 27171282944 302515 18446744073709551615 4194304 4196468 140723755769600 139717823337600 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26213] ppid=26209 vsize=26534456 CPUtime=1.12 cores=0-7
/proc/26211/task/26213/stat : 26213 (java) S 26209 26209 1658 0 -1 1077944384 2919 0 0 0 88 24 0 0 20 0 28 0 11610020 27171282944 302515 18446744073709551615 4194304 4196468 140723755769600 139717776063248 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26214] ppid=26209 vsize=26534456 CPUtime=1.12 cores=0-7
/proc/26211/task/26214/stat : 26214 (java) S 26209 26209 1658 0 -1 1077944384 3888 0 0 0 87 25 0 0 20 0 28 0 11610020 27171282944 302515 18446744073709551615 4194304 4196468 140723755769600 139717775010704 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26215] ppid=26209 vsize=26534456 CPUtime=1.11 cores=0-7
/proc/26211/task/26215/stat : 26215 (java) S 26209 26209 1658 0 -1 1077944384 2578 0 0 0 88 23 0 0 20 0 28 0 11610020 27171282944 302515 18446744073709551615 4194304 4196468 140723755769600 139717773958160 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26216] ppid=26209 vsize=26534456 CPUtime=1.12 cores=0-7
/proc/26211/task/26216/stat : 26216 (java) S 26209 26209 1658 0 -1 1077944384 2534 0 0 0 88 24 0 0 20 0 28 0 11610020 27171282944 302515 18446744073709551615 4194304 4196468 140723755769600 139717772905616 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26217] ppid=26209 vsize=26534456 CPUtime=1.11 cores=0-7
/proc/26211/task/26217/stat : 26217 (java) S 26209 26209 1658 0 -1 1077944384 3599 0 0 0 88 23 0 0 20 0 28 0 11610020 27171282944 302515 18446744073709551615 4194304 4196468 140723755769600 139717771852048 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26218] ppid=26209 vsize=26534456 CPUtime=1.13 cores=0-7
/proc/26211/task/26218/stat : 26218 (java) S 26209 26209 1658 0 -1 1077944384 3259 0 0 0 88 25 0 0 20 0 28 0 11610020 27171282944 302515 18446744073709551615 4194304 4196468 140723755769600 139717770799504 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26219] ppid=26209 vsize=26534456 CPUtime=1.1 cores=0-7
/proc/26211/task/26219/stat : 26219 (java) S 26209 26209 1658 0 -1 1077944384 2995 0 0 0 85 25 0 0 20 0 28 0 11610020 27171282944 302515 18446744073709551615 4194304 4196468 140723755769600 139717375293968 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26220] ppid=26209 vsize=26534456 CPUtime=1.11 cores=0-7
/proc/26211/task/26220/stat : 26220 (java) S 26209 26209 1658 0 -1 1077944384 3928 0 0 0 86 25 0 0 20 0 28 0 11610020 27171282944 302515 18446744073709551615 4194304 4196468 140723755769600 139717374241424 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26221] ppid=26209 vsize=26534456 CPUtime=0.04 cores=0-7
/proc/26211/task/26221/stat : 26221 (java) S 26209 26209 1658 0 -1 1077944384 1376 0 0 0 4 0 0 0 20 0 28 0 11610022 27171282944 302515 18446744073709551615 4194304 4196468 140723755769600 139716027947504 139717819107970 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26222] ppid=26209 vsize=26534456 CPUtime=0 cores=0-7
/proc/26211/task/26222/stat : 26222 (java) S 26209 26209 1658 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 11610022 27171282944 302515 18446744073709551615 4194304 4196468 140723755769600 139716026893792 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26223] ppid=26209 vsize=26534456 CPUtime=0 cores=0-7
/proc/26211/task/26223/stat : 26223 (java) S 26209 26209 1658 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 11610022 27171282944 302515 18446744073709551615 4194304 4196468 140723755769600 139716025841152 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26224] ppid=26209 vsize=26534456 CPUtime=0 cores=0-7
/proc/26211/task/26224/stat : 26224 (java) S 26209 26209 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 11610025 27171282944 302515 18446744073709551615 4194304 4196468 140723755769600 139715823004368 139717819115419 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26225] ppid=26209 vsize=26534456 CPUtime=1.14 cores=0-7
/proc/26211/task/26225/stat : 26225 (java) R 26209 26209 1658 0 -1 4202560 3417 0 0 0 113 1 0 0 20 0 28 0 11610025 27171282944 302515 18446744073709551615 4194304 4196468 140723755769600 139715821936984 139717804204578 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26226] ppid=26209 vsize=26534456 CPUtime=1.09 cores=0-7
/proc/26211/task/26226/stat : 26226 (java) R 26209 26209 1658 0 -1 4202560 2957 0 0 0 108 1 0 0 20 0 28 0 11610025 27171282944 302515 18446744073709551615 4194304 4196468 140723755769600 139715820884944 139717812193687 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26227] ppid=26209 vsize=26534456 CPUtime=1.13 cores=0-7
/proc/26211/task/26227/stat : 26227 (java) R 26209 26209 1658 0 -1 4202560 2733 0 0 0 113 0 0 0 20 0 28 0 11610025 27171282944 302515 18446744073709551615 4194304 4196468 140723755769600 139715819837296 139717799309010 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26228] ppid=26209 vsize=26534456 CPUtime=0.69 cores=0-7
/proc/26211/task/26228/stat : 26228 (java) R 26209 26209 1658 0 -1 1077944384 3084 0 0 0 68 1 0 0 20 0 28 0 11610025 27171282944 302515 18446744073709551615 4194304 4196468 140723755769600 139715818793328 139717819107970 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26229] ppid=26209 vsize=26534456 CPUtime=0 cores=0-7
/proc/26211/task/26229/stat : 26229 (java) S 26209 26209 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 11610025 27171282944 302515 18446744073709551615 4194304 4196468 140723755769600 139715817741024 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26230] ppid=26209 vsize=26534456 CPUtime=0 cores=0-7
/proc/26211/task/26230/stat : 26230 (java) S 26209 26209 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 11610029 27171282944 302515 18446744073709551615 4194304 4196468 140723755769600 139715816688560 139717819107970 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
Current children cumulated CPU time (s) 17.2
Current children cumulated vsize (KiB) 26543968

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

[startup+3.20131 s]
/proc/loadavg: 2.34 3.88 5.34 10/199 26239
/proc/meminfo: memFree=30807920/32770624 swapFree=0/282196
[pid=26209] ppid=26206 vsize=9512 CPUtime=0 cores=0-7
/proc/26209/stat : 26209 (xcsp3-exec) S 26206 26209 1658 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 11610013 9740288 345 18446744073709551615 4194304 5098028 140721177675744 140721177673848 139652175811196 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 19415040 140721177682322 140721177682532 140721177682532 140721177685995 0
/proc/26209/statm: 2378 345 289 221 0 87 0
[pid=26211] ppid=26209 vsize=26534456 CPUtime=17.88 cores=0-7
/proc/26211/stat : 26211 (java) S 26209 26209 1658 0 -1 1077944320 55725 0 0 0 1565 223 0 0 20 0 28 0 11610019 27171282944 311822 18446744073709551615 4194304 4196468 140723755769600 140723755752144 139717819096823 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
/proc/26211/statm: 6633614 311822 3259 1 0 6621915 0
[pid=26211/tid=26212] ppid=26209 vsize=26534456 CPUtime=1.12 cores=0-7
/proc/26211/task/26212/stat : 26212 (java) S 26209 26209 1658 0 -1 1077944384 8960 0 0 0 101 11 0 0 20 0 28 0 11610019 27171282944 311822 18446744073709551615 4194304 4196468 140723755769600 139717823337600 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26213] ppid=26209 vsize=26534456 CPUtime=1.12 cores=0-7
/proc/26211/task/26213/stat : 26213 (java) S 26209 26209 1658 0 -1 1077944384 2919 0 0 0 88 24 0 0 20 0 28 0 11610020 27171282944 311822 18446744073709551615 4194304 4196468 140723755769600 139717776063248 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26214] ppid=26209 vsize=26534456 CPUtime=1.12 cores=0-7
/proc/26211/task/26214/stat : 26214 (java) S 26209 26209 1658 0 -1 1077944384 3888 0 0 0 87 25 0 0 20 0 28 0 11610020 27171282944 311822 18446744073709551615 4194304 4196468 140723755769600 139717775010704 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26215] ppid=26209 vsize=26534456 CPUtime=1.11 cores=0-7
/proc/26211/task/26215/stat : 26215 (java) S 26209 26209 1658 0 -1 1077944384 2578 0 0 0 88 23 0 0 20 0 28 0 11610020 27171282944 311822 18446744073709551615 4194304 4196468 140723755769600 139717773958160 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26216] ppid=26209 vsize=26534456 CPUtime=1.12 cores=0-7
/proc/26211/task/26216/stat : 26216 (java) S 26209 26209 1658 0 -1 1077944384 2534 0 0 0 88 24 0 0 20 0 28 0 11610020 27171282944 311822 18446744073709551615 4194304 4196468 140723755769600 139717772905616 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26217] ppid=26209 vsize=26534456 CPUtime=1.11 cores=0-7
/proc/26211/task/26217/stat : 26217 (java) S 26209 26209 1658 0 -1 1077944384 3599 0 0 0 88 23 0 0 20 0 28 0 11610020 27171282944 311822 18446744073709551615 4194304 4196468 140723755769600 139717771852048 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26218] ppid=26209 vsize=26534456 CPUtime=1.13 cores=0-7
/proc/26211/task/26218/stat : 26218 (java) S 26209 26209 1658 0 -1 1077944384 3259 0 0 0 88 25 0 0 20 0 28 0 11610020 27171282944 311822 18446744073709551615 4194304 4196468 140723755769600 139717770799504 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26219] ppid=26209 vsize=26534456 CPUtime=1.1 cores=0-7
/proc/26211/task/26219/stat : 26219 (java) S 26209 26209 1658 0 -1 1077944384 2995 0 0 0 85 25 0 0 20 0 28 0 11610020 27171282944 311822 18446744073709551615 4194304 4196468 140723755769600 139717375293968 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26220] ppid=26209 vsize=26534456 CPUtime=1.11 cores=0-7
/proc/26211/task/26220/stat : 26220 (java) S 26209 26209 1658 0 -1 1077944384 3928 0 0 0 86 25 0 0 20 0 28 0 11610020 27171282944 311822 18446744073709551615 4194304 4196468 140723755769600 139717374241424 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0

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

/proc/26211/task/26222/stat : 26222 (java) S 26209 26209 1658 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 11610022 27171282944 321733 18446744073709551615 4194304 4196468 140723755769600 139716026893792 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26223] ppid=26209 vsize=26534456 CPUtime=0 cores=0-7
/proc/26211/task/26223/stat : 26223 (java) S 26209 26209 1658 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 11610022 27171282944 321733 18446744073709551615 4194304 4196468 140723755769600 139716025841152 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26224] ppid=26209 vsize=26534456 CPUtime=0 cores=0-7
/proc/26211/task/26224/stat : 26224 (java) S 26209 26209 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 11610025 27171282944 321733 18446744073709551615 4194304 4196468 140723755769600 139715823004368 139717819115419 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26225] ppid=26209 vsize=26534456 CPUtime=1.99 cores=0-7
/proc/26211/task/26225/stat : 26225 (java) S 26209 26209 1658 0 -1 1077944384 4867 0 0 0 197 2 0 0 20 0 28 0 11610025 27171282944 321733 18446744073709551615 4194304 4196468 140723755769600 139715821950720 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26226] ppid=26209 vsize=26534456 CPUtime=2.11 cores=0-7
/proc/26211/task/26226/stat : 26226 (java) S 26209 26209 1658 0 -1 1077944384 4444 0 0 0 209 2 0 0 20 0 28 0 11610025 27171282944 321733 18446744073709551615 4194304 4196468 140723755769600 139715820898416 139717819107970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26227] ppid=26209 vsize=26534456 CPUtime=2.3 cores=0-7
/proc/26211/task/26227/stat : 26227 (java) R 26209 26209 1658 0 -1 4202560 5546 0 0 0 229 1 0 0 20 0 28 0 11610025 27171282944 321733 18446744073709551615 4194304 4196468 140723755769600 139715819845872 139717798752049 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26228] ppid=26209 vsize=26534456 CPUtime=0.87 cores=0-7
/proc/26211/task/26228/stat : 26228 (java) S 26209 26209 1658 0 -1 1077944384 4001 0 0 0 85 2 0 0 20 0 28 0 11610025 27171282944 321733 18446744073709551615 4194304 4196468 140723755769600 139715818793328 139717819107970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26229] ppid=26209 vsize=26534456 CPUtime=0 cores=0-7
/proc/26211/task/26229/stat : 26229 (java) S 26209 26209 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 11610025 27171282944 321733 18446744073709551615 4194304 4196468 140723755769600 139715817741024 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26230] ppid=26209 vsize=26534456 CPUtime=0 cores=0-7
/proc/26211/task/26230/stat : 26230 (java) S 26209 26209 1658 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 28 0 11610029 27171282944 321733 18446744073709551615 4194304 4196468 140723755769600 139715816688560 139717819107970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26583] ppid=26209 vsize=26534456 CPUtime=0.8 cores=0-7
/proc/26211/task/26583/stat : 26583 (java) R 26209 26209 1658 0 -1 4202560 20 0 0 0 80 0 0 0 20 0 28 0 11610472 27171282944 321733 18446744073709551615 4194304 4196468 140723755769600 139715807067168 139717456929614 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26584] ppid=26209 vsize=26534456 CPUtime=0.9 cores=0-7
/proc/26211/task/26584/stat : 26584 (java) R 26209 26209 1658 0 -1 4202560 25 0 0 0 90 0 0 0 20 0 28 0 11610472 27171282944 321733 18446744073709551615 4194304 4196468 140723755769600 139715802857056 139717460606985 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26585] ppid=26209 vsize=26534456 CPUtime=0.98 cores=0-7
/proc/26211/task/26585/stat : 26585 (java) R 26209 26209 1658 0 -1 4202560 27 0 0 0 98 0 0 0 20 0 28 0 11610472 27171282944 321733 18446744073709551615 4194304 4196468 140723755769600 139715809176808 139717460607696 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26586] ppid=26209 vsize=26534456 CPUtime=0.95 cores=0-7
/proc/26211/task/26586/stat : 26586 (java) R 26209 26209 1658 0 -1 4202560 22 0 0 0 95 0 0 0 20 0 28 0 11610472 27171282944 321733 18446744073709551615 4194304 4196468 140723755769600 139715808120416 139717460606988 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26587] ppid=26209 vsize=26534456 CPUtime=0.92 cores=0-7
/proc/26211/task/26587/stat : 26587 (java) R 26209 26209 1658 0 -1 1077944384 26 0 0 0 92 0 0 0 20 0 28 0 11610472 27171282944 321733 18446744073709551615 4194304 4196468 140723755769600 139715801804432 139717819107029 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26588] ppid=26209 vsize=26534456 CPUtime=0.96 cores=0-7
/proc/26211/task/26588/stat : 26588 (java) R 26209 26209 1658 0 -1 4202560 24 0 0 0 96 0 0 0 20 0 28 0 11610472 27171282944 321733 18446744073709551615 4194304 4196468 140723755769600 139715804962024 139717460606985 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26589] ppid=26209 vsize=26534456 CPUtime=0.95 cores=0-7
/proc/26211/task/26589/stat : 26589 (java) R 26209 26209 1658 0 -1 4202560 161 0 0 0 95 0 0 0 20 0 28 0 11610472 27171282944 321733 18446744073709551615 4194304 4196468 140723755769600 139715806015328 139717458640214 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26590] ppid=26209 vsize=26534456 CPUtime=0.97 cores=0-7
/proc/26211/task/26590/stat : 26590 (java) R 26209 26209 1658 0 -1 4202560 30 0 0 0 97 0 0 0 20 0 28 0 11610472 27171282944 321733 18446744073709551615 4194304 4196468 140723755769600 139715803910048 139717459578870 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
Current children cumulated CPU time (s) 36.36
Current children cumulated vsize (KiB) 26543968

[startup+6.00132 s]
/proc/loadavg: 3.36 4.07 5.40 10/206 26590
/proc/meminfo: memFree=30411412/32770624 swapFree=0/282208
[pid=26209] ppid=26206 vsize=9512 CPUtime=0 cores=0-7
/proc/26209/stat : 26209 (xcsp3-exec) S 26206 26209 1658 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 11610013 9740288 345 18446744073709551615 4194304 5098028 140721177675744 140721177673848 139652175811196 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 19415040 140721177682322 140721177682532 140721177682532 140721177685995 0
/proc/26209/statm: 2378 345 289 221 0 87 0
[pid=26211] ppid=26209 vsize=26534456 CPUtime=39.5 cores=0-7
/proc/26211/stat : 26211 (java) S 26209 26209 1658 0 -1 1077944320 68140 0 0 0 3714 236 0 0 20 0 28 0 11610019 27171282944 321865 18446744073709551615 4194304 4196468 140723755769600 140723755752144 139717819096823 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
/proc/26211/statm: 6633614 321865 3269 1 0 6621915 0
[pid=26211/tid=26212] ppid=26209 vsize=26534456 CPUtime=1.13 cores=0-7
/proc/26211/task/26212/stat : 26212 (java) S 26209 26209 1658 0 -1 1077944384 8991 0 0 0 102 11 0 0 20 0 28 0 11610019 27171282944 321865 18446744073709551615 4194304 4196468 140723755769600 139717823337600 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26213] ppid=26209 vsize=26534456 CPUtime=1.12 cores=0-7
/proc/26211/task/26213/stat : 26213 (java) S 26209 26209 1658 0 -1 1077944384 2919 0 0 0 88 24 0 0 20 0 28 0 11610020 27171282944 321865 18446744073709551615 4194304 4196468 140723755769600 139717776063248 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26214] ppid=26209 vsize=26534456 CPUtime=1.13 cores=0-7
/proc/26211/task/26214/stat : 26214 (java) S 26209 26209 1658 0 -1 1077944384 3888 0 0 0 88 25 0 0 20 0 28 0 11610020 27171282944 321865 18446744073709551615 4194304 4196468 140723755769600 139717775010704 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26215] ppid=26209 vsize=26534456 CPUtime=1.12 cores=0-7
/proc/26211/task/26215/stat : 26215 (java) S 26209 26209 1658 0 -1 1077944384 2579 0 0 0 89 23 0 0 20 0 28 0 11610020 27171282944 321865 18446744073709551615 4194304 4196468 140723755769600 139717773958160 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26216] ppid=26209 vsize=26534456 CPUtime=1.12 cores=0-7
/proc/26211/task/26216/stat : 26216 (java) S 26209 26209 1658 0 -1 1077944384 2536 0 0 0 88 24 0 0 20 0 28 0 11610020 27171282944 321865 18446744073709551615 4194304 4196468 140723755769600 139717772905616 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26217] ppid=26209 vsize=26534456 CPUtime=1.11 cores=0-7
/proc/26211/task/26217/stat : 26217 (java) S 26209 26209 1658 0 -1 1077944384 3601 0 0 0 88 23 0 0 20 0 28 0 11610020 27171282944 321865 18446744073709551615 4194304 4196468 140723755769600 139717771852048 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26218] ppid=26209 vsize=26534456 CPUtime=1.13 cores=0-7
/proc/26211/task/26218/stat : 26218 (java) S 26209 26209 1658 0 -1 1077944384 3259 0 0 0 88 25 0 0 20 0 28 0 11610020 27171282944 321865 18446744073709551615 4194304 4196468 140723755769600 139717770799504 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26219] ppid=26209 vsize=26534456 CPUtime=1.1 cores=0-7
/proc/26211/task/26219/stat : 26219 (java) S 26209 26209 1658 0 -1 1077944384 2997 0 0 0 85 25 0 0 20 0 28 0 11610020 27171282944 321865 18446744073709551615 4194304 4196468 140723755769600 139717375293968 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26220] ppid=26209 vsize=26534456 CPUtime=1.11 cores=0-7
/proc/26211/task/26220/stat : 26220 (java) S 26209 26209 1658 0 -1 1077944384 3931 0 0 0 86 25 0 0 20 0 28 0 11610020 27171282944 321865 18446744073709551615 4194304 4196468 140723755769600 139717374241424 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26221] ppid=26209 vsize=26534456 CPUtime=0.04 cores=0-7
/proc/26211/task/26221/stat : 26221 (java) S 26209 26209 1658 0 -1 1077944384 1471 0 0 0 4 0 0 0 20 0 28 0 11610022 27171282944 321865 18446744073709551615 4194304 4196468 140723755769600 139716027947504 139717819107970 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26222] ppid=26209 vsize=26534456 CPUtime=0 cores=0-7
/proc/26211/task/26222/stat : 26222 (java) S 26209 26209 1658 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 11610022 27171282944 321865 18446744073709551615 4194304 4196468 140723755769600 139716026893792 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26223] ppid=26209 vsize=26534456 CPUtime=0 cores=0-7
/proc/26211/task/26223/stat : 26223 (java) S 26209 26209 1658 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 11610022 27171282944 321865 18446744073709551615 4194304 4196468 140723755769600 139716025841152 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26224] ppid=26209 vsize=26534456 CPUtime=0 cores=0-7
/proc/26211/task/26224/stat : 26224 (java) S 26209 26209 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 11610025 27171282944 321865 18446744073709551615 4194304 4196468 140723755769600 139715823004368 139717819115419 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26225] ppid=26209 vsize=26534456 CPUtime=2 cores=0-7
/proc/26211/task/26225/stat : 26225 (java) R 26209 26209 1658 0 -1 4202560 4872 0 0 0 198 2 0 0 20 0 28 0 11610025 27171282944 321865 18446744073709551615 4194304 4196468 140723755769600 139715821951256 139717800681287 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26226] ppid=26209 vsize=26534456 CPUtime=2.14 cores=0-7
/proc/26211/task/26226/stat : 26226 (java) R 26209 26209 1658 0 -1 4202560 4836 0 0 0 212 2 0 0 20 0 28 0 11610025 27171282944 321865 18446744073709551615 4194304 4196468 140723755769600 139715820898416 139717803897526 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26227] ppid=26209 vsize=26534456 CPUtime=2.33 cores=0-7
/proc/26211/task/26227/stat : 26227 (java) S 26209 26209 1658 0 -1 1077944384 5600 0 0 0 232 1 0 0 20 0 28 0 11610025 27171282944 321865 18446744073709551615 4194304 4196468 140723755769600 139715819845872 139717819107970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26228] ppid=26209 vsize=26534456 CPUtime=0.87 cores=0-7
/proc/26211/task/26228/stat : 26228 (java) S 26209 26209 1658 0 -1 1077944384 4197 0 0 0 85 2 0 0 20 0 28 0 11610025 27171282944 321865 18446744073709551615 4194304 4196468 140723755769600 139715818793328 139717819107970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26229] ppid=26209 vsize=26534456 CPUtime=0 cores=0-7
/proc/26211/task/26229/stat : 26229 (java) S 26209 26209 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 11610025 27171282944 321865 18446744073709551615 4194304 4196468 140723755769600 139715817741024 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26230] ppid=26209 vsize=26534456 CPUtime=0 cores=0-7
/proc/26211/task/26230/stat : 26230 (java) S 26209 26209 1658 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 28 0 11610029 27171282944 321865 18446744073709551615 4194304 4196468 140723755769600 139715816688560 139717819107970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26583] ppid=26209 vsize=26534456 CPUtime=1.19 cores=0-7
/proc/26211/task/26583/stat : 26583 (java) R 26209 26209 1658 0 -1 4202560 51 0 0 0 119 0 0 0 20 0 28 0 11610472 27171282944 321865 18446744073709551615 4194304 4196468 140723755769600 139715807068152 139717457104651 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26584] ppid=26209 vsize=26534456 CPUtime=1.29 cores=0-7
/proc/26211/task/26584/stat : 26584 (java) R 26209 26209 1658 0 -1 4202560 73 0 0 0 129 0 0 0 20 0 28 0 11610472 27171282944 321865 18446744073709551615 4194304 4196468 140723755769600 139715802857648 139717459579288 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26585] ppid=26209 vsize=26534456 CPUtime=1.37 cores=0-7
/proc/26211/task/26585/stat : 26585 (java) R 26209 26209 1658 0 -1 4202560 339 0 0 0 137 0 0 0 20 0 28 0 11610472 27171282944 321865 18446744073709551615 4194304 4196468 140723755769600 139715809173256 139717457104760 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26586] ppid=26209 vsize=26534456 CPUtime=1.34 cores=0-7
/proc/26211/task/26586/stat : 26586 (java) R 26209 26209 1658 0 -1 4202560 129 0 0 0 134 0 0 0 20 0 28 0 11610472 27171282944 321865 18446744073709551615 4194304 4196468 140723755769600 139715808119784 139717460526068 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26587] ppid=26209 vsize=26534456 CPUtime=1.31 cores=0-7
/proc/26211/task/26587/stat : 26587 (java) R 26209 26209 1658 0 -1 4202560 124 0 0 0 131 0 0 0 20 0 28 0 11610472 27171282944 321865 18446744073709551615 4194304 4196468 140723755769600 139715801806200 139717460525038 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26588] ppid=26209 vsize=26534456 CPUtime=1.33 cores=0-7
/proc/26211/task/26588/stat : 26588 (java) R 26209 26209 1658 0 -1 4202560 49 0 0 0 133 0 0 0 20 0 28 0 11610472 27171282944 321865 18446744073709551615 4194304 4196468 140723755769600 139715804963688 139717459579119 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26589] ppid=26209 vsize=26534456 CPUtime=1.3 cores=0-7
/proc/26211/task/26589/stat : 26589 (java) R 26209 26209 1658 0 -1 4202560 184 0 0 0 130 0 0 0 20 0 28 0 11610472 27171282944 321865 18446744073709551615 4194304 4196468 140723755769600 139715806014576 139717457103621 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26590] ppid=26209 vsize=26534456 CPUtime=1.35 cores=0-7
/proc/26211/task/26590/stat : 26590 (java) R 26209 26209 1658 0 -1 4202560 123 0 0 0 135 0 0 0 20 0 28 0 11610472 27171282944 321865 18446744073709551615 4194304 4196468 140723755769600 139715803906336 139717460524926 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
Current children cumulated CPU time (s) 39.5
Current children cumulated vsize (KiB) 26543968

[startup+6.20132 s]
/proc/loadavg: 3.36 4.07 5.40 10/206 26590
/proc/meminfo: memFree=30411412/32770624 swapFree=0/282208
[pid=26209] ppid=26206 vsize=9512 CPUtime=0 cores=0-7
/proc/26209/stat : 26209 (xcsp3-exec) S 26206 26209 1658 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 11610013 9740288 345 18446744073709551615 4194304 5098028 140721177675744 140721177673848 139652175811196 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 19415040 140721177682322 140721177682532 140721177682532 140721177685995 0
/proc/26209/statm: 2378 345 289 221 0 87 0
[pid=26211] ppid=26209 vsize=26534456 CPUtime=41.1 cores=0-7
/proc/26211/stat : 26211 (java) S 26209 26209 1658 0 -1 1077944320 72320 0 0 0 3874 236 0 0 20 0 28 0 11610019 27171282944 321911 18446744073709551615 4194304 4196468 140723755769600 140723755752144 139717819096823 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
/proc/26211/statm: 6633614 321911 3269 1 0 6621915 0
[pid=26211/tid=26212] ppid=26209 vsize=26534456 CPUtime=1.13 cores=0-7
/proc/26211/task/26212/stat : 26212 (java) S 26209 26209 1658 0 -1 1077944384 8991 0 0 0 102 11 0 0 20 0 28 0 11610019 27171282944 321911 18446744073709551615 4194304 4196468 140723755769600 139717823337600 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26213] ppid=26209 vsize=26534456 CPUtime=1.12 cores=0-7
/proc/26211/task/26213/stat : 26213 (java) S 26209 26209 1658 0 -1 1077944384 2919 0 0 0 88 24 0 0 20 0 28 0 11610020 27171282944 321911 18446744073709551615 4194304 4196468 140723755769600 139717776063248 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26214] ppid=26209 vsize=26534456 CPUtime=1.13 cores=0-7
/proc/26211/task/26214/stat : 26214 (java) S 26209 26209 1658 0 -1 1077944384 3888 0 0 0 88 25 0 0 20 0 28 0 11610020 27171282944 321911 18446744073709551615 4194304 4196468 140723755769600 139717775010704 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26215] ppid=26209 vsize=26534456 CPUtime=1.12 cores=0-7
/proc/26211/task/26215/stat : 26215 (java) S 26209 26209 1658 0 -1 1077944384 2579 0 0 0 89 23 0 0 20 0 28 0 11610020 27171282944 321911 18446744073709551615 4194304 4196468 140723755769600 139717773958160 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26216] ppid=26209 vsize=26534456 CPUtime=1.12 cores=0-7
/proc/26211/task/26216/stat : 26216 (java) S 26209 26209 1658 0 -1 1077944384 2536 0 0 0 88 24 0 0 20 0 28 0 11610020 27171282944 321911 18446744073709551615 4194304 4196468 140723755769600 139717772905616 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26217] ppid=26209 vsize=26534456 CPUtime=1.11 cores=0-7
/proc/26211/task/26217/stat : 26217 (java) S 26209 26209 1658 0 -1 1077944384 3601 0 0 0 88 23 0 0 20 0 28 0 11610020 27171282944 321911 18446744073709551615 4194304 4196468 140723755769600 139717771852048 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26218] ppid=26209 vsize=26534456 CPUtime=1.13 cores=0-7
/proc/26211/task/26218/stat : 26218 (java) S 26209 26209 1658 0 -1 1077944384 3259 0 0 0 88 25 0 0 20 0 28 0 11610020 27171282944 321911 18446744073709551615 4194304 4196468 140723755769600 139717770799504 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26219] ppid=26209 vsize=26534456 CPUtime=1.1 cores=0-7
/proc/26211/task/26219/stat : 26219 (java) S 26209 26209 1658 0 -1 1077944384 2997 0 0 0 85 25 0 0 20 0 28 0 11610020 27171282944 321911 18446744073709551615 4194304 4196468 140723755769600 139717375293968 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26220] ppid=26209 vsize=26534456 CPUtime=1.11 cores=0-7
/proc/26211/task/26220/stat : 26220 (java) S 26209 26209 1658 0 -1 1077944384 3931 0 0 0 86 25 0 0 20 0 28 0 11610020 27171282944 321911 18446744073709551615 4194304 4196468 140723755769600 139717374241424 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26221] ppid=26209 vsize=26534456 CPUtime=0.04 cores=0-7
/proc/26211/task/26221/stat : 26221 (java) S 26209 26209 1658 0 -1 1077944384 1471 0 0 0 4 0 0 0 20 0 28 0 11610022 27171282944 321911 18446744073709551615 4194304 4196468 140723755769600 139716027947504 139717819107970 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26222] ppid=26209 vsize=26534456 CPUtime=0 cores=0-7
/proc/26211/task/26222/stat : 26222 (java) S 26209 26209 1658 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 11610022 27171282944 321911 18446744073709551615 4194304 4196468 140723755769600 139716026893792 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26223] ppid=26209 vsize=26534456 CPUtime=0 cores=0-7
/proc/26211/task/26223/stat : 26223 (java) S 26209 26209 1658 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 11610022 27171282944 321911 18446744073709551615 4194304 4196468 140723755769600 139716025841152 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26224] ppid=26209 vsize=26534456 CPUtime=0 cores=0-7
/proc/26211/task/26224/stat : 26224 (java) S 26209 26209 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 11610025 27171282944 321911 18446744073709551615 4194304 4196468 140723755769600 139715823004368 139717819115419 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26225] ppid=26209 vsize=26534456 CPUtime=2.04 cores=0-7
/proc/26211/task/26225/stat : 26225 (java) S 26209 26209 1658 0 -1 1077944384 4947 0 0 0 202 2 0 0 20 0 28 0 11610025 27171282944 321911 18446744073709551615 4194304 4196468 140723755769600 139715821950960 139717819107970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26226] ppid=26209 vsize=26534456 CPUtime=2.18 cores=0-7
/proc/26211/task/26226/stat : 26226 (java) S 26209 26209 1658 0 -1 1077944384 4842 0 0 0 216 2 0 0 20 0 28 0 11610025 27171282944 321911 18446744073709551615 4194304 4196468 140723755769600 139715820898416 139717819107970 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26227] ppid=26209 vsize=26534456 CPUtime=2.37 cores=0-7
/proc/26211/task/26227/stat : 26227 (java) S 26209 26209 1658 0 -1 1077944384 5648 0 0 0 236 1 0 0 20 0 28 0 11610025 27171282944 321911 18446744073709551615 4194304 4196468 140723755769600 139715819845872 139717819107970 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26228] ppid=26209 vsize=26534456 CPUtime=0.87 cores=0-7
/proc/26211/task/26228/stat : 26228 (java) S 26209 26209 1658 0 -1 1077944384 4203 0 0 0 85 2 0 0 20 0 28 0 11610025 27171282944 321911 18446744073709551615 4194304 4196468 140723755769600 139715818793328 139717819107970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26229] ppid=26209 vsize=26534456 CPUtime=0 cores=0-7
/proc/26211/task/26229/stat : 26229 (java) S 26209 26209 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 11610025 27171282944 321911 18446744073709551615 4194304 4196468 140723755769600 139715817741024 139717819107029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26230] ppid=26209 vsize=26534456 CPUtime=0 cores=0-7
/proc/26211/task/26230/stat : 26230 (java) S 26209 26209 1658 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 28 0 11610029 27171282944 321911 18446744073709551615 4194304 4196468 140723755769600 139715816688560 139717819107970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26583] ppid=26209 vsize=26534456 CPUtime=1.38 cores=0-7
/proc/26211/task/26583/stat : 26583 (java) R 26209 26209 1658 0 -1 4202560 75 0 0 0 138 0 0 0 20 0 28 0 11610472 27171282944 321911 18446744073709551615 4194304 4196468 140723755769600 139715807067512 139717457104215 0 4 1 16800974 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26584] ppid=26209 vsize=26534456 CPUtime=1.45 cores=0-7
/proc/26211/task/26584/stat : 26584 (java) R 26209 26209 1658 0 -1 4202560 255 0 0 0 145 0 0 0 20 0 28 0 11610472 27171282944 321911 18446744073709551615 4194304 4196468 140723755769600 139715802857808 139717457103567 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26585] ppid=26209 vsize=26534456 CPUtime=1.57 cores=0-7
/proc/26211/task/26585/stat : 26585 (java) R 26209 26209 1658 0 -1 4202560 366 0 0 0 157 0 0 0 20 0 28 0 11610472 27171282944 321911 18446744073709551615 4194304 4196468 140723755769600 139715809173256 139717456930208 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26586] ppid=26209 vsize=26534456 CPUtime=1.54 cores=0-7
/proc/26211/task/26586/stat : 26586 (java) R 26209 26209 1658 0 -1 4202560 150 0 0 0 154 0 0 0 20 0 28 0 11610472 27171282944 321911 18446744073709551615 4194304 4196468 140723755769600 139715808123016 139717459579119 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26587] ppid=26209 vsize=26534456 CPUtime=1.51 cores=0-7
/proc/26211/task/26587/stat : 26587 (java) R 26209 26209 1658 0 -1 4202560 1726 0 0 0 151 0 0 0 20 0 28 0 11610472 27171282944 321911 18446744073709551615 4194304 4196468 140723755769600 139715801806200 139717456930214 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26588] ppid=26209 vsize=26534456 CPUtime=1.5 cores=0-7
/proc/26211/task/26588/stat : 26588 (java) R 26209 26209 1658 0 -1 4202560 126 0 0 0 150 0 0 0 20 0 28 0 11610472 27171282944 321911 18446744073709551615 4194304 4196468 140723755769600 139715804963336 139717457103744 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26589] ppid=26209 vsize=26534456 CPUtime=1.48 cores=0-7
/proc/26211/task/26589/stat : 26589 (java) R 26209 26209 1658 0 -1 4202560 2120 0 0 0 148 0 0 0 20 0 28 0 11610472 27171282944 321911 18446744073709551615 4194304 4196468 140723755769600 139715806014576 139717460785121 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
[pid=26211/tid=26590] ppid=26209 vsize=26534456 CPUtime=1.55 cores=0-7
/proc/26211/task/26590/stat : 26590 (java) R 26209 26209 1658 0 -1 4202560 299 0 0 0 155 0 0 0 20 0 28 0 11610472 27171282944 321911 18446744073709551615 4194304 4196468 140723755769600 139715803910376 139717456929541 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140723755778512 140723755778688 140723755778688 140723755782095 0
Current children cumulated CPU time (s) 41.1
Current children cumulated vsize (KiB) 26543968

Child status: 0
Real time (s): 6.27424
CPU time (s): 41.4639
CPU user time (s): 39.0824
CPU system time (s): 2.38152
CPU usage (%): 660.859
Max. virtual memory (cumulated for all children) (KiB): 26543968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.0824
system time used= 2.38152
maximum resident set size= 1291676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73673
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8031
involuntary context switches= 841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033409 second user time and 0.052898 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-02 19:49:13
IDJOB=4254501
IDBENCH=138318
IDSOLVER=2636
FILE ID=node135/4254501-1501696994
RUNJOBID= node135-1501676595-1714
PBS_JOBID= 
Free space on /tmp= 61948 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff65.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4254501-1501696994/watcher-4254501-1501696994 -o /tmp/evaluation-result-4254501-1501696994/solver-4254501-1501696994 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node135-1501676595-1714 --watchdog 324  ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1375593250 HOME/instance-4254501-1501696994.xml

TIME LIMIT= 1920 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 0deffa9f0e673ce4a3cf2d2074b556a7
RANDOM SEED=1375593250

node135.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31690096 kB
MemAvailable:   32013096 kB
Buffers:          153996 kB
Cached:           444536 kB
SwapCached:            0 kB
Active:           364552 kB
Inactive:         290772 kB
Active(anon):      57476 kB
Inactive(anon):     8592 kB
Active(file):     307076 kB
Inactive(file):   282180 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8224 kB
Writeback:             0 kB
AnonPages:         56768 kB
Mapped:            29744 kB
Shmem:              8960 kB
Slab:             124988 kB
SReclaimable:      99156 kB
SUnreclaim:        25832 kB
KernelStack:        3152 kB
PageTables:         4200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     279156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61940 MiB
End job on node135 at 2017-08-02 19:49:20