Trace number 4280701

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 4.0.5 par (2017-08-18)SAT 38.610901 5.7886801

General information on the benchmark

NameCostasArray/CostasArray-m1-s1/
CostasArray-16.xml
MD5SUM77b4627333bb7848badb46745d4d3b00
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 benchmark1.91223
Satisfiable
(Un)Satisfiability was proved
Number of variables133
Number of constraints132
Number of domains2
Minimum domain size16
Maximum domain size30
Distribution of domain sizes[{"size":16,"count":16},{"size":30,"count":117}]
Minimum variable degree2
Maximum variable degree16
Distribution of variable degrees[{"degree":2,"count":117},{"degree":15,"count":2},{"degree":16,"count":14}]
Minimum constraint arity3
Maximum constraint arity16
Distribution of constraint arities[{"arity":3,"count":118},{"arity":4,"count":2},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1}]
Number of extensional constraints0
Number of intensional constraints118
Distribution of constraint types[{"type":"intension","count":118},{"type":"allDifferent","count":14}]
Optimization problemNO
Type of objective

Solver Data

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280701-1503119289.xml"  -tl '20160s' -p 8 -x 0
0.10/0.14	c [HOME/instance-4280701-1503119289.xml, -tl, 20160s, -p, 8, -x, 0]
0.10/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
2.64/1.22	c solve instance...
38.11/5.77	s SATISFIABLE
38.11/5.77	v <instantiation>
38.11/5.77	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] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38] y[39] y[40] y[41] y[42] y[43] y[44] y[45] y[46] y[47] y[48] y[49] y[50] y[51] y[52] y[53] y[54] y[55] y[56] y[57] y[58] y[59] y[60] y[61] y[62] y[63] y[64] y[65] y[66] y[67] y[68] y[69] y[70] y[71] y[72] y[73] y[74] y[75] y[76] y[77] y[78] y[79] y[80] y[81] y[82] y[83] y[84] y[85] y[86] y[87] y[88] y[89] y[90] y[91] y[92] y[93] y[94] y[95] y[96] y[97] y[98] y[99] y[100] y[101] y[102] y[103] y[104] y[105] y[106] y[107] y[108] y[109] y[110] y[111] y[112] y[113] y[114] y[115] y[116] </list>
38.11/5.77	v 	<values>7 6 4 13 9 14 11 3 15 2 10 12 16 5 8 1 1 2 -9 4 -5 3 8 -12 13 -8 -2 -4 11 -3 7 3 -7 -5 -1 -2 11 -4 1 5 -10 -6 7 8 4 -6 -3 -10 2 6 -1 9 -7 3 -14 5 4 15 -2 -8 -7 10 -6 12 1 -9 -1 -3 2 11 -7 -5 1 -2 7 4 -1 -13 10 -6 9 -4 3 -11 11 -1 2 -5 -2 7 1 4 -9 2 3 -3 -2 6 -5 14 -8 4 -6 1 -7 9 3 2 5 -4 -8 -3 4 6 10 -3 -6 -12 8 1 13 -5 -10 -1 5 8 -9 1 -4 12 2 -2 3 </values>
38.11/5.77	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 (12715 MiB free)
  memory of node 1: 16384 MiB (13856 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280701-1503119289/watcher-4280701-1503119289 -o /tmp/evaluation-result-4280701-1503119289/solver-4280701-1503119289 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503110856-22369 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 518968695 HOME/instance-4280701-1503119289.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=1136, runsolver pid=1133

[startup+0.100142 s]*
/proc/loadavg: 8.19 8.23 8.24 2/200 1157
/proc/meminfo: memFree=27194096/32770624 swapFree=67108860/67108860
[pid=1136] ppid=1133 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1136/stat : 1136 (xcsp3-exec) S 1133 1136 22342 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145016444 9740288 346 33554432000 4194304 5098028 140735329035312 140735329033416 140151101719164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14237696 140735329039461 140735329039671 140735329039671 140735329042411 0
/proc/1136/statm: 2378 346 289 221 0 87 0
[pid=1138] ppid=1136 vsize=25999808 memory=26200 CPUtime=0.1 cores=0-7
/proc/1138/stat : 1138 (java) S 1136 1136 22342 0 -1 1077944320 5464 0 0 0 9 1 0 0 20 0 20 0 145016445 26623803392 6550 33554432000 4194304 4196468 140726884093440 140726884075984 140529318608631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
/proc/1138/statm: 6499952 6550 2849 1 0 6488269 0
[pid=1138/tid=1139] ppid=1136 vsize=25999808 memory=6935054825532540783 CPUtime=0.09 cores=0-7
/proc/1138/task/1139/stat : 1139 (java) R 1136 1136 22342 0 -1 4202560 3492 0 0 0 8 1 0 0 20 0 20 0 145016445 26623803392 6550 33554432000 4194304 4196468 140726884093440 140529322832432 140529318620566 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1140] ppid=1136 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1138/task/1140/stat : 1140 (java) S 1136 1136 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145016446 26623803392 6550 33554432000 4194304 4196468 140726884093440 140529271229328 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1141] ppid=1136 vsize=25999808 memory=140492886193792 CPUtime=0 cores=0-7
/proc/1138/task/1141/stat : 1141 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26623803392 6550 33554432000 4194304 4196468 140726884093440 140529270176528 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1142] ppid=1136 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1142/stat : 1142 (java) S 1136 1136 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145016446 26623803392 6550 33554432000 4194304 4196468 140726884093440 140529269124240 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1143] ppid=1136 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1143/stat : 1143 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26623803392 6550 33554432000 4194304 4196468 140726884093440 140529268071440 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1144] ppid=1136 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1144/stat : 1144 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26623803392 6550 33554432000 4194304 4196468 140726884093440 140529267018128 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1145] ppid=1136 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/1138/task/1145/stat : 1145 (java) S 1136 1136 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145016446 26623803392 6550 33554432000 4194304 4196468 140726884093440 140529265965328 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1146] ppid=1136 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1146/stat : 1146 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26623803392 6550 33554432000 4194304 4196468 140726884093440 140529264913040 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1147] ppid=1136 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1147/stat : 1147 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26623803392 6550 33554432000 4194304 4196468 140726884093440 140529263860240 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1148] ppid=1136 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1148/stat : 1148 (java) S 1136 1136 22342 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 145016447 26623803392 6550 33554432000 4194304 4196468 140726884093440 140528714455664 140529318619778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1149] ppid=1136 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1149/stat : 1149 (java) S 1136 1136 22342 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145016448 26623803392 6550 33554432000 4194304 4196468 140726884093440 140528377128224 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1150] ppid=1136 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1150/stat : 1150 (java) S 1136 1136 22342 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145016448 26623803392 6550 33554432000 4194304 4196468 140726884093440 140528376075888 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1151] ppid=1136 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1151/stat : 1151 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016450 26623803392 6550 33554432000 4194304 4196468 140726884093440 140528375024208 140529318627227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1152] ppid=1136 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1152/stat : 1152 (java) S 1136 1136 22342 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 145016450 26623803392 6550 33554432000 4194304 4196468 140726884093440 140528373971056 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1153] ppid=1136 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1153/stat : 1153 (java) S 1136 1136 22342 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 145016450 26623803392 6550 33554432000 4194304 4196468 140726884093440 140528372918256 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1154] ppid=1136 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1154/stat : 1154 (java) S 1136 1136 22342 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145016450 26623803392 6550 33554432000 4194304 4196468 140726884093440 140528371865968 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1155] ppid=1136 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/1138/task/1155/stat : 1155 (java) S 1136 1136 22342 0 -1 1077944384 240 0 0 0 1 0 0 0 20 0 20 0 145016450 26623803392 6550 33554432000 4194304 4196468 140726884093440 140528370813168 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1156] ppid=1136 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1156/stat : 1156 (java) S 1136 1136 22342 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145016451 26623803392 6550 33554432000 4194304 4196468 140726884093440 140528369761120 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1157] ppid=1136 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/1138/task/1157/stat : 1157 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016451 26623803392 6550 33554432000 4194304 4196468 140726884093440 140528368708400 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27584 KiB

[startup+0.210453 s]*
/proc/loadavg: 8.19 8.23 8.24 3/200 1157
/proc/meminfo: memFree=27182204/32770624 swapFree=67108860/67108860
[pid=1136] ppid=1133 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1136/stat : 1136 (xcsp3-exec) S 1133 1136 22342 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145016444 9740288 346 33554432000 4194304 5098028 140735329035312 140735329033416 140151101719164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14237696 140735329039461 140735329039671 140735329039671 140735329042411 0
/proc/1136/statm: 2378 346 289 221 0 87 0
[pid=1138] ppid=1136 vsize=26004064 memory=39148 CPUtime=0.33 cores=0-7
/proc/1138/stat : 1138 (java) S 1136 1136 22342 0 -1 1077944320 8332 0 0 0 30 3 0 0 20 0 20 0 145016445 26628161536 9787 33554432000 4194304 4196468 140726884093440 140726884075984 140529318608631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
/proc/1138/statm: 6501016 9787 3070 1 0 6488269 0
[pid=1138/tid=1139] ppid=1136 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/1138/task/1139/stat : 1139 (java) R 1136 1136 22342 0 -1 4202560 5406 0 0 0 18 1 0 0 20 0 20 0 145016445 26628161536 9787 33554432000 4194304 4196468 140726884093440 140529322822640 140529318630557 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1140] ppid=1136 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/1138/task/1140/stat : 1140 (java) S 1136 1136 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 9787 33554432000 4194304 4196468 140726884093440 140529271229328 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1141] ppid=1136 vsize=26004064 memory=288370869037905536 CPUtime=0 cores=0-7
/proc/1138/task/1141/stat : 1141 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 9787 33554432000 4194304 4196468 140726884093440 140529270176528 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1142] ppid=1136 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1138/task/1142/stat : 1142 (java) S 1136 1136 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 9787 33554432000 4194304 4196468 140726884093440 140529269124240 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1143] ppid=1136 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1143/stat : 1143 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 9787 33554432000 4194304 4196468 140726884093440 140529268071440 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1144] ppid=1136 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1144/stat : 1144 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 9787 33554432000 4194304 4196468 140726884093440 140529267018128 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1145] ppid=1136 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1138/task/1145/stat : 1145 (java) S 1136 1136 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 9787 33554432000 4194304 4196468 140726884093440 140529265965328 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1146] ppid=1136 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1146/stat : 1146 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 9787 33554432000 4194304 4196468 140726884093440 140529264913040 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1147] ppid=1136 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1147/stat : 1147 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 9787 33554432000 4194304 4196468 140726884093440 140529263860240 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1148] ppid=1136 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1148/stat : 1148 (java) S 1136 1136 22342 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 145016447 26628161536 9787 33554432000 4194304 4196468 140726884093440 140528714455664 140529318619778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1149] ppid=1136 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1149/stat : 1149 (java) S 1136 1136 22342 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145016448 26628161536 9787 33554432000 4194304 4196468 140726884093440 140528377128224 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1150] ppid=1136 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1150/stat : 1150 (java) S 1136 1136 22342 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145016448 26628161536 9787 33554432000 4194304 4196468 140726884093440 140528376075888 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1151] ppid=1136 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1151/stat : 1151 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016450 26628161536 9787 33554432000 4194304 4196468 140726884093440 140528375024208 140529318627227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1152] ppid=1136 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/1138/task/1152/stat : 1152 (java) S 1136 1136 22342 0 -1 1077944384 508 0 0 0 1 0 0 0 20 0 20 0 145016450 26628161536 9787 33554432000 4194304 4196468 140726884093440 140528373971056 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1153] ppid=1136 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/1138/task/1153/stat : 1153 (java) S 1136 1136 22342 0 -1 1077944384 331 0 0 0 2 0 0 0 20 0 20 0 145016450 26628161536 9787 33554432000 4194304 4196468 140726884093440 140528372918256 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1154] ppid=1136 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1138/task/1154/stat : 1154 (java) S 1136 1136 22342 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 145016450 26628161536 9787 33554432000 4194304 4196468 140726884093440 140528371865968 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1155] ppid=1136 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/1138/task/1155/stat : 1155 (java) R 1136 1136 22342 0 -1 4202560 742 0 0 0 7 0 0 0 20 0 20 0 145016450 26628161536 9787 33554432000 4194304 4196468 140726884093440 140528370813168 140529297625392 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1156] ppid=1136 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1156/stat : 1156 (java) S 1136 1136 22342 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145016451 26628161536 9787 33554432000 4194304 4196468 140726884093440 140528369761120 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1157] ppid=1136 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1138/task/1157/stat : 1157 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016451 26628161536 9787 33554432000 4194304 4196468 140726884093440 140528368708400 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40532 KiB

[startup+0.310282 s]*
/proc/loadavg: 8.19 8.23 8.24 3/200 1157
/proc/meminfo: memFree=27176000/32770624 swapFree=67108860/67108860
[pid=1136] ppid=1133 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1136/stat : 1136 (xcsp3-exec) S 1133 1136 22342 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145016444 9740288 346 33554432000 4194304 5098028 140735329035312 140735329033416 140151101719164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14237696 140735329039461 140735329039671 140735329039671 140735329042411 0
/proc/1136/statm: 2378 346 289 221 0 87 0
[pid=1138] ppid=1136 vsize=26004064 memory=46368 CPUtime=0.5 cores=0-7
/proc/1138/stat : 1138 (java) S 1136 1136 22342 0 -1 1077944320 9258 0 0 0 46 4 0 0 20 0 20 0 145016445 26628161536 11592 33554432000 4194304 4196468 140726884093440 140726884075984 140529318608631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
/proc/1138/statm: 6501016 11592 3110 1 0 6488269 0
[pid=1138/tid=1139] ppid=1136 vsize=26004064 memory=6935054825532540783 CPUtime=0.29 cores=0-7
/proc/1138/task/1139/stat : 1139 (java) R 1136 1136 22342 0 -1 4202560 6141 0 0 0 27 2 0 0 20 0 20 0 145016445 26628161536 11656 33554432000 4194304 4196468 140726884093440 140529322841056 140529302689118 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1140] ppid=1136 vsize=26004064 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1138/task/1140/stat : 1140 (java) S 1136 1136 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 11656 33554432000 4194304 4196468 140726884093440 140529271229328 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1141] ppid=1136 vsize=26004064 memory=8656 CPUtime=0 cores=0-7
/proc/1138/task/1141/stat : 1141 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 11656 33554432000 4194304 4196468 140726884093440 140529270176528 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1142] ppid=1136 vsize=26004064 memory=5784 CPUtime=0 cores=0-7
/proc/1138/task/1142/stat : 1142 (java) S 1136 1136 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 11656 33554432000 4194304 4196468 140726884093440 140529269124240 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1143] ppid=1136 vsize=26004064 memory=4616 CPUtime=0 cores=0-7
/proc/1138/task/1143/stat : 1143 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 11656 33554432000 4194304 4196468 140726884093440 140529268071440 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1144] ppid=1136 vsize=26004064 memory=1228 CPUtime=0 cores=0-7
/proc/1138/task/1144/stat : 1144 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 11656 33554432000 4194304 4196468 140726884093440 140529267018128 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1145] ppid=1136 vsize=26004064 memory=11108 CPUtime=0 cores=0-7
/proc/1138/task/1145/stat : 1145 (java) S 1136 1136 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 11656 33554432000 4194304 4196468 140726884093440 140529265965328 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1146] ppid=1136 vsize=26004064 memory=796 CPUtime=0 cores=0-7
/proc/1138/task/1146/stat : 1146 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 11656 33554432000 4194304 4196468 140726884093440 140529264913040 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1147] ppid=1136 vsize=26004064 memory=1424 CPUtime=0 cores=0-7
/proc/1138/task/1147/stat : 1147 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26628161536 11656 33554432000 4194304 4196468 140726884093440 140529263860240 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1148] ppid=1136 vsize=26004064 memory=15876 CPUtime=0 cores=0-7
/proc/1138/task/1148/stat : 1148 (java) S 1136 1136 22342 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 145016447 26628161536 11656 33554432000 4194304 4196468 140726884093440 140528714455664 140529318619778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1149] ppid=1136 vsize=26004064 memory=4052 CPUtime=0 cores=0-7
/proc/1138/task/1149/stat : 1149 (java) S 1136 1136 22342 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145016448 26628161536 11656 33554432000 4194304 4196468 140726884093440 140528377128224 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1150] ppid=1136 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1150/stat : 1150 (java) S 1136 1136 22342 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145016448 26628161536 11656 33554432000 4194304 4196468 140726884093440 140528376075888 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1151] ppid=1136 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1151/stat : 1151 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016450 26628161536 11656 33554432000 4194304 4196468 140726884093440 140528375024208 140529318627227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1152] ppid=1136 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/1138/task/1152/stat : 1152 (java) R 1136 1136 22342 0 -1 4202560 543 0 0 0 1 0 0 0 20 0 20 0 145016450 26628161536 11656 33554432000 4194304 4196468 140726884093440 140528373961440 140529300018639 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1153] ppid=1136 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/1138/task/1153/stat : 1153 (java) S 1136 1136 22342 0 -1 1077944384 341 0 0 0 2 0 0 0 20 0 20 0 145016450 26628161536 11656 33554432000 4194304 4196468 140726884093440 140528372918256 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1154] ppid=1136 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/1138/task/1154/stat : 1154 (java) S 1136 1136 22342 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 20 0 145016450 26628161536 11656 33554432000 4194304 4196468 140726884093440 140528371865968 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1155] ppid=1136 vsize=26004064 memory=140492742428143 CPUtime=0.12 cores=0-7
/proc/1138/task/1155/stat : 1155 (java) S 1136 1136 22342 0 -1 1077944384 872 0 0 0 12 0 0 0 20 0 20 0 145016450 26628161536 11656 33554432000 4194304 4196468 140726884093440 140528370813168 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1156] ppid=1136 vsize=26004064 memory=140492742456180 CPUtime=0 cores=0-7
/proc/1138/task/1156/stat : 1156 (java) S 1136 1136 22342 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145016451 26628161536 11656 33554432000 4194304 4196468 140726884093440 140528369761120 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1157] ppid=1136 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1138/task/1157/stat : 1157 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016451 26628161536 11656 33554432000 4194304 4196468 140726884093440 140528368708400 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47752 KiB

[startup+0.700977 s]
/proc/loadavg: 8.19 8.23 8.24 5/200 1157
/proc/meminfo: memFree=27156912/32770624 swapFree=67108860/67108860
[pid=1136] ppid=1133 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1136/stat : 1136 (xcsp3-exec) S 1133 1136 22342 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145016444 9740288 346 33554432000 4194304 5098028 140735329035312 140735329033416 140151101719164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14237696 140735329039461 140735329039671 140735329039671 140735329042411 0
/proc/1136/statm: 2378 346 289 221 0 87 0
[pid=1138] ppid=1136 vsize=26006188 memory=131568 CPUtime=1.42 cores=0-7
/proc/1138/stat : 1138 (java) S 1136 1136 22342 0 -1 1077944320 11767 0 0 0 136 6 0 0 20 0 20 0 145016445 26630336512 32892 33554432000 4194304 4196468 140726884093440 140726884075984 140529318608631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
/proc/1138/statm: 6501547 32892 3203 1 0 6488781 0
[pid=1138/tid=1139] ppid=1136 vsize=26006188 memory=280985484910912 CPUtime=0.67 cores=0-7
/proc/1138/task/1139/stat : 1139 (java) R 1136 1136 22342 0 -1 4202560 6839 0 0 0 63 4 0 0 20 0 20 0 145016445 26630336512 32892 33554432000 4194304 4196468 140726884093440 140529322846784 140528934593211 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1140] ppid=1136 vsize=26006188 memory=140492742632304 CPUtime=0 cores=0-7
/proc/1138/task/1140/stat : 1140 (java) S 1136 1136 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145016446 26630336512 32892 33554432000 4194304 4196468 140726884093440 140529271229328 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1141] ppid=1136 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1141/stat : 1141 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145016446 26630336512 32892 33554432000 4194304 4196468 140726884093440 140529270176528 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1142] ppid=1136 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1142/stat : 1142 (java) S 1136 1136 22342 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145016446 26630336512 32892 33554432000 4194304 4196468 140726884093440 140529269124240 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0

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

[pid=1138/tid=1155] ppid=1136 vsize=26538700 memory=0 CPUtime=0.71 cores=0-7
/proc/1138/task/1155/stat : 1155 (java) S 1136 1136 22342 0 -1 1077944384 2839 0 0 0 70 1 0 0 20 0 28 0 145016450 27175628800 94407 33554432000 4194304 4196468 140726884093440 140528370813168 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1156] ppid=1136 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1156/stat : 1156 (java) S 1136 1136 22342 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145016451 27175628800 94407 33554432000 4194304 4196468 140726884093440 140528369761120 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1157] ppid=1136 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1157/stat : 1157 (java) S 1136 1136 22342 0 -1 1077944384 505 0 0 0 0 0 0 0 20 0 28 0 145016451 27175628800 94407 33554432000 4194304 4196468 140726884093440 140528368708400 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1158] ppid=1136 vsize=26538700 memory=0 CPUtime=3.56 cores=0-7
/proc/1138/task/1158/stat : 1158 (java) R 1136 1136 22342 0 -1 4202560 151 0 0 0 356 0 0 0 20 0 28 0 145016568 27175628800 94407 33554432000 4194304 4196468 140726884093440 140528361192752 140528938235388 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1159] ppid=1136 vsize=26538700 memory=-4061837134419248030 CPUtime=3.45 cores=0-7
/proc/1138/task/1159/stat : 1159 (java) R 1136 1136 22342 0 -1 4202560 96 0 0 0 345 0 0 0 20 0 28 0 145016568 27175628800 94407 33554432000 4194304 4196468 140726884093440 140528360141896 140528937527709 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1160] ppid=1136 vsize=26538700 memory=7679373425970869011 CPUtime=3.35 cores=0-7
/proc/1138/task/1160/stat : 1160 (java) R 1136 1136 22342 0 -1 4202560 421 0 0 0 333 2 0 0 20 0 28 0 145016568 27175628800 94407 33554432000 4194304 4196468 140726884093440 140528359090888 140528937527605 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1161] ppid=1136 vsize=26538700 memory=-3975649505123405620 CPUtime=3.29 cores=0-7
/proc/1138/task/1161/stat : 1161 (java) R 1136 1136 22342 0 -1 4202560 213 0 0 0 329 0 0 0 20 0 28 0 145016568 27175628800 94407 33554432000 4194304 4196468 140726884093440 140528358034536 140528937527591 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1162] ppid=1136 vsize=26538700 memory=-7966001967441022560 CPUtime=3.51 cores=0-7
/proc/1138/task/1162/stat : 1162 (java) R 1136 1136 22342 0 -1 4202560 118 0 0 0 351 0 0 0 20 0 28 0 145016568 27175628800 94407 33554432000 4194304 4196468 140726884093440 140528356982984 140528936651400 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1163] ppid=1136 vsize=26538700 memory=8028674168966910323 CPUtime=3.57 cores=0-7
/proc/1138/task/1163/stat : 1163 (java) R 1136 1136 22342 0 -1 4202560 288 0 0 0 356 1 0 0 20 0 28 0 145016568 27175628800 94407 33554432000 4194304 4196468 140726884093440 140528355929760 140528937197858 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1164] ppid=1136 vsize=26538700 memory=-7595718148000617580 CPUtime=3.4 cores=0-7
/proc/1138/task/1164/stat : 1164 (java) R 1136 1136 22342 0 -1 4202560 106 0 0 0 340 0 0 0 20 0 28 0 145016568 27175628800 94407 33554432000 4194304 4196468 140726884093440 140528354877728 140528936652355 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1165] ppid=1136 vsize=26538700 memory=-3195349257566499689 CPUtime=3.44 cores=0-7
/proc/1138/task/1165/stat : 1165 (java) R 1136 1136 22342 0 -1 4202560 81 0 0 0 344 0 0 0 20 0 28 0 145016568 27175628800 94407 33554432000 4194304 4196468 140726884093440 140528353824888 140528937814448 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
Current children cumulated CPU time: 34.06 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 379012 KiB

[startup+5.60121 s]
/proc/loadavg: 7.78 8.14 8.21 9/208 1165
/proc/meminfo: memFree=26844232/32770624 swapFree=67108860/67108860
[pid=1136] ppid=1133 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1136/stat : 1136 (xcsp3-exec) S 1133 1136 22342 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145016444 9740288 346 33554432000 4194304 5098028 140735329035312 140735329033416 140151101719164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14237696 140735329039461 140735329039671 140735329039671 140735329042411 0
/proc/1136/statm: 2378 346 289 221 0 87 0
[pid=1138] ppid=1136 vsize=26538700 memory=377652 CPUtime=37.26 cores=0-7
/proc/1138/stat : 1138 (java) S 1136 1136 22342 0 -1 1077944320 24230 0 0 0 3697 29 0 0 20 0 28 0 145016445 27175628800 94413 33554432000 4194304 4196468 140726884093440 140726884075984 140529318608631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
/proc/1138/statm: 6634675 94413 3273 1 0 6621909 0
[pid=1138/tid=1139] ppid=1136 vsize=26538700 memory=145371758070012 CPUtime=1.17 cores=0-7
/proc/1138/task/1139/stat : 1139 (java) S 1136 1136 22342 0 -1 1077944384 6963 0 0 0 113 4 0 0 20 0 28 0 145016445 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529322849408 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1140] ppid=1136 vsize=26538700 memory=8112282956445269571 CPUtime=0.03 cores=0-7
/proc/1138/task/1140/stat : 1140 (java) S 1136 1136 22342 0 -1 1077944384 62 0 0 0 2 1 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529271229328 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1141] ppid=1136 vsize=26538700 memory=7234285590481693801 CPUtime=0.03 cores=0-7
/proc/1138/task/1141/stat : 1141 (java) S 1136 1136 22342 0 -1 1077944384 53 0 0 0 2 1 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529270176528 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1142] ppid=1136 vsize=26538700 memory=7013346442758874224 CPUtime=0.03 cores=0-7
/proc/1138/task/1142/stat : 1142 (java) S 1136 1136 22342 0 -1 1077944384 68 0 0 0 2 1 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529269124240 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1143] ppid=1136 vsize=26538700 memory=5792262853193912400 CPUtime=0.04 cores=0-7
/proc/1138/task/1143/stat : 1143 (java) S 1136 1136 22342 0 -1 1077944384 956 0 0 0 2 2 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529268071440 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1144] ppid=1136 vsize=26538700 memory=7019467087956685105 CPUtime=0.03 cores=0-7
/proc/1138/task/1144/stat : 1144 (java) S 1136 1136 22342 0 -1 1077944384 84 0 0 0 2 1 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529267018128 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1145] ppid=1136 vsize=26538700 memory=0 CPUtime=0.03 cores=0-7
/proc/1138/task/1145/stat : 1145 (java) S 1136 1136 22342 0 -1 1077944384 64 0 0 0 1 2 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529265965328 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1146] ppid=1136 vsize=26538700 memory=12356 CPUtime=0.03 cores=0-7
/proc/1138/task/1146/stat : 1146 (java) S 1136 1136 22342 0 -1 1077944384 83 0 0 0 2 1 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529264913040 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1147] ppid=1136 vsize=26538700 memory=8656 CPUtime=0.03 cores=0-7
/proc/1138/task/1147/stat : 1147 (java) S 1136 1136 22342 0 -1 1077944384 193 0 0 0 2 1 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529263860240 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1148] ppid=1136 vsize=26538700 memory=5784 CPUtime=0 cores=0-7
/proc/1138/task/1148/stat : 1148 (java) S 1136 1136 22342 0 -1 1077944384 700 0 0 0 0 0 0 0 20 0 28 0 145016447 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528714455664 140529318619778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1149] ppid=1136 vsize=26538700 memory=4616 CPUtime=0 cores=0-7
/proc/1138/task/1149/stat : 1149 (java) S 1136 1136 22342 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 145016448 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528377128288 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1150] ppid=1136 vsize=26538700 memory=1228 CPUtime=0 cores=0-7
/proc/1138/task/1150/stat : 1150 (java) S 1136 1136 22342 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 145016448 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528376075904 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1151] ppid=1136 vsize=26538700 memory=11108 CPUtime=0 cores=0-7
/proc/1138/task/1151/stat : 1151 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145016450 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528375024208 140529318627227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1152] ppid=1136 vsize=26538700 memory=796 CPUtime=1.39 cores=0-7
/proc/1138/task/1152/stat : 1152 (java) S 1136 1136 22342 0 -1 1077944384 3610 0 0 0 138 1 0 0 20 0 28 0 145016450 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528373971056 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1153] ppid=1136 vsize=26538700 memory=1424 CPUtime=1.44 cores=0-7
/proc/1138/task/1153/stat : 1153 (java) S 1136 1136 22342 0 -1 1077944384 2442 0 0 0 144 0 0 0 20 0 28 0 145016450 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528372918256 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1154] ppid=1136 vsize=26538700 memory=15876 CPUtime=1.37 cores=0-7
/proc/1138/task/1154/stat : 1154 (java) S 1136 1136 22342 0 -1 1077944384 2745 0 0 0 136 1 0 0 20 0 28 0 145016450 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528371865968 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1155] ppid=1136 vsize=26538700 memory=4052 CPUtime=0.71 cores=0-7
/proc/1138/task/1155/stat : 1155 (java) S 1136 1136 22342 0 -1 1077944384 2878 0 0 0 70 1 0 0 20 0 28 0 145016450 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528370813168 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1156] ppid=1136 vsize=26538700 memory=23292 CPUtime=0 cores=0-7
/proc/1138/task/1156/stat : 1156 (java) S 1136 1136 22342 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145016451 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528369761120 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1157] ppid=1136 vsize=26538700 memory=18444 CPUtime=0 cores=0-7
/proc/1138/task/1157/stat : 1157 (java) S 1136 1136 22342 0 -1 1077944384 505 0 0 0 0 0 0 0 20 0 28 0 145016451 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528368708400 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1158] ppid=1136 vsize=26538700 memory=1788 CPUtime=3.96 cores=0-7
/proc/1138/task/1158/stat : 1158 (java) R 1136 1136 22342 0 -1 4202560 151 0 0 0 396 0 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528361192888 140528936651939 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1159] ppid=1136 vsize=26538700 memory=640 CPUtime=3.79 cores=0-7
/proc/1138/task/1159/stat : 1159 (java) R 1136 1136 22342 0 -1 4202560 96 0 0 0 379 0 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528360141896 140528937196621 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1160] ppid=1136 vsize=26538700 memory=952 CPUtime=3.75 cores=0-7
/proc/1138/task/1160/stat : 1160 (java) R 1136 1136 22342 0 -1 4202560 431 0 0 0 373 2 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528359087528 140528937194603 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1161] ppid=1136 vsize=26538700 memory=1152 CPUtime=3.69 cores=0-7
/proc/1138/task/1161/stat : 1161 (java) R 1136 1136 22342 0 -1 4202560 215 0 0 0 369 0 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528358034536 140528937196934 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1162] ppid=1136 vsize=26538700 memory=2672 CPUtime=3.91 cores=0-7
/proc/1138/task/1162/stat : 1162 (java) R 1136 1136 22342 0 -1 4202560 120 0 0 0 391 0 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528356982984 140528937196943 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1163] ppid=1136 vsize=26538700 memory=1384 CPUtime=3.97 cores=0-7
/proc/1138/task/1163/stat : 1163 (java) R 1136 1136 22342 0 -1 4202560 289 0 0 0 396 1 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528355929760 140528937623812 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1164] ppid=1136 vsize=26538700 memory=377624 CPUtime=3.8 cores=0-7
/proc/1138/task/1164/stat : 1164 (java) R 1136 1136 22342 0 -1 4202560 107 0 0 0 380 0 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528354877864 140528937196414 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1165] ppid=1136 vsize=26538700 memory=1236 CPUtime=3.84 cores=0-7
/proc/1138/task/1165/stat : 1165 (java) R 1136 1136 22342 0 -1 4202560 81 0 0 0 384 0 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528353824888 140528937195163 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
Current children cumulated CPU time: 37.26 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 379036 KiB

[startup+5.70922 s]
/proc/loadavg: 7.78 8.14 8.21 9/208 1165
/proc/meminfo: memFree=26844232/32770624 swapFree=67108860/67108860
[pid=1136] ppid=1133 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1136/stat : 1136 (xcsp3-exec) S 1133 1136 22342 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145016444 9740288 346 33554432000 4194304 5098028 140735329035312 140735329033416 140151101719164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14237696 140735329039461 140735329039671 140735329039671 140735329042411 0
/proc/1136/statm: 2378 346 289 221 0 87 0
[pid=1138] ppid=1136 vsize=26538700 memory=377652 CPUtime=38.11 cores=0-7
/proc/1138/stat : 1138 (java) S 1136 1136 22342 0 -1 1077944320 24239 0 0 0 3782 29 0 0 20 0 28 0 145016445 27175628800 94413 33554432000 4194304 4196468 140726884093440 140726884075984 140529318608631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
/proc/1138/statm: 6634675 94413 3273 1 0 6621909 0
[pid=1138/tid=1139] ppid=1136 vsize=26538700 memory=1236 CPUtime=1.17 cores=0-7
/proc/1138/task/1139/stat : 1139 (java) S 1136 1136 22342 0 -1 1077944384 6963 0 0 0 113 4 0 0 20 0 28 0 145016445 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529322849408 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1140] ppid=1136 vsize=26538700 memory=4384 CPUtime=0.03 cores=0-7
/proc/1138/task/1140/stat : 1140 (java) S 1136 1136 22342 0 -1 1077944384 62 0 0 0 2 1 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529271229328 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1141] ppid=1136 vsize=26538700 memory=932 CPUtime=0.03 cores=0-7
/proc/1138/task/1141/stat : 1141 (java) S 1136 1136 22342 0 -1 1077944384 53 0 0 0 2 1 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529270176528 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1142] ppid=1136 vsize=26538700 memory=0 CPUtime=0.03 cores=0-7
/proc/1138/task/1142/stat : 1142 (java) S 1136 1136 22342 0 -1 1077944384 68 0 0 0 2 1 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529269124240 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1143] ppid=1136 vsize=26538700 memory=4128 CPUtime=0.04 cores=0-7
/proc/1138/task/1143/stat : 1143 (java) S 1136 1136 22342 0 -1 1077944384 956 0 0 0 2 2 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529268071440 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1144] ppid=1136 vsize=26538700 memory=145371758070008 CPUtime=0.03 cores=0-7
/proc/1138/task/1144/stat : 1144 (java) S 1136 1136 22342 0 -1 1077944384 84 0 0 0 2 1 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529267018128 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1145] ppid=1136 vsize=26538700 memory=145371758070009 CPUtime=0.03 cores=0-7
/proc/1138/task/1145/stat : 1145 (java) S 1136 1136 22342 0 -1 1077944384 64 0 0 0 1 2 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529265965328 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1146] ppid=1136 vsize=26538700 memory=4132 CPUtime=0.03 cores=0-7
/proc/1138/task/1146/stat : 1146 (java) S 1136 1136 22342 0 -1 1077944384 83 0 0 0 2 1 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529264913040 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1147] ppid=1136 vsize=26538700 memory=40164 CPUtime=0.03 cores=0-7
/proc/1138/task/1147/stat : 1147 (java) S 1136 1136 22342 0 -1 1077944384 193 0 0 0 2 1 0 0 20 0 28 0 145016446 27175628800 94413 33554432000 4194304 4196468 140726884093440 140529263860240 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1148] ppid=1136 vsize=26538700 memory=1296 CPUtime=0 cores=0-7
/proc/1138/task/1148/stat : 1148 (java) S 1136 1136 22342 0 -1 1077944384 701 0 0 0 0 0 0 0 20 0 28 0 145016447 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528714455664 140529318619778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1149] ppid=1136 vsize=26538700 memory=2408 CPUtime=0 cores=0-7
/proc/1138/task/1149/stat : 1149 (java) S 1136 1136 22342 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 145016448 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528377128288 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1150] ppid=1136 vsize=26538700 memory=1728 CPUtime=0 cores=0-7
/proc/1138/task/1150/stat : 1150 (java) S 1136 1136 22342 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 145016448 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528376075904 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1151] ppid=1136 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1151/stat : 1151 (java) S 1136 1136 22342 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145016450 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528375024208 140529318627227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1152] ppid=1136 vsize=26538700 memory=1183 CPUtime=1.39 cores=0-7
/proc/1138/task/1152/stat : 1152 (java) S 1136 1136 22342 0 -1 1077944384 3610 0 0 0 138 1 0 0 20 0 28 0 145016450 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528373971056 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1153] ppid=1136 vsize=26538700 memory=117 CPUtime=1.44 cores=0-7
/proc/1138/task/1153/stat : 1153 (java) S 1136 1136 22342 0 -1 1077944384 2442 0 0 0 144 0 0 0 20 0 28 0 145016450 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528372918256 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1154] ppid=1136 vsize=26538700 memory=1 CPUtime=1.37 cores=0-7
/proc/1138/task/1154/stat : 1154 (java) S 1136 1136 22342 0 -1 1077944384 2745 0 0 0 136 1 0 0 20 0 28 0 145016450 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528371865968 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1155] ppid=1136 vsize=26538700 memory=2 CPUtime=0.71 cores=0-7
/proc/1138/task/1155/stat : 1155 (java) S 1136 1136 22342 0 -1 1077944384 2878 0 0 0 70 1 0 0 20 0 28 0 145016450 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528370813168 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1156] ppid=1136 vsize=26538700 memory=1 CPUtime=0 cores=0-7
/proc/1138/task/1156/stat : 1156 (java) S 1136 1136 22342 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145016451 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528369761120 140529318618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1157] ppid=1136 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/1138/task/1157/stat : 1157 (java) S 1136 1136 22342 0 -1 1077944384 505 0 0 0 0 0 0 0 20 0 28 0 145016451 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528368708400 140529318619778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1158] ppid=1136 vsize=26538700 memory=0 CPUtime=4.06 cores=0-7
/proc/1138/task/1158/stat : 1158 (java) R 1136 1136 22342 0 -1 4202560 151 0 0 0 406 0 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528361192896 140528938938048 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1159] ppid=1136 vsize=26538700 memory=0 CPUtime=3.9 cores=0-7
/proc/1138/task/1159/stat : 1159 (java) R 1136 1136 22342 0 -1 4202560 97 0 0 0 390 0 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528360141760 140528937528214 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1160] ppid=1136 vsize=26538700 memory=0 CPUtime=3.85 cores=0-7
/proc/1138/task/1160/stat : 1160 (java) R 1136 1136 22342 0 -1 4202560 434 0 0 0 383 2 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528359088448 140528937527709 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1161] ppid=1136 vsize=26538700 memory=8112282956445269571 CPUtime=3.8 cores=0-7
/proc/1138/task/1161/stat : 1161 (java) R 1136 1136 22342 0 -1 4202560 216 0 0 0 380 0 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528358035216 140528936651467 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1162] ppid=1136 vsize=26538700 memory=932 CPUtime=4.02 cores=0-7
/proc/1138/task/1162/stat : 1162 (java) R 1136 1136 22342 0 -1 4202560 122 0 0 0 402 0 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528356983360 140528937196825 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1163] ppid=1136 vsize=26538700 memory=1576 CPUtime=4.08 cores=0-7
/proc/1138/task/1163/stat : 1163 (java) R 1136 1136 22342 0 -1 4202560 289 0 0 0 407 1 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528355930016 140528937196414 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1164] ppid=1136 vsize=26538700 memory=2240 CPUtime=3.9 cores=0-7
/proc/1138/task/1164/stat : 1164 (java) R 1136 1136 22342 0 -1 4202560 108 0 0 0 390 0 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528354878272 140528938577419 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
[pid=1138/tid=1165] ppid=1136 vsize=26538700 memory=4128 CPUtime=3.95 cores=0-7
/proc/1138/task/1165/stat : 1165 (java) R 1136 1136 22342 0 -1 4202560 81 0 0 0 395 0 0 0 20 0 28 0 145016568 27175628800 94413 33554432000 4194304 4196468 140726884093440 140528353824984 140528937527888 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 16494592 140726884095122 140726884095299 140726884095299 140726884097999 0
Current children cumulated CPU time: 38.11 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 379036 KiB

Child status: 0
Real time (s): 5.78868
CPU time (s): 38.6109
CPU user time (s): 38.307
CPU system time (s): 0.303936
CPU usage (%): 667.007
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 379036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.307
system time used= 0.303936
maximum resident set size= 377944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25551
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= 4097
involuntary context switches= 841


# summary of solver processes directly reported to runsolver:
#   pid: 1136
#   total CPU time (s): 38.6109
#   total CPU user time (s): 38.307
#   total CPU system time (s): 0.303936

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.080193 second user time and 0.091649 second system time

The end

Launcher Data

Begin job on node115 at 2017-08-19 06:53:49
IDJOB=4280701
IDBENCH=120412
IDSOLVER=2675
FILE ID=node115/4280701-1503119289
RUNJOBID= node115-1503110856-22369
PBS_JOBID= 20630758
Free space on /tmp= 61868 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/CostasArray/CostasArray-m1-s1/CostasArray-16.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280701-1503119289/watcher-4280701-1503119289 -o /tmp/evaluation-result-4280701-1503119289/solver-4280701-1503119289 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503110856-22369 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 518968695 HOME/instance-4280701-1503119289.xml

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

MD5SUM BENCH= 77b4627333bb7848badb46745d4d3b00
RANDOM SEED=518968695

node115.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.69
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.69
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.69
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.69
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:        27209920 kB
MemAvailable:   31973172 kB
Buffers:          237156 kB
Cached:          4819396 kB
SwapCached:            0 kB
Active:           888260 kB
Inactive:        4224524 kB
Active(anon):       7164 kB
Inactive(anon):    85176 kB
Active(file):     881096 kB
Inactive(file):  4139348 kB
Unevictable:        7056 kB
Mlocked:            7056 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7924 kB
Writeback:             0 kB
AnonPages:         61784 kB
Mapped:            49892 kB
Shmem:             33416 kB
Slab:             144060 kB
SReclaimable:     117284 kB
SUnreclaim:        26776 kB
KernelStack:        3248 kB
PageTables:         5624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61860 MiB
End job on node115 at 2017-08-19 06:53:55