Trace number 4393973

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-06-14 parallelOPT3 484.944 61.9758

General information on the benchmark

NameGraphColoring/GraphColoring-m1-mono/
GraphColoring-4-insertions-3.xml
MD5SUM681bcba91e68c7fd43dde01217071906
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark4.94
Satisfiable
(Un)Satisfiability was proved
Number of variables79
Number of constraints156
Number of domains1
Minimum domain size79
Maximum domain size79
Distribution of domain sizes[{"size":79,"count":79}]
Minimum variable degree4
Maximum variable degree14
Distribution of variable degrees[{"degree":4,"count":13},{"degree":5,"count":65},{"degree":14,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":156}]
Number of extensional constraints0
Number of intensional constraints156
Distribution of constraint types[{"type":"intension","count":156}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393973-1568419544.xml"  -tl '20160s' -p 8
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4393973-1568419544.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
1.59/0.77	c solve instance...
1.93/0.83	o 3 
484.47/61.95	s OPTIMUM FOUND
484.47/61.95	v <instantiation>
484.47/61.95	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] </list>
484.47/61.95	v 	<values>0 1 0 1 0 1 0 1 0 1 0 1 2 0 1 0 1 0 1 0 1 0 1 0 1 2 0 1 0 1 0 1 0 1 0 1 0 1 2 0 1 0 1 0 1 0 1 0 1 0 1 2 0 1 0 1 0 1 0 1 0 1 0 1 2 0 1 0 1 0 1 0 1 0 1 0 1 2 3 </values>
484.47/61.95	v </instantiation>

Verifier Data

OK	3

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393973-1568419544/watcher-4393973-1568419544 -o /tmp/evaluation-result-4393973-1568419544/solver-4393973-1568419544 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568416727-4864 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 800334196 HOME/instance-4393973-1568419544.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=5979, runsolver pid=5976

[startup+0.100149 s]*
/proc/loadavg: 6.03 7.46 7.30 3/212 6000
/proc/meminfo: memFree=24288280/32770624 swapFree=67108848/67108860
[pid=5979] ppid=5976 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5979/stat : 5979 (xcsp3-exec) S 5976 5979 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417891815 115843072 364 33554432000 4194304 5098028 140723658585440 140723658583544 139781595349628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16302080 140723658593142 140723658593385 140723658593385 140723658596298 0
/proc/5979/statm: 28282 364 305 221 0 87 0
[pid=5981] ppid=5979 vsize=28227388 memory=28868 CPUtime=0.13 cores=0-7
/proc/5981/stat : 5981 (java) S 5979 5979 4837 0 -1 1077944320 5698 0 0 0 11 2 0 0 20 0 20 0 417891815 28904845312 7217 33554432000 4194304 4196468 140729348144512 140729348127056 140702908579575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
/proc/5981/statm: 7056847 7217 3117 1 0 7019032 0
[pid=5981/tid=5982] ppid=5979 vsize=28227388 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/5981/task/5982/stat : 5982 (java) R 5979 5979 4837 0 -1 4202560 3586 0 0 0 8 1 0 0 20 0 20 0 417891815 28904845312 7217 33554432000 4194304 4196468 140729348144512 140702912815920 140702892623205 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5983] ppid=5979 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/5981/task/5983/stat : 5983 (java) S 5979 5979 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 7217 33554432000 4194304 4196468 140729348144512 140702459484688 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5984] ppid=5979 vsize=28227388 memory=140672708228736 CPUtime=0 cores=0-7
/proc/5981/task/5984/stat : 5984 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 7217 33554432000 4194304 4196468 140729348144512 140702458432144 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5985] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5985/stat : 5985 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 7217 33554432000 4194304 4196468 140729348144512 140702457379088 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5986] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5986/stat : 5986 (java) S 5979 5979 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 7217 33554432000 4194304 4196468 140729348144512 140702456326544 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5987] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5987/stat : 5987 (java) S 5979 5979 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 7217 33554432000 4194304 4196468 140729348144512 140702455274512 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5988] ppid=5979 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5981/task/5988/stat : 5988 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 7217 33554432000 4194304 4196468 140729348144512 140702454221968 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5989] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5989/stat : 5989 (java) S 5979 5979 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 7217 33554432000 4194304 4196468 140729348144512 140702453168912 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5990] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5990/stat : 5990 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 7217 33554432000 4194304 4196468 140729348144512 140702452116368 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5991] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5991/stat : 5991 (java) S 5979 5979 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417891818 28904845312 7217 33554432000 4194304 4196468 140729348144512 140701439310064 140702908590722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5992] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5992/stat : 5992 (java) S 5979 5979 4837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417891818 28904845312 7217 33554432000 4194304 4196468 140729348144512 140701438256288 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5993] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5993/stat : 5993 (java) S 5979 5979 4837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417891818 28904845312 7217 33554432000 4194304 4196468 140729348144512 140701437203184 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5994] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5994/stat : 5994 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891821 28904845312 7217 33554432000 4194304 4196468 140729348144512 140701436151760 140702908598171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5995] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5995/stat : 5995 (java) R 5979 5979 4837 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 417891821 28904845312 7217 33554432000 4194304 4196468 140729348144512 140701435099888 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5996] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5996/stat : 5996 (java) S 5979 5979 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417891821 28904845312 7217 33554432000 4194304 4196468 140729348144512 140701434047344 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5997] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5997/stat : 5997 (java) R 5979 5979 4837 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 20 0 417891821 28904845312 7217 33554432000 4194304 4196468 140729348144512 140701432994288 140702901564617 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5998] ppid=5979 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/5981/task/5998/stat : 5998 (java) R 5979 5979 4837 0 -1 4202560 377 0 0 0 2 0 0 0 20 0 20 0 417891821 28904845312 7217 33554432000 4194304 4196468 140729348144512 140701431941744 140702887597897 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5999] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5999/stat : 5999 (java) S 5979 5979 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417891821 28904845312 7217 33554432000 4194304 4196468 140729348144512 140701430888928 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6000] ppid=5979 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5981/task/6000/stat : 6000 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891821 28904845312 7217 33554432000 4194304 4196468 140729348144512 140701429836464 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30324 KiB

[startup+0.210337 s]*
/proc/loadavg: 6.03 7.46 7.30 3/212 6000
/proc/meminfo: memFree=24275280/32770624 swapFree=67108848/67108860
[pid=5979] ppid=5976 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5979/stat : 5979 (xcsp3-exec) S 5976 5979 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417891815 115843072 364 33554432000 4194304 5098028 140723658585440 140723658583544 139781595349628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16302080 140723658593142 140723658593385 140723658593385 140723658596298 0
/proc/5979/statm: 28282 364 305 221 0 87 0
[pid=5981] ppid=5979 vsize=28227388 memory=40728 CPUtime=0.34 cores=0-7
/proc/5981/stat : 5981 (java) S 5979 5979 4837 0 -1 1077944320 9385 0 0 0 30 4 0 0 20 0 20 0 417891815 28904845312 10182 33554432000 4194304 4196468 140729348144512 140729348127056 140702908579575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
/proc/5981/statm: 7056847 10182 3305 1 0 7019032 0
[pid=5981/tid=5982] ppid=5979 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/5981/task/5982/stat : 5982 (java) R 5979 5979 4837 0 -1 4202560 6600 0 0 0 17 2 0 0 20 0 20 0 417891815 28904845312 10182 33554432000 4194304 4196468 140729348144512 140702912813280 140702541491696 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5983] ppid=5979 vsize=28227388 memory=342 CPUtime=0 cores=0-7
/proc/5981/task/5983/stat : 5983 (java) S 5979 5979 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 10182 33554432000 4194304 4196468 140729348144512 140702459484688 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5984] ppid=5979 vsize=28227388 memory=140672708238435 CPUtime=0 cores=0-7
/proc/5981/task/5984/stat : 5984 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 10182 33554432000 4194304 4196468 140729348144512 140702458432144 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5985] ppid=5979 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5981/task/5985/stat : 5985 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 10182 33554432000 4194304 4196468 140729348144512 140702457379088 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5986] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5986/stat : 5986 (java) S 5979 5979 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 10182 33554432000 4194304 4196468 140729348144512 140702456326544 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5987] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5987/stat : 5987 (java) S 5979 5979 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 10182 33554432000 4194304 4196468 140729348144512 140702455274512 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5988] ppid=5979 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5981/task/5988/stat : 5988 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 10182 33554432000 4194304 4196468 140729348144512 140702454221968 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5989] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5989/stat : 5989 (java) S 5979 5979 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 10182 33554432000 4194304 4196468 140729348144512 140702453168912 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5990] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5990/stat : 5990 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891816 28904845312 10182 33554432000 4194304 4196468 140729348144512 140702452116368 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5991] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5991/stat : 5991 (java) S 5979 5979 4837 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417891818 28904845312 10182 33554432000 4194304 4196468 140729348144512 140701439310064 140702908590722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5992] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5992/stat : 5992 (java) S 5979 5979 4837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417891818 28904845312 10182 33554432000 4194304 4196468 140729348144512 140701438256288 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5993] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5993/stat : 5993 (java) S 5979 5979 4837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417891818 28904845312 10182 33554432000 4194304 4196468 140729348144512 140701437203184 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5994] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5994/stat : 5994 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891821 28904845312 10182 33554432000 4194304 4196468 140729348144512 140701436151760 140702908598171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5995] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5995/stat : 5995 (java) S 5979 5979 4837 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 20 0 417891821 28904845312 10182 33554432000 4194304 4196468 140729348144512 140701435099888 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5996] ppid=5979 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/5981/task/5996/stat : 5996 (java) S 5979 5979 4837 0 -1 1077944384 104 0 0 0 2 0 0 0 20 0 20 0 417891821 28904845312 10182 33554432000 4194304 4196468 140729348144512 140701434047344 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5997] ppid=5979 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/5981/task/5997/stat : 5997 (java) S 5979 5979 4837 0 -1 1077944384 222 0 0 0 1 0 0 0 20 0 20 0 417891821 28904845312 10182 33554432000 4194304 4196468 140729348144512 140701432994288 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5998] ppid=5979 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/5981/task/5998/stat : 5998 (java) R 5979 5979 4837 0 -1 4202560 815 0 0 0 8 0 0 0 20 0 20 0 417891821 28904845312 10182 33554432000 4194304 4196468 140729348144512 140701431941552 140702900816702 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5999] ppid=5979 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5999/stat : 5999 (java) S 5979 5979 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417891821 28904845312 10182 33554432000 4194304 4196468 140729348144512 140701430888928 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6000] ppid=5979 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5981/task/6000/stat : 6000 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891821 28904845312 10182 33554432000 4194304 4196468 140729348144512 140701429836464 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42184 KiB

[startup+0.309536 s]*
/proc/loadavg: 6.03 7.46 7.30 3/212 6000
/proc/meminfo: memFree=24266896/32770624 swapFree=67108848/67108860
[pid=5979] ppid=5976 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5979/stat : 5979 (xcsp3-exec) S 5976 5979 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417891815 115843072 364 33554432000 4194304 5098028 140723658585440 140723658583544 139781595349628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16302080 140723658593142 140723658593385 140723658593385 140723658596298 0
/proc/5979/statm: 28282 364 305 221 0 87 0
[pid=5981] ppid=5979 vsize=28231644 memory=49820 CPUtime=0.52 cores=0-7
/proc/5981/stat : 5981 (java) S 5979 5979 4837 0 -1 1077944320 10846 0 0 0 47 5 0 0 20 0 20 0 417891815 28909203456 12455 33554432000 4194304 4196468 140729348144512 140729348127056 140702908579575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
/proc/5981/statm: 7057911 12455 3349 1 0 7019032 0
[pid=5981/tid=5982] ppid=5979 vsize=28231644 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/5981/task/5982/stat : 5982 (java) R 5979 5979 4837 0 -1 4202560 7738 0 0 0 26 3 0 0 20 0 20 0 417891815 28909203456 12455 33554432000 4194304 4196468 140729348144512 140702912810688 140702908601501 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5983] ppid=5979 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5983/stat : 5983 (java) S 5979 5979 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417891816 28909203456 12455 33554432000 4194304 4196468 140729348144512 140702459484688 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5984] ppid=5979 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5984/stat : 5984 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891816 28909203456 12455 33554432000 4194304 4196468 140729348144512 140702458432144 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5985] ppid=5979 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5985/stat : 5985 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891816 28909203456 12455 33554432000 4194304 4196468 140729348144512 140702457379088 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5986] ppid=5979 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5986/stat : 5986 (java) S 5979 5979 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417891816 28909203456 12455 33554432000 4194304 4196468 140729348144512 140702456326544 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5987] ppid=5979 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5987/stat : 5987 (java) S 5979 5979 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417891816 28909203456 12455 33554432000 4194304 4196468 140729348144512 140702455274512 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5988] ppid=5979 vsize=28231644 memory=140672594176687 CPUtime=0 cores=0-7
/proc/5981/task/5988/stat : 5988 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891816 28909203456 12455 33554432000 4194304 4196468 140729348144512 140702454221968 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5989] ppid=5979 vsize=28231644 memory=140672594178992 CPUtime=0 cores=0-7
/proc/5981/task/5989/stat : 5989 (java) S 5979 5979 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417891816 28909203456 12455 33554432000 4194304 4196468 140729348144512 140702453168912 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5990] ppid=5979 vsize=28231644 memory=140672594181296 CPUtime=0 cores=0-7
/proc/5981/task/5990/stat : 5990 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891816 28909203456 12455 33554432000 4194304 4196468 140729348144512 140702452116368 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5991] ppid=5979 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5991/stat : 5991 (java) S 5979 5979 4837 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417891818 28909203456 12455 33554432000 4194304 4196468 140729348144512 140701439310064 140702908590722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5992] ppid=5979 vsize=28231644 memory=281345188376464 CPUtime=0 cores=0-7
/proc/5981/task/5992/stat : 5992 (java) S 5979 5979 4837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417891818 28909203456 12455 33554432000 4194304 4196468 140729348144512 140701438256288 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5993] ppid=5979 vsize=28231644 memory=281345188374160 CPUtime=0 cores=0-7
/proc/5981/task/5993/stat : 5993 (java) S 5979 5979 4837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417891818 28909203456 12455 33554432000 4194304 4196468 140729348144512 140701437203184 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5994] ppid=5979 vsize=28231644 memory=281345188381072 CPUtime=0 cores=0-7
/proc/5981/task/5994/stat : 5994 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891821 28909203456 12455 33554432000 4194304 4196468 140729348144512 140701436151760 140702908598171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5995] ppid=5979 vsize=28231644 memory=281345188322352 CPUtime=0.02 cores=0-7
/proc/5981/task/5995/stat : 5995 (java) S 5979 5979 4837 0 -1 1077944384 382 0 0 0 2 0 0 0 20 0 20 0 417891821 28909203456 12455 33554432000 4194304 4196468 140729348144512 140701435099888 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5996] ppid=5979 vsize=28231644 memory=281345188394896 CPUtime=0.04 cores=0-7
/proc/5981/task/5996/stat : 5996 (java) R 5979 5979 4837 0 -1 4202560 220 0 0 0 4 0 0 0 20 0 20 0 417891821 28909203456 12455 33554432000 4194304 4196468 140729348144512 140701434037728 140702887826547 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5997] ppid=5979 vsize=28231644 memory=281345188401808 CPUtime=0.01 cores=0-7
/proc/5981/task/5997/stat : 5997 (java) S 5979 5979 4837 0 -1 1077944384 239 0 0 0 1 0 0 0 20 0 20 0 417891821 28909203456 12455 33554432000 4194304 4196468 140729348144512 140701432994288 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5998] ppid=5979 vsize=28231644 memory=281345188399504 CPUtime=0.12 cores=0-7
/proc/5981/task/5998/stat : 5998 (java) S 5979 5979 4837 0 -1 1077944384 964 0 0 0 12 0 0 0 20 0 20 0 417891821 28909203456 12455 33554432000 4194304 4196468 140729348144512 140701431941744 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5999] ppid=5979 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5999/stat : 5999 (java) S 5979 5979 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417891821 28909203456 12455 33554432000 4194304 4196468 140729348144512 140701430888928 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6000] ppid=5979 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/5981/task/6000/stat : 6000 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891821 28909203456 12455 33554432000 4194304 4196468 140729348144512 140701429836464 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51276 KiB

[startup+0.700938 s]
/proc/loadavg: 6.03 7.46 7.30 4/212 6000
/proc/meminfo: memFree=24251084/32770624 swapFree=67108848/67108860
[pid=5979] ppid=5976 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5979/stat : 5979 (xcsp3-exec) S 5976 5979 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417891815 115843072 364 33554432000 4194304 5098028 140723658585440 140723658583544 139781595349628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16302080 140723658593142 140723658593385 140723658593385 140723658596298 0
/proc/5979/statm: 28282 364 305 221 0 87 0
[pid=5981] ppid=5979 vsize=28233768 memory=84928 CPUtime=1.59 cores=0-7
/proc/5981/stat : 5981 (java) S 5979 5979 4837 0 -1 1077944320 14927 0 0 0 152 7 0 0 20 0 20 0 417891815 28911378432 21232 33554432000 4194304 4196468 140729348144512 140729348127056 140702908579575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
/proc/5981/statm: 7058442 21232 3450 1 0 7019544 0
[pid=5981/tid=5982] ppid=5979 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7
/proc/5981/task/5982/stat : 5982 (java) R 5979 5979 4837 0 -1 4202560 9199 0 0 0 64 4 0 0 20 0 20 0 417891815 28911378432 21232 33554432000 4194304 4196468 140729348144512 140702912817808 140702544591249 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5983] ppid=5979 vsize=28233768 memory=140672594387824 CPUtime=0 cores=0-7
/proc/5981/task/5983/stat : 5983 (java) S 5979 5979 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417891816 28911378432 21232 33554432000 4194304 4196468 140729348144512 140702459484688 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5984] ppid=5979 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5984/stat : 5984 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891816 28911378432 21232 33554432000 4194304 4196468 140729348144512 140702458432144 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5985] ppid=5979 vsize=28233768 memory=7180 CPUtime=0 cores=0-7
/proc/5981/task/5985/stat : 5985 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417891816 28911378432 21232 33554432000 4194304 4196468 140729348144512 140702457379088 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0

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

[pid=5981/tid=5998] ppid=5979 vsize=28768328 memory=7180 CPUtime=1.06 cores=0-7
/proc/5981/task/5998/stat : 5998 (java) S 5979 5979 4837 0 -1 1077944384 9759 0 0 0 103 3 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701431941744 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5999] ppid=5979 vsize=28768328 memory=1100 CPUtime=0 cores=0-7
/proc/5981/task/5999/stat : 5999 (java) S 5979 5979 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701430888928 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6000] ppid=5979 vsize=28768328 memory=15208 CPUtime=0.01 cores=0-7
/proc/5981/task/6000/stat : 6000 (java) S 5979 5979 4837 0 -1 1077944384 738 0 0 0 1 0 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701429836464 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6009] ppid=5979 vsize=28768328 memory=24728 CPUtime=58.56 cores=0-7
/proc/5981/task/6009/stat : 6009 (java) R 5979 5979 4837 0 -1 4202560 1237 0 0 0 5847 9 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701418760720 140702549956766 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6010] ppid=5979 vsize=28768328 memory=4048 CPUtime=58.37 cores=0-7
/proc/5981/task/6010/stat : 6010 (java) R 5979 5979 4837 0 -1 4202560 1309 0 0 0 5828 9 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701417709200 140702549961697 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6011] ppid=5979 vsize=28768328 memory=14288 CPUtime=58.55 cores=0-7
/proc/5981/task/6011/stat : 6011 (java) R 5979 5979 4837 0 -1 4202560 5062 0 0 0 5850 5 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701416657344 140702549923039 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6012] ppid=5979 vsize=28768328 memory=504 CPUtime=58.39 cores=0-7
/proc/5981/task/6012/stat : 6012 (java) R 5979 5979 4837 0 -1 1077944384 2918 0 0 0 5830 9 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701413499376 140702908589781 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6013] ppid=5979 vsize=28768328 memory=1728 CPUtime=59 cores=0-7
/proc/5981/task/6013/stat : 6013 (java) R 5979 5979 4837 0 -1 4202560 2925 0 0 0 5881 19 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701414551648 140702550265941 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6014] ppid=5979 vsize=28768328 memory=924 CPUtime=58.89 cores=0-7
/proc/5981/task/6014/stat : 6014 (java) R 5979 5979 4837 0 -1 4202560 1360 0 0 0 5876 13 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701419815136 140702547386900 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6015] ppid=5979 vsize=28768328 memory=2376 CPUtime=58.67 cores=0-7
/proc/5981/task/6015/stat : 6015 (java) R 5979 5979 4837 0 -1 4202560 2178 0 0 0 5852 15 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701420867424 140702551376840 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6016] ppid=5979 vsize=28768328 memory=2212 CPUtime=58.85 cores=0-7
/proc/5981/task/6016/stat : 6016 (java) R 5979 5979 4837 0 -1 4202560 1823 0 0 0 5872 13 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701415604192 140702547292363 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
Current children cumulated CPU time: 482.08 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1317056 KiB

[startup+61.8033 s]
/proc/loadavg: 7.58 7.67 7.38 9/220 6021
/proc/meminfo: memFree=22997532/32770624 swapFree=67108848/67108860
[pid=5979] ppid=5976 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5979/stat : 5979 (xcsp3-exec) S 5976 5979 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417891815 115843072 364 33554432000 4194304 5098028 140723658585440 140723658583544 139781595349628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16302080 140723658593142 140723658593385 140723658593385 140723658596298 0
/proc/5979/statm: 28282 364 305 221 0 87 0
[pid=5981] ppid=5979 vsize=28768328 memory=1315600 CPUtime=483.68 cores=0-7
/proc/5981/stat : 5981 (java) S 5979 5979 4837 0 -1 1077944320 94162 0 0 0 48197 171 0 0 20 0 28 0 417891815 29458767872 328900 33554432000 4194304 4196468 140729348144512 140729348127056 140702908579575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
/proc/5981/statm: 7192082 328900 3517 1 0 7153184 0
[pid=5981/tid=5982] ppid=5979 vsize=28768328 memory=932 CPUtime=0.77 cores=0-7
/proc/5981/task/5982/stat : 5982 (java) S 5979 5979 4837 0 -1 1077944384 9366 0 0 0 73 4 0 0 20 0 28 0 417891815 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702912820352 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5983] ppid=5979 vsize=28768328 memory=2008 CPUtime=0.36 cores=0-7
/proc/5981/task/5983/stat : 5983 (java) S 5979 5979 4837 0 -1 1077944384 1729 0 0 0 30 6 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702459484688 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5984] ppid=5979 vsize=28768328 memory=111636 CPUtime=0.38 cores=0-7
/proc/5981/task/5984/stat : 5984 (java) S 5979 5979 4837 0 -1 1077944384 1856 0 0 0 31 7 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702458432144 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5985] ppid=5979 vsize=28768328 memory=804 CPUtime=0.37 cores=0-7
/proc/5981/task/5985/stat : 5985 (java) S 5979 5979 4837 0 -1 1077944384 861 0 0 0 31 6 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702457379088 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5986] ppid=5979 vsize=28768328 memory=4100 CPUtime=0.36 cores=0-7
/proc/5981/task/5986/stat : 5986 (java) S 5979 5979 4837 0 -1 1077944384 848 0 0 0 30 6 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702456326544 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5987] ppid=5979 vsize=28768328 memory=1808 CPUtime=0.35 cores=0-7
/proc/5981/task/5987/stat : 5987 (java) S 5979 5979 4837 0 -1 1077944384 1047 0 0 0 29 6 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702455274512 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5988] ppid=5979 vsize=28768328 memory=920 CPUtime=0.38 cores=0-7
/proc/5981/task/5988/stat : 5988 (java) S 5979 5979 4837 0 -1 1077944384 2185 0 0 0 32 6 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702454221968 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5989] ppid=5979 vsize=28768328 memory=4488 CPUtime=0.35 cores=0-7
/proc/5981/task/5989/stat : 5989 (java) S 5979 5979 4837 0 -1 1077944384 1208 0 0 0 29 6 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702453168912 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5990] ppid=5979 vsize=28768328 memory=1412 CPUtime=0.37 cores=0-7
/proc/5981/task/5990/stat : 5990 (java) S 5979 5979 4837 0 -1 1077944384 1279 0 0 0 30 7 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702452116368 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5991] ppid=5979 vsize=28768328 memory=3284 CPUtime=0.11 cores=0-7
/proc/5981/task/5991/stat : 5991 (java) S 5979 5979 4837 0 -1 1077944384 3741 0 0 0 8 3 0 0 20 0 28 0 417891818 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701439310064 140702908590722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5992] ppid=5979 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/5981/task/5992/stat : 5992 (java) S 5979 5979 4837 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 417891818 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701438256352 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5993] ppid=5979 vsize=28768328 memory=1318056 CPUtime=0 cores=0-7
/proc/5981/task/5993/stat : 5993 (java) S 5979 5979 4837 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 417891818 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701437203200 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5994] ppid=5979 vsize=28768328 memory=1964 CPUtime=0 cores=0-7
/proc/5981/task/5994/stat : 5994 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701436151760 140702908598171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5995] ppid=5979 vsize=28768328 memory=1398722017469774279 CPUtime=2.39 cores=0-7
/proc/5981/task/5995/stat : 5995 (java) S 5979 5979 4837 0 -1 1077944384 13218 0 0 0 235 4 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701435099888 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5996] ppid=5979 vsize=28768328 memory=4872558044660077418 CPUtime=2.72 cores=0-7
/proc/5981/task/5996/stat : 5996 (java) S 5979 5979 4837 0 -1 1077944384 12922 0 0 0 268 4 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701434047344 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5997] ppid=5979 vsize=28768328 memory=812 CPUtime=2.51 cores=0-7
/proc/5981/task/5997/stat : 5997 (java) S 5979 5979 4837 0 -1 1077944384 12862 0 0 0 248 3 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701432994288 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5998] ppid=5979 vsize=28768328 memory=1840 CPUtime=1.06 cores=0-7
/proc/5981/task/5998/stat : 5998 (java) S 5979 5979 4837 0 -1 1077944384 9759 0 0 0 103 3 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701431941744 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5999] ppid=5979 vsize=28768328 memory=1384 CPUtime=0 cores=0-7
/proc/5981/task/5999/stat : 5999 (java) S 5979 5979 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701430888928 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6000] ppid=5979 vsize=28768328 memory=1456 CPUtime=0.01 cores=0-7
/proc/5981/task/6000/stat : 6000 (java) S 5979 5979 4837 0 -1 1077944384 738 0 0 0 1 0 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701429836464 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6009] ppid=5979 vsize=28768328 memory=1456 CPUtime=58.76 cores=0-7
/proc/5981/task/6009/stat : 6009 (java) R 5979 5979 4837 0 -1 4202560 1244 0 0 0 5867 9 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701418760624 140702542567358 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6010] ppid=5979 vsize=28768328 memory=1313820 CPUtime=58.57 cores=0-7
/proc/5981/task/6010/stat : 6010 (java) R 5979 5979 4837 0 -1 4202560 1313 0 0 0 5848 9 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701417709296 140702547387703 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6011] ppid=5979 vsize=28768328 memory=2352 CPUtime=58.75 cores=0-7
/proc/5981/task/6011/stat : 6011 (java) R 5979 5979 4837 0 -1 4202560 5077 0 0 0 5870 5 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701416657344 140702550082025 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6012] ppid=5979 vsize=28768328 memory=8112282956445269571 CPUtime=58.59 cores=0-7
/proc/5981/task/6012/stat : 6012 (java) R 5979 5979 4837 0 -1 4202560 2921 0 0 0 5850 9 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701413499280 140702551208526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6013] ppid=5979 vsize=28768328 memory=4048 CPUtime=59.2 cores=0-7
/proc/5981/task/6013/stat : 6013 (java) R 5979 5979 4837 0 -1 4202560 2930 0 0 0 5901 19 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701414551648 140702548277332 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6014] ppid=5979 vsize=28768328 memory=14288 CPUtime=59.09 cores=0-7
/proc/5981/task/6014/stat : 6014 (java) R 5979 5979 4837 0 -1 4202560 1363 0 0 0 5896 13 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701419815232 140702552456883 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6015] ppid=5979 vsize=28768328 memory=504 CPUtime=58.87 cores=0-7
/proc/5981/task/6015/stat : 6015 (java) R 5979 5979 4837 0 -1 1077944384 2179 0 0 0 5872 15 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701420867424 140702908590722 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6016] ppid=5979 vsize=28768328 memory=1728 CPUtime=59.05 cores=0-7
/proc/5981/task/6016/stat : 6016 (java) R 5979 5979 4837 0 -1 4202560 1824 0 0 0 5892 13 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701415604288 140702548277962 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
Current children cumulated CPU time: 483.68 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1317056 KiB

[startup+61.9018 s]
/proc/loadavg: 7.58 7.67 7.38 9/220 6021
/proc/meminfo: memFree=22997532/32770624 swapFree=67108848/67108860
[pid=5979] ppid=5976 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5979/stat : 5979 (xcsp3-exec) S 5976 5979 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417891815 115843072 364 33554432000 4194304 5098028 140723658585440 140723658583544 139781595349628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16302080 140723658593142 140723658593385 140723658593385 140723658596298 0
/proc/5979/statm: 28282 364 305 221 0 87 0
[pid=5981] ppid=5979 vsize=28768328 memory=1315600 CPUtime=484.47 cores=0-7
/proc/5981/stat : 5981 (java) S 5979 5979 4837 0 -1 1077944320 94175 0 0 0 48275 172 0 0 20 0 28 0 417891815 29458767872 328900 33554432000 4194304 4196468 140729348144512 140729348127056 140702908579575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
/proc/5981/statm: 7192082 328900 3517 1 0 7153184 0
[pid=5981/tid=5982] ppid=5979 vsize=28768328 memory=1315600 CPUtime=0.77 cores=0-7
/proc/5981/task/5982/stat : 5982 (java) S 5979 5979 4837 0 -1 1077944384 9366 0 0 0 73 4 0 0 20 0 28 0 417891815 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702912820352 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5983] ppid=5979 vsize=28768328 memory=1456 CPUtime=0.36 cores=0-7
/proc/5981/task/5983/stat : 5983 (java) S 5979 5979 4837 0 -1 1077944384 1729 0 0 0 30 6 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702459484688 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5984] ppid=5979 vsize=28768328 memory=8112282956445269571 CPUtime=0.38 cores=0-7
/proc/5981/task/5984/stat : 5984 (java) S 5979 5979 4837 0 -1 1077944384 1856 0 0 0 31 7 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702458432144 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5985] ppid=5979 vsize=28768328 memory=2212 CPUtime=0.37 cores=0-7
/proc/5981/task/5985/stat : 5985 (java) S 5979 5979 4837 0 -1 1077944384 861 0 0 0 31 6 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702457379088 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5986] ppid=5979 vsize=28768328 memory=164 CPUtime=0.36 cores=0-7
/proc/5981/task/5986/stat : 5986 (java) S 5979 5979 4837 0 -1 1077944384 848 0 0 0 30 6 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702456326544 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5987] ppid=5979 vsize=28768328 memory=6944652177228980320 CPUtime=0.35 cores=0-7
/proc/5981/task/5987/stat : 5987 (java) S 5979 5979 4837 0 -1 1077944384 1047 0 0 0 29 6 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702455274512 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5988] ppid=5979 vsize=28768328 memory=1319276 CPUtime=0.38 cores=0-7
/proc/5981/task/5988/stat : 5988 (java) S 5979 5979 4837 0 -1 1077944384 2185 0 0 0 32 6 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702454221968 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5989] ppid=5979 vsize=28768328 memory=5 CPUtime=0.35 cores=0-7
/proc/5981/task/5989/stat : 5989 (java) S 5979 5979 4837 0 -1 1077944384 1208 0 0 0 29 6 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702453168912 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5990] ppid=5979 vsize=28768328 memory=1456 CPUtime=0.37 cores=0-7
/proc/5981/task/5990/stat : 5990 (java) S 5979 5979 4837 0 -1 1077944384 1279 0 0 0 30 7 0 0 20 0 28 0 417891816 29458767872 328900 33554432000 4194304 4196468 140729348144512 140702452116368 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5991] ppid=5979 vsize=28768328 memory=0 CPUtime=0.11 cores=0-7
/proc/5981/task/5991/stat : 5991 (java) S 5979 5979 4837 0 -1 1077944384 3741 0 0 0 8 3 0 0 20 0 28 0 417891818 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701439310064 140702908590722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5992] ppid=5979 vsize=28768328 memory=7236548286627538792 CPUtime=0 cores=0-7
/proc/5981/task/5992/stat : 5992 (java) S 5979 5979 4837 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 417891818 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701438256352 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5993] ppid=5979 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/5981/task/5993/stat : 5993 (java) S 5979 5979 4837 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 417891818 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701437203200 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5994] ppid=5979 vsize=28768328 memory=1412 CPUtime=0 cores=0-7
/proc/5981/task/5994/stat : 5994 (java) S 5979 5979 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701436151760 140702908598171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5995] ppid=5979 vsize=28768328 memory=3384 CPUtime=2.39 cores=0-7
/proc/5981/task/5995/stat : 5995 (java) S 5979 5979 4837 0 -1 1077944384 13218 0 0 0 235 4 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701435099888 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5996] ppid=5979 vsize=28768328 memory=1456 CPUtime=2.72 cores=0-7
/proc/5981/task/5996/stat : 5996 (java) S 5979 5979 4837 0 -1 1077944384 12922 0 0 0 268 4 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701434047344 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5997] ppid=5979 vsize=28768328 memory=40932 CPUtime=2.51 cores=0-7
/proc/5981/task/5997/stat : 5997 (java) S 5979 5979 4837 0 -1 1077944384 12862 0 0 0 248 3 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701432994288 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5998] ppid=5979 vsize=28768328 memory=1228 CPUtime=1.06 cores=0-7
/proc/5981/task/5998/stat : 5998 (java) S 5979 5979 4837 0 -1 1077944384 9759 0 0 0 103 3 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701431941744 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=5999] ppid=5979 vsize=28768328 memory=2352 CPUtime=0 cores=0-7
/proc/5981/task/5999/stat : 5999 (java) S 5979 5979 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701430888928 140702908589781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6000] ppid=5979 vsize=28768328 memory=3924 CPUtime=0.01 cores=0-7
/proc/5981/task/6000/stat : 6000 (java) S 5979 5979 4837 0 -1 1077944384 738 0 0 0 1 0 0 0 20 0 28 0 417891821 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701429836464 140702908590722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6009] ppid=5979 vsize=28768328 memory=40932 CPUtime=58.86 cores=0-7
/proc/5981/task/6009/stat : 6009 (java) R 5979 5979 4837 0 -1 4202560 1245 0 0 0 5877 9 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701418760720 140702548273987 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6010] ppid=5979 vsize=28768328 memory=1456 CPUtime=58.67 cores=0-7
/proc/5981/task/6010/stat : 6010 (java) R 5979 5979 4837 0 -1 4202560 1316 0 0 0 5858 9 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701417709200 140702892919704 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6011] ppid=5979 vsize=28768328 memory=1316924 CPUtime=58.85 cores=0-7
/proc/5981/task/6011/stat : 6011 (java) R 5979 5979 4837 0 -1 4202560 5080 0 0 0 5880 5 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701416657344 140702549222435 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6012] ppid=5979 vsize=28768328 memory=40932 CPUtime=58.69 cores=0-7
/proc/5981/task/6012/stat : 6012 (java) R 5979 5979 4837 0 -1 4202560 2922 0 0 0 5860 9 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701413499280 140702542458997 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6013] ppid=5979 vsize=28768328 memory=1228 CPUtime=59.3 cores=0-7
/proc/5981/task/6013/stat : 6013 (java) R 5979 5979 4837 0 -1 4202560 2931 0 0 0 5911 19 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701414551648 140702894647680 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6014] ppid=5979 vsize=28768328 memory=2352 CPUtime=59.19 cores=0-7
/proc/5981/task/6014/stat : 6014 (java) R 5979 5979 4837 0 -1 4202560 1365 0 0 0 5906 13 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701419815232 140702549310716 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6015] ppid=5979 vsize=28768328 memory=1792 CPUtime=58.96 cores=0-7
/proc/5981/task/6015/stat : 6015 (java) R 5979 5979 4837 0 -1 4202560 2180 0 0 0 5881 15 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701420867912 140702549923047 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
[pid=5981/tid=6016] ppid=5979 vsize=28768328 memory=8612 CPUtime=59.15 cores=0-7
/proc/5981/task/6016/stat : 6016 (java) R 5979 5979 4837 0 -1 4202560 1826 0 0 0 5902 13 0 0 20 0 28 0 417891898 29458767872 328900 33554432000 4194304 4196468 140729348144512 140701415604192 140702549087023 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 34144256 140729348150250 140729348150422 140729348150422 140729348153295 0
Current children cumulated CPU time: 484.47 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1317056 KiB

Child status: 0
Real time (s): 61.9758
CPU time (s): 484.944
CPU user time (s): 483.193
CPU system time (s): 1.75069
CPU usage (%): 782.473
Max. virtual memory (cumulated for all children) (KiB): 28883376
Max. memory (cumulated for all children) (KiB): 1324836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 483.193
system time used= 1.75069
maximum resident set size= 1324920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96673
page faults= 0
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78265
involuntary context switches= 4512


# summary of solver processes directly reported to runsolver:
#   pid: 5979
#   total CPU time (s): 484.944
#   total CPU user time (s): 483.193
#   total CPU system time (s): 1.75069

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.549796 second user time and 0.790266 second system time

The end

Launcher Data

Begin job on node143 at 2019-09-14 02:05:03
IDJOB=4393973
IDBENCH=120617
IDSOLVER=2841
FILE ID=node143/4393973-1568419544
RUNJOBID= node143-1568416727-4864
PBS_JOBID= 21702255
Free space on /tmp= 59272 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-4-insertions-3.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393973-1568419544/watcher-4393973-1568419544 -o /tmp/evaluation-result-4393973-1568419544/solver-4393973-1568419544 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568416727-4864 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 800334196 HOME/instance-4393973-1568419544.xml

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

MD5SUM BENCH= 681bcba91e68c7fd43dde01217071906
RANDOM SEED=800334196

node143.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.73
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.73
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.73
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.73
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:        24304568 kB
MemAvailable:   31756876 kB
Buffers:          200008 kB
Cached:          7541896 kB
SwapCached:            8 kB
Active:          2144180 kB
Inactive:        5649204 kB
Active(anon):       5860 kB
Inactive(anon):   144604 kB
Active(file):    2138320 kB
Inactive(file):  5504600 kB
Unevictable:      107696 kB
Mlocked:          107696 kB
SwapTotal:      67108860 kB
SwapFree:       67108848 kB
Dirty:             26148 kB
Writeback:             0 kB
AnonPages:        172536 kB
Mapped:            49044 kB
Shmem:             90756 kB
Slab:             266240 kB
SReclaimable:     237848 kB
SUnreclaim:        28392 kB
KernelStack:        3728 kB
PageTables:         5636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     499344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     86016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 59248 MiB
End job on node143 at 2019-09-14 02:06:06