Trace number 4394047

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-06-14 parallelSAT (TO)927 19913.2 2520.1

General information on the benchmark

NameGolombRuler/GolombRuler-a3-s1/
GolombRuler-28-a3.xml
MD5SUM7bf94b2c859f2895a81dfe97f17444ea
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark914
Best CPU time to get the best result obtained on this benchmark19852.1
Satisfiable
(Un)Satisfiability was proved
Number of variables812
Number of constraints381
Number of domains2
Minimum domain size1000
Maximum domain size1001
Distribution of domain sizes[{"size":1000,"count":378},{"size":1001,"count":28}]
Minimum variable degree0
Maximum variable degree29
Distribution of variable degrees[{"degree":0,"count":406},{"degree":2,"count":378},{"degree":28,"count":26},{"degree":29,"count":2}]
Minimum constraint arity1
Maximum constraint arity378
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":378},{"arity":28,"count":1},{"arity":378,"count":1}]
Number of extensional constraints0
Number of intensional constraints379
Distribution of constraint types[{"type":"intension","count":379},{"type":"allDifferent","count":1},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

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-4394047-1568426250.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4394047-1568426250.xml, -tl, 20160s, -p, 8]
0.32/0.22	c 8 solvers in parallel
0.32/0.29	c parse instance...
2.89/1.09	c solve instance...
30.45/4.67	o 989 
55.62/7.85	o 974 
98.16/13.30	o 970 
187.10/24.58	o 967 
709.89/90.17	o 960 
1448.84/184.82	o 953 
4098.38/517.27	o 952 
4600.88/581.22	o 935 
19596.77/2480.36	o 927 
19912.52/2520.07	s SATISFIABLE
19912.52/2520.07	v <instantiation>
19912.52/2520.07	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[23][24] y[23][25] y[23][26] y[23][27] y[24][25] y[24][26] y[24][27] y[25][26] y[25][27] y[26][27] </list>
19912.52/2520.07	v 	<values>0 1 3 7 12 22 40 48 64 91 108 122 189 214 264 284 361 417 455 489 582 635 737 769 792 868 881 927 1 3 7 12 22 40 48 64 91 108 122 189 214 264 284 361 417 455 489 582 635 737 769 792 868 881 927 2 6 11 21 39 47 63 90 107 121 188 213 263 283 360 416 454 488 581 634 736 768 791 867 880 926 4 9 19 37 45 61 88 105 119 186 211 261 281 358 414 452 486 579 632 734 766 789 865 878 924 5 15 33 41 57 84 101 115 182 207 257 277 354 410 448 482 575 628 730 762 785 861 874 920 10 28 36 52 79 96 110 177 202 252 272 349 405 443 477 570 623 725 757 780 856 869 915 18 26 42 69 86 100 167 192 242 262 339 395 433 467 560 613 715 747 770 846 859 905 8 24 51 68 82 149 174 224 244 321 377 415 449 542 595 697 729 752 828 841 887 16 43 60 74 141 166 216 236 313 369 407 441 534 587 689 721 744 820 833 879 27 44 58 125 150 200 220 297 353 391 425 518 571 673 705 728 804 817 863 17 31 98 123 173 193 270 326 364 398 491 544 646 678 701 777 790 836 14 81 106 156 176 253 309 347 381 474 527 629 661 684 760 773 819 67 92 142 162 239 295 333 367 460 513 615 647 670 746 759 805 25 75 95 172 228 266 300 393 446 548 580 603 679 692 738 50 70 147 203 241 275 368 421 523 555 578 654 667 713 20 97 153 191 225 318 371 473 505 528 604 617 663 77 133 171 205 298 351 453 485 508 584 597 643 56 94 128 221 274 376 408 431 507 520 566 38 72 165 218 320 352 375 451 464 510 34 127 180 282 314 337 413 426 472 93 146 248 280 303 379 392 438 53 155 187 210 286 299 345 102 134 157 233 246 292 32 55 131 144 190 23 99 112 158 76 89 135 13 59 46 </values>
19912.52/2520.07	v </instantiation>
19912.52/2520.07	c Unexpected resolution interruption!

Verifier Data

OK	927

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394047-1568426250/watcher-4394047-1568426250 -o /tmp/evaluation-result-4394047-1568426250/solver-4394047-1568426250 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568417720-5422 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 583693874 HOME/instance-4394047-1568426250.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=6840, runsolver pid=6837
Current StackSize limit: 8192 KiB


[startup+0.10016 s]*
/proc/loadavg: 7.33 7.41 7.08 2/209 6861
/proc/meminfo: memFree=30436204/32770624 swapFree=66932108/67108860
[pid=6840] ppid=6837 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6840/stat : 6840 (xcsp3-exec) S 6837 6840 5395 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418892911 115843072 363 33554432000 4194304 5098028 140723662990176 140723662988280 140648404615804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8785920 140723662996342 140723662996585 140723662996585 140723662999498 0
/proc/6840/statm: 28282 363 305 221 0 87 0
[pid=6842] ppid=6840 vsize=28227388 memory=29148 CPUtime=0.12 cores=0-7
/proc/6842/stat : 6842 (java) S 6840 6840 5395 0 -1 1077944320 5683 0 0 0 11 1 0 0 20 0 20 0 418892911 28904845312 7287 33554432000 4194304 4196468 140720698669776 140720698652320 140694115225335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
/proc/6842/statm: 7056847 7287 3139 1 0 7019032 0
[pid=6842/tid=6843] ppid=6840 vsize=28227388 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/6842/task/6843/stat : 6843 (java) R 6840 6840 5395 0 -1 4202560 3590 0 0 0 8 0 0 0 20 0 20 0 418892911 28904845312 7287 33554432000 4194304 4196468 140720698669776 140694119458608 140694098567536 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6844] ppid=6840 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/6842/task/6844/stat : 6844 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 7287 33554432000 4194304 4196468 140720698669776 140694071778192 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6845] ppid=6840 vsize=28227388 memory=140228429547136 CPUtime=0 cores=0-7
/proc/6842/task/6845/stat : 6845 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 7287 33554432000 4194304 4196468 140720698669776 140694070725392 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6846] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6846/stat : 6846 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 7287 33554432000 4194304 4196468 140720698669776 140693664291984 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6847] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6847/stat : 6847 (java) S 6840 6840 5395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 7287 33554432000 4194304 4196468 140720698669776 140693663239184 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6848] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6848/stat : 6848 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 7287 33554432000 4194304 4196468 140720698669776 140693662185872 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6849] ppid=6840 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/6842/task/6849/stat : 6849 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 7287 33554432000 4194304 4196468 140720698669776 140693661133072 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6850] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6850/stat : 6850 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 7287 33554432000 4194304 4196468 140720698669776 140693660080784 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6851] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6851/stat : 6851 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 7287 33554432000 4194304 4196468 140720698669776 140693659027984 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6852] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6852/stat : 6852 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892914 28904845312 7287 33554432000 4194304 4196468 140720698669776 140692713564784 140694115236482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6853] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6853/stat : 6853 (java) S 6840 6840 5395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418892914 28904845312 7287 33554432000 4194304 4196468 140720698669776 140692712510752 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6854] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6854/stat : 6854 (java) S 6840 6840 5395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418892914 28904845312 7287 33554432000 4194304 4196468 140720698669776 140692711458416 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6855] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6855/stat : 6855 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892917 28904845312 7287 33554432000 4194304 4196468 140720698669776 140692710406736 140694115243931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6856] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6856/stat : 6856 (java) S 6840 6840 5395 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 20 0 418892917 28904845312 7287 33554432000 4194304 4196468 140720698669776 140692709353584 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6857] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6857/stat : 6857 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892917 28904845312 7287 33554432000 4194304 4196468 140720698669776 140692708300784 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6858] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6858/stat : 6858 (java) S 6840 6840 5395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418892917 28904845312 7287 33554432000 4194304 4196468 140720698669776 140692707248496 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6859] ppid=6840 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/6842/task/6859/stat : 6859 (java) R 6840 6840 5395 0 -1 4202560 348 0 0 0 1 0 0 0 20 0 20 0 418892917 28904845312 7287 33554432000 4194304 4196468 140720698669776 140692706195696 140694093745443 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6860] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6860/stat : 6860 (java) S 6840 6840 5395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418892917 28904845312 7287 33554432000 4194304 4196468 140720698669776 140692705143648 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6861] ppid=6840 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/6842/task/6861/stat : 6861 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892917 28904845312 7287 33554432000 4194304 4196468 140720698669776 140692704090928 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30600 KiB

[startup+0.210139 s]*
/proc/loadavg: 7.33 7.41 7.08 3/209 6861
/proc/meminfo: memFree=30422884/32770624 swapFree=66932108/67108860
[pid=6840] ppid=6837 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6840/stat : 6840 (xcsp3-exec) S 6837 6840 5395 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418892911 115843072 363 33554432000 4194304 5098028 140723662990176 140723662988280 140648404615804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8785920 140723662996342 140723662996585 140723662996585 140723662999498 0
/proc/6840/statm: 28282 363 305 221 0 87 0
[pid=6842] ppid=6840 vsize=28227388 memory=40832 CPUtime=0.32 cores=0-7
/proc/6842/stat : 6842 (java) S 6840 6840 5395 0 -1 1077944320 9473 0 0 0 30 2 0 0 20 0 20 0 418892911 28904845312 10208 33554432000 4194304 4196468 140720698669776 140720698652320 140694115225335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
/proc/6842/statm: 7056847 10208 3289 1 0 7019032 0
[pid=6842/tid=6843] ppid=6840 vsize=28227388 memory=29681743523217448 CPUtime=0.2 cores=0-7
/proc/6842/task/6843/stat : 6843 (java) R 6840 6840 5395 0 -1 4202560 6573 0 0 0 18 2 0 0 20 0 20 0 418892911 28904845312 10208 33554432000 4194304 4196468 140720698669776 140694119455056 140694107903349 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6844] ppid=6840 vsize=28227388 memory=288230587528118625 CPUtime=0 cores=0-7
/proc/6842/task/6844/stat : 6844 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 10208 33554432000 4194304 4196468 140720698669776 140694071778192 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6845] ppid=6840 vsize=28227388 memory=14555045819254424 CPUtime=0 cores=0-7
/proc/6842/task/6845/stat : 6845 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 10208 33554432000 4194304 4196468 140720698669776 140694070725392 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6846] ppid=6840 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/6842/task/6846/stat : 6846 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 10208 33554432000 4194304 4196468 140720698669776 140693664291984 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6847] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6847/stat : 6847 (java) S 6840 6840 5395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 10208 33554432000 4194304 4196468 140720698669776 140693663239184 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6848] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6848/stat : 6848 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 10208 33554432000 4194304 4196468 140720698669776 140693662185872 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6849] ppid=6840 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/6842/task/6849/stat : 6849 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 10208 33554432000 4194304 4196468 140720698669776 140693661133072 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6850] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6850/stat : 6850 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 10208 33554432000 4194304 4196468 140720698669776 140693660080784 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6851] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6851/stat : 6851 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892912 28904845312 10208 33554432000 4194304 4196468 140720698669776 140693659027984 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6852] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6852/stat : 6852 (java) S 6840 6840 5395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418892914 28904845312 10208 33554432000 4194304 4196468 140720698669776 140692713564784 140694115236482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6853] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6853/stat : 6853 (java) S 6840 6840 5395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418892914 28904845312 10208 33554432000 4194304 4196468 140720698669776 140692712510752 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6854] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6854/stat : 6854 (java) S 6840 6840 5395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418892914 28904845312 10208 33554432000 4194304 4196468 140720698669776 140692711458416 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6855] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6855/stat : 6855 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892917 28904845312 10208 33554432000 4194304 4196468 140720698669776 140692710406736 140694115243931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6856] ppid=6840 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/6842/task/6856/stat : 6856 (java) S 6840 6840 5395 0 -1 1077944384 664 0 0 0 1 0 0 0 20 0 20 0 418892917 28904845312 10208 33554432000 4194304 4196468 140720698669776 140692709353584 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6857] ppid=6840 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/6842/task/6857/stat : 6857 (java) S 6840 6840 5395 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 20 0 418892917 28904845312 10208 33554432000 4194304 4196468 140720698669776 140692708300784 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6858] ppid=6840 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/6842/task/6858/stat : 6858 (java) S 6840 6840 5395 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 20 0 418892917 28904845312 10208 33554432000 4194304 4196468 140720698669776 140692707248496 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6859] ppid=6840 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7
/proc/6842/task/6859/stat : 6859 (java) S 6840 6840 5395 0 -1 1077944384 773 0 0 0 8 0 0 0 20 0 20 0 418892917 28904845312 10208 33554432000 4194304 4196468 140720698669776 140692706195696 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6860] ppid=6840 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6860/stat : 6860 (java) S 6840 6840 5395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418892917 28904845312 10208 33554432000 4194304 4196468 140720698669776 140692705143648 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6861] ppid=6840 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/6842/task/6861/stat : 6861 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892917 28904845312 10208 33554432000 4194304 4196468 140720698669776 140692704090928 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42284 KiB

[startup+0.309529 s]*
/proc/loadavg: 7.33 7.41 7.08 3/209 6861
/proc/meminfo: memFree=30418144/32770624 swapFree=66932108/67108860
[pid=6840] ppid=6837 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6840/stat : 6840 (xcsp3-exec) S 6837 6840 5395 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418892911 115843072 363 33554432000 4194304 5098028 140723662990176 140723662988280 140648404615804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8785920 140723662996342 140723662996585 140723662996585 140723662999498 0
/proc/6840/statm: 28282 363 305 221 0 87 0
[pid=6842] ppid=6840 vsize=28231644 memory=49764 CPUtime=0.51 cores=0-7
/proc/6842/stat : 6842 (java) S 6840 6840 5395 0 -1 1077944320 10796 0 0 0 48 3 0 0 20 0 20 0 418892911 28909203456 12441 33554432000 4194304 4196468 140720698669776 140720698652320 140694115225335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
/proc/6842/statm: 7057911 12441 3366 1 0 7019032 0
[pid=6842/tid=6843] ppid=6840 vsize=28231644 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/6842/task/6843/stat : 6843 (java) R 6840 6840 5395 0 -1 4202560 7680 0 0 0 27 2 0 0 20 0 20 0 418892911 28909203456 12544 33554432000 4194304 4196468 140720698669776 140694119456448 140694115247261 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6844] ppid=6840 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6844/stat : 6844 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892912 28909203456 12544 33554432000 4194304 4196468 140720698669776 140694071778192 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6845] ppid=6840 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6845/stat : 6845 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892912 28909203456 12544 33554432000 4194304 4196468 140720698669776 140694070725392 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6846] ppid=6840 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6846/stat : 6846 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892912 28909203456 12544 33554432000 4194304 4196468 140720698669776 140693664291984 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6847] ppid=6840 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6847/stat : 6847 (java) S 6840 6840 5395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418892912 28909203456 12544 33554432000 4194304 4196468 140720698669776 140693663239184 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6848] ppid=6840 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6848/stat : 6848 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892912 28909203456 12544 33554432000 4194304 4196468 140720698669776 140693662185872 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6849] ppid=6840 vsize=28231644 memory=140228266388143 CPUtime=0 cores=0-7
/proc/6842/task/6849/stat : 6849 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892912 28909203456 12544 33554432000 4194304 4196468 140720698669776 140693661133072 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6850] ppid=6840 vsize=28231644 memory=140228266390448 CPUtime=0 cores=0-7
/proc/6842/task/6850/stat : 6850 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892912 28909203456 12544 33554432000 4194304 4196468 140720698669776 140693660080784 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6851] ppid=6840 vsize=28231644 memory=140228266392752 CPUtime=0 cores=0-7
/proc/6842/task/6851/stat : 6851 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892912 28909203456 12544 33554432000 4194304 4196468 140720698669776 140693659027984 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6852] ppid=6840 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6852/stat : 6852 (java) S 6840 6840 5395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418892914 28909203456 12544 33554432000 4194304 4196468 140720698669776 140692713564784 140694115236482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6853] ppid=6840 vsize=28231644 memory=280456532799376 CPUtime=0 cores=0-7
/proc/6842/task/6853/stat : 6853 (java) S 6840 6840 5395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418892914 28909203456 12544 33554432000 4194304 4196468 140720698669776 140692712510752 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6854] ppid=6840 vsize=28231644 memory=280456532797072 CPUtime=0 cores=0-7
/proc/6842/task/6854/stat : 6854 (java) S 6840 6840 5395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418892914 28909203456 12544 33554432000 4194304 4196468 140720698669776 140692711458416 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6855] ppid=6840 vsize=28231644 memory=280456532803984 CPUtime=0 cores=0-7
/proc/6842/task/6855/stat : 6855 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892917 28909203456 12544 33554432000 4194304 4196468 140720698669776 140692710406736 140694115243931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6856] ppid=6840 vsize=28231644 memory=280456532745264 CPUtime=0.02 cores=0-7
/proc/6842/task/6856/stat : 6856 (java) S 6840 6840 5395 0 -1 1077944384 669 0 0 0 2 0 0 0 20 0 20 0 418892917 28909203456 12544 33554432000 4194304 4196468 140720698669776 140692709353584 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6857] ppid=6840 vsize=28231644 memory=280456532817808 CPUtime=0.03 cores=0-7
/proc/6842/task/6857/stat : 6857 (java) R 6840 6840 5395 0 -1 4202560 201 0 0 0 3 0 0 0 20 0 20 0 418892917 28909203456 12544 33554432000 4194304 4196468 140720698669776 140692708299184 140694092877200 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6858] ppid=6840 vsize=28231644 memory=280456532824720 CPUtime=0.02 cores=0-7
/proc/6842/task/6858/stat : 6858 (java) S 6840 6840 5395 0 -1 1077944384 68 0 0 0 2 0 0 0 20 0 20 0 418892917 28909203456 12544 33554432000 4194304 4196468 140720698669776 140692707248496 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6859] ppid=6840 vsize=28231644 memory=280456532822416 CPUtime=0.12 cores=0-7
/proc/6842/task/6859/stat : 6859 (java) S 6840 6840 5395 0 -1 1077944384 878 0 0 0 12 0 0 0 20 0 20 0 418892917 28909203456 12544 33554432000 4194304 4196468 140720698669776 140692706195696 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6860] ppid=6840 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6860/stat : 6860 (java) S 6840 6840 5395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418892917 28909203456 12544 33554432000 4194304 4196468 140720698669776 140692705143648 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6861] ppid=6840 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/6842/task/6861/stat : 6861 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892917 28909203456 12544 33554432000 4194304 4196468 140720698669776 140692704090928 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51216 KiB

[startup+0.701055 s]
/proc/loadavg: 7.33 7.41 7.08 3/209 6861
/proc/meminfo: memFree=30405396/32770624 swapFree=66932108/67108860
[pid=6840] ppid=6837 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6840/stat : 6840 (xcsp3-exec) S 6837 6840 5395 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418892911 115843072 363 33554432000 4194304 5098028 140723662990176 140723662988280 140648404615804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8785920 140723662996342 140723662996585 140723662996585 140723662999498 0
/proc/6840/statm: 28282 363 305 221 0 87 0
[pid=6842] ppid=6840 vsize=28233768 memory=84812 CPUtime=1.62 cores=0-7
/proc/6842/stat : 6842 (java) S 6840 6840 5395 0 -1 1077944320 15448 0 0 0 156 6 0 0 20 0 20 0 418892911 28911378432 21203 33554432000 4194304 4196468 140720698669776 140720698652320 140694115225335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
/proc/6842/statm: 7058442 21203 3451 1 0 7019544 0
[pid=6842/tid=6843] ppid=6840 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7
/proc/6842/task/6843/stat : 6843 (java) R 6840 6840 5395 0 -1 4202560 9253 0 0 0 64 3 0 0 20 0 20 0 418892911 28911378432 21203 33554432000 4194304 4196468 140720698669776 140694119461328 140694115247357 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6844] ppid=6840 vsize=28233768 memory=2353 CPUtime=0 cores=0-7
/proc/6842/task/6844/stat : 6844 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892912 28911378432 21203 33554432000 4194304 4196468 140720698669776 140694071778192 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6845] ppid=6840 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/6842/task/6845/stat : 6845 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892912 28911378432 21203 33554432000 4194304 4196468 140720698669776 140694070725392 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6846] ppid=6840 vsize=28233768 memory=1228 CPUtime=0 cores=0-7
/proc/6842/task/6846/stat : 6846 (java) S 6840 6840 5395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892912 28911378432 21203 33554432000 4194304 4196468 140720698669776 140693664291984 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0

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

[pid=6842/tid=6999] ppid=6840 vsize=28834892 memory=926800 CPUtime=1822.72 cores=0-7
/proc/6842/task/6999/stat : 6999 (java) R 6840 6840 5395 0 -1 4202560 65310 0 0 0 182247 25 0 0 20 0 28 0 418951033 29526929408 231781 33554432000 4194304 4196468 140720698669776 140692688572728 140693758734783 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
Current children cumulated CPU time: 19296.1 s
Current children cumulated vsize: 28948020 KiB
Current children cumulated memory: 928576 KiB

[startup+2502.3 s]
/proc/loadavg: 8.33 8.11 8.07 9/218 7159
/proc/meminfo: memFree=29503552/32770624 swapFree=66932108/67108860
[pid=6840] ppid=6837 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6840/stat : 6840 (xcsp3-exec) S 6837 6840 5395 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418892911 115843072 363 33554432000 4194304 5098028 140723662990176 140723662988280 140648404615804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8785920 140723662996342 140723662996585 140723662996585 140723662999498 0
/proc/6840/statm: 28282 363 305 221 0 87 0
[pid=6842] ppid=6840 vsize=28834892 memory=955484 CPUtime=19771.5 cores=0-7
/proc/6842/stat : 6842 (java) S 6840 6840 5395 0 -1 1077944320 980966 0 0 0 1974950 2201 0 0 20 0 28 0 418892911 29526929408 238871 33554432000 4194304 4196468 140720698669776 140720698652320 140694115225335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
/proc/6842/statm: 7208723 238871 3547 1 0 7169825 0
[pid=6842/tid=6843] ppid=6840 vsize=28834892 memory=961128 CPUtime=1.11 cores=0-7
/proc/6842/task/6843/stat : 6843 (java) S 6840 6840 5395 0 -1 1077944384 12375 0 0 0 105 6 0 0 20 0 28 0 418892911 29526929408 238871 33554432000 4194304 4196468 140720698669776 140694119466112 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6844] ppid=6840 vsize=28834892 memory=982676 CPUtime=11.3 cores=0-7
/proc/6842/task/6844/stat : 6844 (java) S 6840 6840 5395 0 -1 1077944384 33587 0 0 0 1096 34 0 0 20 0 28 0 418892912 29526929408 238871 33554432000 4194304 4196468 140720698669776 140694071778192 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6845] ppid=6840 vsize=28834892 memory=966812 CPUtime=11.28 cores=0-7
/proc/6842/task/6845/stat : 6845 (java) S 6840 6840 5395 0 -1 1077944384 32748 0 0 0 1094 34 0 0 20 0 28 0 418892912 29526929408 238871 33554432000 4194304 4196468 140720698669776 140694070725392 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6846] ppid=6840 vsize=28834892 memory=959588 CPUtime=11.24 cores=0-7
/proc/6842/task/6846/stat : 6846 (java) S 6840 6840 5395 0 -1 1077944384 30605 0 0 0 1089 35 0 0 20 0 28 0 418892912 29526929408 238871 33554432000 4194304 4196468 140720698669776 140693664291984 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6847] ppid=6840 vsize=28834892 memory=280456534972416 CPUtime=11.29 cores=0-7
/proc/6842/task/6847/stat : 6847 (java) S 6840 6840 5395 0 -1 1077944384 30931 0 0 0 1094 35 0 0 20 0 28 0 418892912 29526929408 238871 33554432000 4194304 4196468 140720698669776 140693663239184 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6848] ppid=6840 vsize=28834892 memory=991984 CPUtime=11.32 cores=0-7
/proc/6842/task/6848/stat : 6848 (java) S 6840 6840 5395 0 -1 1077944384 32562 0 0 0 1098 34 0 0 20 0 28 0 418892912 29526929408 238871 33554432000 4194304 4196468 140720698669776 140693662185872 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6849] ppid=6840 vsize=28834892 memory=2116 CPUtime=11.28 cores=0-7
/proc/6842/task/6849/stat : 6849 (java) S 6840 6840 5395 0 -1 1077944384 25588 0 0 0 1094 34 0 0 20 0 28 0 418892912 29526929408 238871 33554432000 4194304 4196468 140720698669776 140693661133072 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6850] ppid=6840 vsize=28834892 memory=969888 CPUtime=11.33 cores=0-7
/proc/6842/task/6850/stat : 6850 (java) S 6840 6840 5395 0 -1 1077944384 31922 0 0 0 1096 37 0 0 20 0 28 0 418892912 29526929408 238871 33554432000 4194304 4196468 140720698669776 140693660080784 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6851] ppid=6840 vsize=28834892 memory=1452 CPUtime=11.27 cores=0-7
/proc/6842/task/6851/stat : 6851 (java) S 6840 6840 5395 0 -1 1077944384 32061 0 0 0 1093 34 0 0 20 0 28 0 418892912 29526929408 238871 33554432000 4194304 4196468 140720698669776 140693659027984 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6852] ppid=6840 vsize=28834892 memory=780 CPUtime=22.23 cores=0-7
/proc/6842/task/6852/stat : 6852 (java) S 6840 6840 5395 0 -1 1077944384 83062 0 0 0 809 1414 0 0 20 0 28 0 418892914 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692713564784 140694115236482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6853] ppid=6840 vsize=28834892 memory=14008 CPUtime=0 cores=0-7
/proc/6842/task/6853/stat : 6853 (java) S 6840 6840 5395 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 418892914 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692712510816 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6854] ppid=6840 vsize=28834892 memory=3620 CPUtime=0 cores=0-7
/proc/6842/task/6854/stat : 6854 (java) S 6840 6840 5395 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 418892914 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692711458432 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6855] ppid=6840 vsize=28834892 memory=40032 CPUtime=0 cores=0-7
/proc/6842/task/6855/stat : 6855 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418892917 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692710406736 140694115243931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6856] ppid=6840 vsize=28834892 memory=280456533618208 CPUtime=4.58 cores=0-7
/proc/6842/task/6856/stat : 6856 (java) S 6840 6840 5395 0 -1 1077944384 35808 0 0 0 454 4 0 0 20 0 28 0 418892917 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692709353584 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6857] ppid=6840 vsize=28834892 memory=10 CPUtime=4.2 cores=0-7
/proc/6842/task/6857/stat : 6857 (java) S 6840 6840 5395 0 -1 1077944384 37644 0 0 0 415 5 0 0 20 0 28 0 418892917 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692708300784 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6858] ppid=6840 vsize=28834892 memory=1452 CPUtime=5.01 cores=0-7
/proc/6842/task/6858/stat : 6858 (java) S 6840 6840 5395 0 -1 1077944384 33837 0 0 0 496 5 0 0 20 0 28 0 418892917 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692707248496 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6859] ppid=6840 vsize=28834892 memory=972900 CPUtime=1.38 cores=0-7
/proc/6842/task/6859/stat : 6859 (java) S 6840 6840 5395 0 -1 1077944384 30365 0 0 0 133 5 0 0 20 0 28 0 418892917 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692706195696 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6860] ppid=6840 vsize=28834892 memory=40032 CPUtime=0 cores=0-7
/proc/6842/task/6860/stat : 6860 (java) S 6840 6840 5395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418892917 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692705143648 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6861] ppid=6840 vsize=28834892 memory=988 CPUtime=0.82 cores=0-7
/proc/6842/task/6861/stat : 6861 (java) S 6840 6840 5395 0 -1 1077944384 6203 0 0 0 20 62 0 0 20 0 28 0 418892917 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692704090928 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=7150] ppid=6840 vsize=28834892 memory=960616 CPUtime=21.63 cores=0-7
/proc/6842/task/7150/stat : 7150 (java) R 6840 6840 5395 0 -1 4202560 1331 0 0 0 2163 0 0 0 20 0 28 0 419140948 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692685413880 140693758094131 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=7151] ppid=6840 vsize=28834892 memory=1452 CPUtime=21.66 cores=0-7
/proc/6842/task/7151/stat : 7151 (java) R 6840 6840 5395 0 -1 4202560 548 0 0 0 2166 0 0 0 20 0 28 0 419140948 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692686467592 140693757519090 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=7152] ppid=6840 vsize=28834892 memory=963180 CPUtime=21.68 cores=0-7
/proc/6842/task/7152/stat : 7152 (java) R 6840 6840 5395 0 -1 4202560 5144 0 0 0 2166 2 0 0 20 0 28 0 419140948 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692688574784 140693757519453 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=7153] ppid=6840 vsize=28834892 memory=955484 CPUtime=21.65 cores=0-7
/proc/6842/task/7153/stat : 7153 (java) R 6840 6840 5395 0 -1 4202560 1487 0 0 0 2164 1 0 0 20 0 28 0 419140948 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692692782792 140693757409099 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=7154] ppid=6840 vsize=28834892 memory=1452 CPUtime=21.53 cores=0-7
/proc/6842/task/7154/stat : 7154 (java) R 6840 6840 5395 0 -1 4202560 591 0 0 0 2153 0 0 0 20 0 28 0 419140948 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692687519880 140693757519010 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=7155] ppid=6840 vsize=28834892 memory=959588 CPUtime=21.67 cores=0-7
/proc/6842/task/7155/stat : 7155 (java) R 6840 6840 5395 0 -1 4202560 459 0 0 0 2166 1 0 0 20 0 28 0 419140948 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692691730352 140693757410162 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=7156] ppid=6840 vsize=28834892 memory=8112282956445269571 CPUtime=21.67 cores=0-7
/proc/6842/task/7156/stat : 7156 (java) R 6840 6840 5395 0 -1 4202560 2656 0 0 0 2167 0 0 0 20 0 28 0 419140948 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692690676960 140693758772784 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=7157] ppid=6840 vsize=28834892 memory=772 CPUtime=21.67 cores=0-7
/proc/6842/task/7157/stat : 7157 (java) R 6840 6840 5395 0 -1 4202560 343 0 0 0 2167 0 0 0 20 0 28 0 419140948 29526929408 238871 33554432000 4194304 4196468 140720698669776 140692684361800 140693757518691 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
Current children cumulated CPU time: 19771.5 s
Current children cumulated vsize: 28948020 KiB
Current children cumulated memory: 956936 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.52 8.17 8.09 9/217 7160
/proc/meminfo: memFree=29514836/32770624 swapFree=66932108/67108860
[pid=6840] ppid=6837 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6840/stat : 6840 (xcsp3-exec) S 6837 6840 5395 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418892911 115843072 363 33554432000 4194304 5098028 140723662990176 140723662988280 140648404615804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8785920 140723662996342 140723662996585 140723662996585 140723662999498 0
/proc/6840/statm: 28282 363 305 221 0 87 0
[pid=6842] ppid=6840 vsize=28834892 memory=946252 CPUtime=19912.5 cores=0-7
/proc/6842/stat : 6842 (java) S 6840 6840 5395 0 -1 1077944320 1011154 0 0 0 1989039 2213 0 0 20 0 28 0 418892911 29526929408 236563 33554432000 4194304 4196468 140720698669776 140720698652320 140694115225335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
/proc/6842/statm: 7208723 236563 3547 1 0 7169825 0
[pid=6842/tid=6843] ppid=6840 vsize=28834892 memory=1676 CPUtime=1.11 cores=0-7
/proc/6842/task/6843/stat : 6843 (java) S 6840 6840 5395 0 -1 1077944384 12375 0 0 0 105 6 0 0 20 0 28 0 418892911 29526929408 236563 33554432000 4194304 4196468 140720698669776 140694119466112 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6844] ppid=6840 vsize=28834892 memory=1096 CPUtime=11.44 cores=0-7
/proc/6842/task/6844/stat : 6844 (java) S 6840 6840 5395 0 -1 1077944384 34346 0 0 0 1109 35 0 0 20 0 28 0 418892912 29526929408 236563 33554432000 4194304 4196468 140720698669776 140694071778192 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6845] ppid=6840 vsize=28834892 memory=4872558044660077418 CPUtime=11.41 cores=0-7
/proc/6842/task/6845/stat : 6845 (java) S 6840 6840 5395 0 -1 1077944384 34453 0 0 0 1106 35 0 0 20 0 28 0 418892912 29526929408 236563 33554432000 4194304 4196468 140720698669776 140694070725392 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6846] ppid=6840 vsize=28834892 memory=5964 CPUtime=11.37 cores=0-7
/proc/6842/task/6846/stat : 6846 (java) S 6840 6840 5395 0 -1 1077944384 31603 0 0 0 1102 35 0 0 20 0 28 0 418892912 29526929408 236563 33554432000 4194304 4196468 140720698669776 140693664291984 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6847] ppid=6840 vsize=28834892 memory=780 CPUtime=11.42 cores=0-7
/proc/6842/task/6847/stat : 6847 (java) S 6840 6840 5395 0 -1 1077944384 31354 0 0 0 1106 36 0 0 20 0 28 0 418892912 29526929408 236563 33554432000 4194304 4196468 140720698669776 140693663239184 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6848] ppid=6840 vsize=28834892 memory=14008 CPUtime=11.44 cores=0-7
/proc/6842/task/6848/stat : 6848 (java) S 6840 6840 5395 0 -1 1077944384 33842 0 0 0 1110 34 0 0 20 0 28 0 418892912 29526929408 236563 33554432000 4194304 4196468 140720698669776 140693662185872 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6849] ppid=6840 vsize=28834892 memory=20968 CPUtime=11.4 cores=0-7
/proc/6842/task/6849/stat : 6849 (java) S 6840 6840 5395 0 -1 1077944384 26415 0 0 0 1106 34 0 0 20 0 28 0 418892912 29526929408 236563 33554432000 4194304 4196468 140720698669776 140693661133072 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6850] ppid=6840 vsize=28834892 memory=2116 CPUtime=11.45 cores=0-7
/proc/6842/task/6850/stat : 6850 (java) S 6840 6840 5395 0 -1 1077944384 32814 0 0 0 1108 37 0 0 20 0 28 0 418892912 29526929408 236563 33554432000 4194304 4196468 140720698669776 140693660080784 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6851] ppid=6840 vsize=28834892 memory=11916 CPUtime=11.4 cores=0-7
/proc/6842/task/6851/stat : 6851 (java) S 6840 6840 5395 0 -1 1077944384 33370 0 0 0 1105 35 0 0 20 0 28 0 418892912 29526929408 236563 33554432000 4194304 4196468 140720698669776 140693659027984 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6852] ppid=6840 vsize=28834892 memory=1560 CPUtime=22.26 cores=0-7
/proc/6842/task/6852/stat : 6852 (java) S 6840 6840 5395 0 -1 1077944384 84474 0 0 0 811 1415 0 0 20 0 28 0 418892914 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692713564784 140694115236482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6853] ppid=6840 vsize=28834892 memory=14008 CPUtime=0 cores=0-7
/proc/6842/task/6853/stat : 6853 (java) S 6840 6840 5395 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 418892914 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692712510816 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6854] ppid=6840 vsize=28834892 memory=20968 CPUtime=0 cores=0-7
/proc/6842/task/6854/stat : 6854 (java) S 6840 6840 5395 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 418892914 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692711458432 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6855] ppid=6840 vsize=28834892 memory=1452 CPUtime=0 cores=0-7
/proc/6842/task/6855/stat : 6855 (java) S 6840 6840 5395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418892917 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692710406736 140694115243931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6856] ppid=6840 vsize=28834892 memory=950868 CPUtime=4.58 cores=0-7
/proc/6842/task/6856/stat : 6856 (java) S 6840 6840 5395 0 -1 1077944384 35814 0 0 0 454 4 0 0 20 0 28 0 418892917 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692709353584 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6857] ppid=6840 vsize=28834892 memory=2832 CPUtime=4.2 cores=0-7
/proc/6842/task/6857/stat : 6857 (java) S 6840 6840 5395 0 -1 1077944384 37650 0 0 0 415 5 0 0 20 0 28 0 418892917 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692708300784 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6858] ppid=6840 vsize=28834892 memory=772 CPUtime=5.01 cores=0-7
/proc/6842/task/6858/stat : 6858 (java) S 6840 6840 5395 0 -1 1077944384 34098 0 0 0 496 5 0 0 20 0 28 0 418892917 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692707248496 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6859] ppid=6840 vsize=28834892 memory=1060 CPUtime=1.38 cores=0-7
/proc/6842/task/6859/stat : 6859 (java) S 6840 6840 5395 0 -1 1077944384 30371 0 0 0 133 5 0 0 20 0 28 0 418892917 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692706195696 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6860] ppid=6840 vsize=28834892 memory=1676 CPUtime=0 cores=0-7
/proc/6842/task/6860/stat : 6860 (java) S 6840 6840 5395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418892917 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692705143648 140694115235541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=6861] ppid=6840 vsize=28834892 memory=500 CPUtime=0.84 cores=0-7
/proc/6842/task/6861/stat : 6861 (java) S 6840 6840 5395 0 -1 1077944384 6287 0 0 0 21 63 0 0 20 0 28 0 418892917 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692704090928 140694115236482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=7150] ppid=6840 vsize=28834892 memory=928 CPUtime=39.13 cores=0-7
/proc/6842/task/7150/stat : 7150 (java) R 6840 6840 5395 0 -1 4202560 3698 0 0 0 3913 0 0 0 20 0 28 0 419140948 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692685416160 140693759302014 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=7151] ppid=6840 vsize=28834892 memory=1984 CPUtime=39.2 cores=0-7
/proc/6842/task/7151/stat : 7151 (java) R 6840 6840 5395 0 -1 4202560 1113 0 0 0 3919 1 0 0 20 0 28 0 419140948 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692686467592 140693761137916 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=7152] ppid=6840 vsize=28834892 memory=2432 CPUtime=39.1 cores=0-7
/proc/6842/task/7152/stat : 7152 (java) R 6840 6840 5395 0 -1 4202560 13838 0 0 0 3903 7 0 0 20 0 28 0 419140948 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692688572112 140693751799841 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=7153] ppid=6840 vsize=28834892 memory=1692 CPUtime=39.21 cores=0-7
/proc/6842/task/7153/stat : 7153 (java) R 6840 6840 5395 0 -1 4202560 4540 0 0 0 3918 3 0 0 20 0 28 0 419140948 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692692783416 140693758297920 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=7154] ppid=6840 vsize=28834892 memory=828 CPUtime=39.07 cores=0-7
/proc/6842/task/7154/stat : 7154 (java) R 6840 6840 5395 0 -1 4202560 1826 0 0 0 3906 1 0 0 20 0 28 0 419140948 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692687519792 140693757409963 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=7155] ppid=6840 vsize=28834892 memory=1448 CPUtime=39.13 cores=0-7
/proc/6842/task/7155/stat : 7155 (java) R 6840 6840 5395 0 -1 4202560 827 0 0 0 3912 1 0 0 20 0 28 0 419140948 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692691730304 140693757519090 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=7156] ppid=6840 vsize=28834892 memory=1748 CPUtime=39.13 cores=0-7
/proc/6842/task/7156/stat : 7156 (java) R 6840 6840 5395 0 -1 4202560 6246 0 0 0 3912 1 0 0 20 0 28 0 419140948 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692690677280 140693758736351 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
[pid=6842/tid=7157] ppid=6840 vsize=28834892 memory=1552 CPUtime=39.21 cores=0-7
/proc/6842/task/7157/stat : 7157 (java) R 6840 6840 5395 0 -1 4202560 691 0 0 0 3921 0 0 0 20 0 28 0 419140948 29526929408 236563 33554432000 4194304 4196468 140720698669776 140692684361912 140693757518807 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35258368 140720698672106 140720698672278 140720698672278 140720698675151 0
Current children cumulated CPU time: 19912.5 s
Current children cumulated vsize: 28948020 KiB
Current children cumulated memory: 947704 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.04 s]
# the end of solver process 6840 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000825 s, system=0.00165 s

[startup+2520.1 s]
# the end of solver process 6842 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19891 s, system=22.1459 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 2520.1
CPU time (s): 19913.2
CPU user time (s): 19891
CPU system time (s): 22.1459
CPU usage (%): 790.174
Max. virtual memory (cumulated for all children) (KiB): 28948020
Max. memory (cumulated for all children) (KiB): 2307580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19891
system time used= 22.1459
maximum resident set size= 2331196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1012007
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 163268
involuntary context switches= 202609


# summary of solver processes directly reported to runsolver:
#   pid: 6840,6842
#   total CPU time (s): 19913.2
#   total CPU user time (s): 19891
#   total CPU system time (s): 22.1459

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.7073 second user time and 25.5968 second system time

The end

Launcher Data

Begin job on node139 at 2019-09-14 03:59:14
IDJOB=4394047
IDBENCH=126211
IDSOLVER=2841
FILE ID=node139/4394047-1568426250
RUNJOBID= node139-1568417720-5422
PBS_JOBID= 21702278
Free space on /tmp= 59556 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-28-a3.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-4394047-1568426250/watcher-4394047-1568426250 -o /tmp/evaluation-result-4394047-1568426250/solver-4394047-1568426250 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568417720-5422 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 583693874 HOME/instance-4394047-1568426250.xml

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

MD5SUM BENCH= 7bf94b2c859f2895a81dfe97f17444ea
RANDOM SEED=583693874

node139.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30453656 kB
MemAvailable:   31824464 kB
Buffers:          135680 kB
Cached:          1515056 kB
SwapCached:        74372 kB
Active:           605952 kB
Inactive:        1125764 kB
Active(anon):       5624 kB
Inactive(anon):   115880 kB
Active(file):     600328 kB
Inactive(file):  1009884 kB
Unevictable:      106556 kB
Mlocked:          106556 kB
SwapTotal:      67108860 kB
SwapFree:       66932108 kB
Dirty:             26028 kB
Writeback:             0 kB
AnonPages:        195936 kB
Mapped:            44196 kB
Shmem:             32208 kB
Slab:             181552 kB
SReclaimable:     152864 kB
SUnreclaim:        28688 kB
KernelStack:        3792 kB
PageTables:         5332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     489148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 59528 MiB
End job on node139 at 2019-09-14 04:41:15