Trace number 4404547

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-20 parallelOPT152 59.7635 8.52588

General information on the benchmark

NameFastfood/Fastfood-m1-s1/
Fastfood-ff61.xml
MD5SUM275e9239012ab7a817236ff89c8de286
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark152
Best CPU time to get the best result obtained on this benchmark16.5557
Satisfiable
(Un)Satisfiability was proved
Number of variables428
Number of constraints417
Number of domains27
Minimum domain size23
Maximum domain size26
Distribution of domain sizes[{"size":23,"count":13},{"size":25,"count":39},{"size":26,"count":376}]
Minimum variable degree2
Maximum variable degree33
Distribution of variable degrees[{"degree":2,"count":416},{"degree":33,"count":12}]
Minimum constraint arity2
Maximum constraint arity13
Distribution of constraint arities[{"arity":2,"count":384},{"arity":12,"count":1},{"arity":13,"count":32}]
Number of extensional constraints384
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":384},{"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-4404547-1569007244.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4404547-1569007244.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.29	c parse instance...
8.04/1.70	c solve instance...
10.25/2.02	o 697 
10.25/2.04	o 585 
10.86/2.14	o 393 
10.86/2.15	o 279 
11.42/2.21	o 252 
12.15/2.34	o 249 
12.93/2.41	o 247 
12.93/2.41	o 246 
14.06/2.63	o 244 
14.06/2.65	o 240 
14.06/2.65	o 234 
14.71/2.70	o 231 
14.71/2.75	o 216 
15.18/2.80	o 211 
19.97/3.46	o 202 
20.66/3.52	o 201 
22.17/3.70	o 194 
22.17/3.72	o 193 
23.65/3.93	o 189 
29.21/4.68	o 187 
29.97/4.72	o 166 
29.97/4.76	o 163 
31.34/4.95	o 152 
59.72/8.50	s OPTIMUM FOUND
59.72/8.50	v <instantiation>
59.72/8.50	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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] dr[0] dr[1] dr[2] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] dr[30] dr[31] </list>
59.72/8.50	v 	<values>23 62 95 122 187 238 467 512 546 606 661 711 114 75 42 15 50 101 330 375 409 469 524 574 27 12 45 72 137 188 417 462 496 556 611 661 99 60 27 0 65 116 345 390 424 484 539 589 99 60 27 0 65 116 345 390 424 484 539 589 64 25 8 35 100 151 380 425 459 519 574 624 58 19 14 41 106 157 386 431 465 525 580 630 164 125 92 65 0 51 280 325 359 419 474 524 35 4 37 64 129 180 409 454 488 548 603 653 137 98 65 38 27 78 307 352 386 446 501 551 75 36 3 24 89 140 369 414 448 508 563 613 72 33 0 27 92 143 372 417 451 511 566 616 2 37 70 97 162 213 442 487 521 581 636 686 0 39 72 99 164 215 444 489 523 583 638 688 688 649 616 589 524 473 244 199 165 105 50 0 18 21 54 81 146 197 426 471 505 565 620 670 489 450 417 390 325 274 45 0 34 94 149 199 489 450 417 390 325 274 45 0 34 94 149 199 81 42 9 18 83 134 363 408 442 502 557 607 44 5 28 55 120 171 400 445 479 539 594 644 638 599 566 539 474 423 194 149 115 55 0 50 638 599 566 539 474 423 194 149 115 55 0 50 444 405 372 345 280 229 0 45 79 139 194 244 444 405 372 345 280 229 0 45 79 139 194 244 215 176 143 116 51 0 229 274 308 368 423 473 39 0 33 60 125 176 405 450 484 544 599 649 39 0 33 60 125 176 405 450 484 544 599 649 583 544 511 484 419 368 139 94 60 0 55 105 583 544 511 484 419 368 139 94 60 0 55 105 186 147 114 87 22 29 258 303 337 397 452 502 11 50 83 110 175 226 455 500 534 594 649 699 525 486 453 426 361 310 81 36 2 58 113 163 523 484 451 424 359 308 79 34 0 60 115 165 15 12 0 0 8 14 0 4 27 3 0 2 0 0 18 0 0 9 5 0 0 0 0 0 0 0 0 0 22 11 2 0 </values>
59.72/8.50	v </instantiation>

Verifier Data 

OK	152

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404547-1569007244/watcher-4404547-1569007244 -o /tmp/evaluation-result-4404547-1569007244/solver-4404547-1569007244 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569000410-26068 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2104293184 HOME/instance-4404547-1569007244.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=28922, runsolver pid=28919
Current StackSize limit: 8192 KiB


[startup+0.100152 s]*
/proc/loadavg: 7.57 8.05 8.24 2/211 28943
/proc/meminfo: memFree=18393856/32770624 swapFree=66986244/67108860
[pid=28922] ppid=28919 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28922/stat : 28922 (xcsp3-exec) S 28919 28922 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476981290 115843072 363 33554432000 4194304 5098028 140731663167952 140731663166056 140364201345660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19234816 140731663172469 140731663172713 140731663172713 140731663175626 0
/proc/28922/statm: 28282 363 304 221 0 87 0
[pid=28924] ppid=28922 vsize=28227396 memory=28896 CPUtime=0.12 cores=0-7
/proc/28924/stat : 28924 (java) S 28922 28922 26041 0 -1 1077944320 5700 0 0 0 11 1 0 0 20 0 20 0 476981290 28904853504 7224 33554432000 4194304 4196468 140722317387536 140722317370080 139698160381687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
/proc/28924/statm: 7056849 7224 3121 1 0 7019032 0
[pid=28924/tid=28925] ppid=28922 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/28924/task/28925/stat : 28925 (java) R 28922 28922 26041 0 -1 4202560 3610 0 0 0 8 0 0 0 20 0 20 0 476981291 28904853504 7224 33554432000 4194304 4196468 140722317387536 139698164614960 139698160393622 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28926] ppid=28922 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28926/stat : 28926 (java) S 28922 28922 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476981291 28904853504 7224 33554432000 4194304 4196468 140722317387536 139698113002128 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28927] ppid=28922 vsize=28227396 memory=139854726149965 CPUtime=0 cores=0-7
/proc/28924/task/28927/stat : 28927 (java) S 28922 28922 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476981291 28904853504 7224 33554432000 4194304 4196468 140722317387536 139698111949328 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28928] ppid=28922 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28928/stat : 28928 (java) S 28922 28922 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476981291 28904853504 7224 33554432000 4194304 4196468 140722317387536 139698110896528 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28929] ppid=28922 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28929/stat : 28929 (java) S 28922 28922 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476981291 28904853504 7224 33554432000 4194304 4196468 140722317387536 139698109843728 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28930] ppid=28922 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28930/stat : 28930 (java) S 28922 28922 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476981291 28904853504 7224 33554432000 4194304 4196468 140722317387536 139698108791952 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28931] ppid=28922 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28924/task/28931/stat : 28931 (java) S 28922 28922 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476981291 28904853504 7224 33554432000 4194304 4196468 140722317387536 139698107739152 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28932] ppid=28922 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28932/stat : 28932 (java) S 28922 28922 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476981291 28904853504 7224 33554432000 4194304 4196468 140722317387536 139697705573264 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28933] ppid=28922 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28933/stat : 28933 (java) S 28922 28922 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476981292 28904853504 7224 33554432000 4194304 4196468 140722317387536 139697704520464 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28934] ppid=28922 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28934/stat : 28934 (java) S 28922 28922 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476981293 28904853504 7224 33554432000 4194304 4196468 140722317387536 139696757770608 139698160392834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28935] ppid=28922 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28935/stat : 28935 (java) S 28922 28922 26041 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476981293 28904853504 7224 33554432000 4194304 4196468 140722317387536 139696756716576 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28936] ppid=28922 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28936/stat : 28936 (java) S 28922 28922 26041 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476981294 28904853504 7224 33554432000 4194304 4196468 140722317387536 139696755663728 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28937] ppid=28922 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28937/stat : 28937 (java) S 28922 28922 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476981296 28904853504 7224 33554432000 4194304 4196468 140722317387536 139696754612048 139698160400283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28938] ppid=28922 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28938/stat : 28938 (java) S 28922 28922 26041 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 476981296 28904853504 7224 33554432000 4194304 4196468 140722317387536 139696753560432 139698160392834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28939] ppid=28922 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28939/stat : 28939 (java) S 28922 28922 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476981296 28904853504 7224 33554432000 4194304 4196468 140722317387536 139696752507632 139698160392834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28940] ppid=28922 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28940/stat : 28940 (java) S 28922 28922 26041 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 476981296 28904853504 7224 33554432000 4194304 4196468 140722317387536 139696751454832 139698160392834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28941] ppid=28922 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/28924/task/28941/stat : 28941 (java) R 28922 28922 26041 0 -1 4202560 347 0 0 0 1 0 0 0 20 0 20 0 476981296 28904853504 7224 33554432000 4194304 4196468 140722317387536 139696750402032 139698139186000 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28942] ppid=28922 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28942/stat : 28942 (java) S 28922 28922 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476981296 28904853504 7224 33554432000 4194304 4196468 140722317387536 139696749349472 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28943] ppid=28922 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28924/task/28943/stat : 28943 (java) S 28922 28922 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476981297 28904853504 7224 33554432000 4194304 4196468 140722317387536 139696748296752 139698160392834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30348 KiB

[startup+0.210217 s]*
/proc/loadavg: 7.57 8.05 8.24 2/211 28943
/proc/meminfo: memFree=18381524/32770624 swapFree=66986244/67108860
[pid=28922] ppid=28919 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28922/stat : 28922 (xcsp3-exec) S 28919 28922 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476981290 115843072 363 33554432000 4194304 5098028 140731663167952 140731663166056 140364201345660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19234816 140731663172469 140731663172713 140731663172713 140731663175626 0
/proc/28922/statm: 28282 363 304 221 0 87 0
[pid=28924] ppid=28922 vsize=28227396 memory=40836 CPUtime=0.34 cores=0-7
/proc/28924/stat : 28924 (java) S 28922 28922 26041 0 -1 1077944320 9511 0 0 0 31 3 0 0 20 0 20 0 476981290 28904853504 10209 33554432000 4194304 4196468 140722317387536 140722317370080 139698160381687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
/proc/28924/statm: 7056849 10209 3278 1 0 7019032 0
[pid=28924/tid=28925] ppid=28922 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/28924/task/28925/stat : 28925 (java) R 28922 28922 26041 0 -1 4202560 6641 0 0 0 18 2 0 0 20 0 20 0 476981291 28904853504 10209 33554432000 4194304 4196468 140722317387536 139698164614416 139698160403613 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28926] ppid=28922 vsize=28227396 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/28924/task/28926/stat : 28926 (java) S 28922 28922 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476981291 28904853504 10209 33554432000 4194304 4196468 140722317387536 139698113002128 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28927] ppid=28922 vsize=28227396 memory=288370230877841024 CPUtime=0 cores=0-7
/proc/28924/task/28927/stat : 28927 (java) S 28922 28922 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476981291 28904853504 10209 33554432000 4194304 4196468 140722317387536 139698111949328 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28928] ppid=28922 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28924/task/28928/stat : 28928 (java) S 28922 28922 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476981291 28904853504 10209 33554432000 4194304 4196468 140722317387536 139698110896528 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28929] ppid=28922 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28929/stat : 28929 (java) S 28922 28922 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476981291 28904853504 10209 33554432000 4194304 4196468 140722317387536 139698109843728 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28930] ppid=28922 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28930/stat : 28930 (java) S 28922 28922 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476981291 28904853504 10209 33554432000 4194304 4196468 140722317387536 139698108791952 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28931] ppid=28922 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28924/task/28931/stat : 28931 (java) S 28922 28922 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476981291 28904853504 10209 33554432000 4194304 4196468 140722317387536 139698107739152 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28932] ppid=28922 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28932/stat : 28932 (java) S 28922 28922 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476981291 28904853504 10209 33554432000 4194304 4196468 140722317387536 139697705573264 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28933] ppid=28922 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28933/stat : 28933 (java) S 28922 28922 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476981292 28904853504 10209 33554432000 4194304 4196468 140722317387536 139697704520464 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28934] ppid=28922 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28934/stat : 28934 (java) S 28922 28922 26041 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476981293 28904853504 10209 33554432000 4194304 4196468 140722317387536 139696757770608 139698160392834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28935] ppid=28922 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28935/stat : 28935 (java) S 28922 28922 26041 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476981293 28904853504 10209 33554432000 4194304 4196468 140722317387536 139696756716576 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28936] ppid=28922 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28936/stat : 28936 (java) S 28922 28922 26041 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476981294 28904853504 10209 33554432000 4194304 4196468 140722317387536 139696755663728 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28937] ppid=28922 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28937/stat : 28937 (java) S 28922 28922 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476981296 28904853504 10209 33554432000 4194304 4196468 140722317387536 139696754612048 139698160400283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28938] ppid=28922 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28938/stat : 28938 (java) S 28922 28922 26041 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 476981296 28904853504 10209 33554432000 4194304 4196468 140722317387536 139696753560432 139698160392834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28939] ppid=28922 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/28924/task/28939/stat : 28939 (java) S 28922 28922 26041 0 -1 1077944384 343 0 0 0 2 0 0 0 20 0 20 0 476981296 28904853504 10209 33554432000 4194304 4196468 140722317387536 139696752507632 139698160392834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28940] ppid=28922 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/28924/task/28940/stat : 28940 (java) S 28922 28922 26041 0 -1 1077944384 183 0 0 0 1 0 0 0 20 0 20 0 476981296 28904853504 10209 33554432000 4194304 4196468 140722317387536 139696751454832 139698160392834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28941] ppid=28922 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/28924/task/28941/stat : 28941 (java) S 28922 28922 26041 0 -1 1077944384 719 0 0 0 7 0 0 0 20 0 20 0 476981296 28904853504 10209 33554432000 4194304 4196468 140722317387536 139696750402032 139698160392834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28942] ppid=28922 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28942/stat : 28942 (java) S 28922 28922 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476981296 28904853504 10209 33554432000 4194304 4196468 140722317387536 139696749349472 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28943] ppid=28922 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28924/task/28943/stat : 28943 (java) S 28922 28922 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476981297 28904853504 10209 33554432000 4194304 4196468 140722317387536 139696748296752 139698160392834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42288 KiB

[startup+0.309558 s]*
/proc/loadavg: 7.57 8.05 8.24 3/211 28943
/proc/meminfo: memFree=18375096/32770624 swapFree=66986244/67108860
[pid=28922] ppid=28919 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28922/stat : 28922 (xcsp3-exec) S 28919 28922 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476981290 115843072 363 33554432000 4194304 5098028 140731663167952 140731663166056 140364201345660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19234816 140731663172469 140731663172713 140731663172713 140731663175626 0
/proc/28922/statm: 28282 363 304 221 0 87 0
[pid=28924] ppid=28922 vsize=28231652 memory=50160 CPUtime=0.51 cores=0-7
/proc/28924/stat : 28924 (java) S 28922 28922 26041 0 -1 1077944320 10865 0 0 0 48 3 0 0 20 0 20 0 476981290 28909211648 12540 33554432000 4194304 4196468 140722317387536 140722317370080 139698160381687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
/proc/28924/statm: 7057913 12540 3365 1 0 7019032 0
[pid=28924/tid=28925] ppid=28922 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/28924/task/28925/stat : 28925 (java) R 28922 28922 26041 0 -1 4202560 7735 0 0 0 27 2 0 0 20 0 20 0 476981291 28909211648 12540 33554432000 4194304 4196468 140722317387536 139698164612800 139698144462174 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28926] ppid=28922 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28926/stat : 28926 (java) S 28922 28922 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476981291 28909211648 12540 33554432000 4194304 4196468 140722317387536 139698113002128 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28927] ppid=28922 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28927/stat : 28927 (java) S 28922 28922 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476981291 28909211648 12540 33554432000 4194304 4196468 140722317387536 139698111949328 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28928] ppid=28922 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28928/stat : 28928 (java) S 28922 28922 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476981291 28909211648 12540 33554432000 4194304 4196468 140722317387536 139698110896528 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28929] ppid=28922 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28929/stat : 28929 (java) S 28922 28922 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476981291 28909211648 12540 33554432000 4194304 4196468 140722317387536 139698109843728 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28930] ppid=28922 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28930/stat : 28930 (java) S 28922 28922 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476981291 28909211648 12540 33554432000 4194304 4196468 140722317387536 139698108791952 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28931] ppid=28922 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28931/stat : 28931 (java) S 28922 28922 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476981291 28909211648 12540 33554432000 4194304 4196468 140722317387536 139698107739152 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28932] ppid=28922 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28932/stat : 28932 (java) S 28922 28922 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476981291 28909211648 12540 33554432000 4194304 4196468 140722317387536 139697705573264 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28933] ppid=28922 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28933/stat : 28933 (java) S 28922 28922 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476981292 28909211648 12540 33554432000 4194304 4196468 140722317387536 139697704520464 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28934] ppid=28922 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28934/stat : 28934 (java) S 28922 28922 26041 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476981293 28909211648 12540 33554432000 4194304 4196468 140722317387536 139696757770608 139698160392834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28935] ppid=28922 vsize=28231652 memory=279709208485248 CPUtime=0 cores=0-7
/proc/28924/task/28935/stat : 28935 (java) S 28922 28922 26041 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476981293 28909211648 12540 33554432000 4194304 4196468 140722317387536 139696756716576 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28936] ppid=28922 vsize=28231652 memory=279709208489856 CPUtime=0 cores=0-7
/proc/28924/task/28936/stat : 28936 (java) S 28922 28922 26041 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476981294 28909211648 12540 33554432000 4194304 4196468 140722317387536 139696755663728 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28937] ppid=28922 vsize=28231652 memory=279709208494464 CPUtime=0 cores=0-7
/proc/28924/task/28937/stat : 28937 (java) S 28922 28922 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476981296 28909211648 12540 33554432000 4194304 4196468 140722317387536 139696754612048 139698160400283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28938] ppid=28922 vsize=28231652 memory=279709208499072 CPUtime=0.01 cores=0-7
/proc/28924/task/28938/stat : 28938 (java) S 28922 28922 26041 0 -1 1077944384 341 0 0 0 1 0 0 0 20 0 20 0 476981296 28909211648 12540 33554432000 4194304 4196468 140722317387536 139696753560432 139698160392834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28939] ppid=28922 vsize=28231652 memory=279709208503680 CPUtime=0.03 cores=0-7
/proc/28924/task/28939/stat : 28939 (java) S 28922 28922 26041 0 -1 1077944384 344 0 0 0 3 0 0 0 20 0 20 0 476981296 28909211648 12540 33554432000 4194304 4196468 140722317387536 139696752507632 139698160392834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28940] ppid=28922 vsize=28231652 memory=279709208508288 CPUtime=0.03 cores=0-7
/proc/28924/task/28940/stat : 28940 (java) R 28922 28922 26041 0 -1 4202560 294 0 0 0 3 0 0 0 20 0 20 0 476981296 28909211648 12578 33554432000 4194304 4196468 140722317387536 139696751435944 139698141082282 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28941] ppid=28922 vsize=28231652 memory=279709208512896 CPUtime=0.12 cores=0-7
/proc/28924/task/28941/stat : 28941 (java) S 28922 28922 26041 0 -1 1077944384 839 0 0 0 12 0 0 0 20 0 20 0 476981296 28909211648 12578 33554432000 4194304 4196468 140722317387536 139696750402032 139698160392834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28942] ppid=28922 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28942/stat : 28942 (java) S 28922 28922 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476981296 28909211648 12578 33554432000 4194304 4196468 140722317387536 139696749349472 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28943] ppid=28922 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/28924/task/28943/stat : 28943 (java) S 28922 28922 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476981297 28909211648 12578 33554432000 4194304 4196468 140722317387536 139696748296752 139698160392834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51612 KiB

[startup+0.700895 s]
/proc/loadavg: 7.57 8.05 8.24 2/211 28943
/proc/meminfo: memFree=18358272/32770624 swapFree=66986244/67108860
[pid=28922] ppid=28919 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28922/stat : 28922 (xcsp3-exec) S 28919 28922 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476981290 115843072 363 33554432000 4194304 5098028 140731663167952 140731663166056 140364201345660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19234816 140731663172469 140731663172713 140731663172713 140731663175626 0
/proc/28922/statm: 28282 363 304 221 0 87 0
[pid=28924] ppid=28922 vsize=28233776 memory=162076 CPUtime=1.76 cores=0-7
/proc/28924/stat : 28924 (java) S 28922 28922 26041 0 -1 1077944320 14934 0 0 0 170 6 0 0 20 0 20 0 476981290 28911386624 40519 33554432000 4194304 4196468 140722317387536 140722317370080 139698160381687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
/proc/28924/statm: 7058444 40519 3457 1 0 7019544 0
[pid=28924/tid=28925] ppid=28922 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7
/proc/28924/task/28925/stat : 28925 (java) R 28922 28922 26041 0 -1 4202560 8863 0 0 0 63 4 0 0 20 0 20 0 476981291 28911386624 40519 33554432000 4194304 4196468 140722317387536 139698164620064 139697791366036 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28926] ppid=28922 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28926/stat : 28926 (java) S 28922 28922 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476981291 28911386624 40519 33554432000 4194304 4196468 140722317387536 139698113002128 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28927] ppid=28922 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28927/stat : 28927 (java) S 28922 28922 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476981291 28911386624 40519 33554432000 4194304 4196468 140722317387536 139698111949328 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28928] ppid=28922 vsize=28233776 memory=1056 CPUtime=0 cores=0-7
/proc/28924/task/28928/stat : 28928 (java) S 28922 28922 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476981291 28911386624 40519 33554432000 4194304 4196468 140722317387536 139698110896528 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0

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

[pid=28924/tid=28941] ppid=28922 vsize=28769364 memory=-6948614817169703622 CPUtime=0.92 cores=0-7
/proc/28924/task/28941/stat : 28941 (java) S 28922 28922 26041 0 -1 1077944384 4685 0 0 0 90 2 0 0 20 0 28 0 476981296 29459828736 233238 33554432000 4194304 4196468 140722317387536 139696750402032 139698160392834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28942] ppid=28922 vsize=28769364 memory=-4695052241013923951 CPUtime=0 cores=0-7
/proc/28924/task/28942/stat : 28942 (java) S 28922 28922 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476981296 29459828736 233238 33554432000 4194304 4196468 140722317387536 139696749349472 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28943] ppid=28922 vsize=28769364 memory=-3252517613199061085 CPUtime=0 cores=0-7
/proc/28924/task/28943/stat : 28943 (java) S 28922 28922 26041 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 28 0 476981297 29459828736 233238 33554432000 4194304 4196468 140722317387536 139696748296752 139698160392834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=29129] ppid=28922 vsize=28769364 memory=-2317720213663851332 CPUtime=3.04 cores=0-7
/proc/28924/task/29129/stat : 29129 (java) R 28922 28922 26041 0 -1 4202560 222 0 0 0 304 0 0 0 20 0 28 0 476981785 29459828736 233238 33554432000 4194304 4196468 140722317387536 139696735104432 139697794181301 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=29130] ppid=28922 vsize=28769364 memory=-4695052241013923951 CPUtime=2.96 cores=0-7
/proc/28924/task/29130/stat : 29130 (java) R 28922 28922 26041 0 -1 4202560 150 0 0 0 296 0 0 0 20 0 28 0 476981786 29459828736 233238 33554432000 4194304 4196468 140722317387536 139696739315864 139697798224215 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=29131] ppid=28922 vsize=28769364 memory=-2026666227646606628 CPUtime=2.89 cores=0-7
/proc/28924/task/29131/stat : 29131 (java) R 28922 28922 26041 0 -1 4202560 384 0 0 0 288 1 0 0 20 0 28 0 476981786 29459828736 233238 33554432000 4194304 4196468 140722317387536 139696731947352 139697794181363 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=29132] ppid=28922 vsize=28769364 memory=-3252517613199061085 CPUtime=2.84 cores=0-7
/proc/28924/task/29132/stat : 29132 (java) R 28922 28922 26041 0 -1 4202560 617 0 0 0 284 0 0 0 20 0 28 0 476981786 29459828736 233238 33554432000 4194304 4196468 140722317387536 139696733000408 139697797858678 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=29133] ppid=28922 vsize=28769364 memory=-6657000309100945312 CPUtime=2.96 cores=0-7
/proc/28924/task/29133/stat : 29133 (java) R 28922 28922 26041 0 -1 4202560 2678 0 0 0 296 0 0 0 20 0 28 0 476981786 29459828736 233238 33554432000 4194304 4196468 140722317387536 139696737210968 139697797440107 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=29134] ppid=28922 vsize=28769364 memory=-4866526899798303339 CPUtime=2.99 cores=0-7
/proc/28924/task/29134/stat : 29134 (java) R 28922 28922 26041 0 -1 4202560 2152 0 0 0 299 0 0 0 20 0 28 0 476981786 29459828736 233238 33554432000 4194304 4196468 140722317387536 139696738263072 139697794181323 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=29135] ppid=28922 vsize=28769364 memory=-4695052241013923951 CPUtime=2.98 cores=0-7
/proc/28924/task/29135/stat : 29135 (java) R 28922 28922 26041 0 -1 4202560 126 0 0 0 298 0 0 0 20 0 28 0 476981786 29459828736 233238 33554432000 4194304 4196468 140722317387536 139696728797720 139697797441108 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=29136] ppid=28922 vsize=28769364 memory=7235709453728239977 CPUtime=3.05 cores=0-7
/proc/28924/task/29136/stat : 29136 (java) R 28922 28922 26041 0 -1 4202560 123 0 0 0 305 0 0 0 20 0 28 0 476981786 29459828736 233238 33554432000 4194304 4196468 140722317387536 139696736157456 139697794181071 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
Current children cumulated CPU time: 55.95 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 934404 KiB

[startup+8.40183 s]
/proc/loadavg: 7.26 7.96 8.21 10/219 29136
/proc/meminfo: memFree=17490368/32770624 swapFree=66986244/67108860
[pid=28922] ppid=28919 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28922/stat : 28922 (xcsp3-exec) S 28919 28922 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476981290 115843072 363 33554432000 4194304 5098028 140731663167952 140731663166056 140364201345660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19234816 140731663172469 140731663172713 140731663172713 140731663175626 0
/proc/28922/statm: 28282 363 304 221 0 87 0
[pid=28924] ppid=28922 vsize=28769364 memory=932952 CPUtime=59.06 cores=0-7
/proc/28924/stat : 28924 (java) S 28922 28922 26041 0 -1 1077944320 77964 0 0 0 5764 142 0 0 20 0 28 0 476981290 29459828736 233238 33554432000 4194304 4196468 140722317387536 140722317370080 139698160381687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
/proc/28924/statm: 7192341 233238 3552 1 0 7153441 0
[pid=28924/tid=28925] ppid=28922 vsize=28769364 memory=6628 CPUtime=1.06 cores=0-7
/proc/28924/task/28925/stat : 28925 (java) S 28922 28922 26041 0 -1 1077944384 9238 0 0 0 98 8 0 0 20 0 28 0 476981291 29459828736 233238 33554432000 4194304 4196468 140722317387536 139698164622464 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28926] ppid=28922 vsize=28769364 memory=8836 CPUtime=0.62 cores=0-7
/proc/28924/task/28926/stat : 28926 (java) S 28922 28922 26041 0 -1 1077944384 3431 0 0 0 49 13 0 0 20 0 28 0 476981291 29459828736 233238 33554432000 4194304 4196468 140722317387536 139698113002128 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28927] ppid=28922 vsize=28769364 memory=11044 CPUtime=0.66 cores=0-7
/proc/28924/task/28927/stat : 28927 (java) S 28922 28922 26041 0 -1 1077944384 3465 0 0 0 50 16 0 0 20 0 28 0 476981291 29459828736 233238 33554432000 4194304 4196468 140722317387536 139698111949328 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28928] ppid=28922 vsize=28769364 memory=13252 CPUtime=0.62 cores=0-7
/proc/28924/task/28928/stat : 28928 (java) S 28922 28922 26041 0 -1 1077944384 3178 0 0 0 48 14 0 0 20 0 28 0 476981291 29459828736 233238 33554432000 4194304 4196468 140722317387536 139698110896528 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28929] ppid=28922 vsize=28769364 memory=15460 CPUtime=0.6 cores=0-7
/proc/28924/task/28929/stat : 28929 (java) S 28922 28922 26041 0 -1 1077944384 3161 0 0 0 48 12 0 0 20 0 28 0 476981291 29459828736 233238 33554432000 4194304 4196468 140722317387536 139698109843728 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28930] ppid=28922 vsize=28769364 memory=17668 CPUtime=0.65 cores=0-7
/proc/28924/task/28930/stat : 28930 (java) S 28922 28922 26041 0 -1 1077944384 3664 0 0 0 53 12 0 0 20 0 28 0 476981291 29459828736 233238 33554432000 4194304 4196468 140722317387536 139698108791952 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28931] ppid=28922 vsize=28769364 memory=19876 CPUtime=0.61 cores=0-7
/proc/28924/task/28931/stat : 28931 (java) S 28922 28922 26041 0 -1 1077944384 3502 0 0 0 50 11 0 0 20 0 28 0 476981291 29459828736 233238 33554432000 4194304 4196468 140722317387536 139698107739152 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28932] ppid=28922 vsize=28769364 memory=15526306778019 CPUtime=0.64 cores=0-7
/proc/28924/task/28932/stat : 28932 (java) S 28922 28922 26041 0 -1 1077944384 3591 0 0 0 49 15 0 0 20 0 28 0 476981291 29459828736 233238 33554432000 4194304 4196468 140722317387536 139697705573264 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28933] ppid=28922 vsize=28769364 memory=288230621803970871 CPUtime=0.58 cores=0-7
/proc/28924/task/28933/stat : 28933 (java) S 28922 28922 26041 0 -1 1077944384 3189 0 0 0 46 12 0 0 20 0 28 0 476981292 29459828736 233238 33554432000 4194304 4196468 140722317387536 139697704520464 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28934] ppid=28922 vsize=28769364 memory=13849668345924206 CPUtime=0.04 cores=0-7
/proc/28924/task/28934/stat : 28934 (java) S 28922 28922 26041 0 -1 1077944384 810 0 0 0 3 1 0 0 20 0 28 0 476981293 29459828736 233238 33554432000 4194304 4196468 140722317387536 139696757770608 139698160392834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28935] ppid=28922 vsize=28769364 memory=780 CPUtime=0 cores=0-7
/proc/28924/task/28935/stat : 28935 (java) S 28922 28922 26041 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 476981293 29459828736 233238 33554432000 4194304 4196468 140722317387536 139696756716640 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28936] ppid=28922 vsize=28769364 memory=3616 CPUtime=0 cores=0-7
/proc/28924/task/28936/stat : 28936 (java) S 28922 28922 26041 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 476981294 29459828736 233238 33554432000 4194304 4196468 140722317387536 139696755663744 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28937] ppid=28922 vsize=28769364 memory=1112 CPUtime=0 cores=0-7
/proc/28924/task/28937/stat : 28937 (java) S 28922 28922 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476981296 29459828736 233238 33554432000 4194304 4196468 140722317387536 139696754612048 139698160400283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28938] ppid=28922 vsize=28769364 memory=6048 CPUtime=2.56 cores=0-7
/proc/28924/task/28938/stat : 28938 (java) S 28922 28922 26041 0 -1 1077944384 6067 0 0 0 253 3 0 0 20 0 28 0 476981296 29459828736 233238 33554432000 4194304 4196468 140722317387536 139696753560432 139698160392834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28939] ppid=28922 vsize=28769364 memory=7552 CPUtime=2.43 cores=0-7
/proc/28924/task/28939/stat : 28939 (java) S 28922 28922 26041 0 -1 1077944384 6229 0 0 0 240 3 0 0 20 0 28 0 476981296 29459828736 233238 33554432000 4194304 4196468 140722317387536 139696752507632 139698160392834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28940] ppid=28922 vsize=28769364 memory=2832 CPUtime=2.69 cores=0-7
/proc/28924/task/28940/stat : 28940 (java) S 28922 28922 26041 0 -1 1077944384 7666 0 0 0 267 2 0 0 20 0 28 0 476981296 29459828736 233238 33554432000 4194304 4196468 140722317387536 139696751454832 139698160392834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28941] ppid=28922 vsize=28769364 memory=1084 CPUtime=0.92 cores=0-7
/proc/28924/task/28941/stat : 28941 (java) S 28922 28922 26041 0 -1 1077944384 4685 0 0 0 90 2 0 0 20 0 28 0 476981296 29459828736 233238 33554432000 4194304 4196468 140722317387536 139696750402032 139698160392834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28942] ppid=28922 vsize=28769364 memory=14012 CPUtime=0 cores=0-7
/proc/28924/task/28942/stat : 28942 (java) S 28922 28922 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476981296 29459828736 233238 33554432000 4194304 4196468 140722317387536 139696749349472 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28943] ppid=28922 vsize=28769364 memory=14048 CPUtime=0 cores=0-7
/proc/28924/task/28943/stat : 28943 (java) S 28922 28922 26041 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 28 0 476981297 29459828736 233238 33554432000 4194304 4196468 140722317387536 139696748296752 139698160392834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=29129] ppid=28922 vsize=28769364 memory=29668 CPUtime=3.43 cores=0-7
/proc/28924/task/29129/stat : 29129 (java) R 28922 28922 26041 0 -1 4202560 313 0 0 0 343 0 0 0 20 0 28 0 476981785 29459828736 233238 33554432000 4194304 4196468 140722317387536 139696735103272 139697794181472 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=29130] ppid=28922 vsize=28769364 memory=2120 CPUtime=3.35 cores=0-7
/proc/28924/task/29130/stat : 29130 (java) R 28922 28922 26041 0 -1 4202560 177 0 0 0 335 0 0 0 20 0 28 0 476981786 29459828736 233238 33554432000 4194304 4196468 140722317387536 139696739315864 139697797859101 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=29131] ppid=28922 vsize=28769364 memory=6791534058613427641 CPUtime=3.28 cores=0-7
/proc/28924/task/29131/stat : 29131 (java) R 28922 28922 26041 0 -1 4202560 504 0 0 0 327 1 0 0 20 0 28 0 476981786 29459828736 233238 33554432000 4194304 4196468 140722317387536 139696731947272 139697797858395 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=29132] ppid=28922 vsize=28769364 memory=8329294824090543255 CPUtime=3.22 cores=0-7
/proc/28924/task/29132/stat : 29132 (java) R 28922 28922 26041 0 -1 4202560 802 0 0 0 322 0 0 0 20 0 28 0 476981786 29459828736 233238 33554432000 4194304 4196468 140722317387536 139696733000408 139697794181428 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=29133] ppid=28922 vsize=28769364 memory=-7518891959079781826 CPUtime=3.36 cores=0-7
/proc/28924/task/29133/stat : 29133 (java) R 28922 28922 26041 0 -1 4202560 2806 0 0 0 336 0 0 0 20 0 28 0 476981786 29459828736 233238 33554432000 4194304 4196468 140722317387536 139696737210968 139697797440368 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=29134] ppid=28922 vsize=28769364 memory=-6168368575958768251 CPUtime=3.38 cores=0-7
/proc/28924/task/29134/stat : 29134 (java) R 28922 28922 26041 0 -1 4202560 2326 0 0 0 338 0 0 0 20 0 28 0 476981786 29459828736 233238 33554432000 4194304 4196468 140722317387536 139696738263072 139697797859032 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=29135] ppid=28922 vsize=28769364 memory=6944656592455097440 CPUtime=3.37 cores=0-7
/proc/28924/task/29135/stat : 29135 (java) R 28922 28922 26041 0 -1 4202560 156 0 0 0 337 0 0 0 20 0 28 0 476981786 29459828736 233238 33554432000 4194304 4196468 140722317387536 139696728797720 139697794181258 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=29136] ppid=28922 vsize=28769364 memory=0 CPUtime=3.44 cores=0-7
/proc/28924/task/29136/stat : 29136 (java) R 28922 28922 26041 0 -1 4202560 151 0 0 0 344 0 0 0 20 0 28 0 476981786 29459828736 233238 33554432000 4194304 4196468 140722317387536 139696736157592 139697794181071 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
Current children cumulated CPU time: 59.06 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 934404 KiB

[startup+8.50117 s]
/proc/loadavg: 7.26 7.96 8.21 10/219 29136
/proc/meminfo: memFree=17490368/32770624 swapFree=66986244/67108860
[pid=28922] ppid=28919 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28922/stat : 28922 (xcsp3-exec) S 28919 28922 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476981290 115843072 363 33554432000 4194304 5098028 140731663167952 140731663166056 140364201345660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19234816 140731663172469 140731663172713 140731663172713 140731663175626 0
/proc/28922/statm: 28282 363 304 221 0 87 0
[pid=28924] ppid=28922 vsize=28769364 memory=932980 CPUtime=59.72 cores=0-7
/proc/28924/stat : 28924 (java) S 28922 28922 26041 0 -1 1077944320 78541 0 0 0 5830 142 0 0 20 0 28 0 476981290 29459828736 233245 33554432000 4194304 4196468 140722317387536 140722317370080 139698160381687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
/proc/28924/statm: 7192341 233245 3552 1 0 7153441 0
[pid=28924/tid=28925] ppid=28922 vsize=28769364 memory=932952 CPUtime=1.06 cores=0-7
/proc/28924/task/28925/stat : 28925 (java) S 28922 28922 26041 0 -1 1077944384 9238 0 0 0 98 8 0 0 20 0 28 0 476981291 29459828736 233245 33554432000 4194304 4196468 140722317387536 139698164622464 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28926] ppid=28922 vsize=28769364 memory=0 CPUtime=0.62 cores=0-7
/proc/28924/task/28926/stat : 28926 (java) S 28922 28922 26041 0 -1 1077944384 3431 0 0 0 49 13 0 0 20 0 28 0 476981291 29459828736 233245 33554432000 4194304 4196468 140722317387536 139698113002128 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28927] ppid=28922 vsize=28769364 memory=5860981295129521507 CPUtime=0.66 cores=0-7
/proc/28924/task/28927/stat : 28927 (java) S 28922 28922 26041 0 -1 1077944384 3465 0 0 0 50 16 0 0 20 0 28 0 476981291 29459828736 233245 33554432000 4194304 4196468 140722317387536 139698111949328 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28928] ppid=28922 vsize=28769364 memory=6224941582683824999 CPUtime=0.62 cores=0-7
/proc/28924/task/28928/stat : 28928 (java) S 28922 28922 26041 0 -1 1077944384 3178 0 0 0 48 14 0 0 20 0 28 0 476981291 29459828736 233245 33554432000 4194304 4196468 140722317387536 139698110896528 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28929] ppid=28922 vsize=28769364 memory=932952 CPUtime=0.6 cores=0-7
/proc/28924/task/28929/stat : 28929 (java) S 28922 28922 26041 0 -1 1077944384 3161 0 0 0 48 12 0 0 20 0 28 0 476981291 29459828736 233245 33554432000 4194304 4196468 140722317387536 139698109843728 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28930] ppid=28922 vsize=28769364 memory=8514726395714820750 CPUtime=0.65 cores=0-7
/proc/28924/task/28930/stat : 28930 (java) S 28922 28922 26041 0 -1 1077944384 3664 0 0 0 53 12 0 0 20 0 28 0 476981291 29459828736 233245 33554432000 4194304 4196468 140722317387536 139698108791952 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28931] ppid=28922 vsize=28769364 memory=7822038051842263957 CPUtime=0.61 cores=0-7
/proc/28924/task/28931/stat : 28931 (java) S 28922 28922 26041 0 -1 1077944384 3502 0 0 0 50 11 0 0 20 0 28 0 476981291 29459828736 233245 33554432000 4194304 4196468 140722317387536 139698107739152 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28932] ppid=28922 vsize=28769364 memory=0 CPUtime=0.64 cores=0-7
/proc/28924/task/28932/stat : 28932 (java) S 28922 28922 26041 0 -1 1077944384 3591 0 0 0 49 15 0 0 20 0 28 0 476981291 29459828736 233245 33554432000 4194304 4196468 140722317387536 139697705573264 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28933] ppid=28922 vsize=28769364 memory=0 CPUtime=0.58 cores=0-7
/proc/28924/task/28933/stat : 28933 (java) S 28922 28922 26041 0 -1 1077944384 3189 0 0 0 46 12 0 0 20 0 28 0 476981292 29459828736 233245 33554432000 4194304 4196468 140722317387536 139697704520464 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28934] ppid=28922 vsize=28769364 memory=0 CPUtime=0.04 cores=0-7
/proc/28924/task/28934/stat : 28934 (java) S 28922 28922 26041 0 -1 1077944384 810 0 0 0 3 1 0 0 20 0 28 0 476981293 29459828736 233245 33554432000 4194304 4196468 140722317387536 139696757770608 139698160392834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28935] ppid=28922 vsize=28769364 memory=2004 CPUtime=0 cores=0-7
/proc/28924/task/28935/stat : 28935 (java) S 28922 28922 26041 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 476981293 29459828736 233245 33554432000 4194304 4196468 140722317387536 139696756716640 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28936] ppid=28922 vsize=28769364 memory=1416 CPUtime=0 cores=0-7
/proc/28924/task/28936/stat : 28936 (java) S 28922 28922 26041 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 476981294 29459828736 233245 33554432000 4194304 4196468 140722317387536 139696755663744 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28937] ppid=28922 vsize=28769364 memory=1712 CPUtime=0 cores=0-7
/proc/28924/task/28937/stat : 28937 (java) S 28922 28922 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476981296 29459828736 233245 33554432000 4194304 4196468 140722317387536 139696754612048 139698160400283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28938] ppid=28922 vsize=28769364 memory=692 CPUtime=2.56 cores=0-7
/proc/28924/task/28938/stat : 28938 (java) S 28922 28922 26041 0 -1 1077944384 6069 0 0 0 253 3 0 0 20 0 28 0 476981296 29459828736 233245 33554432000 4194304 4196468 140722317387536 139696753560432 139698160392834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28939] ppid=28922 vsize=28769364 memory=7521970574119560047 CPUtime=2.43 cores=0-7
/proc/28924/task/28939/stat : 28939 (java) S 28922 28922 26041 0 -1 1077944384 6231 0 0 0 240 3 0 0 20 0 28 0 476981296 29459828736 233245 33554432000 4194304 4196468 140722317387536 139696752507632 139698160392834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28940] ppid=28922 vsize=28769364 memory=7521970574119560047 CPUtime=2.69 cores=0-7
/proc/28924/task/28940/stat : 28940 (java) S 28922 28922 26041 0 -1 1077944384 7668 0 0 0 267 2 0 0 20 0 28 0 476981296 29459828736 233245 33554432000 4194304 4196468 140722317387536 139696751454832 139698160392834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28941] ppid=28922 vsize=28769364 memory=-7750001083477550754 CPUtime=0.92 cores=0-7
/proc/28924/task/28941/stat : 28941 (java) S 28922 28922 26041 0 -1 1077944384 4923 0 0 0 90 2 0 0 20 0 28 0 476981296 29459828736 233245 33554432000 4194304 4196468 140722317387536 139696750402032 139698160392834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28942] ppid=28922 vsize=28769364 memory=139854726153601 CPUtime=0 cores=0-7
/proc/28924/task/28942/stat : 28942 (java) S 28922 28922 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476981296 29459828736 233245 33554432000 4194304 4196468 140722317387536 139696749349472 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=28943] ppid=28922 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/28924/task/28943/stat : 28943 (java) S 28922 28922 26041 0 -1 1077944384 229 0 0 0 0 0 0 0 20 0 28 0 476981297 29459828736 233245 33554432000 4194304 4196468 140722317387536 139696748296752 139698160392834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=29129] ppid=28922 vsize=28769364 memory=5792262852892967008 CPUtime=3.53 cores=0-7
/proc/28924/task/29129/stat : 29129 (java) R 28922 28922 26041 0 -1 4202560 322 0 0 0 353 0 0 0 20 0 28 0 476981785 29459828736 233245 33554432000 4194304 4196468 140722317387536 139696735103272 139697794181301 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=29130] ppid=28922 vsize=28769364 memory=0 CPUtime=3.43 cores=0-7
/proc/28924/task/29130/stat : 29130 (java) S 28922 28922 26041 0 -1 1077944384 195 0 0 0 343 0 0 0 20 0 28 0 476981786 29459828736 233245 33554432000 4194304 4196468 140722317387536 139696739320464 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=29131] ppid=28922 vsize=28769364 memory=0 CPUtime=3.36 cores=0-7
/proc/28924/task/29131/stat : 29131 (java) S 28922 28922 26041 0 -1 1077944384 510 0 0 0 335 1 0 0 20 0 28 0 476981786 29459828736 233245 33554432000 4194304 4196468 140722317387536 139696731952656 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=29132] ppid=28922 vsize=28769364 memory=1452 CPUtime=3.3 cores=0-7
/proc/28924/task/29132/stat : 29132 (java) S 28922 28922 26041 0 -1 1077944384 806 0 0 0 330 0 0 0 20 0 28 0 476981786 29459828736 233245 33554432000 4194304 4196468 140722317387536 139696733005200 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=29133] ppid=28922 vsize=28769364 memory=838464 CPUtime=3.43 cores=0-7
/proc/28924/task/29133/stat : 29133 (java) S 28922 28922 26041 0 -1 1077944384 3039 0 0 0 343 0 0 0 20 0 28 0 476981786 29459828736 233245 33554432000 4194304 4196468 140722317387536 139696737215760 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=29134] ppid=28922 vsize=28769364 memory=0 CPUtime=3.46 cores=0-7
/proc/28924/task/29134/stat : 29134 (java) S 28922 28922 26041 0 -1 1077944384 2345 0 0 0 346 0 0 0 20 0 28 0 476981786 29459828736 233245 33554432000 4194304 4196468 140722317387536 139696738268304 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=29135] ppid=28922 vsize=28769364 memory=1452 CPUtime=3.45 cores=0-7
/proc/28924/task/29135/stat : 29135 (java) S 28922 28922 26041 0 -1 1077944384 178 0 0 0 345 0 0 0 20 0 28 0 476981786 29459828736 233245 33554432000 4194304 4196468 140722317387536 139696728802320 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
[pid=28924/tid=29136] ppid=28922 vsize=28769364 memory=935280 CPUtime=3.52 cores=0-7
/proc/28924/task/29136/stat : 29136 (java) S 28922 28922 26041 0 -1 1077944384 171 0 0 0 352 0 0 0 20 0 28 0 476981786 29459828736 233245 33554432000 4194304 4196468 140722317387536 139696736162704 139698160391893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140722317390826 140722317390998 140722317390998 140722317393871 0
Current children cumulated CPU time: 59.72 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 934432 KiB

Child status: 0
Real time (s): 8.52588
CPU time (s): 59.7635
CPU user time (s): 58.3171
CPU system time (s): 1.44633
CPU usage (%): 700.965
Max. virtual memory (cumulated for all children) (KiB): 28882492
Max. memory (cumulated for all children) (KiB): 937380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.3171
system time used= 1.44633
maximum resident set size= 936324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80056
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= 7371
involuntary context switches= 1396


# summary of solver processes directly reported to runsolver:
#   pid: 28922
#   total CPU time (s): 59.7635
#   total CPU user time (s): 58.3171
#   total CPU system time (s): 1.44633

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.090368 second user time and 0.136682 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-20 20:10:23
IDJOB=4404547
IDBENCH=138376
IDSOLVER=2865
FILE ID=node104/4404547-1569007244
RUNJOBID= node104-1569000410-26068
PBS_JOBID= 21704740
Free space on /tmp= 9832 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff61.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-4404547-1569007244/watcher-4404547-1569007244 -o /tmp/evaluation-result-4404547-1569007244/solver-4404547-1569007244 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569000410-26068 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2104293184 HOME/instance-4404547-1569007244.xml

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

MD5SUM BENCH= 275e9239012ab7a817236ff89c8de286
RANDOM SEED=2104293184

node104.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	: 5334.09
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	: 5334.09
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	: 5334.09
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	: 5334.09
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:        18411396 kB
MemAvailable:   31826424 kB
Buffers:           97388 kB
Cached:         13242364 kB
SwapCached:        22652 kB
Active:          6656436 kB
Inactive:        6709960 kB
Active(anon):       4048 kB
Inactive(anon):    71920 kB
Active(file):    6652388 kB
Inactive(file):  6638040 kB
Unevictable:      109708 kB
Mlocked:          109708 kB
SwapTotal:      67108860 kB
SwapFree:       66986244 kB
Dirty:             26324 kB
Writeback:            12 kB
AnonPages:        115820 kB
Mapped:            52232 kB
Shmem:             40708 kB
Slab:             583352 kB
SReclaimable:     553060 kB
SUnreclaim:        30292 kB
KernelStack:        3424 kB
PageTables:         5440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 9804 MiB
End job on node104 at 2019-09-20 20:10:32