Trace number 4271523

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-09)OPT63 43.757198 6.39253

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271523-1502646718.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4271523-1502646718.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
8.28/1.72	c solve instance...
15.82/2.74	o 4691 
15.82/2.75	o 335 
15.82/2.76	o 270 
15.82/2.76	o 255 
15.82/2.77	o 242 
15.82/2.78	o 139 
17.20/2.94	o 128 
17.20/2.96	o 126 
17.20/2.96	o 123 
17.20/2.97	o 122 
17.20/2.97	o 116 
17.20/2.97	o 115 
17.20/2.98	o 113 
17.20/2.99	o 110 
18.74/3.11	o 105 
18.74/3.12	o 102 
18.74/3.15	o 97 
19.34/3.29	o 95 
20.10/3.30	o 92 
21.62/3.57	o 91 
21.62/3.58	o 88 
26.45/4.16	o 77 
27.09/4.26	o 75 
27.75/4.34	o 74 
30.11/4.63	o 72 
30.11/4.63	o 70 
32.48/4.96	o 67 
33.26/5.09	o 65 
34.65/5.24	o 63 
43.34/6.36	s OPTIMUM FOUND
43.34/6.36	v <instantiation>
43.34/6.36	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>
43.34/6.36	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>
43.34/6.36	v </instantiation>

Verifier Data 

OK	63

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 (15260 MiB free)
  memory of node 1: 16384 MiB (15577 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271523-1502646718/watcher-4271523-1502646718 -o /tmp/evaluation-result-4271523-1502646718/solver-4271523-1502646718 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502637253-8671 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 116636960 HOME/instance-4271523-1502646718.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=30441, runsolver pid=30438

[startup+0.100136 s]*
/proc/loadavg: 3.26 3.11 4.68 2/199 30462
/proc/meminfo: memFree=31562060/32770624 swapFree=67108860/67108860
[pid=30441] ppid=30438 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30441/stat : 30441 (xcsp3-exec) S 30438 30441 8644 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97759500 9740288 346 33554432000 4194304 5098028 140737077224832 140737077222936 140251964289660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25616384 140737077232747 140737077232956 140737077232956 140737077235691 0
/proc/30441/statm: 2378 346 289 221 0 87 0
[pid=30443] ppid=30441 vsize=25999808 memory=27240 CPUtime=0.12 cores=0-7
/proc/30443/stat : 30443 (java) S 30441 30441 8644 0 -1 1077944320 5672 0 0 0 11 1 0 0 20 0 20 0 97759500 26623803392 6810 33554432000 4194304 4196468 140736793740480 140736793723024 140016058089207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
/proc/30443/statm: 6499952 6810 2878 1 0 6488269 0
[pid=30443/tid=30444] ppid=30441 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/30443/task/30444/stat : 30444 (java) R 30441 30441 8644 0 -1 4202560 3683 0 0 0 8 0 0 0 20 0 20 0 97759500 26623803392 6810 33554432000 4194304 4196468 140736793740480 140016062321472 140016040531859 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30445] ppid=30441 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30445/stat : 30445 (java) S 30441 30441 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97759501 26623803392 6810 33554432000 4194304 4196468 140736793740480 140016010709776 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30446] ppid=30441 vsize=25999808 memory=140100472501888 CPUtime=0 cores=0-7
/proc/30443/task/30446/stat : 30446 (java) S 30441 30441 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97759501 26623803392 6810 33554432000 4194304 4196468 140736793740480 140016009657232 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30447] ppid=30441 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30447/stat : 30447 (java) S 30441 30441 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97759501 26623803392 6810 33554432000 4194304 4196468 140736793740480 140016008604688 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30448] ppid=30441 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30448/stat : 30448 (java) S 30441 30441 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759501 26623803392 6810 33554432000 4194304 4196468 140736793740480 140016007552144 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30449] ppid=30441 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30449/stat : 30449 (java) S 30441 30441 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97759501 26623803392 6810 33554432000 4194304 4196468 140736793740480 140016006498576 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30450] ppid=30441 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/30443/task/30450/stat : 30450 (java) S 30441 30441 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97759501 26623803392 6810 33554432000 4194304 4196468 140736793740480 140016005446032 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30451] ppid=30441 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30451/stat : 30451 (java) S 30441 30441 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759501 26623803392 6810 33554432000 4194304 4196468 140736793740480 140016004393488 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30452] ppid=30441 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30452/stat : 30452 (java) S 30441 30441 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97759501 26623803392 6810 33554432000 4194304 4196468 140736793740480 140016003340944 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30453] ppid=30441 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30453/stat : 30453 (java) S 30441 30441 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97759503 26623803392 6810 33554432000 4194304 4196468 140736793740480 140014800218608 140016058100354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30454] ppid=30441 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30454/stat : 30454 (java) S 30441 30441 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97759503 26623803392 6810 33554432000 4194304 4196468 140736793740480 140014799164832 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30455] ppid=30441 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30455/stat : 30455 (java) S 30441 30441 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97759503 26623803392 6810 33554432000 4194304 4196468 140736793740480 140014798112240 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30456] ppid=30441 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30456/stat : 30456 (java) S 30441 30441 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759506 26623803392 6810 33554432000 4194304 4196468 140736793740480 140014797060816 140016058107803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30457] ppid=30441 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30457/stat : 30457 (java) S 30441 30441 8644 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 20 0 97759506 26623803392 6810 33554432000 4194304 4196468 140736793740480 140014796007408 140016058100354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30458] ppid=30441 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30458/stat : 30458 (java) S 30441 30441 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97759506 26623803392 6810 33554432000 4194304 4196468 140736793740480 140014794954864 140016058100354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30459] ppid=30441 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30459/stat : 30459 (java) S 30441 30441 8644 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 97759506 26623803392 6810 33554432000 4194304 4196468 140736793740480 140014725884144 140016058100354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30460] ppid=30441 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/30443/task/30460/stat : 30460 (java) S 30441 30441 8644 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 20 0 97759506 26623803392 6810 33554432000 4194304 4196468 140736793740480 140014724831600 140016058100354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30461] ppid=30441 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30461/stat : 30461 (java) S 30441 30441 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97759506 26623803392 6810 33554432000 4194304 4196468 140736793740480 140014723779296 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30462] ppid=30441 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/30443/task/30462/stat : 30462 (java) S 30441 30441 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759506 26623803392 6810 33554432000 4194304 4196468 140736793740480 140014722726832 140016058100354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28624 KiB

[startup+0.210568 s]*
/proc/loadavg: 3.26 3.11 4.68 3/199 30462
/proc/meminfo: memFree=31551552/32770624 swapFree=67108860/67108860
[pid=30441] ppid=30438 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30441/stat : 30441 (xcsp3-exec) S 30438 30441 8644 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97759500 9740288 346 33554432000 4194304 5098028 140737077224832 140737077222936 140251964289660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25616384 140737077232747 140737077232956 140737077232956 140737077235691 0
/proc/30441/statm: 2378 346 289 221 0 87 0
[pid=30443] ppid=30441 vsize=26004064 memory=39020 CPUtime=0.33 cores=0-7
/proc/30443/stat : 30443 (java) S 30441 30441 8644 0 -1 1077944320 8317 0 0 0 31 2 0 0 20 0 20 0 97759500 26628161536 9755 33554432000 4194304 4196468 140736793740480 140736793723024 140016058089207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
/proc/30443/statm: 6501016 9755 3032 1 0 6488269 0
[pid=30443/tid=30444] ppid=30441 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/30443/task/30444/stat : 30444 (java) R 30441 30441 8644 0 -1 4202560 5441 0 0 0 18 1 0 0 20 0 20 0 97759500 26628161536 9755 33554432000 4194304 4196468 140736793740480 140016062311248 140016058111133 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30445] ppid=30441 vsize=26004064 memory=328 CPUtime=0 cores=0-7
/proc/30443/task/30445/stat : 30445 (java) S 30441 30441 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97759501 26628161536 9755 33554432000 4194304 4196468 140736793740480 140016010709776 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30446] ppid=30441 vsize=26004064 memory=140100472908228 CPUtime=0 cores=0-7
/proc/30443/task/30446/stat : 30446 (java) S 30441 30441 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97759501 26628161536 9755 33554432000 4194304 4196468 140736793740480 140016009657232 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30447] ppid=30441 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/30443/task/30447/stat : 30447 (java) S 30441 30441 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97759501 26628161536 9755 33554432000 4194304 4196468 140736793740480 140016008604688 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30448] ppid=30441 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30448/stat : 30448 (java) S 30441 30441 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759501 26628161536 9755 33554432000 4194304 4196468 140736793740480 140016007552144 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30449] ppid=30441 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30449/stat : 30449 (java) S 30441 30441 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97759501 26628161536 9755 33554432000 4194304 4196468 140736793740480 140016006498576 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30450] ppid=30441 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/30443/task/30450/stat : 30450 (java) S 30441 30441 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97759501 26628161536 9755 33554432000 4194304 4196468 140736793740480 140016005446032 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30451] ppid=30441 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30451/stat : 30451 (java) S 30441 30441 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759501 26628161536 9755 33554432000 4194304 4196468 140736793740480 140016004393488 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30452] ppid=30441 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30452/stat : 30452 (java) S 30441 30441 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97759501 26628161536 9755 33554432000 4194304 4196468 140736793740480 140016003340944 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30453] ppid=30441 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30453/stat : 30453 (java) S 30441 30441 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97759503 26628161536 9755 33554432000 4194304 4196468 140736793740480 140014800218608 140016058100354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30454] ppid=30441 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30454/stat : 30454 (java) S 30441 30441 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97759503 26628161536 9755 33554432000 4194304 4196468 140736793740480 140014799164832 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30455] ppid=30441 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30455/stat : 30455 (java) S 30441 30441 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97759503 26628161536 9755 33554432000 4194304 4196468 140736793740480 140014798112240 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30456] ppid=30441 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30456/stat : 30456 (java) S 30441 30441 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759506 26628161536 9755 33554432000 4194304 4196468 140736793740480 140014797060816 140016058107803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30457] ppid=30441 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/30443/task/30457/stat : 30457 (java) S 30441 30441 8644 0 -1 1077944384 440 0 0 0 1 0 0 0 20 0 20 0 97759506 26628161536 9755 33554432000 4194304 4196468 140736793740480 140014796007408 140016058100354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30458] ppid=30441 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/30443/task/30458/stat : 30458 (java) R 30441 30441 8644 0 -1 1077944384 164 0 0 0 1 0 0 0 20 0 20 0 97759506 26628161536 9755 33554432000 4194304 4196468 140736793740480 140014794954864 140016058100354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30459] ppid=30441 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/30443/task/30459/stat : 30459 (java) S 30441 30441 8644 0 -1 1077944384 218 0 0 0 2 0 0 0 20 0 20 0 97759506 26628161536 9755 33554432000 4194304 4196468 140736793740480 140014725884144 140016058100354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30460] ppid=30441 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/30443/task/30460/stat : 30460 (java) R 30441 30441 8644 0 -1 4202560 743 0 0 0 7 0 0 0 20 0 20 0 97759506 26628161536 9755 33554432000 4194304 4196468 140736793740480 140014724831600 140016058101142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30461] ppid=30441 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30461/stat : 30461 (java) S 30441 30441 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97759506 26628161536 9755 33554432000 4194304 4196468 140736793740480 140014723779296 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30462] ppid=30441 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/30443/task/30462/stat : 30462 (java) S 30441 30441 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759506 26628161536 9755 33554432000 4194304 4196468 140736793740480 140014722726832 140016058100354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40404 KiB

[startup+0.310402 s]*
/proc/loadavg: 3.26 3.11 4.68 3/199 30462
/proc/meminfo: memFree=31546776/32770624 swapFree=67108860/67108860
[pid=30441] ppid=30438 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30441/stat : 30441 (xcsp3-exec) S 30438 30441 8644 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97759500 9740288 346 33554432000 4194304 5098028 140737077224832 140737077222936 140251964289660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25616384 140737077232747 140737077232956 140737077232956 140737077235691 0
/proc/30441/statm: 2378 346 289 221 0 87 0
[pid=30443] ppid=30441 vsize=26004064 memory=43916 CPUtime=0.51 cores=0-7
/proc/30443/stat : 30443 (java) S 30441 30441 8644 0 -1 1077944320 9205 0 0 0 48 3 0 0 20 0 20 0 97759500 26628161536 10979 33554432000 4194304 4196468 140736793740480 140736793723024 140016058089207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
/proc/30443/statm: 6501016 10979 3064 1 0 6488269 0
[pid=30443/tid=30444] ppid=30441 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/30443/task/30444/stat : 30444 (java) R 30441 30441 8644 0 -1 4202560 6108 0 0 0 27 2 0 0 20 0 20 0 97759500 26628161536 10979 33554432000 4194304 4196468 140736793740480 140016062326720 140016058111133 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30445] ppid=30441 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30445/stat : 30445 (java) S 30441 30441 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97759501 26628161536 10979 33554432000 4194304 4196468 140736793740480 140016010709776 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30446] ppid=30441 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30446/stat : 30446 (java) S 30441 30441 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97759501 26628161536 10979 33554432000 4194304 4196468 140736793740480 140016009657232 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30447] ppid=30441 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30447/stat : 30447 (java) S 30441 30441 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97759501 26628161536 10979 33554432000 4194304 4196468 140736793740480 140016008604688 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30448] ppid=30441 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30448/stat : 30448 (java) S 30441 30441 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759501 26628161536 10979 33554432000 4194304 4196468 140736793740480 140016007552144 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30449] ppid=30441 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/30443/task/30449/stat : 30449 (java) S 30441 30441 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97759501 26628161536 10979 33554432000 4194304 4196468 140736793740480 140016006498576 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30450] ppid=30441 vsize=26004064 memory=140100356895663 CPUtime=0 cores=0-7
/proc/30443/task/30450/stat : 30450 (java) S 30441 30441 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97759501 26628161536 10979 33554432000 4194304 4196468 140736793740480 140016005446032 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30451] ppid=30441 vsize=26004064 memory=140100356897968 CPUtime=0 cores=0-7
/proc/30443/task/30451/stat : 30451 (java) S 30441 30441 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759501 26628161536 10979 33554432000 4194304 4196468 140736793740480 140016004393488 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30452] ppid=30441 vsize=26004064 memory=140100356900272 CPUtime=0 cores=0-7
/proc/30443/task/30452/stat : 30452 (java) S 30441 30441 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97759501 26628161536 10979 33554432000 4194304 4196468 140736793740480 140016003340944 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30453] ppid=30441 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30453/stat : 30453 (java) S 30441 30441 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97759503 26628161536 10979 33554432000 4194304 4196468 140736793740480 140014800218608 140016058100354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30454] ppid=30441 vsize=26004064 memory=280200713807504 CPUtime=0 cores=0-7
/proc/30443/task/30454/stat : 30454 (java) S 30441 30441 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97759503 26628161536 10979 33554432000 4194304 4196468 140736793740480 140014799164832 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30455] ppid=30441 vsize=26004064 memory=280200713814416 CPUtime=0 cores=0-7
/proc/30443/task/30455/stat : 30455 (java) S 30441 30441 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97759503 26628161536 10979 33554432000 4194304 4196468 140736793740480 140014798112240 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30456] ppid=30441 vsize=26004064 memory=280200713755696 CPUtime=0 cores=0-7
/proc/30443/task/30456/stat : 30456 (java) S 30441 30441 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759506 26628161536 10979 33554432000 4194304 4196468 140736793740480 140014797060816 140016058107803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30457] ppid=30441 vsize=26004064 memory=280200713828240 CPUtime=0.01 cores=0-7
/proc/30443/task/30457/stat : 30457 (java) S 30441 30441 8644 0 -1 1077944384 455 0 0 0 1 0 0 0 20 0 20 0 97759506 26628161536 10979 33554432000 4194304 4196468 140736793740480 140014796007408 140016058100354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30458] ppid=30441 vsize=26004064 memory=280200713835152 CPUtime=0.01 cores=0-7
/proc/30443/task/30458/stat : 30458 (java) R 30441 30441 8644 0 -1 4202560 201 0 0 0 1 0 0 0 20 0 20 0 97759506 26628161536 10979 33554432000 4194304 4196468 140736793740480 140014794954864 140016043254846 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30459] ppid=30441 vsize=26004064 memory=280200713832848 CPUtime=0.03 cores=0-7
/proc/30443/task/30459/stat : 30459 (java) S 30441 30441 8644 0 -1 1077944384 264 0 0 0 3 0 0 0 20 0 20 0 97759506 26628161536 10979 33554432000 4194304 4196468 140736793740480 140014725884144 140016058100354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30460] ppid=30441 vsize=26004064 memory=280200713849008 CPUtime=0.12 cores=0-7
/proc/30443/task/30460/stat : 30460 (java) R 30441 30441 8644 0 -1 4202560 865 0 0 0 12 0 0 0 20 0 20 0 97759506 26628161536 10979 33554432000 4194304 4196468 140736793740480 140014724827968 140016037522275 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30461] ppid=30441 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30461/stat : 30461 (java) S 30441 30441 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97759506 26628161536 10979 33554432000 4194304 4196468 140736793740480 140014723779296 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30462] ppid=30441 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/30443/task/30462/stat : 30462 (java) S 30441 30441 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97759506 26628161536 11491 33554432000 4194304 4196468 140736793740480 140014722726832 140016058100354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45300 KiB

[startup+0.704648 s]
/proc/loadavg: 3.40 3.14 4.68 3/199 30462
/proc/meminfo: memFree=31522836/32770624 swapFree=67108860/67108860
[pid=30441] ppid=30438 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30441/stat : 30441 (xcsp3-exec) S 30438 30441 8644 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97759500 9740288 346 33554432000 4194304 5098028 140737077224832 140737077222936 140251964289660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25616384 140737077232747 140737077232956 140737077232956 140737077235691 0
/proc/30441/statm: 2378 346 289 221 0 87 0
[pid=30443] ppid=30441 vsize=26006188 memory=232612 CPUtime=1.94 cores=0-7
/proc/30443/stat : 30443 (java) S 30441 30441 8644 0 -1 1077944320 13666 0 0 0 176 18 0 0 20 0 20 0 97759500 26630336512 58153 33554432000 4194304 4196468 140736793740480 140736793723024 140016058089207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
/proc/30443/statm: 6501547 58153 3198 1 0 6488781 0
[pid=30443/tid=30444] ppid=30441 vsize=26006188 memory=280200714206896 CPUtime=0.64 cores=0-7
/proc/30443/task/30444/stat : 30444 (java) S 30441 30441 8644 0 -1 1077944384 6900 0 0 0 60 4 0 0 20 0 20 0 97759500 26630336512 58153 33554432000 4194304 4196468 140736793740480 140016062325072 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30445] ppid=30441 vsize=26006188 memory=140100357104496 CPUtime=0.02 cores=0-7
/proc/30443/task/30445/stat : 30445 (java) R 30441 30441 8644 0 -1 4202560 34 0 0 0 1 1 0 0 20 0 20 0 97759501 26630336512 58153 33554432000 4194304 4196468 140736793740480 140016010709776 140016043117090 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30446] ppid=30441 vsize=26006188 memory=0 CPUtime=0.01 cores=0-7
/proc/30443/task/30446/stat : 30446 (java) R 30441 30441 8644 0 -1 4202560 25 0 0 0 0 1 0 0 20 0 20 0 97759501 26630336512 58153 33554432000 4194304 4196468 140736793740480 140016009657432 140016051193855 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30447] ppid=30441 vsize=26006188 memory=4612 CPUtime=0 cores=0-7
/proc/30443/task/30447/stat : 30447 (java) R 30441 30441 8644 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 97759501 26630336512 58153 33554432000 4194304 4196468 140736793740480 140016008604576 140016051192819 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0

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

[pid=30443/tid=30575] ppid=30441 vsize=26538700 memory=0 CPUtime=0.07 cores=0-7
/proc/30443/task/30575/stat : 30575 (java) R 30441 30441 8644 0 -1 4202560 23 0 0 0 7 0 0 0 20 0 28 0 97759799 27175628800 278460 33554432000 4194304 4196468 140736793740480 140014711001912 140015689432129 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30576] ppid=30441 vsize=26538700 memory=1384 CPUtime=0.08 cores=0-7
/proc/30443/task/30576/stat : 30576 (java) R 30441 30441 8644 0 -1 4202560 21 0 0 0 8 0 0 0 20 0 28 0 97759799 27175628800 278460 33554432000 4194304 4196468 140736793740480 140014715214776 140015689432777 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30577] ppid=30441 vsize=26538700 memory=285368 CPUtime=0.05 cores=0-7
/proc/30443/task/30577/stat : 30577 (java) R 30441 30441 8644 0 -1 4202560 38 0 0 0 5 0 0 0 20 0 28 0 97759799 27175628800 278460 33554432000 4194304 4196468 140736793740480 140014707847016 140015689432777 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30578] ppid=30441 vsize=26538700 memory=4612 CPUtime=0.11 cores=0-7
/proc/30443/task/30578/stat : 30578 (java) R 30441 30441 8644 0 -1 4202560 25 0 0 0 11 0 0 0 20 0 28 0 97759799 27175628800 278460 33554432000 4194304 4196468 140736793740480 140014714155056 140015688995008 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30579] ppid=30441 vsize=26538700 memory=1004 CPUtime=0.07 cores=0-7
/proc/30443/task/30579/stat : 30579 (java) R 30441 30441 8644 0 -1 4202560 21 0 0 0 7 0 0 0 20 0 28 0 97759799 27175628800 278460 33554432000 4194304 4196468 140736793740480 140014708897368 140015688747628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30580] ppid=30441 vsize=26538700 memory=1200 CPUtime=0.07 cores=0-7
/proc/30443/task/30580/stat : 30580 (java) R 30441 30441 8644 0 -1 4202560 19 0 0 0 7 0 0 0 20 0 28 0 97759800 27175628800 278460 33554432000 4194304 4196468 140736793740480 140014709947592 140015686010102 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30581] ppid=30441 vsize=26538700 memory=15872 CPUtime=0.07 cores=0-7
/proc/30443/task/30581/stat : 30581 (java) R 30441 30441 8644 0 -1 4202560 26 0 0 0 7 0 0 0 20 0 28 0 97759801 27175628800 278460 33554432000 4194304 4196468 140736793740480 140014713109368 140015689452224 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
Current children cumulated CPU time: 18.74 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1115224 KiB

[startup+6.30665 s]
/proc/loadavg: 3.77 3.22 4.70 10/207 30701
/proc/meminfo: memFree=30327128/32770624 swapFree=67108860/67108860
[pid=30441] ppid=30438 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30441/stat : 30441 (xcsp3-exec) S 30438 30441 8644 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97759500 9740288 346 33554432000 4194304 5098028 140737077224832 140737077222936 140251964289660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25616384 140737077232747 140737077232956 140737077232956 140737077235691 0
/proc/30441/statm: 2378 346 289 221 0 87 0
[pid=30443] ppid=30441 vsize=26539728 memory=1259012 CPUtime=43.34 cores=0-7
/proc/30443/stat : 30443 (java) S 30441 30441 8644 0 -1 1077944320 76726 0 0 0 4099 235 0 0 20 0 28 0 97759500 27176681472 314753 33554432000 4194304 4196468 140736793740480 140736793723024 140016058089207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
/proc/30443/statm: 6634932 314753 3302 1 0 6622166 0
[pid=30443/tid=30444] ppid=30441 vsize=26539728 memory=1259012 CPUtime=1.06 cores=0-7
/proc/30443/task/30444/stat : 30444 (java) S 30441 30441 8644 0 -1 1077944384 7327 0 0 0 98 8 0 0 20 0 28 0 97759500 27176681472 314753 33554432000 4194304 4196468 140736793740480 140016062329984 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30445] ppid=30441 vsize=26539728 memory=1181796 CPUtime=1.36 cores=0-7
/proc/30443/task/30445/stat : 30445 (java) S 30441 30441 8644 0 -1 1077944384 2282 0 0 0 111 25 0 0 20 0 28 0 97759501 27176681472 314753 33554432000 4194304 4196468 140736793740480 140016010709776 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30446] ppid=30441 vsize=26539728 memory=303430223234596890 CPUtime=1.37 cores=0-7
/proc/30443/task/30446/stat : 30446 (java) S 30441 30441 8644 0 -1 1077944384 2114 0 0 0 112 25 0 0 20 0 28 0 97759501 27176681472 314753 33554432000 4194304 4196468 140736793740480 140016009657232 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30447] ppid=30441 vsize=26539728 memory=288230617509003574 CPUtime=1.36 cores=0-7
/proc/30443/task/30447/stat : 30447 (java) S 30441 30441 8644 0 -1 1077944384 15357 0 0 0 104 32 0 0 20 0 28 0 97759501 27176681472 314753 33554432000 4194304 4196468 140736793740480 140016008604688 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30448] ppid=30441 vsize=26539728 memory=4100 CPUtime=1.35 cores=0-7
/proc/30443/task/30448/stat : 30448 (java) S 30441 30441 8644 0 -1 1077944384 2283 0 0 0 110 25 0 0 20 0 28 0 97759501 27176681472 314753 33554432000 4194304 4196468 140736793740480 140016007552144 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30449] ppid=30441 vsize=26539728 memory=28048 CPUtime=1.35 cores=0-7
/proc/30443/task/30449/stat : 30449 (java) S 30441 30441 8644 0 -1 1077944384 2169 0 0 0 111 24 0 0 20 0 28 0 97759501 27176681472 314753 33554432000 4194304 4196468 140736793740480 140016006498576 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30450] ppid=30441 vsize=26539728 memory=1292 CPUtime=1.37 cores=0-7
/proc/30443/task/30450/stat : 30450 (java) S 30441 30441 8644 0 -1 1077944384 2228 0 0 0 112 25 0 0 20 0 28 0 97759501 27176681472 314753 33554432000 4194304 4196468 140736793740480 140016005446032 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30451] ppid=30441 vsize=26539728 memory=135 CPUtime=1.37 cores=0-7
/proc/30443/task/30451/stat : 30451 (java) S 30441 30441 8644 0 -1 1077944384 2420 0 0 0 113 24 0 0 20 0 28 0 97759501 27176681472 314753 33554432000 4194304 4196468 140736793740480 140016004393488 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30452] ppid=30441 vsize=26539728 memory=137 CPUtime=1.36 cores=0-7
/proc/30443/task/30452/stat : 30452 (java) S 30441 30441 8644 0 -1 1077944384 2323 0 0 0 111 25 0 0 20 0 28 0 97759501 27176681472 314753 33554432000 4194304 4196468 140736793740480 140016003340944 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30453] ppid=30441 vsize=26539728 memory=137 CPUtime=0.05 cores=0-7
/proc/30443/task/30453/stat : 30453 (java) S 30441 30441 8644 0 -1 1077944384 1722 0 0 0 4 1 0 0 20 0 28 0 97759503 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014800218608 140016058100354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30454] ppid=30441 vsize=26539728 memory=136 CPUtime=0 cores=0-7
/proc/30443/task/30454/stat : 30454 (java) S 30441 30441 8644 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 97759503 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014799164896 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30455] ppid=30441 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30455/stat : 30455 (java) S 30441 30441 8644 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 97759503 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014798112256 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30456] ppid=30441 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30456/stat : 30456 (java) S 30441 30441 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97759506 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014797060816 140016058107803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30457] ppid=30441 vsize=26539728 memory=0 CPUtime=2.12 cores=0-7
/proc/30443/task/30457/stat : 30457 (java) S 30441 30441 8644 0 -1 1077944384 6167 0 0 0 210 2 0 0 20 0 28 0 97759506 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014796007408 140016058100354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30458] ppid=30441 vsize=26539728 memory=210 CPUtime=2.25 cores=0-7
/proc/30443/task/30458/stat : 30458 (java) S 30441 30441 8644 0 -1 1077944384 7297 0 0 0 223 2 0 0 20 0 28 0 97759506 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014794954864 140016058100354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30459] ppid=30441 vsize=26539728 memory=140100357179904 CPUtime=2.5 cores=0-7
/proc/30443/task/30459/stat : 30459 (java) S 30441 30441 8644 0 -1 1077944384 9997 0 0 0 247 3 0 0 20 0 28 0 97759506 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014725884144 140016058100354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30460] ppid=30441 vsize=26539728 memory=0 CPUtime=0.86 cores=0-7
/proc/30443/task/30460/stat : 30460 (java) S 30441 30441 8644 0 -1 1077944384 5417 0 0 0 85 1 0 0 20 0 28 0 97759506 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014724831600 140016058100354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30461] ppid=30441 vsize=26539728 memory=4580 CPUtime=0 cores=0-7
/proc/30443/task/30461/stat : 30461 (java) S 30441 30441 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97759506 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014723779296 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30462] ppid=30441 vsize=26539728 memory=7151823192952164432 CPUtime=0 cores=0-7
/proc/30443/task/30462/stat : 30462 (java) S 30441 30441 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 97759506 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014722726832 140016058100354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30694] ppid=30441 vsize=26539728 memory=1292 CPUtime=0.97 cores=0-7
/proc/30443/task/30694/stat : 30694 (java) R 30441 30441 8644 0 -1 4202560 19 0 0 0 97 0 0 0 20 0 28 0 97760024 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014712053736 140015688748412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30695] ppid=30441 vsize=26539728 memory=2448 CPUtime=1.03 cores=0-7
/proc/30443/task/30695/stat : 30695 (java) R 30441 30441 8644 0 -1 4202560 18 0 0 0 103 0 0 0 20 0 28 0 97760024 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014711001592 140015690425127 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30696] ppid=30441 vsize=26539728 memory=1732 CPUtime=0.97 cores=0-7
/proc/30443/task/30696/stat : 30696 (java) R 30441 30441 8644 0 -1 4202560 259 0 0 0 97 0 0 0 20 0 28 0 97760024 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014715212392 140015690776660 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30697] ppid=30441 vsize=26539728 memory=1948 CPUtime=0.92 cores=0-7
/proc/30443/task/30697/stat : 30697 (java) R 30441 30441 8644 0 -1 4202560 19 0 0 0 92 0 0 0 20 0 28 0 97760024 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014708897704 140015689306548 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30698] ppid=30441 vsize=26539728 memory=1384 CPUtime=1.05 cores=0-7
/proc/30443/task/30698/stat : 30698 (java) R 30441 30441 8644 0 -1 4202560 20 0 0 0 105 0 0 0 20 0 28 0 97760024 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014706790888 140015691843858 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30699] ppid=30441 vsize=26539728 memory=1384 CPUtime=1.05 cores=0-7
/proc/30443/task/30699/stat : 30699 (java) R 30441 30441 8644 0 -1 4202560 18 0 0 0 105 0 0 0 20 0 28 0 97760024 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014709948032 140015690424932 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30700] ppid=30441 vsize=26539728 memory=829076 CPUtime=1.03 cores=0-7
/proc/30443/task/30700/stat : 30700 (java) R 30441 30441 8644 0 -1 4202560 18 0 0 0 103 0 0 0 20 0 28 0 97760024 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014714159976 140015690424734 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30701] ppid=30441 vsize=26539728 memory=16236 CPUtime=0.99 cores=0-7
/proc/30443/task/30701/stat : 30701 (java) R 30441 30441 8644 0 -1 4202560 20 0 0 0 99 0 0 0 20 0 28 0 97760024 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014707843320 140015690498280 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
Current children cumulated CPU time: 43.34 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 1260396 KiB

[startup+6.39249 s]
# the end of solver process 30441 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=41.3811 s, system=2.37609 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.30665 s]
/proc/loadavg: 3.77 3.22 4.70 10/207 30701
/proc/meminfo: memFree=30327128/32770624 swapFree=67108860/67108860
[pid=30441] ppid=30438 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30441/stat : 30441 (xcsp3-exec) S 30438 30441 8644 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97759500 9740288 346 33554432000 4194304 5098028 140737077224832 140737077222936 140251964289660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25616384 140737077232747 140737077232956 140737077232956 140737077235691 0
/proc/30441/statm: 2378 346 289 221 0 87 0
[pid=30443] ppid=30441 vsize=26539728 memory=1259012 CPUtime=43.34 cores=0-7
/proc/30443/stat : 30443 (java) S 30441 30441 8644 0 -1 1077944320 76726 0 0 0 4099 235 0 0 20 0 28 0 97759500 27176681472 314753 33554432000 4194304 4196468 140736793740480 140736793723024 140016058089207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
/proc/30443/statm: 6634932 314753 3302 1 0 6622166 0
[pid=30443/tid=30444] ppid=30441 vsize=26539728 memory=1259012 CPUtime=1.06 cores=0-7
/proc/30443/task/30444/stat : 30444 (java) S 30441 30441 8644 0 -1 1077944384 7327 0 0 0 98 8 0 0 20 0 28 0 97759500 27176681472 314753 33554432000 4194304 4196468 140736793740480 140016062329984 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30445] ppid=30441 vsize=26539728 memory=1181796 CPUtime=1.36 cores=0-7
/proc/30443/task/30445/stat : 30445 (java) S 30441 30441 8644 0 -1 1077944384 2282 0 0 0 111 25 0 0 20 0 28 0 97759501 27176681472 314753 33554432000 4194304 4196468 140736793740480 140016010709776 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30446] ppid=30441 vsize=26539728 memory=303430223234596890 CPUtime=1.37 cores=0-7
/proc/30443/task/30446/stat : 30446 (java) S 30441 30441 8644 0 -1 1077944384 2114 0 0 0 112 25 0 0 20 0 28 0 97759501 27176681472 314753 33554432000 4194304 4196468 140736793740480 140016009657232 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30447] ppid=30441 vsize=26539728 memory=288230617509003574 CPUtime=1.36 cores=0-7
/proc/30443/task/30447/stat : 30447 (java) S 30441 30441 8644 0 -1 1077944384 15357 0 0 0 104 32 0 0 20 0 28 0 97759501 27176681472 314753 33554432000 4194304 4196468 140736793740480 140016008604688 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30448] ppid=30441 vsize=26539728 memory=4100 CPUtime=1.35 cores=0-7
/proc/30443/task/30448/stat : 30448 (java) S 30441 30441 8644 0 -1 1077944384 2283 0 0 0 110 25 0 0 20 0 28 0 97759501 27176681472 314753 33554432000 4194304 4196468 140736793740480 140016007552144 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30449] ppid=30441 vsize=26539728 memory=28048 CPUtime=1.35 cores=0-7
/proc/30443/task/30449/stat : 30449 (java) S 30441 30441 8644 0 -1 1077944384 2169 0 0 0 111 24 0 0 20 0 28 0 97759501 27176681472 314753 33554432000 4194304 4196468 140736793740480 140016006498576 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30450] ppid=30441 vsize=26539728 memory=1292 CPUtime=1.37 cores=0-7
/proc/30443/task/30450/stat : 30450 (java) S 30441 30441 8644 0 -1 1077944384 2228 0 0 0 112 25 0 0 20 0 28 0 97759501 27176681472 314753 33554432000 4194304 4196468 140736793740480 140016005446032 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30451] ppid=30441 vsize=26539728 memory=135 CPUtime=1.37 cores=0-7
/proc/30443/task/30451/stat : 30451 (java) S 30441 30441 8644 0 -1 1077944384 2420 0 0 0 113 24 0 0 20 0 28 0 97759501 27176681472 314753 33554432000 4194304 4196468 140736793740480 140016004393488 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30452] ppid=30441 vsize=26539728 memory=137 CPUtime=1.36 cores=0-7
/proc/30443/task/30452/stat : 30452 (java) S 30441 30441 8644 0 -1 1077944384 2323 0 0 0 111 25 0 0 20 0 28 0 97759501 27176681472 314753 33554432000 4194304 4196468 140736793740480 140016003340944 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30453] ppid=30441 vsize=26539728 memory=137 CPUtime=0.05 cores=0-7
/proc/30443/task/30453/stat : 30453 (java) S 30441 30441 8644 0 -1 1077944384 1722 0 0 0 4 1 0 0 20 0 28 0 97759503 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014800218608 140016058100354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30454] ppid=30441 vsize=26539728 memory=136 CPUtime=0 cores=0-7
/proc/30443/task/30454/stat : 30454 (java) S 30441 30441 8644 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 97759503 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014799164896 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30455] ppid=30441 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30455/stat : 30455 (java) S 30441 30441 8644 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 97759503 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014798112256 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30456] ppid=30441 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/30443/task/30456/stat : 30456 (java) S 30441 30441 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97759506 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014797060816 140016058107803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30457] ppid=30441 vsize=26539728 memory=0 CPUtime=2.12 cores=0-7
/proc/30443/task/30457/stat : 30457 (java) S 30441 30441 8644 0 -1 1077944384 6167 0 0 0 210 2 0 0 20 0 28 0 97759506 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014796007408 140016058100354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30458] ppid=30441 vsize=26539728 memory=210 CPUtime=2.25 cores=0-7
/proc/30443/task/30458/stat : 30458 (java) S 30441 30441 8644 0 -1 1077944384 7297 0 0 0 223 2 0 0 20 0 28 0 97759506 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014794954864 140016058100354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30459] ppid=30441 vsize=26539728 memory=140100357179904 CPUtime=2.5 cores=0-7
/proc/30443/task/30459/stat : 30459 (java) S 30441 30441 8644 0 -1 1077944384 9997 0 0 0 247 3 0 0 20 0 28 0 97759506 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014725884144 140016058100354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30460] ppid=30441 vsize=26539728 memory=0 CPUtime=0.86 cores=0-7
/proc/30443/task/30460/stat : 30460 (java) S 30441 30441 8644 0 -1 1077944384 5417 0 0 0 85 1 0 0 20 0 28 0 97759506 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014724831600 140016058100354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30461] ppid=30441 vsize=26539728 memory=4580 CPUtime=0 cores=0-7
/proc/30443/task/30461/stat : 30461 (java) S 30441 30441 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97759506 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014723779296 140016058099413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30462] ppid=30441 vsize=26539728 memory=7151823192952164432 CPUtime=0 cores=0-7
/proc/30443/task/30462/stat : 30462 (java) S 30441 30441 8644 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 97759506 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014722726832 140016058100354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30694] ppid=30441 vsize=26539728 memory=1292 CPUtime=0.97 cores=0-7
/proc/30443/task/30694/stat : 30694 (java) R 30441 30441 8644 0 -1 4202560 19 0 0 0 97 0 0 0 20 0 28 0 97760024 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014712053736 140015688748412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30695] ppid=30441 vsize=26539728 memory=2448 CPUtime=1.03 cores=0-7
/proc/30443/task/30695/stat : 30695 (java) R 30441 30441 8644 0 -1 4202560 18 0 0 0 103 0 0 0 20 0 28 0 97760024 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014711001592 140015690425127 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30696] ppid=30441 vsize=26539728 memory=1732 CPUtime=0.97 cores=0-7
/proc/30443/task/30696/stat : 30696 (java) R 30441 30441 8644 0 -1 4202560 259 0 0 0 97 0 0 0 20 0 28 0 97760024 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014715212392 140015690776660 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30697] ppid=30441 vsize=26539728 memory=1948 CPUtime=0.92 cores=0-7
/proc/30443/task/30697/stat : 30697 (java) R 30441 30441 8644 0 -1 4202560 19 0 0 0 92 0 0 0 20 0 28 0 97760024 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014708897704 140015689306548 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30698] ppid=30441 vsize=26539728 memory=1384 CPUtime=1.05 cores=0-7
/proc/30443/task/30698/stat : 30698 (java) R 30441 30441 8644 0 -1 4202560 20 0 0 0 105 0 0 0 20 0 28 0 97760024 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014706790888 140015691843858 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30699] ppid=30441 vsize=26539728 memory=1384 CPUtime=1.05 cores=0-7
/proc/30443/task/30699/stat : 30699 (java) R 30441 30441 8644 0 -1 4202560 18 0 0 0 105 0 0 0 20 0 28 0 97760024 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014709948032 140015690424932 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30700] ppid=30441 vsize=26539728 memory=829076 CPUtime=1.03 cores=0-7
/proc/30443/task/30700/stat : 30700 (java) R 30441 30441 8644 0 -1 4202560 18 0 0 0 103 0 0 0 20 0 28 0 97760024 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014714159976 140015690424734 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
[pid=30443/tid=30701] ppid=30441 vsize=26539728 memory=16236 CPUtime=0.99 cores=0-7
/proc/30443/task/30701/stat : 30701 (java) R 30441 30441 8644 0 -1 4202560 20 0 0 0 99 0 0 0 20 0 28 0 97760024 27176681472 314753 33554432000 4194304 4196468 140736793740480 140014707843320 140015690498280 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18526208 140736793744536 140736793744712 140736793744712 140736793747407 0
Current children cumulated CPU time: 43.34 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 1260396 KiB

Child status: 0
Real time (s): 6.39253
CPU time (s): 43.7572
CPU user time (s): 41.3811
CPU system time (s): 2.37609
CPU usage (%): 684.504
Max. virtual memory (cumulated for all children) (KiB): 26551160
Max. memory (cumulated for all children) (KiB): 1260396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.3811
system time used= 2.37609
maximum resident set size= 1259416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77418
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7922
involuntary context switches= 1014


# summary of solver processes directly reported to runsolver:
#   pid: 30441
#   total CPU time (s): 43.7572
#   total CPU user time (s): 41.3811
#   total CPU system time (s): 2.37609

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.067622 second user time and 0.118922 second system time

The end

Launcher Data 

Begin job on node113 at 2017-08-13 19:37:40
IDJOB=4271523
IDBENCH=138318
IDSOLVER=2663
FILE ID=node113/4271523-1502646718
RUNJOBID= node113-1502637253-8671
PBS_JOBID= 20628327
Free space on /tmp= 61788 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff65.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271523-1502646718/watcher-4271523-1502646718 -o /tmp/evaluation-result-4271523-1502646718/solver-4271523-1502646718 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502637253-8671 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 116636960 HOME/instance-4271523-1502646718.xml

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

MD5SUM BENCH= 0deffa9f0e673ce4a3cf2d2074b556a7
RANDOM SEED=116636960

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31578724 kB
MemAvailable:   31987008 kB
Buffers:          124748 kB
Cached:           570240 kB
SwapCached:            0 kB
Active:           573280 kB
Inactive:         177132 kB
Active(anon):       5388 kB
Inactive(anon):    77700 kB
Active(file):     567892 kB
Inactive(file):    99432 kB
Unevictable:        6572 kB
Mlocked:            6572 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7772 kB
Writeback:             0 kB
AnonPages:         60676 kB
Mapped:            43188 kB
Shmem:             25224 kB
Slab:             139668 kB
SReclaimable:     113588 kB
SUnreclaim:        26080 kB
KernelStack:        3744 kB
PageTables:         4780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61780 MiB
End job on node113 at 2017-08-13 19:37:47