Trace number 4399727

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 36.0132 5.66354

General information on the benchmark

NameFastfood/Fastfood-m1-s1/
Fastfood-ff62.xml
MD5SUM5002a5aac4309249d3aa4752a35eede8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark125
Best CPU time to get the best result obtained on this benchmark15.1896
Satisfiable
(Un)Satisfiability was proved
Number of variables461
Number of constraints449
Number of domains27
Minimum domain size23
Maximum domain size26
Distribution of domain sizes[{"size":23,"count":14},{"size":25,"count":42},{"size":26,"count":405}]
Minimum variable degree2
Maximum variable degree33
Distribution of variable degrees[{"degree":2,"count":448},{"degree":33,"count":13}]
Minimum constraint arity2
Maximum constraint arity14
Distribution of constraint arities[{"arity":2,"count":416},{"arity":13,"count":1},{"arity":14,"count":32}]
Number of extensional constraints416
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":416},{"type":"ordered","count":1},{"type":"minimum","count":32}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399727-1568713253.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4399727-1568713253.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
8.28/1.70	c solve instance...
9.64/1.96	o 5600 
9.64/1.98	o 946 
9.64/1.98	o 641 
10.31/2.01	o 533 
10.31/2.08	o 389 
10.31/2.09	o 365 
11.59/2.29	o 323 
12.08/2.32	o 302 
12.81/2.41	o 287 
12.81/2.46	o 279 
12.81/2.47	o 276 
13.45/2.53	o 261 
14.22/2.65	o 258 
14.22/2.65	o 254 
14.22/2.66	o 244 
14.22/2.68	o 242 
14.22/2.68	o 238 
14.22/2.69	o 228 
14.72/2.75	o 223 
14.72/2.79	o 221 
14.72/2.79	o 202 
15.26/2.83	o 201 
15.26/2.86	o 187 
15.26/2.90	o 182 
15.56/2.96	o 171 
18.56/3.33	o 169 
18.56/3.39	o 158 
20.68/3.63	o 156 
21.39/3.71	o 153 
21.39/3.72	o 150 
23.81/4.04	o 147 
23.81/4.05	o 144 
23.81/4.06	o 141 
23.81/4.09	o 137 
23.81/4.10	o 133 
24.27/4.13	o 130 
26.28/4.41	o 128 
26.28/4.41	o 125 
35.77/5.64	s OPTIMUM FOUND
35.77/5.64	v <instantiation>
35.77/5.64	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>
35.77/5.64	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>
35.77/5.64	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 (15121 MiB free)
  memory of node 1: 16384 MiB (15326 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399727-1568713253/watcher-4399727-1568713253 -o /tmp/evaluation-result-4399727-1568713253/solver-4399727-1568713253 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568709526-22615 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1196365875 HOME/instance-4399727-1568713253.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=23432, runsolver pid=23429
Current StackSize limit: 8192 KiB


[startup+0.100151 s]*
/proc/loadavg: 6.91 7.99 8.18 3/210 23453
/proc/meminfo: memFree=31163284/32770624 swapFree=66939868/67108860
[pid=23432] ppid=23429 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23432/stat : 23432 (xcsp3-exec) S 23429 23432 22588 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447583552 115843072 364 33554432000 4194304 5098028 140721083594976 140721083593080 139692261347964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9379840 140721083601781 140721083602025 140721083602025 140721083604938 0
/proc/23432/statm: 28282 364 305 221 0 87 0
[pid=23434] ppid=23432 vsize=28227396 memory=29280 CPUtime=0.12 cores=0-7
/proc/23434/stat : 23434 (java) S 23432 23432 22588 0 -1 1077944320 5804 0 0 0 11 1 0 0 20 0 20 0 447583552 28904853504 7320 33554432000 4194304 4196468 140736978394528 140736978377072 139804542578423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
/proc/23434/statm: 7056849 7320 3129 1 0 7019032 0
[pid=23434/tid=23435] ppid=23432 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/23434/task/23435/stat : 23435 (java) R 23432 23432 22588 0 -1 4202560 3748 0 0 0 8 0 0 0 20 0 20 0 447583552 28904853504 7320 33554432000 4194304 4196468 140736978394528 139804546811696 139804542590358 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23436] ppid=23432 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23434/task/23436/stat : 23436 (java) S 23432 23432 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447583553 28904853504 7320 33554432000 4194304 4196468 140736978394528 139804495199120 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23437] ppid=23432 vsize=28227396 memory=140130706622080 CPUtime=0 cores=0-7
/proc/23434/task/23437/stat : 23437 (java) S 23432 23432 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447583553 28904853504 7320 33554432000 4194304 4196468 140736978394528 139804494146320 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23438] ppid=23432 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23438/stat : 23438 (java) S 23432 23432 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447583553 28904853504 7320 33554432000 4194304 4196468 140736978394528 139804493094032 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23439] ppid=23432 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23439/stat : 23439 (java) S 23432 23432 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447583553 28904853504 7320 33554432000 4194304 4196468 140736978394528 139804492041232 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23440] ppid=23432 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23440/stat : 23440 (java) S 23432 23432 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447583553 28904853504 7320 33554432000 4194304 4196468 140736978394528 139804490987920 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23441] ppid=23432 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/23434/task/23441/stat : 23441 (java) S 23432 23432 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447583553 28904853504 7320 33554432000 4194304 4196468 140736978394528 139804489935120 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23442] ppid=23432 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23442/stat : 23442 (java) S 23432 23432 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447583553 28904853504 7320 33554432000 4194304 4196468 140736978394528 139804488882832 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23443] ppid=23432 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23443/stat : 23443 (java) S 23432 23432 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447583553 28904853504 7320 33554432000 4194304 4196468 140736978394528 139804487830032 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23444] ppid=23432 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23444/stat : 23444 (java) S 23432 23432 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447583554 28904853504 7320 33554432000 4194304 4196468 140736978394528 139802670221936 139804542589570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23445] ppid=23432 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23445/stat : 23445 (java) S 23432 23432 22588 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447583555 28904853504 7320 33554432000 4194304 4196468 140736978394528 139802669167904 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23446] ppid=23432 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23446/stat : 23446 (java) S 23432 23432 22588 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447583555 28904853504 7320 33554432000 4194304 4196468 140736978394528 139802668115568 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23447] ppid=23432 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23447/stat : 23447 (java) S 23432 23432 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447583558 28904853504 7320 33554432000 4194304 4196468 140736978394528 139802667063888 139804542597019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23448] ppid=23432 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23448/stat : 23448 (java) S 23432 23432 22588 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 447583558 28904853504 7320 33554432000 4194304 4196468 140736978394528 139802666010736 139804542589570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23449] ppid=23432 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23449/stat : 23449 (java) S 23432 23432 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447583558 28904853504 7320 33554432000 4194304 4196468 140736978394528 139802664957936 139804542589570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23450] ppid=23432 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23450/stat : 23450 (java) S 23432 23432 22588 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 447583558 28904853504 7320 33554432000 4194304 4196468 140736978394528 139802663905648 139804542589570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23451] ppid=23432 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/23434/task/23451/stat : 23451 (java) S 23432 23432 22588 0 -1 1077944384 316 0 0 0 1 0 0 0 20 0 20 0 447583558 28904853504 7320 33554432000 4194304 4196468 140736978394528 139802354473200 139804542589570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23452] ppid=23432 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23452/stat : 23452 (java) S 23432 23432 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447583558 28904853504 7320 33554432000 4194304 4196468 140736978394528 139802353421152 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23453] ppid=23432 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/23434/task/23453/stat : 23453 (java) S 23432 23432 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447583558 28904853504 7320 33554432000 4194304 4196468 140736978394528 139802352368432 139804542589570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30736 KiB

[startup+0.210516 s]*
/proc/loadavg: 6.91 7.99 8.18 4/210 23453
/proc/meminfo: memFree=31151884/32770624 swapFree=66939868/67108860
[pid=23432] ppid=23429 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23432/stat : 23432 (xcsp3-exec) S 23429 23432 22588 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447583552 115843072 364 33554432000 4194304 5098028 140721083594976 140721083593080 139692261347964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9379840 140721083601781 140721083602025 140721083602025 140721083604938 0
/proc/23432/statm: 28282 364 305 221 0 87 0
[pid=23434] ppid=23432 vsize=28227396 memory=41100 CPUtime=0.34 cores=0-7
/proc/23434/stat : 23434 (java) S 23432 23432 22588 0 -1 1077944320 9524 0 0 0 31 3 0 0 20 0 20 0 447583552 28904853504 10275 33554432000 4194304 4196468 140736978394528 140736978377072 139804542578423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
/proc/23434/statm: 7056849 10275 3305 1 0 7019032 0
[pid=23434/tid=23435] ppid=23432 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/23434/task/23435/stat : 23435 (java) R 23432 23432 22588 0 -1 4202560 6637 0 0 0 18 2 0 0 20 0 20 0 447583552 28904853504 10275 33554432000 4194304 4196468 140736978394528 139804546811152 139804542590358 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23436] ppid=23432 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/23434/task/23436/stat : 23436 (java) S 23432 23432 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447583553 28904853504 10275 33554432000 4194304 4196468 140736978394528 139804495199120 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23437] ppid=23432 vsize=28227396 memory=140130709795881 CPUtime=0 cores=0-7
/proc/23434/task/23437/stat : 23437 (java) S 23432 23432 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447583553 28904853504 10275 33554432000 4194304 4196468 140736978394528 139804494146320 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23438] ppid=23432 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/23434/task/23438/stat : 23438 (java) S 23432 23432 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447583553 28904853504 10275 33554432000 4194304 4196468 140736978394528 139804493094032 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23439] ppid=23432 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23439/stat : 23439 (java) S 23432 23432 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447583553 28904853504 10275 33554432000 4194304 4196468 140736978394528 139804492041232 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23440] ppid=23432 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23440/stat : 23440 (java) S 23432 23432 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447583553 28904853504 10275 33554432000 4194304 4196468 140736978394528 139804490987920 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23441] ppid=23432 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/23434/task/23441/stat : 23441 (java) S 23432 23432 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447583553 28904853504 10275 33554432000 4194304 4196468 140736978394528 139804489935120 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23442] ppid=23432 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23442/stat : 23442 (java) S 23432 23432 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447583553 28904853504 10275 33554432000 4194304 4196468 140736978394528 139804488882832 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23443] ppid=23432 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23443/stat : 23443 (java) S 23432 23432 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447583553 28904853504 10275 33554432000 4194304 4196468 140736978394528 139804487830032 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23444] ppid=23432 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23444/stat : 23444 (java) S 23432 23432 22588 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447583554 28904853504 10275 33554432000 4194304 4196468 140736978394528 139802670221936 139804542589570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23445] ppid=23432 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23445/stat : 23445 (java) S 23432 23432 22588 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447583555 28904853504 10275 33554432000 4194304 4196468 140736978394528 139802669167904 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23446] ppid=23432 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23446/stat : 23446 (java) S 23432 23432 22588 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447583555 28904853504 10275 33554432000 4194304 4196468 140736978394528 139802668115568 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23447] ppid=23432 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23447/stat : 23447 (java) S 23432 23432 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447583558 28904853504 10275 33554432000 4194304 4196468 140736978394528 139802667063888 139804542597019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23448] ppid=23432 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23448/stat : 23448 (java) S 23432 23432 22588 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 447583558 28904853504 10275 33554432000 4194304 4196468 140736978394528 139802666010736 139804542589570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23449] ppid=23432 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/23434/task/23449/stat : 23449 (java) S 23432 23432 22588 0 -1 1077944384 165 0 0 0 2 0 0 0 20 0 20 0 447583558 28904853504 10275 33554432000 4194304 4196468 140736978394528 139802664957936 139804542589570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23450] ppid=23432 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/23434/task/23450/stat : 23450 (java) S 23432 23432 22588 0 -1 1077944384 367 0 0 0 1 0 0 0 20 0 20 0 447583558 28904853504 10275 33554432000 4194304 4196468 140736978394528 139802663905648 139804542589570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23451] ppid=23432 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/23434/task/23451/stat : 23451 (java) R 23432 23432 22588 0 -1 4202560 728 0 0 0 8 0 0 0 20 0 20 0 447583558 28904853504 10275 33554432000 4194304 4196468 140736978394528 139802354473200 139804542590358 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23452] ppid=23432 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23452/stat : 23452 (java) S 23432 23432 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447583558 28904853504 10275 33554432000 4194304 4196468 140736978394528 139802353421152 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23453] ppid=23432 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/23434/task/23453/stat : 23453 (java) S 23432 23432 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447583558 28904853504 10275 33554432000 4194304 4196468 140736978394528 139802352368432 139804542589570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42556 KiB

[startup+0.310458 s]*
/proc/loadavg: 6.91 7.99 8.18 4/210 23453
/proc/meminfo: memFree=31144428/32770624 swapFree=66939868/67108860
[pid=23432] ppid=23429 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23432/stat : 23432 (xcsp3-exec) S 23429 23432 22588 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447583552 115843072 364 33554432000 4194304 5098028 140721083594976 140721083593080 139692261347964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9379840 140721083601781 140721083602025 140721083602025 140721083604938 0
/proc/23432/statm: 28282 364 305 221 0 87 0
[pid=23434] ppid=23432 vsize=28231652 memory=50064 CPUtime=0.53 cores=0-7
/proc/23434/stat : 23434 (java) S 23432 23432 22588 0 -1 1077944320 10926 0 0 0 49 4 0 0 20 0 20 0 447583552 28909211648 12516 33554432000 4194304 4196468 140736978394528 140736978377072 139804542578423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
/proc/23434/statm: 7057913 12516 3360 1 0 7019032 0
[pid=23434/tid=23435] ppid=23432 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/23434/task/23435/stat : 23435 (java) R 23432 23432 22588 0 -1 4202560 7821 0 0 0 28 2 0 0 20 0 20 0 447583552 28909211648 12516 33554432000 4194304 4196468 140736978394528 139804546812208 139804526658910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23436] ppid=23432 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23436/stat : 23436 (java) S 23432 23432 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447583553 28909211648 12516 33554432000 4194304 4196468 140736978394528 139804495199120 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23437] ppid=23432 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23437/stat : 23437 (java) S 23432 23432 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447583553 28909211648 12581 33554432000 4194304 4196468 140736978394528 139804494146320 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23438] ppid=23432 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23438/stat : 23438 (java) S 23432 23432 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447583553 28909211648 12581 33554432000 4194304 4196468 140736978394528 139804493094032 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23439] ppid=23432 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23439/stat : 23439 (java) S 23432 23432 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447583553 28909211648 12581 33554432000 4194304 4196468 140736978394528 139804492041232 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23440] ppid=23432 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23440/stat : 23440 (java) S 23432 23432 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447583553 28909211648 12581 33554432000 4194304 4196468 140736978394528 139804490987920 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23441] ppid=23432 vsize=28231652 memory=140130555882159 CPUtime=0 cores=0-7
/proc/23434/task/23441/stat : 23441 (java) S 23432 23432 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447583553 28909211648 12581 33554432000 4194304 4196468 140736978394528 139804489935120 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23442] ppid=23432 vsize=28231652 memory=140130555884464 CPUtime=0 cores=0-7
/proc/23434/task/23442/stat : 23442 (java) S 23432 23432 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447583553 28909211648 12581 33554432000 4194304 4196468 140736978394528 139804488882832 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23443] ppid=23432 vsize=28231652 memory=140130555886768 CPUtime=0 cores=0-7
/proc/23434/task/23443/stat : 23443 (java) S 23432 23432 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447583553 28909211648 12581 33554432000 4194304 4196468 140736978394528 139804487830032 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23444] ppid=23432 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23444/stat : 23444 (java) S 23432 23432 22588 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447583554 28909211648 12581 33554432000 4194304 4196468 140736978394528 139802670221936 139804542589570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23445] ppid=23432 vsize=28231652 memory=280261111787408 CPUtime=0 cores=0-7
/proc/23434/task/23445/stat : 23445 (java) S 23432 23432 22588 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447583555 28909211648 12581 33554432000 4194304 4196468 140736978394528 139802669167904 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23446] ppid=23432 vsize=28231652 memory=280261111785104 CPUtime=0 cores=0-7
/proc/23434/task/23446/stat : 23446 (java) S 23432 23432 22588 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447583555 28909211648 12581 33554432000 4194304 4196468 140736978394528 139802668115568 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23447] ppid=23432 vsize=28231652 memory=280261111792016 CPUtime=0 cores=0-7
/proc/23434/task/23447/stat : 23447 (java) S 23432 23432 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447583558 28909211648 12581 33554432000 4194304 4196468 140736978394528 139802667063888 139804542597019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23448] ppid=23432 vsize=28231652 memory=280261111733296 CPUtime=0.02 cores=0-7
/proc/23434/task/23448/stat : 23448 (java) S 23432 23432 22588 0 -1 1077944384 351 0 0 0 2 0 0 0 20 0 20 0 447583558 28909211648 12581 33554432000 4194304 4196468 140736978394528 139802666010736 139804542589570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23449] ppid=23432 vsize=28231652 memory=280261111805840 CPUtime=0.04 cores=0-7
/proc/23434/task/23449/stat : 23449 (java) R 23432 23432 22588 0 -1 4202560 260 0 0 0 4 0 0 0 20 0 20 0 447583558 28909211648 12581 33554432000 4194304 4196468 140736978394528 139802664938952 139804523988431 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23450] ppid=23432 vsize=28231652 memory=280261111812752 CPUtime=0.01 cores=0-7
/proc/23434/task/23450/stat : 23450 (java) S 23432 23432 22588 0 -1 1077944384 374 0 0 0 1 0 0 0 20 0 20 0 447583558 28909211648 12581 33554432000 4194304 4196468 140736978394528 139802663905648 139804542589570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23451] ppid=23432 vsize=28231652 memory=280261111810448 CPUtime=0.12 cores=0-7
/proc/23434/task/23451/stat : 23451 (java) S 23432 23432 22588 0 -1 1077944384 819 0 0 0 12 0 0 0 20 0 20 0 447583558 28909211648 12581 33554432000 4194304 4196468 140736978394528 139802354473200 139804542589570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23452] ppid=23432 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23452/stat : 23452 (java) S 23432 23432 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447583558 28909211648 12581 33554432000 4194304 4196468 140736978394528 139802353421152 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23453] ppid=23432 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/23434/task/23453/stat : 23453 (java) S 23432 23432 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447583558 28909211648 12581 33554432000 4194304 4196468 140736978394528 139802352368432 139804542589570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51520 KiB

[startup+0.700987 s]
/proc/loadavg: 6.91 7.99 8.18 4/210 23453
/proc/meminfo: memFree=31129604/32770624 swapFree=66939868/67108860
[pid=23432] ppid=23429 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23432/stat : 23432 (xcsp3-exec) S 23429 23432 22588 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447583552 115843072 364 33554432000 4194304 5098028 140721083594976 140721083593080 139692261347964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9379840 140721083601781 140721083602025 140721083602025 140721083604938 0
/proc/23432/statm: 28282 364 305 221 0 87 0
[pid=23434] ppid=23432 vsize=28233776 memory=175000 CPUtime=1.77 cores=0-7
/proc/23434/stat : 23434 (java) S 23432 23432 22588 0 -1 1077944320 15355 0 0 0 170 7 0 0 20 0 20 0 447583552 28911386624 43750 33554432000 4194304 4196468 140736978394528 140736978377072 139804542578423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
/proc/23434/statm: 7058444 43750 3458 1 0 7019544 0
[pid=23434/tid=23435] ppid=23432 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/23434/task/23435/stat : 23435 (java) R 23432 23432 22588 0 -1 4202560 9149 0 0 0 63 4 0 0 20 0 20 0 447583552 28911386624 43750 33554432000 4194304 4196468 140736978394528 139804546815808 139804158821862 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23436] ppid=23432 vsize=28233776 memory=140130556093296 CPUtime=0 cores=0-7
/proc/23434/task/23436/stat : 23436 (java) S 23432 23432 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447583553 28911386624 43750 33554432000 4194304 4196468 140736978394528 139804495199120 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23437] ppid=23432 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23437/stat : 23437 (java) S 23432 23432 22588 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447583553 28911386624 43750 33554432000 4194304 4196468 140736978394528 139804494146320 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23438] ppid=23432 vsize=28233776 memory=784 CPUtime=0 cores=0-7
/proc/23434/task/23438/stat : 23438 (java) S 23432 23432 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447583553 28911386624 43750 33554432000 4194304 4196468 140736978394528 139804493094032 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0

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

[pid=23434/tid=23443] ppid=23432 vsize=28769364 memory=2016 CPUtime=0.71 cores=0-7
/proc/23434/task/23443/stat : 23443 (java) S 23432 23432 22588 0 -1 1077944384 2429 0 0 0 53 18 0 0 20 0 28 0 447583553 29459828736 275648 33554432000 4194304 4196468 140736978394528 139804487830032 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23444] ppid=23432 vsize=28769364 memory=1412 CPUtime=0.02 cores=0-7
/proc/23434/task/23444/stat : 23444 (java) S 23432 23432 22588 0 -1 1077944384 1099 0 0 0 2 0 0 0 20 0 28 0 447583554 29459828736 275648 33554432000 4194304 4196468 140736978394528 139802670221936 139804542589570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23445] ppid=23432 vsize=28769364 memory=1548 CPUtime=0 cores=0-7
/proc/23434/task/23445/stat : 23445 (java) S 23432 23432 22588 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 447583555 29459828736 275648 33554432000 4194304 4196468 140736978394528 139802669167968 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23446] ppid=23432 vsize=28769364 memory=7396 CPUtime=0 cores=0-7
/proc/23434/task/23446/stat : 23446 (java) S 23432 23432 22588 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 447583555 29459828736 275648 33554432000 4194304 4196468 140736978394528 139802668115584 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23447] ppid=23432 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/23434/task/23447/stat : 23447 (java) S 23432 23432 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447583558 29459828736 275648 33554432000 4194304 4196468 140736978394528 139802667063888 139804542597019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23448] ppid=23432 vsize=28769364 memory=1136 CPUtime=2.2 cores=0-7
/proc/23434/task/23448/stat : 23448 (java) S 23432 23432 22588 0 -1 1077944384 9682 0 0 0 218 2 0 0 20 0 28 0 447583558 29459828736 275648 33554432000 4194304 4196468 140736978394528 139802666010736 139804542589570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23449] ppid=23432 vsize=28769364 memory=1072 CPUtime=2.67 cores=0-7
/proc/23434/task/23449/stat : 23449 (java) S 23432 23432 22588 0 -1 1077944384 5391 0 0 0 265 2 0 0 20 0 28 0 447583558 29459828736 275648 33554432000 4194304 4196468 140736978394528 139802664957936 139804542589570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23450] ppid=23432 vsize=28769364 memory=-1624781813439352349 CPUtime=2.32 cores=0-7
/proc/23434/task/23450/stat : 23450 (java) S 23432 23432 22588 0 -1 1077944384 5366 0 0 0 230 2 0 0 20 0 28 0 447583558 29459828736 275648 33554432000 4194304 4196468 140736978394528 139802663905648 139804542589570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23451] ppid=23432 vsize=28769364 memory=-2843873993432028574 CPUtime=0.87 cores=0-7
/proc/23434/task/23451/stat : 23451 (java) S 23432 23432 22588 0 -1 1077944384 3434 0 0 0 85 2 0 0 20 0 28 0 447583558 29459828736 275648 33554432000 4194304 4196468 140736978394528 139802354473200 139804542589570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23452] ppid=23432 vsize=28769364 memory=8974679720218626472 CPUtime=0 cores=0-7
/proc/23434/task/23452/stat : 23452 (java) S 23432 23432 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447583558 29459828736 275648 33554432000 4194304 4196468 140736978394528 139802353421152 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23453] ppid=23432 vsize=28769364 memory=7820909163742374475 CPUtime=0 cores=0-7
/proc/23434/task/23453/stat : 23453 (java) S 23432 23432 22588 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 447583558 29459828736 275648 33554432000 4194304 4196468 140736978394528 139802352368432 139804542589570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
Current children cumulated CPU time: 29.42 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 1104048 KiB

[startup+5.20199 s]
/proc/loadavg: 7.07 8.01 8.19 11/218 23765
/proc/meminfo: memFree=30090232/32770624 swapFree=66939868/67108860
[pid=23432] ppid=23429 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23432/stat : 23432 (xcsp3-exec) S 23429 23432 22588 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447583552 115843072 364 33554432000 4194304 5098028 140721083594976 140721083593080 139692261347964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9379840 140721083601781 140721083602025 140721083602025 140721083604938 0
/proc/23432/statm: 28282 364 305 221 0 87 0
[pid=23434] ppid=23432 vsize=28769364 memory=1097116 CPUtime=32.6 cores=0-7
/proc/23434/stat : 23434 (java) S 23432 23432 22588 0 -1 1077944320 68836 0 0 0 3086 174 0 0 20 0 28 0 447583552 29459828736 274279 33554432000 4194304 4196468 140736978394528 140736978377072 139804542578423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
/proc/23434/statm: 7192341 274279 3548 1 0 7153441 0
[pid=23434/tid=23435] ppid=23432 vsize=28769364 memory=0 CPUtime=1.1 cores=0-7
/proc/23434/task/23435/stat : 23435 (java) S 23432 23432 22588 0 -1 1077944384 9740 0 0 0 99 11 0 0 20 0 28 0 447583552 29459828736 274279 33554432000 4194304 4196468 140736978394528 139804546819200 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23436] ppid=23432 vsize=28769364 memory=0 CPUtime=0.73 cores=0-7
/proc/23434/task/23436/stat : 23436 (java) S 23432 23432 22588 0 -1 1077944384 2511 0 0 0 55 18 0 0 20 0 28 0 447583553 29459828736 274279 33554432000 4194304 4196468 140736978394528 139804495199120 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23437] ppid=23432 vsize=28769364 memory=0 CPUtime=0.72 cores=0-7
/proc/23434/task/23437/stat : 23437 (java) S 23432 23432 22588 0 -1 1077944384 2436 0 0 0 54 18 0 0 20 0 28 0 447583553 29459828736 274279 33554432000 4194304 4196468 140736978394528 139804494146320 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23438] ppid=23432 vsize=28769364 memory=0 CPUtime=0.74 cores=0-7
/proc/23434/task/23438/stat : 23438 (java) S 23432 23432 22588 0 -1 1077944384 2467 0 0 0 57 17 0 0 20 0 28 0 447583553 29459828736 274279 33554432000 4194304 4196468 140736978394528 139804493094032 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23439] ppid=23432 vsize=28769364 memory=57 CPUtime=0.7 cores=0-7
/proc/23434/task/23439/stat : 23439 (java) S 23432 23432 22588 0 -1 1077944384 2361 0 0 0 54 16 0 0 20 0 28 0 447583553 29459828736 274279 33554432000 4194304 4196468 140736978394528 139804492041232 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23440] ppid=23432 vsize=28769364 memory=-3284643825843719562 CPUtime=0.69 cores=0-7
/proc/23434/task/23440/stat : 23440 (java) S 23432 23432 22588 0 -1 1077944384 2461 0 0 0 54 15 0 0 20 0 28 0 447583553 29459828736 274279 33554432000 4194304 4196468 140736978394528 139804490987920 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23441] ppid=23432 vsize=28769364 memory=-3833726747341067623 CPUtime=0.72 cores=0-7
/proc/23434/task/23441/stat : 23441 (java) S 23432 23432 22588 0 -1 1077944384 2605 0 0 0 54 18 0 0 20 0 28 0 447583553 29459828736 274279 33554432000 4194304 4196468 140736978394528 139804489935120 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23442] ppid=23432 vsize=28769364 memory=-2605811476043407915 CPUtime=0.7 cores=0-7
/proc/23434/task/23442/stat : 23442 (java) S 23432 23432 22588 0 -1 1077944384 2520 0 0 0 54 16 0 0 20 0 28 0 447583553 29459828736 274279 33554432000 4194304 4196468 140736978394528 139804488882832 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23443] ppid=23432 vsize=28769364 memory=-4051592751533505334 CPUtime=0.71 cores=0-7
/proc/23434/task/23443/stat : 23443 (java) S 23432 23432 22588 0 -1 1077944384 2429 0 0 0 53 18 0 0 20 0 28 0 447583553 29459828736 274279 33554432000 4194304 4196468 140736978394528 139804487830032 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23444] ppid=23432 vsize=28769364 memory=-2748367524519556131 CPUtime=0.02 cores=0-7
/proc/23434/task/23444/stat : 23444 (java) S 23432 23432 22588 0 -1 1077944384 1099 0 0 0 2 0 0 0 20 0 28 0 447583554 29459828736 274279 33554432000 4194304 4196468 140736978394528 139802670221936 139804542589570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23445] ppid=23432 vsize=28769364 memory=4956998493510226538 CPUtime=0 cores=0-7
/proc/23434/task/23445/stat : 23445 (java) S 23432 23432 22588 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 447583555 29459828736 274279 33554432000 4194304 4196468 140736978394528 139802669167968 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23446] ppid=23432 vsize=28769364 memory=8546823402028195750 CPUtime=0 cores=0-7
/proc/23434/task/23446/stat : 23446 (java) S 23432 23432 22588 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 447583555 29459828736 274279 33554432000 4194304 4196468 140736978394528 139802668115584 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23447] ppid=23432 vsize=28769364 memory=-3284643825843719562 CPUtime=0 cores=0-7
/proc/23434/task/23447/stat : 23447 (java) S 23432 23432 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447583558 29459828736 274279 33554432000 4194304 4196468 140736978394528 139802667063888 139804542597019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23448] ppid=23432 vsize=28769364 memory=-3039135443232236825 CPUtime=2.21 cores=0-7
/proc/23434/task/23448/stat : 23448 (java) S 23432 23432 22588 0 -1 1077944384 9686 0 0 0 219 2 0 0 20 0 28 0 447583558 29459828736 274279 33554432000 4194304 4196468 140736978394528 139802666010736 139804542589570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23449] ppid=23432 vsize=28769364 memory=-2605811476043407915 CPUtime=2.69 cores=0-7
/proc/23434/task/23449/stat : 23449 (java) S 23432 23432 22588 0 -1 1077944384 5398 0 0 0 267 2 0 0 20 0 28 0 447583558 29459828736 274279 33554432000 4194304 4196468 140736978394528 139802664957936 139804542589570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23450] ppid=23432 vsize=28769364 memory=-2025810976467231676 CPUtime=2.4 cores=0-7
/proc/23434/task/23450/stat : 23450 (java) S 23432 23432 22588 0 -1 1077944384 5389 0 0 0 238 2 0 0 20 0 28 0 447583558 29459828736 274279 33554432000 4194304 4196468 140736978394528 139802663905648 139804542589570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23451] ppid=23432 vsize=28769364 memory=-6873162000112450758 CPUtime=0.87 cores=0-7
/proc/23434/task/23451/stat : 23451 (java) S 23432 23432 22588 0 -1 1077944384 3469 0 0 0 85 2 0 0 20 0 28 0 447583558 29459828736 274279 33554432000 4194304 4196468 140736978394528 139802354473200 139804542589570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23452] ppid=23432 vsize=28769364 memory=-6948047529741492128 CPUtime=0 cores=0-7
/proc/23434/task/23452/stat : 23452 (java) S 23432 23432 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447583558 29459828736 274279 33554432000 4194304 4196468 140736978394528 139802353421152 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23453] ppid=23432 vsize=28769364 memory=-7812193691855986640 CPUtime=0 cores=0-7
/proc/23434/task/23453/stat : 23453 (java) S 23432 23432 22588 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 447583558 29459828736 274279 33554432000 4194304 4196468 140736978394528 139802352368432 139804542589570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23758] ppid=23432 vsize=28769364 memory=4945125699554088323 CPUtime=0.89 cores=0-7
/proc/23434/task/23758/stat : 23758 (java) R 23432 23432 22588 0 -1 4202560 17 0 0 0 89 0 0 0 20 0 28 0 447583974 29459828736 274279 33554432000 4194304 4196468 140736978394528 139802337072552 139804161938655 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23759] ppid=23432 vsize=28769364 memory=-8990767739041718176 CPUtime=0.98 cores=0-7
/proc/23434/task/23759/stat : 23759 (java) R 23432 23432 22588 0 -1 4202560 17 0 0 0 98 0 0 0 20 0 28 0 447583974 29459828736 274279 33554432000 4194304 4196468 140736978394528 139802338125048 139804161938437 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23760] ppid=23432 vsize=28769364 memory=6944656592455360608 CPUtime=0.93 cores=0-7
/proc/23434/task/23760/stat : 23760 (java) R 23432 23432 22588 0 -1 4202560 19 0 0 0 93 0 0 0 20 0 28 0 447583974 29459828736 274279 33554432000 4194304 4196468 140736978394528 139802336018552 139804161939082 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23761] ppid=23432 vsize=28769364 memory=596 CPUtime=0.96 cores=0-7
/proc/23434/task/23761/stat : 23761 (java) R 23432 23432 22588 0 -1 4202560 20 0 0 0 96 0 0 0 20 0 28 0 447583974 29459828736 274279 33554432000 4194304 4196468 140736978394528 139802339176104 139804162726525 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23762] ppid=23432 vsize=28769364 memory=4012598994535057952 CPUtime=0.95 cores=0-7
/proc/23434/task/23762/stat : 23762 (java) R 23432 23432 22588 0 -1 4202560 316 0 0 0 95 0 0 0 20 0 28 0 447583974 29459828736 274279 33554432000 4194304 4196468 140736978394528 139802332869080 139804161938741 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23763] ppid=23432 vsize=28769364 memory=-8458152057954561420 CPUtime=0.93 cores=0-7
/proc/23434/task/23763/stat : 23763 (java) R 23432 23432 22588 0 -1 4202560 19 0 0 0 93 0 0 0 20 0 28 0 447583974 29459828736 274279 33554432000 4194304 4196468 140736978394528 139802343387384 139804161938842 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23764] ppid=23432 vsize=28769364 memory=0 CPUtime=0.97 cores=0-7
/proc/23434/task/23764/stat : 23764 (java) R 23432 23432 22588 0 -1 4202560 17 0 0 0 96 1 0 0 20 0 28 0 447583974 29459828736 274279 33554432000 4194304 4196468 140736978394528 139802341282232 139804162901816 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23765] ppid=23432 vsize=28769364 memory=0 CPUtime=0.78 cores=0-7
/proc/23434/task/23765/stat : 23765 (java) R 23432 23432 22588 0 -1 4202560 20 0 0 0 78 0 0 0 20 0 28 0 447583974 29459828736 274279 33554432000 4194304 4196468 140736978394528 139802342334136 139804161938763 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
Current children cumulated CPU time: 32.6 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 1098572 KiB

[startup+5.60199 s]
/proc/loadavg: 7.07 8.01 8.19 11/218 23765
/proc/meminfo: memFree=30090232/32770624 swapFree=66939868/67108860
[pid=23432] ppid=23429 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23432/stat : 23432 (xcsp3-exec) S 23429 23432 22588 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447583552 115843072 364 33554432000 4194304 5098028 140721083594976 140721083593080 139692261347964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9379840 140721083601781 140721083602025 140721083602025 140721083604938 0
/proc/23432/statm: 28282 364 305 221 0 87 0
[pid=23434] ppid=23432 vsize=28769364 memory=1097716 CPUtime=35.77 cores=0-7
/proc/23434/stat : 23434 (java) S 23432 23432 22588 0 -1 1077944320 71975 0 0 0 3401 176 0 0 20 0 28 0 447583552 29459828736 274429 33554432000 4194304 4196468 140736978394528 140736978377072 139804542578423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
/proc/23434/statm: 7192341 274429 3548 1 0 7153441 0
[pid=23434/tid=23435] ppid=23432 vsize=28769364 memory=6656426216303648864 CPUtime=1.1 cores=0-7
/proc/23434/task/23435/stat : 23435 (java) S 23432 23432 22588 0 -1 1077944384 9740 0 0 0 99 11 0 0 20 0 28 0 447583552 29459828736 274429 33554432000 4194304 4196468 140736978394528 139804546819200 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23436] ppid=23432 vsize=28769364 memory=0 CPUtime=0.73 cores=0-7
/proc/23434/task/23436/stat : 23436 (java) S 23432 23432 22588 0 -1 1077944384 2511 0 0 0 55 18 0 0 20 0 28 0 447583553 29459828736 274429 33554432000 4194304 4196468 140736978394528 139804495199120 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23437] ppid=23432 vsize=28769364 memory=0 CPUtime=0.72 cores=0-7
/proc/23434/task/23437/stat : 23437 (java) S 23432 23432 22588 0 -1 1077944384 2436 0 0 0 54 18 0 0 20 0 28 0 447583553 29459828736 274429 33554432000 4194304 4196468 140736978394528 139804494146320 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23438] ppid=23432 vsize=28769364 memory=1548 CPUtime=0.74 cores=0-7
/proc/23434/task/23438/stat : 23438 (java) S 23432 23432 22588 0 -1 1077944384 2467 0 0 0 57 17 0 0 20 0 28 0 447583553 29459828736 274429 33554432000 4194304 4196468 140736978394528 139804493094032 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23439] ppid=23432 vsize=28769364 memory=7396 CPUtime=0.7 cores=0-7
/proc/23434/task/23439/stat : 23439 (java) S 23432 23432 22588 0 -1 1077944384 2361 0 0 0 54 16 0 0 20 0 28 0 447583553 29459828736 274429 33554432000 4194304 4196468 140736978394528 139804492041232 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23440] ppid=23432 vsize=28769364 memory=4000 CPUtime=0.69 cores=0-7
/proc/23434/task/23440/stat : 23440 (java) S 23432 23432 22588 0 -1 1077944384 2461 0 0 0 54 15 0 0 20 0 28 0 447583553 29459828736 274429 33554432000 4194304 4196468 140736978394528 139804490987920 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23441] ppid=23432 vsize=28769364 memory=616 CPUtime=0.72 cores=0-7
/proc/23434/task/23441/stat : 23441 (java) S 23432 23432 22588 0 -1 1077944384 2605 0 0 0 54 18 0 0 20 0 28 0 447583553 29459828736 274429 33554432000 4194304 4196468 140736978394528 139804489935120 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23442] ppid=23432 vsize=28769364 memory=2832 CPUtime=0.7 cores=0-7
/proc/23434/task/23442/stat : 23442 (java) S 23432 23432 22588 0 -1 1077944384 2520 0 0 0 54 16 0 0 20 0 28 0 447583553 29459828736 274429 33554432000 4194304 4196468 140736978394528 139804488882832 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23443] ppid=23432 vsize=28769364 memory=1624 CPUtime=0.71 cores=0-7
/proc/23434/task/23443/stat : 23443 (java) S 23432 23432 22588 0 -1 1077944384 2429 0 0 0 53 18 0 0 20 0 28 0 447583553 29459828736 274429 33554432000 4194304 4196468 140736978394528 139804487830032 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23444] ppid=23432 vsize=28769364 memory=1136 CPUtime=0.02 cores=0-7
/proc/23434/task/23444/stat : 23444 (java) S 23432 23432 22588 0 -1 1077944384 1099 0 0 0 2 0 0 0 20 0 28 0 447583554 29459828736 274429 33554432000 4194304 4196468 140736978394528 139802670221936 139804542589570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23445] ppid=23432 vsize=28769364 memory=1072 CPUtime=0 cores=0-7
/proc/23434/task/23445/stat : 23445 (java) S 23432 23432 22588 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 447583555 29459828736 274429 33554432000 4194304 4196468 140736978394528 139802669167968 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23446] ppid=23432 vsize=28769364 memory=804 CPUtime=0 cores=0-7
/proc/23434/task/23446/stat : 23446 (java) S 23432 23432 22588 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 447583555 29459828736 274429 33554432000 4194304 4196468 140736978394528 139802668115584 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23447] ppid=23432 vsize=28769364 memory=4096 CPUtime=0 cores=0-7
/proc/23434/task/23447/stat : 23447 (java) S 23432 23432 22588 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447583558 29459828736 274429 33554432000 4194304 4196468 140736978394528 139802667063888 139804542597019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23448] ppid=23432 vsize=28769364 memory=1804 CPUtime=2.22 cores=0-7
/proc/23434/task/23448/stat : 23448 (java) S 23432 23432 22588 0 -1 1077944384 10265 0 0 0 220 2 0 0 20 0 28 0 447583558 29459828736 274429 33554432000 4194304 4196468 140736978394528 139802666010736 139804542589570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23449] ppid=23432 vsize=28769364 memory=916 CPUtime=2.75 cores=0-7
/proc/23434/task/23449/stat : 23449 (java) S 23432 23432 22588 0 -1 1077944384 6150 0 0 0 272 3 0 0 20 0 28 0 447583558 29459828736 274429 33554432000 4194304 4196468 140736978394528 139802664957936 139804542589570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23450] ppid=23432 vsize=28769364 memory=4152 CPUtime=2.41 cores=0-7
/proc/23434/task/23450/stat : 23450 (java) S 23432 23432 22588 0 -1 1077944384 5546 0 0 0 239 2 0 0 20 0 28 0 447583558 29459828736 274429 33554432000 4194304 4196468 140736978394528 139802663905648 139804542589570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23451] ppid=23432 vsize=28769364 memory=1412 CPUtime=0.88 cores=0-7
/proc/23434/task/23451/stat : 23451 (java) R 23432 23432 22588 0 -1 1077944384 4100 0 0 0 86 2 0 0 20 0 28 0 447583558 29459828736 274429 33554432000 4194304 4196468 140736978394528 139802354473200 139804542589570 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23452] ppid=23432 vsize=28769364 memory=2612 CPUtime=0 cores=0-7
/proc/23434/task/23452/stat : 23452 (java) S 23432 23432 22588 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447583558 29459828736 274429 33554432000 4194304 4196468 140736978394528 139802353421152 139804542588629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23453] ppid=23432 vsize=28769364 memory=1456 CPUtime=0 cores=0-7
/proc/23434/task/23453/stat : 23453 (java) S 23432 23432 22588 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 447583558 29459828736 274429 33554432000 4194304 4196468 140736978394528 139802352368432 139804542589570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23758] ppid=23432 vsize=28769364 memory=1102684 CPUtime=1.28 cores=0-7
/proc/23434/task/23758/stat : 23758 (java) R 23432 23432 22588 0 -1 4202560 125 0 0 0 128 0 0 0 20 0 28 0 447583974 29459828736 274429 33554432000 4194304 4196468 140736978394528 139802337070792 139804161938357 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23759] ppid=23432 vsize=28769364 memory=1160 CPUtime=1.36 cores=0-7
/proc/23434/task/23759/stat : 23759 (java) R 23432 23432 22588 0 -1 4202560 105 0 0 0 136 0 0 0 20 0 28 0 447583974 29459828736 274429 33554432000 4194304 4196468 140736978394528 139802338124176 139804163731872 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23760] ppid=23432 vsize=28769364 memory=8317482817917895235 CPUtime=1.32 cores=0-7
/proc/23434/task/23760/stat : 23760 (java) R 23432 23432 22588 0 -1 4202560 106 0 0 0 132 0 0 0 20 0 28 0 447583974 29459828736 274429 33554432000 4194304 4196468 140736978394528 139802336017592 139804161938437 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23761] ppid=23432 vsize=28769364 memory=0 CPUtime=1.32 cores=0-7
/proc/23434/task/23761/stat : 23761 (java) R 23432 23432 22588 0 -1 4202560 116 0 0 0 132 0 0 0 20 0 28 0 447583974 29459828736 274429 33554432000 4194304 4196468 140736978394528 139802339176648 139804162580480 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23762] ppid=23432 vsize=28769364 memory=0 CPUtime=1.35 cores=0-7
/proc/23434/task/23762/stat : 23762 (java) R 23432 23432 22588 0 -1 4202560 443 0 0 0 135 0 0 0 20 0 28 0 447583974 29459828736 274429 33554432000 4194304 4196468 140736978394528 139802332868824 139804161939091 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23763] ppid=23432 vsize=28769364 memory=6044 CPUtime=1.32 cores=0-7
/proc/23434/task/23763/stat : 23763 (java) R 23432 23432 22588 0 -1 4202560 193 0 0 0 132 0 0 0 20 0 28 0 447583974 29459828736 274429 33554432000 4194304 4196468 140736978394528 139802343386000 139804165736329 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23764] ppid=23432 vsize=28769364 memory=784 CPUtime=1.36 cores=0-7
/proc/23434/task/23764/stat : 23764 (java) R 23432 23432 22588 0 -1 4202560 225 0 0 0 135 1 0 0 20 0 28 0 447583974 29459828736 274429 33554432000 4194304 4196468 140736978394528 139802341281088 139804161938917 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
[pid=23434/tid=23765] ppid=23432 vsize=28769364 memory=1060 CPUtime=1.15 cores=0-7
/proc/23434/task/23765/stat : 23765 (java) R 23432 23432 22588 0 -1 4202560 145 0 0 0 115 0 0 0 20 0 28 0 447583974 29459828736 274429 33554432000 4194304 4196468 140736978394528 139802342334824 139804163712628 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19554304 140736978396138 140736978396310 140736978396310 140736978399183 0
Current children cumulated CPU time: 35.77 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 1099172 KiB

Child status: 0
Real time (s): 5.66354
CPU time (s): 36.0132
CPU user time (s): 34.2252
CPU system time (s): 1.78802
CPU usage (%): 635.879
Max. virtual memory (cumulated for all children) (KiB): 28884128
Max. memory (cumulated for all children) (KiB): 1104152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.2252
system time used= 1.78802
maximum resident set size= 1102696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73141
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= 7396
involuntary context switches= 723


# summary of solver processes directly reported to runsolver:
#   pid: 23432
#   total CPU time (s): 36.0132
#   total CPU user time (s): 34.2252
#   total CPU system time (s): 1.78802

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.070437 second user time and 0.098839 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-17 10:39:17
IDJOB=4399727
IDBENCH=138316
IDSOLVER=2854
FILE ID=node105/4399727-1568713253
RUNJOBID= node105-1568709526-22615
PBS_JOBID= 21703944
Free space on /tmp= 61004 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-4399727-1568713253/watcher-4399727-1568713253 -o /tmp/evaluation-result-4399727-1568713253/solver-4399727-1568713253 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568709526-22615 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1196365875 HOME/instance-4399727-1568713253.xml

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

MD5SUM BENCH= 5002a5aac4309249d3aa4752a35eede8
RANDOM SEED=1196365875

node105.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.00
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.00
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.00
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.00
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:        31179436 kB
MemAvailable:   31842960 kB
Buffers:          185524 kB
Cached:           778292 kB
SwapCached:        65556 kB
Active:           544620 kB
Inactive:         488036 kB
Active(anon):       9660 kB
Inactive(anon):   103456 kB
Active(file):     534960 kB
Inactive(file):   384580 kB
Unevictable:      109028 kB
Mlocked:          109028 kB
SwapTotal:      67108860 kB
SwapFree:       66939868 kB
Dirty:             26496 kB
Writeback:             0 kB
AnonPages:        113360 kB
Mapped:            43656 kB
Shmem:             35660 kB
Slab:             148400 kB
SReclaimable:     119636 kB
SUnreclaim:        28764 kB
KernelStack:        3424 kB
PageTables:         5620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 60980 MiB
End job on node105 at 2019-09-17 10:39:23