Trace number 4403474

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 2019-09-20SAT 74.5447 30.3954

General information on the benchmark

NameQRandom/QRandom-mdd-7-25-5/
mdd-7-25-5-56-01.xml
MD5SUM38fbb435e56fa73fec05cbb523a31b1b
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 benchmark56.5752
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints56
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":25}]
Minimum variable degree11
Maximum variable degree24
Distribution of variable degrees[{"degree":11,"count":5},{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":5},{"degree":15,"count":1},{"degree":16,"count":2},{"degree":17,"count":1},{"degree":18,"count":2},{"degree":20,"count":2},{"degree":21,"count":1},{"degree":22,"count":1},{"degree":23,"count":1},{"degree":24,"count":1}]
Minimum constraint arity7
Maximum constraint arity7
Distribution of constraint arities[{"arity":7,"count":56}]
Number of extensional constraints56
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":56}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4403474-1568990021.xml"  -tl '2520s' -p 4
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4403474-1568990021.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
32.76/19.85	c solve instance...
74.31/30.34	s SATISFIABLE
74.31/30.34	v <instantiation>
74.31/30.34	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] </list>
74.31/30.34	v 	<values>4 4 4 4 1 4 1 0 1 2 4 1 4 0 2 1 2 1 3 4 1 4 3 3 4 </values>
74.31/30.34	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 (5102 MiB free)
  memory of node 1: 16384 MiB (5976 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403474-1568990021/watcher-4403474-1568990021 -o /tmp/evaluation-result-4403474-1568990021/solver-4403474-1568990021 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568988008-30877 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1946511086 HOME/instance-4403474-1568990021.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=2191, runsolver pid=2188
Current StackSize limit: 8192 KiB


[startup+0.100152 s]*
/proc/loadavg: 7.84 8.13 7.49 3/208 2212
/proc/meminfo: memFree=11363252/32770624 swapFree=66938908/67108860
[pid=2191] ppid=2188 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2191/stat : 2191 (xcsp3-exec) S 2188 2191 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475271778 115843072 362 33554432000 4194304 5098028 140735134089696 140735134087800 140075920659068 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8286208 140735134098298 140735134098541 140735134098541 140735134101450 0
/proc/2191/statm: 28282 362 304 221 0 87 0
[pid=2193] ppid=2191 vsize=15144776 memory=28904 CPUtime=0.12 cores=0,2,4,6
/proc/2193/stat : 2193 (java) S 2191 2191 30846 0 -1 1077944320 5694 0 0 0 11 1 0 0 20 0 15 0 475271779 15508250624 7226 33554432000 4194304 4196468 140725973908048 140725973890592 140283100598007 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
/proc/2193/statm: 3786194 7226 3118 1 0 3748377 0
[pid=2193/tid=2194] ppid=2191 vsize=15144776 memory=-8171376296011865461 CPUtime=0.09 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (java) R 2191 2191 30846 0 -1 4202560 3613 0 0 0 8 1 0 0 20 0 15 0 475271779 15508250624 7226 33554432000 4194304 4196468 140725973908048 140283104832544 140283080179326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2195] ppid=2191 vsize=15144776 memory=7948963741541478447 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (java) S 2191 2191 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475271780 15508250624 7226 33554432000 4194304 4196468 140725973908048 140283028638736 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2196] ppid=2191 vsize=15144776 memory=139647641794176 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (java) S 2191 2191 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475271780 15508250624 7226 33554432000 4194304 4196468 140725973908048 140282691972240 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2197] ppid=2191 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2197/stat : 2197 (java) S 2191 2191 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475271780 15508250624 7226 33554432000 4194304 4196468 140725973908048 140282690919184 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2198] ppid=2191 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2198/stat : 2198 (java) S 2191 2191 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475271780 15508250624 7226 33554432000 4194304 4196468 140725973908048 140282689866640 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2200] ppid=2191 vsize=15144776 memory=139647641794176 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2200/stat : 2200 (java) S 2191 2191 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475271781 15508250624 7226 33554432000 4194304 4196468 140725973908048 140282636404976 140283100609154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2202] ppid=2191 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2202/stat : 2202 (java) S 2191 2191 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475271782 15508250624 7226 33554432000 4194304 4196468 140725973908048 140282635351200 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2203] ppid=2191 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2203/stat : 2203 (java) S 2191 2191 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475271782 15508250624 7226 33554432000 4194304 4196468 140725973908048 140282634298096 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2207] ppid=2191 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2207/stat : 2207 (java) S 2191 2191 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475271784 15508250624 7226 33554432000 4194304 4196468 140725973908048 140282633246672 140283100616603 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2208] ppid=2191 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2208/stat : 2208 (java) S 2191 2191 30846 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 15 0 475271784 15508250624 7226 33554432000 4194304 4196468 140725973908048 140282632194800 140283100609154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2209] ppid=2191 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2209/stat : 2209 (java) S 2191 2191 30846 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 475271784 15508250624 7226 33554432000 4194304 4196468 140725973908048 140282631142256 140283100609154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2210] ppid=2191 vsize=15144776 memory=139647641794176 CPUtime=0.02 cores=0,2,4,6
/proc/2193/task/2210/stat : 2210 (java) R 2191 2191 30846 0 -1 4202560 366 0 0 0 2 0 0 0 20 0 15 0 475271784 15508250624 7226 33554432000 4194304 4196468 140725973908048 140282630089200 140283100619354 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2211] ppid=2191 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2211/stat : 2211 (java) S 2191 2191 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475271785 15508250624 7226 33554432000 4194304 4196468 140725973908048 140282629036896 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2212] ppid=2191 vsize=15144776 memory=139647641794176 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2212/stat : 2212 (java) S 2191 2191 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475271785 15508250624 7226 33554432000 4194304 4196468 140725973908048 140282627983920 140283100609154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30352 KiB

[startup+0.210867 s]*
/proc/loadavg: 7.84 8.13 7.49 4/208 2212
/proc/meminfo: memFree=11338360/32770624 swapFree=66938908/67108860
[pid=2191] ppid=2188 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2191/stat : 2191 (xcsp3-exec) S 2188 2191 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475271778 115843072 362 33554432000 4194304 5098028 140735134089696 140735134087800 140075920659068 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8286208 140735134098298 140735134098541 140735134098541 140735134101450 0
/proc/2191/statm: 28282 362 304 221 0 87 0
[pid=2193] ppid=2191 vsize=15144776 memory=40892 CPUtime=0.34 cores=0,2,4,6
/proc/2193/stat : 2193 (java) S 2191 2191 30846 0 -1 1077944320 9457 0 0 0 31 3 0 0 20 0 15 0 475271779 15508250624 10223 33554432000 4194304 4196468 140725973908048 140725973890592 140283100598007 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
/proc/2193/statm: 3786194 10223 3299 1 0 3748377 0
[pid=2193/tid=2194] ppid=2191 vsize=15144776 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (java) R 2191 2191 30846 0 -1 4202560 6621 0 0 0 18 2 0 0 20 0 15 0 475271779 15508250624 10223 33554432000 4194304 4196468 140725973908048 140283104829248 140283100609942 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2195] ppid=2191 vsize=15144776 memory=4294967661 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (java) S 2191 2191 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475271780 15508250624 10223 33554432000 4194304 4196468 140725973908048 140283028638736 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2196] ppid=2191 vsize=15144776 memory=139647641823747 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (java) S 2191 2191 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475271780 15508250624 10223 33554432000 4194304 4196468 140725973908048 140282691972240 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2197] ppid=2191 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2197/stat : 2197 (java) S 2191 2191 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475271780 15508250624 10223 33554432000 4194304 4196468 140725973908048 140282690919184 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2198] ppid=2191 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2198/stat : 2198 (java) S 2191 2191 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475271780 15508250624 10223 33554432000 4194304 4196468 140725973908048 140282689866640 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2200] ppid=2191 vsize=15144776 memory=139647641794176 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2200/stat : 2200 (java) S 2191 2191 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475271781 15508250624 10223 33554432000 4194304 4196468 140725973908048 140282636404976 140283100609154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2202] ppid=2191 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2202/stat : 2202 (java) S 2191 2191 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475271782 15508250624 10223 33554432000 4194304 4196468 140725973908048 140282635351200 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2203] ppid=2191 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2203/stat : 2203 (java) S 2191 2191 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475271782 15508250624 10223 33554432000 4194304 4196468 140725973908048 140282634298096 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2207] ppid=2191 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2207/stat : 2207 (java) S 2191 2191 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475271784 15508250624 10223 33554432000 4194304 4196468 140725973908048 140282633246672 140283100616603 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2208] ppid=2191 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2193/task/2208/stat : 2208 (java) S 2191 2191 30846 0 -1 1077944384 389 0 0 0 2 0 0 0 20 0 15 0 475271784 15508250624 10223 33554432000 4194304 4196468 140725973908048 140282632194800 140283100609154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2209] ppid=2191 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/2193/task/2209/stat : 2209 (java) S 2191 2191 30846 0 -1 1077944384 386 0 0 0 2 0 0 0 20 0 15 0 475271784 15508250624 10223 33554432000 4194304 4196468 140725973908048 140282631142256 140283100609154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2210] ppid=2191 vsize=15144776 memory=139647641794176 CPUtime=0.08 cores=0,2,4,6
/proc/2193/task/2210/stat : 2210 (java) R 2191 2191 30846 0 -1 4202560 757 0 0 0 8 0 0 0 20 0 15 0 475271784 15508250624 10223 33554432000 4194304 4196468 140725973908048 140282630089200 140283078702240 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2211] ppid=2191 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2211/stat : 2211 (java) S 2191 2191 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475271785 15508250624 10223 33554432000 4194304 4196468 140725973908048 140282629036896 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2212] ppid=2191 vsize=15144776 memory=139647641794176 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2212/stat : 2212 (java) S 2191 2191 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475271785 15508250624 10223 33554432000 4194304 4196468 140725973908048 140282627983920 140283100609154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42340 KiB

[startup+0.311499 s]*
/proc/loadavg: 7.84 8.13 7.49 3/208 2212
/proc/meminfo: memFree=11320148/32770624 swapFree=66938908/67108860
[pid=2191] ppid=2188 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2191/stat : 2191 (xcsp3-exec) S 2188 2191 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475271778 115843072 362 33554432000 4194304 5098028 140735134089696 140735134087800 140075920659068 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8286208 140735134098298 140735134098541 140735134098541 140735134101450 0
/proc/2191/statm: 28282 362 304 221 0 87 0
[pid=2193] ppid=2191 vsize=15149032 memory=49764 CPUtime=0.51 cores=0,2,4,6
/proc/2193/stat : 2193 (java) S 2191 2191 30846 0 -1 1077944320 10768 0 0 0 48 3 0 0 20 0 15 0 475271779 15512608768 12441 33554432000 4194304 4196468 140725973908048 140725973890592 140283100598007 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
/proc/2193/statm: 3787258 12441 3361 1 0 3748377 0
[pid=2193/tid=2194] ppid=2191 vsize=15149032 memory=6935054825532540783 CPUtime=0.3 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (java) R 2191 2191 30846 0 -1 4202560 7817 0 0 0 27 3 0 0 20 0 15 0 475271779 15512608768 12510 33554432000 4194304 4196468 140725973908048 140283104829120 140283100619933 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2195] ppid=2191 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (java) S 2191 2191 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475271780 15512608768 12510 33554432000 4194304 4196468 140725973908048 140283028638736 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2196] ppid=2191 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (java) S 2191 2191 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475271780 15512608768 12510 33554432000 4194304 4196468 140725973908048 140282691972240 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2197] ppid=2191 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2197/stat : 2197 (java) S 2191 2191 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475271780 15512608768 12510 33554432000 4194304 4196468 140725973908048 140282690919184 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2198] ppid=2191 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2198/stat : 2198 (java) S 2191 2191 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475271780 15512608768 12510 33554432000 4194304 4196468 140725973908048 140282689866640 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2200] ppid=2191 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2200/stat : 2200 (java) S 2191 2191 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475271781 15512608768 12510 33554432000 4194304 4196468 140725973908048 140282636404976 140283100609154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2202] ppid=2191 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2202/stat : 2202 (java) S 2191 2191 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475271782 15512608768 12510 33554432000 4194304 4196468 140725973908048 140282635351200 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2203] ppid=2191 vsize=15149032 memory=139647506295279 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2203/stat : 2203 (java) S 2191 2191 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475271782 15512608768 12510 33554432000 4194304 4196468 140725973908048 140282634298096 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2207] ppid=2191 vsize=15149032 memory=67 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2207/stat : 2207 (java) S 2191 2191 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475271784 15512608768 12510 33554432000 4194304 4196468 140725973908048 140282633246672 140283100616603 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2208] ppid=2191 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/2193/task/2208/stat : 2208 (java) S 2191 2191 30846 0 -1 1077944384 430 0 0 0 4 0 0 0 20 0 15 0 475271784 15512608768 12510 33554432000 4194304 4196468 140725973908048 140282632194800 140283100609154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2209] ppid=2191 vsize=15149032 memory=139647506281487 CPUtime=0.03 cores=0,2,4,6
/proc/2193/task/2209/stat : 2209 (java) S 2191 2191 30846 0 -1 1077944384 395 0 0 0 3 0 0 0 20 0 15 0 475271784 15512608768 12510 33554432000 4194304 4196468 140725973908048 140282631142256 140283100609154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2210] ppid=2191 vsize=15149032 memory=279295148084832 CPUtime=0.12 cores=0,2,4,6
/proc/2193/task/2210/stat : 2210 (java) S 2191 2191 30846 0 -1 1077944384 864 0 0 0 12 0 0 0 20 0 15 0 475271784 15512608768 12510 33554432000 4194304 4196468 140725973908048 140282630089200 140283100609154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2211] ppid=2191 vsize=15149032 memory=139647506286095 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2211/stat : 2211 (java) S 2191 2191 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475271785 15512608768 12510 33554432000 4194304 4196468 140725973908048 140282629036896 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2212] ppid=2191 vsize=15149032 memory=139647641794176 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2212/stat : 2212 (java) S 2191 2191 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475271785 15512608768 12510 33554432000 4194304 4196468 140725973908048 140282627983920 140283100609154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51212 KiB

[startup+0.709897 s]
/proc/loadavg: 7.84 8.13 7.49 5/214 2225
/proc/meminfo: memFree=11220208/32770624 swapFree=66938908/67108860
[pid=2191] ppid=2188 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2191/stat : 2191 (xcsp3-exec) S 2188 2191 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475271778 115843072 362 33554432000 4194304 5098028 140735134089696 140735134087800 140075920659068 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8286208 140735134098298 140735134098541 140735134098541 140735134101450 0
/proc/2191/statm: 28282 362 304 221 0 87 0
[pid=2193] ppid=2191 vsize=15151156 memory=248764 CPUtime=1.52 cores=0,2,4,6
/proc/2193/stat : 2193 (java) S 2191 2191 30846 0 -1 1077944320 13128 0 0 0 141 11 0 0 20 0 15 0 475271779 15514783744 62191 33554432000 4194304 4196468 140725973908048 140725973890592 140283100598007 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
/proc/2193/statm: 3787789 62191 3455 1 0 3748889 0
[pid=2193/tid=2194] ppid=2191 vsize=15151156 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (java) R 2191 2191 30846 0 -1 4202560 8284 0 0 0 60 6 0 0 20 0 15 0 475271779 15514783744 62191 33554432000 4194304 4196468 140725973908048 140283104833584 140282711449676 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2195] ppid=2191 vsize=15151156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (java) S 2191 2191 30846 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 15 0 475271780 15514783744 62191 33554432000 4194304 4196468 140725973908048 140283028638736 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2196] ppid=2191 vsize=15151156 memory=53504 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (java) S 2191 2191 30846 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 475271780 15514783744 62191 33554432000 4194304 4196468 140725973908048 140282691972240 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2197] ppid=2191 vsize=15151156 memory=988 CPUtime=0.02 cores=0,2,4,6
/proc/2193/task/2197/stat : 2197 (java) S 2191 2191 30846 0 -1 1077944384 48 0 0 0 1 1 0 0 20 0 15 0 475271780 15514783744 62191 33554432000 4194304 4196468 140725973908048 140282690919184 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2198] ppid=2191 vsize=15151156 memory=2016 CPUtime=0.01 cores=0,2,4,6
/proc/2193/task/2198/stat : 2198 (java) S 2191 2191 30846 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 15 0 475271780 15514783744 62191 33554432000 4194304 4196468 140725973908048 140282689866640 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2200] ppid=2191 vsize=15151156 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2200/stat : 2200 (java) S 2191 2191 30846 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 475271781 15514783744 62191 33554432000 4194304 4196468 140725973908048 140282636404976 140283100609154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2202] ppid=2191 vsize=15151156 memory=10728 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2202/stat : 2202 (java) S 2191 2191 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475271782 15514783744 62191 33554432000 4194304 4196468 140725973908048 140282635351200 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2203] ppid=2191 vsize=15151156 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2203/stat : 2203 (java) S 2191 2191 30846 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 475271782 15514783744 62191 33554432000 4194304 4196468 140725973908048 140282634298096 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2207] ppid=2191 vsize=15151156 memory=3640 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2207/stat : 2207 (java) S 2191 2191 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475271784 15514783744 62191 33554432000 4194304 4196468 140725973908048 140282633246672 140283100616603 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2208] ppid=2191 vsize=15151156 memory=2832 CPUtime=0.25 cores=0,2,4,6
/proc/2193/task/2208/stat : 2208 (java) R 2191 2191 30846 0 -1 4202560 966 0 0 0 25 0 0 0 20 0 15 0 475271784 15514783744 62191 33554432000 4194304 4196468 140725973908048 140282632187992 140283080109761 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2209] ppid=2191 vsize=15151156 memory=784 CPUtime=0.24 cores=0,2,4,6
/proc/2193/task/2209/stat : 2209 (java) R 2191 2191 30846 0 -1 4202560 1023 0 0 0 24 0 0 0 20 0 15 0 475271784 15514783744 62191 33554432000 4194304 4196468 140725973908048 140282631129808 140283084008800 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2210] ppid=2191 vsize=15151156 memory=7014751519717807441 CPUtime=0.25 cores=0,2,4,6
/proc/2193/task/2210/stat : 2210 (java) R 2191 2191 30846 0 -1 4202560 1349 0 0 0 25 0 0 0 20 0 15 0 475271784 15514783744 62191 33554432000 4194304 4196468 140725973908048 140282630084928 140283086278709 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2211] ppid=2191 vsize=15151156 memory=6081107895035128935 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2211/stat : 2211 (java) S 2191 2191 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475271785 15514783744 62191 33554432000 4194304 4196468 140725973908048 140282629036896 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2212] ppid=2191 vsize=15151156 memory=5787213827130353767 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2212/stat : 2212 (java) S 2191 2191 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475271785 15514783744 62191 33554432000 4194304 4196468 140725973908048 140282627983920 140283100609154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
Current children cumulated CPU time: 1.52 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 250212 KiB

[startup+1.50092 s]
/proc/loadavg: 7.84 8.13 7.49 5/227 2238
/proc/meminfo: memFree=10956804/32770624 swapFree=66938908/67108860
[pid=2191] ppid=2188 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2191/stat : 2191 (xcsp3-exec) S 2188 2191 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475271778 115843072 362 33554432000 4194304 5098028 140735134089696 140735134087800 140075920659068 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8286208 140735134098298 140735134098541 140735134098541 140735134101450 0
/proc/2191/statm: 28282 362 304 221 0 87 0

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

/proc/2193/task/2212/stat : 2212 (java) S 2191 2191 30846 0 -1 1077944384 689 0 0 0 0 0 0 0 20 0 19 0 475271785 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282627983920 140283100609154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2240] ppid=2191 vsize=15417412 memory=1744 CPUtime=9.5 cores=0,2,4,6
/proc/2193/task/2240/stat : 2240 (java) R 2191 2191 30846 0 -1 4202560 647 0 0 0 950 0 0 0 20 0 19 0 475273764 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282416679800 140282713705461 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2241] ppid=2191 vsize=15417412 memory=924 CPUtime=9.28 cores=0,2,4,6
/proc/2193/task/2241/stat : 2241 (java) R 2191 2191 30846 0 -1 4202560 1906 0 0 0 928 0 0 0 20 0 19 0 475273765 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282415627880 140282713914427 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2242] ppid=2191 vsize=15417412 memory=1448 CPUtime=9.04 cores=0,2,4,6
/proc/2193/task/2242/stat : 2242 (java) R 2191 2191 30846 0 -1 4202560 971 0 0 0 904 0 0 0 20 0 19 0 475273765 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282414575800 140282714270480 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2243] ppid=2191 vsize=15417412 memory=1408 CPUtime=8.98 cores=0,2,4,6
/proc/2193/task/2243/stat : 2243 (java) R 2191 2191 30846 0 -1 4202560 1190 0 0 0 898 0 0 0 20 0 19 0 475273765 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282413525432 140282713705461 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
Current children cumulated CPU time: 71.52 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 4755572 KiB

[startup+30.0009 s]*
/proc/loadavg: 6.75 7.81 7.40 9/235 2249
/proc/meminfo: memFree=1833648/32770624 swapFree=66938908/67108860
[pid=2191] ppid=2188 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2191/stat : 2191 (xcsp3-exec) S 2188 2191 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475271778 115843072 362 33554432000 4194304 5098028 140735134089696 140735134087800 140075920659068 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8286208 140735134098298 140735134098541 140735134098541 140735134101450 0
/proc/2191/statm: 28282 362 304 221 0 87 0
[pid=2193] ppid=2191 vsize=15417412 memory=4754124 CPUtime=73.14 cores=0,2,4,6
/proc/2193/stat : 2193 (java) S 2191 2191 30846 0 -1 1077944320 133439 0 0 0 6884 430 0 0 20 0 19 0 475271779 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140725973890592 140283100598007 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
/proc/2193/statm: 3854353 1188531 3521 1 0 3815453 0
[pid=2193/tid=2194] ppid=2191 vsize=15417412 memory=6935054825532540783 CPUtime=15.16 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (java) S 2191 2191 30846 0 -1 1077944384 16800 0 0 0 1478 38 0 0 20 0 19 0 475271779 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140283104838784 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2195] ppid=2191 vsize=15417412 memory=4126316290023845779 CPUtime=3.72 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (java) S 2191 2191 30846 0 -1 1077944384 20795 0 0 0 275 97 0 0 20 0 19 0 475271780 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140283028638736 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2196] ppid=2191 vsize=15417412 memory=1060 CPUtime=3.68 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (java) S 2191 2191 30846 0 -1 1077944384 20281 0 0 0 269 99 0 0 20 0 19 0 475271780 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282691972240 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2197] ppid=2191 vsize=15417412 memory=1720 CPUtime=3.73 cores=0,2,4,6
/proc/2193/task/2197/stat : 2197 (java) S 2191 2191 30846 0 -1 1077944384 23431 0 0 0 279 94 0 0 20 0 19 0 475271780 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282690919184 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2198] ppid=2191 vsize=15417412 memory=1096 CPUtime=3.72 cores=0,2,4,6
/proc/2193/task/2198/stat : 2198 (java) S 2191 2191 30846 0 -1 1077944384 18566 0 0 0 278 94 0 0 20 0 19 0 475271780 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282689866640 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2200] ppid=2191 vsize=15417412 memory=0 CPUtime=0.89 cores=0,2,4,6
/proc/2193/task/2200/stat : 2200 (java) S 2191 2191 30846 0 -1 1077944384 10461 0 0 0 88 1 0 0 20 0 19 0 475271781 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282636404976 140283100609154 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2202] ppid=2191 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2202/stat : 2202 (java) S 2191 2191 30846 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 475271782 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282635351264 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2203] ppid=2191 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2203/stat : 2203 (java) S 2191 2191 30846 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 475271782 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282634298112 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2207] ppid=2191 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2207/stat : 2207 (java) S 2191 2191 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475271784 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282633246672 140283100616603 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2208] ppid=2191 vsize=15417412 memory=139647506654992 CPUtime=1.6 cores=0,2,4,6
/proc/2193/task/2208/stat : 2208 (java) S 2191 2191 30846 0 -1 1077944384 6356 0 0 0 159 1 0 0 20 0 19 0 475271784 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282632194800 140283100609154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2209] ppid=2191 vsize=15417412 memory=3473177157876064303 CPUtime=1.46 cores=0,2,4,6
/proc/2193/task/2209/stat : 2209 (java) S 2191 2191 30846 0 -1 1077944384 5080 0 0 0 145 1 0 0 20 0 19 0 475271784 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282631142256 140283100609154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2210] ppid=2191 vsize=15417412 memory=8243122710528917535 CPUtime=0.65 cores=0,2,4,6
/proc/2193/task/2210/stat : 2210 (java) S 2191 2191 30846 0 -1 1077944384 4902 0 0 0 64 1 0 0 20 0 19 0 475271784 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282630089200 140283100609154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2211] ppid=2191 vsize=15417412 memory=17480 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2211/stat : 2211 (java) S 2191 2191 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475271785 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282629036896 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2212] ppid=2191 vsize=15417412 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2212/stat : 2212 (java) S 2191 2191 30846 0 -1 1077944384 689 0 0 0 0 0 0 0 20 0 19 0 475271785 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282627983920 140283100609154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2240] ppid=2191 vsize=15417412 memory=6944656592387989600 CPUtime=9.91 cores=0,2,4,6
/proc/2193/task/2240/stat : 2240 (java) R 2191 2191 30846 0 -1 4202560 647 0 0 0 991 0 0 0 20 0 19 0 475273764 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282416679800 140282714180001 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2241] ppid=2191 vsize=15417412 memory=6655300316396806240 CPUtime=9.69 cores=0,2,4,6
/proc/2193/task/2241/stat : 2241 (java) R 2191 2191 30846 0 -1 4202560 1923 0 0 0 969 0 0 0 20 0 19 0 475273765 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282415627880 140282714271073 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2242] ppid=2191 vsize=15417412 memory=-3252517613199061085 CPUtime=9.43 cores=0,2,4,6
/proc/2193/task/2242/stat : 2242 (java) R 2191 2191 30846 0 -1 4202560 971 0 0 0 943 0 0 0 20 0 19 0 475273765 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282414575800 140282713706308 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2243] ppid=2191 vsize=15417412 memory=0 CPUtime=9.39 cores=0,2,4,6
/proc/2193/task/2243/stat : 2243 (java) R 2191 2191 30846 0 -1 4202560 1193 0 0 0 939 0 0 0 20 0 19 0 475273765 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282413525432 140282713705735 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
Current children cumulated CPU time: 73.14 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 4755572 KiB

[startup+30.2009 s]
/proc/loadavg: 6.75 7.81 7.40 9/235 2249
/proc/meminfo: memFree=1833648/32770624 swapFree=66938908/67108860
[pid=2191] ppid=2188 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2191/stat : 2191 (xcsp3-exec) S 2188 2191 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475271778 115843072 362 33554432000 4194304 5098028 140735134089696 140735134087800 140075920659068 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8286208 140735134098298 140735134098541 140735134098541 140735134101450 0
/proc/2191/statm: 28282 362 304 221 0 87 0
[pid=2193] ppid=2191 vsize=15417412 memory=4754124 CPUtime=73.91 cores=0,2,4,6
/proc/2193/stat : 2193 (java) S 2191 2191 30846 0 -1 1077944320 133457 0 0 0 6961 430 0 0 20 0 19 0 475271779 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140725973890592 140283100598007 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
/proc/2193/statm: 3854353 1188531 3521 1 0 3815453 0
[pid=2193/tid=2194] ppid=2191 vsize=15417412 memory=8098994315301053527 CPUtime=15.16 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (java) S 2191 2191 30846 0 -1 1077944384 16800 0 0 0 1478 38 0 0 20 0 19 0 475271779 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140283104838784 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2195] ppid=2191 vsize=15417412 memory=6154004390658600552 CPUtime=3.72 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (java) S 2191 2191 30846 0 -1 1077944384 20795 0 0 0 275 97 0 0 20 0 19 0 475271780 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140283028638736 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2196] ppid=2191 vsize=15417412 memory=6372432296991746926 CPUtime=3.68 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (java) S 2191 2191 30846 0 -1 1077944384 20281 0 0 0 269 99 0 0 20 0 19 0 475271780 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282691972240 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2197] ppid=2191 vsize=15417412 memory=7741523259726057577 CPUtime=3.73 cores=0,2,4,6
/proc/2193/task/2197/stat : 2197 (java) S 2191 2191 30846 0 -1 1077944384 23431 0 0 0 279 94 0 0 20 0 19 0 475271780 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282690919184 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2198] ppid=2191 vsize=15417412 memory=303430223234596890 CPUtime=3.72 cores=0,2,4,6
/proc/2193/task/2198/stat : 2198 (java) S 2191 2191 30846 0 -1 1077944384 18566 0 0 0 278 94 0 0 20 0 19 0 475271780 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282689866640 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2200] ppid=2191 vsize=15417412 memory=302867294839898427 CPUtime=0.89 cores=0,2,4,6
/proc/2193/task/2200/stat : 2200 (java) S 2191 2191 30846 0 -1 1077944384 10461 0 0 0 88 1 0 0 20 0 19 0 475271781 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282636404976 140283100609154 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2202] ppid=2191 vsize=15417412 memory=15823283127847325 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2202/stat : 2202 (java) S 2191 2191 30846 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 475271782 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282635351264 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2203] ppid=2191 vsize=15417412 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2203/stat : 2203 (java) S 2191 2191 30846 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 475271782 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282634298112 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2207] ppid=2191 vsize=15417412 memory=6112 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2207/stat : 2207 (java) S 2191 2191 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475271784 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282633246672 140283100616603 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2208] ppid=2191 vsize=15417412 memory=780 CPUtime=1.6 cores=0,2,4,6
/proc/2193/task/2208/stat : 2208 (java) S 2191 2191 30846 0 -1 1077944384 6356 0 0 0 159 1 0 0 20 0 19 0 475271784 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282632194800 140283100609154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2209] ppid=2191 vsize=15417412 memory=14008 CPUtime=1.46 cores=0,2,4,6
/proc/2193/task/2209/stat : 2209 (java) S 2191 2191 30846 0 -1 1077944384 5080 0 0 0 145 1 0 0 20 0 19 0 475271784 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282631142256 140283100609154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2210] ppid=2191 vsize=15417412 memory=28112 CPUtime=0.65 cores=0,2,4,6
/proc/2193/task/2210/stat : 2210 (java) S 2191 2191 30846 0 -1 1077944384 4902 0 0 0 64 1 0 0 20 0 19 0 475271784 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282630089200 140283100609154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2211] ppid=2191 vsize=15417412 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2211/stat : 2211 (java) S 2191 2191 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475271785 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282629036896 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2212] ppid=2191 vsize=15417412 memory=12024 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2212/stat : 2212 (java) S 2191 2191 30846 0 -1 1077944384 689 0 0 0 0 0 0 0 20 0 19 0 475271785 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282627983920 140283100609154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2240] ppid=2191 vsize=15417412 memory=6442213889275355488 CPUtime=10.1 cores=0,2,4,6
/proc/2193/task/2240/stat : 2240 (java) R 2191 2191 30846 0 -1 4202560 647 0 0 0 1010 0 0 0 20 0 19 0 475273764 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282416679800 140282713705475 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2241] ppid=2191 vsize=15417412 memory=4643046759129048424 CPUtime=9.88 cores=0,2,4,6
/proc/2193/task/2241/stat : 2241 (java) R 2191 2191 30846 0 -1 4202560 1940 0 0 0 988 0 0 0 20 0 19 0 475273765 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282415627880 140282714270641 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2242] ppid=2191 vsize=15417412 memory=8100682061453550690 CPUtime=9.62 cores=0,2,4,6
/proc/2193/task/2242/stat : 2242 (java) R 2191 2191 30846 0 -1 4202560 972 0 0 0 962 0 0 0 20 0 19 0 475273765 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282414575800 140282713705869 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2243] ppid=2191 vsize=15417412 memory=7593748909384821360 CPUtime=9.58 cores=0,2,4,6
/proc/2193/task/2243/stat : 2243 (java) R 2191 2191 30846 0 -1 4202560 1193 0 0 0 958 0 0 0 20 0 19 0 475273765 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282413525432 140282713705703 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
Current children cumulated CPU time: 73.91 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 4755572 KiB

[startup+30.3009 s]
/proc/loadavg: 6.75 7.81 7.40 9/235 2249
/proc/meminfo: memFree=1833648/32770624 swapFree=66938908/67108860
[pid=2191] ppid=2188 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2191/stat : 2191 (xcsp3-exec) S 2188 2191 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475271778 115843072 362 33554432000 4194304 5098028 140735134089696 140735134087800 140075920659068 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8286208 140735134098298 140735134098541 140735134098541 140735134101450 0
/proc/2191/statm: 28282 362 304 221 0 87 0
[pid=2193] ppid=2191 vsize=15417412 memory=4754124 CPUtime=74.31 cores=0,2,4,6
/proc/2193/stat : 2193 (java) S 2191 2191 30846 0 -1 1077944320 133795 0 0 0 7001 430 0 0 20 0 19 0 475271779 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140725973890592 140283100598007 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
/proc/2193/statm: 3854353 1188531 3521 1 0 3815453 0
[pid=2193/tid=2194] ppid=2191 vsize=15417412 memory=4126316290023845779 CPUtime=15.16 cores=0,2,4,6
/proc/2193/task/2194/stat : 2194 (java) S 2191 2191 30846 0 -1 1077944384 16800 0 0 0 1478 38 0 0 20 0 19 0 475271779 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140283104838784 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2195] ppid=2191 vsize=15417412 memory=307 CPUtime=3.72 cores=0,2,4,6
/proc/2193/task/2195/stat : 2195 (java) S 2191 2191 30846 0 -1 1077944384 20795 0 0 0 275 97 0 0 20 0 19 0 475271780 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140283028638736 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2196] ppid=2191 vsize=15417412 memory=10728 CPUtime=3.68 cores=0,2,4,6
/proc/2193/task/2196/stat : 2196 (java) S 2191 2191 30846 0 -1 1077944384 20281 0 0 0 269 99 0 0 20 0 19 0 475271780 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282691972240 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2197] ppid=2191 vsize=15417412 memory=0 CPUtime=3.73 cores=0,2,4,6
/proc/2193/task/2197/stat : 2197 (java) S 2191 2191 30846 0 -1 1077944384 23431 0 0 0 279 94 0 0 20 0 19 0 475271780 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282690919184 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2198] ppid=2191 vsize=15417412 memory=0 CPUtime=3.72 cores=0,2,4,6
/proc/2193/task/2198/stat : 2198 (java) S 2191 2191 30846 0 -1 1077944384 18566 0 0 0 278 94 0 0 20 0 19 0 475271780 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282689866640 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2200] ppid=2191 vsize=15417412 memory=0 CPUtime=0.89 cores=0,2,4,6
/proc/2193/task/2200/stat : 2200 (java) S 2191 2191 30846 0 -1 1077944384 10461 0 0 0 88 1 0 0 20 0 19 0 475271781 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282636404976 140283100609154 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2202] ppid=2191 vsize=15417412 memory=17609365916656 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2202/stat : 2202 (java) S 2191 2191 30846 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 475271782 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282635351264 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2203] ppid=2191 vsize=15417412 memory=589972051086833205 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2203/stat : 2203 (java) S 2191 2191 30846 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 475271782 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282634298112 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2207] ppid=2191 vsize=15417412 memory=288291086403906321 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2207/stat : 2207 (java) S 2191 2191 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475271784 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282633246672 140283100616603 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2208] ppid=2191 vsize=15417412 memory=0 CPUtime=1.6 cores=0,2,4,6
/proc/2193/task/2208/stat : 2208 (java) S 2191 2191 30846 0 -1 1077944384 6356 0 0 0 159 1 0 0 20 0 19 0 475271784 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282632194800 140283100609154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2209] ppid=2191 vsize=15417412 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/2193/task/2209/stat : 2209 (java) R 2191 2191 30846 0 -1 1077944384 5080 0 0 0 145 1 0 0 20 0 19 0 475271784 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282631142256 140283100609154 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2210] ppid=2191 vsize=15417412 memory=158 CPUtime=0.65 cores=0,2,4,6
/proc/2193/task/2210/stat : 2210 (java) S 2191 2191 30846 0 -1 1077944384 5066 0 0 0 64 1 0 0 20 0 19 0 475271784 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282630089200 140283100609154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2211] ppid=2191 vsize=15417412 memory=145 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2211/stat : 2211 (java) S 2191 2191 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475271785 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282629036896 140283100608213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2212] ppid=2191 vsize=15417412 memory=4754104 CPUtime=0 cores=0,2,4,6
/proc/2193/task/2212/stat : 2212 (java) S 2191 2191 30846 0 -1 1077944384 689 0 0 0 0 0 0 0 20 0 19 0 475271785 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282627983920 140283100609154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2240] ppid=2191 vsize=15417412 memory=2016 CPUtime=10.2 cores=0,2,4,6
/proc/2193/task/2240/stat : 2240 (java) R 2191 2191 30846 0 -1 4202560 668 0 0 0 1020 0 0 0 20 0 19 0 475273764 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282416679600 140282713705677 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2241] ppid=2191 vsize=15417412 memory=1448 CPUtime=9.98 cores=0,2,4,6
/proc/2193/task/2241/stat : 2241 (java) R 2191 2191 30846 0 -1 4202560 1974 0 0 0 998 0 0 0 20 0 19 0 475273765 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282415630712 140282713705744 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2242] ppid=2191 vsize=15417412 memory=3620 CPUtime=9.72 cores=0,2,4,6
/proc/2193/task/2242/stat : 2242 (java) R 2191 2191 30846 0 -1 4202560 1076 0 0 0 972 0 0 0 20 0 19 0 475273765 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282414577224 140282708461648 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
[pid=2193/tid=2243] ppid=2191 vsize=15417412 memory=2016 CPUtime=9.67 cores=0,2,4,6
/proc/2193/task/2243/stat : 2243 (java) R 2191 2191 30846 0 -1 4202560 1208 0 0 0 967 0 0 0 20 0 19 0 475273765 15787429888 1188531 33554432000 4194304 4196468 140725973908048 140282413523384 140282714269093 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24825856 140725973914607 140725973914778 140725973914778 140725973917647 0
Current children cumulated CPU time: 74.31 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 4755572 KiB

Child status: 0
Real time (s): 30.3954
CPU time (s): 74.5447
CPU user time (s): 70.1999
CPU system time (s): 4.34474
CPU usage (%): 245.25
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 4755572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 70.1999
system time used= 4.34474
maximum resident set size= 4754140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135718
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4054
involuntary context switches= 1357


# summary of solver processes directly reported to runsolver:
#   pid: 2191
#   total CPU time (s): 74.5447
#   total CPU user time (s): 70.1999
#   total CPU system time (s): 4.34474

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.228826 second user time and 0.349839 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-20 16:35:43
IDJOB=4403474
IDBENCH=126080
IDSOLVER=2863
FILE ID=node139/4403474-1568990021
RUNJOBID= node139-1568988008-30877
PBS_JOBID= 21704637
Free space on /tmp= 4996 MiB

SOLVER NAME= choco-solver 2019-09-20
BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5/mdd-7-25-5-56-01.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4403474-1568990021/watcher-4403474-1568990021 -o /tmp/evaluation-result-4403474-1568990021/solver-4403474-1568990021 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568988008-30877 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1946511086 HOME/instance-4403474-1568990021.xml

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

MD5SUM BENCH= 38fbb435e56fa73fec05cbb523a31b1b
RANDOM SEED=1946511086

node139.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.57
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.57
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.57
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.57
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:        11337044 kB
MemAvailable:   31795456 kB
Buffers:          135896 kB
Cached:         20191372 kB
SwapCached:        65308 kB
Active:         10130256 kB
Inactive:       10266996 kB
Active(anon):       1112 kB
Inactive(anon):   114792 kB
Active(file):   10129144 kB
Inactive(file): 10152204 kB
Unevictable:      106908 kB
Mlocked:          106908 kB
SwapTotal:      67108860 kB
SwapFree:       66938908 kB
Dirty:             59264 kB
Writeback:             0 kB
AnonPages:        125392 kB
Mapped:            51396 kB
Shmem:             37304 kB
Slab:             635212 kB
SReclaimable:     605524 kB
SUnreclaim:        29688 kB
KernelStack:        3648 kB
PageTables:         5436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     508960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 4972 MiB
End job on node139 at 2019-09-20 16:36:14