Trace number 4400007

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-16 parallelSAT (TO)914 19852.1 2520.12

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-4400007-1568703794.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4400007-1568703794.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
2.90/1.08	c solve instance...
30.09/4.58	o 989 
63.37/8.76	o 974 
127.43/16.80	o 970 
257.45/33.19	o 967 
2508.71/315.89	o 953 
3554.41/447.18	o 941 
4814.06/607.10	o 940 
7100.78/896.99	o 914 
19851.37/2520.08	s SATISFIABLE
19851.37/2520.08	v <instantiation>
19851.37/2520.08	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>
19851.37/2520.08	v 	<values>0 1 3 7 12 20 30 45 61 93 107 129 164 217 260 311 332 387 443 469 581 618 670 736 816 850 890 914 1 3 7 12 20 30 45 61 93 107 129 164 217 260 311 332 387 443 469 581 618 670 736 816 850 890 914 2 6 11 19 29 44 60 92 106 128 163 216 259 310 331 386 442 468 580 617 669 735 815 849 889 913 4 9 17 27 42 58 90 104 126 161 214 257 308 329 384 440 466 578 615 667 733 813 847 887 911 5 13 23 38 54 86 100 122 157 210 253 304 325 380 436 462 574 611 663 729 809 843 883 907 8 18 33 49 81 95 117 152 205 248 299 320 375 431 457 569 606 658 724 804 838 878 902 10 25 41 73 87 109 144 197 240 291 312 367 423 449 561 598 650 716 796 830 870 894 15 31 63 77 99 134 187 230 281 302 357 413 439 551 588 640 706 786 820 860 884 16 48 62 84 119 172 215 266 287 342 398 424 536 573 625 691 771 805 845 869 32 46 68 103 156 199 250 271 326 382 408 520 557 609 675 755 789 829 853 14 36 71 124 167 218 239 294 350 376 488 525 577 643 723 757 797 821 22 57 110 153 204 225 280 336 362 474 511 563 629 709 743 783 807 35 88 131 182 203 258 314 340 452 489 541 607 687 721 761 785 53 96 147 168 223 279 305 417 454 506 572 652 686 726 750 43 94 115 170 226 252 364 401 453 519 599 633 673 697 51 72 127 183 209 321 358 410 476 556 590 630 654 21 76 132 158 270 307 359 425 505 539 579 603 55 111 137 249 286 338 404 484 518 558 582 56 82 194 231 283 349 429 463 503 527 26 138 175 227 293 373 407 447 471 112 149 201 267 347 381 421 445 37 89 155 235 269 309 333 52 118 198 232 272 296 66 146 180 220 244 80 114 154 178 34 74 98 40 64 24 </values>
19851.37/2520.08	v </instantiation>
19851.37/2520.08	c Unexpected resolution interruption!

Verifier Data 

OK	914

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400007-1568703794/watcher-4400007-1568703794 -o /tmp/evaluation-result-4400007-1568703794/solver-4400007-1568703794 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568700947-12873 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 460574748 HOME/instance-4400007-1568703794.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
Current StackSize limit: 8192 KiB

solver pid=13849, runsolver pid=13846

[startup+0.100143 s]*
/proc/loadavg: 6.34 7.07 7.70 2/213 13870
/proc/meminfo: memFree=30685124/32770624 swapFree=67002048/67108860
[pid=13849] ppid=13846 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13849/stat : 13849 (xcsp3-exec) S 13846 13849 12846 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446293347 115843072 363 33554432000 4194304 5098028 140722272362736 140722272360840 140686078108284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38907904 140722272367478 140722272367721 140722272367721 140722272370634 0
/proc/13849/statm: 28282 363 304 221 0 87 0
[pid=13851] ppid=13849 vsize=28227396 memory=29064 CPUtime=0.12 cores=0-7
/proc/13851/stat : 13851 (java) S 13849 13849 12846 0 -1 1077944320 5740 0 0 0 10 2 0 0 20 0 20 0 446293347 28904853504 7266 33554432000 4194304 4196468 140729229557760 140729229540304 139750247501559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
/proc/13851/statm: 7056849 7266 3119 1 0 7019032 0
[pid=13851/tid=13852] ppid=13849 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/13851/task/13852/stat : 13852 (java) R 13849 13849 12846 0 -1 4202560 3651 0 0 0 8 1 0 0 20 0 20 0 446293347 28904853504 7266 33554432000 4194304 4196468 140729229557760 139750251734832 139750247523485 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13853] ppid=13849 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/13851/task/13853/stat : 13853 (java) S 13849 13849 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446293348 28904853504 7266 33554432000 4194304 4196468 140729229557760 139750200122128 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13854] ppid=13849 vsize=28227396 memory=140015150704256 CPUtime=0 cores=0-7
/proc/13851/task/13854/stat : 13854 (java) S 13849 13849 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446293348 28904853504 7266 33554432000 4194304 4196468 140729229557760 139750199069584 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13855] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13855/stat : 13855 (java) S 13849 13849 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446293348 28904853504 7266 33554432000 4194304 4196468 140729229557760 139750198017040 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13856] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13856/stat : 13856 (java) S 13849 13849 12846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446293348 28904853504 7266 33554432000 4194304 4196468 140729229557760 139750196964496 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13857] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13857/stat : 13857 (java) S 13849 13849 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446293348 28904853504 7266 33554432000 4194304 4196468 140729229557760 139750195910928 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13858] ppid=13849 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13851/task/13858/stat : 13858 (java) S 13849 13849 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446293348 28904853504 7266 33554432000 4194304 4196468 140729229557760 139750194858384 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13859] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13859/stat : 13859 (java) S 13849 13849 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446293348 28904853504 7266 33554432000 4194304 4196468 140729229557760 139750193805840 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13860] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13860/stat : 13860 (java) S 13849 13849 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446293348 28904853504 7266 33554432000 4194304 4196468 140729229557760 139750192753296 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13861] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13861/stat : 13861 (java) S 13849 13849 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446293349 28904853504 7266 33554432000 4194304 4196468 140729229557760 139748913056240 139750247512706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13862] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13862/stat : 13862 (java) S 13849 13849 12846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446293350 28904853504 7266 33554432000 4194304 4196468 140729229557760 139748912002464 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13863] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13863/stat : 13863 (java) S 13849 13849 12846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446293350 28904853504 7266 33554432000 4194304 4196468 140729229557760 139748910949872 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13864] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13864/stat : 13864 (java) S 13849 13849 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446293352 28904853504 7266 33554432000 4194304 4196468 140729229557760 139748909898448 139750247520155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13865] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13865/stat : 13865 (java) R 13849 13849 12846 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 20 0 446293352 28904853504 7266 33554432000 4194304 4196468 140729229557760 139748908845040 139750247512706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13866] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13866/stat : 13866 (java) S 13849 13849 12846 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 446293352 28904853504 7266 33554432000 4194304 4196468 140729229557760 139748572129392 139750247512706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13867] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13867/stat : 13867 (java) S 13849 13849 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446293353 28904853504 7266 33554432000 4194304 4196468 140729229557760 139748571076848 139750247512706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13868] ppid=13849 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13851/task/13868/stat : 13868 (java) R 13849 13849 12846 0 -1 4202560 334 0 0 0 1 0 0 0 20 0 20 0 446293353 28904853504 7266 33554432000 4194304 4196468 140729229557760 139748570024304 139750226771345 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13869] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13869/stat : 13869 (java) S 13849 13849 12846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446293353 28904853504 7266 33554432000 4194304 4196468 140729229557760 139748568972000 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13870] ppid=13849 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13851/task/13870/stat : 13870 (java) S 13849 13849 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446293353 28904853504 7266 33554432000 4194304 4196468 140729229557760 139748567919536 139750247512706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30516 KiB

[startup+0.210334 s]*
/proc/loadavg: 6.34 7.07 7.70 2/213 13870
/proc/meminfo: memFree=30670644/32770624 swapFree=67002048/67108860
[pid=13849] ppid=13846 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13849/stat : 13849 (xcsp3-exec) S 13846 13849 12846 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446293347 115843072 363 33554432000 4194304 5098028 140722272362736 140722272360840 140686078108284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38907904 140722272367478 140722272367721 140722272367721 140722272370634 0
/proc/13849/statm: 28282 363 304 221 0 87 0
[pid=13851] ppid=13849 vsize=28227396 memory=41052 CPUtime=0.33 cores=0-7
/proc/13851/stat : 13851 (java) S 13849 13849 12846 0 -1 1077944320 9490 0 0 0 30 3 0 0 20 0 20 0 446293347 28904853504 10263 33554432000 4194304 4196468 140729229557760 140729229540304 139750247501559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
/proc/13851/statm: 7056849 10263 3299 1 0 7019032 0
[pid=13851/tid=13852] ppid=13849 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/13851/task/13852/stat : 13852 (java) R 13849 13849 12846 0 -1 4202560 6647 0 0 0 18 2 0 0 20 0 20 0 446293347 28904853504 10263 33554432000 4194304 4196468 140729229557760 139750251735008 139750215082136 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13853] ppid=13849 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/13851/task/13853/stat : 13853 (java) S 13849 13849 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446293348 28904853504 10263 33554432000 4194304 4196468 140729229557760 139750200122128 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13854] ppid=13849 vsize=28227396 memory=288370391302416000 CPUtime=0 cores=0-7
/proc/13851/task/13854/stat : 13854 (java) S 13849 13849 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446293348 28904853504 10263 33554432000 4194304 4196468 140729229557760 139750199069584 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13855] ppid=13849 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13851/task/13855/stat : 13855 (java) S 13849 13849 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446293348 28904853504 10263 33554432000 4194304 4196468 140729229557760 139750198017040 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13856] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13856/stat : 13856 (java) S 13849 13849 12846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446293348 28904853504 10263 33554432000 4194304 4196468 140729229557760 139750196964496 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13857] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13857/stat : 13857 (java) S 13849 13849 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446293348 28904853504 10263 33554432000 4194304 4196468 140729229557760 139750195910928 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13858] ppid=13849 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13851/task/13858/stat : 13858 (java) S 13849 13849 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446293348 28904853504 10263 33554432000 4194304 4196468 140729229557760 139750194858384 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13859] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13859/stat : 13859 (java) S 13849 13849 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446293348 28904853504 10263 33554432000 4194304 4196468 140729229557760 139750193805840 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13860] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13860/stat : 13860 (java) S 13849 13849 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446293348 28904853504 10263 33554432000 4194304 4196468 140729229557760 139750192753296 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13861] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13861/stat : 13861 (java) S 13849 13849 12846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446293349 28904853504 10263 33554432000 4194304 4196468 140729229557760 139748913056240 139750247512706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13862] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13862/stat : 13862 (java) S 13849 13849 12846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446293350 28904853504 10263 33554432000 4194304 4196468 140729229557760 139748912002464 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13863] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13863/stat : 13863 (java) S 13849 13849 12846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446293350 28904853504 10263 33554432000 4194304 4196468 140729229557760 139748910949872 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13864] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13864/stat : 13864 (java) S 13849 13849 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446293352 28904853504 10263 33554432000 4194304 4196468 140729229557760 139748909898448 139750247520155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13865] ppid=13849 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13851/task/13865/stat : 13865 (java) S 13849 13849 12846 0 -1 1077944384 345 0 0 0 1 0 0 0 20 0 20 0 446293352 28904853504 10263 33554432000 4194304 4196468 140729229557760 139748908845040 139750247512706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13866] ppid=13849 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13851/task/13866/stat : 13866 (java) R 13849 13849 12846 0 -1 1077944384 307 0 0 0 1 0 0 0 20 0 20 0 446293352 28904853504 10263 33554432000 4194304 4196468 140729229557760 139748572129392 139750247512706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13867] ppid=13849 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/13851/task/13867/stat : 13867 (java) R 13849 13849 12846 0 -1 1077944384 135 0 0 0 1 0 0 0 20 0 20 0 446293353 28904853504 10263 33554432000 4194304 4196468 140729229557760 139748571076848 139750247512706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13868] ppid=13849 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/13851/task/13868/stat : 13868 (java) R 13849 13849 12846 0 -1 4202560 743 0 0 0 7 0 0 0 20 0 20 0 446293353 28904853504 10263 33554432000 4194304 4196468 140729229557760 139748570024112 139750231748225 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13869] ppid=13849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13869/stat : 13869 (java) S 13849 13849 12846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446293353 28904853504 10263 33554432000 4194304 4196468 140729229557760 139748568972000 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13870] ppid=13849 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13851/task/13870/stat : 13870 (java) S 13849 13849 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446293353 28904853504 10263 33554432000 4194304 4196468 140729229557760 139748567919536 139750247512706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42504 KiB

[startup+0.309892 s]*
/proc/loadavg: 6.34 7.07 7.70 4/213 13870
/proc/meminfo: memFree=30664812/32770624 swapFree=67002048/67108860
[pid=13849] ppid=13846 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13849/stat : 13849 (xcsp3-exec) S 13846 13849 12846 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446293347 115843072 363 33554432000 4194304 5098028 140722272362736 140722272360840 140686078108284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38907904 140722272367478 140722272367721 140722272367721 140722272370634 0
/proc/13849/statm: 28282 363 304 221 0 87 0
[pid=13851] ppid=13849 vsize=28231652 memory=50184 CPUtime=0.52 cores=0-7
/proc/13851/stat : 13851 (java) S 13849 13849 12846 0 -1 1077944320 10927 0 0 0 48 4 0 0 20 0 20 0 446293347 28909211648 12546 33554432000 4194304 4196468 140729229557760 140729229540304 139750247501559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
/proc/13851/statm: 7057913 12546 3351 1 0 7019032 0
[pid=13851/tid=13852] ppid=13849 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/13851/task/13852/stat : 13852 (java) R 13849 13849 12846 0 -1 4202560 7784 0 0 0 27 2 0 0 20 0 20 0 446293347 28909211648 12546 33554432000 4194304 4196468 140729229557760 139750251732672 139750231582046 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13853] ppid=13849 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13853/stat : 13853 (java) S 13849 13849 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446293348 28909211648 12546 33554432000 4194304 4196468 140729229557760 139750200122128 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13854] ppid=13849 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13854/stat : 13854 (java) S 13849 13849 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446293348 28909211648 12546 33554432000 4194304 4196468 140729229557760 139750199069584 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13855] ppid=13849 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13855/stat : 13855 (java) S 13849 13849 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446293348 28909211648 12546 33554432000 4194304 4196468 140729229557760 139750198017040 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13856] ppid=13849 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13856/stat : 13856 (java) S 13849 13849 12846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446293348 28909211648 12546 33554432000 4194304 4196468 140729229557760 139750196964496 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13857] ppid=13849 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13857/stat : 13857 (java) S 13849 13849 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446293348 28909211648 12546 33554432000 4194304 4196468 140729229557760 139750195910928 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13858] ppid=13849 vsize=28231652 memory=140014994418351 CPUtime=0 cores=0-7
/proc/13851/task/13858/stat : 13858 (java) S 13849 13849 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446293348 28909211648 12546 33554432000 4194304 4196468 140729229557760 139750194858384 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13859] ppid=13849 vsize=28231652 memory=140014994420656 CPUtime=0 cores=0-7
/proc/13851/task/13859/stat : 13859 (java) S 13849 13849 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446293348 28909211648 12546 33554432000 4194304 4196468 140729229557760 139750193805840 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13860] ppid=13849 vsize=28231652 memory=140014994422960 CPUtime=0 cores=0-7
/proc/13851/task/13860/stat : 13860 (java) S 13849 13849 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446293348 28909211648 12546 33554432000 4194304 4196468 140729229557760 139750192753296 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13861] ppid=13849 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13861/stat : 13861 (java) S 13849 13849 12846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446293349 28909211648 12546 33554432000 4194304 4196468 140729229557760 139748913056240 139750247512706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13862] ppid=13849 vsize=28231652 memory=280029988859792 CPUtime=0 cores=0-7
/proc/13851/task/13862/stat : 13862 (java) S 13849 13849 12846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446293350 28909211648 12546 33554432000 4194304 4196468 140729229557760 139748912002464 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13863] ppid=13849 vsize=28231652 memory=280029988857488 CPUtime=0 cores=0-7
/proc/13851/task/13863/stat : 13863 (java) S 13849 13849 12846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446293350 28909211648 12546 33554432000 4194304 4196468 140729229557760 139748910949872 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13864] ppid=13849 vsize=28231652 memory=280029988864400 CPUtime=0 cores=0-7
/proc/13851/task/13864/stat : 13864 (java) S 13849 13849 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446293352 28909211648 12546 33554432000 4194304 4196468 140729229557760 139748909898448 139750247520155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13865] ppid=13849 vsize=28231652 memory=280029988805680 CPUtime=0.02 cores=0-7
/proc/13851/task/13865/stat : 13865 (java) S 13849 13849 12846 0 -1 1077944384 394 0 0 0 2 0 0 0 20 0 20 0 446293352 28909211648 12546 33554432000 4194304 4196468 140729229557760 139748908845040 139750247512706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13866] ppid=13849 vsize=28231652 memory=280029988878224 CPUtime=0.03 cores=0-7
/proc/13851/task/13866/stat : 13866 (java) R 13849 13849 12846 0 -1 4202560 435 0 0 0 3 0 0 0 20 0 20 0 446293352 28909211648 12546 33554432000 4194304 4196468 140729229557760 139748572129392 139750229046132 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13867] ppid=13849 vsize=28231652 memory=280029988885136 CPUtime=0.02 cores=0-7
/proc/13851/task/13867/stat : 13867 (java) S 13849 13849 12846 0 -1 1077944384 144 0 0 0 2 0 0 0 20 0 20 0 446293353 28909211648 12546 33554432000 4194304 4196468 140729229557760 139748571076848 139750247512706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13868] ppid=13849 vsize=28231652 memory=280029988882832 CPUtime=0.12 cores=0-7
/proc/13851/task/13868/stat : 13868 (java) S 13849 13849 12846 0 -1 1077944384 864 0 0 0 12 0 0 0 20 0 20 0 446293353 28909211648 12546 33554432000 4194304 4196468 140729229557760 139748570024304 139750247512706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13869] ppid=13849 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13869/stat : 13869 (java) S 13849 13849 12846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446293353 28909211648 12546 33554432000 4194304 4196468 140729229557760 139748568972000 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13870] ppid=13849 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/13851/task/13870/stat : 13870 (java) S 13849 13849 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446293353 28909211648 12546 33554432000 4194304 4196468 140729229557760 139748567919536 139750247512706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51636 KiB

[startup+0.701004 s]
/proc/loadavg: 6.34 7.07 7.70 4/213 13870
/proc/meminfo: memFree=30655072/32770624 swapFree=67002048/67108860
[pid=13849] ppid=13846 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13849/stat : 13849 (xcsp3-exec) S 13846 13849 12846 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446293347 115843072 363 33554432000 4194304 5098028 140722272362736 140722272360840 140686078108284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38907904 140722272367478 140722272367721 140722272367721 140722272370634 0
/proc/13849/statm: 28282 363 304 221 0 87 0
[pid=13851] ppid=13849 vsize=28233776 memory=87388 CPUtime=1.63 cores=0-7
/proc/13851/stat : 13851 (java) S 13849 13849 12846 0 -1 1077944320 15548 0 0 0 156 7 0 0 20 0 20 0 446293347 28911386624 21847 33554432000 4194304 4196468 140729229557760 140729229540304 139750247501559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
/proc/13851/statm: 7058444 21847 3453 1 0 7019544 0
[pid=13851/tid=13852] ppid=13849 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/13851/task/13852/stat : 13852 (java) R 13849 13849 12846 0 -1 4202560 9277 0 0 0 64 4 0 0 20 0 20 0 446293347 28911386624 21847 33554432000 4194304 4196468 140729229557760 139750251739104 139749866595495 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13853] ppid=13849 vsize=28233776 memory=140014994629488 CPUtime=0 cores=0-7
/proc/13851/task/13853/stat : 13853 (java) S 13849 13849 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446293348 28911386624 21847 33554432000 4194304 4196468 140729229557760 139750200122128 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13854] ppid=13849 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/13851/task/13854/stat : 13854 (java) S 13849 13849 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446293348 28911386624 21847 33554432000 4194304 4196468 140729229557760 139750199069584 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13855] ppid=13849 vsize=28233776 memory=1056 CPUtime=0 cores=0-7
/proc/13851/task/13855/stat : 13855 (java) S 13849 13849 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446293348 28911386624 21847 33554432000 4194304 4196468 140729229557760 139750198017040 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0

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

[pid=13851/tid=14004] ppid=13849 vsize=28768336 memory=416956 CPUtime=1507.07 cores=0-7
/proc/13851/task/14004/stat : 14004 (java) R 13849 13849 12846 0 -1 4202560 7763 0 0 0 150696 11 0 0 20 0 28 0 446383047 29458776064 104239 33554432000 4194304 4196468 140729229557760 139748552384632 139749871699407 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
Current children cumulated CPU time: 19249.1 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 418408 KiB

[startup+2502.3 s]
/proc/loadavg: 8.39 8.18 8.18 10/220 14128
/proc/meminfo: memFree=30296668/32770624 swapFree=67002056/67108860
[pid=13849] ppid=13846 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13849/stat : 13849 (xcsp3-exec) S 13846 13849 12846 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446293347 115843072 363 33554432000 4194304 5098028 140722272362736 140722272360840 140686078108284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38907904 140722272367478 140722272367721 140722272367721 140722272370634 0
/proc/13849/statm: 28282 363 304 221 0 87 0
[pid=13851] ppid=13849 vsize=28768336 memory=416972 CPUtime=19714.8 cores=0-7
/proc/13851/stat : 13851 (java) S 13849 13849 12846 0 -1 1077944320 553682 0 0 0 1969423 2053 0 0 20 0 28 0 446293347 29458776064 104243 33554432000 4194304 4196468 140729229557760 140729229540304 139750247501559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
/proc/13851/statm: 7192084 104243 3544 1 0 7153184 0
[pid=13851/tid=13852] ppid=13849 vsize=28768336 memory=416972 CPUtime=1.08 cores=0-7
/proc/13851/task/13852/stat : 13852 (java) S 13849 13849 12846 0 -1 1077944384 12882 0 0 0 103 5 0 0 20 0 28 0 446293347 29458776064 104243 33554432000 4194304 4196468 140729229557760 139750251742336 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13853] ppid=13849 vsize=28768336 memory=1452 CPUtime=8.32 cores=0-7
/proc/13851/task/13853/stat : 13853 (java) S 13849 13849 12846 0 -1 1077944384 20031 0 0 0 808 24 0 0 20 0 28 0 446293348 29458776064 104243 33554432000 4194304 4196468 140729229557760 139750200122128 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13854] ppid=13849 vsize=28768336 memory=416972 CPUtime=8.26 cores=0-7
/proc/13851/task/13854/stat : 13854 (java) S 13849 13849 12846 0 -1 1077944384 21677 0 0 0 802 24 0 0 20 0 28 0 446293348 29458776064 104243 33554432000 4194304 4196468 140729229557760 139750199069584 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13855] ppid=13849 vsize=28768336 memory=6791534058613427641 CPUtime=8.26 cores=0-7
/proc/13851/task/13855/stat : 13855 (java) S 13849 13849 12846 0 -1 1077944384 21203 0 0 0 802 24 0 0 20 0 28 0 446293348 29458776064 104243 33554432000 4194304 4196468 140729229557760 139750198017040 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13856] ppid=13849 vsize=28768336 memory=580 CPUtime=8.28 cores=0-7
/proc/13851/task/13856/stat : 13856 (java) S 13849 13849 12846 0 -1 1077944384 20775 0 0 0 802 26 0 0 20 0 28 0 446293348 29458776064 104243 33554432000 4194304 4196468 140729229557760 139750196964496 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13857] ppid=13849 vsize=28768336 memory=1452 CPUtime=8.33 cores=0-7
/proc/13851/task/13857/stat : 13857 (java) S 13849 13849 12846 0 -1 1077944384 19896 0 0 0 807 26 0 0 20 0 28 0 446293348 29458776064 104243 33554432000 4194304 4196468 140729229557760 139750195910928 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13858] ppid=13849 vsize=28768336 memory=416956 CPUtime=8.29 cores=0-7
/proc/13851/task/13858/stat : 13858 (java) S 13849 13849 12846 0 -1 1077944384 23838 0 0 0 803 26 0 0 20 0 28 0 446293348 29458776064 104243 33554432000 4194304 4196468 140729229557760 139750194858384 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13859] ppid=13849 vsize=28768336 memory=416956 CPUtime=8.24 cores=0-7
/proc/13851/task/13859/stat : 13859 (java) S 13849 13849 12846 0 -1 1077944384 24773 0 0 0 801 23 0 0 20 0 28 0 446293348 29458776064 104243 33554432000 4194304 4196468 140729229557760 139750193805840 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13860] ppid=13849 vsize=28768336 memory=1452 CPUtime=8.25 cores=0-7
/proc/13851/task/13860/stat : 13860 (java) S 13849 13849 12846 0 -1 1077944384 22745 0 0 0 801 24 0 0 20 0 28 0 446293348 29458776064 104243 33554432000 4194304 4196468 140729229557760 139750192753296 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13861] ppid=13849 vsize=28768336 memory=2116 CPUtime=27.61 cores=0-7
/proc/13851/task/13861/stat : 13861 (java) S 13849 13849 12846 0 -1 1077944384 92684 0 0 0 1121 1640 0 0 20 0 28 0 446293349 29458776064 104243 33554432000 4194304 4196468 140729229557760 139748913056240 139750247512706 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13862] ppid=13849 vsize=28768336 memory=24796 CPUtime=0 cores=0-7
/proc/13851/task/13862/stat : 13862 (java) S 13849 13849 12846 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 446293350 29458776064 104243 33554432000 4194304 4196468 140729229557760 139748912002528 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13863] ppid=13849 vsize=28768336 memory=532 CPUtime=0 cores=0-7
/proc/13851/task/13863/stat : 13863 (java) S 13849 13849 12846 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 446293350 29458776064 104243 33554432000 4194304 4196468 140729229557760 139748910949888 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13864] ppid=13849 vsize=28768336 memory=1564 CPUtime=0 cores=0-7
/proc/13851/task/13864/stat : 13864 (java) S 13849 13849 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446293352 29458776064 104243 33554432000 4194304 4196468 140729229557760 139748909898448 139750247520155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13865] ppid=13849 vsize=28768336 memory=1452 CPUtime=2.51 cores=0-7
/proc/13851/task/13865/stat : 13865 (java) S 13849 13849 12846 0 -1 1077944384 14918 0 0 0 248 3 0 0 20 0 28 0 446293352 29458776064 104243 33554432000 4194304 4196468 140729229557760 139748908845040 139750247512706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13866] ppid=13849 vsize=28768336 memory=423112 CPUtime=2.64 cores=0-7
/proc/13851/task/13866/stat : 13866 (java) S 13849 13849 12846 0 -1 1077944384 21731 0 0 0 261 3 0 0 20 0 28 0 446293352 29458776064 104243 33554432000 4194304 4196468 140729229557760 139748572129392 139750247512706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13867] ppid=13849 vsize=28768336 memory=1440 CPUtime=2.29 cores=0-7
/proc/13851/task/13867/stat : 13867 (java) S 13849 13849 12846 0 -1 1077944384 15270 0 0 0 227 2 0 0 20 0 28 0 446293353 29458776064 104243 33554432000 4194304 4196468 140729229557760 139748571076848 139750247512706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13868] ppid=13849 vsize=28768336 memory=1768 CPUtime=0.91 cores=0-7
/proc/13851/task/13868/stat : 13868 (java) S 13849 13849 12846 0 -1 1077944384 16197 0 0 0 88 3 0 0 20 0 28 0 446293353 29458776064 104243 33554432000 4194304 4196468 140729229557760 139748570024304 139750247512706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13869] ppid=13849 vsize=28768336 memory=4496 CPUtime=0 cores=0-7
/proc/13851/task/13869/stat : 13869 (java) S 13849 13849 12846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446293353 29458776064 104243 33554432000 4194304 4196468 140729229557760 139748568972000 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13870] ppid=13849 vsize=28768336 memory=4108 CPUtime=0.66 cores=0-7
/proc/13851/task/13870/stat : 13870 (java) S 13849 13849 12846 0 -1 1077944384 5460 0 0 0 33 33 0 0 20 0 28 0 446293353 29458776064 104243 33554432000 4194304 4196468 140729229557760 139748567919536 139750247512706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13997] ppid=13849 vsize=28768336 memory=1452 CPUtime=1563.86 cores=0-7
/proc/13851/task/13997/stat : 13997 (java) R 13849 13849 12846 0 -1 4202560 11739 0 0 0 156373 13 0 0 20 0 28 0 446383047 29458776064 104243 33554432000 4194304 4196468 140729229557760 139748556594392 139749871862092 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13998] ppid=13849 vsize=28768336 memory=416972 CPUtime=1566.28 cores=0-7
/proc/13851/task/13998/stat : 13998 (java) R 13849 13849 12846 0 -1 4202560 8882 0 0 0 156616 12 0 0 20 0 28 0 446383047 29458776064 104243 33554432000 4194304 4196468 140729229557760 139748553437104 139749871148772 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13999] ppid=13849 vsize=28768336 memory=1452 CPUtime=1565.81 cores=0-7
/proc/13851/task/13999/stat : 13999 (java) R 13849 13849 12846 0 -1 4202560 12487 0 0 0 156567 14 0 0 20 0 28 0 446383047 29458776064 104243 33554432000 4194304 4196468 140729229557760 139748558700040 139749871768871 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=14000] ppid=13849 vsize=28768336 memory=6791534058613427641 CPUtime=1565.23 cores=0-7
/proc/13851/task/14000/stat : 14000 (java) R 13849 13849 12846 0 -1 4202560 14438 0 0 0 156506 17 0 0 20 0 28 0 446383047 29458776064 104243 33554432000 4194304 4196468 140729229557760 139748554493072 139749871148426 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=14001] ppid=13849 vsize=28768336 memory=45736 CPUtime=1579.55 cores=0-7
/proc/13851/task/14001/stat : 14001 (java) R 13849 13849 12846 0 -1 4202560 15419 0 0 0 157934 21 0 0 20 0 28 0 446383047 29458776064 104243 33554432000 4194304 4196468 140729229557760 139748551331648 139749873676123 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=14002] ppid=13849 vsize=28768336 memory=988 CPUtime=1561.67 cores=0-7
/proc/13851/task/14002/stat : 14002 (java) R 13849 13849 12846 0 -1 4202560 7508 0 0 0 156153 14 0 0 20 0 28 0 446383047 29458776064 104243 33554432000 4194304 4196468 140729229557760 139748557647536 139749871168950 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=14003] ppid=13849 vsize=28768336 memory=2012 CPUtime=1565.44 cores=0-7
/proc/13851/task/14003/stat : 14003 (java) R 13849 13849 12846 0 -1 4202560 24402 0 0 0 156530 14 0 0 20 0 28 0 446383047 29458776064 104243 33554432000 4194304 4196468 140729229557760 139748555545048 139749864319758 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=14004] ppid=13849 vsize=28768336 memory=416972 CPUtime=1564.76 cores=0-7
/proc/13851/task/14004/stat : 14004 (java) R 13849 13849 12846 0 -1 4202560 8048 0 0 0 156464 12 0 0 20 0 28 0 446383047 29458776064 104243 33554432000 4194304 4196468 140729229557760 139748552384632 139749871912671 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
Current children cumulated CPU time: 19714.8 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 418424 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.12 8.13 8.17 9/220 14130
/proc/meminfo: memFree=30294056/32770624 swapFree=67002056/67108860
[pid=13849] ppid=13846 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13849/stat : 13849 (xcsp3-exec) S 13846 13849 12846 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446293347 115843072 363 33554432000 4194304 5098028 140722272362736 140722272360840 140686078108284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38907904 140722272367478 140722272367721 140722272367721 140722272370634 0
/proc/13849/statm: 28282 363 304 221 0 87 0
[pid=13851] ppid=13849 vsize=28768336 memory=417308 CPUtime=19851.4 cores=0-7
/proc/13851/stat : 13851 (java) S 13849 13849 12846 0 -1 1077944320 556224 0 0 0 1983039 2098 0 0 20 0 28 0 446293347 29458776064 104327 33554432000 4194304 4196468 140729229557760 140729229540304 139750247501559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
/proc/13851/statm: 7192084 104327 3544 1 0 7153184 0
[pid=13851/tid=13852] ppid=13849 vsize=28768336 memory=1398722017469774279 CPUtime=1.08 cores=0-7
/proc/13851/task/13852/stat : 13852 (java) S 13849 13849 12846 0 -1 1077944384 12882 0 0 0 103 5 0 0 20 0 28 0 446293347 29458776064 104327 33554432000 4194304 4196468 140729229557760 139750251742336 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13853] ppid=13849 vsize=28768336 memory=4126316290023845779 CPUtime=8.44 cores=0-7
/proc/13851/task/13853/stat : 13853 (java) S 13849 13849 12846 0 -1 1077944384 20058 0 0 0 820 24 0 0 20 0 28 0 446293348 29458776064 104327 33554432000 4194304 4196468 140729229557760 139750200122128 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13854] ppid=13849 vsize=28768336 memory=24796 CPUtime=8.37 cores=0-7
/proc/13851/task/13854/stat : 13854 (java) S 13849 13849 12846 0 -1 1077944384 21683 0 0 0 813 24 0 0 20 0 28 0 446293348 29458776064 104327 33554432000 4194304 4196468 140729229557760 139750199069584 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13855] ppid=13849 vsize=28768336 memory=11852 CPUtime=8.37 cores=0-7
/proc/13851/task/13855/stat : 13855 (java) S 13849 13849 12846 0 -1 1077944384 21273 0 0 0 813 24 0 0 20 0 28 0 446293348 29458776064 104327 33554432000 4194304 4196468 140729229557760 139750198017040 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13856] ppid=13849 vsize=28768336 memory=532 CPUtime=8.39 cores=0-7
/proc/13851/task/13856/stat : 13856 (java) S 13849 13849 12846 0 -1 1077944384 20785 0 0 0 813 26 0 0 20 0 28 0 446293348 29458776064 104327 33554432000 4194304 4196468 140729229557760 139750196964496 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13857] ppid=13849 vsize=28768336 memory=1564 CPUtime=8.44 cores=0-7
/proc/13851/task/13857/stat : 13857 (java) S 13849 13849 12846 0 -1 1077944384 19904 0 0 0 818 26 0 0 20 0 28 0 446293348 29458776064 104327 33554432000 4194304 4196468 140729229557760 139750195910928 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13858] ppid=13849 vsize=28768336 memory=928 CPUtime=8.41 cores=0-7
/proc/13851/task/13858/stat : 13858 (java) S 13849 13849 12846 0 -1 1077944384 23864 0 0 0 814 27 0 0 20 0 28 0 446293348 29458776064 104327 33554432000 4194304 4196468 140729229557760 139750194858384 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13859] ppid=13849 vsize=28768336 memory=1980 CPUtime=8.35 cores=0-7
/proc/13851/task/13859/stat : 13859 (java) S 13849 13849 12846 0 -1 1077944384 24831 0 0 0 812 23 0 0 20 0 28 0 446293348 29458776064 104327 33554432000 4194304 4196468 140729229557760 139750193805840 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13860] ppid=13849 vsize=28768336 memory=1332 CPUtime=8.36 cores=0-7
/proc/13851/task/13860/stat : 13860 (java) S 13849 13849 12846 0 -1 1077944384 23263 0 0 0 812 24 0 0 20 0 28 0 446293348 29458776064 104327 33554432000 4194304 4196468 140729229557760 139750192753296 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13861] ppid=13849 vsize=28768336 memory=2648 CPUtime=28.29 cores=0-7
/proc/13851/task/13861/stat : 13861 (java) S 13849 13849 12846 0 -1 1077944384 94440 0 0 0 1147 1682 0 0 20 0 28 0 446293349 29458776064 104327 33554432000 4194304 4196468 140729229557760 139748913056240 139750247512706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13862] ppid=13849 vsize=28768336 memory=912 CPUtime=0 cores=0-7
/proc/13851/task/13862/stat : 13862 (java) S 13849 13849 12846 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 446293350 29458776064 104327 33554432000 4194304 4196468 140729229557760 139748912002528 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13863] ppid=13849 vsize=28768336 memory=1440 CPUtime=0 cores=0-7
/proc/13851/task/13863/stat : 13863 (java) S 13849 13849 12846 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 446293350 29458776064 104327 33554432000 4194304 4196468 140729229557760 139748910949888 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13864] ppid=13849 vsize=28768336 memory=1768 CPUtime=0 cores=0-7
/proc/13851/task/13864/stat : 13864 (java) S 13849 13849 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446293352 29458776064 104327 33554432000 4194304 4196468 140729229557760 139748909898448 139750247520155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13865] ppid=13849 vsize=28768336 memory=6791534058613427641 CPUtime=2.51 cores=0-7
/proc/13851/task/13865/stat : 13865 (java) S 13849 13849 12846 0 -1 1077944384 14918 0 0 0 248 3 0 0 20 0 28 0 446293352 29458776064 104327 33554432000 4194304 4196468 140729229557760 139748908845040 139750247512706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13866] ppid=13849 vsize=28768336 memory=2012 CPUtime=2.64 cores=0-7
/proc/13851/task/13866/stat : 13866 (java) S 13849 13849 12846 0 -1 1077944384 21731 0 0 0 261 3 0 0 20 0 28 0 446293352 29458776064 104327 33554432000 4194304 4196468 140729229557760 139748572129392 139750247512706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13867] ppid=13849 vsize=28768336 memory=1452 CPUtime=2.29 cores=0-7
/proc/13851/task/13867/stat : 13867 (java) S 13849 13849 12846 0 -1 1077944384 15270 0 0 0 227 2 0 0 20 0 28 0 446293353 29458776064 104327 33554432000 4194304 4196468 140729229557760 139748571076848 139750247512706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13868] ppid=13849 vsize=28768336 memory=415944 CPUtime=0.91 cores=0-7
/proc/13851/task/13868/stat : 13868 (java) S 13849 13849 12846 0 -1 1077944384 16197 0 0 0 88 3 0 0 20 0 28 0 446293353 29458776064 104327 33554432000 4194304 4196468 140729229557760 139748570024304 139750247512706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13869] ppid=13849 vsize=28768336 memory=1696 CPUtime=0 cores=0-7
/proc/13851/task/13869/stat : 13869 (java) S 13849 13849 12846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446293353 29458776064 104327 33554432000 4194304 4196468 140729229557760 139748568972000 139750247511765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13870] ppid=13849 vsize=28768336 memory=6791534058613427641 CPUtime=0.66 cores=0-7
/proc/13851/task/13870/stat : 13870 (java) S 13849 13849 12846 0 -1 1077944384 5462 0 0 0 33 33 0 0 20 0 28 0 446293353 29458776064 104327 33554432000 4194304 4196468 140729229557760 139748567919536 139750247512706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13997] ppid=13849 vsize=28768336 memory=416460 CPUtime=1580.58 cores=0-7
/proc/13851/task/13997/stat : 13997 (java) R 13849 13849 12846 0 -1 4202560 11741 0 0 0 158045 13 0 0 20 0 28 0 446383047 29458776064 104327 33554432000 4194304 4196468 140729229557760 139748556594360 139749871856756 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13998] ppid=13849 vsize=28768336 memory=2832 CPUtime=1583.05 cores=0-7
/proc/13851/task/13998/stat : 13998 (java) R 13849 13849 12846 0 -1 4202560 8887 0 0 0 158293 12 0 0 20 0 28 0 446383047 29458776064 104327 33554432000 4194304 4196468 140729229557760 139748553437720 139749871856890 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=13999] ppid=13849 vsize=28768336 memory=1224 CPUtime=1582.67 cores=0-7
/proc/13851/task/13999/stat : 13999 (java) R 13849 13849 12846 0 -1 4202560 12499 0 0 0 158253 14 0 0 20 0 28 0 446383047 29458776064 104327 33554432000 4194304 4196468 140729229557760 139748558702432 139749871768824 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=14000] ppid=13849 vsize=28768336 memory=6036 CPUtime=1582.1 cores=0-7
/proc/13851/task/14000/stat : 14000 (java) R 13849 13849 12846 0 -1 4202560 14448 0 0 0 158193 17 0 0 20 0 28 0 446383047 29458776064 104327 33554432000 4194304 4196468 140729229557760 139748554489640 139749871170280 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=14001] ppid=13849 vsize=28768336 memory=772 CPUtime=1596.86 cores=0-7
/proc/13851/task/14001/stat : 14001 (java) R 13849 13849 12846 0 -1 4202560 15425 0 0 0 159665 21 0 0 20 0 28 0 446383047 29458776064 104327 33554432000 4194304 4196468 140729229557760 139748551331648 139749873675851 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=14002] ppid=13849 vsize=28768336 memory=1556 CPUtime=1578.44 cores=0-7
/proc/13851/task/14002/stat : 14002 (java) R 13849 13849 12846 0 -1 4202560 7518 0 0 0 157830 14 0 0 20 0 28 0 446383047 29458776064 104327 33554432000 4194304 4196468 140729229557760 139748557647304 139749871746942 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=14003] ppid=13849 vsize=28768336 memory=1056 CPUtime=1582.31 cores=0-7
/proc/13851/task/14003/stat : 14003 (java) R 13849 13849 12846 0 -1 4202560 24413 0 0 0 158217 14 0 0 20 0 28 0 446383047 29458776064 104327 33554432000 4194304 4196468 140729229557760 139748555542088 139749871148325 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
[pid=13851/tid=14004] ppid=13849 vsize=28768336 memory=6791534058613427641 CPUtime=1581.62 cores=0-7
/proc/13851/task/14004/stat : 14004 (java) R 13849 13849 12846 0 -1 4202560 8053 0 0 0 158150 12 0 0 20 0 28 0 446383047 29458776064 104327 33554432000 4194304 4196468 140729229557760 139748552384696 139749871747184 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 27078656 140729229566954 140729229567126 140729229567126 140729229569999 0
Current children cumulated CPU time: 19851.4 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 418760 KiB

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

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

[startup+2520.12 s]
# the end of solver process 13851 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19831.1 s, system=20.9962 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.12
CPU time (s): 19852.1
CPU user time (s): 19831.1
CPU system time (s): 20.9962
CPU usage (%): 787.746
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 1198976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19831.1
system time used= 20.9962
maximum resident set size= 1201620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 556935
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 274800
involuntary context switches= 229473


# summary of solver processes directly reported to runsolver:
#   pid: 13849,13851
#   total CPU time (s): 19852.1
#   total CPU user time (s): 19831.1
#   total CPU system time (s): 20.9962

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.5619 second user time and 28.2703 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-17 09:02:33
IDJOB=4400007
IDBENCH=126211
IDSOLVER=2854
FILE ID=node146/4400007-1568703794
RUNJOBID= node146-1568700947-12873
PBS_JOBID= 21703909
Free space on /tmp= 59004 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
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-4400007-1568703794/watcher-4400007-1568703794 -o /tmp/evaluation-result-4400007-1568703794/solver-4400007-1568703794 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568700947-12873 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 460574748 HOME/instance-4400007-1568703794.xml

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

MD5SUM BENCH= 7bf94b2c859f2895a81dfe97f17444ea
RANDOM SEED=460574748

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        30700944 kB
MemAvailable:   31867664 kB
Buffers:          236212 kB
Cached:          1201068 kB
SwapCached:         4360 kB
Active:           724428 kB
Inactive:         718304 kB
Active(anon):      22596 kB
Inactive(anon):    30432 kB
Active(file):     701832 kB
Inactive(file):   687872 kB
Unevictable:      110876 kB
Mlocked:          110876 kB
SwapTotal:      67108860 kB
SwapFree:       67002048 kB
Dirty:             26112 kB
Writeback:             0 kB
AnonPages:        113780 kB
Mapped:            47568 kB
Shmem:             39088 kB
Slab:             216364 kB
SReclaimable:     185704 kB
SUnreclaim:        30660 kB
KernelStack:        3792 kB
PageTables:         5716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     507592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 58976 MiB
End job on node146 at 2019-09-17 09:44:33