Trace number 4394173

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-14OPT29 64.2944 19.3988

General information on the benchmark

NameLowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-019.xml
MD5SUM4db16cf953bf17f15cb901b9adc08541
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark29
Best CPU time to get the best result obtained on this benchmark19.3211
Satisfiable
(Un)Satisfiability was proved
Number of variables379
Number of constraints207
Number of domains37
Minimum domain size2
Maximum domain size37
Distribution of domain sizes[{"size":2,"count":191},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":21,"count":1},{"size":23,"count":1},{"size":25,"count":1},{"size":27,"count":1},{"size":29,"count":1},{"size":31,"count":1},{"size":33,"count":1},{"size":35,"count":1},{"size":37,"count":1}]
Minimum variable degree0
Maximum variable degree18
Distribution of variable degrees[{"degree":0,"count":153},{"degree":2,"count":207},{"degree":18,"count":19}]
Minimum constraint arity2
Maximum constraint arity19
Distribution of constraint arities[{"arity":2,"count":19},{"arity":3,"count":172},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1}]
Number of extensional constraints0
Number of intensional constraints189
Distribution of constraint types[{"type":"intension","count":189},{"type":"sum","count":18}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394173-1568331369.xml"  -tl '2400s' -p 4
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4394173-1568331369.xml, -tl, 2400s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
1.95/0.84	c solve instance...
1.95/0.88	o 2109 
1.95/0.89	o 2109 
1.95/0.89	o 1497 
2.24/0.90	o 1437 
2.24/0.90	o 1081 
2.24/0.92	o 1021 
2.24/0.93	o 969 
2.24/0.95	o 829 
2.24/0.95	o 753 
2.24/0.96	o 701 
2.24/0.96	o 673 
2.24/0.97	o 621 
2.24/0.97	o 617 
2.24/0.98	o 577 
2.24/0.98	o 565 
2.24/0.99	o 521 
2.24/0.99	o 517 
2.24/1.00	o 513 
2.24/1.01	o 449 
2.60/1.02	o 425 
2.60/1.02	o 405 
2.60/1.03	o 385 
2.60/1.04	o 377 
2.60/1.04	o 373 
2.60/1.05	o 345 
2.60/1.05	o 293 
2.60/1.07	o 289 
2.60/1.07	o 273 
2.60/1.07	o 245 
2.60/1.08	o 229 
2.60/1.09	o 213 
2.60/1.09	o 197 
2.93/1.11	o 173 
2.93/1.12	o 161 
2.93/1.12	o 145 
2.93/1.15	o 77 
3.25/1.22	o 69 
3.25/1.26	o 61 
3.62/1.35	o 57 
3.62/1.36	o 45 
5.37/1.82	o 41 
5.37/1.84	o 37 
12.84/3.97	o 29 
64.19/19.39	s OPTIMUM FOUND
64.19/19.39	v <instantiation>
64.19/19.39	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] y[0][0] 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[1][0] y[1][1] 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[2][0] y[2][1] y[2][2] 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[3][0] y[3][1] y[3][2] y[3][3] 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[4][0] y[4][1] y[4][2] y[4][3] y[4][4] 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[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[14][0] y[14][1] y[14][2] y[14][3] y[15][0] y[15][1] y[15][2] y[16][0] y[16][1] y[17][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] </list>
64.19/19.39	v 	<values>-1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 0 1 0 1 0 -1 0 -3 0 -1 2 -1 0 -1 -2 -1 -2 -1 0 1 0 1 0 1 0 9 0 1 4 1 0 1 4 1 4 1 </values>
64.19/19.39	v </instantiation>

Verifier Data 

OK	29

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394173-1568331369/watcher-4394173-1568331369 -o /tmp/evaluation-result-4394173-1568331369/solver-4394173-1568331369 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25331 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 2071497913 HOME/instance-4394173-1568331369.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=3691, runsolver pid=3688
Current StackSize limit: 8192 KiB


[startup+0.100081 s]*
/proc/loadavg: 8.19 7.30 7.23 7/233 3707
/proc/meminfo: memFree=30834684/32770624 swapFree=66933684/67108860
[pid=3691] ppid=3688 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3691/stat : 3691 (xcsp3-exec) S 3688 3691 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409408389 115843072 363 33554432000 4194304 5098028 140736751286816 140736751284920 140612228735612 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39329792 140736751289210 140736751289453 140736751289453 140736751292362 0
/proc/3691/statm: 28282 363 304 221 0 87 0
[pid=3693] ppid=3691 vsize=15144768 memory=28744 CPUtime=0.12 cores=0,2,4,6
/proc/3693/stat : 3693 (java) S 3691 3691 25300 0 -1 1077944320 5653 0 0 0 11 1 0 0 20 0 15 0 409408389 15508242432 7186 33554432000 4194304 4196468 140731640841792 140731640824336 140253074030327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
/proc/3693/statm: 3786192 7186 3115 1 0 3748377 0
[pid=3693/tid=3694] ppid=3691 vsize=15144768 memory=-6664436420846797971 CPUtime=0.09 cores=0,2,4,6
/proc/3693/task/3694/stat : 3694 (java) R 3691 3691 25300 0 -1 4202560 3575 0 0 0 8 1 0 0 20 0 15 0 409408390 15508242432 7252 33554432000 4194304 4196468 140731640841792 140253078262792 140253055595012 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3695] ppid=3691 vsize=15144768 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3695/stat : 3695 (java) S 3691 3691 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409408390 15508242432 7252 33554432000 4194304 4196468 140731640841792 140253030582800 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3696] ppid=3691 vsize=15144768 memory=139718285039232 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3696/stat : 3696 (java) S 3691 3691 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409408390 15508242432 7252 33554432000 4194304 4196468 140731640841792 140252665797264 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3697] ppid=3691 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3697/stat : 3697 (java) S 3691 3691 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409408390 15508242432 7252 33554432000 4194304 4196468 140731640841792 140252664744208 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3698] ppid=3691 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3698/stat : 3698 (java) S 3691 3691 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409408390 15508242432 7252 33554432000 4194304 4196468 140731640841792 140252663691664 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3699] ppid=3691 vsize=15144768 memory=139718285039232 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3699/stat : 3699 (java) S 3691 3691 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409408392 15508242432 7252 33554432000 4194304 4196468 140731640841792 140252542618352 140253074041474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3700] ppid=3691 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3700/stat : 3700 (java) S 3691 3691 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409408392 15508242432 7252 33554432000 4194304 4196468 140731640841792 140252541564576 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3701] ppid=3691 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3701/stat : 3701 (java) S 3691 3691 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409408392 15508242432 7252 33554432000 4194304 4196468 140731640841792 140252540511472 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3702] ppid=3691 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3702/stat : 3702 (java) S 3691 3691 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409408395 15508242432 7252 33554432000 4194304 4196468 140731640841792 140252539460048 140253074048923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3703] ppid=3691 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3703/stat : 3703 (java) R 3691 3691 25300 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 409408395 15508242432 7252 33554432000 4194304 4196468 140731640841792 140252538407152 140253074041474 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3704] ppid=3691 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3704/stat : 3704 (java) R 3691 3691 25300 0 -1 4202560 146 0 0 0 0 0 0 0 20 0 15 0 409408395 15508242432 7252 33554432000 4194304 4196468 140731640841792 140252537354608 140253059696480 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3705] ppid=3691 vsize=15144768 memory=139718285039232 CPUtime=0.02 cores=0,2,4,6
/proc/3693/task/3705/stat : 3705 (java) R 3691 3691 25300 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 15 0 409408395 15508242432 7252 33554432000 4194304 4196468 140731640841792 140252536301552 140253052676168 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3706] ppid=3691 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3706/stat : 3706 (java) S 3691 3691 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409408395 15508242432 7252 33554432000 4194304 4196468 140731640841792 140252535249248 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3707] ppid=3691 vsize=15144768 memory=139718285039232 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3707/stat : 3707 (java) S 3691 3691 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409408395 15508242432 7252 33554432000 4194304 4196468 140731640841792 140252534197296 140253074041474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30196 KiB

[startup+0.21093 s]*
/proc/loadavg: 8.19 7.30 7.23 8/233 3707
/proc/meminfo: memFree=30819920/32770624 swapFree=66933684/67108860
[pid=3691] ppid=3688 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3691/stat : 3691 (xcsp3-exec) S 3688 3691 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409408389 115843072 363 33554432000 4194304 5098028 140736751286816 140736751284920 140612228735612 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39329792 140736751289210 140736751289453 140736751289453 140736751292362 0
/proc/3691/statm: 28282 363 304 221 0 87 0
[pid=3693] ppid=3691 vsize=15144768 memory=40884 CPUtime=0.34 cores=0,2,4,6
/proc/3693/stat : 3693 (java) S 3691 3691 25300 0 -1 1077944320 9447 0 0 0 31 3 0 0 20 0 15 0 409408389 15508242432 10221 33554432000 4194304 4196468 140731640841792 140731640824336 140253074030327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
/proc/3693/statm: 3786192 10221 3300 1 0 3748377 0
[pid=3693/tid=3694] ppid=3691 vsize=15144768 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/3693/task/3694/stat : 3694 (java) R 3691 3691 25300 0 -1 4202560 6610 0 0 0 18 2 0 0 20 0 15 0 409408390 15508242432 10221 33554432000 4194304 4196468 140731640841792 140253078260048 140253074052253 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3695] ppid=3691 vsize=15144768 memory=364 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3695/stat : 3695 (java) S 3691 3691 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409408390 15508242432 10221 33554432000 4194304 4196468 140731640841792 140253030582800 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3696] ppid=3691 vsize=15144768 memory=288370094436750976 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3696/stat : 3696 (java) S 3691 3691 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409408390 15508242432 10221 33554432000 4194304 4196468 140731640841792 140252665797264 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3697] ppid=3691 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3697/stat : 3697 (java) S 3691 3691 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409408390 15508242432 10221 33554432000 4194304 4196468 140731640841792 140252664744208 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3698] ppid=3691 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3698/stat : 3698 (java) S 3691 3691 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409408390 15508242432 10221 33554432000 4194304 4196468 140731640841792 140252663691664 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3699] ppid=3691 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3699/stat : 3699 (java) S 3691 3691 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409408392 15508242432 10221 33554432000 4194304 4196468 140731640841792 140252542618352 140253074041474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3700] ppid=3691 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3700/stat : 3700 (java) S 3691 3691 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409408392 15508242432 10221 33554432000 4194304 4196468 140731640841792 140252541564576 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3701] ppid=3691 vsize=15144768 memory=139718285039232 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3701/stat : 3701 (java) S 3691 3691 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409408392 15508242432 10221 33554432000 4194304 4196468 140731640841792 140252540511472 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3702] ppid=3691 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3702/stat : 3702 (java) S 3691 3691 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409408395 15508242432 10221 33554432000 4194304 4196468 140731640841792 140252539460048 140253074048923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3703] ppid=3691 vsize=15144768 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3693/task/3703/stat : 3703 (java) S 3691 3691 25300 0 -1 1077944384 486 0 0 0 1 0 0 0 20 0 15 0 409408395 15508242432 10221 33554432000 4194304 4196468 140731640841792 140252538407152 140253074041474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3704] ppid=3691 vsize=15144768 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/3693/task/3704/stat : 3704 (java) S 3691 3691 25300 0 -1 1077944384 277 0 0 0 3 0 0 0 20 0 15 0 409408395 15508242432 10221 33554432000 4194304 4196468 140731640841792 140252537354608 140253074041474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3705] ppid=3691 vsize=15144768 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3693/task/3705/stat : 3705 (java) R 3691 3691 25300 0 -1 4202560 776 0 0 0 8 0 0 0 20 0 15 0 409408395 15508242432 10221 33554432000 4194304 4196468 140731640841792 140252536301552 140253053324494 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3706] ppid=3691 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3706/stat : 3706 (java) S 3691 3691 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409408395 15508242432 10221 33554432000 4194304 4196468 140731640841792 140252535249248 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3707] ppid=3691 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3707/stat : 3707 (java) S 3691 3691 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409408395 15508242432 10221 33554432000 4194304 4196468 140731640841792 140252534197296 140253074041474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42336 KiB

[startup+0.320289 s]*
/proc/loadavg: 8.19 7.30 7.23 7/233 3707
/proc/meminfo: memFree=30801036/32770624 swapFree=66933684/67108860
[pid=3691] ppid=3688 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3691/stat : 3691 (xcsp3-exec) S 3688 3691 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409408389 115843072 363 33554432000 4194304 5098028 140736751286816 140736751284920 140612228735612 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39329792 140736751289210 140736751289453 140736751289453 140736751292362 0
/proc/3691/statm: 28282 363 304 221 0 87 0
[pid=3693] ppid=3691 vsize=15149024 memory=50044 CPUtime=0.54 cores=0,2,4,6
/proc/3693/stat : 3693 (java) S 3691 3691 25300 0 -1 1077944320 10931 0 0 0 50 4 0 0 20 0 15 0 409408389 15512600576 12511 33554432000 4194304 4196468 140731640841792 140731640824336 140253074030327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
/proc/3693/statm: 3787256 12511 3351 1 0 3748377 0
[pid=3693/tid=3694] ppid=3691 vsize=15149024 memory=288363917221298210 CPUtime=0.31 cores=0,2,4,6
/proc/3693/task/3694/stat : 3694 (java) R 3691 3691 25300 0 -1 4202560 7874 0 0 0 28 3 0 0 20 0 15 0 409408390 15512600576 12585 33554432000 4194304 4196468 140731640841792 140253078258672 140253066747290 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3695] ppid=3691 vsize=15149024 memory=288230621820748097 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3695/stat : 3695 (java) S 3691 3691 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409408390 15512600576 12585 33554432000 4194304 4196468 140731640841792 140253030582800 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3696] ppid=3691 vsize=15149024 memory=14696283709377090 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3696/stat : 3696 (java) S 3691 3691 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409408390 15512600576 12585 33554432000 4194304 4196468 140731640841792 140252665797264 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3697] ppid=3691 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3697/stat : 3697 (java) S 3691 3691 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409408390 15512600576 12585 33554432000 4194304 4196468 140731640841792 140252664744208 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3698] ppid=3691 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3698/stat : 3698 (java) S 3691 3691 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409408390 15512600576 12585 33554432000 4194304 4196468 140731640841792 140252663691664 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3699] ppid=3691 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3699/stat : 3699 (java) S 3691 3691 25300 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 409408392 15512600576 12585 33554432000 4194304 4196468 140731640841792 140252542618352 140253074041474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3700] ppid=3691 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3700/stat : 3700 (java) S 3691 3691 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409408392 15512600576 12585 33554432000 4194304 4196468 140731640841792 140252541564576 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3701] ppid=3691 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3701/stat : 3701 (java) S 3691 3691 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409408392 15512600576 12585 33554432000 4194304 4196468 140731640841792 140252540511472 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3702] ppid=3691 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3702/stat : 3702 (java) S 3691 3691 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409408395 15512600576 12585 33554432000 4194304 4196468 140731640841792 140252539460048 140253074048923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3703] ppid=3691 vsize=15149024 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/3693/task/3703/stat : 3703 (java) S 3691 3691 25300 0 -1 1077944384 517 0 0 0 3 0 0 0 20 0 15 0 409408395 15512600576 12585 33554432000 4194304 4196468 140731640841792 140252538407152 140253074041474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3704] ppid=3691 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/3693/task/3704/stat : 3704 (java) R 3691 3691 25300 0 -1 1077944384 377 0 0 0 5 0 0 0 20 0 15 0 409408395 15512600576 12585 33554432000 4194304 4196468 140731640841792 140252537354608 140253074041474 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3705] ppid=3691 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/3693/task/3705/stat : 3705 (java) R 3691 3691 25300 0 -1 4202560 868 0 0 0 12 0 0 0 20 0 15 0 409408395 15512600576 12585 33554432000 4194304 4196468 140731640841792 140252536301552 140253074042262 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3706] ppid=3691 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3706/stat : 3706 (java) S 3691 3691 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409408395 15512600576 12585 33554432000 4194304 4196468 140731640841792 140252535249248 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3707] ppid=3691 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3707/stat : 3707 (java) S 3691 3691 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409408395 15512600576 12585 33554432000 4194304 4196468 140731640841792 140252534197296 140253074041474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51496 KiB

[startup+0.70117 s]
/proc/loadavg: 8.19 7.30 7.23 7/233 3707
/proc/meminfo: memFree=30800028/32770624 swapFree=66933684/67108860
[pid=3691] ppid=3688 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3691/stat : 3691 (xcsp3-exec) S 3688 3691 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409408389 115843072 363 33554432000 4194304 5098028 140736751286816 140736751284920 140612228735612 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39329792 140736751289210 140736751289453 140736751289453 140736751292362 0
/proc/3691/statm: 28282 363 304 221 0 87 0
[pid=3693] ppid=3691 vsize=15151148 memory=83488 CPUtime=1.56 cores=0,2,4,6
/proc/3693/stat : 3693 (java) S 3691 3691 25300 0 -1 1077944320 15052 0 0 0 150 6 0 0 20 0 15 0 409408389 15514775552 20872 33554432000 4194304 4196468 140731640841792 140731640824336 140253074030327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
/proc/3693/statm: 3787787 20872 3451 1 0 3748889 0
[pid=3693/tid=3694] ppid=3691 vsize=15151148 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/3693/task/3694/stat : 3694 (java) R 3691 3691 25300 0 -1 4202560 9293 0 0 0 63 4 0 0 20 0 15 0 409408390 15514775552 20872 33554432000 4194304 4196468 140731640841792 140253078267232 140253058073957 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3695] ppid=3691 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3695/stat : 3695 (java) S 3691 3691 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409408390 15514775552 20872 33554432000 4194304 4196468 140731640841792 140253030582800 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3696] ppid=3691 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3696/stat : 3696 (java) S 3691 3691 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409408390 15514775552 20872 33554432000 4194304 4196468 140731640841792 140252665797264 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3697] ppid=3691 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3697/stat : 3697 (java) S 3691 3691 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409408390 15514775552 20872 33554432000 4194304 4196468 140731640841792 140252664744208 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3698] ppid=3691 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3698/stat : 3698 (java) S 3691 3691 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409408390 15514775552 20872 33554432000 4194304 4196468 140731640841792 140252663691664 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3699] ppid=3691 vsize=15151148 memory=70 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3699/stat : 3699 (java) S 3691 3691 25300 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 409408392 15514775552 20872 33554432000 4194304 4196468 140731640841792 140252542618352 140253074041474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3700] ppid=3691 vsize=15151148 memory=1 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3700/stat : 3700 (java) S 3691 3691 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409408392 15514775552 20872 33554432000 4194304 4196468 140731640841792 140252541564576 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3701] ppid=3691 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3701/stat : 3701 (java) S 3691 3691 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409408392 15514775552 20872 33554432000 4194304 4196468 140731640841792 140252540511472 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3702] ppid=3691 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3702/stat : 3702 (java) S 3691 3691 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409408395 15514775552 20872 33554432000 4194304 4196468 140731640841792 140252539460048 140253074048923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3703] ppid=3691 vsize=15151148 memory=14323715934760 CPUtime=0.2 cores=0,2,4,6
/proc/3693/task/3703/stat : 3703 (java) R 3691 3691 25300 0 -1 4202560 1372 0 0 0 20 0 0 0 20 0 15 0 409408395 15514775552 20872 33554432000 4194304 4196468 140731640841792 140252538407152 140253074042262 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3704] ppid=3691 vsize=15151148 memory=2958624 CPUtime=0.24 cores=0,2,4,6
/proc/3693/task/3704/stat : 3704 (java) R 3691 3691 25300 0 -1 1077944384 1012 0 0 0 24 0 0 0 20 0 15 0 409408395 15514775552 20872 33554432000 4194304 4196468 140731640841792 140252537354608 140253074041474 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3705] ppid=3691 vsize=15151148 memory=2966641 CPUtime=0.4 cores=0,2,4,6
/proc/3693/task/3705/stat : 3705 (java) R 3691 3691 25300 0 -1 4202560 2072 0 0 0 40 0 0 0 20 0 15 0 409408395 15514775552 20872 33554432000 4194304 4196468 140731640841792 140252536297920 140253052676991 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3706] ppid=3691 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3706/stat : 3706 (java) S 3691 3691 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409408395 15514775552 20872 33554432000 4194304 4196468 140731640841792 140252535249248 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3707] ppid=3691 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3707/stat : 3707 (java) S 3691 3691 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409408395 15514775552 20872 33554432000 4194304 4196468 140731640841792 140252534197296 140253074041474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 84940 KiB

[startup+1.5096 s]
/proc/loadavg: 8.19 7.30 7.23 8/238 3780
/proc/meminfo: memFree=30683144/32770624 swapFree=66933684/67108860
[pid=3691] ppid=3688 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3691/stat : 3691 (xcsp3-exec) S 3688 3691 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409408389 115843072 363 33554432000 4194304 5098028 140736751286816 140736751284920 140612228735612 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39329792 140736751289210 140736751289453 140736751289453 140736751292362 0
/proc/3691/statm: 28282 363 304 221 0 87 0

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

/proc/3693/task/3707/stat : 3707 (java) S 3691 3691 25300 0 -1 1077944384 525 0 0 0 0 0 0 0 20 0 19 0 409408395 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252534197296 140253074041474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3880] ppid=3691 vsize=15752272 memory=0 CPUtime=11.58 cores=0,2,4,6
/proc/3693/task/3880/stat : 3880 (java) S 3691 3691 25300 0 -1 1077944384 346 0 0 0 1158 0 0 0 20 0 19 0 409408787 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252516576928 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3881] ppid=3691 vsize=15752272 memory=0 CPUtime=11.37 cores=0,2,4,6
/proc/3693/task/3881/stat : 3881 (java) S 3691 3691 25300 0 -1 1077944384 816 0 0 0 1137 0 0 0 20 0 19 0 409408787 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252520788688 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3882] ppid=3691 vsize=15752272 memory=0 CPUtime=11.66 cores=0,2,4,6
/proc/3693/task/3882/stat : 3882 (java) S 3691 3691 25300 0 -1 1077944384 962 0 0 0 1166 0 0 0 20 0 19 0 409408787 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252514472784 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3883] ppid=3691 vsize=15752272 memory=1452 CPUtime=13.81 cores=0,2,4,6
/proc/3693/task/3883/stat : 3883 (java) R 3691 3691 25300 0 -1 4202560 260 0 0 0 1381 0 0 0 20 0 19 0 409408787 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252519730928 140252721207212 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
Current children cumulated CPU time: 63.29 s
Current children cumulated vsize: 15865400 KiB
Current children cumulated memory: 256396 KiB

[startup+18.8007 s]
/proc/loadavg: 8.52 7.41 7.27 6/237 3886
/proc/meminfo: memFree=30635384/32770624 swapFree=66933684/67108860
[pid=3691] ppid=3688 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3691/stat : 3691 (xcsp3-exec) S 3688 3691 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409408389 115843072 363 33554432000 4194304 5098028 140736751286816 140736751284920 140612228735612 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39329792 140736751289210 140736751289453 140736751289453 140736751292362 0
/proc/3691/statm: 28282 363 304 221 0 87 0
[pid=3693] ppid=3691 vsize=15752272 memory=254944 CPUtime=63.69 cores=0,2,4,6
/proc/3693/stat : 3693 (java) S 3691 3691 25300 0 -1 1077944320 52155 0 0 0 6351 18 0 0 20 0 19 0 409408389 16130326528 63736 33554432000 4194304 4196468 140731640841792 140731640824336 140253074030327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
/proc/3693/statm: 3938068 63736 3527 1 0 3899170 0
[pid=3693/tid=3694] ppid=3691 vsize=15752272 memory=15260333157648136 CPUtime=0.85 cores=0,2,4,6
/proc/3693/task/3694/stat : 3694 (java) S 3691 3691 25300 0 -1 1077944384 9616 0 0 0 80 5 0 0 20 0 19 0 409408390 16130326528 63736 33554432000 4194304 4196468 140731640841792 140253078271104 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3695] ppid=3691 vsize=15752272 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/3693/task/3695/stat : 3695 (java) S 3691 3691 25300 0 -1 1077944384 711 0 0 0 3 1 0 0 20 0 19 0 409408390 16130326528 63736 33554432000 4194304 4196468 140731640841792 140253030582800 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3696] ppid=3691 vsize=15752272 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/3693/task/3696/stat : 3696 (java) S 3691 3691 25300 0 -1 1077944384 251 0 0 0 3 1 0 0 20 0 19 0 409408390 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252665797264 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3697] ppid=3691 vsize=15752272 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/3693/task/3697/stat : 3697 (java) S 3691 3691 25300 0 -1 1077944384 877 0 0 0 3 1 0 0 20 0 19 0 409408390 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252664744208 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3698] ppid=3691 vsize=15752272 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/3693/task/3698/stat : 3698 (java) S 3691 3691 25300 0 -1 1077944384 1359 0 0 0 2 1 0 0 20 0 19 0 409408390 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252663691664 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3699] ppid=3691 vsize=15752272 memory=504 CPUtime=0.02 cores=0,2,4,6
/proc/3693/task/3699/stat : 3699 (java) S 3691 3691 25300 0 -1 1077944384 793 0 0 0 1 1 0 0 20 0 19 0 409408392 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252542618352 140253074041474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3700] ppid=3691 vsize=15752272 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3700/stat : 3700 (java) S 3691 3691 25300 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 409408392 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252541564640 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3701] ppid=3691 vsize=15752272 memory=924 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3701/stat : 3701 (java) S 3691 3691 25300 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409408392 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252540511488 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3702] ppid=3691 vsize=15752272 memory=1420 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3702/stat : 3702 (java) S 3691 3691 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409408395 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252539460048 140253074048923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3703] ppid=3691 vsize=15752272 memory=1984 CPUtime=3.34 cores=0,2,4,6
/proc/3693/task/3703/stat : 3703 (java) S 3691 3691 25300 0 -1 1077944384 11944 0 0 0 333 1 0 0 20 0 19 0 409408395 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252538407152 140253074041474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3704] ppid=3691 vsize=15752272 memory=2532 CPUtime=3.87 cores=0,2,4,6
/proc/3693/task/3704/stat : 3704 (java) S 3691 3691 25300 0 -1 1077944384 12668 0 0 0 386 1 0 0 20 0 19 0 409408395 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252537354608 140253074041474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3705] ppid=3691 vsize=15752272 memory=1440 CPUtime=0.89 cores=0,2,4,6
/proc/3693/task/3705/stat : 3705 (java) S 3691 3691 25300 0 -1 1077944384 5986 0 0 0 88 1 0 0 20 0 19 0 409408395 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252536301552 140253074041474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3706] ppid=3691 vsize=15752272 memory=-8412652152092201843 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3706/stat : 3706 (java) S 3691 3691 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409408395 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252535249248 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3707] ppid=3691 vsize=15752272 memory=4426639978525455914 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3707/stat : 3707 (java) S 3691 3691 25300 0 -1 1077944384 525 0 0 0 0 0 0 0 20 0 19 0 409408395 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252534197296 140253074041474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3880] ppid=3691 vsize=15752272 memory=3047711553219693942 CPUtime=11.58 cores=0,2,4,6
/proc/3693/task/3880/stat : 3880 (java) S 3691 3691 25300 0 -1 1077944384 346 0 0 0 1158 0 0 0 20 0 19 0 409408787 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252516576928 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3881] ppid=3691 vsize=15752272 memory=-7521736447810188379 CPUtime=11.37 cores=0,2,4,6
/proc/3693/task/3881/stat : 3881 (java) S 3691 3691 25300 0 -1 1077944384 816 0 0 0 1137 0 0 0 20 0 19 0 409408787 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252520788688 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3882] ppid=3691 vsize=15752272 memory=-8412652160765825907 CPUtime=11.66 cores=0,2,4,6
/proc/3693/task/3882/stat : 3882 (java) S 3691 3691 25300 0 -1 1077944384 962 0 0 0 1166 0 0 0 20 0 19 0 409408787 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252514472784 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3883] ppid=3691 vsize=15752272 memory=7897517683652307531 CPUtime=14.21 cores=0,2,4,6
/proc/3693/task/3883/stat : 3883 (java) R 3691 3691 25300 0 -1 4202560 261 0 0 0 1421 0 0 0 20 0 19 0 409408787 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252519730928 140252721207184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
Current children cumulated CPU time: 63.69 s
Current children cumulated vsize: 15865400 KiB
Current children cumulated memory: 256396 KiB

[startup+19.2007 s]
/proc/loadavg: 8.52 7.41 7.27 6/237 3886
/proc/meminfo: memFree=30635508/32770624 swapFree=66933684/67108860
[pid=3691] ppid=3688 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3691/stat : 3691 (xcsp3-exec) S 3688 3691 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409408389 115843072 363 33554432000 4194304 5098028 140736751286816 140736751284920 140612228735612 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39329792 140736751289210 140736751289453 140736751289453 140736751292362 0
/proc/3691/statm: 28282 363 304 221 0 87 0
[pid=3693] ppid=3691 vsize=15752272 memory=254944 CPUtime=64.09 cores=0,2,4,6
/proc/3693/stat : 3693 (java) S 3691 3691 25300 0 -1 1077944320 52156 0 0 0 6391 18 0 0 20 0 19 0 409408389 16130326528 63736 33554432000 4194304 4196468 140731640841792 140731640824336 140253074030327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
/proc/3693/statm: 3938068 63736 3527 1 0 3899170 0
[pid=3693/tid=3694] ppid=3691 vsize=15752272 memory=14008 CPUtime=0.85 cores=0,2,4,6
/proc/3693/task/3694/stat : 3694 (java) S 3691 3691 25300 0 -1 1077944384 9616 0 0 0 80 5 0 0 20 0 19 0 409408390 16130326528 63736 33554432000 4194304 4196468 140731640841792 140253078271104 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3695] ppid=3691 vsize=15752272 memory=84 CPUtime=0.04 cores=0,2,4,6
/proc/3693/task/3695/stat : 3695 (java) S 3691 3691 25300 0 -1 1077944384 711 0 0 0 3 1 0 0 20 0 19 0 409408390 16130326528 63736 33554432000 4194304 4196468 140731640841792 140253030582800 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3696] ppid=3691 vsize=15752272 memory=-3621219749712857441 CPUtime=0.04 cores=0,2,4,6
/proc/3693/task/3696/stat : 3696 (java) S 3691 3691 25300 0 -1 1077944384 251 0 0 0 3 1 0 0 20 0 19 0 409408390 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252665797264 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3697] ppid=3691 vsize=15752272 memory=279436343931008 CPUtime=0.04 cores=0,2,4,6
/proc/3693/task/3697/stat : 3697 (java) S 3691 3691 25300 0 -1 1077944384 877 0 0 0 3 1 0 0 20 0 19 0 409408390 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252664744208 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3698] ppid=3691 vsize=15752272 memory=8112282956445269571 CPUtime=0.03 cores=0,2,4,6
/proc/3693/task/3698/stat : 3698 (java) S 3691 3691 25300 0 -1 1077944384 1359 0 0 0 2 1 0 0 20 0 19 0 409408390 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252663691664 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3699] ppid=3691 vsize=15752272 memory=288230377108275491 CPUtime=0.02 cores=0,2,4,6
/proc/3693/task/3699/stat : 3699 (java) S 3691 3691 25300 0 -1 1077944384 793 0 0 0 1 1 0 0 20 0 19 0 409408392 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252542618352 140253074041474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3700] ppid=3691 vsize=15752272 memory=288288861677946038 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3700/stat : 3700 (java) S 3691 3691 25300 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 409408392 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252541564640 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3701] ppid=3691 vsize=15752272 memory=3472331616268084239 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3701/stat : 3701 (java) S 3691 3691 25300 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409408392 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252540511488 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3702] ppid=3691 vsize=15752272 memory=244652 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3702/stat : 3702 (java) S 3691 3691 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409408395 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252539460048 140253074048923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3703] ppid=3691 vsize=15752272 memory=0 CPUtime=3.34 cores=0,2,4,6
/proc/3693/task/3703/stat : 3703 (java) S 3691 3691 25300 0 -1 1077944384 11944 0 0 0 333 1 0 0 20 0 19 0 409408395 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252538407152 140253074041474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3704] ppid=3691 vsize=15752272 memory=4580 CPUtime=3.87 cores=0,2,4,6
/proc/3693/task/3704/stat : 3704 (java) S 3691 3691 25300 0 -1 1077944384 12668 0 0 0 386 1 0 0 20 0 19 0 409408395 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252537354608 140253074041474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3705] ppid=3691 vsize=15752272 memory=6943526294502006880 CPUtime=0.89 cores=0,2,4,6
/proc/3693/task/3705/stat : 3705 (java) S 3691 3691 25300 0 -1 1077944384 5986 0 0 0 88 1 0 0 20 0 19 0 409408395 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252536301552 140253074041474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3706] ppid=3691 vsize=15752272 memory=7451043287078622316 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3706/stat : 3706 (java) S 3691 3691 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409408395 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252535249248 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3707] ppid=3691 vsize=15752272 memory=1 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3707/stat : 3707 (java) S 3691 3691 25300 0 -1 1077944384 525 0 0 0 0 0 0 0 20 0 19 0 409408395 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252534197296 140253074041474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3880] ppid=3691 vsize=15752272 memory=0 CPUtime=11.58 cores=0,2,4,6
/proc/3693/task/3880/stat : 3880 (java) S 3691 3691 25300 0 -1 1077944384 346 0 0 0 1158 0 0 0 20 0 19 0 409408787 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252516576928 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3881] ppid=3691 vsize=15752272 memory=0 CPUtime=11.37 cores=0,2,4,6
/proc/3693/task/3881/stat : 3881 (java) S 3691 3691 25300 0 -1 1077944384 816 0 0 0 1137 0 0 0 20 0 19 0 409408787 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252520788688 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3882] ppid=3691 vsize=15752272 memory=0 CPUtime=11.66 cores=0,2,4,6
/proc/3693/task/3882/stat : 3882 (java) S 3691 3691 25300 0 -1 1077944384 962 0 0 0 1166 0 0 0 20 0 19 0 409408787 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252514472784 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3883] ppid=3691 vsize=15752272 memory=322 CPUtime=14.61 cores=0,2,4,6
/proc/3693/task/3883/stat : 3883 (java) R 3691 3691 25300 0 -1 4202560 262 0 0 0 1461 0 0 0 20 0 19 0 409408787 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252519730928 140252721207156 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
Current children cumulated CPU time: 64.09 s
Current children cumulated vsize: 15865400 KiB
Current children cumulated memory: 256396 KiB

[startup+19.3007 s]
/proc/loadavg: 8.52 7.41 7.27 6/237 3886
/proc/meminfo: memFree=30635508/32770624 swapFree=66933684/67108860
[pid=3691] ppid=3688 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3691/stat : 3691 (xcsp3-exec) S 3688 3691 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409408389 115843072 363 33554432000 4194304 5098028 140736751286816 140736751284920 140612228735612 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39329792 140736751289210 140736751289453 140736751289453 140736751292362 0
/proc/3691/statm: 28282 363 304 221 0 87 0
[pid=3693] ppid=3691 vsize=15752272 memory=254944 CPUtime=64.19 cores=0,2,4,6
/proc/3693/stat : 3693 (java) S 3691 3691 25300 0 -1 1077944320 52156 0 0 0 6401 18 0 0 20 0 19 0 409408389 16130326528 63736 33554432000 4194304 4196468 140731640841792 140731640824336 140253074030327 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
/proc/3693/statm: 3938068 63736 3527 1 0 3899170 0
[pid=3693/tid=3694] ppid=3691 vsize=15752272 memory=1452 CPUtime=0.85 cores=0,2,4,6
/proc/3693/task/3694/stat : 3694 (java) S 3691 3691 25300 0 -1 1077944384 9616 0 0 0 80 5 0 0 20 0 19 0 409408390 16130326528 63736 33554432000 4194304 4196468 140731640841792 140253078271104 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3695] ppid=3691 vsize=15752272 memory=209 CPUtime=0.04 cores=0,2,4,6
/proc/3693/task/3695/stat : 3695 (java) S 3691 3691 25300 0 -1 1077944384 711 0 0 0 3 1 0 0 20 0 19 0 409408390 16130326528 63736 33554432000 4194304 4196468 140731640841792 140253030582800 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3696] ppid=3691 vsize=15752272 memory=8546823402028195750 CPUtime=0.04 cores=0,2,4,6
/proc/3693/task/3696/stat : 3696 (java) S 3691 3691 25300 0 -1 1077944384 251 0 0 0 3 1 0 0 20 0 19 0 409408390 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252665797264 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3697] ppid=3691 vsize=15752272 memory=1452 CPUtime=0.04 cores=0,2,4,6
/proc/3693/task/3697/stat : 3697 (java) S 3691 3691 25300 0 -1 1077944384 877 0 0 0 3 1 0 0 20 0 19 0 409408390 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252664744208 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3698] ppid=3691 vsize=15752272 memory=254944 CPUtime=0.03 cores=0,2,4,6
/proc/3693/task/3698/stat : 3698 (java) S 3691 3691 25300 0 -1 1077944384 1359 0 0 0 2 1 0 0 20 0 19 0 409408390 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252663691664 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3699] ppid=3691 vsize=15752272 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/3693/task/3699/stat : 3699 (java) S 3691 3691 25300 0 -1 1077944384 793 0 0 0 1 1 0 0 20 0 19 0 409408392 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252542618352 140253074041474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3700] ppid=3691 vsize=15752272 memory=244692 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3700/stat : 3700 (java) S 3691 3691 25300 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 409408392 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252541564640 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3701] ppid=3691 vsize=15752272 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3701/stat : 3701 (java) S 3691 3691 25300 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409408392 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252540511488 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3702] ppid=3691 vsize=15752272 memory=254944 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3702/stat : 3702 (java) S 3691 3691 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409408395 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252539460048 140253074048923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3703] ppid=3691 vsize=15752272 memory=1452 CPUtime=3.34 cores=0,2,4,6
/proc/3693/task/3703/stat : 3703 (java) S 3691 3691 25300 0 -1 1077944384 11944 0 0 0 333 1 0 0 20 0 19 0 409408395 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252538407152 140253074041474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3704] ppid=3691 vsize=15752272 memory=1452 CPUtime=3.87 cores=0,2,4,6
/proc/3693/task/3704/stat : 3704 (java) S 3691 3691 25300 0 -1 1077944384 12668 0 0 0 386 1 0 0 20 0 19 0 409408395 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252537354608 140253074041474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3705] ppid=3691 vsize=15752272 memory=180 CPUtime=0.89 cores=0,2,4,6
/proc/3693/task/3705/stat : 3705 (java) S 3691 3691 25300 0 -1 1077944384 5986 0 0 0 88 1 0 0 20 0 19 0 409408395 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252536301552 140253074041474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3706] ppid=3691 vsize=15752272 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3706/stat : 3706 (java) S 3691 3691 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409408395 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252535249248 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3707] ppid=3691 vsize=15752272 memory=139718172458544 CPUtime=0 cores=0,2,4,6
/proc/3693/task/3707/stat : 3707 (java) S 3691 3691 25300 0 -1 1077944384 525 0 0 0 0 0 0 0 20 0 19 0 409408395 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252534197296 140253074041474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3880] ppid=3691 vsize=15752272 memory=3690453845470033716 CPUtime=11.58 cores=0,2,4,6
/proc/3693/task/3880/stat : 3880 (java) S 3691 3691 25300 0 -1 1077944384 346 0 0 0 1158 0 0 0 20 0 19 0 409408787 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252516576928 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3881] ppid=3691 vsize=15752272 memory=254944 CPUtime=11.37 cores=0,2,4,6
/proc/3693/task/3881/stat : 3881 (java) S 3691 3691 25300 0 -1 1077944384 816 0 0 0 1137 0 0 0 20 0 19 0 409408787 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252520788688 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3882] ppid=3691 vsize=15752272 memory=254944 CPUtime=11.66 cores=0,2,4,6
/proc/3693/task/3882/stat : 3882 (java) S 3691 3691 25300 0 -1 1077944384 962 0 0 0 1166 0 0 0 20 0 19 0 409408787 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252514472784 140253074040533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
[pid=3693/tid=3883] ppid=3691 vsize=15752272 memory=1452 CPUtime=14.71 cores=0,2,4,6
/proc/3693/task/3883/stat : 3883 (java) R 3691 3691 25300 0 -1 4202560 262 0 0 0 1471 0 0 0 20 0 19 0 409408787 16130326528 63736 33554432000 4194304 4196468 140731640841792 140252519730928 140252721207110 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23453696 140731640845295 140731640845466 140731640845466 140731640848335 0
Current children cumulated CPU time: 64.19 s
Current children cumulated vsize: 15865400 KiB
Current children cumulated memory: 256396 KiB

Child status: 0
Real time (s): 19.3988
CPU time (s): 64.2944
CPU user time (s): 64.1045
CPU system time (s): 0.189899
CPU usage (%): 331.436
Max. virtual memory (cumulated for all children) (KiB): 15867416
Max. memory (cumulated for all children) (KiB): 256396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.1045
system time used= 0.189899
maximum resident set size= 254944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53341
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4690
involuntary context switches= 1815


# summary of solver processes directly reported to runsolver:
#   pid: 3691
#   total CPU time (s): 64.2944
#   total CPU user time (s): 64.1045
#   total CPU system time (s): 0.189899

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.134538 second user time and 0.271714 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-13 01:35:30
IDJOB=4394173
IDBENCH=127058
IDSOLVER=2842
FILE ID=node151/4394173-1568331369
RUNJOBID= node151-1568323682-25331
PBS_JOBID= 21701147
Free space on /tmp= 56976 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-019.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394173-1568331369/watcher-4394173-1568331369 -o /tmp/evaluation-result-4394173-1568331369/solver-4394173-1568331369 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25331 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 2071497913 HOME/instance-4394173-1568331369.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 4db16cf953bf17f15cb901b9adc08541
RANDOM SEED=2071497913

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30850312 kB
MemAvailable:   31440860 kB
Buffers:          133764 kB
Cached:           748192 kB
SwapCached:        72500 kB
Active:           888948 kB
Inactive:         481480 kB
Active(anon):     423920 kB
Inactive(anon):    96432 kB
Active(file):     465028 kB
Inactive(file):   385048 kB
Unevictable:      111232 kB
Mlocked:          111232 kB
SwapTotal:      67108860 kB
SwapFree:       66933684 kB
Dirty:             26244 kB
Writeback:            32 kB
AnonPages:        528320 kB
Mapped:            47752 kB
Shmem:             22936 kB
Slab:             141180 kB
SReclaimable:     112616 kB
SUnreclaim:        28564 kB
KernelStack:        3840 kB
PageTables:         6272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1630084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    423936 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 56948 MiB
End job on node151 at 2019-09-13 01:35:50