Trace number 4391976

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.10OPT88 27.1101 13.9003

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-opt-dimacs/
Pb-jnh210.xml
MD5SUMf39a9bf5a44612488abba91009ee18af
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark88
Best CPU time to get the best result obtained on this benchmark3.9315
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints900
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":200}]
Minimum variable degree11
Maximum variable degree33
Distribution of variable degrees[{"degree":11,"count":1},{"degree":12,"count":3},{"degree":13,"count":4},{"degree":14,"count":4},{"degree":15,"count":4},{"degree":16,"count":4},{"degree":17,"count":7},{"degree":18,"count":15},{"degree":19,"count":23},{"degree":20,"count":16},{"degree":21,"count":17},{"degree":22,"count":24},{"degree":23,"count":17},{"degree":24,"count":15},{"degree":25,"count":11},{"degree":26,"count":10},{"degree":27,"count":7},{"degree":28,"count":6},{"degree":29,"count":4},{"degree":30,"count":5},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":33,"count":1}]
Minimum constraint arity2
Maximum constraint arity10
Distribution of constraint arities[{"arity":2,"count":166},{"arity":3,"count":151},{"arity":4,"count":149},{"arity":5,"count":163},{"arity":6,"count":111},{"arity":7,"count":78},{"arity":8,"count":41},{"arity":9,"count":31},{"arity":10,"count":10}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":900}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.72/0.55	c Concrete v3.10.1560635388952 running
11.84/4.78	o 92
12.15/4.81	o 91
12.15/4.86	o 90
12.15/4.89	o 89
12.49/4.96	o 88
27.00/13.87	v <instantiation
27.00/13.87	v         cost = '88'>
27.00/13.87	v       <list>
27.00/13.87	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199]
27.00/13.87	v       </list>
27.00/13.87	v       <values>
27.00/13.87	v         0 1 0 1 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 0
27.00/13.87	v       </values>
27.00/13.87	v     </instantiation>
27.00/13.87	s OPTIMUM FOUND

Verifier Data 

OK	88

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15291 MiB free)
  memory of node 1: 16384 MiB (14996 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391976-1568319773/watcher-4391976-1568319773 -o /tmp/evaluation-result-4391976-1568319773/solver-4391976-1568319773 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568301421-20990 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=864123528 HOME/instance-4391976-1568319773.xml 

running on 4 cores: 0,2,4,6

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=27344, runsolver pid=27341
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 2.10 1.56 1.47 3/224 27401
/proc/meminfo: memFree=31007608/32770624 swapFree=67003364/67108860
[pid=27344] ppid=27341 vsize=9972712 memory=18864 CPUtime=0.09 cores=0,2,4,6
/proc/27344/stat : 27344 (java) S 27341 27344 20959 0 -1 1077944320 4475 13456 0 0 1 0 5 3 20 0 6 0 408216943 10212057088 4716 33554432000 4194304 4196468 140726688328048 140726688310592 140579135168247 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
/proc/27344/statm: 2493178 4716 1935 1 0 2481616 0
[pid=27344/tid=27397] ppid=27341 vsize=9972712 memory=4279135703980344719 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27397/stat : 27397 (java) R 27341 27344 20959 0 -1 4202560 2264 13456 0 0 0 0 5 3 20 0 6 0 408216952 10212057088 4716 33554432000 4194304 4196468 140726688328048 140579107005008 140579135190173 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27398] ppid=27341 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27398/stat : 27398 (java) S 27341 27344 20959 0 -1 1077944384 2 13456 0 0 0 0 5 3 20 0 6 0 408216952 10212057088 4716 33554432000 4194304 4196468 140726688328048 140579139411088 140579135178453 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27399] ppid=27341 vsize=9972712 memory=140606543033984 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27399/stat : 27399 (java) S 27341 27344 20959 0 -1 1077944384 2 13456 0 0 0 0 5 3 20 0 6 0 408216952 10212057088 4716 33554432000 4194304 4196468 140726688328048 140579054230544 140579135178453 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27400] ppid=27341 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27400/stat : 27400 (java) S 27341 27344 20959 0 -1 1077944384 1 13456 0 0 0 0 5 3 20 0 6 0 408216952 10212057088 4716 33554432000 4194304 4196468 140726688328048 140579053177744 140579135178453 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27401] ppid=27341 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27401/stat : 27401 (java) S 27341 27344 20959 0 -1 1077944384 2 13456 0 0 0 0 5 3 20 0 6 0 408216952 10212057088 4716 33554432000 4194304 4196468 140726688328048 140579052124944 140579135178453 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18864 KiB

[startup+0.210506 s]*
/proc/loadavg: 2.10 1.56 1.47 3/233 27410
/proc/meminfo: memFree=30983944/32770624 swapFree=67003364/67108860
[pid=27344] ppid=27341 vsize=10818940 memory=42108 CPUtime=0.27 cores=0,2,4,6
/proc/27344/stat : 27344 (java) S 27341 27344 20959 0 -1 1077944320 6890 13456 0 0 17 2 5 3 20 0 15 0 408216943 11078594560 10527 33554432000 4194304 4196468 140726688328048 140726688310592 140579135168247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
/proc/27344/statm: 2704735 10527 2967 1 0 2667149 0
[pid=27344/tid=27397] ppid=27341 vsize=10818940 memory=-6517102902069810590 CPUtime=0.2 cores=0,2,4,6
/proc/27344/task/27397/stat : 27397 (java) R 27341 27344 20959 0 -1 4202560 3398 13456 0 0 11 1 5 3 20 0 15 0 408216952 11078594560 10527 33554432000 4194304 4196468 140726688328048 140579106999296 140579116561981 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27398] ppid=27341 vsize=10818940 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27398/stat : 27398 (java) S 27341 27344 20959 0 -1 1077944384 2 13456 0 0 0 0 5 3 20 0 15 0 408216952 11078594560 10527 33554432000 4194304 4196468 140726688328048 140579139411088 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27399] ppid=27341 vsize=10818940 memory=140606543033984 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27399/stat : 27399 (java) S 27341 27344 20959 0 -1 1077944384 2 13456 0 0 0 0 5 3 20 0 15 0 408216952 11078594560 10527 33554432000 4194304 4196468 140726688328048 140579054230544 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27400] ppid=27341 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27400/stat : 27400 (java) S 27341 27344 20959 0 -1 1077944384 1 13456 0 0 0 0 5 3 20 0 15 0 408216952 11078594560 10527 33554432000 4194304 4196468 140726688328048 140579053177744 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27401] ppid=27341 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27401/stat : 27401 (java) S 27341 27344 20959 0 -1 1077944384 2 13456 0 0 0 0 5 3 20 0 15 0 408216952 11078594560 10527 33554432000 4194304 4196468 140726688328048 140579052124944 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27402] ppid=27341 vsize=10818940 memory=140606543033984 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27402/stat : 27402 (java) S 27341 27344 20959 0 -1 1077944384 2 13456 0 0 0 0 5 3 20 0 15 0 408216954 11078594560 10527 33554432000 4194304 4196468 140726688328048 140578661792112 140579135179394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27403] ppid=27341 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27403/stat : 27403 (java) S 27341 27344 20959 0 -1 1077944384 13 13456 0 0 0 0 5 3 20 0 15 0 408216954 11078594560 10527 33554432000 4194304 4196468 140726688328048 140578574558240 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27404] ppid=27341 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27404/stat : 27404 (java) S 27341 27344 20959 0 -1 1077944384 1 13456 0 0 0 0 5 3 20 0 15 0 408216955 11078594560 10527 33554432000 4194304 4196468 140726688328048 140578440340336 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27405] ppid=27341 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27405/stat : 27405 (java) S 27341 27344 20959 0 -1 1077944384 2 13456 0 0 0 0 5 3 20 0 15 0 408216957 11078594560 10527 33554432000 4194304 4196468 140726688328048 140577836361552 140579135186843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27406] ppid=27341 vsize=10818940 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27344/task/27406/stat : 27406 (java) R 27341 27344 20959 0 -1 4202560 559 13456 0 0 1 0 5 3 20 0 15 0 408216957 11078594560 10527 33554432000 4194304 4196468 140726688328048 140578660740048 140579135178453 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27407] ppid=27341 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27407/stat : 27407 (java) S 27341 27344 20959 0 -1 1077944384 57 13456 0 0 0 0 5 3 20 0 15 0 408216957 11078594560 10527 33554432000 4194304 4196468 140726688328048 140578659687152 140579135179394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27408] ppid=27341 vsize=10818940 memory=140606543033984 CPUtime=0.11 cores=0,2,4,6
/proc/27344/task/27408/stat : 27408 (java) R 27341 27344 20959 0 -1 4202560 645 13456 0 0 3 0 5 3 20 0 15 0 408216957 11078594560 10527 33554432000 4194304 4196468 140726688328048 140578658634352 140579135180182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27409] ppid=27341 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27409/stat : 27409 (java) S 27341 27344 20959 0 -1 1077944384 3 13456 0 0 0 0 5 3 20 0 15 0 408216957 11078594560 10527 33554432000 4194304 4196468 140726688328048 140577366600416 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27410] ppid=27341 vsize=10818940 memory=140606543033984 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27410/stat : 27410 (java) S 27341 27344 20959 0 -1 1077944384 1 13456 0 0 0 0 5 3 20 0 15 0 408216958 11078594560 10527 33554432000 4194304 4196468 140726688328048 140578657581744 140579135179394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 42108 KiB

[startup+0.31083 s]*
/proc/loadavg: 2.10 1.56 1.47 3/233 27410
/proc/meminfo: memFree=30973264/32770624 swapFree=67003364/67108860
[pid=27344] ppid=27341 vsize=10820096 memory=54016 CPUtime=0.4 cores=0,2,4,6
/proc/27344/stat : 27344 (java) S 27341 27344 20959 0 -1 1077944320 10670 13456 0 0 29 3 5 3 20 0 15 0 408216943 11079778304 13504 33554432000 4194304 4196468 140726688328048 140726688310592 140579135168247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
/proc/27344/statm: 2705024 13504 3281 1 0 2667149 0
[pid=27344/tid=27397] ppid=27341 vsize=10820096 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/27344/task/27397/stat : 27397 (java) R 27341 27344 20959 0 -1 4202560 7149 13456 0 0 19 2 5 3 20 0 15 0 408216952 11079778304 13504 33554432000 4194304 4196468 140726688328048 140579106967504 140578726707328 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27398] ppid=27341 vsize=10820096 memory=7228928657774891088 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27398/stat : 27398 (java) S 27341 27344 20959 0 -1 1077944384 2 13456 0 0 0 0 5 3 20 0 15 0 408216952 11079778304 13504 33554432000 4194304 4196468 140726688328048 140579139411088 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27399] ppid=27341 vsize=10820096 memory=2080 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27399/stat : 27399 (java) S 27341 27344 20959 0 -1 1077944384 2 13456 0 0 0 0 5 3 20 0 15 0 408216952 11079778304 13504 33554432000 4194304 4196468 140726688328048 140579054230544 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27400] ppid=27341 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27400/stat : 27400 (java) S 27341 27344 20959 0 -1 1077944384 1 13456 0 0 0 0 5 3 20 0 15 0 408216952 11079778304 13504 33554432000 4194304 4196468 140726688328048 140579053177744 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27401] ppid=27341 vsize=10820096 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27401/stat : 27401 (java) S 27341 27344 20959 0 -1 1077944384 2 13456 0 0 0 0 5 3 20 0 15 0 408216952 11079778304 13504 33554432000 4194304 4196468 140726688328048 140579052124944 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27402] ppid=27341 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27402/stat : 27402 (java) S 27341 27344 20959 0 -1 1077944384 2 13456 0 0 0 0 5 3 20 0 15 0 408216954 11079778304 13504 33554432000 4194304 4196468 140726688328048 140578661792112 140579135179394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27403] ppid=27341 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27403/stat : 27403 (java) S 27341 27344 20959 0 -1 1077944384 13 13456 0 0 0 0 5 3 20 0 15 0 408216954 11079778304 13504 33554432000 4194304 4196468 140726688328048 140578574558240 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27404] ppid=27341 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27404/stat : 27404 (java) S 27341 27344 20959 0 -1 1077944384 1 13456 0 0 0 0 5 3 20 0 15 0 408216955 11079778304 13504 33554432000 4194304 4196468 140726688328048 140578440340336 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27405] ppid=27341 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27405/stat : 27405 (java) S 27341 27344 20959 0 -1 1077944384 2 13456 0 0 0 0 5 3 20 0 15 0 408216957 11079778304 13504 33554432000 4194304 4196468 140726688328048 140577836361552 140579135186843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27406] ppid=27341 vsize=10820096 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27344/task/27406/stat : 27406 (java) S 27341 27344 20959 0 -1 1077944384 560 13456 0 0 1 0 5 3 20 0 15 0 408216957 11079778304 13504 33554432000 4194304 4196468 140726688328048 140578660739952 140579135179394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27407] ppid=27341 vsize=10820096 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27344/task/27407/stat : 27407 (java) S 27341 27344 20959 0 -1 1077944384 58 13456 0 0 1 0 5 3 20 0 15 0 408216957 11079778304 13504 33554432000 4194304 4196468 140726688328048 140578659687152 140579135179394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27408] ppid=27341 vsize=10820096 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/27344/task/27408/stat : 27408 (java) S 27341 27344 20959 0 -1 1077944384 669 13456 0 0 5 0 5 3 20 0 15 0 408216957 11079778304 13504 33554432000 4194304 4196468 140726688328048 140578658634352 140579135179394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27409] ppid=27341 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27409/stat : 27409 (java) S 27341 27344 20959 0 -1 1077944384 3 13456 0 0 0 0 5 3 20 0 15 0 408216957 11079778304 13504 33554432000 4194304 4196468 140726688328048 140577366600416 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27410] ppid=27341 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27410/stat : 27410 (java) S 27341 27344 20959 0 -1 1077944384 1 13456 0 0 0 0 5 3 20 0 15 0 408216958 11079778304 13504 33554432000 4194304 4196468 140726688328048 140578657581744 140579135179394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 54016 KiB

[startup+0.700726 s]
/proc/loadavg: 2.10 1.56 1.47 6/233 27410
/proc/meminfo: memFree=30957196/32770624 swapFree=67003364/67108860
[pid=27344] ppid=27341 vsize=10824340 memory=84748 CPUtime=1.14 cores=0,2,4,6
/proc/27344/stat : 27344 (java) S 27341 27344 20959 0 -1 1077944320 14860 13456 0 0 100 6 5 3 20 0 15 0 408216943 11084124160 21187 33554432000 4194304 4196468 140726688328048 140726688310592 140579135168247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
/proc/27344/statm: 2706085 21187 3508 1 0 2668173 0
[pid=27344/tid=27397] ppid=27341 vsize=10824340 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/27344/task/27397/stat : 27397 (java) R 27341 27344 20959 0 -1 4202560 10502 13456 0 0 55 5 5 3 20 0 15 0 408216952 11084124160 21187 33554432000 4194304 4196468 140726688328048 140579106997824 140579135190173 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27398] ppid=27341 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27398/stat : 27398 (java) S 27341 27344 20959 0 -1 1077944384 2 13456 0 0 0 0 5 3 20 0 15 0 408216952 11084124160 21187 33554432000 4194304 4196468 140726688328048 140579139411088 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27399] ppid=27341 vsize=10824340 memory=3280 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27399/stat : 27399 (java) S 27341 27344 20959 0 -1 1077944384 2 13456 0 0 0 0 5 3 20 0 15 0 408216952 11084124160 21187 33554432000 4194304 4196468 140726688328048 140579054230544 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27400] ppid=27341 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27400/stat : 27400 (java) S 27341 27344 20959 0 -1 1077944384 1 13456 0 0 0 0 5 3 20 0 15 0 408216952 11084124160 21187 33554432000 4194304 4196468 140726688328048 140579053177744 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27401] ppid=27341 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27401/stat : 27401 (java) S 27341 27344 20959 0 -1 1077944384 2 13456 0 0 0 0 5 3 20 0 15 0 408216952 11084124160 21187 33554432000 4194304 4196468 140726688328048 140579052124944 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27402] ppid=27341 vsize=10824340 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27402/stat : 27402 (java) S 27341 27344 20959 0 -1 1077944384 5 13456 0 0 0 0 5 3 20 0 15 0 408216954 11084124160 21187 33554432000 4194304 4196468 140726688328048 140578661792112 140579135179394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27403] ppid=27341 vsize=10824340 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27403/stat : 27403 (java) S 27341 27344 20959 0 -1 1077944384 13 13456 0 0 0 0 5 3 20 0 15 0 408216954 11084124160 21187 33554432000 4194304 4196468 140726688328048 140578574558240 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27404] ppid=27341 vsize=10824340 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27404/stat : 27404 (java) S 27341 27344 20959 0 -1 1077944384 1 13456 0 0 0 0 5 3 20 0 15 0 408216955 11084124160 21187 33554432000 4194304 4196468 140726688328048 140578440340336 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27405] ppid=27341 vsize=10824340 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27405/stat : 27405 (java) S 27341 27344 20959 0 -1 1077944384 2 13456 0 0 0 0 5 3 20 0 15 0 408216957 11084124160 21187 33554432000 4194304 4196468 140726688328048 140577836361552 140579135186843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27406] ppid=27341 vsize=10824340 memory=13252 CPUtime=0.23 cores=0,2,4,6
/proc/27344/task/27406/stat : 27406 (java) S 27341 27344 20959 0 -1 1077944384 932 13456 0 0 15 0 5 3 20 0 15 0 408216957 11084124160 21187 33554432000 4194304 4196468 140726688328048 140578660739952 140579135179394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27407] ppid=27341 vsize=10824340 memory=15460 CPUtime=0.2 cores=0,2,4,6
/proc/27344/task/27407/stat : 27407 (java) S 27341 27344 20959 0 -1 1077944384 311 13456 0 0 12 0 5 3 20 0 15 0 408216957 11084124160 21187 33554432000 4194304 4196468 140726688328048 140578659687152 140579135179394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27408] ppid=27341 vsize=10824340 memory=17668 CPUtime=0.24 cores=0,2,4,6
/proc/27344/task/27408/stat : 27408 (java) S 27341 27344 20959 0 -1 1077944384 878 13456 0 0 16 0 5 3 20 0 15 0 408216957 11084124160 21187 33554432000 4194304 4196468 140726688328048 140578658634352 140579135179394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27409] ppid=27341 vsize=10824340 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27409/stat : 27409 (java) S 27341 27344 20959 0 -1 1077944384 3 13456 0 0 0 0 5 3 20 0 15 0 408216957 11084124160 21187 33554432000 4194304 4196468 140726688328048 140577366600416 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27410] ppid=27341 vsize=10824340 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27410/stat : 27410 (java) S 27341 27344 20959 0 -1 1077944384 1 13456 0 0 0 0 5 3 20 0 15 0 408216958 11084124160 21187 33554432000 4194304 4196468 140726688328048 140578657581744 140579135179394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 84748 KiB

[startup+1.50068 s]
/proc/loadavg: 2.10 1.56 1.47 3/233 27410
/proc/meminfo: memFree=30920468/32770624 swapFree=67003364/67108860
[pid=27344] ppid=27341 vsize=10834656 memory=176056 CPUtime=2.66 cores=0,2,4,6
/proc/27344/stat : 27344 (java) S 27341 27344 20959 0 -1 1077944320 21375 13456 0 0 246 12 5 3 20 0 15 0 408216943 11094687744 44014 33554432000 4194304 4196468 140726688328048 140726688310592 140579135168247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
/proc/27344/statm: 2708664 44014 3579 1 0 2670733 0
[pid=27344/tid=27397] ppid=27341 vsize=10834656 memory=0 CPUtime=1.44 cores=0,2,4,6
/proc/27344/task/27397/stat : 27397 (java) R 27341 27344 20959 0 -1 4202560 15131 13456 0 0 129 7 5 3 20 0 15 0 408216952 11094687744 44014 33554432000 4194304 4196468 140726688328048 140579106992624 140579120413581 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27398] ppid=27341 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27344/task/27398/stat : 27398 (java) S 27341 27344 20959 0 -1 1077944384 303 13456 0 0 1 0 5 3 20 0 15 0 408216952 11094687744 44014 33554432000 4194304 4196468 140726688328048 140579139411088 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27399] ppid=27341 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27344/task/27399/stat : 27399 (java) S 27341 27344 20959 0 -1 1077944384 54 13456 0 0 1 0 5 3 20 0 15 0 408216952 11094687744 44014 33554432000 4194304 4196468 140726688328048 140579054230544 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27400] ppid=27341 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27344/task/27400/stat : 27400 (java) S 27341 27344 20959 0 -1 1077944384 19 13456 0 0 1 0 5 3 20 0 15 0 408216952 11094687744 44014 33554432000 4194304 4196468 140726688328048 140579053177744 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27401] ppid=27341 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27344/task/27401/stat : 27401 (java) S 27341 27344 20959 0 -1 1077944384 98 13456 0 0 1 0 5 3 20 0 15 0 408216952 11094687744 44014 33554432000 4194304 4196468 140726688328048 140579052124944 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27402] ppid=27341 vsize=10834656 memory=-7965959130280075168 CPUtime=0.09 cores=0,2,4,6
/proc/27344/task/27402/stat : 27402 (java) S 27341 27344 20959 0 -1 1077944384 129 13456 0 0 1 0 5 3 20 0 15 0 408216954 11094687744 44014 33554432000 4194304 4196468 140726688328048 140578661792112 140579135179394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27403] ppid=27341 vsize=10834656 memory=281212849563904 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27403/stat : 27403 (java) S 27341 27344 20959 0 -1 1077944384 14 13456 0 0 0 0 5 3 20 0 15 0 408216954 11094687744 44014 33554432000 4194304 4196468 140726688328048 140578574558304 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27404] ppid=27341 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27404/stat : 27404 (java) S 27341 27344 20959 0 -1 1077944384 1 13456 0 0 0 0 5 3 20 0 15 0 408216955 11094687744 44014 33554432000 4194304 4196468 140726688328048 140578440340352 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27405] ppid=27341 vsize=10834656 memory=8252 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27405/stat : 27405 (java) S 27341 27344 20959 0 -1 1077944384 2 13456 0 0 0 0 5 3 20 0 15 0 408216957 11094687744 44014 33554432000 4194304 4196468 140726688328048 140577836361552 140579135186843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27406] ppid=27341 vsize=10834656 memory=5912 CPUtime=0.43 cores=0,2,4,6
/proc/27344/task/27406/stat : 27406 (java) S 27341 27344 20959 0 -1 1077944384 1108 13456 0 0 35 0 5 3 20 0 15 0 408216957 11094687744 44014 33554432000 4194304 4196468 140726688328048 140578660739952 140579135179394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27407] ppid=27341 vsize=10834656 memory=1056 CPUtime=0.4 cores=0,2,4,6
/proc/27344/task/27407/stat : 27407 (java) S 27341 27344 20959 0 -1 1077944384 787 13456 0 0 32 0 5 3 20 0 15 0 408216957 11094687744 44014 33554432000 4194304 4196468 140726688328048 140578659687152 140579135179394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27408] ppid=27341 vsize=10834656 memory=1540 CPUtime=0.51 cores=0,2,4,6
/proc/27344/task/27408/stat : 27408 (java) R 27341 27344 20959 0 -1 1077944384 1520 13456 0 0 43 0 5 3 20 0 15 0 408216957 11094687744 44014 33554432000 4194304 4196468 140726688328048 140578658634352 140579135179394 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27409] ppid=27341 vsize=10834656 memory=728 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27409/stat : 27409 (java) S 27341 27344 20959 0 -1 1077944384 3 13456 0 0 0 0 5 3 20 0 15 0 408216957 11094687744 44014 33554432000 4194304 4196468 140726688328048 140577366600416 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27410] ppid=27341 vsize=10834656 memory=3436 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27410/stat : 27410 (java) S 27341 27344 20959 0 -1 1077944384 1 13456 0 0 0 0 5 3 20 0 15 0 408216958 11094687744 44014 33554432000 4194304 4196468 140726688328048 140578657581744 140579135179394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 10834656 KiB

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

[startup+12.7008 s]
/proc/loadavg: 1.94 1.55 1.47 3/233 27410
/proc/meminfo: memFree=30372700/32770624 swapFree=67003364/67108860
[pid=27344] ppid=27341 vsize=10846964 memory=710364 CPUtime=25.86 cores=0,2,4,6
/proc/27344/stat : 27344 (java) S 27341 27344 20959 0 -1 1077944320 79320 13456 0 0 2536 42 5 3 20 0 15 0 408216943 11107291136 177591 33554432000 4194304 4196468 140726688328048 140726688310592 140579135168247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
/proc/27344/statm: 2711741 177591 3624 1 0 2673805 0
[pid=27344/tid=27397] ppid=27341 vsize=10846964 memory=698076 CPUtime=12.48 cores=0,2,4,6
/proc/27344/task/27397/stat : 27397 (java) R 27341 27344 20959 0 -1 4202560 24729 13456 0 0 1222 18 5 3 20 0 15 0 408216952 11107291136 177591 33554432000 4194304 4196468 140726688328048 140579107000432 140579117689451 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27398] ppid=27341 vsize=10846964 memory=710364 CPUtime=0.16 cores=0,2,4,6
/proc/27344/task/27398/stat : 27398 (java) S 27341 27344 20959 0 -1 1077944384 1455 13456 0 0 7 1 5 3 20 0 15 0 408216952 11107291136 177591 33554432000 4194304 4196468 140726688328048 140579139411088 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27399] ppid=27341 vsize=10846964 memory=3280 CPUtime=0.16 cores=0,2,4,6
/proc/27344/task/27399/stat : 27399 (java) S 27341 27344 20959 0 -1 1077944384 191 13456 0 0 7 1 5 3 20 0 15 0 408216952 11107291136 177591 33554432000 4194304 4196468 140726688328048 140579054230544 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27400] ppid=27341 vsize=10846964 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/27344/task/27400/stat : 27400 (java) S 27341 27344 20959 0 -1 1077944384 609 13456 0 0 7 1 5 3 20 0 15 0 408216952 11107291136 177591 33554432000 4194304 4196468 140726688328048 140579053177744 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27401] ppid=27341 vsize=10846964 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/27344/task/27401/stat : 27401 (java) S 27341 27344 20959 0 -1 1077944384 379 13456 0 0 6 1 5 3 20 0 15 0 408216952 11107291136 177591 33554432000 4194304 4196468 140726688328048 140579052124944 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27402] ppid=27341 vsize=10846964 memory=281212849555392 CPUtime=0.14 cores=0,2,4,6
/proc/27344/task/27402/stat : 27402 (java) S 27341 27344 20959 0 -1 1077944384 3716 13456 0 0 5 1 5 3 20 0 15 0 408216954 11107291136 177591 33554432000 4194304 4196468 140726688328048 140578661792112 140579135179394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27403] ppid=27341 vsize=10846964 memory=7881696724453321575 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27403/stat : 27403 (java) S 27341 27344 20959 0 -1 1077944384 15 13456 0 0 0 0 5 3 20 0 15 0 408216954 11107291136 177591 33554432000 4194304 4196468 140726688328048 140578574558304 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27404] ppid=27341 vsize=10846964 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27404/stat : 27404 (java) S 27341 27344 20959 0 -1 1077944384 6 13456 0 0 0 0 5 3 20 0 15 0 408216955 11107291136 177591 33554432000 4194304 4196468 140726688328048 140578440340352 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27405] ppid=27341 vsize=10846964 memory=7669180900664632174 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27405/stat : 27405 (java) S 27341 27344 20959 0 -1 1077944384 2 13456 0 0 0 0 5 3 20 0 15 0 408216957 11107291136 177591 33554432000 4194304 4196468 140726688328048 140577836361552 140579135186843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27406] ppid=27341 vsize=10846964 memory=7301289846309218149 CPUtime=4.85 cores=0,2,4,6
/proc/27344/task/27406/stat : 27406 (java) S 27341 27344 20959 0 -1 1077944384 14613 13456 0 0 473 4 5 3 20 0 15 0 408216957 11107291136 177591 33554432000 4194304 4196468 140726688328048 140578660739952 140579135179394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27407] ppid=27341 vsize=10846964 memory=33 CPUtime=4.7 cores=0,2,4,6
/proc/27344/task/27407/stat : 27407 (java) S 27341 27344 20959 0 -1 1077944384 14697 13456 0 0 458 4 5 3 20 0 15 0 408216957 11107291136 177591 33554432000 4194304 4196468 140726688328048 140578659687152 140579135179394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27408] ppid=27341 vsize=10846964 memory=0 CPUtime=3.59 cores=0,2,4,6
/proc/27344/task/27408/stat : 27408 (java) S 27341 27344 20959 0 -1 1077944384 15405 13456 0 0 345 6 5 3 20 0 15 0 408216957 11107291136 177591 33554432000 4194304 4196468 140726688328048 140578658634352 140579135179394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27409] ppid=27341 vsize=10846964 memory=7956019342284947518 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27409/stat : 27409 (java) S 27341 27344 20959 0 -1 1077944384 3 13456 0 0 0 0 5 3 20 0 15 0 408216957 11107291136 177591 33554432000 4194304 4196468 140726688328048 140577366600416 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27410] ppid=27341 vsize=10846964 memory=281212850217440 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27410/stat : 27410 (java) S 27341 27344 20959 0 -1 1077944384 1295 13456 0 0 0 0 5 3 20 0 15 0 408216958 11107291136 177591 33554432000 4194304 4196468 140726688328048 140578657581744 140579135179394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
Current children cumulated CPU time: 25.86 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 710364 KiB

[startup+13.9002 s]
# the end of solver process 27344 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=26.6351 s, system=0.47505 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+12.801 s]
/proc/loadavg: 1.94 1.55 1.47 3/233 27410
/proc/meminfo: memFree=30372700/32770624 swapFree=67003364/67108860
[pid=27344] ppid=27341 vsize=10846964 memory=710364 CPUtime=25.96 cores=0,2,4,6
/proc/27344/stat : 27344 (java) S 27341 27344 20959 0 -1 1077944320 79341 13456 0 0 2546 42 5 3 20 0 15 0 408216943 11107291136 177591 33554432000 4194304 4196468 140726688328048 140726688310592 140579135168247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
/proc/27344/statm: 2711741 177591 3624 1 0 2673805 0
[pid=27344/tid=27397] ppid=27341 vsize=10846964 memory=258033045263840 CPUtime=12.58 cores=0,2,4,6
/proc/27344/task/27397/stat : 27397 (java) R 27341 27344 20959 0 -1 4202560 24750 13456 0 0 1232 18 5 3 20 0 15 0 408216952 11107291136 177591 33554432000 4194304 4196468 140726688328048 140579107000432 140578736202670 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27398] ppid=27341 vsize=10846964 memory=258033045263841 CPUtime=0.16 cores=0,2,4,6
/proc/27344/task/27398/stat : 27398 (java) S 27341 27344 20959 0 -1 1077944384 1455 13456 0 0 7 1 5 3 20 0 15 0 408216952 11107291136 177591 33554432000 4194304 4196468 140726688328048 140579139411088 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27399] ppid=27341 vsize=10846964 memory=258033045263842 CPUtime=0.16 cores=0,2,4,6
/proc/27344/task/27399/stat : 27399 (java) S 27341 27344 20959 0 -1 1077944384 191 13456 0 0 7 1 5 3 20 0 15 0 408216952 11107291136 177591 33554432000 4194304 4196468 140726688328048 140579054230544 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27400] ppid=27341 vsize=10846964 memory=281212850036896 CPUtime=0.16 cores=0,2,4,6
/proc/27344/task/27400/stat : 27400 (java) S 27341 27344 20959 0 -1 1077944384 609 13456 0 0 7 1 5 3 20 0 15 0 408216952 11107291136 177591 33554432000 4194304 4196468 140726688328048 140579053177744 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27401] ppid=27341 vsize=10846964 memory=576587674381544995 CPUtime=0.15 cores=0,2,4,6
/proc/27344/task/27401/stat : 27401 (java) S 27341 27344 20959 0 -1 1077944384 379 13456 0 0 6 1 5 3 20 0 15 0 408216952 11107291136 177591 33554432000 4194304 4196468 140726688328048 140579052124944 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27402] ppid=27341 vsize=10846964 memory=288283394117469022 CPUtime=0.14 cores=0,2,4,6
/proc/27344/task/27402/stat : 27402 (java) S 27341 27344 20959 0 -1 1077944384 3716 13456 0 0 5 1 5 3 20 0 15 0 408216954 11107291136 177591 33554432000 4194304 4196468 140726688328048 140578661792112 140579135179394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27403] ppid=27341 vsize=10846964 memory=288230376154712417 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27403/stat : 27403 (java) S 27341 27344 20959 0 -1 1077944384 15 13456 0 0 0 0 5 3 20 0 15 0 408216954 11107291136 177591 33554432000 4194304 4196468 140726688328048 140578574558304 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27404] ppid=27341 vsize=10846964 memory=118577 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27404/stat : 27404 (java) S 27341 27344 20959 0 -1 1077944384 6 13456 0 0 0 0 5 3 20 0 15 0 408216955 11107291136 177591 33554432000 4194304 4196468 140726688328048 140578440340352 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27405] ppid=27341 vsize=10846964 memory=593504 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27405/stat : 27405 (java) S 27341 27344 20959 0 -1 1077944384 2 13456 0 0 0 0 5 3 20 0 15 0 408216957 11107291136 177591 33554432000 4194304 4196468 140726688328048 140577836361552 140579135186843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27406] ppid=27341 vsize=10846964 memory=14694080391154107 CPUtime=4.85 cores=0,2,4,6
/proc/27344/task/27406/stat : 27406 (java) S 27341 27344 20959 0 -1 1077944384 14613 13456 0 0 473 4 5 3 20 0 15 0 408216957 11107291136 177591 33554432000 4194304 4196468 140726688328048 140578660739952 140579135179394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27407] ppid=27341 vsize=10846964 memory=12024 CPUtime=4.7 cores=0,2,4,6
/proc/27344/task/27407/stat : 27407 (java) S 27341 27344 20959 0 -1 1077944384 14697 13456 0 0 458 4 5 3 20 0 15 0 408216957 11107291136 177591 33554432000 4194304 4196468 140726688328048 140578659687152 140579135179394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27408] ppid=27341 vsize=10846964 memory=2116 CPUtime=3.59 cores=0,2,4,6
/proc/27344/task/27408/stat : 27408 (java) S 27341 27344 20959 0 -1 1077944384 15405 13456 0 0 345 6 5 3 20 0 15 0 408216957 11107291136 177591 33554432000 4194304 4196468 140726688328048 140578658634352 140579135179394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27409] ppid=27341 vsize=10846964 memory=20088 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27409/stat : 27409 (java) S 27341 27344 20959 0 -1 1077944384 3 13456 0 0 0 0 5 3 20 0 15 0 408216957 11107291136 177591 33554432000 4194304 4196468 140726688328048 140577366600416 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27410] ppid=27341 vsize=10846964 memory=600300 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27410/stat : 27410 (java) S 27341 27344 20959 0 -1 1077944384 1295 13456 0 0 0 0 5 3 20 0 15 0 408216958 11107291136 177591 33554432000 4194304 4196468 140726688328048 140578657581744 140579135179394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
Current children cumulated CPU time: 25.96 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 710364 KiB

[startup+13.6007 s]
/proc/loadavg: 1.94 1.55 1.47 3/233 27410
/proc/meminfo: memFree=30315324/32770624 swapFree=67003364/67108860
[pid=27344] ppid=27341 vsize=10846964 memory=714584 CPUtime=26.79 cores=0,2,4,6
/proc/27344/stat : 27344 (java) S 27341 27344 20959 0 -1 1077944320 80057 13456 0 0 2629 42 5 3 20 0 15 0 408216943 11107291136 178646 33554432000 4194304 4196468 140726688328048 140726688310592 140579135168247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
/proc/27344/statm: 2711741 178646 3624 1 0 2673805 0
[pid=27344/tid=27397] ppid=27341 vsize=10846964 memory=4137293581110450563 CPUtime=13.37 cores=0,2,4,6
/proc/27344/task/27397/stat : 27397 (java) R 27341 27344 20959 0 -1 4202560 24751 13456 0 0 1311 18 5 3 20 0 15 0 408216952 11107291136 178646 33554432000 4194304 4196468 140726688328048 140579107003576 140578745030311 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27398] ppid=27341 vsize=10846964 memory=8761640388318109335 CPUtime=0.16 cores=0,2,4,6
/proc/27344/task/27398/stat : 27398 (java) S 27341 27344 20959 0 -1 1077944384 1457 13456 0 0 7 1 5 3 20 0 15 0 408216952 11107291136 178646 33554432000 4194304 4196468 140726688328048 140579139411088 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27399] ppid=27341 vsize=10846964 memory=6791534058613427641 CPUtime=0.16 cores=0,2,4,6
/proc/27344/task/27399/stat : 27399 (java) S 27341 27344 20959 0 -1 1077944384 193 13456 0 0 7 1 5 3 20 0 15 0 408216952 11107291136 178646 33554432000 4194304 4196468 140726688328048 140579054230544 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27400] ppid=27341 vsize=10846964 memory=2052 CPUtime=0.16 cores=0,2,4,6
/proc/27344/task/27400/stat : 27400 (java) S 27341 27344 20959 0 -1 1077944384 612 13456 0 0 7 1 5 3 20 0 15 0 408216952 11107291136 178646 33554432000 4194304 4196468 140726688328048 140579053177744 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27401] ppid=27341 vsize=10846964 memory=1220 CPUtime=0.15 cores=0,2,4,6
/proc/27344/task/27401/stat : 27401 (java) S 27341 27344 20959 0 -1 1077944384 381 13456 0 0 6 1 5 3 20 0 15 0 408216952 11107291136 178646 33554432000 4194304 4196468 140726688328048 140579052124944 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27402] ppid=27341 vsize=10846964 memory=1616 CPUtime=0.15 cores=0,2,4,6
/proc/27344/task/27402/stat : 27402 (java) S 27341 27344 20959 0 -1 1077944384 3716 13456 0 0 6 1 5 3 20 0 15 0 408216954 11107291136 178646 33554432000 4194304 4196468 140726688328048 140578661792112 140579135179394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27403] ppid=27341 vsize=10846964 memory=784 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27403/stat : 27403 (java) S 27341 27344 20959 0 -1 1077944384 15 13456 0 0 0 0 5 3 20 0 15 0 408216954 11107291136 178646 33554432000 4194304 4196468 140726688328048 140578574558304 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27404] ppid=27341 vsize=10846964 memory=8252 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27404/stat : 27404 (java) S 27341 27344 20959 0 -1 1077944384 6 13456 0 0 0 0 5 3 20 0 15 0 408216955 11107291136 178646 33554432000 4194304 4196468 140726688328048 140578440340352 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27405] ppid=27341 vsize=10846964 memory=5912 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27405/stat : 27405 (java) S 27341 27344 20959 0 -1 1077944384 2 13456 0 0 0 0 5 3 20 0 15 0 408216957 11107291136 178646 33554432000 4194304 4196468 140726688328048 140577836361552 140579135186843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27406] ppid=27341 vsize=10846964 memory=1056 CPUtime=4.86 cores=0,2,4,6
/proc/27344/task/27406/stat : 27406 (java) S 27341 27344 20959 0 -1 1077944384 15080 13456 0 0 474 4 5 3 20 0 15 0 408216957 11107291136 178646 33554432000 4194304 4196468 140726688328048 140578660739952 140579135179394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27407] ppid=27341 vsize=10846964 memory=1540 CPUtime=4.71 cores=0,2,4,6
/proc/27344/task/27407/stat : 27407 (java) S 27341 27344 20959 0 -1 1077944384 14848 13456 0 0 459 4 5 3 20 0 15 0 408216957 11107291136 178646 33554432000 4194304 4196468 140726688328048 140578659687152 140579135179394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27408] ppid=27341 vsize=10846964 memory=728 CPUtime=3.59 cores=0,2,4,6
/proc/27344/task/27408/stat : 27408 (java) S 27341 27344 20959 0 -1 1077944384 15493 13456 0 0 345 6 5 3 20 0 15 0 408216957 11107291136 178646 33554432000 4194304 4196468 140726688328048 140578658634352 140579135179394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27409] ppid=27341 vsize=10846964 memory=3436 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27409/stat : 27409 (java) S 27341 27344 20959 0 -1 1077944384 3 13456 0 0 0 0 5 3 20 0 15 0 408216957 11107291136 178646 33554432000 4194304 4196468 140726688328048 140577366600416 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27410] ppid=27341 vsize=10846964 memory=2832 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27410/stat : 27410 (java) S 27341 27344 20959 0 -1 1077944384 1295 13456 0 0 0 0 5 3 20 0 15 0 408216958 11107291136 178646 33554432000 4194304 4196468 140726688328048 140578657581744 140579135179394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
Current children cumulated CPU time: 26.79 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 714584 KiB

[startup+13.8007 s]
/proc/loadavg: 1.94 1.55 1.47 3/233 27410
/proc/meminfo: memFree=30315324/32770624 swapFree=67003364/67108860
[pid=27344] ppid=27341 vsize=10846964 memory=714584 CPUtime=27 cores=0,2,4,6
/proc/27344/stat : 27344 (java) S 27341 27344 20959 0 -1 1077944320 80238 13456 0 0 2650 42 5 3 20 0 15 0 408216943 11107291136 178646 33554432000 4194304 4196468 140726688328048 140726688310592 140579135168247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
/proc/27344/statm: 2711741 178646 3624 1 0 2673805 0
[pid=27344/tid=27397] ppid=27341 vsize=10846964 memory=6791534058613427641 CPUtime=13.57 cores=0,2,4,6
/proc/27344/task/27397/stat : 27397 (java) R 27341 27344 20959 0 -1 4202560 24764 13456 0 0 1331 18 5 3 20 0 15 0 408216952 11107291136 178646 33554432000 4194304 4196468 140726688328048 140579107003576 140578744610308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27398] ppid=27341 vsize=10846964 memory=7017541019318971288 CPUtime=0.16 cores=0,2,4,6
/proc/27344/task/27398/stat : 27398 (java) S 27341 27344 20959 0 -1 1077944384 1457 13456 0 0 7 1 5 3 20 0 15 0 408216952 11107291136 178646 33554432000 4194304 4196468 140726688328048 140579139411088 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27399] ppid=27341 vsize=10846964 memory=7684433386921362195 CPUtime=0.16 cores=0,2,4,6
/proc/27344/task/27399/stat : 27399 (java) S 27341 27344 20959 0 -1 1077944384 193 13456 0 0 7 1 5 3 20 0 15 0 408216952 11107291136 178646 33554432000 4194304 4196468 140726688328048 140579054230544 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27400] ppid=27341 vsize=10846964 memory=-9062862659931694204 CPUtime=0.16 cores=0,2,4,6
/proc/27344/task/27400/stat : 27400 (java) S 27341 27344 20959 0 -1 1077944384 612 13456 0 0 7 1 5 3 20 0 15 0 408216952 11107291136 178646 33554432000 4194304 4196468 140726688328048 140579053177744 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27401] ppid=27341 vsize=10846964 memory=-6519613052471072158 CPUtime=0.15 cores=0,2,4,6
/proc/27344/task/27401/stat : 27401 (java) S 27341 27344 20959 0 -1 1077944384 381 13456 0 0 6 1 5 3 20 0 15 0 408216952 11107291136 178646 33554432000 4194304 4196468 140726688328048 140579052124944 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27402] ppid=27341 vsize=10846964 memory=-7812800577974661511 CPUtime=0.15 cores=0,2,4,6
/proc/27344/task/27402/stat : 27402 (java) S 27341 27344 20959 0 -1 1077944384 3716 13456 0 0 6 1 5 3 20 0 15 0 408216954 11107291136 178646 33554432000 4194304 4196468 140726688328048 140578661792112 140579135179394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27403] ppid=27341 vsize=10846964 memory=-6957061461084680038 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27403/stat : 27403 (java) S 27341 27344 20959 0 -1 1077944384 15 13456 0 0 0 0 5 3 20 0 15 0 408216954 11107291136 178646 33554432000 4194304 4196468 140726688328048 140578574558304 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27404] ppid=27341 vsize=10846964 memory=6935054825532540783 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27404/stat : 27404 (java) S 27341 27344 20959 0 -1 1077944384 6 13456 0 0 0 0 5 3 20 0 15 0 408216955 11107291136 178646 33554432000 4194304 4196468 140726688328048 140578440340352 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27405] ppid=27341 vsize=10846964 memory=140606543046513 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27405/stat : 27405 (java) S 27341 27344 20959 0 -1 1077944384 2 13456 0 0 0 0 5 3 20 0 15 0 408216957 11107291136 178646 33554432000 4194304 4196468 140726688328048 140577836361552 140579135186843 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27406] ppid=27341 vsize=10846964 memory=4641642682663136620 CPUtime=4.86 cores=0,2,4,6
/proc/27344/task/27406/stat : 27406 (java) S 27341 27344 20959 0 -1 1077944384 15080 13456 0 0 474 4 5 3 20 0 15 0 408216957 11107291136 178646 33554432000 4194304 4196468 140726688328048 140578660739952 140579135179394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27407] ppid=27341 vsize=10846964 memory=7230922094233872490 CPUtime=4.72 cores=0,2,4,6
/proc/27344/task/27407/stat : 27407 (java) S 27341 27344 20959 0 -1 1077944384 15016 13456 0 0 460 4 5 3 20 0 15 0 408216957 11107291136 178646 33554432000 4194304 4196468 140726688328048 140578659687152 140579135179394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27408] ppid=27341 vsize=10846964 memory=7228928657774891088 CPUtime=3.59 cores=0,2,4,6
/proc/27344/task/27408/stat : 27408 (java) S 27341 27344 20959 0 -1 1077944384 15493 13456 0 0 345 6 5 3 20 0 15 0 408216957 11107291136 178646 33554432000 4194304 4196468 140726688328048 140578658634352 140579135179394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27409] ppid=27341 vsize=10846964 memory=2536 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27409/stat : 27409 (java) S 27341 27344 20959 0 -1 1077944384 3 13456 0 0 0 0 5 3 20 0 15 0 408216957 11107291136 178646 33554432000 4194304 4196468 140726688328048 140577366600416 140579135178453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
[pid=27344/tid=27410] ppid=27341 vsize=10846964 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27344/task/27410/stat : 27410 (java) S 27341 27344 20959 0 -1 1077944384 1295 13456 0 0 0 0 5 3 20 0 15 0 408216958 11107291136 178646 33554432000 4194304 4196468 140726688328048 140578657581744 140579135179394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140726688336630 140726688339141 140726688339141 140726688341967 0
Current children cumulated CPU time: 27 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 714584 KiB

Child status: 0
Real time (s): 13.9003
CPU time (s): 27.1101
CPU user time (s): 26.6351
CPU system time (s): 0.47505
CPU usage (%): 195.033
Max. virtual memory (cumulated for all children) (KiB): 10852424
Max. memory (cumulated for all children) (KiB): 714584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.6351
system time used= 0.47505
maximum resident set size= 722808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94345
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15710
involuntary context switches= 96


# summary of solver processes directly reported to runsolver:
#   pid: 27344
#   total CPU time (s): 27.1101
#   total CPU user time (s): 26.6351
#   total CPU system time (s): 0.47505

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.110689 second user time and 0.173834 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-12 22:22:14
IDJOB=4391976
IDBENCH=134934
IDSOLVER=2837
FILE ID=node133/4391976-1568319773
RUNJOBID= node133-1568301421-20990
PBS_JOBID= 21701111
Free space on /tmp= 55080 MiB

SOLVER NAME= Concrete 3.10
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-dimacs/Pb-jnh210.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391976-1568319773/watcher-4391976-1568319773 -o /tmp/evaluation-result-4391976-1568319773/solver-4391976-1568319773 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568301421-20990 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=864123528 HOME/instance-4391976-1568319773.xml

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

MD5SUM BENCH= f39a9bf5a44612488abba91009ee18af
RANDOM SEED=864123528

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31015592 kB
MemAvailable:   31268580 kB
Buffers:          123244 kB
Cached:           414060 kB
SwapCached:         3552 kB
Active:           955028 kB
Inactive:         220884 kB
Active(anon):     663024 kB
Inactive(anon):    15692 kB
Active(file):     292004 kB
Inactive(file):   205192 kB
Unevictable:      111240 kB
Mlocked:          111240 kB
SwapTotal:      67108860 kB
SwapFree:       67003364 kB
Dirty:             34672 kB
Writeback:             0 kB
AnonPages:        874896 kB
Mapped:            56124 kB
Shmem:             31224 kB
Slab:             172132 kB
SReclaimable:     143252 kB
SUnreclaim:        28880 kB
KernelStack:        4080 kB
PageTables:         6652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1905816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    753664 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 55044 MiB
End job on node133 at 2019-09-12 22:22:28