Trace number 4247704

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
R1: choco-solver 5a (2017-07-05)SAT 703.15 89.1853

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-04-72.xml
MD5SUM606ad4221d4941292d84c5bdd64a5487
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 benchmark1596.5699
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of constraints731
Number of domains2
Minimum domain size2
Maximum domain size22
Distribution of domain sizes[{"size":2,"count":500},{"size":22,"count":100}]
Minimum variable degree2
Maximum variable degree53
Distribution of variable degrees[{"degree":2,"count":100},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":19},{"degree":21,"count":19},{"degree":22,"count":20},{"degree":23,"count":20},{"degree":24,"count":25},{"degree":25,"count":14},{"degree":26,"count":9},"...",{"degree":29,"count":9}, {"degree":30,"count":10}, {"degree":31,"count":26}, {"degree":32,"count":19}, {"degree":33,"count":2}, {"degree":34,"count":2}, {"degree":35,"count":2}, {"degree":36,"count":2}, {"degree":37,"count":2}, {"degree":38,"count":2}, {"degree":39,"count":2}, {"degree":40,"count":2}, {"degree":41,"count":2}, {"degree":42,"count":2}, {"degree":43,"count":2}, {"degree":44,"count":2}, {"degree":45,"count":2}, {"degree":46,"count":2}, {"degree":47,"count":2}, {"degree":48,"count":2}, {"degree":49,"count":2}, {"degree":50,"count":2}, {"degree":51,"count":2}, {"degree":52,"count":3}, {"degree":53,"count":1}]
Minimum constraint arity2
Maximum constraint arity100
Distribution of constraint arities[{"arity":2,"count":100},{"arity":3,"count":196},{"arity":4,"count":1},{"arity":5,"count":193},{"arity":6,"count":101},{"arity":8,"count":1},{"arity":10,"count":2},{"arity":12,"count":1},{"arity":14,"count":1},{"arity":15,"count":2},{"arity":16,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":3},{"arity":22,"count":3},{"arity":24,"count":1},{"arity":25,"count":4},{"arity":26,"count":1},{"arity":28,"count":3},{"arity":30,"count":3},{"arity":31,"count":2},{"arity":32,"count":1},{"arity":34,"count":3},{"arity":35,"count":2},{"arity":36,"count":1},"...",{"arity":67,"count":2}, {"arity":68,"count":1}, {"arity":70,"count":5}, {"arity":72,"count":1}, {"arity":73,"count":2}, {"arity":74,"count":1}, {"arity":75,"count":2}, {"arity":76,"count":3}, {"arity":78,"count":1}, {"arity":79,"count":2}, {"arity":80,"count":3}, {"arity":82,"count":3}, {"arity":84,"count":1}, {"arity":85,"count":4}, {"arity":86,"count":1}, {"arity":88,"count":3}, {"arity":90,"count":3}, {"arity":91,"count":2}, {"arity":92,"count":1}, {"arity":94,"count":3}, {"arity":95,"count":2}, {"arity":96,"count":1}, {"arity":97,"count":2}, {"arity":98,"count":1}, {"arity":100,"count":6}]
Number of extensional constraints100
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":100},{"type":"sum","count":630},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4247704-1500690880.xml"  -tl '2400s' -p 8 -x 3
0.00/0.19	c [HOME/instance-4247704-1500690880.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.24	c 8 solvers in parallel
0.00/0.31	c parse instance...
0.00/1.01	c solve instance...
702.85/89.16	s SATISFIABLE
702.85/89.16	v <instantiation>
702.85/89.16	v 	<list>cls[0] cls[1] cls[2] cls[3] cls[4] cls[5] cls[6] cls[7] cls[8] cls[9] cls[10] cls[11] cls[12] cls[13] cls[14] cls[15] cls[16] cls[17] cls[18] cls[19] cls[20] cls[21] cls[22] cls[23] cls[24] cls[25] cls[26] cls[27] cls[28] cls[29] cls[30] cls[31] cls[32] cls[33] cls[34] cls[35] cls[36] cls[37] cls[38] cls[39] cls[40] cls[41] cls[42] cls[43] cls[44] cls[45] cls[46] cls[47] cls[48] cls[49] cls[50] cls[51] cls[52] cls[53] cls[54] cls[55] cls[56] cls[57] cls[58] cls[59] cls[60] cls[61] cls[62] cls[63] cls[64] cls[65] cls[66] cls[67] cls[68] cls[69] cls[70] cls[71] cls[72] cls[73] cls[74] cls[75] cls[76] cls[77] cls[78] cls[79] cls[80] cls[81] cls[82] cls[83] cls[84] cls[85] cls[86] cls[87] cls[88] cls[89] cls[90] cls[91] cls[92] cls[93] cls[94] cls[95] cls[96] cls[97] cls[98] cls[99] opt[0][0] opt[0][1] opt[0][2] opt[0][3] opt[0][4] opt[1][0] opt[1][1] opt[1][2] opt[1][3] opt[1][4] opt[2][0] opt[2][1] opt[2][2] opt[2][3] opt[2][4] opt[3][0] opt[3][1] opt[3][2] opt[3][3] opt[3][4] opt[4][0] opt[4][1] opt[4][2] opt[4][3] opt[4][4] opt[5][0] opt[5][1] opt[5][2] opt[5][3] opt[5][4] opt[6][0] opt[6][1] opt[6][2] opt[6][3] opt[6][4] opt[7][0] opt[7][1] opt[7][2] opt[7][3] opt[7][4] opt[8][0] opt[8][1] opt[8][2] opt[8][3] opt[8][4] opt[9][0] opt[9][1] opt[9][2] opt[9][3] opt[9][4] opt[10][0] opt[10][1] opt[10][2] opt[10][3] opt[10][4] opt[11][0] opt[11][1] opt[11][2] opt[11][3] opt[11][4] opt[12][0] opt[12][1] opt[12][2] opt[12][3] opt[12][4] opt[13][0] opt[13][1] opt[13][2] opt[13][3] opt[13][4] opt[14][0] opt[14][1] opt[14][2] opt[14][3] opt[14][4] opt[15][0] opt[15][1] opt[15][2] opt[15][3] opt[15][4] opt[16][0] opt[16][1] opt[16][2] opt[16][3] opt[16][4] opt[17][0] opt[17][1] opt[17][2] opt[17][3] opt[17][4] opt[18][0] opt[18][1] opt[18][2] opt[18][3] opt[18][4] opt[19][0] opt[19][1] opt[19][2] opt[19][3] opt[19][4] opt[20][0] opt[20][1] opt[20][2] opt[20][3] opt[20][4] opt[21][0] opt[21][1] opt[21][2] opt[21][3] opt[21][4] opt[22][0] opt[22][1] opt[22][2] opt[22][3] opt[22][4] opt[23][0] opt[23][1] opt[23][2] opt[23][3] opt[23][4] opt[24][0] opt[24][1] opt[24][2] opt[24][3] opt[24][4] opt[25][0] opt[25][1] opt[25][2] opt[25][3] opt[25][4] opt[26][0] opt[26][1] opt[26][2] opt[26][3] opt[26][4] opt[27][0] opt[27][1] opt[27][2] opt[27][3] opt[27][4] opt[28][0] opt[28][1] opt[28][2] opt[28][3] opt[28][4] opt[29][0] opt[29][1] opt[29][2] opt[29][3] opt[29][4] opt[30][0] opt[30][1] opt[30][2] opt[30][3] opt[30][4] opt[31][0] opt[31][1] opt[31][2] opt[31][3] opt[31][4] opt[32][0] opt[32][1] opt[32][2] opt[32][3] opt[32][4] opt[33][0] opt[33][1] opt[33][2] opt[33][3] opt[33][4] opt[34][0] opt[34][1] opt[34][2] opt[34][3] opt[34][4] opt[35][0] opt[35][1] opt[35][2] opt[35][3] opt[35][4] opt[36][0] opt[36][1] opt[36][2] opt[36][3] opt[36][4] opt[37][0] opt[37][1] opt[37][2] opt[37][3] opt[37][4] opt[38][0] opt[38][1] opt[38][2] opt[38][3] opt[38][4] opt[39][0] opt[39][1] opt[39][2] opt[39][3] opt[39][4] opt[40][0] opt[40][1] opt[40][2] opt[40][3] opt[40][4] opt[41][0] opt[41][1] opt[41][2] opt[41][3] opt[41][4] opt[42][0] opt[42][1] opt[42][2] opt[42][3] opt[42][4] opt[43][0] opt[43][1] opt[43][2] opt[43][3] opt[43][4] opt[44][0] opt[44][1] opt[44][2] opt[44][3] opt[44][4] opt[45][0] opt[45][1] opt[45][2] opt[45][3] opt[45][4] opt[46][0] opt[46][1] opt[46][2] opt[46][3] opt[46][4] opt[47][0] opt[47][1] opt[47][2] opt[47][3] opt[47][4] opt[48][0] opt[48][1] opt[48][2] opt[48][3] opt[48][4] opt[49][0] opt[49][1] opt[49][2] opt[49][3] opt[49][4] opt[50][0] opt[50][1] opt[50][2] opt[50][3] opt[50][4] opt[51][0] opt[51][1] opt[51][2] opt[51][3] opt[51][4] opt[52][0] opt[52][1] opt[52][2] opt[52][3] opt[52][4] opt[53][0] opt[53][1] opt[53][2] opt[53][3] opt[53][4] opt[54][0] opt[54][1] opt[54][2] opt[54][3] opt[54][4] opt[55][0] opt[55][1] opt[55][2] opt[55][3] opt[55][4] opt[56][0] opt[56][1] opt[56][2] opt[56][3] opt[56][4] opt[57][0] opt[57][1] opt[57][2] opt[57][3] opt[57][4] opt[58][0] opt[58][1] opt[58][2] opt[58][3] opt[58][4] opt[59][0] opt[59][1] opt[59][2] opt[59][3] opt[59][4] opt[60][0] opt[60][1] opt[60][2] opt[60][3] opt[60][4] opt[61][0] opt[61][1] opt[61][2] opt[61][3] opt[61][4] opt[62][0] opt[62][1] opt[62][2] opt[62][3] opt[62][4] opt[63][0] opt[63][1] opt[63][2] opt[63][3] opt[63][4] opt[64][0] opt[64][1] opt[64][2] opt[64][3] opt[64][4] opt[65][0] opt[65][1] opt[65][2] opt[65][3] opt[65][4] opt[66][0] opt[66][1] opt[66][2] opt[66][3] opt[66][4] opt[67][0] opt[67][1] opt[67][2] opt[67][3] opt[67][4] opt[68][0] opt[68][1] opt[68][2] opt[68][3] opt[68][4] opt[69][0] opt[69][1] opt[69][2] opt[69][3] opt[69][4] opt[70][0] opt[70][1] opt[70][2] opt[70][3] opt[70][4] opt[71][0] opt[71][1] opt[71][2] opt[71][3] opt[71][4] opt[72][0] opt[72][1] opt[72][2] opt[72][3] opt[72][4] opt[73][0] opt[73][1] opt[73][2] opt[73][3] opt[73][4] opt[74][0] opt[74][1] opt[74][2] opt[74][3] opt[74][4] opt[75][0] opt[75][1] opt[75][2] opt[75][3] opt[75][4] opt[76][0] opt[76][1] opt[76][2] opt[76][3] opt[76][4] opt[77][0] opt[77][1] opt[77][2] opt[77][3] opt[77][4] opt[78][0] opt[78][1] opt[78][2] opt[78][3] opt[78][4] opt[79][0] opt[79][1] opt[79][2] opt[79][3] opt[79][4] opt[80][0] opt[80][1] opt[80][2] opt[80][3] opt[80][4] opt[81][0] opt[81][1] opt[81][2] opt[81][3] opt[81][4] opt[82][0] opt[82][1] opt[82][2] opt[82][3] opt[82][4] opt[83][0] opt[83][1] opt[83][2] opt[83][3] opt[83][4] opt[84][0] opt[84][1] opt[84][2] opt[84][3] opt[84][4] opt[85][0] opt[85][1] opt[85][2] opt[85][3] opt[85][4] opt[86][0] opt[86][1] opt[86][2] opt[86][3] opt[86][4] opt[87][0] opt[87][1] opt[87][2] opt[87][3] opt[87][4] opt[88][0] opt[88][1] opt[88][2] opt[88][3] opt[88][4] opt[89][0] opt[89][1] opt[89][2] opt[89][3] opt[89][4] opt[90][0] opt[90][1] opt[90][2] opt[90][3] opt[90][4] opt[91][0] opt[91][1] opt[91][2] opt[91][3] opt[91][4] opt[92][0] opt[92][1] opt[92][2] opt[92][3] opt[92][4] opt[93][0] opt[93][1] opt[93][2] opt[93][3] opt[93][4] opt[94][0] opt[94][1] opt[94][2] opt[94][3] opt[94][4] opt[95][0] opt[95][1] opt[95][2] opt[95][3] opt[95][4] opt[96][0] opt[96][1] opt[96][2] opt[96][3] opt[96][4] opt[97][0] opt[97][1] opt[97][2] opt[97][3] opt[97][4] opt[98][0] opt[98][1] opt[98][2] opt[98][3] opt[98][4] opt[99][0] opt[99][1] opt[99][2] opt[99][3] opt[99][4] </list>
702.85/89.16	v 	<values>7 2 12 10 5 0 15 0 5 1 4 2 7 14 5 8 5 13 3 14 5 19 7 14 16 1 12 0 5 1 16 19 7 14 5 11 4 14 12 1 16 18 4 1 12 17 9 19 5 0 15 1 4 18 4 1 15 14 6 0 5 20 5 19 7 14 16 1 12 0 3 17 5 8 12 14 15 1 4 19 9 14 5 21 4 18 5 10 12 13 5 18 9 19 12 14 5 1 4 13 0 0 1 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 1 </values>
702.85/89.16	v </instantiation>

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4247704-1500690880/watcher-4247704-1500690880 -o /tmp/evaluation-result-4247704-1500690880/solver-4247704-1500690880 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8560 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1478133846 HOME/instance-4247704-1500690880.xml 

pid=9845
running on 8 cores: 1,3,5,7,9,11,13,15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 16.19 15.19 12.73 13/273 9848
/proc/meminfo: memFree=31213776/32770624 swapFree=5656/286436
[pid=9848] ppid=9845 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9848/stat : 9848 (xcsp3-exec) S 9845 9848 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4355538 9740288 346 33554432000 4194304 5098028 140731183484160 140731183482264 140623165321852 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 27275264 140731183490190 140731183490400 140731183490400 140731183493099 0
/proc/9848/statm: 2378 346 289 221 0 87 0

[startup+0.100125 s]
/proc/loadavg: 16.19 15.19 12.73 13/273 9848
/proc/meminfo: memFree=31213776/32770624 swapFree=5656/286436
[pid=9848] ppid=9845 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9848/stat : 9848 (xcsp3-exec) S 9845 9848 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4355538 9740288 346 33554432000 4194304 5098028 140731183484160 140731183482264 140623165321852 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 27275264 140731183490190 140731183490400 140731183490400 140731183493099 0
/proc/9848/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.20033 s]
/proc/loadavg: 16.19 15.19 12.73 13/273 9848
/proc/meminfo: memFree=31213776/32770624 swapFree=5656/286436
[pid=9848] ppid=9845 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9848/stat : 9848 (xcsp3-exec) S 9845 9848 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4355538 9740288 346 33554432000 4194304 5098028 140731183484160 140731183482264 140623165321852 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 27275264 140731183490190 140731183490400 140731183490400 140731183493099 0
/proc/9848/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300298 s]
/proc/loadavg: 16.19 15.19 12.73 13/273 9848
/proc/meminfo: memFree=31213776/32770624 swapFree=5656/286436
[pid=9848] ppid=9845 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9848/stat : 9848 (xcsp3-exec) S 9845 9848 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4355538 9740288 346 33554432000 4194304 5098028 140731183484160 140731183482264 140623165321852 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 27275264 140731183490190 140731183490400 140731183490400 140731183493099 0
/proc/9848/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700216 s]
/proc/loadavg: 16.19 15.19 12.73 13/273 9848
/proc/meminfo: memFree=31213776/32770624 swapFree=5656/286436
[pid=9848] ppid=9845 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9848/stat : 9848 (xcsp3-exec) S 9845 9848 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4355538 9740288 346 33554432000 4194304 5098028 140731183484160 140731183482264 140623165321852 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 27275264 140731183490190 140731183490400 140731183490400 140731183493099 0
/proc/9848/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50151 s]
/proc/loadavg: 16.19 15.19 12.73 16/302 9877
/proc/meminfo: memFree=31010564/32770624 swapFree=5656/286468
[pid=9848] ppid=9845 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9848/stat : 9848 (xcsp3-exec) S 9845 9848 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4355538 9740288 346 33554432000 4194304 5098028 140731183484160 140731183482264 140623165321852 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 27275264 140731183490190 140731183490400 140731183490400 140731183493099 0
/proc/9848/statm: 2378 346 289 221 0 87 0
[pid=9849] ppid=9848 vsize=13801768 CPUtime=6.88 cores=1,3,5,7,9,11,13,15
/proc/9849/stat : 9849 (java) S 9848 9848 7102 0 -1 1077944320 25435 0 0 0 678 10 0 0 20 0 28 0 4355538 14133010432 45785 33554432000 4194304 4196468 140729745417824 140729745400368 139986195263223 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
/proc/9849/statm: 3450442 45785 3227 1 0 3437675 0
[pid=9849/tid=9850] ppid=9848 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9850/stat : 9850 (java) S 9848 9848 7102 0 -1 1077944384 7101 0 0 0 96 3 0 0 20 0 28 0 4355539 14133010432 45785 33554432000 4194304 4196468 140729745417824 139986199504000 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9852] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9852/stat : 9852 (java) S 9848 9848 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4355540 14133010432 45785 33554432000 4194304 4196468 140729745417824 139986147884048 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9853] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9853/stat : 9853 (java) S 9848 9848 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4355540 14133010432 45785 33554432000 4194304 4196468 140729745417824 139986146831504 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9854] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9854/stat : 9854 (java) S 9848 9848 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4355540 14133010432 45785 33554432000 4194304 4196468 140729745417824 139986145778448 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9855] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9855/stat : 9855 (java) S 9848 9848 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4355540 14133010432 45785 33554432000 4194304 4196468 140729745417824 139986144725904 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9856] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9856/stat : 9856 (java) S 9848 9848 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4355540 14133010432 45785 33554432000 4194304 4196468 140729745417824 139986143672848 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9857] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9857/stat : 9857 (java) S 9848 9848 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4355540 14133010432 45785 33554432000 4194304 4196468 140729745417824 139986142620304 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9858] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9858/stat : 9858 (java) S 9848 9848 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4355540 14133010432 45785 33554432000 4194304 4196468 140729745417824 139986141567248 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9859] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9859/stat : 9859 (java) S 9848 9848 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4355540 14133010432 45785 33554432000 4194304 4196468 140729745417824 139986140514704 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9860] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9860/stat : 9860 (java) S 9848 9848 7102 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4355542 14133010432 45785 33554432000 4194304 4196468 140729745417824 139984859282160 139986195274370 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9861] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9861/stat : 9861 (java) S 9848 9848 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4355543 14133010432 45785 33554432000 4194304 4196468 140729745417824 139984858228384 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9862] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9862/stat : 9862 (java) S 9848 9848 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4355543 14133010432 45785 33554432000 4194304 4196468 140729745417824 139984857175280 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9863] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9863/stat : 9863 (java) S 9848 9848 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4355547 14133010432 45785 33554432000 4194304 4196468 140729745417824 139984856123856 139986195281819 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9864] ppid=9848 vsize=13801768 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9864/stat : 9864 (java) R 9848 9848 7102 0 -1 4202560 4174 0 0 0 84 1 0 0 20 0 28 0 4355547 14133010432 45785 33554432000 4194304 4196468 140729745417824 139984855051976 139986172857968 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9865] ppid=9848 vsize=13801768 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9865/stat : 9865 (java) R 9848 9848 7102 0 -1 4202560 3553 0 0 0 94 1 0 0 20 0 28 0 4355547 14133010432 45785 33554432000 4194304 4196468 140729745417824 139984854004960 139986178763565 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9866] ppid=9848 vsize=13801768 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9866/stat : 9866 (java) R 9848 9848 7102 0 -1 4202560 4694 0 0 0 86 1 0 0 20 0 28 0 4355547 14133010432 45785 33554432000 4194304 4196468 140729745417824 139984852946376 139986178749173 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9867] ppid=9848 vsize=13801768 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9867/stat : 9867 (java) R 9848 9848 7102 0 -1 4202560 4063 0 0 0 73 1 0 0 20 0 28 0 4355547 14133010432 45785 33554432000 4194304 4196468 140729745417824 139984851912816 139986174655918 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9868] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9868/stat : 9868 (java) S 9848 9848 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4355547 14133010432 45785 33554432000 4194304 4196468 140729745417824 139984850861024 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9869] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9869/stat : 9869 (java) S 9848 9848 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4355547 14133010432 45785 33554432000 4194304 4196468 140729745417824 139984849808560 139986195274370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9870] ppid=9848 vsize=13801768 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9870/stat : 9870 (java) R 9848 9848 7102 0 -1 4202560 88 0 0 0 24 0 0 0 20 0 28 0 4355641 14133010432 45785 33554432000 4194304 4196468 140729745417824 139984841794920 139985825416841 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9871] ppid=9848 vsize=13801768 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9871/stat : 9871 (java) R 9848 9848 7102 0 -1 4202560 81 0 0 0 36 0 0 0 20 0 28 0 4355641 14133010432 45785 33554432000 4194304 4196468 140729745417824 139984840741576 139985825167861 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9872] ppid=9848 vsize=13801768 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9872/stat : 9872 (java) R 9848 9848 7102 0 -1 4202560 57 0 0 0 30 0 0 0 20 0 28 0 4355641 14133010432 45785 33554432000 4194304 4196468 140729745417824 139984839689976 139985818885834 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9873] ppid=9848 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9873/stat : 9873 (java) R 9848 9848 7102 0 -1 4202560 92 0 0 0 26 0 0 0 20 0 28 0 4355641 14133010432 45785 33554432000 4194304 4196468 140729745417824 139984838637152 139985825304613 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9874] ppid=9848 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9874/stat : 9874 (java) R 9848 9848 7102 0 -1 4202560 79 0 0 0 33 0 0 0 20 0 28 0 4355641 14133010432 45785 33554432000 4194304 4196468 140729745417824 139984837584616 139985825200292 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9875] ppid=9848 vsize=13801768 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9875/stat : 9875 (java) R 9848 9848 7102 0 -1 4202560 53 0 0 0 30 0 0 0 20 0 28 0 4355641 14133010432 45785 33554432000 4194304 4196468 140729745417824 139984836530056 139985818885862 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9876] ppid=9848 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9876/stat : 9876 (java) R 9848 9848 7102 0 -1 4202560 45 0 0 0 31 0 0 0 20 0 28 0 4355641 14133010432 45785 33554432000 4194304 4196468 140729745417824 139984835478152 139985818778281 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9877] ppid=9848 vsize=13801768 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9877/stat : 9877 (java) R 9848 9848 7102 0 -1 4202560 39 0 0 0 27 0 0 0 20 0 28 0 4355641 14133010432 45785 33554432000 4194304 4196468 140729745417824 139984834425592 139985818882910 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
Current children cumulated CPU time (s) 6.88
Current children cumulated vsize (KiB) 13811280

[startup+3.10159 s]
/proc/loadavg: 16.19 15.19 12.73 24/302 9877
/proc/meminfo: memFree=30982376/32770624 swapFree=5656/286468
[pid=9848] ppid=9845 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9848/stat : 9848 (xcsp3-exec) S 9845 9848 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4355538 9740288 346 33554432000 4194304 5098028 140731183484160 140731183482264 140623165321852 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 27275264 140731183490190 140731183490400 140731183490400 140731183493099 0
/proc/9848/statm: 2378 346 289 221 0 87 0
[pid=9849] ppid=9848 vsize=13801768 CPUtime=19.59 cores=1,3,5,7,9,11,13,15
/proc/9849/stat : 9849 (java) S 9848 9848 7102 0 -1 1077944320 32041 0 0 0 1940 19 0 0 20 0 28 0 4355538 14133010432 57837 33554432000 4194304 4196468 140729745417824 140729745400368 139986195263223 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
/proc/9849/statm: 3450442 57837 3267 1 0 3437675 0
[pid=9849/tid=9850] ppid=9848 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9850/stat : 9850 (java) S 9848 9848 7102 0 -1 1077944384 7101 0 0 0 96 3 0 0 20 0 28 0 4355539 14133010432 57837 33554432000 4194304 4196468 140729745417824 139986199504000 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9852] ppid=9848 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9852/stat : 9852 (java) S 9848 9848 7102 0 -1 1077944384 40 0 0 0 0 1 0 0 20 0 28 0 4355540 14133010432 57837 33554432000 4194304 4196468 140729745417824 139986147884048 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9853] ppid=9848 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9853/stat : 9853 (java) S 9848 9848 7102 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 28 0 4355540 14133010432 57837 33554432000 4194304 4196468 140729745417824 139986146831504 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9854] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9854/stat : 9854 (java) S 9848 9848 7102 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 4355540 14133010432 57837 33554432000 4194304 4196468 140729745417824 139986145778448 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9855] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9855/stat : 9855 (java) S 9848 9848 7102 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 4355540 14133010432 57837 33554432000 4194304 4196468 140729745417824 139986144725904 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9856] ppid=9848 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9856/stat : 9856 (java) S 9848 9848 7102 0 -1 1077944384 855 0 0 0 1 0 0 0 20 0 28 0 4355540 14133010432 57837 33554432000 4194304 4196468 140729745417824 139986143672848 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9857] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9857/stat : 9857 (java) S 9848 9848 7102 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 28 0 4355540 14133010432 57837 33554432000 4194304 4196468 140729745417824 139986142620304 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9858] ppid=9848 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9858/stat : 9858 (java) S 9848 9848 7102 0 -1 1077944384 211 0 0 0 1 1 0 0 20 0 28 0 4355540 14133010432 57837 33554432000 4194304 4196468 140729745417824 139986141567248 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9859] ppid=9848 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9859/stat : 9859 (java) S 9848 9848 7102 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 28 0 4355540 14133010432 57837 33554432000 4194304 4196468 140729745417824 139986140514704 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9860] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9860/stat : 9860 (java) S 9848 9848 7102 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 28 0 4355542 14133010432 57837 33554432000 4194304 4196468 140729745417824 139984859282160 139986195274370 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9861] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9861/stat : 9861 (java) S 9848 9848 7102 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4355543 14133010432 57837 33554432000 4194304 4196468 140729745417824 139984858228384 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9862] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9862/stat : 9862 (java) S 9848 9848 7102 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 4355543 14133010432 57837 33554432000 4194304 4196468 140729745417824 139984857175280 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9863] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9863/stat : 9863 (java) S 9848 9848 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4355547 14133010432 57837 33554432000 4194304 4196468 140729745417824 139984856123856 139986195281819 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9864] ppid=9848 vsize=13801768 CPUtime=2.09 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9864/stat : 9864 (java) S 9848 9848 7102 0 -1 1077944384 5149 0 0 0 208 1 0 0 20 0 28 0 4355547 14133010432 57837 33554432000 4194304 4196468 140729745417824 139984855070960 139986195274370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9865] ppid=9848 vsize=13801768 CPUtime=1.93 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9865/stat : 9865 (java) R 9848 9848 7102 0 -1 4202560 4711 0 0 0 192 1 0 0 20 0 28 0 4355547 14133010432 57837 33554432000 4194304 4196468 140729745417824 139984854018416 139986173010580 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9866] ppid=9848 vsize=13801768 CPUtime=1.93 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9866/stat : 9866 (java) R 9848 9848 7102 0 -1 4202560 5463 0 0 0 191 2 0 0 20 0 28 0 4355547 14133010432 57837 33554432000 4194304 4196468 140729745417824 139984852965656 139986173147136 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9867] ppid=9848 vsize=13801768 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9867/stat : 9867 (java) S 9848 9848 7102 0 -1 1077944384 5590 0 0 0 89 2 0 0 20 0 28 0 4355547 14133010432 57837 33554432000 4194304 4196468 140729745417824 139984851912816 139986195274370 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9868] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9868/stat : 9868 (java) S 9848 9848 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4355547 14133010432 57837 33554432000 4194304 4196468 140729745417824 139984850861024 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9869] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9869/stat : 9869 (java) S 9848 9848 7102 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4355547 14133010432 57837 33554432000 4194304 4196468 140729745417824 139984849808560 139986195274370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9870] ppid=9848 vsize=13801768 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9870/stat : 9870 (java) R 9848 9848 7102 0 -1 4202560 241 0 0 0 132 0 0 0 20 0 28 0 4355641 14133010432 57837 33554432000 4194304 4196468 140729745417824 139984841794920 139985825417402 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9871] ppid=9848 vsize=13801768 CPUtime=1.62 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9871/stat : 9871 (java) R 9848 9848 7102 0 -1 4202560 121 0 0 0 162 0 0 0 20 0 28 0 4355641 14133010432 57837 33554432000 4194304 4196468 140729745417824 139984840741880 139985826861393 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9872] ppid=9848 vsize=13801768 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9872/stat : 9872 (java) R 9848 9848 7102 0 -1 4202560 117 0 0 0 150 0 0 0 20 0 28 0 4355641 14133010432 57837 33554432000 4194304 4196468 140729745417824 139984839688712 139985825416723 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9873] ppid=9848 vsize=13801768 CPUtime=1.61 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9873/stat : 9873 (java) R 9848 9848 7102 0 -1 4202560 170 0 0 0 161 0 0 0 20 0 28 0 4355641 14133010432 57837 33554432000 4194304 4196468 140729745417824 139984838635016 139985826860895 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9874] ppid=9848 vsize=13801768 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9874/stat : 9874 (java) R 9848 9848 7102 0 -1 4202560 126 0 0 0 141 0 0 0 20 0 28 0 4355641 14133010432 57837 33554432000 4194304 4196468 140729745417824 139984837584520 139985826860854 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9875] ppid=9848 vsize=13801768 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9875/stat : 9875 (java) R 9848 9848 7102 0 -1 4202560 68 0 0 0 122 0 0 0 20 0 28 0 4355641 14133010432 57837 33554432000 4194304 4196468 140729745417824 139984836530760 139985824892518 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9876] ppid=9848 vsize=13801768 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9876/stat : 9876 (java) R 9848 9848 7102 0 -1 4202560 157 0 0 0 128 0 0 0 20 0 28 0 4355641 14133010432 57837 33554432000 4194304 4196468 140729745417824 139984835480056 139985825189070 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9877] ppid=9848 vsize=13801768 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9877/stat : 9877 (java) R 9848 9848 7102 0 -1 4202560 108 0 0 0 155 0 0 0 20 0 28 0 4355641 14133010432 57837 33554432000 4194304 4196468 140729745417824 139984834426968 139985825696052 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
Current children cumulated CPU time (s) 19.59
Current children cumulated vsize (KiB) 13811280

[startup+6.30155 s]
/proc/loadavg: 16.18 15.20 12.74 19/302 9877
/proc/meminfo: memFree=30905892/32770624 swapFree=5656/286476

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

/proc/9849/task/9861/stat : 9861 (java) S 9848 9848 7102 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4355543 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984858228384 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9862] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9862/stat : 9862 (java) S 9848 9848 7102 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 4355543 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984857175280 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9863] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9863/stat : 9863 (java) S 9848 9848 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4355547 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984856123856 139986195281819 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9864] ppid=9848 vsize=13801768 CPUtime=2.71 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9864/stat : 9864 (java) S 9848 9848 7102 0 -1 1077944384 7900 0 0 0 269 2 0 0 20 0 28 0 4355547 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984855070960 139986195274370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9865] ppid=9848 vsize=13801768 CPUtime=2.41 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9865/stat : 9865 (java) S 9848 9848 7102 0 -1 1077944384 7008 0 0 0 240 1 0 0 20 0 28 0 4355547 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984854018416 139986195274370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9866] ppid=9848 vsize=13801768 CPUtime=2.57 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9866/stat : 9866 (java) S 9848 9848 7102 0 -1 1077944384 8519 0 0 0 255 2 0 0 20 0 28 0 4355547 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984852965360 139986195274370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9867] ppid=9848 vsize=13801768 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9867/stat : 9867 (java) S 9848 9848 7102 0 -1 1077944384 7244 0 0 0 95 2 0 0 20 0 28 0 4355547 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984851912816 139986195274370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9868] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9868/stat : 9868 (java) S 9848 9848 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4355547 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984850861024 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9869] ppid=9848 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9869/stat : 9869 (java) S 9848 9848 7102 0 -1 1077944384 261 0 0 0 2 1 0 0 20 0 28 0 4355547 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984849808560 139986195274370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9870] ppid=9848 vsize=13801768 CPUtime=85.64 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9870/stat : 9870 (java) R 9848 9848 7102 0 -1 4202560 806 0 0 0 8563 1 0 0 20 0 28 0 4355641 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984841793160 139985826860956 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9871] ppid=9848 vsize=13801768 CPUtime=86.42 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9871/stat : 9871 (java) R 9848 9848 7102 0 -1 4202560 857 0 0 0 8642 0 0 0 20 0 28 0 4355641 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984840741208 139985825303306 0 4 0 16800975 0 0 0 -1 11 0 0 13 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9872] ppid=9848 vsize=13801768 CPUtime=86.59 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9872/stat : 9872 (java) R 9848 9848 7102 0 -1 4202560 1356 0 0 0 8659 0 0 0 20 0 28 0 4355641 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984839690752 139985828217914 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9873] ppid=9848 vsize=13801768 CPUtime=85.64 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9873/stat : 9873 (java) R 9848 9848 7102 0 -1 4202560 1615 0 0 0 8564 0 0 0 20 0 28 0 4355641 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984838635672 139985826860605 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9874] ppid=9848 vsize=13801768 CPUtime=86.05 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9874/stat : 9874 (java) R 9848 9848 7102 0 -1 4202560 667 0 0 0 8605 0 0 0 20 0 28 0 4355641 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984837583064 139985825304383 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9875] ppid=9848 vsize=13801768 CPUtime=86.01 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9875/stat : 9875 (java) R 9848 9848 7102 0 -1 4202560 324 0 0 0 8601 0 0 0 20 0 28 0 4355641 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984836529840 139985825695876 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9876] ppid=9848 vsize=13801768 CPUtime=86.45 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9876/stat : 9876 (java) R 9848 9848 7102 0 -1 4202560 783 0 0 0 8645 0 0 0 20 0 28 0 4355641 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984835477960 139985824892473 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9877] ppid=9848 vsize=13801768 CPUtime=86.2 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9877/stat : 9877 (java) R 9848 9848 7102 0 -1 4202560 827 0 0 0 8620 0 0 0 20 0 28 0 4355641 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984834425432 139985824892695 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
Current children cumulated CPU time (s) 700.36
Current children cumulated vsize (KiB) 13811280

[startup+89.0016 s]
/proc/loadavg: 16.24 15.45 13.03 19/300 9878
/proc/meminfo: memFree=29490352/32770624 swapFree=5656/286584
[pid=9848] ppid=9845 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9848/stat : 9848 (xcsp3-exec) S 9845 9848 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4355538 9740288 346 33554432000 4194304 5098028 140731183484160 140731183482264 140623165321852 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 27275264 140731183490190 140731183490400 140731183490400 140731183493099 0
/proc/9848/statm: 2378 346 289 221 0 87 0
[pid=9849] ppid=9848 vsize=13801768 CPUtime=701.95 cores=1,3,5,7,9,11,13,15
/proc/9849/stat : 9849 (java) S 9848 9848 7102 0 -1 1077944320 55628 0 0 0 70133 62 0 0 20 0 28 0 4355538 14133010432 46971 33554432000 4194304 4196468 140729745417824 140729745400368 139986195263223 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
/proc/9849/statm: 3450442 46971 3277 1 0 3437675 0
[pid=9849/tid=9850] ppid=9848 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9850/stat : 9850 (java) S 9848 9848 7102 0 -1 1077944384 7101 0 0 0 96 3 0 0 20 0 28 0 4355539 14133010432 46971 33554432000 4194304 4196468 140729745417824 139986199504000 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9852] ppid=9848 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9852/stat : 9852 (java) S 9848 9848 7102 0 -1 1077944384 2331 0 0 0 11 4 0 0 20 0 28 0 4355540 14133010432 46971 33554432000 4194304 4196468 140729745417824 139986147884048 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9853] ppid=9848 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9853/stat : 9853 (java) S 9848 9848 7102 0 -1 1077944384 439 0 0 0 13 4 0 0 20 0 28 0 4355540 14133010432 46971 33554432000 4194304 4196468 140729745417824 139986146831504 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9854] ppid=9848 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9854/stat : 9854 (java) S 9848 9848 7102 0 -1 1077944384 266 0 0 0 12 4 0 0 20 0 28 0 4355540 14133010432 46971 33554432000 4194304 4196468 140729745417824 139986145778448 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9855] ppid=9848 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9855/stat : 9855 (java) S 9848 9848 7102 0 -1 1077944384 548 0 0 0 12 3 0 0 20 0 28 0 4355540 14133010432 46971 33554432000 4194304 4196468 140729745417824 139986144725904 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9856] ppid=9848 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9856/stat : 9856 (java) S 9848 9848 7102 0 -1 1077944384 1642 0 0 0 12 4 0 0 20 0 28 0 4355540 14133010432 46971 33554432000 4194304 4196468 140729745417824 139986143672848 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9857] ppid=9848 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9857/stat : 9857 (java) S 9848 9848 7102 0 -1 1077944384 1105 0 0 0 12 4 0 0 20 0 28 0 4355540 14133010432 46971 33554432000 4194304 4196468 140729745417824 139986142620304 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9858] ppid=9848 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9858/stat : 9858 (java) S 9848 9848 7102 0 -1 1077944384 529 0 0 0 11 3 0 0 20 0 28 0 4355540 14133010432 46971 33554432000 4194304 4196468 140729745417824 139986141567248 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9859] ppid=9848 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9859/stat : 9859 (java) S 9848 9848 7102 0 -1 1077944384 595 0 0 0 12 4 0 0 20 0 28 0 4355540 14133010432 46971 33554432000 4194304 4196468 140729745417824 139986140514704 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9860] ppid=9848 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9860/stat : 9860 (java) S 9848 9848 7102 0 -1 1077944384 1556 0 0 0 8 8 0 0 20 0 28 0 4355542 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984859282160 139986195274370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9861] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9861/stat : 9861 (java) S 9848 9848 7102 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4355543 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984858228384 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9862] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9862/stat : 9862 (java) S 9848 9848 7102 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 4355543 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984857175280 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9863] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9863/stat : 9863 (java) S 9848 9848 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4355547 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984856123856 139986195281819 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9864] ppid=9848 vsize=13801768 CPUtime=2.71 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9864/stat : 9864 (java) S 9848 9848 7102 0 -1 1077944384 7900 0 0 0 269 2 0 0 20 0 28 0 4355547 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984855070960 139986195274370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9865] ppid=9848 vsize=13801768 CPUtime=2.41 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9865/stat : 9865 (java) S 9848 9848 7102 0 -1 1077944384 7008 0 0 0 240 1 0 0 20 0 28 0 4355547 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984854018416 139986195274370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9866] ppid=9848 vsize=13801768 CPUtime=2.57 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9866/stat : 9866 (java) S 9848 9848 7102 0 -1 1077944384 8519 0 0 0 255 2 0 0 20 0 28 0 4355547 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984852965360 139986195274370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9867] ppid=9848 vsize=13801768 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9867/stat : 9867 (java) S 9848 9848 7102 0 -1 1077944384 7244 0 0 0 95 2 0 0 20 0 28 0 4355547 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984851912816 139986195274370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9868] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9868/stat : 9868 (java) S 9848 9848 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4355547 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984850861024 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9869] ppid=9848 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9869/stat : 9869 (java) S 9848 9848 7102 0 -1 1077944384 261 0 0 0 2 1 0 0 20 0 28 0 4355547 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984849808560 139986195274370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9870] ppid=9848 vsize=13801768 CPUtime=85.84 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9870/stat : 9870 (java) R 9848 9848 7102 0 -1 4202560 806 0 0 0 8583 1 0 0 20 0 28 0 4355641 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984841793160 139985825304407 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9871] ppid=9848 vsize=13801768 CPUtime=86.62 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9871/stat : 9871 (java) R 9848 9848 7102 0 -1 4202560 857 0 0 0 8662 0 0 0 20 0 28 0 4355641 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984840741208 139985826862008 0 4 0 16800975 0 0 0 -1 11 0 0 13 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9872] ppid=9848 vsize=13801768 CPUtime=86.79 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9872/stat : 9872 (java) R 9848 9848 7102 0 -1 4202560 1356 0 0 0 8679 0 0 0 20 0 28 0 4355641 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984839690752 139985825696092 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9873] ppid=9848 vsize=13801768 CPUtime=85.83 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9873/stat : 9873 (java) R 9848 9848 7102 0 -1 4202560 1615 0 0 0 8583 0 0 0 20 0 28 0 4355641 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984838635672 139985828162681 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9874] ppid=9848 vsize=13801768 CPUtime=86.25 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9874/stat : 9874 (java) R 9848 9848 7102 0 -1 4202560 667 0 0 0 8625 0 0 0 20 0 28 0 4355641 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984837583064 139985825449855 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9875] ppid=9848 vsize=13801768 CPUtime=86.21 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9875/stat : 9875 (java) R 9848 9848 7102 0 -1 4202560 324 0 0 0 8621 0 0 0 20 0 28 0 4355641 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984836529840 139985826861305 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9876] ppid=9848 vsize=13801768 CPUtime=86.65 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9876/stat : 9876 (java) R 9848 9848 7102 0 -1 4202560 783 0 0 0 8665 0 0 0 20 0 28 0 4355641 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984835477960 139985825189960 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9877] ppid=9848 vsize=13801768 CPUtime=86.39 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9877/stat : 9877 (java) R 9848 9848 7102 0 -1 4202560 827 0 0 0 8639 0 0 0 20 0 28 0 4355641 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984834425432 139985826290456 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
Current children cumulated CPU time (s) 701.95
Current children cumulated vsize (KiB) 13811280

[startup+89.1015 s]
/proc/loadavg: 16.22 15.46 13.05 19/300 9878
/proc/meminfo: memFree=29490800/32770624 swapFree=5656/286584
[pid=9848] ppid=9845 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9848/stat : 9848 (xcsp3-exec) S 9845 9848 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4355538 9740288 346 33554432000 4194304 5098028 140731183484160 140731183482264 140623165321852 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 27275264 140731183490190 140731183490400 140731183490400 140731183493099 0
/proc/9848/statm: 2378 346 289 221 0 87 0
[pid=9849] ppid=9848 vsize=13801768 CPUtime=702.85 cores=1,3,5,7,9,11,13,15
/proc/9849/stat : 9849 (java) S 9848 9848 7102 0 -1 1077944320 55628 0 0 0 70223 62 0 0 20 0 28 0 4355538 14133010432 46971 33554432000 4194304 4196468 140729745417824 140729745400368 139986195263223 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
/proc/9849/statm: 3450442 46971 3277 1 0 3437675 0
[pid=9849/tid=9850] ppid=9848 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9850/stat : 9850 (java) S 9848 9848 7102 0 -1 1077944384 7101 0 0 0 96 3 0 0 20 0 28 0 4355539 14133010432 46971 33554432000 4194304 4196468 140729745417824 139986199504000 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9852] ppid=9848 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9852/stat : 9852 (java) S 9848 9848 7102 0 -1 1077944384 2331 0 0 0 11 4 0 0 20 0 28 0 4355540 14133010432 46971 33554432000 4194304 4196468 140729745417824 139986147884048 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9853] ppid=9848 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9853/stat : 9853 (java) S 9848 9848 7102 0 -1 1077944384 439 0 0 0 13 4 0 0 20 0 28 0 4355540 14133010432 46971 33554432000 4194304 4196468 140729745417824 139986146831504 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9854] ppid=9848 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9854/stat : 9854 (java) S 9848 9848 7102 0 -1 1077944384 266 0 0 0 12 4 0 0 20 0 28 0 4355540 14133010432 46971 33554432000 4194304 4196468 140729745417824 139986145778448 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9855] ppid=9848 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9855/stat : 9855 (java) S 9848 9848 7102 0 -1 1077944384 548 0 0 0 12 3 0 0 20 0 28 0 4355540 14133010432 46971 33554432000 4194304 4196468 140729745417824 139986144725904 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9856] ppid=9848 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9856/stat : 9856 (java) S 9848 9848 7102 0 -1 1077944384 1642 0 0 0 12 4 0 0 20 0 28 0 4355540 14133010432 46971 33554432000 4194304 4196468 140729745417824 139986143672848 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9857] ppid=9848 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9857/stat : 9857 (java) S 9848 9848 7102 0 -1 1077944384 1105 0 0 0 12 4 0 0 20 0 28 0 4355540 14133010432 46971 33554432000 4194304 4196468 140729745417824 139986142620304 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9858] ppid=9848 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9858/stat : 9858 (java) S 9848 9848 7102 0 -1 1077944384 529 0 0 0 11 3 0 0 20 0 28 0 4355540 14133010432 46971 33554432000 4194304 4196468 140729745417824 139986141567248 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9859] ppid=9848 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9859/stat : 9859 (java) S 9848 9848 7102 0 -1 1077944384 595 0 0 0 12 4 0 0 20 0 28 0 4355540 14133010432 46971 33554432000 4194304 4196468 140729745417824 139986140514704 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9860] ppid=9848 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9860/stat : 9860 (java) S 9848 9848 7102 0 -1 1077944384 1556 0 0 0 8 8 0 0 20 0 28 0 4355542 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984859282160 139986195274370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9861] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9861/stat : 9861 (java) S 9848 9848 7102 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4355543 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984858228384 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9862] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9862/stat : 9862 (java) S 9848 9848 7102 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 4355543 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984857175280 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9863] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9863/stat : 9863 (java) S 9848 9848 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4355547 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984856123856 139986195281819 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9864] ppid=9848 vsize=13801768 CPUtime=2.71 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9864/stat : 9864 (java) S 9848 9848 7102 0 -1 1077944384 7900 0 0 0 269 2 0 0 20 0 28 0 4355547 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984855070960 139986195274370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9865] ppid=9848 vsize=13801768 CPUtime=2.41 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9865/stat : 9865 (java) S 9848 9848 7102 0 -1 1077944384 7008 0 0 0 240 1 0 0 20 0 28 0 4355547 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984854018416 139986195274370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9866] ppid=9848 vsize=13801768 CPUtime=2.57 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9866/stat : 9866 (java) S 9848 9848 7102 0 -1 1077944384 8519 0 0 0 255 2 0 0 20 0 28 0 4355547 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984852965360 139986195274370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9867] ppid=9848 vsize=13801768 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9867/stat : 9867 (java) S 9848 9848 7102 0 -1 1077944384 7244 0 0 0 95 2 0 0 20 0 28 0 4355547 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984851912816 139986195274370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9868] ppid=9848 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9868/stat : 9868 (java) S 9848 9848 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4355547 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984850861024 139986195273429 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9869] ppid=9848 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9869/stat : 9869 (java) S 9848 9848 7102 0 -1 1077944384 261 0 0 0 2 1 0 0 20 0 28 0 4355547 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984849808560 139986195274370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9870] ppid=9848 vsize=13801768 CPUtime=85.95 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9870/stat : 9870 (java) R 9848 9848 7102 0 -1 4202560 806 0 0 0 8594 1 0 0 20 0 28 0 4355641 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984841793160 139985826636982 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9871] ppid=9848 vsize=13801768 CPUtime=86.73 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9871/stat : 9871 (java) R 9848 9848 7102 0 -1 4202560 857 0 0 0 8673 0 0 0 20 0 28 0 4355641 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984840741208 139985825695876 0 4 0 16800975 0 0 0 -1 11 0 0 13 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9872] ppid=9848 vsize=13801768 CPUtime=86.9 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9872/stat : 9872 (java) R 9848 9848 7102 0 -1 4202560 1356 0 0 0 8690 0 0 0 20 0 28 0 4355641 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984839690752 139985828217830 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9873] ppid=9848 vsize=13801768 CPUtime=85.95 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9873/stat : 9873 (java) R 9848 9848 7102 0 -1 4202560 1615 0 0 0 8595 0 0 0 20 0 28 0 4355641 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984838635672 139985826861027 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9874] ppid=9848 vsize=13801768 CPUtime=86.36 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9874/stat : 9874 (java) R 9848 9848 7102 0 -1 4202560 667 0 0 0 8636 0 0 0 20 0 28 0 4355641 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984837583064 139985825695876 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9875] ppid=9848 vsize=13801768 CPUtime=86.33 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9875/stat : 9875 (java) R 9848 9848 7102 0 -1 4202560 324 0 0 0 8633 0 0 0 20 0 28 0 4355641 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984836529840 139985826362686 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9876] ppid=9848 vsize=13801768 CPUtime=86.77 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9876/stat : 9876 (java) R 9848 9848 7102 0 -1 4202560 783 0 0 0 8677 0 0 0 20 0 28 0 4355641 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984835477960 139985825696197 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
[pid=9849/tid=9877] ppid=9848 vsize=13801768 CPUtime=86.49 cores=1,3,5,7,9,11,13,15
/proc/9849/task/9877/stat : 9877 (java) R 9848 9848 7102 0 -1 4202560 827 0 0 0 8649 0 0 0 20 0 28 0 4355641 14133010432 46971 33554432000 4194304 4196468 140729745417824 139984834425432 139985825695835 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 18075648 140729745425596 140729745425772 140729745425772 140729745428431 0
Current children cumulated CPU time (s) 702.85
Current children cumulated vsize (KiB) 13811280

Child status: 0
Real time (s): 89.1853
CPU time (s): 703.15
CPU user time (s): 702.514
CPU system time (s): 0.636051
CPU usage (%): 788.415
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 702.514
system time used= 0.636051
maximum resident set size= 270400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58773
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9421
involuntary context switches= 41642

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.09032 second user time and 1.3321 second system time

The end

Launcher Data 

Begin job on node130 at 2017-07-22 04:34:40
IDJOB=4247704
IDBENCH=128084
IDSOLVER=2626
FILE ID=node130/4247704-1500690880
RUNJOBID= node130-1500684118-8560
PBS_JOBID= 20623029
Free space on /tmp= 61952 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-04-72.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4247704-1500690880/watcher-4247704-1500690880 -o /tmp/evaluation-result-4247704-1500690880/solver-4247704-1500690880 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8560 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1478133846 HOME/instance-4247704-1500690880.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 606ad4221d4941292d84c5bdd64a5487
RANDOM SEED=1478133846

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

/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	: 8
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.34
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 8
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.34
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		: 2000.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 8
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.34
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		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 8
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.34
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	: 8
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:

processor	: 8
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
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	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31215872 kB
MemAvailable:   31378448 kB
Buffers:          115864 kB
Cached:           329680 kB
SwapCached:            0 kB
Active:           832392 kB
Inactive:         295324 kB
Active(anon):     684820 kB
Inactive(anon):     8888 kB
Active(file):     147572 kB
Inactive(file):   286436 kB
Unevictable:        5656 kB
Mlocked:            5656 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7888 kB
Writeback:             0 kB
AnonPages:        650428 kB
Mapped:            42600 kB
Shmem:              8844 kB
Slab:             122504 kB
SReclaimable:      88804 kB
SUnreclaim:        33700 kB
KernelStack:        5040 kB
PageTables:         6944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1654412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    526336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 61944 MiB
End job on node130 at 2017-07-22 04:36:10