Trace number 4249762

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
R1: choco-solver 4.0.5 (2017-07-05)OPT63 60.1146 8.51316

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.2784801
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.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4249762-1500695640.xml"  -tl '2400s' -p 8 -x 0
0.00/0.16	c [HOME/instance-4249762-1500695640.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.21	c 8 solvers in parallel
0.00/0.28	c parse instance...
11.76/2.22	c solve instance...
13.02/2.43	o 4691 
20.84/3.44	o 335 
20.84/3.44	o 270 
20.84/3.45	o 255 
20.84/3.45	o 242 
20.84/3.47	o 229 
20.84/3.47	o 164 
20.84/3.50	o 162 
21.42/3.51	o 161 
21.42/3.52	o 155 
21.42/3.53	o 154 
21.42/3.53	o 148 
22.91/3.75	o 116 
23.63/3.80	o 113 
23.63/3.81	o 109 
24.40/3.94	o 108 
24.40/3.96	o 105 
25.03/4.00	o 102 
25.03/4.01	o 101 
25.79/4.13	o 97 
25.79/4.18	o 93 
26.57/4.28	o 74 
29.03/4.52	o 73 
40.83/6.08	o 71 
43.20/6.39	o 70 
43.87/6.45	o 69 
44.62/6.50	o 68 
45.49/6.71	o 67 
46.94/6.88	o 63 
59.53/8.48	s OPTIMUM FOUND
59.53/8.48	v <instantiation>
59.53/8.48	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>
59.53/8.48	v 	<values>23 41 62 81 98 122 160 187 209 238 467 512 546 606 661 711 114 96 75 56 39 15 23 50 72 101 330 375 409 469 524 574 27 9 12 31 48 72 110 137 159 188 417 462 496 556 611 661 99 81 60 41 24 0 38 65 87 116 345 390 424 484 539 589 99 81 60 41 24 0 38 65 87 116 345 390 424 484 539 589 64 46 25 6 11 35 73 100 122 151 380 425 459 519 574 624 58 40 19 0 17 41 79 106 128 157 386 431 465 525 580 630 164 146 125 106 89 65 27 0 22 51 280 325 359 419 474 524 35 17 4 23 40 64 102 129 151 180 409 454 488 548 603 653 137 119 98 79 62 38 0 27 49 78 307 352 386 446 501 551 75 57 36 17 0 24 62 89 111 140 369 414 448 508 563 613 72 54 33 14 3 27 65 92 114 143 372 417 451 511 566 616 2 16 37 56 73 97 135 162 184 213 442 487 521 581 636 686 0 18 39 58 75 99 137 164 186 215 444 489 523 583 638 688 688 670 649 630 613 589 551 524 502 473 244 199 165 105 50 0 18 0 21 40 57 81 119 146 168 197 426 471 505 565 620 670 489 471 450 431 414 390 352 325 303 274 45 0 34 94 149 199 489 471 450 431 414 390 352 325 303 274 45 0 34 94 149 199 81 63 42 23 6 18 56 83 105 134 363 408 442 502 557 607 44 26 5 14 31 55 93 120 142 171 400 445 479 539 594 644 638 620 599 580 563 539 501 474 452 423 194 149 115 55 0 50 638 620 599 580 563 539 501 474 452 423 194 149 115 55 0 50 444 426 405 386 369 345 307 280 258 229 0 45 79 139 194 244 444 426 405 386 369 345 307 280 258 229 0 45 79 139 194 244 215 197 176 157 140 116 78 51 29 0 229 274 308 368 423 473 39 21 0 19 36 60 98 125 147 176 405 450 484 544 599 649 39 21 0 19 36 60 98 125 147 176 405 450 484 544 599 649 583 565 544 525 508 484 446 419 397 368 139 94 60 0 55 105 583 565 544 525 508 484 446 419 397 368 139 94 60 0 55 105 186 168 147 128 111 87 49 22 0 29 258 303 337 397 452 502 11 29 50 69 86 110 148 175 197 226 455 500 534 594 649 699 525 507 486 467 450 426 388 361 339 310 81 36 2 58 113 163 523 505 484 465 448 424 386 359 337 308 79 34 0 60 115 165 15 9 0 0 6 0 0 4 0 0 3 2 0 0 0 0 0 6 5 0 0 0 0 0 0 0 0 0 0 11 2 0 </values>
59.53/8.48	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-4249762-1500695640/watcher-4249762-1500695640 -o /tmp/evaluation-result-4249762-1500695640/solver-4249762-1500695640 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1035977823 HOME/instance-4249762-1500695640.xml 

pid=20333
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 15.45 15.62 14.94 10/275 20336
/proc/meminfo: memFree=28490416/32770624 swapFree=5900/311964
[pid=20336] ppid=20333 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20336/stat : 20336 (xcsp3-exec) S 20333 20336 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4830985 9740288 346 33554432000 4194304 5098028 140736553808224 140736553806328 140412726362748 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9867264 140736553813134 140736553813344 140736553813344 140736553816043 0
/proc/20336/statm: 2378 346 289 221 0 87 0

[startup+0.100105 s]
/proc/loadavg: 15.45 15.62 14.94 10/275 20336
/proc/meminfo: memFree=28490416/32770624 swapFree=5900/311964
[pid=20336] ppid=20333 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20336/stat : 20336 (xcsp3-exec) S 20333 20336 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4830985 9740288 346 33554432000 4194304 5098028 140736553808224 140736553806328 140412726362748 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9867264 140736553813134 140736553813344 140736553813344 140736553816043 0
/proc/20336/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200329 s]
/proc/loadavg: 15.45 15.62 14.94 10/275 20336
/proc/meminfo: memFree=28490416/32770624 swapFree=5900/311964
[pid=20336] ppid=20333 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20336/stat : 20336 (xcsp3-exec) S 20333 20336 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4830985 9740288 346 33554432000 4194304 5098028 140736553808224 140736553806328 140412726362748 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9867264 140736553813134 140736553813344 140736553813344 140736553816043 0
/proc/20336/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300312 s]
/proc/loadavg: 15.45 15.62 14.94 10/275 20336
/proc/meminfo: memFree=28490416/32770624 swapFree=5900/311964
[pid=20336] ppid=20333 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20336/stat : 20336 (xcsp3-exec) S 20333 20336 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4830985 9740288 346 33554432000 4194304 5098028 140736553808224 140736553806328 140412726362748 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9867264 140736553813134 140736553813344 140736553813344 140736553816043 0
/proc/20336/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700235 s]
/proc/loadavg: 15.45 15.62 14.94 10/275 20336
/proc/meminfo: memFree=28490416/32770624 swapFree=5900/311964
[pid=20336] ppid=20333 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20336/stat : 20336 (xcsp3-exec) S 20333 20336 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4830985 9740288 346 33554432000 4194304 5098028 140736553808224 140736553806328 140412726362748 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9867264 140736553813134 140736553813344 140736553813344 140736553816043 0
/proc/20336/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50197 s]
/proc/loadavg: 15.45 15.62 14.94 13/296 20357
/proc/meminfo: memFree=28069240/32770624 swapFree=5900/312052
[pid=20336] ppid=20333 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20336/stat : 20336 (xcsp3-exec) S 20333 20336 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4830985 9740288 346 33554432000 4194304 5098028 140736553808224 140736553806328 140412726362748 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9867264 140736553813134 140736553813344 140736553813344 140736553816043 0
/proc/20336/statm: 2378 346 289 221 0 87 0
[pid=20337] ppid=20336 vsize=13269256 CPUtime=6.86 cores=0,2,4,6,8,10,12,14
/proc/20337/stat : 20337 (java) S 20336 20336 16913 0 -1 1077944320 21750 0 0 0 444 242 0 0 20 0 20 0 4830985 13587718144 184279 33554432000 4194304 4196468 140727698414304 140727698396848 139785576513271 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
/proc/20337/statm: 3317314 184279 3247 1 0 3304547 0
[pid=20337/tid=20338] ppid=20336 vsize=13269256 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20338/stat : 20338 (java) S 20336 20336 16913 0 -1 1077944384 6514 0 0 0 95 6 0 0 20 0 20 0 4830986 13587718144 184279 33554432000 4194304 4196468 140727698414304 139785580749760 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20340] ppid=20336 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20340/stat : 20340 (java) R 20336 20336 16913 0 -1 4202560 706 0 0 0 13 29 0 0 20 0 20 0 4830986 13587718144 184279 33554432000 4194304 4196468 140727698414304 139785494993704 139785569617919 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20341] ppid=20336 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20341/stat : 20341 (java) R 20336 20336 16913 0 -1 4202560 772 0 0 0 15 27 0 0 20 0 20 0 4830986 13587718144 184279 33554432000 4194304 4196468 140727698414304 139785493941160 139785569617929 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20342] ppid=20336 vsize=13269256 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20342/stat : 20342 (java) R 20336 20336 16913 0 -1 4202560 743 0 0 0 15 28 0 0 20 0 20 0 4830986 13587718144 184279 33554432000 4194304 4196468 140727698414304 139785492887960 139785569616893 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20343] ppid=20336 vsize=13269256 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20343/stat : 20343 (java) R 20336 20336 16913 0 -1 4202560 762 0 0 0 14 29 0 0 20 0 20 0 4830986 13587718144 184279 33554432000 4194304 4196468 140727698414304 139785491835560 139785561541154 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20344] ppid=20336 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20344/stat : 20344 (java) R 20336 20336 16913 0 -1 4202560 706 0 0 0 13 29 0 0 20 0 20 0 4830986 13587718144 184279 33554432000 4194304 4196468 140727698414304 139785490782504 139785561541154 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20345] ppid=20336 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20345/stat : 20345 (java) R 20336 20336 16913 0 -1 4202560 744 0 0 0 13 29 0 0 20 0 20 0 4830986 13587718144 184279 33554432000 4194304 4196468 140727698414304 139785489729712 139785569617919 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20346] ppid=20336 vsize=13269256 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20346/stat : 20346 (java) R 20336 20336 16913 0 -1 4202560 741 0 0 0 14 29 0 0 20 0 20 0 4830986 13587718144 184279 33554432000 4194304 4196468 140727698414304 139785488676904 139785561541154 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20347] ppid=20336 vsize=13269256 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20347/stat : 20347 (java) R 20336 20336 16913 0 -1 4202560 737 0 0 0 13 28 0 0 20 0 20 0 4830986 13587718144 184279 33554432000 4194304 4196468 140727698414304 139785487624360 139785569616873 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20348] ppid=20336 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20348/stat : 20348 (java) S 20336 20336 16913 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 4830988 13587718144 184279 33554432000 4194304 4196468 140727698414304 139784241292576 139785576523477 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20349] ppid=20336 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20349/stat : 20349 (java) S 20336 20336 16913 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4830989 13587718144 184279 33554432000 4194304 4196468 140727698414304 139784240240352 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20350] ppid=20336 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20350/stat : 20350 (java) S 20336 20336 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4830989 13587718144 184279 33554432000 4194304 4196468 140727698414304 139784239187200 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20351] ppid=20336 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20351/stat : 20351 (java) S 20336 20336 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4830992 13587718144 184279 33554432000 4194304 4196468 140727698414304 139784238135760 139785576531867 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20352] ppid=20336 vsize=13269256 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20352/stat : 20352 (java) S 20336 20336 16913 0 -1 1077944384 2212 0 0 0 67 0 0 0 20 0 20 0 4830992 13587718144 184279 33554432000 4194304 4196468 140727698414304 139784237074144 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20353] ppid=20336 vsize=13269256 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20353/stat : 20353 (java) S 20336 20336 16913 0 -1 1077944384 1879 0 0 0 53 0 0 0 20 0 20 0 4830992 13587718144 184279 33554432000 4194304 4196468 140727698414304 139784236030320 139785576524418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20354] ppid=20336 vsize=13269256 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20354/stat : 20354 (java) S 20336 20336 16913 0 -1 1077944384 1694 0 0 0 55 0 0 0 20 0 20 0 4830992 13587718144 184279 33554432000 4194304 4196468 140727698414304 139784234968368 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20355] ppid=20336 vsize=13269256 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20355/stat : 20355 (java) S 20336 20336 16913 0 -1 1077944384 2163 0 0 0 57 1 0 0 20 0 20 0 4830992 13587718144 184279 33554432000 4194304 4196468 140727698414304 139784233924720 139785576524418 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20356] ppid=20336 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20356/stat : 20356 (java) S 20336 20336 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4830993 13587718144 184279 33554432000 4194304 4196468 140727698414304 139784232872928 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20357] ppid=20336 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20357/stat : 20357 (java) S 20336 20336 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4830993 13587718144 184279 33554432000 4194304 4196468 140727698414304 139784231820464 139785576524418 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
Current children cumulated CPU time (s) 6.86
Current children cumulated vsize (KiB) 13278768

[startup+3.10096 s]
/proc/loadavg: 15.45 15.62 14.94 12/296 20357
/proc/meminfo: memFree=27662340/32770624 swapFree=5900/312040
[pid=20336] ppid=20333 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20336/stat : 20336 (xcsp3-exec) S 20333 20336 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4830985 9740288 346 33554432000 4194304 5098028 140736553808224 140736553806328 140412726362748 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9867264 140736553813134 140736553813344 140736553813344 140736553816043 0
/proc/20336/statm: 2378 346 289 221 0 87 0
[pid=20337] ppid=20336 vsize=13801768 CPUtime=18.4 cores=0,2,4,6,8,10,12,14
/proc/20337/stat : 20337 (java) S 20336 20336 16913 0 -1 1077944320 49252 0 0 0 1443 397 0 0 20 0 21 0 4830985 14133010432 277032 33554432000 4194304 4196468 140727698414304 140727698396848 139785576513271 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
/proc/20337/statm: 3450442 277032 3276 1 0 3437675 0
[pid=20337/tid=20338] ppid=20336 vsize=13801768 CPUtime=1.17 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20338/stat : 20338 (java) S 20336 20336 16913 0 -1 1077944384 6579 0 0 0 111 6 0 0 20 0 21 0 4830986 14133010432 277032 33554432000 4194304 4196468 140727698414304 139785580754048 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20340] ppid=20336 vsize=13801768 CPUtime=1.62 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20340/stat : 20340 (java) R 20336 20336 16913 0 -1 4202560 4093 0 0 0 114 48 0 0 20 0 21 0 4830986 14133010432 277032 33554432000 4194304 4196468 140727698414304 139785494994056 139785559896306 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20341] ppid=20336 vsize=13801768 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20341/stat : 20341 (java) R 20336 20336 16913 0 -1 4202560 3965 0 0 0 115 46 0 0 20 0 21 0 4830986 14133010432 277032 33554432000 4194304 4196468 140727698414304 139785493941512 139785562272088 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20342] ppid=20336 vsize=13801768 CPUtime=1.63 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20342/stat : 20342 (java) R 20336 20336 16913 0 -1 4202560 4176 0 0 0 116 47 0 0 20 0 21 0 4830986 14133010432 277032 33554432000 4194304 4196468 140727698414304 139785492888536 139785558122986 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20343] ppid=20336 vsize=13801768 CPUtime=1.62 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20343/stat : 20343 (java) R 20336 20336 16913 0 -1 4202560 4048 0 0 0 113 49 0 0 20 0 21 0 4830986 14133010432 277032 33554432000 4194304 4196468 140727698414304 139785491835912 139785569141479 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20344] ppid=20336 vsize=13801768 CPUtime=1.6 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20344/stat : 20344 (java) R 20336 20336 16913 0 -1 4202560 3726 0 0 0 111 49 0 0 20 0 21 0 4830986 14133010432 277032 33554432000 4194304 4196468 140727698414304 139785490782856 139785569141479 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20345] ppid=20336 vsize=13801768 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20345/stat : 20345 (java) R 20336 20336 16913 0 -1 4202560 3936 0 0 0 114 47 0 0 20 0 21 0 4830986 14133010432 277032 33554432000 4194304 4196468 140727698414304 139785489730312 139785569141479 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20346] ppid=20336 vsize=13801768 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20346/stat : 20346 (java) R 20336 20336 16913 0 -1 4202560 4138 0 0 0 113 48 0 0 20 0 21 0 4830986 14133010432 277032 33554432000 4194304 4196468 140727698414304 139785488677256 139785559896304 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20347] ppid=20336 vsize=13801768 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20347/stat : 20347 (java) R 20336 20336 16913 0 -1 4202560 3999 0 0 0 114 47 0 0 20 0 21 0 4830986 14133010432 277032 33554432000 4194304 4196468 140727698414304 139785487624712 139785569141479 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20348] ppid=20336 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20348/stat : 20348 (java) S 20336 20336 16913 0 -1 1077944384 652 0 0 0 3 0 0 0 20 0 21 0 4830988 14133010432 277032 33554432000 4194304 4196468 140727698414304 139784241292608 139785576523477 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20349] ppid=20336 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20349/stat : 20349 (java) S 20336 20336 16913 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 4830989 14133010432 277032 33554432000 4194304 4196468 140727698414304 139784240240352 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20350] ppid=20336 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20350/stat : 20350 (java) S 20336 20336 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 4830989 14133010432 277032 33554432000 4194304 4196468 140727698414304 139784239187200 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20351] ppid=20336 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20351/stat : 20351 (java) S 20336 20336 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4830992 14133010432 277032 33554432000 4194304 4196468 140727698414304 139784238135760 139785576531867 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20352] ppid=20336 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20352/stat : 20352 (java) S 20336 20336 16913 0 -1 1077944384 2255 0 0 0 92 0 0 0 20 0 21 0 4830992 14133010432 277032 33554432000 4194304 4196468 140727698414304 139784237074144 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20353] ppid=20336 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20353/stat : 20353 (java) S 20336 20336 16913 0 -1 1077944384 1917 0 0 0 75 0 0 0 20 0 21 0 4830992 14133010432 277032 33554432000 4194304 4196468 140727698414304 139784236010560 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20354] ppid=20336 vsize=13801768 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20354/stat : 20354 (java) S 20336 20336 16913 0 -1 1077944384 1754 0 0 0 83 0 0 0 20 0 21 0 4830992 14133010432 277032 33554432000 4194304 4196468 140727698414304 139784234956304 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20355] ppid=20336 vsize=13801768 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20355/stat : 20355 (java) S 20336 20336 16913 0 -1 1077944384 2363 0 0 0 71 1 0 0 20 0 21 0 4830992 14133010432 277032 33554432000 4194304 4196468 140727698414304 139784233920592 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20356] ppid=20336 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20356/stat : 20356 (java) S 20336 20336 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4830993 14133010432 277032 33554432000 4194304 4196468 140727698414304 139784232872928 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20357] ppid=20336 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20357/stat : 20357 (java) S 20336 20336 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 4830993 14133010432 277032 33554432000 4194304 4196468 140727698414304 139784231820464 139785576524418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
Current children cumulated CPU time (s) 18.4
Current children cumulated vsize (KiB) 13811280

[startup+6.30114 s]
/proc/loadavg: 15.73 15.67 14.96 20/304 20549
/proc/meminfo: memFree=27304112/32770624 swapFree=5900/312040
[pid=20336] ppid=20333 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20336/stat : 20336 (xcsp3-exec) S 20333 20336 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4830985 9740288 346 33554432000 4194304 5098028 140736553808224 140736553806328 140412726362748 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9867264 140736553813134 140736553813344 140736553813344 140736553816043 0
/proc/20336/statm: 2378 346 289 221 0 87 0
[pid=20337] ppid=20336 vsize=13868332 CPUtime=43.2 cores=0,2,4,6,8,10,12,14
/proc/20337/stat : 20337 (java) S 20336 20336 16913 0 -1 1077944320 73492 0 0 0 3913 407 0 0 20 0 28 0 4830985 14201171968 302735 33554432000 4194304 4196468 140727698414304 140727698396848 139785576513271 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
/proc/20337/statm: 3467083 302735 3302 1 0 3454316 0
[pid=20337/tid=20338] ppid=20336 vsize=13868332 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20338/stat : 20338 (java) S 20336 20336 16913 0 -1 1077944384 6728 0 0 0 113 6 0 0 20 0 28 0 4830986 14201171968 302735 33554432000 4194304 4196468 140727698414304 139785580754048 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20340] ppid=20336 vsize=13868332 CPUtime=1.95 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20340/stat : 20340 (java) S 20336 20336 16913 0 -1 1077944384 4100 0 0 0 147 48 0 0 20 0 28 0 4830986 14201171968 302735 33554432000 4194304 4196468 140727698414304 139785494993936 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20341] ppid=20336 vsize=13868332 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20341/stat : 20341 (java) S 20336 20336 16913 0 -1 1077944384 3968 0 0 0 147 46 0 0 20 0 28 0 4830986 14201171968 302735 33554432000 4194304 4196468 140727698414304 139785493941392 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20342] ppid=20336 vsize=13868332 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20342/stat : 20342 (java) S 20336 20336 16913 0 -1 1077944384 4179 0 0 0 149 47 0 0 20 0 28 0 4830986 14201171968 302735 33554432000 4194304 4196468 140727698414304 139785492888336 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20343] ppid=20336 vsize=13868332 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20343/stat : 20343 (java) S 20336 20336 16913 0 -1 1077944384 4051 0 0 0 145 49 0 0 20 0 28 0 4830986 14201171968 302735 33554432000 4194304 4196468 140727698414304 139785491835792 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20344] ppid=20336 vsize=13868332 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20344/stat : 20344 (java) S 20336 20336 16913 0 -1 1077944384 3738 0 0 0 144 49 0 0 20 0 28 0 4830986 14201171968 302735 33554432000 4194304 4196468 140727698414304 139785490782736 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20345] ppid=20336 vsize=13868332 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20345/stat : 20345 (java) S 20336 20336 16913 0 -1 1077944384 3938 0 0 0 146 47 0 0 20 0 28 0 4830986 14201171968 302735 33554432000 4194304 4196468 140727698414304 139785489730192 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20346] ppid=20336 vsize=13868332 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20346/stat : 20346 (java) S 20336 20336 16913 0 -1 1077944384 4141 0 0 0 144 48 0 0 20 0 28 0 4830986 14201171968 302735 33554432000 4194304 4196468 140727698414304 139785488677136 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20347] ppid=20336 vsize=13868332 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20347/stat : 20347 (java) S 20336 20336 16913 0 -1 1077944384 4124 0 0 0 146 47 0 0 20 0 28 0 4830986 14201171968 302735 33554432000 4194304 4196468 140727698414304 139785487624592 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20348] ppid=20336 vsize=13868332 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20348/stat : 20348 (java) S 20336 20336 16913 0 -1 1077944384 1470 0 0 0 4 0 0 0 20 0 28 0 4830988 14201171968 302735 33554432000 4194304 4196468 140727698414304 139784241294064 139785576524418 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20349] ppid=20336 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20349/stat : 20349 (java) S 20336 20336 16913 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4830989 14201171968 302735 33554432000 4194304 4196468 140727698414304 139784240240352 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20350] ppid=20336 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20350/stat : 20350 (java) S 20336 20336 16913 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4830989 14201171968 302735 33554432000 4194304 4196468 140727698414304 139784239187200 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20351] ppid=20336 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20351/stat : 20351 (java) S 20336 20336 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4830992 14201171968 302735 33554432000 4194304 4196468 140727698414304 139784238135760 139785576531867 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0

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

/proc/20337/task/20348/stat : 20348 (java) S 20336 20336 16913 0 -1 1077944384 1471 0 0 0 4 1 0 0 20 0 28 0 4830988 14201171968 320184 33554432000 4194304 4196468 140727698414304 139784241294064 139785576524418 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20349] ppid=20336 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20349/stat : 20349 (java) S 20336 20336 16913 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4830989 14201171968 320184 33554432000 4194304 4196468 140727698414304 139784240240352 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20350] ppid=20336 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20350/stat : 20350 (java) S 20336 20336 16913 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4830989 14201171968 320184 33554432000 4194304 4196468 140727698414304 139784239187200 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20351] ppid=20336 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20351/stat : 20351 (java) S 20336 20336 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4830992 14201171968 320184 33554432000 4194304 4196468 140727698414304 139784238135760 139785576531867 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20352] ppid=20336 vsize=13868332 CPUtime=3.32 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20352/stat : 20352 (java) S 20336 20336 16913 0 -1 1077944384 6942 0 0 0 331 1 0 0 20 0 28 0 4830992 14201171968 320184 33554432000 4194304 4196468 140727698414304 139784237082864 139785576524418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20353] ppid=20336 vsize=13868332 CPUtime=2.88 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20353/stat : 20353 (java) S 20336 20336 16913 0 -1 1077944384 5479 0 0 0 287 1 0 0 20 0 28 0 4830992 14201171968 320184 33554432000 4194304 4196468 140727698414304 139784236030320 139785576524418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20354] ppid=20336 vsize=13868332 CPUtime=2.96 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20354/stat : 20354 (java) R 20336 20336 16913 0 -1 4202560 4785 0 0 0 296 0 0 0 20 0 28 0 4830992 14201171968 320184 33554432000 4194304 4196468 140727698414304 139784234977560 139785558057833 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20355] ppid=20336 vsize=13868332 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20355/stat : 20355 (java) S 20336 20336 16913 0 -1 1077944384 5227 0 0 0 115 3 0 0 20 0 28 0 4830992 14201171968 320184 33554432000 4194304 4196468 140727698414304 139784233924720 139785576524418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20356] ppid=20336 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20356/stat : 20356 (java) S 20336 20336 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4830993 14201171968 320184 33554432000 4194304 4196468 140727698414304 139784232872928 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20357] ppid=20336 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20357/stat : 20357 (java) S 20336 20336 16913 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4830993 14201171968 320184 33554432000 4194304 4196468 140727698414304 139784231820464 139785576524418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (KiB) 13877844

[startup+8.00143 s]
/proc/loadavg: 15.73 15.67 14.96 19/304 20597
/proc/meminfo: memFree=27213552/32770624 swapFree=5900/312048
[pid=20336] ppid=20333 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20336/stat : 20336 (xcsp3-exec) S 20333 20336 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4830985 9740288 346 33554432000 4194304 5098028 140736553808224 140736553806328 140412726362748 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9867264 140736553813134 140736553813344 140736553813344 140736553816043 0
/proc/20336/statm: 2378 346 289 221 0 87 0
[pid=20337] ppid=20336 vsize=13868332 CPUtime=56.34 cores=0,2,4,6,8,10,12,14
/proc/20337/stat : 20337 (java) S 20336 20336 16913 0 -1 1077944320 75368 0 0 0 5224 410 0 0 20 0 28 0 4830985 14201171968 322235 33554432000 4194304 4196468 140727698414304 140727698396848 139785576513271 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
/proc/20337/statm: 3467083 322235 3304 1 0 3454316 0
[pid=20337/tid=20338] ppid=20336 vsize=13868332 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20338/stat : 20338 (java) S 20336 20336 16913 0 -1 1077944384 6737 0 0 0 114 6 0 0 20 0 28 0 4830986 14201171968 322235 33554432000 4194304 4196468 140727698414304 139785580754048 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20340] ppid=20336 vsize=13868332 CPUtime=1.95 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20340/stat : 20340 (java) S 20336 20336 16913 0 -1 1077944384 4100 0 0 0 147 48 0 0 20 0 28 0 4830986 14201171968 322235 33554432000 4194304 4196468 140727698414304 139785494993936 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20341] ppid=20336 vsize=13868332 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20341/stat : 20341 (java) S 20336 20336 16913 0 -1 1077944384 3968 0 0 0 147 46 0 0 20 0 28 0 4830986 14201171968 322235 33554432000 4194304 4196468 140727698414304 139785493941392 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20342] ppid=20336 vsize=13868332 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20342/stat : 20342 (java) S 20336 20336 16913 0 -1 1077944384 4179 0 0 0 149 47 0 0 20 0 28 0 4830986 14201171968 322235 33554432000 4194304 4196468 140727698414304 139785492888336 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20343] ppid=20336 vsize=13868332 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20343/stat : 20343 (java) S 20336 20336 16913 0 -1 1077944384 4051 0 0 0 145 49 0 0 20 0 28 0 4830986 14201171968 322235 33554432000 4194304 4196468 140727698414304 139785491835792 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20344] ppid=20336 vsize=13868332 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20344/stat : 20344 (java) S 20336 20336 16913 0 -1 1077944384 3738 0 0 0 144 49 0 0 20 0 28 0 4830986 14201171968 322235 33554432000 4194304 4196468 140727698414304 139785490782736 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20345] ppid=20336 vsize=13868332 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20345/stat : 20345 (java) S 20336 20336 16913 0 -1 1077944384 3938 0 0 0 146 47 0 0 20 0 28 0 4830986 14201171968 322235 33554432000 4194304 4196468 140727698414304 139785489730192 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20346] ppid=20336 vsize=13868332 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20346/stat : 20346 (java) S 20336 20336 16913 0 -1 1077944384 4141 0 0 0 144 48 0 0 20 0 28 0 4830986 14201171968 322235 33554432000 4194304 4196468 140727698414304 139785488677136 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20347] ppid=20336 vsize=13868332 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20347/stat : 20347 (java) S 20336 20336 16913 0 -1 1077944384 4124 0 0 0 146 47 0 0 20 0 28 0 4830986 14201171968 322235 33554432000 4194304 4196468 140727698414304 139785487624592 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20348] ppid=20336 vsize=13868332 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20348/stat : 20348 (java) S 20336 20336 16913 0 -1 1077944384 1471 0 0 0 4 1 0 0 20 0 28 0 4830988 14201171968 322235 33554432000 4194304 4196468 140727698414304 139784241294064 139785576524418 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20349] ppid=20336 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20349/stat : 20349 (java) S 20336 20336 16913 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4830989 14201171968 322235 33554432000 4194304 4196468 140727698414304 139784240240352 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20350] ppid=20336 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20350/stat : 20350 (java) S 20336 20336 16913 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4830989 14201171968 322235 33554432000 4194304 4196468 140727698414304 139784239187200 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20351] ppid=20336 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20351/stat : 20351 (java) S 20336 20336 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4830992 14201171968 322235 33554432000 4194304 4196468 140727698414304 139784238135760 139785576531867 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20352] ppid=20336 vsize=13868332 CPUtime=3.37 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20352/stat : 20352 (java) S 20336 20336 16913 0 -1 1077944384 6948 0 0 0 336 1 0 0 20 0 28 0 4830992 14201171968 322235 33554432000 4194304 4196468 140727698414304 139784237082864 139785576524418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20353] ppid=20336 vsize=13868332 CPUtime=2.93 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20353/stat : 20353 (java) S 20336 20336 16913 0 -1 1077944384 5481 0 0 0 292 1 0 0 20 0 28 0 4830992 14201171968 322235 33554432000 4194304 4196468 140727698414304 139784236030320 139785576524418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20354] ppid=20336 vsize=13868332 CPUtime=3.03 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20354/stat : 20354 (java) S 20336 20336 16913 0 -1 1077944384 4795 0 0 0 303 0 0 0 20 0 28 0 4830992 14201171968 322235 33554432000 4194304 4196468 140727698414304 139784234977264 139785576524418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20355] ppid=20336 vsize=13868332 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20355/stat : 20355 (java) S 20336 20336 16913 0 -1 1077944384 5239 0 0 0 116 3 0 0 20 0 28 0 4830992 14201171968 322235 33554432000 4194304 4196468 140727698414304 139784233924720 139785576524418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20356] ppid=20336 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20356/stat : 20356 (java) S 20336 20336 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4830993 14201171968 322235 33554432000 4194304 4196468 140727698414304 139784232872928 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20357] ppid=20336 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20357/stat : 20357 (java) S 20336 20336 16913 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4830993 14201171968 322235 33554432000 4194304 4196468 140727698414304 139784231820464 139785576524418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20590] ppid=20336 vsize=13868332 CPUtime=1.09 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20590/stat : 20590 (java) R 20336 20336 16913 0 -1 4202560 22 0 0 0 109 0 0 0 20 0 28 0 4831673 14201171968 322235 33554432000 4194304 4196468 140727698414304 139784218541752 139785169761157 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20591] ppid=20336 vsize=13868332 CPUtime=1.08 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20591/stat : 20591 (java) R 20336 20336 16913 0 -1 4202560 38 0 0 0 108 0 0 0 20 0 28 0 4831673 14201171968 322235 33554432000 4194304 4196468 140727698414304 139784216436920 139785172130012 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20592] ppid=20336 vsize=13868332 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20592/stat : 20592 (java) R 20336 20336 16913 0 -1 4202560 63 0 0 0 111 0 0 0 20 0 28 0 4831673 14201171968 322235 33554432000 4194304 4196468 140727698414304 139784219596984 139785169761502 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20593] ppid=20336 vsize=13868332 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20593/stat : 20593 (java) R 20336 20336 16913 0 -1 4202560 21 0 0 0 111 0 0 0 20 0 28 0 4831674 14201171968 322235 33554432000 4194304 4196468 140727698414304 139784221700024 139785170005072 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20594] ppid=20336 vsize=13868332 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20594/stat : 20594 (java) R 20336 20336 16913 0 -1 4202560 57 0 0 0 101 0 0 0 20 0 28 0 4831674 14201171968 322235 33554432000 4194304 4196468 140727698414304 139784220646952 139785172013909 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20595] ppid=20336 vsize=13868332 CPUtime=1.09 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20595/stat : 20595 (java) R 20336 20336 16913 0 -1 4202560 45 0 0 0 109 0 0 0 20 0 28 0 4831674 14201171968 322235 33554432000 4194304 4196468 140727698414304 139784223804976 139785172129970 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20596] ppid=20336 vsize=13868332 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20596/stat : 20596 (java) R 20336 20336 16913 0 -1 4202560 506 0 0 0 107 0 0 0 20 0 28 0 4831674 14201171968 322235 33554432000 4194304 4196468 140727698414304 139784217489704 139785172990148 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20597] ppid=20336 vsize=13868332 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20597/stat : 20597 (java) R 20336 20336 16913 0 -1 4202560 24 0 0 0 101 0 0 0 20 0 28 0 4831674 14201171968 322235 33554432000 4194304 4196468 140727698414304 139784215384088 139785171497089 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
Current children cumulated CPU time (s) 56.34
Current children cumulated vsize (KiB) 13877844

[startup+8.40147 s]
/proc/loadavg: 15.73 15.67 14.96 19/304 20597
/proc/meminfo: memFree=27213552/32770624 swapFree=5900/312048
[pid=20336] ppid=20333 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20336/stat : 20336 (xcsp3-exec) S 20333 20336 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4830985 9740288 346 33554432000 4194304 5098028 140736553808224 140736553806328 140412726362748 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9867264 140736553813134 140736553813344 140736553813344 140736553816043 0
/proc/20336/statm: 2378 346 289 221 0 87 0
[pid=20337] ppid=20336 vsize=13868332 CPUtime=59.53 cores=0,2,4,6,8,10,12,14
/proc/20337/stat : 20337 (java) S 20336 20336 16913 0 -1 1077944320 75479 0 0 0 5543 410 0 0 20 0 28 0 4830985 14201171968 322781 33554432000 4194304 4196468 140727698414304 140727698396848 139785576513271 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
/proc/20337/statm: 3467083 322781 3304 1 0 3454316 0
[pid=20337/tid=20338] ppid=20336 vsize=13868332 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20338/stat : 20338 (java) S 20336 20336 16913 0 -1 1077944384 6737 0 0 0 114 6 0 0 20 0 28 0 4830986 14201171968 322781 33554432000 4194304 4196468 140727698414304 139785580754048 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20340] ppid=20336 vsize=13868332 CPUtime=1.95 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20340/stat : 20340 (java) S 20336 20336 16913 0 -1 1077944384 4100 0 0 0 147 48 0 0 20 0 28 0 4830986 14201171968 322781 33554432000 4194304 4196468 140727698414304 139785494993936 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20341] ppid=20336 vsize=13868332 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20341/stat : 20341 (java) S 20336 20336 16913 0 -1 1077944384 3968 0 0 0 147 46 0 0 20 0 28 0 4830986 14201171968 322781 33554432000 4194304 4196468 140727698414304 139785493941392 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20342] ppid=20336 vsize=13868332 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20342/stat : 20342 (java) S 20336 20336 16913 0 -1 1077944384 4179 0 0 0 149 47 0 0 20 0 28 0 4830986 14201171968 322781 33554432000 4194304 4196468 140727698414304 139785492888336 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20343] ppid=20336 vsize=13868332 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20343/stat : 20343 (java) S 20336 20336 16913 0 -1 1077944384 4051 0 0 0 145 49 0 0 20 0 28 0 4830986 14201171968 323293 33554432000 4194304 4196468 140727698414304 139785491835792 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20344] ppid=20336 vsize=13868332 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20344/stat : 20344 (java) S 20336 20336 16913 0 -1 1077944384 3738 0 0 0 144 49 0 0 20 0 28 0 4830986 14201171968 323293 33554432000 4194304 4196468 140727698414304 139785490782736 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20345] ppid=20336 vsize=13868332 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20345/stat : 20345 (java) S 20336 20336 16913 0 -1 1077944384 3938 0 0 0 146 47 0 0 20 0 28 0 4830986 14201171968 323293 33554432000 4194304 4196468 140727698414304 139785489730192 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20346] ppid=20336 vsize=13868332 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20346/stat : 20346 (java) S 20336 20336 16913 0 -1 1077944384 4141 0 0 0 144 48 0 0 20 0 28 0 4830986 14201171968 323293 33554432000 4194304 4196468 140727698414304 139785488677136 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20347] ppid=20336 vsize=13868332 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20347/stat : 20347 (java) S 20336 20336 16913 0 -1 1077944384 4124 0 0 0 146 47 0 0 20 0 28 0 4830986 14201171968 323293 33554432000 4194304 4196468 140727698414304 139785487624592 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20348] ppid=20336 vsize=13868332 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20348/stat : 20348 (java) S 20336 20336 16913 0 -1 1077944384 1471 0 0 0 4 1 0 0 20 0 28 0 4830988 14201171968 323293 33554432000 4194304 4196468 140727698414304 139784241294064 139785576524418 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20349] ppid=20336 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20349/stat : 20349 (java) S 20336 20336 16913 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4830989 14201171968 323293 33554432000 4194304 4196468 140727698414304 139784240240352 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20350] ppid=20336 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20350/stat : 20350 (java) S 20336 20336 16913 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4830989 14201171968 323293 33554432000 4194304 4196468 140727698414304 139784239187200 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20351] ppid=20336 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20351/stat : 20351 (java) S 20336 20336 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4830992 14201171968 323293 33554432000 4194304 4196468 140727698414304 139784238135760 139785576531867 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20352] ppid=20336 vsize=13868332 CPUtime=3.37 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20352/stat : 20352 (java) S 20336 20336 16913 0 -1 1077944384 6948 0 0 0 336 1 0 0 20 0 28 0 4830992 14201171968 323293 33554432000 4194304 4196468 140727698414304 139784237082864 139785576524418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20353] ppid=20336 vsize=13868332 CPUtime=2.93 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20353/stat : 20353 (java) S 20336 20336 16913 0 -1 1077944384 5481 0 0 0 292 1 0 0 20 0 28 0 4830992 14201171968 323293 33554432000 4194304 4196468 140727698414304 139784236030320 139785576524418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20354] ppid=20336 vsize=13868332 CPUtime=3.03 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20354/stat : 20354 (java) S 20336 20336 16913 0 -1 1077944384 4795 0 0 0 303 0 0 0 20 0 28 0 4830992 14201171968 323293 33554432000 4194304 4196468 140727698414304 139784234977264 139785576524418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20355] ppid=20336 vsize=13868332 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20355/stat : 20355 (java) S 20336 20336 16913 0 -1 1077944384 5239 0 0 0 116 3 0 0 20 0 28 0 4830992 14201171968 323293 33554432000 4194304 4196468 140727698414304 139784233924720 139785576524418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20356] ppid=20336 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20356/stat : 20356 (java) S 20336 20336 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4830993 14201171968 323293 33554432000 4194304 4196468 140727698414304 139784232872928 139785576523477 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20357] ppid=20336 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20357/stat : 20357 (java) S 20336 20336 16913 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4830993 14201171968 323293 33554432000 4194304 4196468 140727698414304 139784231820464 139785576524418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20590] ppid=20336 vsize=13868332 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20590/stat : 20590 (java) R 20336 20336 16913 0 -1 4202560 30 0 0 0 149 0 0 0 20 0 28 0 4831673 14201171968 323293 33554432000 4194304 4196468 140727698414304 139784218541752 139785169761724 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20591] ppid=20336 vsize=13868332 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20591/stat : 20591 (java) R 20336 20336 16913 0 -1 4202560 46 0 0 0 148 0 0 0 20 0 28 0 4831673 14201171968 323293 33554432000 4194304 4196468 140727698414304 139784216436920 139785172032970 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20592] ppid=20336 vsize=13868332 CPUtime=1.51 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20592/stat : 20592 (java) R 20336 20336 16913 0 -1 4202560 97 0 0 0 151 0 0 0 20 0 28 0 4831673 14201171968 323293 33554432000 4194304 4196468 140727698414304 139784219596984 139785169761757 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20593] ppid=20336 vsize=13868332 CPUtime=1.51 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20593/stat : 20593 (java) R 20336 20336 16913 0 -1 4202560 36 0 0 0 151 0 0 0 20 0 28 0 4831674 14201171968 323293 33554432000 4194304 4196468 140727698414304 139784221700024 139785169761037 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20594] ppid=20336 vsize=13868332 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20594/stat : 20594 (java) R 20336 20336 16913 0 -1 4202560 66 0 0 0 141 0 0 0 20 0 28 0 4831674 14201171968 323293 33554432000 4194304 4196468 140727698414304 139784220646952 139785171497089 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20595] ppid=20336 vsize=13868332 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20595/stat : 20595 (java) R 20336 20336 16913 0 -1 4202560 47 0 0 0 148 0 0 0 20 0 28 0 4831674 14201171968 323293 33554432000 4194304 4196468 140727698414304 139784223804976 139785169761816 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20596] ppid=20336 vsize=13868332 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20596/stat : 20596 (java) R 20336 20336 16913 0 -1 4202560 537 0 0 0 147 0 0 0 20 0 28 0 4831674 14201171968 323293 33554432000 4194304 4196468 140727698414304 139784217489704 139785172130007 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
[pid=20337/tid=20597] ppid=20336 vsize=13868332 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20597/stat : 20597 (java) R 20336 20336 16913 0 -1 4202560 29 0 0 0 141 0 0 0 20 0 28 0 4831674 14201171968 323293 33554432000 4194304 4196468 140727698414304 139784215384088 139785169761157 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140727698416828 140727698417004 140727698417004 140727698419663 0
Current children cumulated CPU time (s) 59.53
Current children cumulated vsize (KiB) 13877844

[startup+8.50135 s]
/proc/loadavg: 15.73 15.67 14.96 19/304 20597
/proc/meminfo: memFree=27213552/32770624 swapFree=5900/312048
[pid=20336] ppid=20333 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20336/stat : 20336 (xcsp3-exec) S 20333 20336 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4830985 9740288 346 33554432000 4194304 5098028 140736553808224 140736553806328 140412726362748 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 9867264 140736553813134 140736553813344 140736553813344 140736553816043 0
/proc/20336/statm: 2378 346 289 221 0 87 0
[pid=20337] ppid=20336 vsize=0 CPUtime=60.09 cores=0,2,4,6,8,10,12,14
/proc/20337/stat : 20337 (java) Z 20336 20336 16913 0 -1 4227084 75600 0 0 0 5599 410 0 0 20 0 2 0 4830985 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/20337/statm: 0 0 0 0 0 0 0
[pid=20337/tid=20355] ppid=20336 vsize=0 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/20337/task/20355/stat : 20355 (java) R 20336 20336 16913 0 -1 4203588 5243 0 0 0 117 3 0 0 20 0 2 0 4830992 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 8 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 60.09
Current children cumulated vsize (KiB) 9512

Child status: 0
Real time (s): 8.51316
CPU time (s): 60.1146
CPU user time (s): 55.9966
CPU system time (s): 4.118
CPU usage (%): 706.137
Max. virtual memory (cumulated for all children) (KiB): 13877844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.9966
system time used= 4.118
maximum resident set size= 1295564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76128
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8021
involuntary context switches= 6033

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.079848 second user time and 0.115779 second system time

The end

Launcher Data 

Begin job on node133 at 2017-07-22 05:54:00
IDJOB=4249762
IDBENCH=138318
IDSOLVER=2625
FILE ID=node133/4249762-1500695640
RUNJOBID= node133-1500682387-16944
PBS_JOBID= 20623321
Free space on /tmp= 62008 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff65.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4249762-1500695640/watcher-4249762-1500695640 -o /tmp/evaluation-result-4249762-1500695640/solver-4249762-1500695640 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1035977823 HOME/instance-4249762-1500695640.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 0deffa9f0e673ce4a3cf2d2074b556a7
RANDOM SEED=1035977823

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

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.13
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	: 8
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	: 5229.85
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		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.13
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	: 8
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	: 5229.85
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		: 2000.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.13
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	: 8
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	: 5229.85
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		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.13
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	: 8
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	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2533.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
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	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28491436 kB
MemAvailable:   28711296 kB
Buffers:          120484 kB
Cached:           378620 kB
SwapCached:            0 kB
Active:          3518564 kB
Inactive:         320720 kB
Active(anon):    3342708 kB
Inactive(anon):     8756 kB
Active(file):     175856 kB
Inactive(file):   311964 kB
Unevictable:        5900 kB
Mlocked:            5900 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8032 kB
Writeback:             4 kB
AnonPages:       3345468 kB
Mapped:            43224 kB
Shmem:              8872 kB
Slab:             130088 kB
SReclaimable:      95752 kB
SUnreclaim:        34336 kB
KernelStack:        4784 kB
PageTables:        11904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5213240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3223552 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62000 MiB
End job on node133 at 2017-07-22 05:54:09