Trace number 4393190

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-14OPT25 32.1553 8.94255

General information on the benchmark

NameLowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-018.xml
MD5SUM656c4a2fb65f2a7fc120fc4ddb475e5d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark9.78389
Satisfiable
(Un)Satisfiability was proved
Number of variables341
Number of constraints187
Number of domains35
Minimum domain size2
Maximum domain size35
Distribution of domain sizes[{"size":2,"count":172},{"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":1},{"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}]
Minimum variable degree0
Maximum variable degree17
Distribution of variable degrees[{"degree":0,"count":136},{"degree":2,"count":187},{"degree":17,"count":18}]
Minimum constraint arity2
Maximum constraint arity18
Distribution of constraint arities[{"arity":2,"count":18},{"arity":3,"count":154},{"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}]
Number of extensional constraints0
Number of intensional constraints170
Distribution of constraint types[{"type":"intension","count":170},{"type":"sum","count":17}]
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-4393190-1568318339.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4393190-1568318339.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
1.92/0.82	c solve instance...
1.92/0.87	o 1785 
1.92/0.89	o 1241 
2.24/0.90	o 1185 
2.24/0.91	o 881 
2.24/0.93	o 825 
2.24/0.93	o 777 
2.24/0.94	o 673 
2.24/0.94	o 601 
2.24/0.96	o 553 
2.24/0.97	o 529 
2.24/0.97	o 481 
2.24/0.98	o 441 
2.24/0.98	o 409 
2.24/0.98	o 401 
2.24/0.99	o 385 
2.24/1.00	o 377 
2.24/1.00	o 305 
2.24/1.00	o 289 
2.59/1.01	o 241 
2.59/1.02	o 233 
2.59/1.03	o 209 
2.59/1.04	o 177 
2.59/1.05	o 169 
2.59/1.06	o 161 
2.59/1.07	o 137 
2.59/1.08	o 129 
2.59/1.08	o 121 
2.59/1.09	o 113 
2.59/1.10	o 105 
2.95/1.12	o 97 
2.95/1.14	o 81 
2.95/1.15	o 73 
2.95/1.19	o 57 
3.29/1.21	o 49 
3.71/1.38	o 41 
4.81/1.67	o 33 
5.13/1.77	o 25 
32.11/8.92	s OPTIMUM FOUND
32.11/8.92	v <instantiation>
32.11/8.92	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] 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[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[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[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[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[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[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[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[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[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[13][0] y[13][1] y[13][2] y[13][3] y[14][0] y[14][1] y[14][2] y[15][0] y[15][1] y[16][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] 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] </list>
32.11/8.92	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 0 1 -2 1 -2 1 0 1 2 1 0 1 0 1 2 1 1 0 1 4 1 4 1 0 1 4 1 0 1 0 1 4 1 </values>
32.11/8.92	v </instantiation>

Verifier Data 

OK	25

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393190-1568318339/watcher-4393190-1568318339 -o /tmp/evaluation-result-4393190-1568318339/solver-4393190-1568318339 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14093 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1504680969 HOME/instance-4393190-1568318339.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=21740, runsolver pid=21737
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 7.60 7.72 7.84 7/232 21756
/proc/meminfo: memFree=27325580/32770624 swapFree=66996252/67108860
[pid=21740] ppid=21737 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21740/stat : 21740 (xcsp3-exec) S 21737 21740 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408088617 115843072 363 33554432000 4194304 5098028 140732242773680 140732242771784 140680879202940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25743360 140732242776954 140732242777197 140732242777197 140732242780106 0
/proc/21740/statm: 28282 363 304 221 0 87 0
[pid=21742] ppid=21740 vsize=15144768 memory=29584 CPUtime=0.13 cores=0,2,4,6
/proc/21742/stat : 21742 (java) S 21740 21740 14062 0 -1 1077944320 5838 0 0 0 12 1 0 0 20 0 15 0 408088617 15508242432 7396 33554432000 4194304 4196468 140726080320752 140726080303296 140717502656247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
/proc/21742/statm: 3786192 7396 3150 1 0 3748377 0
[pid=21742/tid=21743] ppid=21740 vsize=15144768 memory=-2698087569006908830 CPUtime=0.09 cores=0,2,4,6
/proc/21742/task/21743/stat : 21743 (java) S 21740 21740 14062 0 -1 1077944384 3709 0 0 0 9 0 0 0 20 0 15 0 408088617 15508242432 7396 33554432000 4194304 4196468 140726080320752 140717506885600 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21744] ppid=21740 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21744/stat : 21744 (java) S 21740 21740 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408088618 15508242432 7396 33554432000 4194304 4196468 140726080320752 140717430696336 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21745] ppid=21740 vsize=15144768 memory=140324256917120 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21745/stat : 21745 (java) S 21740 21740 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408088618 15508242432 7396 33554432000 4194304 4196468 140726080320752 140717429643536 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21746] ppid=21740 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21746/stat : 21746 (java) S 21740 21740 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408088618 15508242432 7396 33554432000 4194304 4196468 140726080320752 140717428591248 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21747] ppid=21740 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21747/stat : 21747 (java) S 21740 21740 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408088618 15508242432 7396 33554432000 4194304 4196468 140726080320752 140717427538448 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21748] ppid=21740 vsize=15144768 memory=140324256917120 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21748/stat : 21748 (java) S 21740 21740 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408088619 15508242432 7396 33554432000 4194304 4196468 140726080320752 140716971256432 140717502667394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21749] ppid=21740 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21749/stat : 21749 (java) S 21740 21740 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408088620 15508242432 7396 33554432000 4194304 4196468 140726080320752 140716970202400 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21750] ppid=21740 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21750/stat : 21750 (java) S 21740 21740 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408088620 15508242432 7396 33554432000 4194304 4196468 140726080320752 140716969150064 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21751] ppid=21740 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21751/stat : 21751 (java) S 21740 21740 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408088623 15508242432 7396 33554432000 4194304 4196468 140726080320752 140716968098384 140717502674843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21752] ppid=21740 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21752/stat : 21752 (java) R 21740 21740 14062 0 -1 4202560 453 0 0 0 0 0 0 0 20 0 15 0 408088623 15508242432 7396 33554432000 4194304 4196468 140726080320752 140716967045232 140717480489104 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21753] ppid=21740 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21753/stat : 21753 (java) R 21740 21740 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408088623 15508242432 7396 33554432000 4194304 4196468 140726080320752 140716965992432 140717502667394 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21754] ppid=21740 vsize=15144768 memory=140324256917120 CPUtime=0.02 cores=0,2,4,6
/proc/21742/task/21754/stat : 21754 (java) S 21740 21740 14062 0 -1 1077944384 383 0 0 0 2 0 0 0 20 0 15 0 408088623 15508242432 7396 33554432000 4194304 4196468 140726080320752 140716964940144 140717502667394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21755] ppid=21740 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21755/stat : 21755 (java) S 21740 21740 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408088623 15508242432 7396 33554432000 4194304 4196468 140726080320752 140716963887584 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21756] ppid=21740 vsize=15144768 memory=140324256917120 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21756/stat : 21756 (java) S 21740 21740 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408088623 15508242432 7396 33554432000 4194304 4196468 140726080320752 140716962835376 140717502667394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31036 KiB

[startup+0.210668 s]*
/proc/loadavg: 7.60 7.72 7.84 7/232 21756
/proc/meminfo: memFree=27300868/32770624 swapFree=66996252/67108860
[pid=21740] ppid=21737 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21740/stat : 21740 (xcsp3-exec) S 21737 21740 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408088617 115843072 363 33554432000 4194304 5098028 140732242773680 140732242771784 140680879202940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25743360 140732242776954 140732242777197 140732242777197 140732242780106 0
/proc/21740/statm: 28282 363 304 221 0 87 0
[pid=21742] ppid=21740 vsize=15144768 memory=40936 CPUtime=0.34 cores=0,2,4,6
/proc/21742/stat : 21742 (java) S 21740 21740 14062 0 -1 1077944320 9460 0 0 0 31 3 0 0 20 0 15 0 408088617 15508242432 10234 33554432000 4194304 4196468 140726080320752 140726080303296 140717502656247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
/proc/21742/statm: 3786192 10234 3308 1 0 3748377 0
[pid=21742/tid=21743] ppid=21740 vsize=15144768 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/21742/task/21743/stat : 21743 (java) R 21740 21740 14062 0 -1 4202560 6613 0 0 0 18 1 0 0 20 0 15 0 408088617 15508242432 10234 33554432000 4194304 4196468 140726080320752 140717506892944 140717502678173 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21744] ppid=21740 vsize=15144768 memory=2670165 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21744/stat : 21744 (java) S 21740 21740 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408088618 15508242432 10234 33554432000 4194304 4196468 140726080320752 140717430696336 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21745] ppid=21740 vsize=15144768 memory=2856256 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21745/stat : 21745 (java) S 21740 21740 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408088618 15508242432 10234 33554432000 4194304 4196468 140726080320752 140717429643536 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21746] ppid=21740 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21746/stat : 21746 (java) S 21740 21740 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408088618 15508242432 10234 33554432000 4194304 4196468 140726080320752 140717428591248 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21747] ppid=21740 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21747/stat : 21747 (java) S 21740 21740 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408088618 15508242432 10234 33554432000 4194304 4196468 140726080320752 140717427538448 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21748] ppid=21740 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21748/stat : 21748 (java) S 21740 21740 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408088619 15508242432 10234 33554432000 4194304 4196468 140726080320752 140716971256432 140717502667394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21749] ppid=21740 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21749/stat : 21749 (java) S 21740 21740 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408088620 15508242432 10234 33554432000 4194304 4196468 140726080320752 140716970202400 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21750] ppid=21740 vsize=15144768 memory=140324256917120 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21750/stat : 21750 (java) S 21740 21740 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408088620 15508242432 10234 33554432000 4194304 4196468 140726080320752 140716969150064 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21751] ppid=21740 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21751/stat : 21751 (java) S 21740 21740 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408088623 15508242432 10234 33554432000 4194304 4196468 140726080320752 140716968098384 140717502674843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21752] ppid=21740 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21742/task/21752/stat : 21752 (java) S 21740 21740 14062 0 -1 1077944384 549 0 0 0 2 0 0 0 20 0 15 0 408088623 15508242432 10234 33554432000 4194304 4196468 140726080320752 140716967045232 140717502667394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21753] ppid=21740 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/21742/task/21753/stat : 21753 (java) S 21740 21740 14062 0 -1 1077944384 207 0 0 0 2 0 0 0 20 0 15 0 408088623 15508242432 10234 33554432000 4194304 4196468 140726080320752 140716965992432 140717502667394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21754] ppid=21740 vsize=15144768 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21742/task/21754/stat : 21754 (java) S 21740 21740 14062 0 -1 1077944384 784 0 0 0 8 0 0 0 20 0 15 0 408088623 15508242432 10234 33554432000 4194304 4196468 140726080320752 140716964940144 140717502667394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21755] ppid=21740 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21755/stat : 21755 (java) S 21740 21740 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408088623 15508242432 10234 33554432000 4194304 4196468 140726080320752 140716963887584 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21756] ppid=21740 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21756/stat : 21756 (java) S 21740 21740 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408088623 15508242432 10234 33554432000 4194304 4196468 140726080320752 140716962835376 140717502667394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42388 KiB

[startup+0.310567 s]*
/proc/loadavg: 7.60 7.72 7.84 6/232 21756
/proc/meminfo: memFree=27298664/32770624 swapFree=66996252/67108860
[pid=21740] ppid=21737 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21740/stat : 21740 (xcsp3-exec) S 21737 21740 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408088617 115843072 363 33554432000 4194304 5098028 140732242773680 140732242771784 140680879202940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25743360 140732242776954 140732242777197 140732242777197 140732242780106 0
/proc/21740/statm: 28282 363 304 221 0 87 0
[pid=21742] ppid=21740 vsize=15149024 memory=49876 CPUtime=0.53 cores=0,2,4,6
/proc/21742/stat : 21742 (java) S 21740 21740 14062 0 -1 1077944320 10830 0 0 0 49 4 0 0 20 0 15 0 408088617 15512600576 12469 33554432000 4194304 4196468 140726080320752 140726080303296 140717502656247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
/proc/21742/statm: 3787256 12469 3356 1 0 3748377 0
[pid=21742/tid=21743] ppid=21740 vsize=15149024 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/21742/task/21743/stat : 21743 (java) R 21740 21740 14062 0 -1 4202560 7767 0 0 0 27 2 0 0 20 0 15 0 408088617 15512600576 12469 33554432000 4194304 4196468 140726080320752 140717506890032 140717502678173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21744] ppid=21740 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21744/stat : 21744 (java) S 21740 21740 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408088618 15512600576 12469 33554432000 4194304 4196468 140726080320752 140717430696336 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21745] ppid=21740 vsize=15149024 memory=2854497 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21745/stat : 21745 (java) S 21740 21740 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408088618 15512600576 12469 33554432000 4194304 4196468 140726080320752 140717429643536 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21746] ppid=21740 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21746/stat : 21746 (java) S 21740 21740 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408088618 15512600576 12469 33554432000 4194304 4196468 140726080320752 140717428591248 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21747] ppid=21740 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21747/stat : 21747 (java) S 21740 21740 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408088618 15512600576 12469 33554432000 4194304 4196468 140726080320752 140717427538448 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21748] ppid=21740 vsize=15149024 memory=140324256917120 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21748/stat : 21748 (java) S 21740 21740 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408088619 15512600576 12469 33554432000 4194304 4196468 140726080320752 140716971256432 140717502667394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21749] ppid=21740 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21749/stat : 21749 (java) S 21740 21740 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408088620 15512600576 12469 33554432000 4194304 4196468 140726080320752 140716970202400 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21750] ppid=21740 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21750/stat : 21750 (java) S 21740 21740 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408088620 15512600576 12469 33554432000 4194304 4196468 140726080320752 140716969150064 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21751] ppid=21740 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21751/stat : 21751 (java) S 21740 21740 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408088623 15512600576 12469 33554432000 4194304 4196468 140726080320752 140716968098384 140717502674843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21752] ppid=21740 vsize=15149024 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/21742/task/21752/stat : 21752 (java) S 21740 21740 14062 0 -1 1077944384 565 0 0 0 3 0 0 0 20 0 15 0 408088623 15512600576 12469 33554432000 4194304 4196468 140726080320752 140716967045232 140717502667394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21753] ppid=21740 vsize=15149024 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/21742/task/21753/stat : 21753 (java) R 21740 21740 14062 0 -1 4202560 326 0 0 0 4 0 0 0 20 0 15 0 408088623 15512600576 12469 33554432000 4194304 4196468 140726080320752 140716965973448 140717484200004 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21754] ppid=21740 vsize=15149024 memory=140324256917120 CPUtime=0.12 cores=0,2,4,6
/proc/21742/task/21754/stat : 21754 (java) S 21740 21740 14062 0 -1 1077944384 872 0 0 0 12 0 0 0 20 0 15 0 408088623 15512600576 12469 33554432000 4194304 4196468 140726080320752 140716964940144 140717502667394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21755] ppid=21740 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21755/stat : 21755 (java) S 21740 21740 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408088623 15512600576 12469 33554432000 4194304 4196468 140726080320752 140716963887584 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21756] ppid=21740 vsize=15149024 memory=140324256917120 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21756/stat : 21756 (java) S 21740 21740 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408088623 15512600576 12469 33554432000 4194304 4196468 140726080320752 140716962835376 140717502667394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51328 KiB

[startup+0.701182 s]
/proc/loadavg: 7.60 7.72 7.84 8/232 21756
/proc/meminfo: memFree=27293692/32770624 swapFree=66996252/67108860
[pid=21740] ppid=21737 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21740/stat : 21740 (xcsp3-exec) S 21737 21740 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408088617 115843072 363 33554432000 4194304 5098028 140732242773680 140732242771784 140680879202940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25743360 140732242776954 140732242777197 140732242777197 140732242780106 0
/proc/21740/statm: 28282 363 304 221 0 87 0
[pid=21742] ppid=21740 vsize=15151148 memory=83180 CPUtime=1.55 cores=0,2,4,6
/proc/21742/stat : 21742 (java) S 21740 21740 14062 0 -1 1077944320 15015 0 0 0 149 6 0 0 20 0 15 0 408088617 15514775552 20795 33554432000 4194304 4196468 140726080320752 140726080303296 140717502656247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
/proc/21742/statm: 3787787 20795 3450 1 0 3748889 0
[pid=21742/tid=21743] ppid=21740 vsize=15151148 memory=12024 CPUtime=0.67 cores=0,2,4,6
/proc/21742/task/21743/stat : 21743 (java) R 21740 21740 14062 0 -1 4202560 9304 0 0 0 64 3 0 0 20 0 15 0 408088617 15514775552 20795 33554432000 4194304 4196468 140726080320752 140717506892064 140717502668182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21744] ppid=21740 vsize=15151148 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21744/stat : 21744 (java) S 21740 21740 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408088618 15514775552 20795 33554432000 4194304 4196468 140726080320752 140717430696336 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21745] ppid=21740 vsize=15151148 memory=500 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21745/stat : 21745 (java) S 21740 21740 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408088618 15514775552 20795 33554432000 4194304 4196468 140726080320752 140717429643536 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21746] ppid=21740 vsize=15151148 memory=928 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21746/stat : 21746 (java) S 21740 21740 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408088618 15514775552 20795 33554432000 4194304 4196468 140726080320752 140717428591248 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21747] ppid=21740 vsize=15151148 memory=1528 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21747/stat : 21747 (java) S 21740 21740 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408088618 15514775552 20795 33554432000 4194304 4196468 140726080320752 140717427538448 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21748] ppid=21740 vsize=15151148 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21748/stat : 21748 (java) S 21740 21740 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408088619 15514775552 20795 33554432000 4194304 4196468 140726080320752 140716971256432 140717502667394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21749] ppid=21740 vsize=15151148 memory=876 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21749/stat : 21749 (java) S 21740 21740 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408088620 15514775552 20795 33554432000 4194304 4196468 140726080320752 140716970202400 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21750] ppid=21740 vsize=15151148 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21750/stat : 21750 (java) S 21740 21740 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408088620 15514775552 20795 33554432000 4194304 4196468 140726080320752 140716969150064 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21751] ppid=21740 vsize=15151148 memory=2552 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21751/stat : 21751 (java) S 21740 21740 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408088623 15514775552 20795 33554432000 4194304 4196468 140726080320752 140716968098384 140717502674843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21752] ppid=21740 vsize=15151148 memory=7302135314614015840 CPUtime=0.22 cores=0,2,4,6
/proc/21742/task/21752/stat : 21752 (java) R 21740 21740 14062 0 -1 4202560 1364 0 0 0 22 0 0 0 20 0 15 0 408088623 15514775552 20795 33554432000 4194304 4196468 140726080320752 140716967045232 140717488980631 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21753] ppid=21740 vsize=15151148 memory=6152570584781187949 CPUtime=0.2 cores=0,2,4,6
/proc/21742/task/21753/stat : 21753 (java) R 21740 21740 14062 0 -1 1077944384 893 0 0 0 20 0 0 0 20 0 15 0 408088623 15514775552 20795 33554432000 4194304 4196468 140726080320752 140716965992432 140717502667394 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21754] ppid=21740 vsize=15151148 memory=7223887401239728208 CPUtime=0.41 cores=0,2,4,6
/proc/21742/task/21754/stat : 21754 (java) R 21740 21740 14062 0 -1 4202560 2147 0 0 0 41 0 0 0 20 0 15 0 408088623 15514775552 20795 33554432000 4194304 4196468 140726080320752 140716964934496 140717481336576 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21755] ppid=21740 vsize=15151148 memory=7368002589315584080 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21755/stat : 21755 (java) S 21740 21740 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408088623 15514775552 20795 33554432000 4194304 4196468 140726080320752 140716963887584 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21756] ppid=21740 vsize=15151148 memory=7379547564840675921 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21756/stat : 21756 (java) S 21740 21740 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408088623 15514775552 20795 33554432000 4194304 4196468 140726080320752 140716962835376 140717502667394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 84632 KiB

[startup+1.50168 s]
/proc/loadavg: 7.60 7.72 7.84 11/236 21824
/proc/meminfo: memFree=27171192/32770624 swapFree=66996252/67108860
[pid=21740] ppid=21737 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21740/stat : 21740 (xcsp3-exec) S 21737 21740 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408088617 115843072 363 33554432000 4194304 5098028 140732242773680 140732242771784 140680879202940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25743360 140732242776954 140732242777197 140732242777197 140732242780106 0
/proc/21740/statm: 28282 363 304 221 0 87 0

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

/proc/21742/task/21756/stat : 21756 (java) S 21740 21740 14062 0 -1 1077944384 499 0 0 0 0 0 0 0 20 0 19 0 408088623 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716962835376 140717502667394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21905] ppid=21740 vsize=15620172 memory=6655300316396806240 CPUtime=5.32 cores=0,2,4,6
/proc/21742/task/21905/stat : 21905 (java) R 21740 21740 14062 0 -1 4202560 150 0 0 0 532 0 0 0 20 0 19 0 408088794 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716876454424 140717113266562 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21906] ppid=21740 vsize=15620172 memory=6944656592455360604 CPUtime=5.01 cores=0,2,4,6
/proc/21742/task/21906/stat : 21906 (java) R 21740 21740 14062 0 -1 4202560 562 0 0 0 501 0 0 0 20 0 19 0 408088794 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716877508200 140717112355318 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21907] ppid=21740 vsize=15620172 memory=6944656592455097440 CPUtime=5.15 cores=0,2,4,6
/proc/21742/task/21907/stat : 21907 (java) R 21740 21740 14062 0 -1 4202560 323 0 0 0 515 0 0 0 20 0 19 0 408088794 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716880665864 140717112183190 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21908] ppid=21740 vsize=15620172 memory=6944656575208382560 CPUtime=4.94 cores=0,2,4,6
/proc/21742/task/21908/stat : 21908 (java) R 21740 21740 14062 0 -1 4202560 121 0 0 0 494 0 0 0 20 0 19 0 408088794 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716881720200 140717112986868 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
Current children cumulated CPU time: 30.2 s
Current children cumulated vsize: 15733300 KiB
Current children cumulated memory: 239808 KiB

[startup+8.40084 s]
/proc/loadavg: 7.63 7.72 7.84 6/236 21908
/proc/meminfo: memFree=27103968/32770624 swapFree=66996252/67108860
[pid=21740] ppid=21737 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21740/stat : 21740 (xcsp3-exec) S 21737 21740 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408088617 115843072 363 33554432000 4194304 5098028 140732242773680 140732242771784 140680879202940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25743360 140732242776954 140732242777197 140732242777197 140732242780106 0
/proc/21740/statm: 28282 363 304 221 0 87 0
[pid=21742] ppid=21740 vsize=15620172 memory=238356 CPUtime=31.61 cores=0,2,4,6
/proc/21742/stat : 21742 (java) S 21740 21740 14062 0 -1 1077944320 36167 0 0 0 3148 13 0 0 20 0 19 0 408088617 15995056128 59589 33554432000 4194304 4196468 140726080320752 140726080303296 140717502656247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
/proc/21742/statm: 3905043 59589 3524 1 0 3866145 0
[pid=21742/tid=21743] ppid=21740 vsize=15620172 memory=7649399384265142578 CPUtime=0.82 cores=0,2,4,6
/proc/21742/task/21743/stat : 21743 (java) S 21740 21740 14062 0 -1 1077944384 9414 0 0 0 79 3 0 0 20 0 19 0 408088617 15995056128 59589 33554432000 4194304 4196468 140726080320752 140717506897024 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21744] ppid=21740 vsize=15620172 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21742/task/21744/stat : 21744 (java) S 21740 21740 14062 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 19 0 408088618 15995056128 59589 33554432000 4194304 4196468 140726080320752 140717430696336 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21745] ppid=21740 vsize=15620172 memory=140324097891857 CPUtime=0.01 cores=0,2,4,6
/proc/21742/task/21745/stat : 21745 (java) S 21740 21740 14062 0 -1 1077944384 231 0 0 0 1 0 0 0 20 0 19 0 408088618 15995056128 59589 33554432000 4194304 4196468 140726080320752 140717429643536 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21746] ppid=21740 vsize=15620172 memory=3624 CPUtime=0.02 cores=0,2,4,6
/proc/21742/task/21746/stat : 21746 (java) S 21740 21740 14062 0 -1 1077944384 53 0 0 0 2 0 0 0 20 0 19 0 408088618 15995056128 59589 33554432000 4194304 4196468 140726080320752 140717428591248 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21747] ppid=21740 vsize=15620172 memory=6399501272259 CPUtime=0.01 cores=0,2,4,6
/proc/21742/task/21747/stat : 21747 (java) S 21740 21740 14062 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 19 0 408088618 15995056128 59589 33554432000 4194304 4196468 140726080320752 140717427538448 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21748] ppid=21740 vsize=15620172 memory=288230617509003574 CPUtime=0.01 cores=0,2,4,6
/proc/21742/task/21748/stat : 21748 (java) S 21740 21740 14062 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 19 0 408088619 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716971256432 140717502667394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21749] ppid=21740 vsize=15620172 memory=15252636593031516 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21749/stat : 21749 (java) S 21740 21740 14062 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 408088620 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716970202464 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21750] ppid=21740 vsize=15620172 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21750/stat : 21750 (java) S 21740 21740 14062 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 408088620 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716969150080 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21751] ppid=21740 vsize=15620172 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21751/stat : 21751 (java) S 21740 21740 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408088623 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716968098384 140717502674843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21752] ppid=21740 vsize=15620172 memory=0 CPUtime=3.15 cores=0,2,4,6
/proc/21742/task/21752/stat : 21752 (java) S 21740 21740 14062 0 -1 1077944384 8352 0 0 0 314 1 0 0 20 0 19 0 408088623 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716967045232 140717502667394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21753] ppid=21740 vsize=15620172 memory=-2746958450906831424 CPUtime=3.26 cores=0,2,4,6
/proc/21742/task/21753/stat : 21753 (java) S 21740 21740 14062 0 -1 1077944384 7440 0 0 0 325 1 0 0 20 0 19 0 408088623 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716965992432 140717502667394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21754] ppid=21740 vsize=15620172 memory=6944652177228980320 CPUtime=0.87 cores=0,2,4,6
/proc/21742/task/21754/stat : 21754 (java) S 21740 21740 14062 0 -1 1077944384 4439 0 0 0 86 1 0 0 20 0 19 0 408088623 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716964940144 140717502667394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21755] ppid=21740 vsize=15620172 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21755/stat : 21755 (java) S 21740 21740 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408088623 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716963887584 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21756] ppid=21740 vsize=15620172 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21756/stat : 21756 (java) S 21740 21740 14062 0 -1 1077944384 499 0 0 0 0 0 0 0 20 0 19 0 408088623 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716962835376 140717502667394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21905] ppid=21740 vsize=15620172 memory=-7812193691855986592 CPUtime=5.66 cores=0,2,4,6
/proc/21742/task/21905/stat : 21905 (java) S 21740 21740 14062 0 -1 1077944384 170 0 0 0 566 0 0 0 20 0 19 0 408088794 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716876459296 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21906] ppid=21740 vsize=15620172 memory=0 CPUtime=5.34 cores=0,2,4,6
/proc/21742/task/21906/stat : 21906 (java) S 21740 21740 14062 0 -1 1077944384 563 0 0 0 534 0 0 0 20 0 19 0 408088794 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716877513744 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21907] ppid=21740 vsize=15620172 memory=6944656592455360569 CPUtime=5.49 cores=0,2,4,6
/proc/21742/task/21907/stat : 21907 (java) S 21740 21740 14062 0 -1 1077944384 324 0 0 0 549 0 0 0 20 0 19 0 408088794 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716880671632 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21908] ppid=21740 vsize=15620172 memory=-5345911752953859030 CPUtime=5.33 cores=0,2,4,6
/proc/21742/task/21908/stat : 21908 (java) R 21740 21740 14062 0 -1 4202560 121 0 0 0 533 0 0 0 20 0 19 0 408088794 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716881720280 140717112986680 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
Current children cumulated CPU time: 31.61 s
Current children cumulated vsize: 15733300 KiB
Current children cumulated memory: 239808 KiB

[startup+8.80075 s]
/proc/loadavg: 7.63 7.72 7.84 6/236 21908
/proc/meminfo: memFree=27103968/32770624 swapFree=66996252/67108860
[pid=21740] ppid=21737 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21740/stat : 21740 (xcsp3-exec) S 21737 21740 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408088617 115843072 363 33554432000 4194304 5098028 140732242773680 140732242771784 140680879202940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25743360 140732242776954 140732242777197 140732242777197 140732242780106 0
/proc/21740/statm: 28282 363 304 221 0 87 0
[pid=21742] ppid=21740 vsize=15620172 memory=238356 CPUtime=32.01 cores=0,2,4,6
/proc/21742/stat : 21742 (java) S 21740 21740 14062 0 -1 1077944320 36167 0 0 0 3188 13 0 0 20 0 19 0 408088617 15995056128 59589 33554432000 4194304 4196468 140726080320752 140726080303296 140717502656247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
/proc/21742/statm: 3905043 59589 3524 1 0 3866145 0
[pid=21742/tid=21743] ppid=21740 vsize=15620172 memory=-2026666227646604569 CPUtime=0.82 cores=0,2,4,6
/proc/21742/task/21743/stat : 21743 (java) S 21740 21740 14062 0 -1 1077944384 9414 0 0 0 79 3 0 0 20 0 19 0 408088617 15995056128 59589 33554432000 4194304 4196468 140726080320752 140717506897024 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21744] ppid=21740 vsize=15620172 memory=6003395512779369581 CPUtime=0.01 cores=0,2,4,6
/proc/21742/task/21744/stat : 21744 (java) S 21740 21740 14062 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 19 0 408088618 15995056128 59589 33554432000 4194304 4196468 140726080320752 140717430696336 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21745] ppid=21740 vsize=15620172 memory=-7384474665255210089 CPUtime=0.01 cores=0,2,4,6
/proc/21742/task/21745/stat : 21745 (java) S 21740 21740 14062 0 -1 1077944384 231 0 0 0 1 0 0 0 20 0 19 0 408088618 15995056128 59589 33554432000 4194304 4196468 140726080320752 140717429643536 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21746] ppid=21740 vsize=15620172 memory=1128 CPUtime=0.02 cores=0,2,4,6
/proc/21742/task/21746/stat : 21746 (java) S 21740 21740 14062 0 -1 1077944384 53 0 0 0 2 0 0 0 20 0 19 0 408088618 15995056128 59589 33554432000 4194304 4196468 140726080320752 140717428591248 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21747] ppid=21740 vsize=15620172 memory=772 CPUtime=0.01 cores=0,2,4,6
/proc/21742/task/21747/stat : 21747 (java) S 21740 21740 14062 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 19 0 408088618 15995056128 59589 33554432000 4194304 4196468 140726080320752 140717427538448 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21748] ppid=21740 vsize=15620172 memory=4008 CPUtime=0.01 cores=0,2,4,6
/proc/21742/task/21748/stat : 21748 (java) S 21740 21740 14062 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 19 0 408088619 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716971256432 140717502667394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21749] ppid=21740 vsize=15620172 memory=948 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21749/stat : 21749 (java) S 21740 21740 14062 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 408088620 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716970202464 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21750] ppid=21740 vsize=15620172 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21750/stat : 21750 (java) S 21740 21740 14062 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 408088620 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716969150080 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21751] ppid=21740 vsize=15620172 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21751/stat : 21751 (java) S 21740 21740 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408088623 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716968098384 140717502674843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21752] ppid=21740 vsize=15620172 memory=0 CPUtime=3.15 cores=0,2,4,6
/proc/21742/task/21752/stat : 21752 (java) S 21740 21740 14062 0 -1 1077944384 8352 0 0 0 314 1 0 0 20 0 19 0 408088623 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716967045232 140717502667394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21753] ppid=21740 vsize=15620172 memory=1804 CPUtime=3.26 cores=0,2,4,6
/proc/21742/task/21753/stat : 21753 (java) S 21740 21740 14062 0 -1 1077944384 7440 0 0 0 325 1 0 0 20 0 19 0 408088623 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716965992432 140717502667394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21754] ppid=21740 vsize=15620172 memory=0 CPUtime=0.87 cores=0,2,4,6
/proc/21742/task/21754/stat : 21754 (java) S 21740 21740 14062 0 -1 1077944384 4439 0 0 0 86 1 0 0 20 0 19 0 408088623 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716964940144 140717502667394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21755] ppid=21740 vsize=15620172 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21755/stat : 21755 (java) S 21740 21740 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408088623 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716963887584 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21756] ppid=21740 vsize=15620172 memory=140324098163272 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21756/stat : 21756 (java) S 21740 21740 14062 0 -1 1077944384 499 0 0 0 0 0 0 0 20 0 19 0 408088623 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716962835376 140717502667394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21905] ppid=21740 vsize=15620172 memory=14012 CPUtime=5.66 cores=0,2,4,6
/proc/21742/task/21905/stat : 21905 (java) S 21740 21740 14062 0 -1 1077944384 170 0 0 0 566 0 0 0 20 0 19 0 408088794 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716876459296 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21906] ppid=21740 vsize=15620172 memory=6656426216303648864 CPUtime=5.34 cores=0,2,4,6
/proc/21742/task/21906/stat : 21906 (java) S 21740 21740 14062 0 -1 1077944384 563 0 0 0 534 0 0 0 20 0 19 0 408088794 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716877513744 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21907] ppid=21740 vsize=15620172 memory=8860 CPUtime=5.49 cores=0,2,4,6
/proc/21742/task/21907/stat : 21907 (java) S 21740 21740 14062 0 -1 1077944384 324 0 0 0 549 0 0 0 20 0 19 0 408088794 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716880671632 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21908] ppid=21740 vsize=15620172 memory=280648195506416 CPUtime=5.73 cores=0,2,4,6
/proc/21742/task/21908/stat : 21908 (java) R 21740 21740 14062 0 -1 4202560 121 0 0 0 573 0 0 0 20 0 19 0 408088794 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716881720280 140717112986704 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
Current children cumulated CPU time: 32.01 s
Current children cumulated vsize: 15733300 KiB
Current children cumulated memory: 239808 KiB

[startup+8.90076 s]
/proc/loadavg: 7.63 7.72 7.84 6/236 21908
/proc/meminfo: memFree=27103968/32770624 swapFree=66996252/67108860
[pid=21740] ppid=21737 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21740/stat : 21740 (xcsp3-exec) S 21737 21740 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408088617 115843072 363 33554432000 4194304 5098028 140732242773680 140732242771784 140680879202940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25743360 140732242776954 140732242777197 140732242777197 140732242780106 0
/proc/21740/statm: 28282 363 304 221 0 87 0
[pid=21742] ppid=21740 vsize=15620172 memory=238356 CPUtime=32.11 cores=0,2,4,6
/proc/21742/stat : 21742 (java) S 21740 21740 14062 0 -1 1077944320 36167 0 0 0 3198 13 0 0 20 0 19 0 408088617 15995056128 59589 33554432000 4194304 4196468 140726080320752 140726080303296 140717502656247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
/proc/21742/statm: 3905043 59589 3524 1 0 3866145 0
[pid=21742/tid=21743] ppid=21740 vsize=15620172 memory=238356 CPUtime=0.82 cores=0,2,4,6
/proc/21742/task/21743/stat : 21743 (java) S 21740 21740 14062 0 -1 1077944384 9414 0 0 0 79 3 0 0 20 0 19 0 408088617 15995056128 59589 33554432000 4194304 4196468 140726080320752 140717506897024 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21744] ppid=21740 vsize=15620172 memory=3624 CPUtime=0.01 cores=0,2,4,6
/proc/21742/task/21744/stat : 21744 (java) S 21740 21740 14062 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 19 0 408088618 15995056128 59589 33554432000 4194304 4196468 140726080320752 140717430696336 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21745] ppid=21740 vsize=15620172 memory=22992 CPUtime=0.01 cores=0,2,4,6
/proc/21742/task/21745/stat : 21745 (java) S 21740 21740 14062 0 -1 1077944384 231 0 0 0 1 0 0 0 20 0 19 0 408088618 15995056128 59589 33554432000 4194304 4196468 140726080320752 140717429643536 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21746] ppid=21740 vsize=15620172 memory=984 CPUtime=0.02 cores=0,2,4,6
/proc/21742/task/21746/stat : 21746 (java) S 21740 21740 14062 0 -1 1077944384 53 0 0 0 2 0 0 0 20 0 19 0 408088618 15995056128 59589 33554432000 4194304 4196468 140726080320752 140717428591248 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21747] ppid=21740 vsize=15620172 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/21742/task/21747/stat : 21747 (java) S 21740 21740 14062 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 19 0 408088618 15995056128 59589 33554432000 4194304 4196468 140726080320752 140717427538448 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21748] ppid=21740 vsize=15620172 memory=2832 CPUtime=0.01 cores=0,2,4,6
/proc/21742/task/21748/stat : 21748 (java) S 21740 21740 14062 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 19 0 408088619 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716971256432 140717502667394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21749] ppid=21740 vsize=15620172 memory=9404 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21749/stat : 21749 (java) S 21740 21740 14062 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 408088620 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716970202464 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21750] ppid=21740 vsize=15620172 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21750/stat : 21750 (java) S 21740 21740 14062 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 408088620 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716969150080 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21751] ppid=21740 vsize=15620172 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21751/stat : 21751 (java) S 21740 21740 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408088623 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716968098384 140717502674843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21752] ppid=21740 vsize=15620172 memory=211996 CPUtime=3.15 cores=0,2,4,6
/proc/21742/task/21752/stat : 21752 (java) S 21740 21740 14062 0 -1 1077944384 8352 0 0 0 314 1 0 0 20 0 19 0 408088623 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716967045232 140717502667394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21753] ppid=21740 vsize=15620172 memory=140324098205256 CPUtime=3.26 cores=0,2,4,6
/proc/21742/task/21753/stat : 21753 (java) S 21740 21740 14062 0 -1 1077944384 7440 0 0 0 325 1 0 0 20 0 19 0 408088623 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716965992432 140717502667394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21754] ppid=21740 vsize=15620172 memory=1804 CPUtime=0.87 cores=0,2,4,6
/proc/21742/task/21754/stat : 21754 (java) S 21740 21740 14062 0 -1 1077944384 4439 0 0 0 86 1 0 0 20 0 19 0 408088623 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716964940144 140717502667394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21755] ppid=21740 vsize=15620172 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21755/stat : 21755 (java) S 21740 21740 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408088623 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716963887584 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21756] ppid=21740 vsize=15620172 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21742/task/21756/stat : 21756 (java) S 21740 21740 14062 0 -1 1077944384 499 0 0 0 0 0 0 0 20 0 19 0 408088623 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716962835376 140717502667394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21905] ppid=21740 vsize=15620172 memory=1452 CPUtime=5.66 cores=0,2,4,6
/proc/21742/task/21905/stat : 21905 (java) S 21740 21740 14062 0 -1 1077944384 170 0 0 0 566 0 0 0 20 0 19 0 408088794 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716876459296 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21906] ppid=21740 vsize=15620172 memory=238304 CPUtime=5.34 cores=0,2,4,6
/proc/21742/task/21906/stat : 21906 (java) S 21740 21740 14062 0 -1 1077944384 563 0 0 0 534 0 0 0 20 0 19 0 408088794 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716877513744 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21907] ppid=21740 vsize=15620172 memory=2024 CPUtime=5.49 cores=0,2,4,6
/proc/21742/task/21907/stat : 21907 (java) S 21740 21740 14062 0 -1 1077944384 324 0 0 0 549 0 0 0 20 0 19 0 408088794 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716880671632 140717502666453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
[pid=21742/tid=21908] ppid=21740 vsize=15620172 memory=1380 CPUtime=5.83 cores=0,2,4,6
/proc/21742/task/21908/stat : 21908 (java) R 21740 21740 14062 0 -1 4202560 121 0 0 0 583 0 0 0 20 0 19 0 408088794 15995056128 59589 33554432000 4194304 4196468 140726080320752 140716881720280 140717112986797 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36171776 140726080324591 140726080324762 140726080324762 140726080327631 0
Current children cumulated CPU time: 32.11 s
Current children cumulated vsize: 15733300 KiB
Current children cumulated memory: 239808 KiB

Child status: 0
Real time (s): 8.94255
CPU time (s): 32.1553
CPU user time (s): 32.0161
CPU system time (s): 0.139216
CPU usage (%): 359.577
Max. virtual memory (cumulated for all children) (KiB): 15733300
Max. memory (cumulated for all children) (KiB): 239808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.0161
system time used= 0.139216
maximum resident set size= 238572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37019
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= 3941
involuntary context switches= 1173


# summary of solver processes directly reported to runsolver:
#   pid: 21740
#   total CPU time (s): 32.1553
#   total CPU user time (s): 32.0161
#   total CPU system time (s): 0.139216

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.076812 second user time and 0.138801 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-12 20:57:42
IDJOB=4393190
IDBENCH=127042
IDSOLVER=2840
FILE ID=node106/4393190-1568318339
RUNJOBID= node106-1568309633-14093
PBS_JOBID= 21701134
Free space on /tmp= 56708 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-018.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-4393190-1568318339/watcher-4393190-1568318339 -o /tmp/evaluation-result-4393190-1568318339/solver-4393190-1568318339 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14093 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1504680969 HOME/instance-4393190-1568318339.xml

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

MD5SUM BENCH= 656c4a2fb65f2a7fc120fc4ddb475e5d
RANDOM SEED=1504680969

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
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:        27342072 kB
MemAvailable:   28413928 kB
Buffers:          127404 kB
Cached:          1240792 kB
SwapCached:        10240 kB
Active:          3893156 kB
Inactive:         992756 kB
Active(anon):    3517112 kB
Inactive(anon):    33360 kB
Active(file):     376044 kB
Inactive(file):   959396 kB
Unevictable:      107784 kB
Mlocked:          107784 kB
SwapTotal:      67108860 kB
SwapFree:       66996252 kB
Dirty:             26044 kB
Writeback:             0 kB
AnonPages:       3615716 kB
Mapped:            48644 kB
Shmem:             23880 kB
Slab:             133556 kB
SReclaimable:     104504 kB
SUnreclaim:        29052 kB
KernelStack:        3792 kB
PageTables:        12660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5441608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3489792 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 56684 MiB
End job on node106 at 2019-09-12 20:57:52