Trace number 4400027

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-16 parallelOPT125 39.5145 6.19948

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.1765
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-4400027-1568712628.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4400027-1568712628.xml, -tl, 2016s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
8.18/1.73	c solve instance...
9.42/2.00	o 946 
9.42/2.00	o 944 
10.13/2.01	o 641 
10.13/2.04	o 533 
10.70/2.11	o 478 
10.70/2.12	o 425 
11.33/2.23	o 389 
11.33/2.25	o 370 
12.72/2.41	o 333 
12.72/2.49	o 301 
13.34/2.59	o 300 
14.09/2.65	o 285 
14.09/2.67	o 281 
14.55/2.71	o 269 
14.55/2.71	o 258 
14.55/2.72	o 254 
14.55/2.76	o 194 
15.04/2.84	o 187 
15.04/2.85	o 182 
15.68/2.99	o 171 
18.76/3.36	o 169 
19.40/3.42	o 158 
21.68/3.75	o 156 
21.68/3.76	o 153 
22.12/3.80	o 150 
24.50/4.13	o 147 
24.50/4.14	o 144 
24.50/4.18	o 141 
24.86/4.25	o 137 
24.86/4.28	o 133 
25.40/4.32	o 130 
25.40/4.38	o 128 
25.40/4.39	o 125 
39.06/6.16	s OPTIMUM FOUND
39.06/6.16	v <instantiation>
39.06/6.16	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>
39.06/6.16	v 	<values>23 62 95 122 160 209 238 467 512 546 606 661 711 114 75 42 15 23 72 101 330 375 409 469 524 574 27 12 45 72 110 159 188 417 462 496 556 611 661 99 60 27 0 38 87 116 345 390 424 484 539 589 99 60 27 0 38 87 116 345 390 424 484 539 589 64 25 8 35 73 122 151 380 425 459 519 574 624 58 19 14 41 79 128 157 386 431 465 525 580 630 164 125 92 65 27 22 51 280 325 359 419 474 524 35 4 37 64 102 151 180 409 454 488 548 603 653 137 98 65 38 0 49 78 307 352 386 446 501 551 75 36 3 24 62 111 140 369 414 448 508 563 613 72 33 0 27 65 114 143 372 417 451 511 566 616 2 37 70 97 135 184 213 442 487 521 581 636 686 0 39 72 99 137 186 215 444 489 523 583 638 688 688 649 616 589 551 502 473 244 199 165 105 50 0 18 21 54 81 119 168 197 426 471 505 565 620 670 489 450 417 390 352 303 274 45 0 34 94 149 199 489 450 417 390 352 303 274 45 0 34 94 149 199 81 42 9 18 56 105 134 363 408 442 502 557 607 44 5 28 55 93 142 171 400 445 479 539 594 644 638 599 566 539 501 452 423 194 149 115 55 0 50 638 599 566 539 501 452 423 194 149 115 55 0 50 444 405 372 345 307 258 229 0 45 79 139 194 244 444 405 372 345 307 258 229 0 45 79 139 194 244 215 176 143 116 78 29 0 229 274 308 368 423 473 39 0 33 60 98 147 176 405 450 484 544 599 649 39 0 33 60 98 147 176 405 450 484 544 599 649 583 544 511 484 446 397 368 139 94 60 0 55 105 583 544 511 484 446 397 368 139 94 60 0 55 105 186 147 114 87 49 0 29 258 303 337 397 452 502 11 50 83 110 148 197 226 455 500 534 594 649 699 525 486 453 426 388 339 310 81 36 2 58 113 163 523 484 451 424 386 337 308 79 34 0 60 115 165 15 12 0 0 8 14 22 4 0 3 0 2 0 0 18 0 0 9 5 0 0 0 0 0 0 0 0 0 0 11 2 0 </values>
39.06/6.16	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 (14606 MiB free)
  memory of node 1: 16384 MiB (15754 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400027-1568712628/watcher-4400027-1568712628 -o /tmp/evaluation-result-4400027-1568712628/solver-4400027-1568712628 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568702605-24310 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1532581713 HOME/instance-4400027-1568712628.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
solver pid=26986, runsolver pid=26983
Current StackSize limit: 8192 KiB


[startup+0.100133 s]*
/proc/loadavg: 6.88 6.35 7.23 2/211 27007
/proc/meminfo: memFree=31073960/32770624 swapFree=66922860/67108860
[pid=26986] ppid=26983 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/26986/stat : 26986 (xcsp3-exec) S 26983 26986 24283 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447531605 115843072 362 33554432000 4194304 5098028 140725066559904 140725066558008 140211694854780 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12079104 140725066564475 140725066564718 140725066564718 140725066567626 0
/proc/26986/statm: 28282 362 304 221 0 87 0
[pid=26988] ppid=26986 vsize=28227396 memory=27580 CPUtime=0.12 cores=0-7
/proc/26988/stat : 26988 (java) S 26986 26986 24283 0 -1 1077944320 5872 0 0 0 11 1 0 0 20 0 20 0 447531605 28904853504 6895 33554432000 4194304 4196468 140731597100080 140731597082624 140434052022007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
/proc/26988/statm: 7056849 6895 3123 1 0 7019032 0
[pid=26988/tid=26989] ppid=26986 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/26988/task/26989/stat : 26989 (java) R 26986 26986 24283 0 -1 4202560 3772 0 0 0 8 1 0 0 20 0 20 0 447531606 28904853504 6895 33554432000 4194304 4196468 140731597100080 140434056246456 140434032666674 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26990] ppid=26986 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/26988/task/26990/stat : 26990 (java) S 26986 26986 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447531606 28904853504 6895 33554432000 4194304 4196468 140731597100080 140434023864976 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26991] ppid=26986 vsize=28227396 memory=140049905604224 CPUtime=0 cores=0-7
/proc/26988/task/26991/stat : 26991 (java) S 26986 26986 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447531606 28904853504 6895 33554432000 4194304 4196468 140731597100080 140433602152976 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26992] ppid=26986 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/26992/stat : 26992 (java) S 26986 26986 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447531606 28904853504 6895 33554432000 4194304 4196468 140731597100080 140433601100176 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26993] ppid=26986 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/26993/stat : 26993 (java) S 26986 26986 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447531606 28904853504 6895 33554432000 4194304 4196468 140731597100080 140433600047376 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26994] ppid=26986 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/26994/stat : 26994 (java) S 26986 26986 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447531606 28904853504 6895 33554432000 4194304 4196468 140731597100080 140433598995600 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26995] ppid=26986 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26988/task/26995/stat : 26995 (java) S 26986 26986 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447531606 28904853504 6895 33554432000 4194304 4196468 140731597100080 140433597942800 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26996] ppid=26986 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/26996/stat : 26996 (java) S 26986 26986 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447531606 28904853504 6895 33554432000 4194304 4196468 140731597100080 140433596890000 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26997] ppid=26986 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/26997/stat : 26997 (java) S 26986 26986 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447531606 28904853504 6895 33554432000 4194304 4196468 140731597100080 140433595837200 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26998] ppid=26986 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/26998/stat : 26998 (java) S 26986 26986 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447531608 28904853504 6895 33554432000 4194304 4196468 140731597100080 140433167608176 140434052033154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26999] ppid=26986 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/26999/stat : 26999 (java) S 26986 26986 24283 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447531608 28904853504 6895 33554432000 4194304 4196468 140731597100080 140433166554144 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27000] ppid=26986 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/27000/stat : 27000 (java) S 26986 26986 24283 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447531608 28904853504 6895 33554432000 4194304 4196468 140731597100080 140433165501296 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27001] ppid=26986 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/27001/stat : 27001 (java) S 26986 26986 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447531611 28904853504 6895 33554432000 4194304 4196468 140731597100080 140433164449616 140434052040603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27002] ppid=26986 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/27002/stat : 27002 (java) S 26986 26986 24283 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 447531611 28904853504 6895 33554432000 4194304 4196468 140731597100080 140433163398000 140434052033154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27003] ppid=26986 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/27003/stat : 27003 (java) S 26986 26986 24283 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 447531611 28904853504 6895 33554432000 4194304 4196468 140731597100080 140433162345200 140434052033154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27004] ppid=26986 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/27004/stat : 27004 (java) S 26986 26986 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447531611 28904853504 6895 33554432000 4194304 4196468 140731597100080 140433161292400 140434052033154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27005] ppid=26986 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/26988/task/27005/stat : 27005 (java) R 26986 26986 24283 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 20 0 447531611 28904853504 6895 33554432000 4194304 4196468 140731597100080 140433160239600 140434052043354 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27006] ppid=26986 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/27006/stat : 27006 (java) S 26986 26986 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447531611 28904853504 6895 33554432000 4194304 4196468 140731597100080 140433159187040 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27007] ppid=26986 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26988/task/27007/stat : 27007 (java) S 26986 26986 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447531611 28904853504 6895 33554432000 4194304 4196468 140731597100080 140433158134320 140434052033154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 29028 KiB

[startup+0.210659 s]*
/proc/loadavg: 6.88 6.35 7.23 2/211 27007
/proc/meminfo: memFree=31060024/32770624 swapFree=66922860/67108860
[pid=26986] ppid=26983 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/26986/stat : 26986 (xcsp3-exec) S 26983 26986 24283 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447531605 115843072 362 33554432000 4194304 5098028 140725066559904 140725066558008 140211694854780 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12079104 140725066564475 140725066564718 140725066564718 140725066567626 0
/proc/26986/statm: 28282 362 304 221 0 87 0
[pid=26988] ppid=26986 vsize=28227396 memory=39460 CPUtime=0.33 cores=0-7
/proc/26988/stat : 26988 (java) S 26986 26986 24283 0 -1 1077944320 9634 0 0 0 30 3 0 0 20 0 20 0 447531605 28904853504 9865 33554432000 4194304 4196468 140731597100080 140731597082624 140434052022007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
/proc/26988/statm: 7056849 9865 3310 1 0 7019032 0
[pid=26988/tid=26989] ppid=26986 vsize=28227396 memory=29681743523217448 CPUtime=0.2 cores=0-7
/proc/26988/task/26989/stat : 26989 (java) R 26986 26986 24283 0 -1 4202560 6697 0 0 0 18 2 0 0 20 0 20 0 447531606 28904853504 9865 33554432000 4194304 4196468 140731597100080 140434056261680 140434036102494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26990] ppid=26986 vsize=28227396 memory=288230587528118625 CPUtime=0 cores=0-7
/proc/26988/task/26990/stat : 26990 (java) S 26986 26986 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447531606 28904853504 9865 33554432000 4194304 4196468 140731597100080 140434023864976 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26991] ppid=26986 vsize=28227396 memory=288370426057315968 CPUtime=0 cores=0-7
/proc/26988/task/26991/stat : 26991 (java) S 26986 26986 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447531606 28904853504 9865 33554432000 4194304 4196468 140731597100080 140433602152976 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26992] ppid=26986 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26988/task/26992/stat : 26992 (java) S 26986 26986 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447531606 28904853504 9865 33554432000 4194304 4196468 140731597100080 140433601100176 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26993] ppid=26986 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/26993/stat : 26993 (java) S 26986 26986 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447531606 28904853504 9865 33554432000 4194304 4196468 140731597100080 140433600047376 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26994] ppid=26986 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/26994/stat : 26994 (java) S 26986 26986 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447531606 28904853504 9865 33554432000 4194304 4196468 140731597100080 140433598995600 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26995] ppid=26986 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26988/task/26995/stat : 26995 (java) S 26986 26986 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447531606 28904853504 9865 33554432000 4194304 4196468 140731597100080 140433597942800 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26996] ppid=26986 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/26996/stat : 26996 (java) S 26986 26986 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447531606 28904853504 9865 33554432000 4194304 4196468 140731597100080 140433596890000 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26997] ppid=26986 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/26997/stat : 26997 (java) S 26986 26986 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447531606 28904853504 9865 33554432000 4194304 4196468 140731597100080 140433595837200 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26998] ppid=26986 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/26998/stat : 26998 (java) S 26986 26986 24283 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447531608 28904853504 9865 33554432000 4194304 4196468 140731597100080 140433167608176 140434052033154 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26999] ppid=26986 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/26999/stat : 26999 (java) S 26986 26986 24283 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447531608 28904853504 9865 33554432000 4194304 4196468 140731597100080 140433166554144 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27000] ppid=26986 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/27000/stat : 27000 (java) S 26986 26986 24283 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447531608 28904853504 9865 33554432000 4194304 4196468 140731597100080 140433165501296 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27001] ppid=26986 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/27001/stat : 27001 (java) S 26986 26986 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447531611 28904853504 9865 33554432000 4194304 4196468 140731597100080 140433164449616 140434052040603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27002] ppid=26986 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/27002/stat : 27002 (java) S 26986 26986 24283 0 -1 1077944384 396 0 0 0 0 0 0 0 20 0 20 0 447531611 28904853504 9865 33554432000 4194304 4196468 140731597100080 140433163398000 140434052033154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27003] ppid=26986 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/26988/task/27003/stat : 27003 (java) S 26986 26986 24283 0 -1 1077944384 224 0 0 0 1 0 0 0 20 0 20 0 447531611 28904853504 9865 33554432000 4194304 4196468 140731597100080 140433162345200 140434052033154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27004] ppid=26986 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/26988/task/27004/stat : 27004 (java) S 26986 26986 24283 0 -1 1077944384 89 0 0 0 1 0 0 0 20 0 20 0 447531611 28904853504 9865 33554432000 4194304 4196468 140731597100080 140433161292400 140434052033154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27005] ppid=26986 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/26988/task/27005/stat : 27005 (java) R 26986 26986 24283 0 -1 1077944384 917 0 0 0 8 0 0 0 20 0 20 0 447531611 28904853504 9865 33554432000 4194304 4196468 140731597100080 140433160239600 140434052033154 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27006] ppid=26986 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/27006/stat : 27006 (java) S 26986 26986 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447531611 28904853504 9865 33554432000 4194304 4196468 140731597100080 140433159187040 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27007] ppid=26986 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26988/task/27007/stat : 27007 (java) S 26986 26986 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447531611 28904853504 9865 33554432000 4194304 4196468 140731597100080 140433158134320 140434052033154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 40908 KiB

[startup+0.311795 s]*
/proc/loadavg: 6.88 6.35 7.23 2/211 27007
/proc/meminfo: memFree=31052752/32770624 swapFree=66922860/67108860
[pid=26986] ppid=26983 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/26986/stat : 26986 (xcsp3-exec) S 26983 26986 24283 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447531605 115843072 362 33554432000 4194304 5098028 140725066559904 140725066558008 140211694854780 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12079104 140725066564475 140725066564718 140725066564718 140725066567626 0
/proc/26986/statm: 28282 362 304 221 0 87 0
[pid=26988] ppid=26986 vsize=28231652 memory=48852 CPUtime=0.53 cores=0-7
/proc/26988/stat : 26988 (java) S 26986 26986 24283 0 -1 1077944320 11088 0 0 0 48 5 0 0 20 0 20 0 447531605 28909211648 12213 33554432000 4194304 4196468 140731597100080 140731597082624 140434052022007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
/proc/26988/statm: 7057913 12213 3349 1 0 7019032 0
[pid=26988/tid=26989] ppid=26986 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/26988/task/26989/stat : 26989 (java) R 26986 26986 24283 0 -1 4202560 7813 0 0 0 27 3 0 0 20 0 20 0 447531606 28909211648 12213 33554432000 4194304 4196468 140731597100080 140434056253120 140434036102494 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26990] ppid=26986 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/26990/stat : 26990 (java) S 26986 26986 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447531606 28909211648 12213 33554432000 4194304 4196468 140731597100080 140434023864976 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26991] ppid=26986 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/26991/stat : 26991 (java) S 26986 26986 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447531606 28909211648 12213 33554432000 4194304 4196468 140731597100080 140433602152976 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26992] ppid=26986 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/26992/stat : 26992 (java) S 26986 26986 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447531606 28909211648 12213 33554432000 4194304 4196468 140731597100080 140433601100176 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26993] ppid=26986 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/26993/stat : 26993 (java) S 26986 26986 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447531606 28909211648 12213 33554432000 4194304 4196468 140731597100080 140433600047376 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26994] ppid=26986 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/26994/stat : 26994 (java) S 26986 26986 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447531606 28909211648 12213 33554432000 4194304 4196468 140731597100080 140433598995600 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26995] ppid=26986 vsize=28231652 memory=140049756809903 CPUtime=0 cores=0-7
/proc/26988/task/26995/stat : 26995 (java) S 26986 26986 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447531606 28909211648 12213 33554432000 4194304 4196468 140731597100080 140433597942800 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26996] ppid=26986 vsize=28231652 memory=140049756812208 CPUtime=0 cores=0-7
/proc/26988/task/26996/stat : 26996 (java) S 26986 26986 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447531606 28909211648 12213 33554432000 4194304 4196468 140731597100080 140433596890000 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26997] ppid=26986 vsize=28231652 memory=140049756814512 CPUtime=0 cores=0-7
/proc/26988/task/26997/stat : 26997 (java) S 26986 26986 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447531606 28909211648 12213 33554432000 4194304 4196468 140731597100080 140433595837200 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26998] ppid=26986 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/26998/stat : 26998 (java) S 26986 26986 24283 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447531608 28909211648 12213 33554432000 4194304 4196468 140731597100080 140433167608176 140434052033154 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26999] ppid=26986 vsize=28231652 memory=280099513642896 CPUtime=0 cores=0-7
/proc/26988/task/26999/stat : 26999 (java) S 26986 26986 24283 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447531608 28909211648 12213 33554432000 4194304 4196468 140731597100080 140433166554144 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27000] ppid=26986 vsize=28231652 memory=280099513640592 CPUtime=0 cores=0-7
/proc/26988/task/27000/stat : 27000 (java) S 26986 26986 24283 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447531608 28909211648 12213 33554432000 4194304 4196468 140731597100080 140433165501296 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27001] ppid=26986 vsize=28231652 memory=280099513647504 CPUtime=0 cores=0-7
/proc/26988/task/27001/stat : 27001 (java) S 26986 26986 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447531611 28909211648 12213 33554432000 4194304 4196468 140731597100080 140433164449616 140434052040603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27002] ppid=26986 vsize=28231652 memory=280099513588784 CPUtime=0.01 cores=0-7
/proc/26988/task/27002/stat : 27002 (java) S 26986 26986 24283 0 -1 1077944384 411 0 0 0 1 0 0 0 20 0 20 0 447531611 28909211648 12213 33554432000 4194304 4196468 140731597100080 140433163398000 140434052033154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27003] ppid=26986 vsize=28231652 memory=280099513661328 CPUtime=0.03 cores=0-7
/proc/26988/task/27003/stat : 27003 (java) R 26986 26986 24283 0 -1 4202560 327 0 0 0 3 0 0 0 20 0 20 0 447531611 28909211648 12213 33554432000 4194304 4196468 140731597100080 140433162335584 140434029673872 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27004] ppid=26986 vsize=28231652 memory=280099513668240 CPUtime=0.03 cores=0-7
/proc/26988/task/27004/stat : 27004 (java) S 26986 26986 24283 0 -1 1077944384 102 0 0 0 3 0 0 0 20 0 20 0 447531611 28909211648 12213 33554432000 4194304 4196468 140731597100080 140433161292400 140434052033154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27005] ppid=26986 vsize=28231652 memory=280099513665936 CPUtime=0.13 cores=0-7
/proc/26988/task/27005/stat : 27005 (java) S 26986 26986 24283 0 -1 1077944384 1134 0 0 0 13 0 0 0 20 0 20 0 447531611 28909211648 12213 33554432000 4194304 4196468 140731597100080 140433160239600 140434052033154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27006] ppid=26986 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/27006/stat : 27006 (java) S 26986 26986 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447531611 28909211648 12213 33554432000 4194304 4196468 140731597100080 140433159187040 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27007] ppid=26986 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/26988/task/27007/stat : 27007 (java) S 26986 26986 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447531611 28909211648 12213 33554432000 4194304 4196468 140731597100080 140433158134320 140434052033154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50300 KiB

[startup+0.700937 s]
/proc/loadavg: 6.88 6.35 7.23 4/211 27007
/proc/meminfo: memFree=31038752/32770624 swapFree=66922860/67108860
[pid=26986] ppid=26983 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/26986/stat : 26986 (xcsp3-exec) S 26983 26986 24283 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447531605 115843072 362 33554432000 4194304 5098028 140725066559904 140725066558008 140211694854780 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12079104 140725066564475 140725066564718 140725066564718 140725066567626 0
/proc/26986/statm: 28282 362 304 221 0 87 0
[pid=26988] ppid=26986 vsize=28233776 memory=147040 CPUtime=1.69 cores=0-7
/proc/26988/stat : 26988 (java) S 26986 26986 24283 0 -1 1077944320 15130 0 0 0 161 8 0 0 20 0 20 0 447531605 28911386624 36760 33554432000 4194304 4196468 140731597100080 140731597082624 140434052022007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
/proc/26988/statm: 7058444 36760 3453 1 0 7019544 0
[pid=26988/tid=26989] ppid=26986 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/26988/task/26989/stat : 26989 (java) R 26986 26986 24283 0 -1 4202560 9294 0 0 0 62 5 0 0 20 0 20 0 447531606 28911386624 36760 33554432000 4194304 4196468 140731597100080 140434056257376 140434052033942 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26990] ppid=26986 vsize=28233776 memory=2353 CPUtime=0 cores=0-7
/proc/26988/task/26990/stat : 26990 (java) S 26986 26986 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447531606 28911386624 36760 33554432000 4194304 4196468 140731597100080 140434023864976 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26991] ppid=26986 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/26991/stat : 26991 (java) S 26986 26986 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447531606 28911386624 36760 33554432000 4194304 4196468 140731597100080 140433602152976 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26992] ppid=26986 vsize=28233776 memory=1428 CPUtime=0 cores=0-7
/proc/26988/task/26992/stat : 26992 (java) S 26986 26986 24283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447531606 28911386624 36760 33554432000 4194304 4196468 140731597100080 140433601100176 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0

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

[pid=26988/tid=27005] ppid=26986 vsize=28768336 memory=1484 CPUtime=0.9 cores=0-7
/proc/26988/task/27005/stat : 27005 (java) S 26986 26986 24283 0 -1 1077944384 5076 0 0 0 88 2 0 0 20 0 28 0 447531611 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433160239600 140434052033154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 46 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27006] ppid=26986 vsize=28768336 memory=1096 CPUtime=0 cores=0-7
/proc/26988/task/27006/stat : 27006 (java) S 26986 26986 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447531611 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433159187040 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27007] ppid=26986 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/27007/stat : 27007 (java) S 26986 26986 24283 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 447531611 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433158134320 140434052033154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 47 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27274] ppid=26986 vsize=28768336 memory=0 CPUtime=1.15 cores=0-7
/proc/26988/task/27274/stat : 27274 (java) R 26986 26986 24283 0 -1 4202560 203 0 0 0 115 0 0 0 20 0 28 0 447532044 29458776064 275873 33554432000 4194304 4196468 140731597100080 140432226896872 140433694871219 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27275] ppid=26986 vsize=28768336 memory=0 CPUtime=1.13 cores=0-7
/proc/26988/task/27275/stat : 27275 (java) R 26986 26986 24283 0 -1 4202560 66 0 0 0 113 0 0 0 20 0 28 0 447532044 29458776064 275873 33554432000 4194304 4196468 140731597100080 140432225845528 140433698281450 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27276] ppid=26986 vsize=28768336 memory=0 CPUtime=1.14 cores=0-7
/proc/26988/task/27276/stat : 27276 (java) R 26986 26986 24283 0 -1 4202560 158 0 0 0 114 0 0 0 20 0 28 0 447532045 29458776064 275873 33554432000 4194304 4196468 140731597100080 140432223740456 140433694871465 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27277] ppid=26986 vsize=28768336 memory=140049757072738 CPUtime=1.14 cores=0-7
/proc/26988/task/27277/stat : 27277 (java) R 26986 26986 24283 0 -1 4202560 297 0 0 0 114 0 0 0 20 0 28 0 447532045 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433151251344 140433694871642 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27278] ppid=26986 vsize=28768336 memory=12861 CPUtime=1.05 cores=0-7
/proc/26988/task/27278/stat : 27278 (java) R 26986 26986 24283 0 -1 4202560 30 0 0 0 105 0 0 0 20 0 28 0 447532045 29458776064 275873 33554432000 4194304 4196468 140731597100080 140432222686992 140433696930458 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27279] ppid=26986 vsize=28768336 memory=3205339 CPUtime=0.76 cores=0-7
/proc/26988/task/27279/stat : 27279 (java) R 26986 26986 24283 0 -1 4202560 151 0 0 0 76 0 0 0 20 0 28 0 447532045 29458776064 275873 33554432000 4194304 4196468 140731597100080 140432224791824 140433695741606 0 4 0 16800975 0 0 0 -1 7 0 0 34 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27280] ppid=26986 vsize=28768336 memory=0 CPUtime=1.06 cores=0-7
/proc/26988/task/27280/stat : 27280 (java) R 26986 26986 24283 0 -1 4202560 54 0 0 0 106 0 0 0 20 0 28 0 447532045 29458776064 275873 33554432000 4194304 4196468 140731597100080 140432221634840 140433689167591 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27281] ppid=26986 vsize=28768336 memory=140049757045857 CPUtime=1.18 cores=0-7
/proc/26988/task/27281/stat : 27281 (java) R 26986 26986 24283 0 -1 4202560 83 0 0 0 118 0 0 0 20 0 28 0 447532046 29458776064 275873 33554432000 4194304 4196468 140731597100080 140432220582288 140433698280640 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
Current children cumulated CPU time: 35 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1104940 KiB

[startup+6.00155 s]*
/proc/loadavg: 7.29 6.44 7.25 9/219 27281
/proc/meminfo: memFree=29998132/32770624 swapFree=66922860/67108860
[pid=26986] ppid=26983 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/26986/stat : 26986 (xcsp3-exec) S 26983 26986 24283 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447531605 115843072 362 33554432000 4194304 5098028 140725066559904 140725066558008 140211694854780 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12079104 140725066564475 140725066564718 140725066564718 140725066567626 0
/proc/26986/statm: 28282 362 304 221 0 87 0
[pid=26988] ppid=26986 vsize=28768336 memory=1103492 CPUtime=38.25 cores=0-7
/proc/26988/stat : 26988 (java) S 26986 26986 24283 0 -1 1077944320 71653 0 0 0 3647 178 0 0 20 0 28 0 447531605 29458776064 275873 33554432000 4194304 4196468 140731597100080 140731597082624 140434052022007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
/proc/26988/statm: 7192084 275873 3548 1 0 7153184 0
[pid=26988/tid=26989] ppid=26986 vsize=28768336 memory=8318255677412212789 CPUtime=1.11 cores=0-7
/proc/26988/task/26989/stat : 26989 (java) S 26986 26986 24283 0 -1 1077944384 9637 0 0 0 100 11 0 0 20 0 28 0 447531606 29458776064 275873 33554432000 4194304 4196468 140731597100080 140434056262784 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26990] ppid=26986 vsize=28768336 memory=302022882878554480 CPUtime=0.73 cores=0-7
/proc/26988/task/26990/stat : 26990 (java) S 26986 26986 24283 0 -1 1077944384 2520 0 0 0 54 19 0 0 20 0 28 0 447531606 29458776064 275873 33554432000 4194304 4196468 140731597100080 140434023864976 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26991] ppid=26986 vsize=28768336 memory=140049905629249 CPUtime=0.71 cores=0-7
/proc/26988/task/26991/stat : 26991 (java) S 26986 26986 24283 0 -1 1077944384 2638 0 0 0 53 18 0 0 20 0 28 0 447531606 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433602152976 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26992] ppid=26986 vsize=28768336 memory=3474580096041432888 CPUtime=0.72 cores=0-7
/proc/26988/task/26992/stat : 26992 (java) S 26986 26986 24283 0 -1 1077944384 2448 0 0 0 53 19 0 0 20 0 28 0 447531606 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433601100176 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26993] ppid=26986 vsize=28768336 memory=4639924115538006630 CPUtime=0.71 cores=0-7
/proc/26988/task/26993/stat : 26993 (java) S 26986 26986 24283 0 -1 1077944384 2586 0 0 0 55 16 0 0 20 0 28 0 447531606 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433600047376 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26994] ppid=26986 vsize=28768336 memory=7449627145965758553 CPUtime=0.69 cores=0-7
/proc/26988/task/26994/stat : 26994 (java) S 26986 26986 24283 0 -1 1077944384 2523 0 0 0 54 15 0 0 20 0 28 0 447531606 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433598995600 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26995] ppid=26986 vsize=28768336 memory=3616726075971811128 CPUtime=0.67 cores=0-7
/proc/26988/task/26995/stat : 26995 (java) S 26986 26986 24283 0 -1 1077944384 2427 0 0 0 52 15 0 0 20 0 28 0 447531606 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433597942800 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26996] ppid=26986 vsize=28768336 memory=7523656164352288857 CPUtime=0.7 cores=0-7
/proc/26988/task/26996/stat : 26996 (java) S 26986 26986 24283 0 -1 1077944384 2492 0 0 0 54 16 0 0 20 0 28 0 447531606 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433596890000 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26997] ppid=26986 vsize=28768336 memory=667680 CPUtime=0.71 cores=0-7
/proc/26988/task/26997/stat : 26997 (java) S 26986 26986 24283 0 -1 1077944384 2646 0 0 0 53 18 0 0 20 0 28 0 447531606 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433595837200 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26998] ppid=26986 vsize=28768336 memory=0 CPUtime=0.03 cores=0-7
/proc/26988/task/26998/stat : 26998 (java) S 26986 26986 24283 0 -1 1077944384 1153 0 0 0 3 0 0 0 20 0 28 0 447531608 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433167608176 140434052033154 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26999] ppid=26986 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/26999/stat : 26999 (java) S 26986 26986 24283 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 447531608 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433166554208 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27000] ppid=26986 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/27000/stat : 27000 (java) S 26986 26986 24283 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 447531608 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433165501312 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27001] ppid=26986 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/27001/stat : 27001 (java) S 26986 26986 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447531611 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433164449616 140434052040603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27002] ppid=26986 vsize=28768336 memory=0 CPUtime=2.23 cores=0-7
/proc/26988/task/27002/stat : 27002 (java) S 26986 26986 24283 0 -1 1077944384 5415 0 0 0 221 2 0 0 20 0 28 0 447531611 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433163398000 140434052033154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27003] ppid=26986 vsize=28768336 memory=0 CPUtime=2.24 cores=0-7
/proc/26988/task/27003/stat : 27003 (java) S 26986 26986 24283 0 -1 1077944384 9666 0 0 0 221 3 0 0 20 0 28 0 447531611 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433162345200 140434052033154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 49 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27004] ppid=26986 vsize=28768336 memory=-1 CPUtime=2.62 cores=0-7
/proc/26988/task/27004/stat : 27004 (java) S 26986 26986 24283 0 -1 1077944384 5804 0 0 0 260 2 0 0 20 0 28 0 447531611 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433161292400 140434052033154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27005] ppid=26986 vsize=28768336 memory=0 CPUtime=0.9 cores=0-7
/proc/26988/task/27005/stat : 27005 (java) S 26986 26986 24283 0 -1 1077944384 5085 0 0 0 88 2 0 0 20 0 28 0 447531611 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433160239600 140434052033154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 46 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27006] ppid=26986 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/27006/stat : 27006 (java) S 26986 26986 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447531611 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433159187040 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27007] ppid=26986 vsize=28768336 memory=-1 CPUtime=0 cores=0-7
/proc/26988/task/27007/stat : 27007 (java) S 26986 26986 24283 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 447531611 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433158134320 140434052033154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 47 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27274] ppid=26986 vsize=28768336 memory=-1 CPUtime=1.54 cores=0-7
/proc/26988/task/27274/stat : 27274 (java) R 26986 26986 24283 0 -1 4202560 207 0 0 0 154 0 0 0 20 0 28 0 447532044 29458776064 275873 33554432000 4194304 4196468 140731597100080 140432226898392 140433694871311 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27275] ppid=26986 vsize=28768336 memory=0 CPUtime=1.53 cores=0-7
/proc/26988/task/27275/stat : 27275 (java) R 26986 26986 24283 0 -1 4202560 66 0 0 0 153 0 0 0 20 0 28 0 447532044 29458776064 275873 33554432000 4194304 4196468 140731597100080 140432225845800 140433694871311 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27276] ppid=26986 vsize=28768336 memory=0 CPUtime=1.54 cores=0-7
/proc/26988/task/27276/stat : 27276 (java) R 26986 26986 24283 0 -1 4202560 168 0 0 0 154 0 0 0 20 0 28 0 447532045 29458776064 275873 33554432000 4194304 4196468 140731597100080 140432223742248 140433696930505 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27277] ppid=26986 vsize=28768336 memory=0 CPUtime=1.55 cores=0-7
/proc/26988/task/27277/stat : 27277 (java) R 26986 26986 24283 0 -1 4202560 297 0 0 0 155 0 0 0 20 0 28 0 447532045 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433151251480 140433695741435 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27278] ppid=26986 vsize=28768336 memory=0 CPUtime=1.46 cores=0-7
/proc/26988/task/27278/stat : 27278 (java) R 26986 26986 24283 0 -1 4202560 31 0 0 0 146 0 0 0 20 0 28 0 447532045 29458776064 275873 33554432000 4194304 4196468 140731597100080 140432222689000 140433697568657 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27279] ppid=26986 vsize=28768336 memory=0 CPUtime=1.12 cores=0-7
/proc/26988/task/27279/stat : 27279 (java) R 26986 26986 24283 0 -1 4202560 330 0 0 0 112 0 0 0 20 0 28 0 447532045 29458776064 275873 33554432000 4194304 4196468 140731597100080 140432224794952 140433697975903 0 4 0 16800975 0 0 0 -1 7 0 0 34 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27280] ppid=26986 vsize=28768336 memory=0 CPUtime=1.46 cores=0-7
/proc/26988/task/27280/stat : 27280 (java) R 26986 26986 24283 0 -1 4202560 57 0 0 0 146 0 0 0 20 0 28 0 447532045 29458776064 275873 33554432000 4194304 4196468 140731597100080 140432221635272 140433694871563 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27281] ppid=26986 vsize=28768336 memory=0 CPUtime=1.58 cores=0-7
/proc/26988/task/27281/stat : 27281 (java) R 26986 26986 24283 0 -1 4202560 83 0 0 0 158 0 0 0 20 0 28 0 447532046 29458776064 275873 33554432000 4194304 4196468 140731597100080 140432220582152 140433696208070 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
Current children cumulated CPU time: 38.25 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1104940 KiB

[startup+6.11155 s]
/proc/loadavg: 7.29 6.44 7.25 9/219 27281
/proc/meminfo: memFree=29998132/32770624 swapFree=66922860/67108860
[pid=26986] ppid=26983 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/26986/stat : 26986 (xcsp3-exec) S 26983 26986 24283 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447531605 115843072 362 33554432000 4194304 5098028 140725066559904 140725066558008 140211694854780 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12079104 140725066564475 140725066564718 140725066564718 140725066567626 0
/proc/26986/statm: 28282 362 304 221 0 87 0
[pid=26988] ppid=26986 vsize=28768336 memory=1103492 CPUtime=39.06 cores=0-7
/proc/26988/stat : 26988 (java) S 26986 26986 24283 0 -1 1077944320 71681 0 0 0 3728 178 0 0 20 0 28 0 447531605 29458776064 275873 33554432000 4194304 4196468 140731597100080 140731597082624 140434052022007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
/proc/26988/statm: 7192084 275873 3548 1 0 7153184 0
[pid=26988/tid=26989] ppid=26986 vsize=28768336 memory=1101320 CPUtime=1.11 cores=0-7
/proc/26988/task/26989/stat : 26989 (java) S 26986 26986 24283 0 -1 1077944384 9637 0 0 0 100 11 0 0 20 0 28 0 447531606 29458776064 275873 33554432000 4194304 4196468 140731597100080 140434056262784 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26990] ppid=26986 vsize=28768336 memory=1103492 CPUtime=0.73 cores=0-7
/proc/26988/task/26990/stat : 26990 (java) S 26986 26986 24283 0 -1 1077944384 2520 0 0 0 54 19 0 0 20 0 28 0 447531606 29458776064 275873 33554432000 4194304 4196468 140731597100080 140434023864976 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26991] ppid=26986 vsize=28768336 memory=288230596050944315 CPUtime=0.71 cores=0-7
/proc/26988/task/26991/stat : 26991 (java) S 26986 26986 24283 0 -1 1077944384 2638 0 0 0 53 18 0 0 20 0 28 0 447531606 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433602152976 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26992] ppid=26986 vsize=28768336 memory=1101388 CPUtime=0.72 cores=0-7
/proc/26988/task/26992/stat : 26992 (java) S 26986 26986 24283 0 -1 1077944384 2448 0 0 0 53 19 0 0 20 0 28 0 447531606 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433601100176 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26993] ppid=26986 vsize=28768336 memory=8740 CPUtime=0.71 cores=0-7
/proc/26988/task/26993/stat : 26993 (java) S 26986 26986 24283 0 -1 1077944384 2586 0 0 0 55 16 0 0 20 0 28 0 447531606 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433600047376 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26994] ppid=26986 vsize=28768336 memory=0 CPUtime=0.69 cores=0-7
/proc/26988/task/26994/stat : 26994 (java) S 26986 26986 24283 0 -1 1077944384 2523 0 0 0 54 15 0 0 20 0 28 0 447531606 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433598995600 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26995] ppid=26986 vsize=28768336 memory=6791534058613427641 CPUtime=0.67 cores=0-7
/proc/26988/task/26995/stat : 26995 (java) S 26986 26986 24283 0 -1 1077944384 2427 0 0 0 52 15 0 0 20 0 28 0 447531606 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433597942800 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26996] ppid=26986 vsize=28768336 memory=916 CPUtime=0.7 cores=0-7
/proc/26988/task/26996/stat : 26996 (java) S 26986 26986 24283 0 -1 1077944384 2492 0 0 0 54 16 0 0 20 0 28 0 447531606 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433596890000 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26997] ppid=26986 vsize=28768336 memory=33 CPUtime=0.71 cores=0-7
/proc/26988/task/26997/stat : 26997 (java) S 26986 26986 24283 0 -1 1077944384 2646 0 0 0 53 18 0 0 20 0 28 0 447531606 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433595837200 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26998] ppid=26986 vsize=28768336 memory=7234303152781525078 CPUtime=0.03 cores=0-7
/proc/26988/task/26998/stat : 26998 (java) S 26986 26986 24283 0 -1 1077944384 1153 0 0 0 3 0 0 0 20 0 28 0 447531608 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433167608176 140434052033154 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=26999] ppid=26986 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/26988/task/26999/stat : 26999 (java) S 26986 26986 24283 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 447531608 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433166554208 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27000] ppid=26986 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/27000/stat : 27000 (java) S 26986 26986 24283 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 447531608 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433165501312 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27001] ppid=26986 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/27001/stat : 27001 (java) S 26986 26986 24283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447531611 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433164449616 140434052040603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27002] ppid=26986 vsize=28768336 memory=0 CPUtime=2.23 cores=0-7
/proc/26988/task/27002/stat : 27002 (java) S 26986 26986 24283 0 -1 1077944384 5415 0 0 0 221 2 0 0 20 0 28 0 447531611 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433163398000 140434052033154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27003] ppid=26986 vsize=28768336 memory=140049757192097 CPUtime=2.27 cores=0-7
/proc/26988/task/27003/stat : 27003 (java) S 26986 26986 24283 0 -1 1077944384 9670 0 0 0 224 3 0 0 20 0 28 0 447531611 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433162345200 140434052033154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 49 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27004] ppid=26986 vsize=28768336 memory=0 CPUtime=2.62 cores=0-7
/proc/26988/task/27004/stat : 27004 (java) S 26986 26986 24283 0 -1 1077944384 5804 0 0 0 260 2 0 0 20 0 28 0 447531611 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433161292400 140434052033154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27005] ppid=26986 vsize=28768336 memory=0 CPUtime=0.91 cores=0-7
/proc/26988/task/27005/stat : 27005 (java) S 26986 26986 24283 0 -1 1077944384 5088 0 0 0 89 2 0 0 20 0 28 0 447531611 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433160239600 140434052033154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 46 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27006] ppid=26986 vsize=28768336 memory=140049757071806 CPUtime=0 cores=0-7
/proc/26988/task/27006/stat : 27006 (java) S 26986 26986 24283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447531611 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433159187040 140434052032213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27007] ppid=26986 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/26988/task/27007/stat : 27007 (java) S 26986 26986 24283 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 447531611 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433158134320 140434052033154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 47 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27274] ppid=26986 vsize=28768336 memory=0 CPUtime=1.64 cores=0-7
/proc/26988/task/27274/stat : 27274 (java) R 26986 26986 24283 0 -1 4202560 207 0 0 0 164 0 0 0 20 0 28 0 447532044 29458776064 275873 33554432000 4194304 4196468 140731597100080 140432226899208 140433694871311 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27275] ppid=26986 vsize=28768336 memory=0 CPUtime=1.63 cores=0-7
/proc/26988/task/27275/stat : 27275 (java) R 26986 26986 24283 0 -1 4202560 66 0 0 0 163 0 0 0 20 0 28 0 447532044 29458776064 275873 33554432000 4194304 4196468 140731597100080 140432225845800 140433696930283 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27276] ppid=26986 vsize=28768336 memory=0 CPUtime=1.64 cores=0-7
/proc/26988/task/27276/stat : 27276 (java) R 26986 26986 24283 0 -1 4202560 168 0 0 0 164 0 0 0 20 0 28 0 447532045 29458776064 275873 33554432000 4194304 4196468 140731597100080 140432223742744 140433694871311 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27277] ppid=26986 vsize=28768336 memory=57 CPUtime=1.65 cores=0-7
/proc/26988/task/27277/stat : 27277 (java) R 26986 26986 24283 0 -1 4202560 297 0 0 0 165 0 0 0 20 0 28 0 447532045 29458776064 275873 33554432000 4194304 4196468 140731597100080 140433151251480 140433694871541 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27278] ppid=26986 vsize=28768336 memory=0 CPUtime=1.55 cores=0-7
/proc/26988/task/27278/stat : 27278 (java) R 26986 26986 24283 0 -1 4202560 31 0 0 0 155 0 0 0 20 0 28 0 447532045 29458776064 275873 33554432000 4194304 4196468 140731597100080 140432222689000 140433696208079 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27279] ppid=26986 vsize=28768336 memory=7893295687695687739 CPUtime=1.22 cores=0-7
/proc/26988/task/27279/stat : 27279 (java) R 26986 26986 24283 0 -1 4202560 350 0 0 0 122 0 0 0 20 0 28 0 447532045 29458776064 275873 33554432000 4194304 4196468 140731597100080 140432224794424 140433695735038 0 4 0 16800975 0 0 0 -1 7 0 0 34 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27280] ppid=26986 vsize=28768336 memory=0 CPUtime=1.54 cores=0-7
/proc/26988/task/27280/stat : 27280 (java) R 26986 26986 24283 0 -1 4202560 58 0 0 0 154 0 0 0 20 0 28 0 447532045 29458776064 275873 33554432000 4194304 4196468 140731597100080 140432221634632 140433694871541 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
[pid=26988/tid=27281] ppid=26986 vsize=28768336 memory=0 CPUtime=1.68 cores=0-7
/proc/26988/task/27281/stat : 27281 (java) R 26986 26986 24283 0 -1 4202560 83 0 0 0 168 0 0 0 20 0 28 0 447532046 29458776064 275873 33554432000 4194304 4196468 140731597100080 140432220582152 140433698280889 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16855040 140731597104112 140731597104283 140731597104283 140731597107151 0
Current children cumulated CPU time: 39.06 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1104940 KiB

Child status: 0
Real time (s): 6.19948
CPU time (s): 39.5145
CPU user time (s): 37.7062
CPU system time (s): 1.80824
CPU usage (%): 637.384
Max. virtual memory (cumulated for all children) (KiB): 28883460
Max. memory (cumulated for all children) (KiB): 1104940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.7063
system time used= 1.80824
maximum resident set size= 1103656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72659
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= 7571
involuntary context switches= 795


# summary of solver processes directly reported to runsolver:
#   pid: 26986
#   total CPU time (s): 39.5145
#   total CPU user time (s): 37.7062
#   total CPU system time (s): 1.80824

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.066087 second user time and 0.120581 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-17 11:32:21
IDJOB=4400027
IDBENCH=138316
IDSOLVER=2855
FILE ID=node139/4400027-1568712628
RUNJOBID= node139-1568702605-24310
PBS_JOBID= 21703917
Free space on /tmp= 59556 MiB

SOLVER NAME= choco-solver 2019-09-16 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-4400027-1568712628/watcher-4400027-1568712628 -o /tmp/evaluation-result-4400027-1568712628/solver-4400027-1568712628 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568702605-24310 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1532581713 HOME/instance-4400027-1568712628.xml

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

MD5SUM BENCH= 5002a5aac4309249d3aa4752a35eede8
RANDOM SEED=1532581713

node139.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.57
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.57
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.57
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.57
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:        31089672 kB
MemAvailable:   31824612 kB
Buffers:          131504 kB
Cached:           895448 kB
SwapCached:        78124 kB
Active:           632820 kB
Inactive:         476596 kB
Active(anon):       7948 kB
Inactive(anon):   118256 kB
Active(file):     624872 kB
Inactive(file):   358340 kB
Unevictable:      107692 kB
Mlocked:          107692 kB
SwapTotal:      67108860 kB
SwapFree:       66922860 kB
Dirty:             26544 kB
Writeback:            52 kB
AnonPages:        133696 kB
Mapped:            48412 kB
Shmem:             34768 kB
Slab:             164280 kB
SReclaimable:     135124 kB
SUnreclaim:        29156 kB
KernelStack:        3712 kB
PageTables:         5568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     496864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     88064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 59532 MiB
End job on node139 at 2019-09-17 11:32:28