Trace number 4393560

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 NameAnswerCPU timeWall clock time
choco-solver 2019-06-14 parallelSAT 57.5925 8.64709

General information on the benchmark

NameHanoi/Hanoi-m1-s1/
Hanoi-07.xml
MD5SUM7f68b5f256bf6bd8019eb0158af88fa3
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.776956
Satisfiable
(Un)Satisfiability was proved
Number of variables126
Number of constraints126
Number of domains1
Minimum domain size2187
Maximum domain size2187
Distribution of domain sizes[{"size":2187,"count":126}]
Minimum variable degree1
Maximum variable degree2
Distribution of variable degrees[{"degree":1,"count":125},{"degree":2,"count":1}]
Minimum constraint arity1
Maximum constraint arity2
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":125}]
Number of extensional constraints125
Number of intensional constraints1
Distribution of constraint types[{"type":"extension","count":125},{"type":"intension","count":1}]
Optimization problemNO
Type of objective

Solver Data

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393560-1568442577.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4393560-1568442577.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.29	c parse instance...
15.01/3.06	c solve instance...
57.52/8.62	s SATISFIABLE
57.52/8.62	v <instantiation>
57.52/8.62	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] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] </list>
57.52/8.62	v 	<values>1 7 8 17 15 12 13 12 13 67 68 66 69 71 62 60 62 71 69 66 67 13 12 15 16 10 9 18 19 25 26 53 52 51 48 49 31 30 33 35 44 42 39 40 41 38 36 37 43 42 39 40 39 42 44 35 33 34 28 27 54 55 61 62 71 69 66 67 66 67 13 12 14 12 13 14 12 13 67 68 65 63 72 73 79 78 80 161 159 160 154 153 144 145 146 144 153 154 160 161 80 79 78 75 76 58 59 56 54 27 54 27 28 34 35 33 35 44 43 42 39 40 202 201 204 206 </values>
57.52/8.62	v </instantiation>

Verifier Data

OK	

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393560-1568442577/watcher-4393560-1568442577 -o /tmp/evaluation-result-4393560-1568442577/solver-4393560-1568442577 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1568438679-8579 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 738813736 HOME/instance-4393560-1568442577.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=9913, runsolver pid=9910

[startup+0.100112 s]*
/proc/loadavg: 8.75 8.33 8.18 2/217 9934
/proc/meminfo: memFree=31604276/32770624 swapFree=67009756/67108860
[pid=9913] ppid=9910 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9913/stat : 9913 (xcsp3-exec) S 9910 9913 8552 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420180451 115843072 363 33554432000 4194304 5098028 140720571838944 140720571837048 140668996194940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24862720 140720571847542 140720571847785 140720571847785 140720571850698 0
/proc/9913/statm: 28282 363 304 221 0 87 0
[pid=9915] ppid=9913 vsize=28227388 memory=29164 CPUtime=0.12 cores=0-7
/proc/9915/stat : 9915 (java) S 9913 9913 8552 0 -1 1077944320 5688 0 0 0 11 1 0 0 20 0 20 0 420180451 28904845312 7291 33554432000 4194304 4196468 140726066955488 140726066938032 140300016889591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
/proc/9915/statm: 7056847 7291 3161 1 0 7019032 0
[pid=9915/tid=9916] ppid=9913 vsize=28227388 memory=-7024592270288534718 CPUtime=0.09 cores=0-7
/proc/9915/task/9916/stat : 9916 (java) R 9913 9913 8552 0 -1 4202560 3590 0 0 0 8 1 0 0 20 0 20 0 420180452 28904845312 7291 33554432000 4194304 4196468 140726066955488 140300021114400 140300016901526 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9917] ppid=9913 vsize=28227388 memory=6735269665564437106 CPUtime=0 cores=0-7
/proc/9915/task/9917/stat : 9917 (java) S 9913 9913 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420180453 28904845312 7291 33554432000 4194304 4196468 140726066955488 140299969510160 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9918] ppid=9913 vsize=28227388 memory=139666268771968 CPUtime=0 cores=0-7
/proc/9915/task/9918/stat : 9918 (java) S 9913 9913 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420180453 28904845312 7291 33554432000 4194304 4196468 140726066955488 140299968457616 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9919] ppid=9913 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9919/stat : 9919 (java) S 9913 9913 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420180453 28904845312 7291 33554432000 4194304 4196468 140726066955488 140299967405072 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9920] ppid=9913 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9920/stat : 9920 (java) S 9913 9913 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420180453 28904845312 7291 33554432000 4194304 4196468 140726066955488 140299966352528 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9921] ppid=9913 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9921/stat : 9921 (java) S 9913 9913 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420180453 28904845312 7291 33554432000 4194304 4196468 140726066955488 140299965298960 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9922] ppid=9913 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/9915/task/9922/stat : 9922 (java) S 9913 9913 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420180453 28904845312 7291 33554432000 4194304 4196468 140726066955488 140299964246416 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9923] ppid=9913 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9923/stat : 9923 (java) S 9913 9913 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420180453 28904845312 7291 33554432000 4194304 4196468 140726066955488 140299963193872 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9924] ppid=9913 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9924/stat : 9924 (java) S 9913 9913 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420180453 28904845312 7291 33554432000 4194304 4196468 140726066955488 140299962141328 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9925] ppid=9913 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9925/stat : 9925 (java) S 9913 9913 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420180454 28904845312 7291 33554432000 4194304 4196468 140726066955488 140299333523952 140300016900738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9926] ppid=9913 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9926/stat : 9926 (java) S 9913 9913 8552 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 420180455 28904845312 7291 33554432000 4194304 4196468 140726066955488 140299332470176 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9927] ppid=9913 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9927/stat : 9927 (java) S 9913 9913 8552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420180455 28904845312 7291 33554432000 4194304 4196468 140726066955488 140299331417584 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9928] ppid=9913 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9928/stat : 9928 (java) S 9913 9913 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420180457 28904845312 7291 33554432000 4194304 4196468 140726066955488 140299330366160 140300016908187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9929] ppid=9913 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9929/stat : 9929 (java) S 9913 9913 8552 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 20 0 420180457 28904845312 7291 33554432000 4194304 4196468 140726066955488 140299329312752 140300016900738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9930] ppid=9913 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9930/stat : 9930 (java) S 9913 9913 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420180457 28904845312 7291 33554432000 4194304 4196468 140726066955488 140299328260208 140300016900738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9931] ppid=9913 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9931/stat : 9931 (java) R 9913 9913 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420180457 28904845312 7291 33554432000 4194304 4196468 140726066955488 140299327207664 140300016900738 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9932] ppid=9913 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/9915/task/9932/stat : 9932 (java) R 9913 9913 8552 0 -1 4202560 375 0 0 0 2 0 0 0 20 0 20 0 420180457 28904845312 7291 33554432000 4194304 4196468 140726066955488 140299326155120 140300016910938 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9933] ppid=9913 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9933/stat : 9933 (java) S 9913 9913 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420180457 28904845312 7291 33554432000 4194304 4196468 140726066955488 140299325102816 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9934] ppid=9913 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/9915/task/9934/stat : 9934 (java) S 9913 9913 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420180458 28904845312 7291 33554432000 4194304 4196468 140726066955488 140299324050352 140300016900738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30616 KiB

[startup+0.210747 s]*
/proc/loadavg: 8.75 8.33 8.18 2/217 9934
/proc/meminfo: memFree=31590240/32770624 swapFree=67009756/67108860
[pid=9913] ppid=9910 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9913/stat : 9913 (xcsp3-exec) S 9910 9913 8552 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420180451 115843072 363 33554432000 4194304 5098028 140720571838944 140720571837048 140668996194940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24862720 140720571847542 140720571847785 140720571847785 140720571850698 0
/proc/9913/statm: 28282 363 304 221 0 87 0
[pid=9915] ppid=9913 vsize=28227388 memory=41248 CPUtime=0.34 cores=0-7
/proc/9915/stat : 9915 (java) S 9913 9913 8552 0 -1 1077944320 9533 0 0 0 31 3 0 0 20 0 20 0 420180451 28904845312 10312 33554432000 4194304 4196468 140726066955488 140726066938032 140300016889591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
/proc/9915/statm: 7056847 10312 3306 1 0 7019032 0
[pid=9915/tid=9916] ppid=9913 vsize=28227388 memory=8390339637985935414 CPUtime=0.2 cores=0-7
/proc/9915/task/9916/stat : 9916 (java) R 9913 9913 8552 0 -1 4202560 6615 0 0 0 18 2 0 0 20 0 20 0 420180452 28904845312 10312 33554432000 4194304 4196468 140726066955488 140300021119312 140300016901526 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9917] ppid=9913 vsize=28227388 memory=288230613314710904 CPUtime=0 cores=0-7
/proc/9915/task/9917/stat : 9917 (java) S 9913 9913 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420180453 28904845312 10312 33554432000 4194304 4196468 140726066955488 140299969510160 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9918] ppid=9913 vsize=28227388 memory=288370042420483712 CPUtime=0 cores=0-7
/proc/9915/task/9918/stat : 9918 (java) S 9913 9913 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420180453 28904845312 10312 33554432000 4194304 4196468 140726066955488 140299968457616 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9919] ppid=9913 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/9915/task/9919/stat : 9919 (java) S 9913 9913 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420180453 28904845312 10312 33554432000 4194304 4196468 140726066955488 140299967405072 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9920] ppid=9913 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9920/stat : 9920 (java) S 9913 9913 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420180453 28904845312 10312 33554432000 4194304 4196468 140726066955488 140299966352528 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9921] ppid=9913 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9921/stat : 9921 (java) S 9913 9913 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420180453 28904845312 10312 33554432000 4194304 4196468 140726066955488 140299965298960 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9922] ppid=9913 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/9915/task/9922/stat : 9922 (java) S 9913 9913 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420180453 28904845312 10312 33554432000 4194304 4196468 140726066955488 140299964246416 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9923] ppid=9913 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9923/stat : 9923 (java) S 9913 9913 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420180453 28904845312 10312 33554432000 4194304 4196468 140726066955488 140299963193872 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9924] ppid=9913 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9924/stat : 9924 (java) S 9913 9913 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420180453 28904845312 10312 33554432000 4194304 4196468 140726066955488 140299962141328 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9925] ppid=9913 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9925/stat : 9925 (java) S 9913 9913 8552 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420180454 28904845312 10312 33554432000 4194304 4196468 140726066955488 140299333523952 140300016900738 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9926] ppid=9913 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9926/stat : 9926 (java) S 9913 9913 8552 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 420180455 28904845312 10312 33554432000 4194304 4196468 140726066955488 140299332470176 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9927] ppid=9913 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9927/stat : 9927 (java) S 9913 9913 8552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420180455 28904845312 10312 33554432000 4194304 4196468 140726066955488 140299331417584 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9928] ppid=9913 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9928/stat : 9928 (java) S 9913 9913 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420180457 28904845312 10312 33554432000 4194304 4196468 140726066955488 140299330366160 140300016908187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9929] ppid=9913 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/9915/task/9929/stat : 9929 (java) R 9913 9913 8552 0 -1 1077944384 479 0 0 0 1 0 0 0 20 0 20 0 420180457 28904845312 10312 33554432000 4194304 4196468 140726066955488 140299329312752 140300016900738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9930] ppid=9913 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/9915/task/9930/stat : 9930 (java) S 9913 9913 8552 0 -1 1077944384 346 0 0 0 2 0 0 0 20 0 20 0 420180457 28904845312 10312 33554432000 4194304 4196468 140726066955488 140299328260208 140300016900738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9931] ppid=9913 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/9915/task/9931/stat : 9931 (java) S 9913 9913 8552 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 20 0 420180457 28904845312 10312 33554432000 4194304 4196468 140726066955488 140299327207664 140300016900738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9932] ppid=9913 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7
/proc/9915/task/9932/stat : 9932 (java) R 9913 9913 8552 0 -1 4202560 747 0 0 0 8 0 0 0 20 0 20 0 420180457 28904845312 10312 33554432000 4194304 4196468 140726066955488 140299326155120 140300016901526 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9933] ppid=9913 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9933/stat : 9933 (java) S 9913 9913 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420180457 28904845312 10312 33554432000 4194304 4196468 140726066955488 140299325102816 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9934] ppid=9913 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/9915/task/9934/stat : 9934 (java) S 9913 9913 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420180458 28904845312 10312 33554432000 4194304 4196468 140726066955488 140299324050352 140300016900738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42700 KiB

[startup+0.310111 s]*
/proc/loadavg: 8.75 8.33 8.18 5/217 9934
/proc/meminfo: memFree=31583924/32770624 swapFree=67009756/67108860
[pid=9913] ppid=9910 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9913/stat : 9913 (xcsp3-exec) S 9910 9913 8552 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420180451 115843072 363 33554432000 4194304 5098028 140720571838944 140720571837048 140668996194940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24862720 140720571847542 140720571847785 140720571847785 140720571850698 0
/proc/9913/statm: 28282 363 304 221 0 87 0
[pid=9915] ppid=9913 vsize=28231644 memory=49956 CPUtime=0.52 cores=0-7
/proc/9915/stat : 9915 (java) S 9913 9913 8552 0 -1 1077944320 10851 0 0 0 49 3 0 0 20 0 20 0 420180451 28909203456 12489 33554432000 4194304 4196468 140726066955488 140726066938032 140300016889591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
/proc/9915/statm: 7057911 12489 3345 1 0 7019032 0
[pid=9915/tid=9916] ppid=9913 vsize=28231644 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/9915/task/9916/stat : 9916 (java) R 9913 9913 8552 0 -1 4202560 7733 0 0 0 27 3 0 0 20 0 20 0 420180452 28909203456 12489 33554432000 4194304 4196468 140726066955488 140300021120704 140300000970078 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9917] ppid=9913 vsize=28231644 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/9915/task/9917/stat : 9917 (java) S 9913 9913 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420180453 28909203456 12489 33554432000 4194304 4196468 140726066955488 140299969510160 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9918] ppid=9913 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9918/stat : 9918 (java) S 9913 9913 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420180453 28909203456 12489 33554432000 4194304 4196468 140726066955488 140299968457616 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9919] ppid=9913 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9919/stat : 9919 (java) S 9913 9913 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420180453 28909203456 12489 33554432000 4194304 4196468 140726066955488 140299967405072 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9920] ppid=9913 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9920/stat : 9920 (java) S 9913 9913 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420180453 28909203456 12489 33554432000 4194304 4196468 140726066955488 140299966352528 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9921] ppid=9913 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9921/stat : 9921 (java) S 9913 9913 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420180453 28909203456 12489 33554432000 4194304 4196468 140726066955488 140299965298960 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9922] ppid=9913 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9922/stat : 9922 (java) S 9913 9913 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420180453 28909203456 12489 33554432000 4194304 4196468 140726066955488 140299964246416 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9923] ppid=9913 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/9915/task/9923/stat : 9923 (java) S 9913 9913 8552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420180453 28909203456 12489 33554432000 4194304 4196468 140726066955488 140299963193872 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9924] ppid=9913 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/9915/task/9924/stat : 9924 (java) S 9913 9913 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420180453 28909203456 12489 33554432000 4194304 4196468 140726066955488 140299962141328 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9925] ppid=9913 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9925/stat : 9925 (java) S 9913 9913 8552 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420180454 28909203456 12489 33554432000 4194304 4196468 140726066955488 140299333523952 140300016900738 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9926] ppid=9913 vsize=28231644 memory=139666162541007 CPUtime=0 cores=0-7
/proc/9915/task/9926/stat : 9926 (java) S 9913 9913 8552 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 420180455 28909203456 12489 33554432000 4194304 4196468 140726066955488 140299332470176 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9927] ppid=9913 vsize=28231644 memory=279332325109648 CPUtime=0 cores=0-7
/proc/9915/task/9927/stat : 9927 (java) S 9913 9913 8552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420180455 28909203456 12489 33554432000 4194304 4196468 140726066955488 140299331417584 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9928] ppid=9913 vsize=28231644 memory=279332325107344 CPUtime=0 cores=0-7
/proc/9915/task/9928/stat : 9928 (java) S 9913 9913 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420180457 28909203456 12489 33554432000 4194304 4196468 140726066955488 140299330366160 140300016908187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9929] ppid=9913 vsize=28231644 memory=279332325114256 CPUtime=0.02 cores=0-7
/proc/9915/task/9929/stat : 9929 (java) S 9913 9913 8552 0 -1 1077944384 497 0 0 0 2 0 0 0 20 0 20 0 420180457 28909203456 12489 33554432000 4194304 4196468 140726066955488 140299329312752 140300016900738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9930] ppid=9913 vsize=28231644 memory=279332325055536 CPUtime=0.04 cores=0-7
/proc/9915/task/9930/stat : 9930 (java) R 9913 9913 8552 0 -1 4202560 444 0 0 0 4 0 0 0 20 0 20 0 420180457 28909203456 12489 33554432000 4194304 4196468 140726066955488 140299328250592 140300001281820 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9931] ppid=9913 vsize=28231644 memory=279332325128080 CPUtime=0.02 cores=0-7
/proc/9915/task/9931/stat : 9931 (java) S 9913 9913 8552 0 -1 1077944384 43 0 0 0 2 0 0 0 20 0 20 0 420180457 28909203456 12489 33554432000 4194304 4196468 140726066955488 140299327207664 140300016900738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9932] ppid=9913 vsize=28231644 memory=279332325134960 CPUtime=0.12 cores=0-7
/proc/9915/task/9932/stat : 9932 (java) S 9913 9913 8552 0 -1 1077944384 835 0 0 0 12 0 0 0 20 0 20 0 420180457 28909203456 12489 33554432000 4194304 4196468 140726066955488 140299326155120 140300016900738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9933] ppid=9913 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9933/stat : 9933 (java) S 9913 9913 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420180457 28909203456 12489 33554432000 4194304 4196468 140726066955488 140299325102816 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9934] ppid=9913 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/9915/task/9934/stat : 9934 (java) S 9913 9913 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420180458 28909203456 12489 33554432000 4194304 4196468 140726066955488 140299324050352 140300016900738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51408 KiB

[startup+0.708437 s]
/proc/loadavg: 8.75 8.33 8.18 6/217 9934
/proc/meminfo: memFree=31555324/32770624 swapFree=67009756/67108860
[pid=9913] ppid=9910 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9913/stat : 9913 (xcsp3-exec) S 9910 9913 8552 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420180451 115843072 363 33554432000 4194304 5098028 140720571838944 140720571837048 140668996194940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24862720 140720571847542 140720571847785 140720571847785 140720571850698 0
/proc/9913/statm: 28282 363 304 221 0 87 0
[pid=9915] ppid=9913 vsize=28233768 memory=249444 CPUtime=2.06 cores=0-7
/proc/9915/stat : 9915 (java) S 9913 9913 8552 0 -1 1077944320 17936 0 0 0 191 15 0 0 20 0 20 0 420180451 28911378432 62361 33554432000 4194304 4196468 140726066955488 140726066938032 140300016889591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
/proc/9915/statm: 7058442 62361 3444 1 0 7019544 0
[pid=9915/tid=9916] ppid=9913 vsize=28233768 memory=2244 CPUtime=0.66 cores=0-7
/proc/9915/task/9916/stat : 9916 (java) S 9913 9913 8552 0 -1 1077944384 8570 0 0 0 61 5 0 0 20 0 20 0 420180452 28911378432 62361 33554432000 4194304 4196468 140726066955488 140300021127360 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9917] ppid=9913 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9917/stat : 9917 (java) R 9913 9913 8552 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 420180453 28911378432 62361 33554432000 4194304 4196468 140726066955488 140299969510360 140300009986340 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9918] ppid=9913 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9918/stat : 9918 (java) R 9913 9913 8552 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 420180453 28911378432 62361 33554432000 4194304 4196468 140726066955488 140299968457616 140300009986292 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9919] ppid=9913 vsize=28233768 memory=14008 CPUtime=0.02 cores=0-7
/proc/9915/task/9919/stat : 9919 (java) R 9913 9913 8552 0 -1 4202560 33 0 0 0 1 1 0 0 20 0 20 0 420180453 28911378432 62361 33554432000 4194304 4196468 140726066955488 140299967405272 140300009986292 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0

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

[pid=9915/tid=9932] ppid=9913 vsize=28766280 memory=0 CPUtime=0.51 cores=0-7
/proc/9915/task/9932/stat : 9932 (java) S 9913 9913 8552 0 -1 1077944384 3226 0 0 0 51 0 0 0 20 0 28 0 420180457 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299326155120 140300016900738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9933] ppid=9913 vsize=28766280 memory=62465 CPUtime=0 cores=0-7
/proc/9915/task/9933/stat : 9933 (java) S 9913 9913 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420180457 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299325102816 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9934] ppid=9913 vsize=28766280 memory=4420 CPUtime=0 cores=0-7
/proc/9915/task/9934/stat : 9934 (java) S 9913 9913 8552 0 -1 1077944384 646 0 0 0 0 0 0 0 20 0 28 0 420180458 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299324050352 140300016900738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9935] ppid=9913 vsize=28766280 memory=6628 CPUtime=4.73 cores=0-7
/proc/9915/task/9935/stat : 9935 (java) S 9913 9913 8552 0 -1 1077944384 308 0 0 0 471 2 0 0 20 0 28 0 420180760 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299315081280 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9936] ppid=9913 vsize=28766280 memory=8836 CPUtime=4.68 cores=0-7
/proc/9915/task/9936/stat : 9936 (java) R 9913 9913 8552 0 -1 4202560 213 0 0 0 468 0 0 0 20 0 28 0 420180760 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299314024920 140299626107161 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9937] ppid=9913 vsize=28766280 memory=11044 CPUtime=4.84 cores=0-7
/proc/9915/task/9937/stat : 9937 (java) R 9913 9913 8552 0 -1 4202560 356 0 0 0 484 0 0 0 20 0 28 0 420180760 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299312971640 140299626065001 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9938] ppid=9913 vsize=28766280 memory=13252 CPUtime=4.74 cores=0-7
/proc/9915/task/9938/stat : 9938 (java) S 9913 9913 8552 0 -1 1077944384 1076 0 0 0 474 0 0 0 20 0 28 0 420180760 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299311924048 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9939] ppid=9913 vsize=28766280 memory=15460 CPUtime=4.79 cores=0-7
/proc/9915/task/9939/stat : 9939 (java) R 9913 9913 8552 0 -1 4202560 331 0 0 0 478 1 0 0 20 0 28 0 420180760 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299310866264 140299626107177 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9940] ppid=9913 vsize=28766280 memory=17668 CPUtime=4.78 cores=0-7
/proc/9915/task/9940/stat : 9940 (java) R 9913 9913 8552 0 -1 4202560 1565 0 0 0 476 2 0 0 20 0 28 0 420180760 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299309813624 140299626107201 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9941] ppid=9913 vsize=28766280 memory=19876 CPUtime=4.78 cores=0-7
/proc/9915/task/9941/stat : 9941 (java) R 9913 9913 8552 0 -1 4202560 170 0 0 0 478 0 0 0 20 0 28 0 420180760 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299308763464 140299626107161 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9942] ppid=9913 vsize=28766280 memory=22084 CPUtime=4.81 cores=0-7
/proc/9915/task/9942/stat : 9942 (java) R 9913 9913 8552 0 -1 4202560 230 0 0 0 481 0 0 0 20 0 28 0 420180760 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299307708920 140299626107168 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
Current children cumulated CPU time: 54.29 s
Current children cumulated vsize: 28879408 KiB
Current children cumulated memory: 1996496 KiB

[startup+8.40118 s]
/proc/loadavg: 8.19 8.22 8.15 7/225 9942
/proc/meminfo: memFree=29634832/32770624 swapFree=67009756/67108860
[pid=9913] ppid=9910 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9913/stat : 9913 (xcsp3-exec) S 9910 9913 8552 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420180451 115843072 363 33554432000 4194304 5098028 140720571838944 140720571837048 140668996194940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24862720 140720571847542 140720571847785 140720571847785 140720571850698 0
/proc/9913/statm: 28282 363 304 221 0 87 0
[pid=9915] ppid=9913 vsize=28766280 memory=1995044 CPUtime=56.64 cores=0-7
/proc/9915/stat : 9915 (java) S 9913 9913 8552 0 -1 1077944320 42471 0 0 0 5272 392 0 0 20 0 28 0 420180451 29456670720 498761 33554432000 4194304 4196468 140726066955488 140726066938032 140300016889591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
/proc/9915/statm: 7191570 498761 3509 1 0 7152672 0
[pid=9915/tid=9916] ppid=9913 vsize=28766280 memory=0 CPUtime=1.51 cores=0-7
/proc/9915/task/9916/stat : 9916 (java) S 9913 9913 8552 0 -1 1077944384 9821 0 0 0 141 10 0 0 20 0 28 0 420180452 29456670720 498761 33554432000 4194304 4196468 140726066955488 140300021130368 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9917] ppid=9913 vsize=28766280 memory=0 CPUtime=1.4 cores=0-7
/proc/9915/task/9917/stat : 9917 (java) S 9913 9913 8552 0 -1 1077944384 1155 0 0 0 96 44 0 0 20 0 28 0 420180453 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299969510160 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9918] ppid=9913 vsize=28766280 memory=0 CPUtime=1.42 cores=0-7
/proc/9915/task/9918/stat : 9918 (java) S 9913 9913 8552 0 -1 1077944384 1217 0 0 0 96 46 0 0 20 0 28 0 420180453 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299968457616 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9919] ppid=9913 vsize=28766280 memory=0 CPUtime=1.42 cores=0-7
/proc/9915/task/9919/stat : 9919 (java) S 9913 9913 8552 0 -1 1077944384 1147 0 0 0 93 49 0 0 20 0 28 0 420180453 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299967405072 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9920] ppid=9913 vsize=28766280 memory=8112282956445269571 CPUtime=1.42 cores=0-7
/proc/9915/task/9920/stat : 9920 (java) S 9913 9913 8552 0 -1 1077944384 1918 0 0 0 99 43 0 0 20 0 28 0 420180453 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299966352528 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9921] ppid=9913 vsize=28766280 memory=1764 CPUtime=1.44 cores=0-7
/proc/9915/task/9921/stat : 9921 (java) S 9913 9913 8552 0 -1 1077944384 1379 0 0 0 100 44 0 0 20 0 28 0 420180453 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299965298960 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9922] ppid=9913 vsize=28766280 memory=111632 CPUtime=1.39 cores=0-7
/proc/9915/task/9922/stat : 9922 (java) S 9913 9913 8552 0 -1 1077944384 1336 0 0 0 94 45 0 0 20 0 28 0 420180453 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299964246416 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9923] ppid=9913 vsize=28766280 memory=4104 CPUtime=1.41 cores=0-7
/proc/9915/task/9923/stat : 9923 (java) S 9913 9913 8552 0 -1 1077944384 2297 0 0 0 95 46 0 0 20 0 28 0 420180453 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299963193872 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9924] ppid=9913 vsize=28766280 memory=1804 CPUtime=1.41 cores=0-7
/proc/9915/task/9924/stat : 9924 (java) S 9913 9913 8552 0 -1 1077944384 1283 0 0 0 95 46 0 0 20 0 28 0 420180453 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299962141328 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9925] ppid=9913 vsize=28766280 memory=920 CPUtime=0.05 cores=0-7
/proc/9915/task/9925/stat : 9925 (java) S 9913 9913 8552 0 -1 1077944384 2173 0 0 0 4 1 0 0 20 0 28 0 420180454 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299333523952 140300016900738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9926] ppid=9913 vsize=28766280 memory=4136 CPUtime=0 cores=0-7
/proc/9915/task/9926/stat : 9926 (java) S 9913 9913 8552 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 420180455 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299332470240 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9927] ppid=9913 vsize=28766280 memory=1412 CPUtime=0 cores=0-7
/proc/9915/task/9927/stat : 9927 (java) S 9913 9913 8552 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 420180455 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299331417600 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9928] ppid=9913 vsize=28766280 memory=2780 CPUtime=0 cores=0-7
/proc/9915/task/9928/stat : 9928 (java) S 9913 9913 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420180457 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299330366160 140300016908187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9929] ppid=9913 vsize=28766280 memory=1452 CPUtime=0.77 cores=0-7
/proc/9915/task/9929/stat : 9929 (java) S 9913 9913 8552 0 -1 1077944384 3334 0 0 0 76 1 0 0 20 0 28 0 420180457 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299329312752 140300016900738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9930] ppid=9913 vsize=28766280 memory=1994484 CPUtime=0.93 cores=0-7
/proc/9915/task/9930/stat : 9930 (java) S 9913 9913 8552 0 -1 1077944384 3192 0 0 0 93 0 0 0 20 0 28 0 420180457 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299328260208 140300016900738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9931] ppid=9913 vsize=28766280 memory=1792 CPUtime=0.84 cores=0-7
/proc/9915/task/9931/stat : 9931 (java) S 9913 9913 8552 0 -1 1077944384 2799 0 0 0 84 0 0 0 20 0 28 0 420180457 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299327207664 140300016900738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9932] ppid=9913 vsize=28766280 memory=2200 CPUtime=0.51 cores=0-7
/proc/9915/task/9932/stat : 9932 (java) S 9913 9913 8552 0 -1 1077944384 3227 0 0 0 51 0 0 0 20 0 28 0 420180457 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299326155120 140300016900738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9933] ppid=9913 vsize=28766280 memory=1600 CPUtime=0 cores=0-7
/proc/9915/task/9933/stat : 9933 (java) S 9913 9913 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420180457 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299325102816 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9934] ppid=9913 vsize=28766280 memory=13391708031728 CPUtime=0 cores=0-7
/proc/9915/task/9934/stat : 9934 (java) S 9913 9913 8552 0 -1 1077944384 646 0 0 0 0 0 0 0 20 0 28 0 420180458 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299324050352 140300016900738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9935] ppid=9913 vsize=28766280 memory=0 CPUtime=4.73 cores=0-7
/proc/9915/task/9935/stat : 9935 (java) S 9913 9913 8552 0 -1 1077944384 308 0 0 0 471 2 0 0 20 0 28 0 420180760 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299315081280 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9936] ppid=9913 vsize=28766280 memory=0 CPUtime=5.07 cores=0-7
/proc/9915/task/9936/stat : 9936 (java) R 9913 9913 8552 0 -1 4202560 213 0 0 0 507 0 0 0 20 0 28 0 420180760 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299314024920 140299626107280 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9937] ppid=9913 vsize=28766280 memory=0 CPUtime=5.23 cores=0-7
/proc/9915/task/9937/stat : 9937 (java) R 9913 9913 8552 0 -1 4202560 358 0 0 0 523 0 0 0 20 0 28 0 420180760 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299312971640 140299626065001 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9938] ppid=9913 vsize=28766280 memory=457 CPUtime=4.74 cores=0-7
/proc/9915/task/9938/stat : 9938 (java) S 9913 9913 8552 0 -1 1077944384 1076 0 0 0 474 0 0 0 20 0 28 0 420180760 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299311924048 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9939] ppid=9913 vsize=28766280 memory=447 CPUtime=5.18 cores=0-7
/proc/9915/task/9939/stat : 9939 (java) R 9913 9913 8552 0 -1 4202560 331 0 0 0 517 1 0 0 20 0 28 0 420180760 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299310868712 140299626107153 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9940] ppid=9913 vsize=28766280 memory=463 CPUtime=5.17 cores=0-7
/proc/9915/task/9940/stat : 9940 (java) R 9913 9913 8552 0 -1 4202560 1565 0 0 0 515 2 0 0 20 0 28 0 420180760 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299309813624 140299626107280 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9941] ppid=9913 vsize=28766280 memory=458 CPUtime=5.17 cores=0-7
/proc/9915/task/9941/stat : 9941 (java) R 9913 9913 8552 0 -1 4202560 170 0 0 0 517 0 0 0 20 0 28 0 420180760 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299308763464 140299626065091 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9942] ppid=9913 vsize=28766280 memory=458 CPUtime=5.2 cores=0-7
/proc/9915/task/9942/stat : 9942 (java) R 9913 9913 8552 0 -1 4202560 230 0 0 0 520 0 0 0 20 0 28 0 420180760 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299307708920 140299626065104 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
Current children cumulated CPU time: 56.64 s
Current children cumulated vsize: 28879408 KiB
Current children cumulated memory: 1996496 KiB

[startup+8.60121 s]
/proc/loadavg: 8.19 8.22 8.15 7/225 9942
/proc/meminfo: memFree=29634832/32770624 swapFree=67009756/67108860
[pid=9913] ppid=9910 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/9913/stat : 9913 (xcsp3-exec) S 9910 9913 8552 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420180451 115843072 363 33554432000 4194304 5098028 140720571838944 140720571837048 140668996194940 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24862720 140720571847542 140720571847785 140720571847785 140720571850698 0
/proc/9913/statm: 28282 363 304 221 0 87 0
[pid=9915] ppid=9913 vsize=28766280 memory=1995044 CPUtime=57.52 cores=0-7
/proc/9915/stat : 9915 (java) S 9913 9913 8552 0 -1 1077944320 42474 0 0 0 5360 392 0 0 20 0 28 0 420180451 29456670720 498761 33554432000 4194304 4196468 140726066955488 140726066938032 140300016889591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
/proc/9915/statm: 7191570 498761 3509 1 0 7152672 0
[pid=9915/tid=9916] ppid=9913 vsize=28766280 memory=-8253362664378450630 CPUtime=1.51 cores=0-7
/proc/9915/task/9916/stat : 9916 (java) S 9913 9913 8552 0 -1 1077944384 9821 0 0 0 141 10 0 0 20 0 28 0 420180452 29456670720 498761 33554432000 4194304 4196468 140726066955488 140300021130368 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9917] ppid=9913 vsize=28766280 memory=7681905605394137875 CPUtime=1.4 cores=0-7
/proc/9915/task/9917/stat : 9917 (java) S 9913 9913 8552 0 -1 1077944384 1155 0 0 0 96 44 0 0 20 0 28 0 420180453 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299969510160 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9918] ppid=9913 vsize=28766280 memory=7100839852556323184 CPUtime=1.42 cores=0-7
/proc/9915/task/9918/stat : 9918 (java) S 9913 9913 8552 0 -1 1077944384 1217 0 0 0 96 46 0 0 20 0 28 0 420180453 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299968457616 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9919] ppid=9913 vsize=28766280 memory=4134692831991783777 CPUtime=1.42 cores=0-7
/proc/9915/task/9919/stat : 9919 (java) S 9913 9913 8552 0 -1 1077944384 1147 0 0 0 93 49 0 0 20 0 28 0 420180453 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299967405072 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9920] ppid=9913 vsize=28766280 memory=8112282956445269571 CPUtime=1.42 cores=0-7
/proc/9915/task/9920/stat : 9920 (java) S 9913 9913 8552 0 -1 1077944384 1918 0 0 0 99 43 0 0 20 0 28 0 420180453 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299966352528 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9921] ppid=9913 vsize=28766280 memory=-8452003567322709693 CPUtime=1.44 cores=0-7
/proc/9915/task/9921/stat : 9921 (java) S 9913 9913 8552 0 -1 1077944384 1379 0 0 0 100 44 0 0 20 0 28 0 420180453 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299965298960 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9922] ppid=9913 vsize=28766280 memory=279332326218400 CPUtime=1.39 cores=0-7
/proc/9915/task/9922/stat : 9922 (java) S 9913 9913 8552 0 -1 1077944384 1336 0 0 0 94 45 0 0 20 0 28 0 420180453 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299964246416 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9923] ppid=9913 vsize=28766280 memory=139666268775649 CPUtime=1.41 cores=0-7
/proc/9915/task/9923/stat : 9923 (java) S 9913 9913 8552 0 -1 1077944384 2297 0 0 0 95 46 0 0 20 0 28 0 420180453 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299963193872 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9924] ppid=9913 vsize=28766280 memory=7596840766499809110 CPUtime=1.41 cores=0-7
/proc/9915/task/9924/stat : 9924 (java) S 9913 9913 8552 0 -1 1077944384 1283 0 0 0 95 46 0 0 20 0 28 0 420180453 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299962141328 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9925] ppid=9913 vsize=28766280 memory=279332325853872 CPUtime=0.06 cores=0-7
/proc/9915/task/9925/stat : 9925 (java) S 9913 9913 8552 0 -1 1077944384 2174 0 0 0 5 1 0 0 20 0 28 0 420180454 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299333523952 140300016900738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9926] ppid=9913 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9926/stat : 9926 (java) S 9913 9913 8552 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 420180455 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299332470240 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9927] ppid=9913 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9927/stat : 9927 (java) S 9913 9913 8552 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 420180455 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299331417600 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9928] ppid=9913 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9928/stat : 9928 (java) S 9913 9913 8552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420180457 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299330366160 140300016908187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9929] ppid=9913 vsize=28766280 memory=0 CPUtime=0.77 cores=0-7
/proc/9915/task/9929/stat : 9929 (java) S 9913 9913 8552 0 -1 1077944384 3334 0 0 0 76 1 0 0 20 0 28 0 420180457 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299329312752 140300016900738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9930] ppid=9913 vsize=28766280 memory=0 CPUtime=0.93 cores=0-7
/proc/9915/task/9930/stat : 9930 (java) S 9913 9913 8552 0 -1 1077944384 3192 0 0 0 93 0 0 0 20 0 28 0 420180457 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299328260208 140300016900738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9931] ppid=9913 vsize=28766280 memory=0 CPUtime=0.84 cores=0-7
/proc/9915/task/9931/stat : 9931 (java) S 9913 9913 8552 0 -1 1077944384 2799 0 0 0 84 0 0 0 20 0 28 0 420180457 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299327207664 140300016900738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9932] ppid=9913 vsize=28766280 memory=0 CPUtime=0.51 cores=0-7
/proc/9915/task/9932/stat : 9932 (java) S 9913 9913 8552 0 -1 1077944384 3227 0 0 0 51 0 0 0 20 0 28 0 420180457 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299326155120 140300016900738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9933] ppid=9913 vsize=28766280 memory=279332324904816 CPUtime=0 cores=0-7
/proc/9915/task/9933/stat : 9933 (java) S 9913 9913 8552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420180457 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299325102816 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9934] ppid=9913 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/9915/task/9934/stat : 9934 (java) S 9913 9913 8552 0 -1 1077944384 646 0 0 0 0 0 0 0 20 0 28 0 420180458 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299324050352 140300016900738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9935] ppid=9913 vsize=28766280 memory=0 CPUtime=4.73 cores=0-7
/proc/9915/task/9935/stat : 9935 (java) S 9913 9913 8552 0 -1 1077944384 308 0 0 0 471 2 0 0 20 0 28 0 420180760 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299315081280 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9936] ppid=9913 vsize=28766280 memory=0 CPUtime=5.22 cores=0-7
/proc/9915/task/9936/stat : 9936 (java) S 9913 9913 8552 0 -1 1077944384 214 0 0 0 522 0 0 0 20 0 28 0 420180760 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299314030160 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9937] ppid=9913 vsize=28766280 memory=0 CPUtime=5.28 cores=0-7
/proc/9915/task/9937/stat : 9937 (java) S 9913 9913 8552 0 -1 1077944384 358 0 0 0 528 0 0 0 20 0 28 0 420180760 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299312976592 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9938] ppid=9913 vsize=28766280 memory=0 CPUtime=4.74 cores=0-7
/proc/9915/task/9938/stat : 9938 (java) S 9913 9913 8552 0 -1 1077944384 1076 0 0 0 474 0 0 0 20 0 28 0 420180760 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299311924048 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9939] ppid=9913 vsize=28766280 memory=0 CPUtime=5.38 cores=0-7
/proc/9915/task/9939/stat : 9939 (java) R 9913 9913 8552 0 -1 4202560 331 0 0 0 537 1 0 0 20 0 28 0 420180760 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299310866032 140299626065040 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9940] ppid=9913 vsize=28766280 memory=0 CPUtime=5.26 cores=0-7
/proc/9915/task/9940/stat : 9940 (java) S 9913 9913 8552 0 -1 1077944384 1565 0 0 0 524 2 0 0 20 0 28 0 420180760 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299309818960 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9941] ppid=9913 vsize=28766280 memory=0 CPUtime=5.37 cores=0-7
/proc/9915/task/9941/stat : 9941 (java) R 9913 9913 8552 0 -1 4202560 170 0 0 0 537 0 0 0 20 0 28 0 420180760 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299308760944 140299626065001 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
[pid=9915/tid=9942] ppid=9913 vsize=28766280 memory=139666162619552 CPUtime=5.38 cores=0-7
/proc/9915/task/9942/stat : 9942 (java) S 9913 9913 8552 0 -1 1077944384 231 0 0 0 538 0 0 0 20 0 28 0 420180760 29456670720 498761 33554432000 4194304 4196468 140726066955488 140299307713872 140300016899797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15929344 140726066963434 140726066963606 140726066963606 140726066966479 0
Current children cumulated CPU time: 57.52 s
Current children cumulated vsize: 28879408 KiB
Current children cumulated memory: 1996496 KiB

Child status: 0
Real time (s): 8.64709
CPU time (s): 57.5925
CPU user time (s): 53.6471
CPU system time (s): 3.94533
CPU usage (%): 666.033
Max. virtual memory (cumulated for all children) (KiB): 28879408
Max. memory (cumulated for all children) (KiB): 1996496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.6471
system time used= 3.94533
maximum resident set size= 1995504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43395
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4300
involuntary context switches= 812


# summary of solver processes directly reported to runsolver:
#   pid: 9913
#   total CPU time (s): 57.5925
#   total CPU user time (s): 53.6471
#   total CPU system time (s): 3.94533

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.101308 second user time and 0.132898 second system time

The end

Launcher Data

Begin job on node132 at 2019-09-14 08:28:48
IDJOB=4393560
IDBENCH=138763
IDSOLVER=2841
FILE ID=node132/4393560-1568442577
RUNJOBID= node132-1568438679-8579
PBS_JOBID= 21702326
Free space on /tmp= 61624 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/Hanoi/Hanoi-m1-s1/Hanoi-07.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-4393560-1568442577/watcher-4393560-1568442577 -o /tmp/evaluation-result-4393560-1568442577/solver-4393560-1568442577 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1568438679-8579 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 738813736 HOME/instance-4393560-1568442577.xml

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

MD5SUM BENCH= 7f68b5f256bf6bd8019eb0158af88fa3
RANDOM SEED=738813736

node132.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.95
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.95
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.95
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.95
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:        31618708 kB
MemAvailable:   31914556 kB
Buffers:           73984 kB
Cached:           500808 kB
SwapCached:         6276 kB
Active:           410912 kB
Inactive:         172444 kB
Active(anon):       4856 kB
Inactive(anon):    31656 kB
Active(file):     406056 kB
Inactive(file):   140788 kB
Unevictable:      109404 kB
Mlocked:          109404 kB
SwapTotal:      67108860 kB
SwapFree:       67009756 kB
Dirty:             25772 kB
Writeback:             0 kB
AnonPages:        112396 kB
Mapped:            31796 kB
Shmem:             19604 kB
Slab:             158484 kB
SReclaimable:     129680 kB
SUnreclaim:        28804 kB
KernelStack:        3440 kB
PageTables:         6424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     475640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61596 MiB
End job on node132 at 2019-09-14 08:28:57