Trace number 4406040

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-24OPT607 398.145 393.961

General information on the benchmark

NameNurseRostering/
NurseRostering-01_c18.xml
MD5SUM0c15b35a08e73d195c67cb94b6fc4864
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark607
Best CPU time to get the best result obtained on this benchmark6.23891
Satisfiable
(Un)Satisfiability was proved
Number of variables226
Number of constraints427
Number of domains11
Minimum domain size1
Maximum domain size15
Distribution of domain sizes[{"size":1,"count":14},{"size":2,"count":154},{"size":9,"count":42},{"size":15,"count":16}]
Minimum variable degree2
Maximum variable degree18
Distribution of variable degrees[{"degree":2,"count":98},{"degree":3,"count":16},{"degree":8,"count":4},{"degree":9,"count":10},{"degree":10,"count":2},{"degree":11,"count":4},{"degree":12,"count":10},{"degree":13,"count":12},{"degree":14,"count":17},{"degree":15,"count":16},{"degree":16,"count":17},{"degree":17,"count":18},{"degree":18,"count":2}]
Minimum constraint arity2
Maximum constraint arity15
Distribution of constraint arities[{"arity":2,"count":118},{"arity":3,"count":192},{"arity":6,"count":72},{"arity":8,"count":1},{"arity":9,"count":28},{"arity":15,"count":16}]
Number of extensional constraints28
Number of intensional constraints74
Distribution of constraint types[{"type":"extension","count":28},{"type":"intension","count":74},{"type":"regular","count":192},{"type":"sum","count":16},{"type":"count","count":116},{"type":"instantiation","count":1}]
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-4406040-1569414373.xml"  -tl '2520s' -p 1
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4406040-1569414373.xml, -tl, 2520s, -p, 1]
0.34/0.22	c simple solver
0.34/0.29	c parse instance...
1.71/0.86	c solve instance...
2.00/0.94	o 1311 
2.00/0.95	o 1308 
2.00/0.95	o 1307 
2.00/0.95	o 1207 
2.00/1.01	o 1107 
2.37/1.07	o 1008 
2.37/1.08	o 909 
2.68/1.12	o 808 
2.68/1.12	o 711 
2.68/1.13	o 710 
2.96/1.23	o 709 
2.96/1.24	o 706 
2.96/1.25	o 704 
3.26/1.32	o 607 
398.08/393.95	s OPTIMUM FOUND
398.08/393.95	v <instantiation>
398.08/393.95	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] ps[0][0] ps[0][1] ps[1][0] ps[1][1] ps[2][0] ps[2][1] ps[3][0] ps[3][1] ps[4][0] ps[4][1] ps[5][0] ps[5][1] ps[6][0] ps[6][1] ps[7][0] ps[7][1] ds[0][0] ds[0][1] ds[1][0] ds[1][1] ds[2][0] ds[2][1] ds[3][0] ds[3][1] ds[4][0] ds[4][1] ds[5][0] ds[5][1] ds[6][0] ds[6][1] ds[7][0] ds[7][1] ds[8][0] ds[8][1] ds[9][0] ds[9][1] ds[10][0] ds[10][1] ds[11][0] ds[11][1] ds[12][0] ds[12][1] ds[13][0] ds[13][1] wk[0][0] wk[0][1] wk[1][0] wk[1][1] wk[2][0] wk[2][1] wk[3][0] wk[3][1] wk[4][0] wk[4][1] wk[5][0] wk[5][1] wk[6][0] wk[6][1] wk[7][0] wk[7][1] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cf[0] cf[1] cf[2] cf[3] cf[4] cc[0][0] cc[0][1] cc[1][0] cc[1][1] cc[2][0] cc[2][1] cc[3][0] cc[3][1] cc[4][0] cc[4][1] cc[5][0] cc[5][1] cc[6][0] cc[6][1] cc[7][0] cc[7][1] cc[8][0] cc[8][1] cc[9][0] cc[9][1] cc[10][0] cc[10][1] cc[11][0] cc[11][1] cc[12][0] cc[12][1] cc[13][0] cc[13][1] </list>
398.08/393.95	v 	<values>1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 1 0 1 1 1 1 0 0 0 0 1 0 1 1 0 0 0 1 1 0 0 0 1 0 1 1 1 0 0 0 1 9 5 9 5 8 6 7 7 7 7 9 5 8 6 8 6 5 3 7 1 6 2 4 4 5 3 3 5 2 6 6 2 7 1 4 4 2 6 5 3 5 3 4 4 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 200 0 300 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 </values>
398.08/393.95	v </instantiation>

Verifier Data 

OK	607

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406040-1569414373/watcher-4406040-1569414373 -o /var/tmp/evaluation-result-4406040-1569414373/solver-4406040-1569414373 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1569405077-8296 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 616781673 HOME/instance-4406040-1569414373.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=9970, runsolver pid=9967
Current StackSize limit: 8192 KiB


[startup+0.100097 s]*
/proc/loadavg: 2.06 2.00 2.25 4/229 9986
/proc/meminfo: memFree=26401676/32770624 swapFree=66954244/67108860
[pid=9970] ppid=9967 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9970/stat : 9970 (xcsp3-exec) S 9967 9970 8265 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517692610 115843072 364 33554432000 4194304 5098028 140726934164816 140726934162920 140716203872892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38072320 140726934172503 140726934172761 140726934172761 140726934175686 0
/proc/9970/statm: 28282 364 305 221 0 87 0
[pid=9972] ppid=9970 vsize=15144776 memory=28784 CPUtime=0.13 cores=0,2,4,6
/proc/9972/stat : 9972 (java) S 9970 9970 8265 0 -1 1077944320 5672 0 0 0 12 1 0 0 20 0 15 0 517692611 15508250624 7196 33554432000 4194304 4196468 140724985002272 140724984984816 140321768287991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
/proc/9972/statm: 3786194 7196 3119 1 0 3748377 0
[pid=9972/tid=9973] ppid=9970 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/9972/task/9973/stat : 9973 (java) R 9970 9970 8265 0 -1 4202560 3621 0 0 0 9 0 0 0 20 0 15 0 517692611 15508250624 7196 33554432000 4194304 4196468 140724985002272 140321772523008 140321752850061 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9974] ppid=9970 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9974/stat : 9974 (java) S 9970 9970 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517692612 15508250624 7196 33554432000 4194304 4196468 140724985002272 140321696328336 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9975] ppid=9970 vsize=15144776 memory=140403720100160 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9975/stat : 9975 (java) S 9970 9970 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517692612 15508250624 7262 33554432000 4194304 4196468 140724985002272 140321695275536 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9976] ppid=9970 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9976/stat : 9976 (java) S 9970 9970 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517692612 15508250624 7262 33554432000 4194304 4196468 140724985002272 140321694222736 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9977] ppid=9970 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9977/stat : 9977 (java) S 9970 9970 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517692612 15508250624 7262 33554432000 4194304 4196468 140724985002272 140321693169936 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9978] ppid=9970 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9978/stat : 9978 (java) S 9970 9970 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517692613 15508250624 7262 33554432000 4194304 4196468 140724985002272 140320910887792 140321768299138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9979] ppid=9970 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9979/stat : 9979 (java) S 9970 9970 8265 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517692614 15508250624 7262 33554432000 4194304 4196468 140724985002272 140320909833760 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9980] ppid=9970 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9980/stat : 9980 (java) S 9970 9970 8265 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517692614 15508250624 7262 33554432000 4194304 4196468 140724985002272 140320908780912 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9981] ppid=9970 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9981/stat : 9981 (java) S 9970 9970 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517692616 15508250624 7262 33554432000 4194304 4196468 140724985002272 140320907729232 140321768306587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9982] ppid=9970 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9982/stat : 9982 (java) R 9970 9970 8265 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 517692616 15508250624 7262 33554432000 4194304 4196468 140724985002272 140320906676592 140321768299138 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9983] ppid=9970 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9983/stat : 9983 (java) R 9970 9970 8265 0 -1 4202560 144 0 0 0 0 0 0 0 20 0 15 0 517692616 15508250624 7262 33554432000 4194304 4196468 140724985002272 140320905615296 140321751723729 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9984] ppid=9970 vsize=15144776 memory=140403720087168 CPUtime=0.02 cores=0,2,4,6
/proc/9972/task/9984/stat : 9984 (java) R 9970 9970 8265 0 -1 4202560 321 0 0 0 2 0 0 0 20 0 15 0 517692616 15508250624 7262 33554432000 4194304 4196468 140724985002272 140320904568528 140321746966977 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9985] ppid=9970 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9985/stat : 9985 (java) S 9970 9970 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517692616 15508250624 7262 33554432000 4194304 4196468 140724985002272 140320903518432 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9986] ppid=9970 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9986/stat : 9986 (java) S 9970 9970 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517692617 15508250624 7262 33554432000 4194304 4196468 140724985002272 140320902466736 140321768299138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30240 KiB

[startup+0.210793 s]*
/proc/loadavg: 2.06 2.00 2.25 3/229 9986
/proc/meminfo: memFree=26387328/32770624 swapFree=66954244/67108860
[pid=9970] ppid=9967 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9970/stat : 9970 (xcsp3-exec) S 9967 9970 8265 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517692610 115843072 364 33554432000 4194304 5098028 140726934164816 140726934162920 140716203872892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38072320 140726934172503 140726934172761 140726934172761 140726934175686 0
/proc/9970/statm: 28282 364 305 221 0 87 0
[pid=9972] ppid=9970 vsize=15144776 memory=41028 CPUtime=0.34 cores=0,2,4,6
/proc/9972/stat : 9972 (java) S 9970 9970 8265 0 -1 1077944320 9465 0 0 0 32 2 0 0 20 0 15 0 517692611 15508250624 10257 33554432000 4194304 4196468 140724985002272 140724984984816 140321768287991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
/proc/9972/statm: 3786194 10257 3306 1 0 3748377 0
[pid=9972/tid=9973] ppid=9970 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/9972/task/9973/stat : 9973 (java) R 9970 9970 8265 0 -1 4202560 6605 0 0 0 18 1 0 0 20 0 15 0 517692611 15508250624 10257 33554432000 4194304 4196468 140724985002272 140321772521920 140321752368478 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9974] ppid=9970 vsize=15144776 memory=10594 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9974/stat : 9974 (java) S 9970 9970 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517692612 15508250624 10257 33554432000 4194304 4196468 140724985002272 140321696328336 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9975] ppid=9970 vsize=15144776 memory=288370779871798912 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9975/stat : 9975 (java) S 9970 9970 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517692612 15508250624 10257 33554432000 4194304 4196468 140724985002272 140321695275536 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9976] ppid=9970 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9976/stat : 9976 (java) S 9970 9970 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517692612 15508250624 10257 33554432000 4194304 4196468 140724985002272 140321694222736 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9977] ppid=9970 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9977/stat : 9977 (java) S 9970 9970 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517692612 15508250624 10257 33554432000 4194304 4196468 140724985002272 140321693169936 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9978] ppid=9970 vsize=15144776 memory=140403720087168 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9978/stat : 9978 (java) S 9970 9970 8265 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517692613 15508250624 10257 33554432000 4194304 4196468 140724985002272 140320910887792 140321768299138 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9979] ppid=9970 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9979/stat : 9979 (java) S 9970 9970 8265 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517692614 15508250624 10257 33554432000 4194304 4196468 140724985002272 140320909833760 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9980] ppid=9970 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9980/stat : 9980 (java) S 9970 9970 8265 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517692614 15508250624 10257 33554432000 4194304 4196468 140724985002272 140320908780912 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9981] ppid=9970 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9981/stat : 9981 (java) S 9970 9970 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517692616 15508250624 10257 33554432000 4194304 4196468 140724985002272 140320907729232 140321768306587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9982] ppid=9970 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9972/task/9982/stat : 9982 (java) S 9970 9970 8265 0 -1 1077944384 438 0 0 0 2 0 0 0 20 0 15 0 517692616 15508250624 10257 33554432000 4194304 4196468 140724985002272 140320906676592 140321768299138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9983] ppid=9970 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/9972/task/9983/stat : 9983 (java) S 9970 9970 8265 0 -1 1077944384 378 0 0 0 2 0 0 0 20 0 15 0 517692616 15508250624 10257 33554432000 4194304 4196468 140724985002272 140320905623792 140321768299138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9984] ppid=9970 vsize=15144776 memory=140403720087168 CPUtime=0.08 cores=0,2,4,6
/proc/9972/task/9984/stat : 9984 (java) R 9970 9970 8265 0 -1 4202560 735 0 0 0 8 0 0 0 20 0 15 0 517692616 15508250624 10257 33554432000 4194304 4196468 140724985002272 140320904570992 140321747255975 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9985] ppid=9970 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9985/stat : 9985 (java) S 9970 9970 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517692616 15508250624 10257 33554432000 4194304 4196468 140724985002272 140320903518432 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9986] ppid=9970 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9986/stat : 9986 (java) S 9970 9970 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517692617 15508250624 10257 33554432000 4194304 4196468 140724985002272 140320902466736 140321768299138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42484 KiB

[startup+0.310671 s]*
/proc/loadavg: 2.06 2.00 2.25 4/229 9986
/proc/meminfo: memFree=26383108/32770624 swapFree=66954244/67108860
[pid=9970] ppid=9967 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9970/stat : 9970 (xcsp3-exec) S 9967 9970 8265 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517692610 115843072 364 33554432000 4194304 5098028 140726934164816 140726934162920 140716203872892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38072320 140726934172503 140726934172761 140726934172761 140726934175686 0
/proc/9970/statm: 28282 364 305 221 0 87 0
[pid=9972] ppid=9970 vsize=15149032 memory=49896 CPUtime=0.53 cores=0,2,4,6
/proc/9972/stat : 9972 (java) S 9970 9970 8265 0 -1 1077944320 10754 0 0 0 49 4 0 0 20 0 15 0 517692611 15512608768 12474 33554432000 4194304 4196468 140724985002272 140724984984816 140321768287991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
/proc/9972/statm: 3787258 12474 3365 1 0 3748377 0
[pid=9972/tid=9973] ppid=9970 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/9972/task/9973/stat : 9973 (java) R 9970 9970 8265 0 -1 4202560 7730 0 0 0 27 2 0 0 20 0 15 0 517692611 15512608768 12502 33554432000 4194304 4196468 140724985002272 140321772519104 140321752368478 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9974] ppid=9970 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9974/stat : 9974 (java) S 9970 9970 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517692612 15512608768 12502 33554432000 4194304 4196468 140724985002272 140321696328336 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9975] ppid=9970 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9975/stat : 9975 (java) S 9970 9970 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517692612 15512608768 12502 33554432000 4194304 4196468 140724985002272 140321695275536 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9976] ppid=9970 vsize=15149032 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9976/stat : 9976 (java) S 9970 9970 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517692612 15512608768 12502 33554432000 4194304 4196468 140724985002272 140321694222736 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9977] ppid=9970 vsize=15149032 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9977/stat : 9977 (java) S 9970 9970 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517692612 15512608768 12502 33554432000 4194304 4196468 140724985002272 140321693169936 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9978] ppid=9970 vsize=15149032 memory=7079758225733166482 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9978/stat : 9978 (java) S 9970 9970 8265 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517692613 15512608768 12502 33554432000 4194304 4196468 140724985002272 140320910887792 140321768299138 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9979] ppid=9970 vsize=15149032 memory=6944938067432061290 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9979/stat : 9979 (java) S 9970 9970 8265 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517692614 15512608768 12502 33554432000 4194304 4196468 140724985002272 140320909833760 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9980] ppid=9970 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9980/stat : 9980 (java) S 9970 9970 8265 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517692614 15512608768 12502 33554432000 4194304 4196468 140724985002272 140320908780912 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9981] ppid=9970 vsize=15149032 memory=-7465405268641471099 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9981/stat : 9981 (java) S 9970 9970 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517692616 15512608768 12502 33554432000 4194304 4196468 140724985002272 140320907729232 140321768306587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9982] ppid=9970 vsize=15149032 memory=7031125463459224206 CPUtime=0.03 cores=0,2,4,6
/proc/9972/task/9982/stat : 9982 (java) R 9970 9970 8265 0 -1 1077944384 444 0 0 0 3 0 0 0 20 0 15 0 517692616 15512608768 12502 33554432000 4194304 4196468 140724985002272 140320906676592 140321768299138 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9983] ppid=9970 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/9972/task/9983/stat : 9983 (java) R 9970 9970 8265 0 -1 4202560 476 0 0 0 5 0 0 0 20 0 15 0 517692616 15512608768 12502 33554432000 4194304 4196468 140724985002272 140320905613792 140321745939856 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9984] ppid=9970 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/9972/task/9984/stat : 9984 (java) S 9970 9970 8265 0 -1 1077944384 819 0 0 0 13 0 0 0 20 0 15 0 517692616 15512608768 12502 33554432000 4194304 4196468 140724985002272 140320904570992 140321768299138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9985] ppid=9970 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9985/stat : 9985 (java) S 9970 9970 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517692616 15512608768 12502 33554432000 4194304 4196468 140724985002272 140320903518432 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9986] ppid=9970 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9986/stat : 9986 (java) S 9970 9970 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517692617 15512608768 12502 33554432000 4194304 4196468 140724985002272 140320902466736 140321768299138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51352 KiB

[startup+0.700766 s]
/proc/loadavg: 2.06 2.00 2.25 6/229 9986
/proc/meminfo: memFree=26368220/32770624 swapFree=66954244/67108860
[pid=9970] ppid=9967 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9970/stat : 9970 (xcsp3-exec) S 9967 9970 8265 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517692610 115843072 364 33554432000 4194304 5098028 140726934164816 140726934162920 140716203872892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38072320 140726934172503 140726934172761 140726934172761 140726934175686 0
/proc/9970/statm: 28282 364 305 221 0 87 0
[pid=9972] ppid=9970 vsize=15151156 memory=77680 CPUtime=1.49 cores=0,2,4,6
/proc/9972/stat : 9972 (java) S 9970 9970 8265 0 -1 1077944320 14645 0 0 0 144 5 0 0 20 0 15 0 517692611 15514783744 19420 33554432000 4194304 4196468 140724985002272 140724984984816 140321768287991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
/proc/9972/statm: 3787789 19420 3454 1 0 3748889 0
[pid=9972/tid=9973] ppid=9970 vsize=15151156 memory=-7533522213388100735 CPUtime=0.66 cores=0,2,4,6
/proc/9972/task/9973/stat : 9973 (java) R 9970 9970 8265 0 -1 4202560 9367 0 0 0 63 3 0 0 20 0 15 0 517692611 15514783744 19420 33554432000 4194304 4196468 140724985002272 140321772524384 140321363163344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9974] ppid=9970 vsize=15151156 memory=7595725831727968097 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9974/stat : 9974 (java) S 9970 9970 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517692612 15514783744 19420 33554432000 4194304 4196468 140724985002272 140321696328336 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9975] ppid=9970 vsize=15151156 memory=7374757993051607376 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9975/stat : 9975 (java) S 9970 9970 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517692612 15514783744 19420 33554432000 4194304 4196468 140724985002272 140321695275536 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9976] ppid=9970 vsize=15151156 memory=708 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9976/stat : 9976 (java) S 9970 9970 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517692612 15514783744 19420 33554432000 4194304 4196468 140724985002272 140321694222736 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9977] ppid=9970 vsize=15151156 memory=9364 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9977/stat : 9977 (java) S 9970 9970 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517692612 15514783744 19420 33554432000 4194304 4196468 140724985002272 140321693169936 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9978] ppid=9970 vsize=15151156 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9978/stat : 9978 (java) S 9970 9970 8265 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517692613 15514783744 19420 33554432000 4194304 4196468 140724985002272 140320910887792 140321768299138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9979] ppid=9970 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9979/stat : 9979 (java) S 9970 9970 8265 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517692614 15514783744 19420 33554432000 4194304 4196468 140724985002272 140320909833760 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9980] ppid=9970 vsize=15151156 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9980/stat : 9980 (java) S 9970 9970 8265 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517692614 15514783744 19420 33554432000 4194304 4196468 140724985002272 140320908780912 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9981] ppid=9970 vsize=15151156 memory=8220 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9981/stat : 9981 (java) S 9970 9970 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517692616 15514783744 19420 33554432000 4194304 4196468 140724985002272 140320907729232 140321768306587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9982] ppid=9970 vsize=15151156 memory=3616 CPUtime=0.2 cores=0,2,4,6
/proc/9972/task/9982/stat : 9982 (java) S 9970 9970 8265 0 -1 1077944384 1186 0 0 0 20 0 0 0 20 0 15 0 517692616 15514783744 19420 33554432000 4194304 4196468 140724985002272 140320906676592 140321768299138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9983] ppid=9970 vsize=15151156 memory=1556 CPUtime=0.25 cores=0,2,4,6
/proc/9972/task/9983/stat : 9983 (java) S 9970 9970 8265 0 -1 1077944384 1175 0 0 0 25 0 0 0 20 0 15 0 517692616 15514783744 19420 33554432000 4194304 4196468 140724985002272 140320905623792 140321768299138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9984] ppid=9970 vsize=15151156 memory=2832 CPUtime=0.34 cores=0,2,4,6
/proc/9972/task/9984/stat : 9984 (java) S 9970 9970 8265 0 -1 1077944384 1607 0 0 0 34 0 0 0 20 0 15 0 517692616 15514783744 19420 33554432000 4194304 4196468 140724985002272 140320904570992 140321768299138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9985] ppid=9970 vsize=15151156 memory=984 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9985/stat : 9985 (java) S 9970 9970 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517692616 15514783744 19420 33554432000 4194304 4196468 140724985002272 140320903518432 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9986] ppid=9970 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9986/stat : 9986 (java) S 9970 9970 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517692617 15514783744 19420 33554432000 4194304 4196468 140724985002272 140320902466736 140321768299138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 79136 KiB

[startup+1.50113 s]
/proc/loadavg: 2.06 2.00 2.25 5/229 9986
/proc/meminfo: memFree=26333108/32770624 swapFree=66954244/67108860
[pid=9970] ppid=9967 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9970/stat : 9970 (xcsp3-exec) S 9967 9970 8265 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517692610 115843072 364 33554432000 4194304 5098028 140726934164816 140726934162920 140716203872892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38072320 140726934172503 140726934172761 140726934172761 140726934175686 0
/proc/9970/statm: 28282 364 305 221 0 87 0

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

/proc/9970/stat : 9970 (xcsp3-exec) S 9967 9970 8265 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517692610 115843072 364 33554432000 4194304 5098028 140726934164816 140726934162920 140716203872892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38072320 140726934172503 140726934172761 140726934172761 140726934175686 0
/proc/9970/statm: 28282 364 305 221 0 87 0
[pid=9972] ppid=9970 vsize=15153204 memory=138128 CPUtime=396.97 cores=0,2,4,6
/proc/9972/stat : 9972 (java) S 9970 9970 8265 0 -1 1077944320 55008 0 0 0 39674 23 0 0 20 0 15 0 517692611 15516880896 34532 33554432000 4194304 4196468 140724985002272 140724984984816 140321768287991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
/proc/9972/statm: 3788301 34532 3508 1 0 3749401 0
[pid=9972/tid=9973] ppid=9970 vsize=15153204 memory=1044 CPUtime=392.55 cores=0,2,4,6
/proc/9972/task/9973/stat : 9973 (java) R 9970 9970 8265 0 -1 4202560 15622 0 0 0 39249 6 0 0 20 0 15 0 517692611 15516880896 34532 33554432000 4194304 4196468 140724985002272 140321772527488 140321369674634 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9974] ppid=9970 vsize=15153204 memory=708 CPUtime=0.06 cores=0,2,4,6
/proc/9972/task/9974/stat : 9974 (java) S 9970 9970 8265 0 -1 1077944384 642 0 0 0 5 1 0 0 20 0 15 0 517692612 15516880896 34532 33554432000 4194304 4196468 140724985002272 140321696328336 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9975] ppid=9970 vsize=15153204 memory=8112282956445269571 CPUtime=0.05 cores=0,2,4,6
/proc/9972/task/9975/stat : 9975 (java) S 9970 9970 8265 0 -1 1077944384 1418 0 0 0 4 1 0 0 20 0 15 0 517692612 15516880896 34532 33554432000 4194304 4196468 140724985002272 140321695275536 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9976] ppid=9970 vsize=15153204 memory=138128 CPUtime=0.06 cores=0,2,4,6
/proc/9972/task/9976/stat : 9976 (java) S 9970 9970 8265 0 -1 1077944384 1410 0 0 0 5 1 0 0 20 0 15 0 517692612 15516880896 34532 33554432000 4194304 4196468 140724985002272 140321694222736 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9977] ppid=9970 vsize=15153204 memory=984 CPUtime=0.06 cores=0,2,4,6
/proc/9972/task/9977/stat : 9977 (java) S 9970 9970 8265 0 -1 1077944384 537 0 0 0 5 1 0 0 20 0 15 0 517692612 15516880896 34532 33554432000 4194304 4196468 140724985002272 140321693169936 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9978] ppid=9970 vsize=15153204 memory=14012 CPUtime=0.05 cores=0,2,4,6
/proc/9972/task/9978/stat : 9978 (java) S 9970 9970 8265 0 -1 1077944384 1393 0 0 0 4 1 0 0 20 0 15 0 517692613 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320910887792 140321768299138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9979] ppid=9970 vsize=15153204 memory=52868 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9979/stat : 9979 (java) S 9970 9970 8265 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 517692614 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320909833824 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9980] ppid=9970 vsize=15153204 memory=9364 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9980/stat : 9980 (java) S 9970 9970 8265 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 517692614 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320908780928 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9981] ppid=9970 vsize=15153204 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9981/stat : 9981 (java) S 9970 9970 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517692616 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320907729232 140321768306587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9982] ppid=9970 vsize=15153204 memory=138128 CPUtime=1.6 cores=0,2,4,6
/proc/9972/task/9982/stat : 9982 (java) S 9970 9970 8265 0 -1 1077944384 12359 0 0 0 159 1 0 0 20 0 15 0 517692616 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320906676592 140321768299138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9983] ppid=9970 vsize=15153204 memory=111632 CPUtime=1.68 cores=0,2,4,6
/proc/9972/task/9983/stat : 9983 (java) S 9970 9970 8265 0 -1 1077944384 10263 0 0 0 167 1 0 0 20 0 15 0 517692616 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320905623792 140321768299138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9984] ppid=9970 vsize=15153204 memory=804 CPUtime=0.66 cores=0,2,4,6
/proc/9972/task/9984/stat : 9984 (java) S 9970 9970 8265 0 -1 1077944384 9163 0 0 0 65 1 0 0 20 0 15 0 517692616 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320904570992 140321768299138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9985] ppid=9970 vsize=15153204 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9985/stat : 9985 (java) S 9970 9970 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517692616 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320903518432 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9986] ppid=9970 vsize=15153204 memory=920 CPUtime=0.1 cores=0,2,4,6
/proc/9972/task/9986/stat : 9986 (java) S 9970 9970 8265 0 -1 1077944384 775 0 0 0 4 6 0 0 20 0 15 0 517692617 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320902466736 140321768299138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
Current children cumulated CPU time: 396.97 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 139584 KiB

[startup+393.601 s]
/proc/loadavg: 1.92 1.94 2.14 3/229 10026
/proc/meminfo: memFree=26287812/32770624 swapFree=66954244/67108860
[pid=9970] ppid=9967 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9970/stat : 9970 (xcsp3-exec) S 9967 9970 8265 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517692610 115843072 364 33554432000 4194304 5098028 140726934164816 140726934162920 140716203872892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38072320 140726934172503 140726934172761 140726934172761 140726934175686 0
/proc/9970/statm: 28282 364 305 221 0 87 0
[pid=9972] ppid=9970 vsize=15153204 memory=138128 CPUtime=397.77 cores=0,2,4,6
/proc/9972/stat : 9972 (java) S 9970 9970 8265 0 -1 1077944320 55008 0 0 0 39754 23 0 0 20 0 15 0 517692611 15516880896 34532 33554432000 4194304 4196468 140724985002272 140724984984816 140321768287991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
/proc/9972/statm: 3788301 34532 3508 1 0 3749401 0
[pid=9972/tid=9973] ppid=9970 vsize=15153204 memory=22040 CPUtime=393.35 cores=0,2,4,6
/proc/9972/task/9973/stat : 9973 (java) R 9970 9970 8265 0 -1 4202560 15622 0 0 0 39329 6 0 0 20 0 15 0 517692611 15516880896 34532 33554432000 4194304 4196468 140724985002272 140321772527488 140321369523520 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9974] ppid=9970 vsize=15153204 memory=2120 CPUtime=0.06 cores=0,2,4,6
/proc/9972/task/9974/stat : 9974 (java) S 9970 9970 8265 0 -1 1077944384 642 0 0 0 5 1 0 0 20 0 15 0 517692612 15516880896 34532 33554432000 4194304 4196468 140724985002272 140321696328336 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9975] ppid=9970 vsize=15153204 memory=1444 CPUtime=0.05 cores=0,2,4,6
/proc/9972/task/9975/stat : 9975 (java) S 9970 9970 8265 0 -1 1077944384 1418 0 0 0 4 1 0 0 20 0 15 0 517692612 15516880896 34532 33554432000 4194304 4196468 140724985002272 140321695275536 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9976] ppid=9970 vsize=15153204 memory=880 CPUtime=0.06 cores=0,2,4,6
/proc/9972/task/9976/stat : 9976 (java) S 9970 9970 8265 0 -1 1077944384 1410 0 0 0 5 1 0 0 20 0 15 0 517692612 15516880896 34532 33554432000 4194304 4196468 140724985002272 140321694222736 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9977] ppid=9970 vsize=15153204 memory=1984 CPUtime=0.06 cores=0,2,4,6
/proc/9972/task/9977/stat : 9977 (java) S 9970 9970 8265 0 -1 1077944384 537 0 0 0 5 1 0 0 20 0 15 0 517692612 15516880896 34532 33554432000 4194304 4196468 140724985002272 140321693169936 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9978] ppid=9970 vsize=15153204 memory=8112282956445269571 CPUtime=0.05 cores=0,2,4,6
/proc/9972/task/9978/stat : 9978 (java) S 9970 9970 8265 0 -1 1077944384 1393 0 0 0 4 1 0 0 20 0 15 0 517692613 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320910887792 140321768299138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9979] ppid=9970 vsize=15153204 memory=138128 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9979/stat : 9979 (java) S 9970 9970 8265 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 517692614 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320909833824 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9980] ppid=9970 vsize=15153204 memory=496 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9980/stat : 9980 (java) S 9970 9970 8265 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 517692614 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320908780928 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9981] ppid=9970 vsize=15153204 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9981/stat : 9981 (java) S 9970 9970 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517692616 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320907729232 140321768306587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9982] ppid=9970 vsize=15153204 memory=928 CPUtime=1.6 cores=0,2,4,6
/proc/9972/task/9982/stat : 9982 (java) S 9970 9970 8265 0 -1 1077944384 12359 0 0 0 159 1 0 0 20 0 15 0 517692616 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320906676592 140321768299138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9983] ppid=9970 vsize=15153204 memory=8112282956445269571 CPUtime=1.68 cores=0,2,4,6
/proc/9972/task/9983/stat : 9983 (java) S 9970 9970 8265 0 -1 1077944384 10263 0 0 0 167 1 0 0 20 0 15 0 517692616 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320905623792 140321768299138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9984] ppid=9970 vsize=15153204 memory=52488 CPUtime=0.66 cores=0,2,4,6
/proc/9972/task/9984/stat : 9984 (java) S 9970 9970 8265 0 -1 1077944384 9163 0 0 0 65 1 0 0 20 0 15 0 517692616 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320904570992 140321768299138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9985] ppid=9970 vsize=15153204 memory=988 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9985/stat : 9985 (java) S 9970 9970 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517692616 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320903518432 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9986] ppid=9970 vsize=15153204 memory=2016 CPUtime=0.1 cores=0,2,4,6
/proc/9972/task/9986/stat : 9986 (java) S 9970 9970 8265 0 -1 1077944384 775 0 0 0 4 6 0 0 20 0 15 0 517692617 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320902466736 140321768299138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
Current children cumulated CPU time: 397.77 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 139584 KiB

[startup+393.801 s]
/proc/loadavg: 1.92 1.94 2.14 3/229 10026
/proc/meminfo: memFree=26287812/32770624 swapFree=66954244/67108860
[pid=9970] ppid=9967 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9970/stat : 9970 (xcsp3-exec) S 9967 9970 8265 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517692610 115843072 364 33554432000 4194304 5098028 140726934164816 140726934162920 140716203872892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38072320 140726934172503 140726934172761 140726934172761 140726934175686 0
/proc/9970/statm: 28282 364 305 221 0 87 0
[pid=9972] ppid=9970 vsize=15153204 memory=138128 CPUtime=397.98 cores=0,2,4,6
/proc/9972/stat : 9972 (java) S 9970 9970 8265 0 -1 1077944320 55008 0 0 0 39774 24 0 0 20 0 15 0 517692611 15516880896 34532 33554432000 4194304 4196468 140724985002272 140724984984816 140321768287991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
/proc/9972/statm: 3788301 34532 3508 1 0 3749401 0
[pid=9972/tid=9973] ppid=9970 vsize=15153204 memory=6 CPUtime=393.55 cores=0,2,4,6
/proc/9972/task/9973/stat : 9973 (java) R 9970 9970 8265 0 -1 4202560 15622 0 0 0 39349 6 0 0 20 0 15 0 517692611 15516880896 34532 33554432000 4194304 4196468 140724985002272 140321772527488 140321369274229 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9974] ppid=9970 vsize=15153204 memory=5 CPUtime=0.06 cores=0,2,4,6
/proc/9972/task/9974/stat : 9974 (java) S 9970 9970 8265 0 -1 1077944384 642 0 0 0 5 1 0 0 20 0 15 0 517692612 15516880896 34532 33554432000 4194304 4196468 140724985002272 140321696328336 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9975] ppid=9970 vsize=15153204 memory=6 CPUtime=0.05 cores=0,2,4,6
/proc/9972/task/9975/stat : 9975 (java) S 9970 9970 8265 0 -1 1077944384 1418 0 0 0 4 1 0 0 20 0 15 0 517692612 15516880896 34532 33554432000 4194304 4196468 140724985002272 140321695275536 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9976] ppid=9970 vsize=15153204 memory=6 CPUtime=0.06 cores=0,2,4,6
/proc/9972/task/9976/stat : 9976 (java) S 9970 9970 8265 0 -1 1077944384 1410 0 0 0 5 1 0 0 20 0 15 0 517692612 15516880896 34532 33554432000 4194304 4196468 140724985002272 140321694222736 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9977] ppid=9970 vsize=15153204 memory=1456 CPUtime=0.06 cores=0,2,4,6
/proc/9972/task/9977/stat : 9977 (java) S 9970 9970 8265 0 -1 1077944384 537 0 0 0 5 1 0 0 20 0 15 0 517692612 15516880896 34532 33554432000 4194304 4196468 140724985002272 140321693169936 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9978] ppid=9970 vsize=15153204 memory=8317482817917895235 CPUtime=0.05 cores=0,2,4,6
/proc/9972/task/9978/stat : 9978 (java) S 9970 9970 8265 0 -1 1077944384 1393 0 0 0 4 1 0 0 20 0 15 0 517692613 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320910887792 140321768299138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9979] ppid=9970 vsize=15153204 memory=2207088 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9979/stat : 9979 (java) S 9970 9970 8265 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 517692614 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320909833824 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9980] ppid=9970 vsize=15153204 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9980/stat : 9980 (java) S 9970 9970 8265 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 517692614 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320908780928 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9981] ppid=9970 vsize=15153204 memory=138128 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9981/stat : 9981 (java) S 9970 9970 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517692616 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320907729232 140321768306587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9982] ppid=9970 vsize=15153204 memory=3212 CPUtime=1.6 cores=0,2,4,6
/proc/9972/task/9982/stat : 9982 (java) S 9970 9970 8265 0 -1 1077944384 12359 0 0 0 159 1 0 0 20 0 15 0 517692616 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320906676592 140321768299138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9983] ppid=9970 vsize=15153204 memory=1456 CPUtime=1.68 cores=0,2,4,6
/proc/9972/task/9983/stat : 9983 (java) S 9970 9970 8265 0 -1 1077944384 10263 0 0 0 167 1 0 0 20 0 15 0 517692616 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320905623792 140321768299138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9984] ppid=9970 vsize=15153204 memory=138128 CPUtime=0.66 cores=0,2,4,6
/proc/9972/task/9984/stat : 9984 (java) S 9970 9970 8265 0 -1 1077944384 9163 0 0 0 65 1 0 0 20 0 15 0 517692616 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320904570992 140321768299138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9985] ppid=9970 vsize=15153204 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9985/stat : 9985 (java) S 9970 9970 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517692616 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320903518432 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9986] ppid=9970 vsize=15153204 memory=138128 CPUtime=0.1 cores=0,2,4,6
/proc/9972/task/9986/stat : 9986 (java) S 9970 9970 8265 0 -1 1077944384 775 0 0 0 4 6 0 0 20 0 15 0 517692617 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320902466736 140321768299138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
Current children cumulated CPU time: 397.98 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 139584 KiB

[startup+393.901 s]
/proc/loadavg: 1.92 1.94 2.14 3/229 10026
/proc/meminfo: memFree=26287812/32770624 swapFree=66954244/67108860
[pid=9970] ppid=9967 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9970/stat : 9970 (xcsp3-exec) S 9967 9970 8265 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517692610 115843072 364 33554432000 4194304 5098028 140726934164816 140726934162920 140716203872892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38072320 140726934172503 140726934172761 140726934172761 140726934175686 0
/proc/9970/statm: 28282 364 305 221 0 87 0
[pid=9972] ppid=9970 vsize=15153204 memory=138128 CPUtime=398.08 cores=0,2,4,6
/proc/9972/stat : 9972 (java) S 9970 9970 8265 0 -1 1077944320 55008 0 0 0 39784 24 0 0 20 0 15 0 517692611 15516880896 34532 33554432000 4194304 4196468 140724985002272 140724984984816 140321768287991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
/proc/9972/statm: 3788301 34532 3508 1 0 3749401 0
[pid=9972/tid=9973] ppid=9970 vsize=15153204 memory=1456 CPUtime=393.65 cores=0,2,4,6
/proc/9972/task/9973/stat : 9973 (java) R 9970 9970 8265 0 -1 4202560 15622 0 0 0 39359 6 0 0 20 0 15 0 517692611 15516880896 34532 33554432000 4194304 4196468 140724985002272 140321772527488 140321369270633 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9974] ppid=9970 vsize=15153204 memory=138128 CPUtime=0.06 cores=0,2,4,6
/proc/9972/task/9974/stat : 9974 (java) S 9970 9970 8265 0 -1 1077944384 642 0 0 0 5 1 0 0 20 0 15 0 517692612 15516880896 34532 33554432000 4194304 4196468 140724985002272 140321696328336 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9975] ppid=9970 vsize=15153204 memory=138128 CPUtime=0.05 cores=0,2,4,6
/proc/9972/task/9975/stat : 9975 (java) S 9970 9970 8265 0 -1 1077944384 1418 0 0 0 4 1 0 0 20 0 15 0 517692612 15516880896 34532 33554432000 4194304 4196468 140724985002272 140321695275536 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9976] ppid=9970 vsize=15153204 memory=138128 CPUtime=0.06 cores=0,2,4,6
/proc/9972/task/9976/stat : 9976 (java) S 9970 9970 8265 0 -1 1077944384 1410 0 0 0 5 1 0 0 20 0 15 0 517692612 15516880896 34532 33554432000 4194304 4196468 140724985002272 140321694222736 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9977] ppid=9970 vsize=15153204 memory=138128 CPUtime=0.06 cores=0,2,4,6
/proc/9972/task/9977/stat : 9977 (java) S 9970 9970 8265 0 -1 1077944384 537 0 0 0 5 1 0 0 20 0 15 0 517692612 15516880896 34532 33554432000 4194304 4196468 140724985002272 140321693169936 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9978] ppid=9970 vsize=15153204 memory=138128 CPUtime=0.05 cores=0,2,4,6
/proc/9972/task/9978/stat : 9978 (java) S 9970 9970 8265 0 -1 1077944384 1393 0 0 0 4 1 0 0 20 0 15 0 517692613 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320910887792 140321768299138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9979] ppid=9970 vsize=15153204 memory=138128 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9979/stat : 9979 (java) S 9970 9970 8265 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 517692614 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320909833824 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9980] ppid=9970 vsize=15153204 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9980/stat : 9980 (java) S 9970 9970 8265 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 517692614 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320908780928 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9981] ppid=9970 vsize=15153204 memory=138128 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9981/stat : 9981 (java) S 9970 9970 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517692616 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320907729232 140321768306587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9982] ppid=9970 vsize=15153204 memory=138128 CPUtime=1.6 cores=0,2,4,6
/proc/9972/task/9982/stat : 9982 (java) S 9970 9970 8265 0 -1 1077944384 12359 0 0 0 159 1 0 0 20 0 15 0 517692616 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320906676592 140321768299138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9983] ppid=9970 vsize=15153204 memory=1456 CPUtime=1.68 cores=0,2,4,6
/proc/9972/task/9983/stat : 9983 (java) S 9970 9970 8265 0 -1 1077944384 10263 0 0 0 167 1 0 0 20 0 15 0 517692616 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320905623792 140321768299138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9984] ppid=9970 vsize=15153204 memory=1456 CPUtime=0.66 cores=0,2,4,6
/proc/9972/task/9984/stat : 9984 (java) S 9970 9970 8265 0 -1 1077944384 9163 0 0 0 65 1 0 0 20 0 15 0 517692616 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320904570992 140321768299138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9985] ppid=9970 vsize=15153204 memory=138128 CPUtime=0 cores=0,2,4,6
/proc/9972/task/9985/stat : 9985 (java) S 9970 9970 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517692616 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320903518432 140321768298197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
[pid=9972/tid=9986] ppid=9970 vsize=15153204 memory=138128 CPUtime=0.1 cores=0,2,4,6
/proc/9972/task/9986/stat : 9986 (java) S 9970 9970 8265 0 -1 1077944384 775 0 0 0 4 6 0 0 20 0 15 0 517692617 15516880896 34532 33554432000 4194304 4196468 140724985002272 140320902466736 140321768299138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39075840 140724985009115 140724985009290 140724985009290 140724985012175 0
Current children cumulated CPU time: 398.08 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 139584 KiB

Child status: 0
Real time (s): 393.961
CPU time (s): 398.145
CPU user time (s): 397.897
CPU system time (s): 0.247234
CPU usage (%): 101.062
Max. virtual memory (cumulated for all children) (KiB): 15266332
Max. memory (cumulated for all children) (KiB): 218476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 397.897
system time used= 0.247234
maximum resident set size= 222152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56215
page faults= 0
swaps= 0
block input operations= 0
block output operations= 560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12532
involuntary context switches= 471


# summary of solver processes directly reported to runsolver:
#   pid: 9970
#   total CPU time (s): 398.145
#   total CPU user time (s): 397.897
#   total CPU system time (s): 0.247234

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.47273 second user time and 3.46866 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-25 13:24:09
IDJOB=4406040
IDBENCH=141048
IDSOLVER=2869
FILE ID=node107/4406040-1569414373
RUNJOBID= node107-1569405077-8296
PBS_JOBID= 21705710
Free space on /var/tmp= 12536 MiB

SOLVER NAME= choco-solver 2019-09-24
BENCH NAME= XCSP18/NurseRostering/NurseRostering-01_c18.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406040-1569414373/watcher-4406040-1569414373 -o /var/tmp/evaluation-result-4406040-1569414373/solver-4406040-1569414373 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1569405077-8296 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 616781673 HOME/instance-4406040-1569414373.xml

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

MD5SUM BENCH= 0c15b35a08e73d195c67cb94b6fc4864
RANDOM SEED=616781673

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
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:        26417612 kB
MemAvailable:   29605548 kB
Buffers:          108188 kB
Cached:          3221124 kB
SwapCached:        48096 kB
Active:          4224368 kB
Inactive:        1349520 kB
Active(anon):    2199316 kB
Inactive(anon):    98284 kB
Active(file):    2025052 kB
Inactive(file):  1251236 kB
Unevictable:      110996 kB
Mlocked:          110996 kB
SwapTotal:      67108860 kB
SwapFree:       66954244 kB
Dirty:             25912 kB
Writeback:             8 kB
AnonPages:       2314280 kB
Mapped:            68268 kB
Shmem:             44628 kB
Slab:             369064 kB
SReclaimable:     340108 kB
SUnreclaim:        28956 kB
KernelStack:        4064 kB
PageTables:        10372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4712968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2201600 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /var/tmp at the end= 12512 MiB
End job on node107 at 2019-09-25 13:30:43