Trace number 4281132

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)SAT 376.15701 132.548

General information on the benchmark

NameSuperSolutions/SuperSolutions-Sadeh-js/
SuperSadeh-js-e0ddr2-1.xml
MD5SUMf0da45100268329db1731396e5956751
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 benchmark10.162
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints845
Number of domains47
Minimum domain size112
Maximum domain size128
Distribution of domain sizes[{"size":112,"count":10},{"size":118,"count":10},{"size":119,"count":30},{"size":120,"count":10},{"size":125,"count":10},{"size":126,"count":10},{"size":127,"count":10},{"size":128,"count":10}]
Minimum variable degree11
Maximum variable degree23
Distribution of variable degrees[{"degree":11,"count":20},{"degree":12,"count":30},{"degree":21,"count":20},{"degree":23,"count":30}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":845}]
Number of extensional constraints0
Number of intensional constraints845
Distribution of constraint types[{"type":"intension","count":845}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281132-1503171172.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4281132-1503171172.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
184.30/108.39	c solve instance...
375.43/132.49	s SATISFIABLE
375.43/132.49	v <instantiation>
375.43/132.49	v 	<list>x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 </list>
375.43/132.49	v 	<values>26 19 35 39 48 49 64 69 79 81 3 50 75 61 95 94 111 110 119 120 41 43 54 52 64 67 83 82 95 96 98 72 118 117 128 129 137 136 145 146 72 73 85 86 112 111 129 130 134 135 4 2 15 16 23 24 35 34 48 49 10 16 25 22 35 34 50 57 65 64 1 0 10 11 14 13 24 23 31 32 34 32 64 45 83 81 97 96 106 105 90 48 104 122 138 136 153 154 160 159 </values>
375.43/132.49	v </instantiation>

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281132-1503171172/watcher-4281132-1503171172 -o /tmp/evaluation-result-4281132-1503171172/solver-4281132-1503171172 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1503165268-26491 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1233559147 HOME/instance-4281132-1503171172.xml 

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

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


[startup+0.100186 s]*
/proc/loadavg: 7.96 8.24 8.30 2/199 26864
/proc/meminfo: memFree=21367164/32770624 swapFree=67108860/67108860
[pid=26843] ppid=26840 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/26843/stat : 26843 (xcsp3-exec) S 26840 26843 26464 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150197945 9740288 346 33554432000 4194304 5098028 140733268715600 140733268713704 139813266305660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29331456 140733268718692 140733268718903 140733268718903 140733268721643 0
/proc/26843/statm: 2378 346 289 221 0 87 0
[pid=26845] ppid=26843 vsize=25999808 memory=26396 CPUtime=0.12 cores=0-7
/proc/26845/stat : 26845 (java) S 26843 26843 26464 0 -1 1077944320 5485 0 0 0 11 1 0 0 20 0 20 0 150197946 26623803392 6599 33554432000 4194304 4196468 140726703664960 140726703647504 139960388292343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
/proc/26845/statm: 6499952 6599 2881 1 0 6488269 0
[pid=26845/tid=26846] ppid=26843 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/26845/task/26846/stat : 26846 (java) R 26843 26843 26464 0 -1 4202560 3491 0 0 0 8 0 0 0 20 0 20 0 150197946 26623803392 6599 33554432000 4194304 4196468 140726703664960 139960392521520 139960388314269 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26847] ppid=26843 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26847/stat : 26847 (java) S 26843 26843 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150197947 26623803392 6599 33554432000 4194304 4196468 140726703664960 139960310872592 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26848] ppid=26843 vsize=25999808 memory=139872201143936 CPUtime=0 cores=0-7
/proc/26845/task/26848/stat : 26848 (java) S 26843 26843 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150197947 26623803392 6599 33554432000 4194304 4196468 140726703664960 139960309820048 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26849] ppid=26843 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26849/stat : 26849 (java) S 26843 26843 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150197947 26623803392 6599 33554432000 4194304 4196468 140726703664960 139960308766992 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26850] ppid=26843 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26850/stat : 26850 (java) S 26843 26843 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150197947 26623803392 6599 33554432000 4194304 4196468 140726703664960 139960307714448 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26851] ppid=26843 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26851/stat : 26851 (java) S 26843 26843 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150197947 26623803392 6599 33554432000 4194304 4196468 140726703664960 139960306662416 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26852] ppid=26843 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/26845/task/26852/stat : 26852 (java) S 26843 26843 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150197947 26623803392 6599 33554432000 4194304 4196468 140726703664960 139960305609872 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26853] ppid=26843 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26853/stat : 26853 (java) S 26843 26843 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150197947 26623803392 6599 33554432000 4194304 4196468 140726703664960 139960304556816 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26854] ppid=26843 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26854/stat : 26854 (java) S 26843 26843 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150197947 26623803392 6599 33554432000 4194304 4196468 140726703664960 139960303504272 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26855] ppid=26843 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26855/stat : 26855 (java) S 26843 26843 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150197948 26623803392 6599 33554432000 4194304 4196468 140726703664960 139959381018864 139960388303490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26856] ppid=26843 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26856/stat : 26856 (java) S 26843 26843 26464 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150197949 26623803392 6599 33554432000 4194304 4196468 140726703664960 139959379965088 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26857] ppid=26843 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26857/stat : 26857 (java) S 26843 26843 26464 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150197949 26623803392 6599 33554432000 4194304 4196468 140726703664960 139959378911984 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26858] ppid=26843 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26858/stat : 26858 (java) S 26843 26843 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150197951 26623803392 6599 33554432000 4194304 4196468 140726703664960 139959377860560 139960388310939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26859] ppid=26843 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26859/stat : 26859 (java) S 26843 26843 26464 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 20 0 150197951 26623803392 6599 33554432000 4194304 4196468 140726703664960 139959376808688 139960388303490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26860] ppid=26843 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26860/stat : 26860 (java) S 26843 26843 26464 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 20 0 150197951 26623803392 6599 33554432000 4194304 4196468 140726703664960 139959375756144 139960388303490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26861] ppid=26843 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26861/stat : 26861 (java) S 26843 26843 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150197951 26623803392 6599 33554432000 4194304 4196468 140726703664960 139959374703088 139960388303490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26862] ppid=26843 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/26845/task/26862/stat : 26862 (java) R 26843 26843 26464 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 20 0 150197951 26623803392 6599 33554432000 4194304 4196468 140726703664960 139959373650544 139960388313690 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26863] ppid=26843 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26863/stat : 26863 (java) S 26843 26843 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150197952 26623803392 6599 33554432000 4194304 4196468 140726703664960 139959372597728 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26864] ppid=26843 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/26845/task/26864/stat : 26864 (java) S 26843 26843 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150197952 26623803392 6599 33554432000 4194304 4196468 140726703664960 139959371545264 139960388303490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27780 KiB

[startup+0.21049 s]*
/proc/loadavg: 7.96 8.24 8.30 2/199 26864
/proc/meminfo: memFree=21354976/32770624 swapFree=67108860/67108860
[pid=26843] ppid=26840 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/26843/stat : 26843 (xcsp3-exec) S 26840 26843 26464 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150197945 9740288 346 33554432000 4194304 5098028 140733268715600 140733268713704 139813266305660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29331456 140733268718692 140733268718903 140733268718903 140733268721643 0
/proc/26843/statm: 2378 346 289 221 0 87 0
[pid=26845] ppid=26843 vsize=26004064 memory=38952 CPUtime=0.33 cores=0-7
/proc/26845/stat : 26845 (java) S 26843 26843 26464 0 -1 1077944320 8361 0 0 0 30 3 0 0 20 0 20 0 150197946 26628161536 9738 33554432000 4194304 4196468 140726703664960 140726703647504 139960388292343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
/proc/26845/statm: 6501016 9738 3062 1 0 6488269 0
[pid=26845/tid=26846] ppid=26843 vsize=26004096 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/26845/task/26846/stat : 26846 (java) R 26843 26843 26464 0 -1 4202560 5456 0 0 0 18 2 0 0 20 0 20 0 150197946 26628194304 9738 33554432000 4194304 4196468 140726703664960 139960392503152 139960381032333 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26847] ppid=26843 vsize=26004064 memory=330 CPUtime=0 cores=0-7
/proc/26845/task/26847/stat : 26847 (java) S 26843 26843 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150197947 26628161536 9738 33554432000 4194304 4196468 140726703664960 139960310872592 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26848] ppid=26843 vsize=26004064 memory=139872202147659 CPUtime=0 cores=0-7
/proc/26845/task/26848/stat : 26848 (java) S 26843 26843 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150197947 26628161536 9738 33554432000 4194304 4196468 140726703664960 139960309820048 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26849] ppid=26843 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/26845/task/26849/stat : 26849 (java) S 26843 26843 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150197947 26628161536 9738 33554432000 4194304 4196468 140726703664960 139960308766992 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26850] ppid=26843 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26850/stat : 26850 (java) S 26843 26843 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150197947 26628161536 9738 33554432000 4194304 4196468 140726703664960 139960307714448 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26851] ppid=26843 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26851/stat : 26851 (java) S 26843 26843 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150197947 26628161536 9738 33554432000 4194304 4196468 140726703664960 139960306662416 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26852] ppid=26843 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/26845/task/26852/stat : 26852 (java) S 26843 26843 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150197947 26628161536 9738 33554432000 4194304 4196468 140726703664960 139960305609872 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26853] ppid=26843 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26853/stat : 26853 (java) S 26843 26843 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150197947 26628194304 9738 33554432000 4194304 4196468 140726703664960 139960304556816 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26854] ppid=26843 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26854/stat : 26854 (java) S 26843 26843 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150197947 26628161536 9738 33554432000 4194304 4196468 140726703664960 139960303504272 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26855] ppid=26843 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26855/stat : 26855 (java) S 26843 26843 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150197948 26628161536 9738 33554432000 4194304 4196468 140726703664960 139959381018864 139960388303490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26856] ppid=26843 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26856/stat : 26856 (java) S 26843 26843 26464 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150197949 26628161536 9738 33554432000 4194304 4196468 140726703664960 139959379965088 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26857] ppid=26843 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26857/stat : 26857 (java) S 26843 26843 26464 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150197949 26628161536 9738 33554432000 4194304 4196468 140726703664960 139959378911984 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26858] ppid=26843 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26858/stat : 26858 (java) S 26843 26843 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150197951 26628161536 9738 33554432000 4194304 4196468 140726703664960 139959377860560 139960388310939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26859] ppid=26843 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/26845/task/26859/stat : 26859 (java) S 26843 26843 26464 0 -1 1077944384 297 0 0 0 1 0 0 0 20 0 20 0 150197951 26628161536 9738 33554432000 4194304 4196468 140726703664960 139959376808688 139960388303490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26860] ppid=26843 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/26845/task/26860/stat : 26860 (java) S 26843 26843 26464 0 -1 1077944384 317 0 0 0 1 0 0 0 20 0 20 0 150197951 26628194304 9738 33554432000 4194304 4196468 140726703664960 139959375756144 139960388303490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26861] ppid=26843 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/26845/task/26861/stat : 26861 (java) S 26843 26843 26464 0 -1 1077944384 200 0 0 0 1 0 0 0 20 0 20 0 150197951 26628161536 9738 33554432000 4194304 4196468 140726703664960 139959374703088 139960388303490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26862] ppid=26843 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/26845/task/26862/stat : 26862 (java) S 26843 26843 26464 0 -1 1077944384 788 0 0 0 7 0 0 0 20 0 20 0 150197951 26628161536 9738 33554432000 4194304 4196468 140726703664960 139959373650544 139960388303490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26863] ppid=26843 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26863/stat : 26863 (java) S 26843 26843 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150197952 26628161536 9738 33554432000 4194304 4196468 140726703664960 139959372597728 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26864] ppid=26843 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/26845/task/26864/stat : 26864 (java) S 26843 26843 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150197952 26628161536 9738 33554432000 4194304 4196468 140726703664960 139959371545264 139960388303490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40336 KiB

[startup+0.310282 s]*
/proc/loadavg: 7.96 8.24 8.30 4/199 26864
/proc/meminfo: memFree=21350524/32770624 swapFree=67108860/67108860
[pid=26843] ppid=26840 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/26843/stat : 26843 (xcsp3-exec) S 26840 26843 26464 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150197945 9740288 346 33554432000 4194304 5098028 140733268715600 140733268713704 139813266305660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29331456 140733268718692 140733268718903 140733268718903 140733268721643 0
/proc/26843/statm: 2378 346 289 221 0 87 0
[pid=26845] ppid=26843 vsize=26004064 memory=45828 CPUtime=0.5 cores=0-7
/proc/26845/stat : 26845 (java) S 26843 26843 26464 0 -1 1077944320 9203 0 0 0 47 3 0 0 20 0 20 0 150197946 26628161536 11457 33554432000 4194304 4196468 140726703664960 140726703647504 139960388292343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
/proc/26845/statm: 6501016 11457 3098 1 0 6488269 0
[pid=26845/tid=26846] ppid=26843 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/26845/task/26846/stat : 26846 (java) R 26843 26843 26464 0 -1 4202560 6082 0 0 0 27 2 0 0 20 0 20 0 150197946 26628161536 11457 33554432000 4194304 4196468 140726703664960 139960392531296 139960388304278 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26847] ppid=26843 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26847/stat : 26847 (java) S 26843 26843 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150197947 26628161536 11457 33554432000 4194304 4196468 140726703664960 139960310872592 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26848] ppid=26843 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26848/stat : 26848 (java) S 26843 26843 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150197947 26628161536 11457 33554432000 4194304 4196468 140726703664960 139960309820048 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26849] ppid=26843 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26849/stat : 26849 (java) S 26843 26843 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150197947 26628161536 11457 33554432000 4194304 4196468 140726703664960 139960308766992 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26850] ppid=26843 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26850/stat : 26850 (java) S 26843 26843 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150197947 26628161536 11457 33554432000 4194304 4196468 140726703664960 139960307714448 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26851] ppid=26843 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/26845/task/26851/stat : 26851 (java) S 26843 26843 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150197947 26628161536 11457 33554432000 4194304 4196468 140726703664960 139960306662416 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26852] ppid=26843 vsize=26004064 memory=139872052540335 CPUtime=0 cores=0-7
/proc/26845/task/26852/stat : 26852 (java) S 26843 26843 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150197947 26628161536 11457 33554432000 4194304 4196468 140726703664960 139960305609872 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26853] ppid=26843 vsize=26004064 memory=139872052542640 CPUtime=0 cores=0-7
/proc/26845/task/26853/stat : 26853 (java) S 26843 26843 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150197947 26628161536 11457 33554432000 4194304 4196468 140726703664960 139960304556816 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26854] ppid=26843 vsize=26004064 memory=139872052544944 CPUtime=0 cores=0-7
/proc/26845/task/26854/stat : 26854 (java) S 26843 26843 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150197947 26628161536 11457 33554432000 4194304 4196468 140726703664960 139960303504272 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26855] ppid=26843 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26855/stat : 26855 (java) S 26843 26843 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150197948 26628161536 11457 33554432000 4194304 4196468 140726703664960 139959381018864 139960388303490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26856] ppid=26843 vsize=26004064 memory=279744105096848 CPUtime=0 cores=0-7
/proc/26845/task/26856/stat : 26856 (java) S 26843 26843 26464 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150197949 26628161536 11457 33554432000 4194304 4196468 140726703664960 139959379965088 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26857] ppid=26843 vsize=26004064 memory=279744105103760 CPUtime=0 cores=0-7
/proc/26845/task/26857/stat : 26857 (java) S 26843 26843 26464 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150197949 26628161536 11457 33554432000 4194304 4196468 140726703664960 139959378911984 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26858] ppid=26843 vsize=26004064 memory=279744105045040 CPUtime=0 cores=0-7
/proc/26845/task/26858/stat : 26858 (java) S 26843 26843 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150197951 26628161536 11457 33554432000 4194304 4196468 140726703664960 139959377860560 139960388310939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26859] ppid=26843 vsize=26004064 memory=279744105117584 CPUtime=0.02 cores=0-7
/proc/26845/task/26859/stat : 26859 (java) R 26843 26843 26464 0 -1 4202560 381 0 0 0 2 0 0 0 20 0 20 0 150197951 26628161536 11457 33554432000 4194304 4196468 140726703664960 139959376808688 139960380529470 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26860] ppid=26843 vsize=26004064 memory=279744105124496 CPUtime=0.02 cores=0-7
/proc/26845/task/26860/stat : 26860 (java) S 26843 26843 26464 0 -1 1077944384 326 0 0 0 2 0 0 0 20 0 20 0 150197951 26628161536 11457 33554432000 4194304 4196468 140726703664960 139959375756144 139960388303490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26861] ppid=26843 vsize=26004064 memory=279744105122192 CPUtime=0.02 cores=0-7
/proc/26845/task/26861/stat : 26861 (java) S 26843 26843 26464 0 -1 1077944384 206 0 0 0 2 0 0 0 20 0 20 0 150197951 26628161536 11457 33554432000 4194304 4196468 140726703664960 139959374703088 139960388303490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26862] ppid=26843 vsize=26004064 memory=279744105138352 CPUtime=0.13 cores=0-7
/proc/26845/task/26862/stat : 26862 (java) R 26843 26843 26464 0 -1 4202560 901 0 0 0 13 0 0 0 20 0 20 0 150197951 26628161536 11457 33554432000 4194304 4196468 140726703664960 139959373645584 139960380529470 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26863] ppid=26843 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26863/stat : 26863 (java) S 26843 26843 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150197952 26628161536 11457 33554432000 4194304 4196468 140726703664960 139959372597728 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26864] ppid=26843 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/26845/task/26864/stat : 26864 (java) S 26843 26843 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150197952 26628161536 11457 33554432000 4194304 4196468 140726703664960 139959371545264 139960388303490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47212 KiB

[startup+0.701019 s]
/proc/loadavg: 7.96 8.24 8.30 4/199 26864
/proc/meminfo: memFree=21332100/32770624 swapFree=67108860/67108860
[pid=26843] ppid=26840 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/26843/stat : 26843 (xcsp3-exec) S 26840 26843 26464 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150197945 9740288 346 33554432000 4194304 5098028 140733268715600 140733268713704 139813266305660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29331456 140733268718692 140733268718903 140733268718903 140733268721643 0
/proc/26843/statm: 2378 346 289 221 0 87 0
[pid=26845] ppid=26843 vsize=26006188 memory=111452 CPUtime=1.52 cores=0-7
/proc/26845/stat : 26845 (java) S 26843 26843 26464 0 -1 1077944320 11838 0 0 0 146 6 0 0 20 0 20 0 150197946 26630336512 27863 33554432000 4194304 4196468 140726703664960 140726703647504 139960388292343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
/proc/26845/statm: 6501547 27863 3203 1 0 6488781 0
[pid=26845/tid=26846] ppid=26843 vsize=26006188 memory=279744105496240 CPUtime=0.67 cores=0-7
/proc/26845/task/26846/stat : 26846 (java) R 26843 26843 26464 0 -1 4202560 6730 0 0 0 64 3 0 0 20 0 20 0 150197946 26630336512 27863 33554432000 4194304 4196468 140726703664960 139960392529432 139959985802991 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26847] ppid=26843 vsize=26006188 memory=139872052749168 CPUtime=0 cores=0-7
/proc/26845/task/26847/stat : 26847 (java) S 26843 26843 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150197947 26630336512 27863 33554432000 4194304 4196468 140726703664960 139960310872592 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26848] ppid=26843 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/26845/task/26848/stat : 26848 (java) S 26843 26843 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150197947 26630336512 27863 33554432000 4194304 4196468 140726703664960 139960309820048 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26849] ppid=26843 vsize=26006188 memory=8740 CPUtime=0 cores=0-7
/proc/26845/task/26849/stat : 26849 (java) S 26843 26843 26464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150197947 26630336512 27863 33554432000 4194304 4196468 140726703664960 139960308766992 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0

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

[pid=26845/tid=26874] ppid=26843 vsize=26538700 memory=1384 CPUtime=22.53 cores=0-7
/proc/26845/task/26874/stat : 26874 (java) R 26843 26843 26464 0 -1 4202560 3445 0 0 0 2205 48 0 0 20 0 28 0 150208787 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139958573060776 139959988993648 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26875] ppid=26843 vsize=26538700 memory=10041544 CPUtime=22.19 cores=0-7
/proc/26845/task/26875/stat : 26875 (java) R 26843 26843 26464 0 -1 4202560 31655 0 0 0 2198 21 0 0 20 0 28 0 150208787 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139958572008232 139959989251692 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26876] ppid=26843 vsize=26538700 memory=2408 CPUtime=22.55 cores=0-7
/proc/26845/task/26876/stat : 26876 (java) R 26843 26843 26464 0 -1 4202560 2335 0 0 0 2241 14 0 0 20 0 28 0 150208787 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139958570955176 139959989251644 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26877] ppid=26843 vsize=26538700 memory=1732 CPUtime=22.13 cores=0-7
/proc/26845/task/26877/stat : 26877 (java) R 26843 26843 26464 0 -1 4202560 1844 0 0 0 2198 15 0 0 20 0 28 0 150208787 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139958569902632 139959989251692 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26878] ppid=26843 vsize=26538700 memory=1296 CPUtime=22.22 cores=0-7
/proc/26845/task/26878/stat : 26878 (java) R 26843 26843 26464 0 -1 4202560 22218 0 0 0 2204 18 0 0 20 0 28 0 150208787 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139958568849400 139959989252298 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26879] ppid=26843 vsize=26538700 memory=2408 CPUtime=22.25 cores=0-7
/proc/26845/task/26879/stat : 26879 (java) R 26843 26843 26464 0 -1 4202560 1634 0 0 0 2196 29 0 0 20 0 28 0 150208787 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139958567796400 139959989252298 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
Current children cumulated CPU time: 365.85 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 10552024 KiB

[startup+132.006 s]*
/proc/loadavg: 4.43 6.25 7.52 9/207 26879
/proc/meminfo: memFree=10823952/32770624 swapFree=67108860/67108860
[pid=26843] ppid=26840 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/26843/stat : 26843 (xcsp3-exec) S 26840 26843 26464 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150197945 9740288 346 33554432000 4194304 5098028 140733268715600 140733268713704 139813266305660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29331456 140733268718692 140733268718903 140733268718903 140733268721643 0
/proc/26843/statm: 2378 346 289 221 0 87 0
[pid=26845] ppid=26843 vsize=26538700 memory=10550640 CPUtime=372.34 cores=0-7
/proc/26845/stat : 26845 (java) S 26843 26843 26464 0 -1 1077944320 271018 0 0 0 35326 1908 0 0 20 0 28 0 150197946 27175628800 2637660 33554432000 4194304 4196468 140726703664960 140726703647504 139960388292343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
/proc/26845/statm: 6634675 2637660 3298 1 0 6621909 0
[pid=26845/tid=26846] ppid=26843 vsize=26538700 memory=6791534058613427641 CPUtime=96.77 cores=0-7
/proc/26845/task/26846/stat : 26846 (java) S 26843 26843 26464 0 -1 1077944384 21525 0 0 0 9604 73 0 0 20 0 28 0 150197946 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139960392533120 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26847] ppid=26843 vsize=26538700 memory=2424 CPUtime=10.46 cores=0-7
/proc/26845/task/26847/stat : 26847 (java) S 26843 26843 26464 0 -1 1077944384 15472 0 0 0 828 218 0 0 20 0 28 0 150197947 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139960310872592 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26848] ppid=26843 vsize=26538700 memory=932 CPUtime=10.43 cores=0-7
/proc/26845/task/26848/stat : 26848 (java) S 26843 26843 26464 0 -1 1077944384 14740 0 0 0 836 207 0 0 20 0 28 0 150197947 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139960309820048 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26849] ppid=26843 vsize=26538700 memory=1572 CPUtime=10.42 cores=0-7
/proc/26845/task/26849/stat : 26849 (java) S 26843 26843 26464 0 -1 1077944384 14986 0 0 0 830 212 0 0 20 0 28 0 150197947 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139960308766992 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26850] ppid=26843 vsize=26538700 memory=2244 CPUtime=10.35 cores=0-7
/proc/26845/task/26850/stat : 26850 (java) S 26843 26843 26464 0 -1 1077944384 15916 0 0 0 839 196 0 0 20 0 28 0 150197947 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139960307714448 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26851] ppid=26843 vsize=26538700 memory=4124 CPUtime=10.38 cores=0-7
/proc/26845/task/26851/stat : 26851 (java) S 26843 26843 26464 0 -1 1077944384 14558 0 0 0 844 194 0 0 20 0 28 0 150197947 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139960306662416 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26852] ppid=26843 vsize=26538700 memory=0 CPUtime=10.41 cores=0-7
/proc/26845/task/26852/stat : 26852 (java) S 26843 26843 26464 0 -1 1077944384 14525 0 0 0 837 204 0 0 20 0 28 0 150197947 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139960305609872 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26853] ppid=26843 vsize=26538700 memory=-3621219749712857441 CPUtime=10.37 cores=0-7
/proc/26845/task/26853/stat : 26853 (java) S 26843 26843 26464 0 -1 1077944384 14149 0 0 0 835 202 0 0 20 0 28 0 150197947 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139960304556816 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26854] ppid=26843 vsize=26538700 memory=288285597385359944 CPUtime=10.43 cores=0-7
/proc/26845/task/26854/stat : 26854 (java) S 26843 26843 26464 0 -1 1077944384 15846 0 0 0 835 208 0 0 20 0 28 0 150197947 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139960303504272 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26855] ppid=26843 vsize=26538700 memory=4076790789931753248 CPUtime=0.98 cores=0-7
/proc/26845/task/26855/stat : 26855 (java) S 26843 26843 26464 0 -1 1077944384 13675 0 0 0 92 6 0 0 20 0 28 0 150197948 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139959381018864 139960388303490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26856] ppid=26843 vsize=26538700 memory=-3967418655009478193 CPUtime=0 cores=0-7
/proc/26845/task/26856/stat : 26856 (java) S 26843 26843 26464 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 150197949 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139959379965152 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26857] ppid=26843 vsize=26538700 memory=-2746958450906831424 CPUtime=0 cores=0-7
/proc/26845/task/26857/stat : 26857 (java) S 26843 26843 26464 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 28 0 150197949 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139959378912000 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26858] ppid=26843 vsize=26538700 memory=-9174445032661854264 CPUtime=0 cores=0-7
/proc/26845/task/26858/stat : 26858 (java) S 26843 26843 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150197951 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139959377860560 139960388310939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26859] ppid=26843 vsize=26538700 memory=6944656592455359580 CPUtime=2.1 cores=0-7
/proc/26845/task/26859/stat : 26859 (java) S 26843 26843 26464 0 -1 1077944384 12124 0 0 0 207 3 0 0 20 0 28 0 150197951 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139959376808688 139960388303490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26860] ppid=26843 vsize=26538700 memory=6944656592455359580 CPUtime=1.55 cores=0-7
/proc/26845/task/26860/stat : 26860 (java) S 26843 26843 26464 0 -1 1077944384 10284 0 0 0 152 3 0 0 20 0 28 0 150197951 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139959375756144 139960388303490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26861] ppid=26843 vsize=26538700 memory=6943526294502006880 CPUtime=1.9 cores=0-7
/proc/26845/task/26861/stat : 26861 (java) S 26843 26843 26464 0 -1 1077944384 13099 0 0 0 188 2 0 0 20 0 28 0 150197951 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139959374703088 139960388303490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26862] ppid=26843 vsize=26538700 memory=6655300316396806240 CPUtime=0.79 cores=0-7
/proc/26845/task/26862/stat : 26862 (java) S 26843 26843 26464 0 -1 1077944384 7823 0 0 0 77 2 0 0 20 0 28 0 150197951 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139959373650544 139960388303490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26863] ppid=26843 vsize=26538700 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/26845/task/26863/stat : 26863 (java) S 26843 26843 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150197952 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139959372597728 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26864] ppid=26843 vsize=26538700 memory=6944656592455097440 CPUtime=0.04 cores=0-7
/proc/26845/task/26864/stat : 26864 (java) S 26843 26843 26464 0 -1 1077944384 1027 0 0 0 2 2 0 0 20 0 28 0 150197952 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139959371545264 139960388303490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26872] ppid=26843 vsize=26538700 memory=6656426216303648864 CPUtime=23.06 cores=0-7
/proc/26845/task/26872/stat : 26872 (java) R 26843 26843 26464 0 -1 4202560 1756 0 0 0 2296 10 0 0 20 0 28 0 150208786 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139959363533544 139959988895069 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26873] ppid=26843 vsize=26538700 memory=6944656592455360604 CPUtime=22.92 cores=0-7
/proc/26845/task/26873/stat : 26873 (java) R 26843 26843 26464 0 -1 4202560 2012 0 0 0 2281 11 0 0 20 0 28 0 150208786 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139959362482008 139959989251644 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26874] ppid=26843 vsize=26538700 memory=1172 CPUtime=23.35 cores=0-7
/proc/26845/task/26874/stat : 26874 (java) R 26843 26843 26464 0 -1 4202560 3649 0 0 0 2287 48 0 0 20 0 28 0 150208787 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139958573060776 139959988894446 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26875] ppid=26843 vsize=26538700 memory=1240 CPUtime=23.01 cores=0-7
/proc/26845/task/26875/stat : 26875 (java) R 26843 26843 26464 0 -1 4202560 34382 0 0 0 2280 21 0 0 20 0 28 0 150208787 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139958572008232 139959988993679 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26876] ppid=26843 vsize=26538700 memory=960 CPUtime=23.37 cores=0-7
/proc/26845/task/26876/stat : 26876 (java) R 26843 26843 26464 0 -1 4202560 2370 0 0 0 2323 14 0 0 20 0 28 0 150208787 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139958570955176 139959988895069 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26877] ppid=26843 vsize=26538700 memory=2424 CPUtime=22.94 cores=0-7
/proc/26845/task/26877/stat : 26877 (java) R 26843 26843 26464 0 -1 4202560 1845 0 0 0 2279 15 0 0 20 0 28 0 150208787 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139958569902632 139959989252069 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26878] ppid=26843 vsize=26538700 memory=932 CPUtime=23.03 cores=0-7
/proc/26845/task/26878/stat : 26878 (java) R 26843 26843 26464 0 -1 4202560 22235 0 0 0 2285 18 0 0 20 0 28 0 150208787 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139958568850904 139959988924144 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26879] ppid=26843 vsize=26538700 memory=1384 CPUtime=23.05 cores=0-7
/proc/26845/task/26879/stat : 26879 (java) R 26843 26843 26464 0 -1 4202560 1637 0 0 0 2276 29 0 0 20 0 28 0 150208787 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139958567796400 139959988895069 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
Current children cumulated CPU time: 372.34 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 10552024 KiB

[startup+132.401 s]
/proc/loadavg: 4.43 6.25 7.52 9/207 26879
/proc/meminfo: memFree=10823952/32770624 swapFree=67108860/67108860
[pid=26843] ppid=26840 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/26843/stat : 26843 (xcsp3-exec) S 26840 26843 26464 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150197945 9740288 346 33554432000 4194304 5098028 140733268715600 140733268713704 139813266305660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29331456 140733268718692 140733268718903 140733268718903 140733268721643 0
/proc/26843/statm: 2378 346 289 221 0 87 0
[pid=26845] ppid=26843 vsize=26538700 memory=10550640 CPUtime=375.43 cores=0-7
/proc/26845/stat : 26845 (java) S 26843 26843 26464 0 -1 1077944320 271385 0 0 0 35634 1909 0 0 20 0 28 0 150197946 27175628800 2637660 33554432000 4194304 4196468 140726703664960 140726703647504 139960388292343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
/proc/26845/statm: 6634675 2637660 3298 1 0 6621909 0
[pid=26845/tid=26846] ppid=26843 vsize=26538700 memory=1572 CPUtime=96.77 cores=0-7
/proc/26845/task/26846/stat : 26846 (java) S 26843 26843 26464 0 -1 1077944384 21525 0 0 0 9604 73 0 0 20 0 28 0 150197946 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139960392533120 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26847] ppid=26843 vsize=26538700 memory=2244 CPUtime=10.46 cores=0-7
/proc/26845/task/26847/stat : 26847 (java) S 26843 26843 26464 0 -1 1077944384 15472 0 0 0 828 218 0 0 20 0 28 0 150197947 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139960310872592 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26848] ppid=26843 vsize=26538700 memory=4124 CPUtime=10.43 cores=0-7
/proc/26845/task/26848/stat : 26848 (java) S 26843 26843 26464 0 -1 1077944384 14740 0 0 0 836 207 0 0 20 0 28 0 150197947 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139960309820048 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26849] ppid=26843 vsize=26538700 memory=2208 CPUtime=10.42 cores=0-7
/proc/26845/task/26849/stat : 26849 (java) S 26843 26843 26464 0 -1 1077944384 14986 0 0 0 830 212 0 0 20 0 28 0 150197947 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139960308766992 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26850] ppid=26843 vsize=26538700 memory=8052 CPUtime=10.35 cores=0-7
/proc/26845/task/26850/stat : 26850 (java) S 26843 26843 26464 0 -1 1077944384 15916 0 0 0 839 196 0 0 20 0 28 0 150197947 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139960307714448 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26851] ppid=26843 vsize=26538700 memory=10550640 CPUtime=10.38 cores=0-7
/proc/26845/task/26851/stat : 26851 (java) S 26843 26843 26464 0 -1 1077944384 14558 0 0 0 844 194 0 0 20 0 28 0 150197947 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139960306662416 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26852] ppid=26843 vsize=26538700 memory=1732 CPUtime=10.41 cores=0-7
/proc/26845/task/26852/stat : 26852 (java) S 26843 26843 26464 0 -1 1077944384 14525 0 0 0 837 204 0 0 20 0 28 0 150197947 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139960305609872 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26853] ppid=26843 vsize=26538700 memory=1224 CPUtime=10.37 cores=0-7
/proc/26845/task/26853/stat : 26853 (java) S 26843 26843 26464 0 -1 1077944384 14149 0 0 0 835 202 0 0 20 0 28 0 150197947 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139960304556816 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26854] ppid=26843 vsize=26538700 memory=12136 CPUtime=10.43 cores=0-7
/proc/26845/task/26854/stat : 26854 (java) S 26843 26843 26464 0 -1 1077944384 15846 0 0 0 835 208 0 0 20 0 28 0 150197947 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139960303504272 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26855] ppid=26843 vsize=26538700 memory=5792 CPUtime=0.98 cores=0-7
/proc/26845/task/26855/stat : 26855 (java) S 26843 26843 26464 0 -1 1077944384 13675 0 0 0 92 6 0 0 20 0 28 0 150197948 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139959381018864 139960388303490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26856] ppid=26843 vsize=26538700 memory=796 CPUtime=0 cores=0-7
/proc/26845/task/26856/stat : 26856 (java) S 26843 26843 26464 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 150197949 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139959379965152 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26857] ppid=26843 vsize=26538700 memory=1436 CPUtime=0 cores=0-7
/proc/26845/task/26857/stat : 26857 (java) S 26843 26843 26464 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 28 0 150197949 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139959378912000 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26858] ppid=26843 vsize=26538700 memory=1012 CPUtime=0 cores=0-7
/proc/26845/task/26858/stat : 26858 (java) S 26843 26843 26464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150197951 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139959377860560 139960388310939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26859] ppid=26843 vsize=26538700 memory=139876496111231 CPUtime=2.1 cores=0-7
/proc/26845/task/26859/stat : 26859 (java) S 26843 26843 26464 0 -1 1077944384 12124 0 0 0 207 3 0 0 20 0 28 0 150197951 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139959376808688 139960388303490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26860] ppid=26843 vsize=26538700 memory=6944656592387989600 CPUtime=1.55 cores=0-7
/proc/26845/task/26860/stat : 26860 (java) S 26843 26843 26464 0 -1 1077944384 10284 0 0 0 152 3 0 0 20 0 28 0 150197951 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139959375756144 139960388303490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26861] ppid=26843 vsize=26538700 memory=7016714190785702558 CPUtime=1.9 cores=0-7
/proc/26845/task/26861/stat : 26861 (java) S 26843 26843 26464 0 -1 1077944384 13099 0 0 0 188 2 0 0 20 0 28 0 150197951 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139959374703088 139960388303490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26862] ppid=26843 vsize=26538700 memory=7016671349533276567 CPUtime=0.79 cores=0-7
/proc/26845/task/26862/stat : 26862 (java) R 26843 26843 26464 0 -1 1077944384 7823 0 0 0 77 2 0 0 20 0 28 0 150197951 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139959373650544 139960388303490 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26863] ppid=26843 vsize=26538700 memory=6944938067432061290 CPUtime=0 cores=0-7
/proc/26845/task/26863/stat : 26863 (java) S 26843 26843 26464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150197952 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139959372597728 139960388302549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26864] ppid=26843 vsize=26538700 memory=-9001734000804784231 CPUtime=0.04 cores=0-7
/proc/26845/task/26864/stat : 26864 (java) S 26843 26843 26464 0 -1 1077944384 1029 0 0 0 2 2 0 0 20 0 28 0 150197952 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139959371545264 139960388303490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26872] ppid=26843 vsize=26538700 memory=6370155173630722145 CPUtime=23.45 cores=0-7
/proc/26845/task/26872/stat : 26872 (java) R 26843 26843 26464 0 -1 4202560 1774 0 0 0 2335 10 0 0 20 0 28 0 150208786 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139959363533544 139959989252298 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26873] ppid=26843 vsize=26538700 memory=7452162615618658649 CPUtime=23.31 cores=0-7
/proc/26845/task/26873/stat : 26873 (java) R 26843 26843 26464 0 -1 4202560 2032 0 0 0 2320 11 0 0 20 0 28 0 150208786 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139959362482008 139959989251692 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26874] ppid=26843 vsize=26538700 memory=7378983553979662436 CPUtime=23.73 cores=0-7
/proc/26845/task/26874/stat : 26874 (java) R 26843 26843 26464 0 -1 4202560 3764 0 0 0 2325 48 0 0 20 0 28 0 150208787 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139958573060776 139959988895069 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26875] ppid=26843 vsize=26538700 memory=6440519451612368976 CPUtime=23.39 cores=0-7
/proc/26845/task/26875/stat : 26875 (java) R 26843 26843 26464 0 -1 4202560 34547 0 0 0 2318 21 0 0 20 0 28 0 150208787 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139958572009288 139959981942896 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26876] ppid=26843 vsize=26538700 memory=5787218225462208832 CPUtime=23.75 cores=0-7
/proc/26845/task/26876/stat : 26876 (java) R 26843 26843 26464 0 -1 4202560 2386 0 0 0 2361 14 0 0 20 0 28 0 150208787 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139958570955176 139959989250436 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26877] ppid=26843 vsize=26538700 memory=5787213900094399065 CPUtime=23.33 cores=0-7
/proc/26845/task/26877/stat : 26877 (java) R 26843 26843 26464 0 -1 4202560 1855 0 0 0 2318 15 0 0 20 0 28 0 150208787 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139958569902632 139959988895069 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26878] ppid=26843 vsize=26538700 memory=6296404285011349584 CPUtime=23.41 cores=0-7
/proc/26845/task/26878/stat : 26878 (java) R 26843 26843 26464 0 -1 4202560 22239 0 0 0 2323 18 0 0 20 0 28 0 150208787 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139958568850904 139959989252298 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
[pid=26845/tid=26879] ppid=26843 vsize=26538700 memory=5787214999606158937 CPUtime=23.42 cores=0-7
/proc/26845/task/26879/stat : 26879 (java) R 26843 26843 26464 0 -1 4202560 1654 0 0 0 2313 29 0 0 20 0 28 0 150208787 27175628800 2637660 33554432000 4194304 4196468 140726703664960 139958567796400 139959989251649 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37072896 140726703670418 140726703670595 140726703670595 140726703673295 0
Current children cumulated CPU time: 375.43 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 10552024 KiB

[startup+132.501 s]
/proc/loadavg: 4.43 6.25 7.52 9/207 26879
/proc/meminfo: memFree=10823952/32770624 swapFree=67108860/67108860
[pid=26843] ppid=26840 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/26843/stat : 26843 (xcsp3-exec) S 26840 26843 26464 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 150197945 9740288 346 33554432000 4194304 5098028 140733268715600 140733268713704 139813266305660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29331456 140733268718692 140733268718903 140733268718903 140733268721643 0
/proc/26843/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1384 KiB

Child status: 0
Real time (s): 132.548
CPU time (s): 376.157
CPU user time (s): 357.006
CPU system time (s): 19.1514
CPU usage (%): 283.789
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 10557832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 357.006
system time used= 19.1514
maximum resident set size= 10556448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276483
page faults= 0
swaps= 0
block input operations= 0
block output operations= 416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11969
involuntary context switches= 3972


# summary of solver processes directly reported to runsolver:
#   pid: 26843
#   total CPU time (s): 376.157
#   total CPU user time (s): 357.006
#   total CPU system time (s): 19.1514

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.952936 second user time and 1.53021 second system time

The end

Launcher Data 

Begin job on node149 at 2017-08-19 21:18:32
IDJOB=4281132
IDBENCH=138520
IDSOLVER=2675
FILE ID=node149/4281132-1503171172
RUNJOBID= node149-1503165268-26491
PBS_JOBID= 20630833
Free space on /tmp= 61768 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Sadeh-js/SuperSadeh-js-e0ddr2-1.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281132-1503171172/watcher-4281132-1503171172 -o /tmp/evaluation-result-4281132-1503171172/solver-4281132-1503171172 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1503165268-26491 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1233559147 HOME/instance-4281132-1503171172.xml

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

MD5SUM BENCH= f0da45100268329db1731396e5956751
RANDOM SEED=1233559147

node149.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.43
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.43
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.43
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.43
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:        21382952 kB
MemAvailable:   31952072 kB
Buffers:          349704 kB
Cached:         10489664 kB
SwapCached:            0 kB
Active:          2170860 kB
Inactive:        8724276 kB
Active(anon):      58100 kB
Inactive(anon):    33128 kB
Active(file):    2112760 kB
Inactive(file):  8691148 kB
Unevictable:        7912 kB
Mlocked:            7912 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7808 kB
Writeback:             0 kB
AnonPages:         62204 kB
Mapped:            51540 kB
Shmem:             33416 kB
Slab:             188660 kB
SReclaimable:     162096 kB
SUnreclaim:        26564 kB
KernelStack:        3184 kB
PageTables:         4788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       97664 kB
DirectMap2M:    33447936 kB

Free space on /tmp at the end= 61760 MiB
End job on node149 at 2017-08-19 21:20:45