Trace number 4406927

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 2019-09-24 parallelOPT125 65.6717 9.33717

General information on the benchmark

NameFastfood/Fastfood-m1-s1/
Fastfood-ff62.xml
MD5SUM5002a5aac4309249d3aa4752a35eede8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark125
Best CPU time to get the best result obtained on this benchmark15.1896
Satisfiable
(Un)Satisfiability was proved
Number of variables461
Number of constraints449
Number of domains27
Minimum domain size23
Maximum domain size26
Distribution of domain sizes[{"size":23,"count":14},{"size":25,"count":42},{"size":26,"count":405}]
Minimum variable degree2
Maximum variable degree33
Distribution of variable degrees[{"degree":2,"count":448},{"degree":33,"count":13}]
Minimum constraint arity2
Maximum constraint arity14
Distribution of constraint arities[{"arity":2,"count":416},{"arity":13,"count":1},{"arity":14,"count":32}]
Number of extensional constraints416
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":416},{"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 -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406927-1569357067.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4406927-1569357067.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
7.52/1.70	c solve instance...
9.38/1.96	o 5600 
9.38/1.97	o 5600 
9.38/1.97	o 641 
9.38/2.00	o 389 
9.99/2.03	o 378 
9.99/2.04	o 355 
11.41/2.23	o 353 
11.41/2.24	o 335 
11.41/2.24	o 330 
11.41/2.26	o 320 
11.41/2.29	o 270 
11.41/2.29	o 264 
12.07/2.39	o 254 
12.83/2.45	o 199 
15.90/2.88	o 198 
17.42/3.01	o 194 
18.15/3.11	o 187 
18.86/3.22	o 183 
18.86/3.26	o 182 
19.54/3.35	o 175 
19.54/3.35	o 171 
22.67/3.75	o 165 
23.38/3.82	o 157 
23.38/3.88	o 152 
25.68/4.14	o 150 
32.62/5.06	o 149 
32.62/5.10	o 148 
32.62/5.10	o 147 
33.11/5.15	o 143 
33.11/5.17	o 142 
33.11/5.18	o 137 
33.41/5.21	o 136 
33.41/5.28	o 135 
34.05/5.32	o 133 
34.05/5.35	o 130 
34.05/5.35	o 125 
65.63/9.30	s OPTIMUM FOUND
65.63/9.30	v <instantiation>
65.63/9.30	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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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>
65.63/9.30	v 	<values>23 62 95 122 160 187 238 467 512 548 606 661 711 114 75 42 15 23 50 101 330 375 411 469 524 574 27 12 45 72 110 137 188 417 462 498 556 611 661 99 60 27 0 38 65 116 345 390 426 484 539 589 99 60 27 0 38 65 116 345 390 426 484 539 589 64 25 8 35 73 100 151 380 425 461 519 574 624 58 19 14 41 79 106 157 386 431 467 525 580 630 164 125 92 65 27 0 51 280 325 361 419 474 524 35 4 37 64 102 129 180 409 454 490 548 603 653 137 98 65 38 0 27 78 307 352 388 446 501 551 75 36 3 24 62 89 140 369 414 450 508 563 613 72 33 0 27 65 92 143 372 417 453 511 566 616 2 37 70 97 135 162 213 442 487 523 581 636 686 0 39 72 99 137 164 215 444 489 525 583 638 688 688 649 616 589 551 524 473 244 199 163 105 50 0 18 21 54 81 119 146 197 426 471 507 565 620 670 489 450 417 390 352 325 274 45 0 36 94 149 199 489 450 417 390 352 325 274 45 0 36 94 149 199 81 42 9 18 56 83 134 363 408 444 502 557 607 44 5 28 55 93 120 171 400 445 481 539 594 644 638 599 566 539 501 474 423 194 149 113 55 0 50 638 599 566 539 501 474 423 194 149 113 55 0 50 444 405 372 345 307 280 229 0 45 81 139 194 244 444 405 372 345 307 280 229 0 45 81 139 194 244 215 176 143 116 78 51 0 229 274 310 368 423 473 39 0 33 60 98 125 176 405 450 486 544 599 649 39 0 33 60 98 125 176 405 450 486 544 599 649 583 544 511 484 446 419 368 139 94 58 0 55 105 583 544 511 484 446 419 368 139 94 58 0 55 105 186 147 114 87 49 22 29 258 303 339 397 452 502 11 50 83 110 148 175 226 455 500 536 594 649 699 525 486 453 426 388 361 310 81 36 0 58 113 163 523 484 451 424 386 359 308 79 34 2 60 115 165 15 12 0 0 8 14 0 4 0 3 0 2 0 0 18 0 0 9 5 0 0 0 0 0 0 0 0 0 22 11 0 2 </values>
65.63/9.30	v </instantiation>

Verifier Data 

OK	125

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12717 MiB free)
  memory of node 1: 16384 MiB (10059 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406927-1569357067/watcher-4406927-1569357067 -o /tmp/evaluation-result-4406927-1569357067/solver-4406927-1569357067 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569351215-14889 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1389127991 HOME/instance-4406927-1569357067.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=16812, runsolver pid=16809

[startup+0.100161 s]*
/proc/loadavg: 6.83 7.40 7.60 2/212 16833
/proc/meminfo: memFree=23306684/32770624 swapFree=66956516/67108860
[pid=16812] ppid=16809 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16812/stat : 16812 (xcsp3-exec) S 16809 16812 14862 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511977972 115843072 364 33554432000 4194304 5098028 140734683580096 140734683578200 140417989300860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17928192 140734683587445 140734683587689 140734683587689 140734683590602 0
/proc/16812/statm: 28282 364 305 221 0 87 0
[pid=16814] ppid=16812 vsize=28227396 memory=28928 CPUtime=0.12 cores=0-7
/proc/16814/stat : 16814 (java) S 16812 16812 14862 0 -1 1077944320 5714 0 0 0 11 1 0 0 20 0 20 0 511977972 28904853504 7232 33554432000 4194304 4196468 140735233272928 140735233255472 140351399763703 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
/proc/16814/statm: 7056849 7232 3123 1 0 7019032 0
[pid=16814/tid=16815] ppid=16812 vsize=28227396 memory=8258082674853191064 CPUtime=0.08 cores=0-7
/proc/16814/task/16815/stat : 16815 (java) R 16812 16812 14862 0 -1 4202560 3627 0 0 0 8 0 0 0 20 0 20 0 511977973 28904853504 7232 33554432000 4194304 4196468 140735233272928 140351403997296 140351399785050 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16816] ppid=16812 vsize=28227396 memory=732370774336928741 CPUtime=0 cores=0-7
/proc/16814/task/16816/stat : 16816 (java) S 16812 16812 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511977973 28904853504 7232 33554432000 4194304 4196468 140735233272928 140351352383888 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16817] ppid=16812 vsize=28227396 memory=140635999475328 CPUtime=0 cores=0-7
/proc/16814/task/16817/stat : 16817 (java) S 16812 16812 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511977973 28904853504 7232 33554432000 4194304 4196468 140735233272928 140351351331088 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16818] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16818/stat : 16818 (java) S 16812 16812 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511977973 28904853504 7232 33554432000 4194304 4196468 140735233272928 140351350278800 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16819] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16819/stat : 16819 (java) S 16812 16812 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511977973 28904853504 7232 33554432000 4194304 4196468 140735233272928 140351349226000 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16820] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16820/stat : 16820 (java) S 16812 16812 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511977973 28904853504 7232 33554432000 4194304 4196468 140735233272928 140351348173712 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16821] ppid=16812 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16814/task/16821/stat : 16821 (java) S 16812 16812 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511977973 28904853504 7232 33554432000 4194304 4196468 140735233272928 140351347120912 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16822] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16822/stat : 16822 (java) S 16812 16812 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511977973 28904853504 7232 33554432000 4194304 4196468 140735233272928 140351346068624 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16823] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16823/stat : 16823 (java) S 16812 16812 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511977973 28904853504 7232 33554432000 4194304 4196468 140735233272928 140351345015824 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16824] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16824/stat : 16824 (java) S 16812 16812 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511977975 28904853504 7232 33554432000 4194304 4196468 140735233272928 140350449018992 140351399774850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16825] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16825/stat : 16825 (java) S 16812 16812 14862 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511977975 28904853504 7232 33554432000 4194304 4196468 140735233272928 140350447964960 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16826] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16826/stat : 16826 (java) S 16812 16812 14862 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511977976 28904853504 7232 33554432000 4194304 4196468 140735233272928 140350446912624 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16827] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16827/stat : 16827 (java) S 16812 16812 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511977978 28904853504 7232 33554432000 4194304 4196468 140735233272928 140350445860944 140351399782299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16828] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16828/stat : 16828 (java) S 16812 16812 14862 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 511977978 28904853504 7232 33554432000 4194304 4196468 140735233272928 140350444808816 140351399774850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16829] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16829/stat : 16829 (java) S 16812 16812 14862 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 511977978 28904853504 7232 33554432000 4194304 4196468 140735233272928 140350443756016 140351399774850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16830] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16830/stat : 16830 (java) S 16812 16812 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511977978 28904853504 7232 33554432000 4194304 4196468 140735233272928 140350442703728 140351399774850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16831] ppid=16812 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/16814/task/16831/stat : 16831 (java) R 16812 16812 14862 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 20 0 511977978 28904853504 7232 33554432000 4194304 4196468 140735233272928 140350441650928 140351399785050 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16832] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16832/stat : 16832 (java) S 16812 16812 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511977978 28904853504 7232 33554432000 4194304 4196468 140735233272928 140350440597856 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16833] ppid=16812 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16814/task/16833/stat : 16833 (java) S 16812 16812 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511977978 28904853504 7232 33554432000 4194304 4196468 140735233272928 140350439545136 140351399774850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30384 KiB

[startup+0.210153 s]*
/proc/loadavg: 6.83 7.40 7.60 3/212 16833
/proc/meminfo: memFree=23292652/32770624 swapFree=66956516/67108860
[pid=16812] ppid=16809 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16812/stat : 16812 (xcsp3-exec) S 16809 16812 14862 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511977972 115843072 364 33554432000 4194304 5098028 140734683580096 140734683578200 140417989300860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17928192 140734683587445 140734683587689 140734683587689 140734683590602 0
/proc/16812/statm: 28282 364 305 221 0 87 0
[pid=16814] ppid=16812 vsize=28227396 memory=41056 CPUtime=0.33 cores=0-7
/proc/16814/stat : 16814 (java) S 16812 16812 14862 0 -1 1077944320 9508 0 0 0 30 3 0 0 20 0 20 0 511977972 28904853504 10264 33554432000 4194304 4196468 140735233272928 140735233255472 140351399763703 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
/proc/16814/statm: 7056849 10264 3277 1 0 7019032 0
[pid=16814/tid=16815] ppid=16812 vsize=28227396 memory=0 CPUtime=0.19 cores=0-7
/proc/16814/task/16815/stat : 16815 (java) R 16812 16812 14862 0 -1 4202560 6654 0 0 0 17 2 0 0 20 0 20 0 511977973 28904853504 10264 33554432000 4194304 4196468 140735233272928 140351403997152 140351399775638 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16816] ppid=16812 vsize=28227396 memory=732370774336928741 CPUtime=0 cores=0-7
/proc/16814/task/16816/stat : 16816 (java) S 16812 16812 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511977973 28904853504 10264 33554432000 4194304 4196468 140735233272928 140351352383888 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16817] ppid=16812 vsize=28227396 memory=140635999475328 CPUtime=0 cores=0-7
/proc/16814/task/16817/stat : 16817 (java) S 16812 16812 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511977973 28904853504 10264 33554432000 4194304 4196468 140735233272928 140351351331088 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16818] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16818/stat : 16818 (java) S 16812 16812 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511977973 28904853504 10264 33554432000 4194304 4196468 140735233272928 140351350278800 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16819] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16819/stat : 16819 (java) S 16812 16812 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511977973 28904853504 10264 33554432000 4194304 4196468 140735233272928 140351349226000 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16820] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16820/stat : 16820 (java) S 16812 16812 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511977973 28904853504 10264 33554432000 4194304 4196468 140735233272928 140351348173712 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16821] ppid=16812 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16814/task/16821/stat : 16821 (java) S 16812 16812 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511977973 28904853504 10264 33554432000 4194304 4196468 140735233272928 140351347120912 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16822] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16822/stat : 16822 (java) S 16812 16812 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511977973 28904853504 10264 33554432000 4194304 4196468 140735233272928 140351346068624 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16823] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16823/stat : 16823 (java) S 16812 16812 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511977973 28904853504 10264 33554432000 4194304 4196468 140735233272928 140351345015824 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16824] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16824/stat : 16824 (java) S 16812 16812 14862 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511977975 28904853504 10264 33554432000 4194304 4196468 140735233272928 140350449018992 140351399774850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16825] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16825/stat : 16825 (java) S 16812 16812 14862 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511977975 28904853504 10264 33554432000 4194304 4196468 140735233272928 140350447964960 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16826] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16826/stat : 16826 (java) S 16812 16812 14862 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511977976 28904853504 10264 33554432000 4194304 4196468 140735233272928 140350446912624 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16827] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16827/stat : 16827 (java) S 16812 16812 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511977978 28904853504 10264 33554432000 4194304 4196468 140735233272928 140350445860944 140351399782299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16828] ppid=16812 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/16814/task/16828/stat : 16828 (java) S 16812 16812 14862 0 -1 1077944384 400 0 0 0 2 0 0 0 20 0 20 0 511977978 28904853504 10264 33554432000 4194304 4196468 140735233272928 140350444808816 140351399774850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16829] ppid=16812 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/16814/task/16829/stat : 16829 (java) S 16812 16812 14862 0 -1 1077944384 173 0 0 0 1 0 0 0 20 0 20 0 511977978 28904853504 10264 33554432000 4194304 4196468 140735233272928 140350443756016 140351399774850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16830] ppid=16812 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/16814/task/16830/stat : 16830 (java) S 16812 16812 14862 0 -1 1077944384 204 0 0 0 1 0 0 0 20 0 20 0 511977978 28904853504 10264 33554432000 4194304 4196468 140735233272928 140350442703728 140351399774850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16831] ppid=16812 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/16814/task/16831/stat : 16831 (java) R 16812 16812 14862 0 -1 4202560 761 0 0 0 8 0 0 0 20 0 20 0 511977978 28904853504 10264 33554432000 4194304 4196468 140735233272928 140350441650736 140351378731830 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16832] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16832/stat : 16832 (java) S 16812 16812 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511977978 28904853504 10264 33554432000 4194304 4196468 140735233272928 140350440597856 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16833] ppid=16812 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16814/task/16833/stat : 16833 (java) S 16812 16812 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511977978 28904853504 10264 33554432000 4194304 4196468 140735233272928 140350439545136 140351399774850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42512 KiB

[startup+0.309621 s]*
/proc/loadavg: 6.83 7.40 7.60 5/212 16833
/proc/meminfo: memFree=23285992/32770624 swapFree=66956516/67108860
[pid=16812] ppid=16809 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16812/stat : 16812 (xcsp3-exec) S 16809 16812 14862 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511977972 115843072 364 33554432000 4194304 5098028 140734683580096 140734683578200 140417989300860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17928192 140734683587445 140734683587689 140734683587689 140734683590602 0
/proc/16812/statm: 28282 364 305 221 0 87 0
[pid=16814] ppid=16812 vsize=28231652 memory=50312 CPUtime=0.52 cores=0-7
/proc/16814/stat : 16814 (java) S 16812 16812 14862 0 -1 1077944320 10921 0 0 0 48 4 0 0 20 0 20 0 511977972 28909211648 12578 33554432000 4194304 4196468 140735233272928 140735233255472 140351399763703 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
/proc/16814/statm: 7057913 12578 3356 1 0 7019032 0
[pid=16814/tid=16815] ppid=16812 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/16814/task/16815/stat : 16815 (java) R 16812 16812 14862 0 -1 4202560 7801 0 0 0 27 3 0 0 20 0 20 0 511977973 28909211648 12578 33554432000 4194304 4196468 140735233272928 140351403994816 140351383844190 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16816] ppid=16812 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16816/stat : 16816 (java) S 16812 16812 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511977973 28909211648 12578 33554432000 4194304 4196468 140735233272928 140351352383888 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16817] ppid=16812 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16817/stat : 16817 (java) S 16812 16812 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511977973 28909211648 12578 33554432000 4194304 4196468 140735233272928 140351351331088 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16818] ppid=16812 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16818/stat : 16818 (java) S 16812 16812 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511977973 28909211648 12578 33554432000 4194304 4196468 140735233272928 140351350278800 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16819] ppid=16812 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16819/stat : 16819 (java) S 16812 16812 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511977973 28909211648 12578 33554432000 4194304 4196468 140735233272928 140351349226000 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16820] ppid=16812 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/16814/task/16820/stat : 16820 (java) S 16812 16812 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511977973 28909211648 12578 33554432000 4194304 4196468 140735233272928 140351348173712 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16821] ppid=16812 vsize=28231652 memory=140635885630383 CPUtime=0 cores=0-7
/proc/16814/task/16821/stat : 16821 (java) S 16812 16812 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511977973 28909211648 12578 33554432000 4194304 4196468 140735233272928 140351347120912 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16822] ppid=16812 vsize=28231652 memory=140635885632688 CPUtime=0 cores=0-7
/proc/16814/task/16822/stat : 16822 (java) S 16812 16812 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511977973 28909211648 12578 33554432000 4194304 4196468 140735233272928 140351346068624 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16823] ppid=16812 vsize=28231652 memory=140635885634992 CPUtime=0 cores=0-7
/proc/16814/task/16823/stat : 16823 (java) S 16812 16812 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511977973 28909211648 12578 33554432000 4194304 4196468 140735233272928 140351345015824 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16824] ppid=16812 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16824/stat : 16824 (java) S 16812 16812 14862 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511977975 28909211648 12578 33554432000 4194304 4196468 140735233272928 140350449018992 140351399774850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16825] ppid=16812 vsize=28231652 memory=281271771276944 CPUtime=0 cores=0-7
/proc/16814/task/16825/stat : 16825 (java) S 16812 16812 14862 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511977975 28909211648 12578 33554432000 4194304 4196468 140735233272928 140350447964960 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16826] ppid=16812 vsize=28231652 memory=281271771283856 CPUtime=0 cores=0-7
/proc/16814/task/16826/stat : 16826 (java) S 16812 16812 14862 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511977976 28909211648 12578 33554432000 4194304 4196468 140735233272928 140350446912624 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16827] ppid=16812 vsize=28231652 memory=281271771225136 CPUtime=0 cores=0-7
/proc/16814/task/16827/stat : 16827 (java) S 16812 16812 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511977978 28909211648 12578 33554432000 4194304 4196468 140735233272928 140350445860944 140351399782299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16828] ppid=16812 vsize=28231652 memory=281271771297680 CPUtime=0.02 cores=0-7
/proc/16814/task/16828/stat : 16828 (java) S 16812 16812 14862 0 -1 1077944384 422 0 0 0 2 0 0 0 20 0 20 0 511977978 28909211648 12578 33554432000 4194304 4196468 140735233272928 140350444808816 140351399774850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16829] ppid=16812 vsize=28231652 memory=281271771304592 CPUtime=0.03 cores=0-7
/proc/16814/task/16829/stat : 16829 (java) R 16812 16812 14862 0 -1 4202560 312 0 0 0 3 0 0 0 20 0 20 0 511977978 28909211648 12578 33554432000 4194304 4196468 140735233272928 140350443746400 140351384150752 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16830] ppid=16812 vsize=28231652 memory=281271771302288 CPUtime=0.02 cores=0-7
/proc/16814/task/16830/stat : 16830 (java) S 16812 16812 14862 0 -1 1077944384 214 0 0 0 2 0 0 0 20 0 20 0 511977978 28909211648 12578 33554432000 4194304 4196468 140735233272928 140350442703728 140351399774850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16831] ppid=16812 vsize=28231652 memory=281271771318448 CPUtime=0.12 cores=0-7
/proc/16814/task/16831/stat : 16831 (java) S 16812 16812 14862 0 -1 1077944384 859 0 0 0 12 0 0 0 20 0 20 0 511977978 28909211648 12578 33554432000 4194304 4196468 140735233272928 140350441650928 140351399774850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16832] ppid=16812 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16832/stat : 16832 (java) S 16812 16812 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511977978 28909211648 12578 33554432000 4194304 4196468 140735233272928 140350440597856 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16833] ppid=16812 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/16814/task/16833/stat : 16833 (java) S 16812 16812 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511977978 28909211648 12578 33554432000 4194304 4196468 140735233272928 140350439545136 140351399774850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51768 KiB

[startup+0.700902 s]
/proc/loadavg: 6.83 7.40 7.60 3/212 16833
/proc/meminfo: memFree=23271668/32770624 swapFree=66956516/67108860
[pid=16812] ppid=16809 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16812/stat : 16812 (xcsp3-exec) S 16809 16812 14862 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511977972 115843072 364 33554432000 4194304 5098028 140734683580096 140734683578200 140417989300860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17928192 140734683587445 140734683587689 140734683587689 140734683590602 0
/proc/16812/statm: 28282 364 305 221 0 87 0
[pid=16814] ppid=16812 vsize=28233776 memory=168928 CPUtime=1.79 cores=0-7
/proc/16814/stat : 16814 (java) S 16812 16812 14862 0 -1 1077944320 15453 0 0 0 171 8 0 0 20 0 20 0 511977972 28911386624 42232 33554432000 4194304 4196468 140735233272928 140735233255472 140351399763703 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
/proc/16814/statm: 7058444 42232 3457 1 0 7019544 0
[pid=16814/tid=16815] ppid=16812 vsize=28233776 memory=281271771613376 CPUtime=0.68 cores=0-7
/proc/16814/task/16815/stat : 16815 (java) R 16812 16812 14862 0 -1 4202560 9217 0 0 0 63 5 0 0 20 0 20 0 511977973 28911386624 42232 33554432000 4194304 4196468 140735233272928 140351403999120 140351028963046 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16816] ppid=16812 vsize=28233776 memory=1560 CPUtime=0 cores=0-7
/proc/16814/task/16816/stat : 16816 (java) S 16812 16812 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511977973 28911386624 42232 33554432000 4194304 4196468 140735233272928 140351352383888 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16817] ppid=16812 vsize=28233776 memory=976 CPUtime=0 cores=0-7
/proc/16814/task/16817/stat : 16817 (java) S 16812 16812 14862 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511977973 28911386624 42232 33554432000 4194304 4196468 140735233272928 140351351331088 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16818] ppid=16812 vsize=28233776 memory=772 CPUtime=0 cores=0-7
/proc/16814/task/16818/stat : 16818 (java) S 16812 16812 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511977973 28911386624 42232 33554432000 4194304 4196468 140735233272928 140351350278800 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0

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

[pid=16814/tid=16828] ppid=16812 vsize=28769364 memory=0 CPUtime=2.52 cores=0-7
/proc/16814/task/16828/stat : 16828 (java) S 16812 16812 14862 0 -1 1077944384 8165 0 0 0 249 3 0 0 20 0 28 0 511977978 29459828736 275014 33554432000 4194304 4196468 140735233272928 140350444808816 140351399774850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16829] ppid=16812 vsize=28769364 memory=0 CPUtime=2.15 cores=0-7
/proc/16814/task/16829/stat : 16829 (java) S 16812 16812 14862 0 -1 1077944384 3870 0 0 0 214 1 0 0 20 0 28 0 511977978 29459828736 275014 33554432000 4194304 4196468 140735233272928 140350443756016 140351399774850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16830] ppid=16812 vsize=28769364 memory=0 CPUtime=2.1 cores=0-7
/proc/16814/task/16830/stat : 16830 (java) S 16812 16812 14862 0 -1 1077944384 4303 0 0 0 208 2 0 0 20 0 28 0 511977978 29459828736 275014 33554432000 4194304 4196468 140735233272928 140350442703728 140351399774850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16831] ppid=16812 vsize=28769364 memory=0 CPUtime=0.87 cores=0-7
/proc/16814/task/16831/stat : 16831 (java) S 16812 16812 14862 0 -1 1077944384 4160 0 0 0 86 1 0 0 20 0 28 0 511977978 29459828736 275014 33554432000 4194304 4196468 140735233272928 140350441650928 140351399774850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16832] ppid=16812 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16832/stat : 16832 (java) S 16812 16812 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511977978 29459828736 275014 33554432000 4194304 4196468 140735233272928 140350440597856 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16833] ppid=16812 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16833/stat : 16833 (java) S 16812 16812 14862 0 -1 1077944384 511 0 0 0 0 0 0 0 20 0 28 0 511977978 29459828736 275014 33554432000 4194304 4196468 140735233272928 140350439545136 140351399774850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=17122] ppid=16812 vsize=28769364 memory=0 CPUtime=3.43 cores=0-7
/proc/16814/task/17122/stat : 17122 (java) R 16812 16812 14862 0 -1 4202560 7084 0 0 0 342 1 0 0 20 0 28 0 511978508 29459828736 275014 33554432000 4194304 4196468 140735233272928 140350419806176 140351031921066 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=17123] ppid=16812 vsize=28769364 memory=0 CPUtime=3.26 cores=0-7
/proc/16814/task/17123/stat : 17123 (java) R 16812 16812 14862 0 -1 4202560 229 0 0 0 325 1 0 0 20 0 28 0 511978508 29459828736 275014 33554432000 4194304 4196468 140735233272928 140350425063176 140351031920773 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=17124] ppid=16812 vsize=28769364 memory=0 CPUtime=3.41 cores=0-7
/proc/16814/task/17124/stat : 17124 (java) R 16812 16812 14862 0 -1 4202560 324 0 0 0 340 1 0 0 20 0 28 0 511978508 29459828736 275014 33554432000 4194304 4196468 140735233272928 140350430326536 140351031921066 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=17125] ppid=16812 vsize=28769364 memory=0 CPUtime=3.28 cores=0-7
/proc/16814/task/17125/stat : 17125 (java) R 16812 16812 14862 0 -1 4202560 3436 0 0 0 327 1 0 0 20 0 28 0 511978508 29459828736 275014 33554432000 4194304 4196468 140735233272928 140350429274120 140351033941414 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=17126] ppid=16812 vsize=28769364 memory=0 CPUtime=3.42 cores=0-7
/proc/16814/task/17126/stat : 17126 (java) R 16812 16812 14862 0 -1 4202560 1854 0 0 0 342 0 0 0 20 0 28 0 511978508 29459828736 275014 33554432000 4194304 4196468 140735233272928 140350427171192 140351031920846 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=17127] ppid=16812 vsize=28769364 memory=0 CPUtime=3.43 cores=0-7
/proc/16814/task/17127/stat : 17127 (java) R 16812 16812 14862 0 -1 4202560 1221 0 0 0 343 0 0 0 20 0 28 0 511978508 29459828736 275014 33554432000 4194304 4196468 140735233272928 140350424011144 140351032607934 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=17128] ppid=16812 vsize=28769364 memory=0 CPUtime=3.38 cores=0-7
/proc/16814/task/17128/stat : 17128 (java) R 16812 16812 14862 0 -1 4202560 3299 0 0 0 336 2 0 0 20 0 28 0 511978508 29459828736 275014 33554432000 4194304 4196468 140735233272928 140350428220680 140351034144956 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=17129] ppid=16812 vsize=28769364 memory=0 CPUtime=3.29 cores=0-7
/proc/16814/task/17129/stat : 17129 (java) R 16812 16812 14862 0 -1 4202560 338 0 0 0 327 2 0 0 20 0 28 0 511978508 29459828736 275014 33554432000 4194304 4196468 140735233272928 140350426115512 140351035581827 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
Current children cumulated CPU time: 61.74 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 1101512 KiB

[startup+9.20115 s]
/proc/loadavg: 7.09 7.45 7.61 9/220 17129
/proc/meminfo: memFree=22234536/32770624 swapFree=66956516/67108860
[pid=16812] ppid=16809 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16812/stat : 16812 (xcsp3-exec) S 16809 16812 14862 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511977972 115843072 364 33554432000 4194304 5098028 140734683580096 140734683578200 140417989300860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17928192 140734683587445 140734683587689 140734683587689 140734683590602 0
/proc/16812/statm: 28282 364 305 221 0 87 0
[pid=16814] ppid=16812 vsize=28769364 memory=1100072 CPUtime=64.92 cores=0-7
/proc/16814/stat : 16814 (java) S 16812 16812 14862 0 -1 1077944320 104437 0 0 0 6326 166 0 0 20 0 28 0 511977972 29459828736 275018 33554432000 4194304 4196468 140735233272928 140735233255472 140351399763703 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
/proc/16814/statm: 7192341 275018 3551 1 0 7153441 0
[pid=16814/tid=16815] ppid=16812 vsize=28769364 memory=1343 CPUtime=1.1 cores=0-7
/proc/16814/task/16815/stat : 16815 (java) S 16812 16812 14862 0 -1 1077944384 9524 0 0 0 100 10 0 0 20 0 28 0 511977973 29459828736 275018 33554432000 4194304 4196468 140735233272928 140351404004480 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16816] ppid=16812 vsize=28769364 memory=291 CPUtime=0.72 cores=0-7
/proc/16814/task/16816/stat : 16816 (java) S 16812 16812 14862 0 -1 1077944384 5570 0 0 0 55 17 0 0 20 0 28 0 511977973 29459828736 275018 33554432000 4194304 4196468 140735233272928 140351352383888 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16817] ppid=16812 vsize=28769364 memory=779 CPUtime=0.68 cores=0-7
/proc/16814/task/16817/stat : 16817 (java) S 16812 16812 14862 0 -1 1077944384 5806 0 0 0 53 15 0 0 20 0 28 0 511977973 29459828736 275018 33554432000 4194304 4196468 140735233272928 140351351331088 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16818] ppid=16812 vsize=28769364 memory=2 CPUtime=0.64 cores=0-7
/proc/16814/task/16818/stat : 16818 (java) S 16812 16812 14862 0 -1 1077944384 5265 0 0 0 50 14 0 0 20 0 28 0 511977973 29459828736 275018 33554432000 4194304 4196468 140735233272928 140351350278800 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16819] ppid=16812 vsize=28769364 memory=140635886170618 CPUtime=0.65 cores=0-7
/proc/16814/task/16819/stat : 16819 (java) S 16812 16812 14862 0 -1 1077944384 5953 0 0 0 53 12 0 0 20 0 28 0 511977973 29459828736 275018 33554432000 4194304 4196468 140735233272928 140351349226000 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16820] ppid=16812 vsize=28769364 memory=281271771683008 CPUtime=0.68 cores=0-7
/proc/16814/task/16820/stat : 16820 (java) S 16812 16812 14862 0 -1 1077944384 5826 0 0 0 54 14 0 0 20 0 28 0 511977973 29459828736 275018 33554432000 4194304 4196468 140735233272928 140351348173712 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16821] ppid=16812 vsize=28769364 memory=10676 CPUtime=0.65 cores=0-7
/proc/16814/task/16821/stat : 16821 (java) S 16812 16812 14862 0 -1 1077944384 5832 0 0 0 51 14 0 0 20 0 28 0 511977973 29459828736 275018 33554432000 4194304 4196468 140735233272928 140351347120912 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16822] ppid=16812 vsize=28769364 memory=7454130749351154278 CPUtime=0.69 cores=0-7
/proc/16814/task/16822/stat : 16822 (java) S 16812 16812 14862 0 -1 1077944384 6279 0 0 0 54 15 0 0 20 0 28 0 511977973 29459828736 275018 33554432000 4194304 4196468 140735233272928 140351346068624 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16823] ppid=16812 vsize=28769364 memory=7378113806006511975 CPUtime=0.7 cores=0-7
/proc/16814/task/16823/stat : 16823 (java) S 16812 16812 14862 0 -1 1077944384 5736 0 0 0 53 17 0 0 20 0 28 0 511977973 29459828736 275018 33554432000 4194304 4196468 140735233272928 140351345015824 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16824] ppid=16812 vsize=28769364 memory=1100056 CPUtime=0.03 cores=0-7
/proc/16814/task/16824/stat : 16824 (java) S 16812 16812 14862 0 -1 1077944384 1180 0 0 0 3 0 0 0 20 0 28 0 511977975 29459828736 275018 33554432000 4194304 4196468 140735233272928 140350449018992 140351399774850 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16825] ppid=16812 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16825/stat : 16825 (java) S 16812 16812 14862 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 511977975 29459828736 275018 33554432000 4194304 4196468 140735233272928 140350447965024 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16826] ppid=16812 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16826/stat : 16826 (java) S 16812 16812 14862 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 511977976 29459828736 275018 33554432000 4194304 4196468 140735233272928 140350446912640 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16827] ppid=16812 vsize=28769364 memory=16 CPUtime=0 cores=0-7
/proc/16814/task/16827/stat : 16827 (java) S 16812 16812 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511977978 29459828736 275018 33554432000 4194304 4196468 140735233272928 140350445860944 140351399782299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16828] ppid=16812 vsize=28769364 memory=0 CPUtime=2.52 cores=0-7
/proc/16814/task/16828/stat : 16828 (java) S 16812 16812 14862 0 -1 1077944384 8165 0 0 0 249 3 0 0 20 0 28 0 511977978 29459828736 275018 33554432000 4194304 4196468 140735233272928 140350444808816 140351399774850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16829] ppid=16812 vsize=28769364 memory=4747 CPUtime=2.15 cores=0-7
/proc/16814/task/16829/stat : 16829 (java) S 16812 16812 14862 0 -1 1077944384 3870 0 0 0 214 1 0 0 20 0 28 0 511977978 29459828736 275018 33554432000 4194304 4196468 140735233272928 140350443756016 140351399774850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16830] ppid=16812 vsize=28769364 memory=110 CPUtime=2.1 cores=0-7
/proc/16814/task/16830/stat : 16830 (java) S 16812 16812 14862 0 -1 1077944384 4547 0 0 0 208 2 0 0 20 0 28 0 511977978 29459828736 275018 33554432000 4194304 4196468 140735233272928 140350442703728 140351399774850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16831] ppid=16812 vsize=28769364 memory=72 CPUtime=0.87 cores=0-7
/proc/16814/task/16831/stat : 16831 (java) S 16812 16812 14862 0 -1 1077944384 4160 0 0 0 86 1 0 0 20 0 28 0 511977978 29459828736 275018 33554432000 4194304 4196468 140735233272928 140350441650928 140351399774850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16832] ppid=16812 vsize=28769364 memory=68 CPUtime=0 cores=0-7
/proc/16814/task/16832/stat : 16832 (java) S 16812 16812 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511977978 29459828736 275018 33554432000 4194304 4196468 140735233272928 140350440597856 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16833] ppid=16812 vsize=28769364 memory=64 CPUtime=0 cores=0-7
/proc/16814/task/16833/stat : 16833 (java) S 16812 16812 14862 0 -1 1077944384 511 0 0 0 0 0 0 0 20 0 28 0 511977978 29459828736 275018 33554432000 4194304 4196468 140735233272928 140350439545136 140351399774850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=17122] ppid=16812 vsize=28769364 memory=65 CPUtime=3.82 cores=0-7
/proc/16814/task/17122/stat : 17122 (java) R 16812 16812 14862 0 -1 4202560 7318 0 0 0 381 1 0 0 20 0 28 0 511978508 29459828736 275018 33554432000 4194304 4196468 140735233272928 140350419806176 140351031921088 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=17123] ppid=16812 vsize=28769364 memory=68 CPUtime=3.64 cores=0-7
/proc/16814/task/17123/stat : 17123 (java) R 16812 16812 14862 0 -1 4202560 231 0 0 0 363 1 0 0 20 0 28 0 511978508 29459828736 275018 33554432000 4194304 4196468 140735233272928 140350425063176 140351032550465 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=17124] ppid=16812 vsize=28769364 memory=65 CPUtime=3.81 cores=0-7
/proc/16814/task/17124/stat : 17124 (java) R 16812 16812 14862 0 -1 4202560 324 0 0 0 380 1 0 0 20 0 28 0 511978508 29459828736 275018 33554432000 4194304 4196468 140735233272928 140350430326536 140351034634270 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=17125] ppid=16812 vsize=28769364 memory=69 CPUtime=3.68 cores=0-7
/proc/16814/task/17125/stat : 17125 (java) R 16812 16812 14862 0 -1 4202560 3907 0 0 0 367 1 0 0 20 0 28 0 511978508 29459828736 275018 33554432000 4194304 4196468 140735233272928 140350429274120 140351033775952 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=17126] ppid=16812 vsize=28769364 memory=70 CPUtime=3.81 cores=0-7
/proc/16814/task/17126/stat : 17126 (java) R 16812 16812 14862 0 -1 4202560 2004 0 0 0 381 0 0 0 20 0 28 0 511978508 29459828736 275018 33554432000 4194304 4196468 140735233272928 140350427169832 140351032562040 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=17127] ppid=16812 vsize=28769364 memory=3 CPUtime=3.83 cores=0-7
/proc/16814/task/17127/stat : 17127 (java) R 16812 16812 14862 0 -1 4202560 1541 0 0 0 383 0 0 0 20 0 28 0 511978508 29459828736 275018 33554432000 4194304 4196468 140735233272928 140350424011144 140351033439985 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=17128] ppid=16812 vsize=28769364 memory=0 CPUtime=3.78 cores=0-7
/proc/16814/task/17128/stat : 17128 (java) R 16812 16812 14862 0 -1 4202560 3415 0 0 0 376 2 0 0 20 0 28 0 511978508 29459828736 275018 33554432000 4194304 4196468 140735233272928 140350428220680 140351034090167 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=17129] ppid=16812 vsize=28769364 memory=0 CPUtime=3.69 cores=0-7
/proc/16814/task/17129/stat : 17129 (java) R 16812 16812 14862 0 -1 4202560 338 0 0 0 367 2 0 0 20 0 28 0 511978508 29459828736 275018 33554432000 4194304 4196468 140735233272928 140350426115512 140351033828743 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
Current children cumulated CPU time: 64.92 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 1101528 KiB

[startup+9.30115 s]
/proc/loadavg: 7.09 7.45 7.61 9/220 17129
/proc/meminfo: memFree=22234536/32770624 swapFree=66956516/67108860
[pid=16812] ppid=16809 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16812/stat : 16812 (xcsp3-exec) S 16809 16812 14862 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511977972 115843072 364 33554432000 4194304 5098028 140734683580096 140734683578200 140417989300860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17928192 140734683587445 140734683587689 140734683587689 140734683590602 0
/proc/16812/statm: 28282 364 305 221 0 87 0
[pid=16814] ppid=16812 vsize=28769364 memory=1100096 CPUtime=65.63 cores=0-7
/proc/16814/stat : 16814 (java) S 16812 16812 14862 0 -1 1077944320 105846 0 0 0 6396 167 0 0 20 0 28 0 511977972 29459828736 275024 33554432000 4194304 4196468 140735233272928 140735233255472 140351399763703 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
/proc/16814/statm: 7192341 275024 3551 1 0 7153441 0
[pid=16814/tid=16815] ppid=16812 vsize=28769364 memory=1100072 CPUtime=1.1 cores=0-7
/proc/16814/task/16815/stat : 16815 (java) R 16812 16812 14862 0 -1 4202560 9552 0 0 0 100 10 0 0 20 0 28 0 511977973 29459828736 275024 33554432000 4194304 4196468 140735233272928 140351404004480 140351025322481 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16816] ppid=16812 vsize=28769364 memory=1456 CPUtime=0.72 cores=0-7
/proc/16814/task/16816/stat : 16816 (java) S 16812 16812 14862 0 -1 1077944384 5570 0 0 0 55 17 0 0 20 0 28 0 511977973 29459828736 275024 33554432000 4194304 4196468 140735233272928 140351352383888 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16817] ppid=16812 vsize=28769364 memory=1456 CPUtime=0.68 cores=0-7
/proc/16814/task/16817/stat : 16817 (java) S 16812 16812 14862 0 -1 1077944384 5806 0 0 0 53 15 0 0 20 0 28 0 511977973 29459828736 275024 33554432000 4194304 4196468 140735233272928 140351351331088 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16818] ppid=16812 vsize=28769364 memory=72 CPUtime=0.64 cores=0-7
/proc/16814/task/16818/stat : 16818 (java) S 16812 16812 14862 0 -1 1077944384 5265 0 0 0 50 14 0 0 20 0 28 0 511977973 29459828736 275024 33554432000 4194304 4196468 140735233272928 140351350278800 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16819] ppid=16812 vsize=28769364 memory=111632 CPUtime=0.65 cores=0-7
/proc/16814/task/16819/stat : 16819 (java) S 16812 16812 14862 0 -1 1077944384 5953 0 0 0 53 12 0 0 20 0 28 0 511977973 29459828736 275024 33554432000 4194304 4196468 140735233272928 140351349226000 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16820] ppid=16812 vsize=28769364 memory=804 CPUtime=0.68 cores=0-7
/proc/16814/task/16820/stat : 16820 (java) S 16812 16812 14862 0 -1 1077944384 5826 0 0 0 54 14 0 0 20 0 28 0 511977973 29459828736 275024 33554432000 4194304 4196468 140735233272928 140351348173712 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16821] ppid=16812 vsize=28769364 memory=0 CPUtime=0.65 cores=0-7
/proc/16814/task/16821/stat : 16821 (java) S 16812 16812 14862 0 -1 1077944384 5832 0 0 0 51 14 0 0 20 0 28 0 511977973 29459828736 275024 33554432000 4194304 4196468 140735233272928 140351347120912 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16822] ppid=16812 vsize=28769364 memory=0 CPUtime=0.69 cores=0-7
/proc/16814/task/16822/stat : 16822 (java) S 16812 16812 14862 0 -1 1077944384 6279 0 0 0 54 15 0 0 20 0 28 0 511977973 29459828736 275024 33554432000 4194304 4196468 140735233272928 140351346068624 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16823] ppid=16812 vsize=28769364 memory=1560 CPUtime=0.7 cores=0-7
/proc/16814/task/16823/stat : 16823 (java) S 16812 16812 14862 0 -1 1077944384 5736 0 0 0 53 17 0 0 20 0 28 0 511977973 29459828736 275024 33554432000 4194304 4196468 140735233272928 140351345015824 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16824] ppid=16812 vsize=28769364 memory=976 CPUtime=0.03 cores=0-7
/proc/16814/task/16824/stat : 16824 (java) S 16812 16812 14862 0 -1 1077944384 1180 0 0 0 3 0 0 0 20 0 28 0 511977975 29459828736 275024 33554432000 4194304 4196468 140735233272928 140350449018992 140351399774850 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16825] ppid=16812 vsize=28769364 memory=772 CPUtime=0 cores=0-7
/proc/16814/task/16825/stat : 16825 (java) S 16812 16812 14862 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 511977975 29459828736 275024 33554432000 4194304 4196468 140735233272928 140350447965024 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16826] ppid=16812 vsize=28769364 memory=1456 CPUtime=0 cores=0-7
/proc/16814/task/16826/stat : 16826 (java) S 16812 16812 14862 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 511977976 29459828736 275024 33554432000 4194304 4196468 140735233272928 140350446912640 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16827] ppid=16812 vsize=28769364 memory=963664 CPUtime=0 cores=0-7
/proc/16814/task/16827/stat : 16827 (java) S 16812 16812 14862 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511977978 29459828736 275024 33554432000 4194304 4196468 140735233272928 140350445860944 140351399782299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16828] ppid=16812 vsize=28769364 memory=0 CPUtime=2.52 cores=0-7
/proc/16814/task/16828/stat : 16828 (java) S 16812 16812 14862 0 -1 1077944384 8165 0 0 0 249 3 0 0 20 0 28 0 511977978 29459828736 275024 33554432000 4194304 4196468 140735233272928 140350444808816 140351399774850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16829] ppid=16812 vsize=28769364 memory=215 CPUtime=2.15 cores=0-7
/proc/16814/task/16829/stat : 16829 (java) S 16812 16812 14862 0 -1 1077944384 3870 0 0 0 214 1 0 0 20 0 28 0 511977978 29459828736 275024 33554432000 4194304 4196468 140735233272928 140350443756016 140351399774850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16830] ppid=16812 vsize=28769364 memory=210 CPUtime=2.12 cores=0-7
/proc/16814/task/16830/stat : 16830 (java) S 16812 16812 14862 0 -1 1077944384 5411 0 0 0 210 2 0 0 20 0 28 0 511977978 29459828736 275024 33554432000 4194304 4196468 140735233272928 140350442703728 140351399774850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16831] ppid=16812 vsize=28769364 memory=87 CPUtime=0.87 cores=0-7
/proc/16814/task/16831/stat : 16831 (java) S 16812 16812 14862 0 -1 1077944384 4160 0 0 0 86 1 0 0 20 0 28 0 511977978 29459828736 275024 33554432000 4194304 4196468 140735233272928 140350441650928 140351399774850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16832] ppid=16812 vsize=28769364 memory=1564 CPUtime=0 cores=0-7
/proc/16814/task/16832/stat : 16832 (java) S 16812 16812 14862 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511977978 29459828736 275024 33554432000 4194304 4196468 140735233272928 140350440597856 140351399773909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=16833] ppid=16812 vsize=28769364 memory=924 CPUtime=0 cores=0-7
/proc/16814/task/16833/stat : 16833 (java) S 16812 16812 14862 0 -1 1077944384 511 0 0 0 0 0 0 0 20 0 28 0 511977978 29459828736 275007 33554432000 4194304 4196468 140735233272928 140350439545136 140351399774850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=17122] ppid=16812 vsize=28769364 memory=1420 CPUtime=3.92 cores=0-7
/proc/16814/task/17122/stat : 17122 (java) R 16812 16812 14862 0 -1 4202560 7603 0 0 0 391 1 0 0 20 0 28 0 511978508 29459828736 274990 33554432000 4194304 4196468 140735233272928 140350419814704 140351392480999 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=17123] ppid=16812 vsize=28769364 memory=1984 CPUtime=3.73 cores=0-7
/proc/16814/task/17123/stat : 17123 (java) D 16812 16812 14862 0 -1 4202560 257 0 0 0 372 1 0 0 20 0 27 0 511978508 29459828736 274956 33554432000 4194304 4196468 140735233272928 140350425068416 140351392480666 0 4 0 16800975 18446744071582151463 0 0 -1 1 0 0 1 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=17124] ppid=16812 vsize=28769364 memory=2532 CPUtime=3.9 cores=0-7
/proc/16814/task/17124/stat : 17124 (java) D 16812 16812 14862 0 -1 4202560 338 0 0 0 389 1 0 0 20 0 26 0 511978508 29459828736 274956 33554432000 4194304 4196468 140735233272928 140350430333376 140351385706301 0 4 0 16800975 18446744071582151416 0 0 -1 0 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=17126] ppid=16812 vsize=28769364 memory=281271771958016 CPUtime=3.9 cores=0-7
/proc/16814/task/17126/stat : 17126 (java) R 16812 16812 14862 0 -1 4202560 2026 0 0 0 390 0 0 0 20 0 25 0 511978508 29459828736 274939 33554432000 4194304 4196468 140735233272928 140350427176728 140351392480999 0 4 0 16800975 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
[pid=16814/tid=17127] ppid=16812 vsize=28769364 memory=281271771958080 CPUtime=3.91 cores=0-7
/proc/16814/task/17127/stat : 17127 (java) R 16812 16812 14862 0 -1 4202560 1591 0 0 0 391 0 0 0 20 0 23 0 511978508 29459828736 274923 33554432000 4194304 4196468 140735233272928 140350424018712 140351392480999 0 4 0 16800975 18446744071582151416 0 0 -1 0 0 0 0 0 0 6293624 6294260 12271616 140735233274858 140735233275030 140735233275030 140735233277903 0
Current children cumulated CPU time: 65.63 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 1101552 KiB

Child status: 0
Real time (s): 9.33717
CPU time (s): 65.6717
CPU user time (s): 63.977
CPU system time (s): 1.69479
CPU usage (%): 703.336
Max. virtual memory (cumulated for all children) (KiB): 28882492
Max. memory (cumulated for all children) (KiB): 1101552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 63.977
system time used= 1.69479
maximum resident set size= 1100096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107220
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7909
involuntary context switches= 1388


# summary of solver processes directly reported to runsolver:
#   pid: 16812
#   total CPU time (s): 65.6717
#   total CPU user time (s): 63.977
#   total CPU system time (s): 1.69479

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.093766 second user time and 0.149362 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-24 22:30:26
IDJOB=4406927
IDBENCH=138316
IDSOLVER=2871
FILE ID=node151/4406927-1569357067
RUNJOBID= node151-1569351215-14889
PBS_JOBID= 21705099
Free space on /tmp= 12412 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff62.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4406927-1569357067/watcher-4406927-1569357067 -o /tmp/evaluation-result-4406927-1569357067/solver-4406927-1569357067 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569351215-14889 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1389127991 HOME/instance-4406927-1569357067.xml

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

MD5SUM BENCH= 5002a5aac4309249d3aa4752a35eede8
RANDOM SEED=1389127991

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23322432 kB
MemAvailable:   31794444 kB
Buffers:          102368 kB
Cached:          8529896 kB
SwapCached:        50724 kB
Active:          2764416 kB
Inactive:        5923320 kB
Active(anon):       3992 kB
Inactive(anon):   106076 kB
Active(file):    2760424 kB
Inactive(file):  5817244 kB
Unevictable:      107680 kB
Mlocked:          107680 kB
SwapTotal:      67108860 kB
SwapFree:       66956516 kB
Dirty:             26224 kB
Writeback:             0 kB
AnonPages:        103016 kB
Mapped:            54416 kB
Shmem:             45980 kB
Slab:             351440 kB
SReclaimable:     322804 kB
SUnreclaim:        28636 kB
KernelStack:        3616 kB
PageTables:         5516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     59392 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 12388 MiB
End job on node151 at 2019-09-24 22:30:36