Trace number 4403406

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-20UNSAT 397.936 111.674

General information on the benchmark

NameQRandom/QRandom-mdd-7-25-5-p7/
mdd-7-25-5-ps05-psh07-4.xml
MD5SUMcc3fcfac109c3d277a0ef72b27cdc983
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark84.877
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints58
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":25}]
Minimum variable degree9
Maximum variable degree21
Distribution of variable degrees[{"degree":9,"count":1},{"degree":10,"count":1},{"degree":13,"count":2},{"degree":14,"count":3},{"degree":15,"count":1},{"degree":16,"count":3},{"degree":17,"count":6},{"degree":18,"count":2},{"degree":19,"count":4},{"degree":21,"count":2}]
Minimum constraint arity7
Maximum constraint arity7
Distribution of constraint arities[{"arity":7,"count":58}]
Number of extensional constraints58
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":58}]
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-4403406-1568989909.xml"  -tl '2520s' -p 4
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4403406-1568989909.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
32.52/19.84	c solve instance...
397.73/111.64	s UNSATISFIABLE

Verifier Data


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 (4618 MiB free)
  memory of node 1: 16384 MiB (5967 MiB free)
  node distances:
     10  21
     21  10

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

running on 4 cores: 1,3,5,7

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=1972, runsolver pid=1969
Current StackSize limit: 8192 KiB


[startup+0.100078 s]*
/proc/loadavg: 8.64 8.36 7.47 7/233 1989
/proc/meminfo: memFree=10824168/32770624 swapFree=66938908/67108860
[pid=1972] ppid=1969 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/1972/stat : 1972 (xcsp3-exec) S 1969 1972 30846 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475260571 115843072 362 33554432000 4194304 5098028 140732539117552 140732539115656 140041273901692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40759296 140732539122555 140732539122797 140732539122797 140732539125706 0
/proc/1972/statm: 28282 362 304 221 0 87 0
[pid=1974] ppid=1972 vsize=15144776 memory=28828 CPUtime=0.12 cores=1,3,5,7
/proc/1974/stat : 1974 (java) S 1972 1972 30846 0 -1 1077944320 5681 0 0 0 11 1 0 0 20 0 15 0 475260572 15508250624 7207 33554432000 4194304 4196468 140728223342752 140728223325296 140177423216375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
/proc/1974/statm: 3786194 7207 3092 1 0 3748377 0
[pid=1974/tid=1975] ppid=1972 vsize=15144776 memory=7031125463459224206 CPUtime=0.08 cores=1,3,5,7
/proc/1974/task/1975/stat : 1975 (java) R 1972 1972 30846 0 -1 4202560 3584 0 0 0 8 0 0 0 20 0 15 0 475260572 15508250624 7271 33554432000 4194304 4196468 140728223342752 140177427449152 140177415453502 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1976] ppid=1972 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1976/stat : 1976 (java) S 1972 1972 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475260573 15508250624 7271 33554432000 4194304 4196468 140728223342752 140177334872464 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1977] ppid=1972 vsize=15144776 memory=140119342802560 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1977/stat : 1977 (java) S 1972 1972 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475260573 15508250624 7271 33554432000 4194304 4196468 140728223342752 140177333819664 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1978] ppid=1972 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1978/stat : 1978 (java) S 1972 1972 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475260573 15508250624 7271 33554432000 4194304 4196468 140728223342752 140177332767376 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1979] ppid=1972 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1979/stat : 1979 (java) S 1972 1972 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475260573 15508250624 7271 33554432000 4194304 4196468 140728223342752 140177331714576 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1980] ppid=1972 vsize=15144776 memory=140119342802560 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1980/stat : 1980 (java) S 1972 1972 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475260574 15508250624 7271 33554432000 4194304 4196468 140728223342752 140176297310832 140177423227522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1981] ppid=1972 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1981/stat : 1981 (java) S 1972 1972 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475260574 15508250624 7271 33554432000 4194304 4196468 140728223342752 140176296256800 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1982] ppid=1972 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1982/stat : 1982 (java) S 1972 1972 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475260575 15508250624 7271 33554432000 4194304 4196468 140728223342752 140176295204464 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1983] ppid=1972 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1983/stat : 1983 (java) S 1972 1972 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475260577 15508250624 7271 33554432000 4194304 4196468 140728223342752 140176294152784 140177423234971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1984] ppid=1972 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1984/stat : 1984 (java) S 1972 1972 30846 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 475260577 15508250624 7271 33554432000 4194304 4196468 140728223342752 140176293099928 140177423227522 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1985] ppid=1972 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1985/stat : 1985 (java) S 1972 1972 30846 0 -1 1077944384 395 0 0 0 0 0 0 0 20 0 15 0 475260577 15508250624 7271 33554432000 4194304 4196468 140728223342752 140176292046832 140177423227522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1986] ppid=1972 vsize=15144776 memory=140119342802560 CPUtime=0.02 cores=1,3,5,7
/proc/1974/task/1986/stat : 1986 (java) R 1972 1972 30846 0 -1 4202560 380 0 0 0 2 0 0 0 20 0 15 0 475260577 15508250624 7271 33554432000 4194304 4196468 140728223342752 140176290994544 140177402184947 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1988] ppid=1972 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1988/stat : 1988 (java) S 1972 1972 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475260577 15508250624 7271 33554432000 4194304 4196468 140728223342752 140176289941984 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1989] ppid=1972 vsize=15144776 memory=140119342802560 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1989/stat : 1989 (java) S 1972 1972 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475260577 15508250624 7271 33554432000 4194304 4196468 140728223342752 140176288889776 140177423227522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30276 KiB

[startup+0.210817 s]*
/proc/loadavg: 8.64 8.36 7.47 8/233 1989
/proc/meminfo: memFree=10810680/32770624 swapFree=66938908/67108860
[pid=1972] ppid=1969 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/1972/stat : 1972 (xcsp3-exec) S 1969 1972 30846 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475260571 115843072 362 33554432000 4194304 5098028 140732539117552 140732539115656 140041273901692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40759296 140732539122555 140732539122797 140732539122797 140732539125706 0
/proc/1972/statm: 28282 362 304 221 0 87 0
[pid=1974] ppid=1972 vsize=15144776 memory=40664 CPUtime=0.34 cores=1,3,5,7
/proc/1974/stat : 1974 (java) S 1972 1972 30846 0 -1 1077944320 9438 0 0 0 32 2 0 0 20 0 15 0 475260572 15508250624 10166 33554432000 4194304 4196468 140728223342752 140728223325296 140177423216375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
/proc/1974/statm: 3786194 10166 3273 1 0 3748377 0
[pid=1974/tid=1975] ppid=1972 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/1974/task/1975/stat : 1975 (java) R 1972 1972 30846 0 -1 4202560 6621 0 0 0 18 2 0 0 20 0 15 0 475260572 15508250624 10166 33554432000 4194304 4196468 140728223342752 140177427453824 140177407296862 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1976] ppid=1972 vsize=15144776 memory=4294979937 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1976/stat : 1976 (java) S 1972 1972 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475260573 15508250624 10166 33554432000 4194304 4196468 140728223342752 140177334872464 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1977] ppid=1972 vsize=15144776 memory=140119346279779 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1977/stat : 1977 (java) S 1972 1972 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475260573 15508250624 10166 33554432000 4194304 4196468 140728223342752 140177333819664 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1978] ppid=1972 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1978/stat : 1978 (java) S 1972 1972 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475260573 15508250624 10166 33554432000 4194304 4196468 140728223342752 140177332767376 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1979] ppid=1972 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1979/stat : 1979 (java) S 1972 1972 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475260573 15508250624 10166 33554432000 4194304 4196468 140728223342752 140177331714576 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1980] ppid=1972 vsize=15144776 memory=140119342802560 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1980/stat : 1980 (java) S 1972 1972 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475260574 15508250624 10166 33554432000 4194304 4196468 140728223342752 140176297310832 140177423227522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1981] ppid=1972 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1981/stat : 1981 (java) S 1972 1972 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475260574 15508250624 10166 33554432000 4194304 4196468 140728223342752 140176296256800 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1982] ppid=1972 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1982/stat : 1982 (java) S 1972 1972 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475260575 15508250624 10166 33554432000 4194304 4196468 140728223342752 140176295204464 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1983] ppid=1972 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1983/stat : 1983 (java) S 1972 1972 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475260577 15508250624 10166 33554432000 4194304 4196468 140728223342752 140176294152784 140177423234971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1984] ppid=1972 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/1974/task/1984/stat : 1984 (java) S 1972 1972 30846 0 -1 1077944384 175 0 0 0 3 0 0 0 20 0 15 0 475260577 15508250624 10166 33554432000 4194304 4196468 140728223342752 140176293099632 140177423227522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1985] ppid=1972 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/1974/task/1985/stat : 1985 (java) S 1972 1972 30846 0 -1 1077944384 575 0 0 0 2 0 0 0 20 0 15 0 475260577 15508250624 10166 33554432000 4194304 4196468 140728223342752 140176292046832 140177423227522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1986] ppid=1972 vsize=15144776 memory=140119342802560 CPUtime=0.08 cores=1,3,5,7
/proc/1974/task/1986/stat : 1986 (java) S 1972 1972 30846 0 -1 1077944384 778 0 0 0 8 0 0 0 20 0 15 0 475260577 15508250624 10166 33554432000 4194304 4196468 140728223342752 140176290994544 140177423227522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1988] ppid=1972 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1988/stat : 1988 (java) S 1972 1972 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475260577 15508250624 10166 33554432000 4194304 4196468 140728223342752 140176289941984 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1989] ppid=1972 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1989/stat : 1989 (java) S 1972 1972 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475260577 15508250624 10166 33554432000 4194304 4196468 140728223342752 140176288889776 140177423227522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42112 KiB

[startup+0.310755 s]*
/proc/loadavg: 8.64 8.36 7.47 7/233 1989
/proc/meminfo: memFree=10803036/32770624 swapFree=66938908/67108860
[pid=1972] ppid=1969 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/1972/stat : 1972 (xcsp3-exec) S 1969 1972 30846 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475260571 115843072 362 33554432000 4194304 5098028 140732539117552 140732539115656 140041273901692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40759296 140732539122555 140732539122797 140732539122797 140732539125706 0
/proc/1972/statm: 28282 362 304 221 0 87 0
[pid=1974] ppid=1972 vsize=15149032 memory=50172 CPUtime=0.53 cores=1,3,5,7
/proc/1974/stat : 1974 (java) S 1972 1972 30846 0 -1 1077944320 10872 0 0 0 50 3 0 0 20 0 15 0 475260572 15512608768 12543 33554432000 4194304 4196468 140728223342752 140728223325296 140177423216375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
/proc/1974/statm: 3787258 12543 3374 1 0 3748377 0
[pid=1974/tid=1975] ppid=1972 vsize=15149032 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/1974/task/1975/stat : 1975 (java) R 1972 1972 30846 0 -1 4202560 7836 0 0 0 28 2 0 0 20 0 15 0 475260572 15512608768 12613 33554432000 4194304 4196468 140728223342752 140177427450160 140177407296862 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1976] ppid=1972 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1976/stat : 1976 (java) S 1972 1972 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475260573 15512608768 12613 33554432000 4194304 4196468 140728223342752 140177334872464 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1977] ppid=1972 vsize=15149032 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1977/stat : 1977 (java) S 1972 1972 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475260573 15512608768 12613 33554432000 4194304 4196468 140728223342752 140177333819664 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1978] ppid=1972 vsize=15149032 memory=500 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1978/stat : 1978 (java) S 1972 1972 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475260573 15512608768 12613 33554432000 4194304 4196468 140728223342752 140177332767376 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1979] ppid=1972 vsize=15149032 memory=928 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1979/stat : 1979 (java) S 1972 1972 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475260573 15512608768 12613 33554432000 4194304 4196468 140728223342752 140177331714576 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1980] ppid=1972 vsize=15149032 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1980/stat : 1980 (java) S 1972 1972 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475260574 15512608768 12613 33554432000 4194304 4196468 140728223342752 140176297310832 140177423227522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1981] ppid=1972 vsize=15149032 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1981/stat : 1981 (java) S 1972 1972 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475260574 15512608768 12613 33554432000 4194304 4196468 140728223342752 140176296256800 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1982] ppid=1972 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1982/stat : 1982 (java) S 1972 1972 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475260575 15512608768 12613 33554432000 4194304 4196468 140728223342752 140176295204464 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1983] ppid=1972 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1983/stat : 1983 (java) S 1972 1972 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475260577 15512608768 12613 33554432000 4194304 4196468 140728223342752 140176294152784 140177423234971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1984] ppid=1972 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/1974/task/1984/stat : 1984 (java) S 1972 1972 30846 0 -1 1077944384 199 0 0 0 4 0 0 0 20 0 15 0 475260577 15512608768 12613 33554432000 4194304 4196468 140728223342752 140176293099632 140177423227522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1985] ppid=1972 vsize=15149032 memory=46849 CPUtime=0.04 cores=1,3,5,7
/proc/1974/task/1985/stat : 1985 (java) S 1972 1972 30846 0 -1 1077944384 689 0 0 0 4 0 0 0 20 0 15 0 475260577 15512608768 12613 33554432000 4194304 4196468 140728223342752 140176292046832 140177423227522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1986] ppid=1972 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/1974/task/1986/stat : 1986 (java) S 1972 1972 30846 0 -1 1077944384 890 0 0 0 12 0 0 0 20 0 15 0 475260577 15512608768 12613 33554432000 4194304 4196468 140728223342752 140176290994544 140177423227522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1988] ppid=1972 vsize=15149032 memory=-2893623298589923098 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1988/stat : 1988 (java) S 1972 1972 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475260577 15512608768 12613 33554432000 4194304 4196468 140728223342752 140176289941984 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1989] ppid=1972 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1989/stat : 1989 (java) S 1972 1972 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475260577 15512608768 12613 33554432000 4194304 4196468 140728223342752 140176288889776 140177423227522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51620 KiB

[startup+0.701179 s]
/proc/loadavg: 8.64 8.36 7.47 7/233 1989
/proc/meminfo: memFree=10725816/32770624 swapFree=66938908/67108860
[pid=1972] ppid=1969 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/1972/stat : 1972 (xcsp3-exec) S 1969 1972 30846 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475260571 115843072 362 33554432000 4194304 5098028 140732539117552 140732539115656 140041273901692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40759296 140732539122555 140732539122797 140732539122797 140732539125706 0
/proc/1972/statm: 28282 362 304 221 0 87 0
[pid=1974] ppid=1972 vsize=15151156 memory=251064 CPUtime=1.51 cores=1,3,5,7
/proc/1974/stat : 1974 (java) S 1972 1972 30846 0 -1 1077944320 13181 0 0 0 136 15 0 0 20 0 15 0 475260572 15514783744 62766 33554432000 4194304 4196468 140728223342752 140728223325296 140177423216375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
/proc/1974/statm: 3787789 62766 3450 1 0 3748889 0
[pid=1974/tid=1975] ppid=1972 vsize=15151156 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/1974/task/1975/stat : 1975 (java) R 1972 1972 30846 0 -1 4202560 8274 0 0 0 59 5 0 0 20 0 15 0 475260572 15514783744 62766 33554432000 4194304 4196468 140728223342752 140177427450416 140177012050640 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1976] ppid=1972 vsize=15151156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1974/task/1976/stat : 1976 (java) S 1972 1972 30846 0 -1 1077944384 32 0 0 0 0 1 0 0 20 0 15 0 475260573 15514783744 62766 33554432000 4194304 4196468 140728223342752 140177334872464 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1977] ppid=1972 vsize=15151156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1974/task/1977/stat : 1977 (java) S 1972 1972 30846 0 -1 1077944384 15 0 0 0 0 1 0 0 20 0 15 0 475260573 15514783744 62766 33554432000 4194304 4196468 140728223342752 140177333819664 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1978] ppid=1972 vsize=15151156 memory=221 CPUtime=0.03 cores=1,3,5,7
/proc/1974/task/1978/stat : 1978 (java) S 1972 1972 30846 0 -1 1077944384 42 0 0 0 0 3 0 0 20 0 15 0 475260573 15514783744 62766 33554432000 4194304 4196468 140728223342752 140177332767376 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1979] ppid=1972 vsize=15151156 memory=2 CPUtime=0.03 cores=1,3,5,7
/proc/1974/task/1979/stat : 1979 (java) S 1972 1972 30846 0 -1 1077944384 50 0 0 0 1 2 0 0 20 0 15 0 475260573 15514783744 62766 33554432000 4194304 4196468 140728223342752 140177331714576 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1980] ppid=1972 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1980/stat : 1980 (java) S 1972 1972 30846 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 475260574 15514783744 62766 33554432000 4194304 4196468 140728223342752 140176297310832 140177423227522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1981] ppid=1972 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1981/stat : 1981 (java) S 1972 1972 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475260574 15514783744 62766 33554432000 4194304 4196468 140728223342752 140176296256800 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1982] ppid=1972 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1982/stat : 1982 (java) S 1972 1972 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475260575 15514783744 62766 33554432000 4194304 4196468 140728223342752 140176295204464 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1983] ppid=1972 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1983/stat : 1983 (java) S 1972 1972 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475260577 15514783744 62766 33554432000 4194304 4196468 140728223342752 140176294152784 140177423234971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1984] ppid=1972 vsize=15151156 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/1974/task/1984/stat : 1984 (java) R 1972 1972 30846 0 -1 4202560 948 0 0 0 27 0 0 0 20 0 15 0 475260577 15514783744 62766 33554432000 4194304 4196468 140728223342752 140176293090016 140177401104896 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1985] ppid=1972 vsize=15151156 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/1974/task/1985/stat : 1985 (java) R 1972 1972 30846 0 -1 4202560 1134 0 0 0 22 0 0 0 20 0 15 0 475260577 15514783744 62766 33554432000 4194304 4196468 140728223342752 140176292028432 140177402872784 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1986] ppid=1972 vsize=15151156 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/1974/task/1986/stat : 1986 (java) R 1972 1972 30846 0 -1 4202560 1307 0 0 0 24 0 0 0 20 0 15 0 475260577 15514783744 62766 33554432000 4194304 4196468 140728223342752 140176290994544 140177401781248 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1988] ppid=1972 vsize=15151156 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1988/stat : 1988 (java) S 1972 1972 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475260577 15514783744 62766 33554432000 4194304 4196468 140728223342752 140176289941984 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1989] ppid=1972 vsize=15151156 memory=28112 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1989/stat : 1989 (java) S 1972 1972 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475260577 15514783744 62766 33554432000 4194304 4196468 140728223342752 140176288889776 140177423227522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 252512 KiB

[startup+1.50086 s]
/proc/loadavg: 8.64 8.36 7.47 7/233 1989
/proc/meminfo: memFree=10569932/32770624 swapFree=66938908/67108860
[pid=1972] ppid=1969 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/1972/stat : 1972 (xcsp3-exec) S 1969 1972 30846 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475260571 115843072 362 33554432000 4194304 5098028 140732539117552 140732539115656 140041273901692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40759296 140732539122555 140732539122797 140732539122797 140732539125706 0
/proc/1972/statm: 28282 362 304 221 0 87 0

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

/proc/1974/task/1989/stat : 1989 (java) S 1972 1972 30846 0 -1 1077944384 2336 0 0 0 1 3 0 0 20 0 19 0 475260577 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176288889776 140177423227522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1991] ppid=1972 vsize=15417412 memory=4137280412607091059 CPUtime=86.99 cores=1,3,5,7
/proc/1974/task/1991/stat : 1991 (java) R 1972 1972 30846 0 -1 4202560 7197 0 0 0 8699 0 0 0 20 0 19 0 475262557 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176279669800 140177017664647 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1992] ppid=1972 vsize=15417412 memory=-7684191407570971757 CPUtime=88.33 cores=1,3,5,7
/proc/1974/task/1992/stat : 1992 (java) R 1972 1972 30846 0 -1 4202560 11173 0 0 0 8832 1 0 0 20 0 19 0 475262557 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176278618696 140177017823281 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1993] ppid=1972 vsize=15417412 memory=1448 CPUtime=88.4 cores=1,3,5,7
/proc/1974/task/1993/stat : 1993 (java) R 1972 1972 30846 0 -1 4202560 5544 0 0 0 8840 0 0 0 20 0 19 0 475262557 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176277566024 140177017820632 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1994] ppid=1972 vsize=15417412 memory=4722028 CPUtime=88.04 cores=1,3,5,7
/proc/1974/task/1994/stat : 1994 (java) R 1972 1972 30846 0 -1 4202560 10856 0 0 0 8802 2 0 0 20 0 19 0 475262557 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176276512336 140177017820769 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
Current children cumulated CPU time: 386.61 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 4723484 KiB

[startup+110.403 s]
/proc/loadavg: 7.84 8.13 7.49 9/235 2083
/proc/meminfo: memFree=1961464/32770624 swapFree=66938908/67108860
[pid=1972] ppid=1969 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/1972/stat : 1972 (xcsp3-exec) S 1969 1972 30846 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475260571 115843072 362 33554432000 4194304 5098028 140732539117552 140732539115656 140041273901692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40759296 140732539122555 140732539122797 140732539122797 140732539125706 0
/proc/1972/statm: 28282 362 304 221 0 87 0
[pid=1974] ppid=1972 vsize=15417412 memory=4722036 CPUtime=392.98 cores=1,3,5,7
/proc/1974/stat : 1974 (java) S 1972 1972 30846 0 -1 1077944320 129988 0 0 0 38909 389 0 0 20 0 19 0 475260572 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140728223325296 140177423216375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
/proc/1974/statm: 3854353 1180509 3523 1 0 3815453 0
[pid=1974/tid=1975] ppid=1972 vsize=15417412 memory=988 CPUtime=15.32 cores=1,3,5,7
/proc/1974/task/1975/stat : 1975 (java) S 1972 1972 30846 0 -1 1077944384 15723 0 0 0 1493 39 0 0 20 0 19 0 475260572 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140177427457152 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1976] ppid=1972 vsize=15417412 memory=8112282956445269571 CPUtime=3.49 cores=1,3,5,7
/proc/1974/task/1976/stat : 1976 (java) S 1972 1972 30846 0 -1 1077944384 3120 0 0 0 270 79 0 0 20 0 19 0 475260573 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140177334872464 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1977] ppid=1972 vsize=15417412 memory=916 CPUtime=3.5 cores=1,3,5,7
/proc/1974/task/1977/stat : 1977 (java) S 1972 1972 30846 0 -1 1077944384 11212 0 0 0 266 84 0 0 20 0 19 0 475260573 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140177333819664 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1978] ppid=1972 vsize=15417412 memory=3848 CPUtime=3.5 cores=1,3,5,7
/proc/1974/task/1978/stat : 1978 (java) S 1972 1972 30846 0 -1 1077944384 10451 0 0 0 262 88 0 0 20 0 19 0 475260573 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140177332767376 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1979] ppid=1972 vsize=15417412 memory=2608 CPUtime=3.52 cores=1,3,5,7
/proc/1974/task/1979/stat : 1979 (java) S 1972 1972 30846 0 -1 1077944384 9443 0 0 0 268 84 0 0 20 0 19 0 475260573 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140177331714576 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1980] ppid=1972 vsize=15417412 memory=1448 CPUtime=0.96 cores=1,3,5,7
/proc/1974/task/1980/stat : 1980 (java) S 1972 1972 30846 0 -1 1077944384 10776 0 0 0 95 1 0 0 20 0 19 0 475260574 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176297310832 140177423227522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1981] ppid=1972 vsize=15417412 memory=4722036 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1981/stat : 1981 (java) S 1972 1972 30846 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 475260574 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176296256864 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1982] ppid=1972 vsize=15417412 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1982/stat : 1982 (java) S 1972 1972 30846 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 475260575 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176295204480 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1983] ppid=1972 vsize=15417412 memory=53504 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1983/stat : 1983 (java) S 1972 1972 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475260577 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176294152784 140177423234971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1984] ppid=1972 vsize=15417412 memory=988 CPUtime=1.74 cores=1,3,5,7
/proc/1974/task/1984/stat : 1984 (java) S 1972 1972 30846 0 -1 1077944384 10191 0 0 0 173 1 0 0 20 0 19 0 475260577 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176293099632 140177423227522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1985] ppid=1972 vsize=15417412 memory=3080 CPUtime=1.96 cores=1,3,5,7
/proc/1974/task/1985/stat : 1985 (java) S 1972 1972 30846 0 -1 1077944384 11567 0 0 0 195 1 0 0 20 0 19 0 475260577 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176292046832 140177423227522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1986] ppid=1972 vsize=15417412 memory=1448 CPUtime=0.67 cores=1,3,5,7
/proc/1974/task/1986/stat : 1986 (java) S 1972 1972 30846 0 -1 1077944384 8475 0 0 0 65 2 0 0 20 0 19 0 475260577 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176290994544 140177423227522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1988] ppid=1972 vsize=15417412 memory=4722036 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1988/stat : 1988 (java) S 1972 1972 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475260577 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176289941984 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1989] ppid=1972 vsize=15417412 memory=1744 CPUtime=0.04 cores=1,3,5,7
/proc/1974/task/1989/stat : 1989 (java) S 1972 1972 30846 0 -1 1077944384 2355 0 0 0 1 3 0 0 20 0 19 0 475260577 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176288889776 140177423227522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1991] ppid=1972 vsize=15417412 memory=1412 CPUtime=88.59 cores=1,3,5,7
/proc/1974/task/1991/stat : 1991 (java) R 1972 1972 30846 0 -1 4202560 7329 0 0 0 8859 0 0 0 20 0 19 0 475262557 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176279669800 140177017820400 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1992] ppid=1972 vsize=15417412 memory=2796 CPUtime=89.92 cores=1,3,5,7
/proc/1974/task/1992/stat : 1992 (java) R 1972 1972 30846 0 -1 4202560 11464 0 0 0 8991 1 0 0 20 0 19 0 475262557 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176278618696 140177017820946 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1993] ppid=1972 vsize=15417412 memory=1452 CPUtime=89.96 cores=1,3,5,7
/proc/1974/task/1993/stat : 1993 (java) R 1972 1972 30846 0 -1 4202560 5584 0 0 0 8996 0 0 0 20 0 19 0 475262557 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176277566024 140177017820838 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1994] ppid=1972 vsize=15417412 memory=2016 CPUtime=89.64 cores=1,3,5,7
/proc/1974/task/1994/stat : 1994 (java) R 1972 1972 30846 0 -1 4202560 10966 0 0 0 8962 2 0 0 20 0 19 0 475262557 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176276512336 140177017498591 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
Current children cumulated CPU time: 392.98 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 4723484 KiB

[startup+111.201 s]
/proc/loadavg: 7.84 8.13 7.49 5/211 2091
/proc/meminfo: memFree=6653228/32770624 swapFree=66938908/67108860
[pid=1972] ppid=1969 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/1972/stat : 1972 (xcsp3-exec) S 1969 1972 30846 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475260571 115843072 362 33554432000 4194304 5098028 140732539117552 140732539115656 140041273901692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40759296 140732539122555 140732539122797 140732539122797 140732539125706 0
/proc/1972/statm: 28282 362 304 221 0 87 0
[pid=1974] ppid=1972 vsize=15417412 memory=4722036 CPUtime=396.13 cores=1,3,5,7
/proc/1974/stat : 1974 (java) S 1972 1972 30846 0 -1 1077944320 130008 0 0 0 39223 390 0 0 20 0 19 0 475260572 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140728223325296 140177423216375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
/proc/1974/statm: 3854353 1180509 3523 1 0 3815453 0
[pid=1974/tid=1975] ppid=1972 vsize=15417412 memory=1096 CPUtime=15.32 cores=1,3,5,7
/proc/1974/task/1975/stat : 1975 (java) S 1972 1972 30846 0 -1 1077944384 15723 0 0 0 1493 39 0 0 20 0 19 0 475260572 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140177427457152 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1976] ppid=1972 vsize=15417412 memory=1188 CPUtime=3.49 cores=1,3,5,7
/proc/1974/task/1976/stat : 1976 (java) S 1972 1972 30846 0 -1 1077944384 3120 0 0 0 270 79 0 0 20 0 19 0 475260573 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140177334872464 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1977] ppid=1972 vsize=15417412 memory=6112 CPUtime=3.5 cores=1,3,5,7
/proc/1974/task/1977/stat : 1977 (java) S 1972 1972 30846 0 -1 1077944384 11212 0 0 0 266 84 0 0 20 0 19 0 475260573 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140177333819664 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1978] ppid=1972 vsize=15417412 memory=1416 CPUtime=3.5 cores=1,3,5,7
/proc/1974/task/1978/stat : 1978 (java) S 1972 1972 30846 0 -1 1077944384 10451 0 0 0 262 88 0 0 20 0 19 0 475260573 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140177332767376 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1979] ppid=1972 vsize=15417412 memory=10728 CPUtime=3.52 cores=1,3,5,7
/proc/1974/task/1979/stat : 1979 (java) S 1972 1972 30846 0 -1 1077944384 9443 0 0 0 268 84 0 0 20 0 19 0 475260573 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140177331714576 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1980] ppid=1972 vsize=15417412 memory=1552 CPUtime=0.96 cores=1,3,5,7
/proc/1974/task/1980/stat : 1980 (java) S 1972 1972 30846 0 -1 1077944384 10776 0 0 0 95 1 0 0 20 0 19 0 475260574 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176297310832 140177423227522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1981] ppid=1972 vsize=15417412 memory=3640 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1981/stat : 1981 (java) S 1972 1972 30846 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 475260574 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176296256864 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1982] ppid=1972 vsize=15417412 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1982/stat : 1982 (java) S 1972 1972 30846 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 475260575 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176295204480 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1983] ppid=1972 vsize=15417412 memory=784 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1983/stat : 1983 (java) S 1972 1972 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475260577 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176294152784 140177423234971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1984] ppid=1972 vsize=15417412 memory=1060 CPUtime=1.74 cores=1,3,5,7
/proc/1974/task/1984/stat : 1984 (java) S 1972 1972 30846 0 -1 1077944384 10191 0 0 0 173 1 0 0 20 0 19 0 475260577 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176293099632 140177423227522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1985] ppid=1972 vsize=15417412 memory=1720 CPUtime=1.96 cores=1,3,5,7
/proc/1974/task/1985/stat : 1985 (java) S 1972 1972 30846 0 -1 1077944384 11567 0 0 0 195 1 0 0 20 0 19 0 475260577 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176292046832 140177423227522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1986] ppid=1972 vsize=15417412 memory=1096 CPUtime=0.67 cores=1,3,5,7
/proc/1974/task/1986/stat : 1986 (java) S 1972 1972 30846 0 -1 1077944384 8475 0 0 0 65 2 0 0 20 0 19 0 475260577 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176290994544 140177423227522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1988] ppid=1972 vsize=15417412 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1988/stat : 1988 (java) S 1972 1972 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475260577 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176289941984 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1989] ppid=1972 vsize=15417412 memory=6112 CPUtime=0.04 cores=1,3,5,7
/proc/1974/task/1989/stat : 1989 (java) S 1972 1972 30846 0 -1 1077944384 2355 0 0 0 1 3 0 0 20 0 19 0 475260577 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176288889776 140177423227522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1991] ppid=1972 vsize=15417412 memory=780 CPUtime=89.38 cores=1,3,5,7
/proc/1974/task/1991/stat : 1991 (java) R 1972 1972 30846 0 -1 4202560 7331 0 0 0 8936 2 0 0 20 0 19 0 475262557 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176279669800 140177017665408 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1992] ppid=1972 vsize=15417412 memory=14008 CPUtime=90.72 cores=1,3,5,7
/proc/1974/task/1992/stat : 1992 (java) R 1972 1972 30846 0 -1 4202560 11465 0 0 0 9071 1 0 0 20 0 19 0 475262557 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176278618696 140177017820646 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1993] ppid=1972 vsize=15417412 memory=28112 CPUtime=90.74 cores=1,3,5,7
/proc/1974/task/1993/stat : 1993 (java) R 1972 1972 30846 0 -1 4202560 5601 0 0 0 9074 0 0 0 20 0 19 0 475262557 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176277566024 140177017498636 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1994] ppid=1972 vsize=15417412 memory=2116 CPUtime=90.44 cores=1,3,5,7
/proc/1974/task/1994/stat : 1994 (java) R 1972 1972 30846 0 -1 4202560 10966 0 0 0 9042 2 0 0 20 0 19 0 475262557 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176276512336 140177017820433 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
Current children cumulated CPU time: 396.13 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 4723484 KiB

[startup+111.601 s]
/proc/loadavg: 7.84 8.13 7.49 5/211 2091
/proc/meminfo: memFree=6653228/32770624 swapFree=66938908/67108860
[pid=1972] ppid=1969 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/1972/stat : 1972 (xcsp3-exec) S 1969 1972 30846 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475260571 115843072 362 33554432000 4194304 5098028 140732539117552 140732539115656 140041273901692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40759296 140732539122555 140732539122797 140732539122797 140732539125706 0
/proc/1972/statm: 28282 362 304 221 0 87 0
[pid=1974] ppid=1972 vsize=15417412 memory=4722036 CPUtime=397.73 cores=1,3,5,7
/proc/1974/stat : 1974 (java) S 1972 1972 30846 0 -1 1077944320 130011 0 0 0 39382 391 0 0 20 0 19 0 475260572 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140728223325296 140177423216375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
/proc/1974/statm: 3854353 1180509 3523 1 0 3815453 0
[pid=1974/tid=1975] ppid=1972 vsize=15417412 memory=8112282956445269571 CPUtime=15.32 cores=1,3,5,7
/proc/1974/task/1975/stat : 1975 (java) S 1972 1972 30846 0 -1 1077944384 15723 0 0 0 1493 39 0 0 20 0 19 0 475260572 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140177427457152 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1976] ppid=1972 vsize=15417412 memory=302867294839898427 CPUtime=3.49 cores=1,3,5,7
/proc/1974/task/1976/stat : 1976 (java) S 1972 1972 30846 0 -1 1077944384 3120 0 0 0 270 79 0 0 20 0 19 0 475260573 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140177334872464 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1977] ppid=1972 vsize=15417412 memory=14134467610544335 CPUtime=3.5 cores=1,3,5,7
/proc/1974/task/1977/stat : 1977 (java) S 1972 1972 30846 0 -1 1077944384 11212 0 0 0 266 84 0 0 20 0 19 0 475260573 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140177333819664 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1978] ppid=1972 vsize=15417412 memory=7901149516758752425 CPUtime=3.5 cores=1,3,5,7
/proc/1974/task/1978/stat : 1978 (java) S 1972 1972 30846 0 -1 1077944384 10451 0 0 0 262 88 0 0 20 0 19 0 475260573 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140177332767376 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1979] ppid=1972 vsize=15417412 memory=-6226649063810159456 CPUtime=3.52 cores=1,3,5,7
/proc/1974/task/1979/stat : 1979 (java) S 1972 1972 30846 0 -1 1077944384 9443 0 0 0 268 84 0 0 20 0 19 0 475260573 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140177331714576 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1980] ppid=1972 vsize=15417412 memory=-6006799497799621572 CPUtime=0.96 cores=1,3,5,7
/proc/1974/task/1980/stat : 1980 (java) S 1972 1972 30846 0 -1 1077944384 10776 0 0 0 95 1 0 0 20 0 19 0 475260574 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176297310832 140177423227522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1981] ppid=1972 vsize=15417412 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1981/stat : 1981 (java) S 1972 1972 30846 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 475260574 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176296256864 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1982] ppid=1972 vsize=15417412 memory=5925733971045227431 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1982/stat : 1982 (java) S 1972 1972 30846 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 475260575 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176295204480 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1983] ppid=1972 vsize=15417412 memory=-6223535274414620047 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1983/stat : 1983 (java) S 1972 1972 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475260577 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176294152784 140177423234971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1984] ppid=1972 vsize=15417412 memory=-6223528707393109652 CPUtime=1.74 cores=1,3,5,7
/proc/1974/task/1984/stat : 1984 (java) S 1972 1972 30846 0 -1 1077944384 10191 0 0 0 173 1 0 0 20 0 19 0 475260577 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176293099632 140177423227522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1985] ppid=1972 vsize=15417412 memory=8112282956445269571 CPUtime=1.96 cores=1,3,5,7
/proc/1974/task/1985/stat : 1985 (java) S 1972 1972 30846 0 -1 1077944384 11567 0 0 0 195 1 0 0 20 0 19 0 475260577 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176292046832 140177423227522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1986] ppid=1972 vsize=15417412 memory=-6079983017413990852 CPUtime=0.67 cores=1,3,5,7
/proc/1974/task/1986/stat : 1986 (java) S 1972 1972 30846 0 -1 1077944384 8475 0 0 0 65 2 0 0 20 0 19 0 475260577 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176290994544 140177423227522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1988] ppid=1972 vsize=15417412 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/1974/task/1988/stat : 1988 (java) S 1972 1972 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475260577 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176289941984 140177423226581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1989] ppid=1972 vsize=15417412 memory=4722036 CPUtime=0.04 cores=1,3,5,7
/proc/1974/task/1989/stat : 1989 (java) S 1972 1972 30846 0 -1 1077944384 2358 0 0 0 1 3 0 0 20 0 19 0 475260577 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176288889776 140177423227522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1991] ppid=1972 vsize=15417412 memory=7235404708750254652 CPUtime=89.77 cores=1,3,5,7
/proc/1974/task/1991/stat : 1991 (java) R 1972 1972 30846 0 -1 4202560 7331 0 0 0 8975 2 0 0 20 0 19 0 475262557 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176279669800 140177017498699 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1992] ppid=1972 vsize=15417412 memory=7309178811451730024 CPUtime=91.12 cores=1,3,5,7
/proc/1974/task/1992/stat : 1992 (java) R 1972 1972 30846 0 -1 4202560 11465 0 0 0 9111 1 0 0 20 0 19 0 475262557 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176278618696 140177017820838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1993] ppid=1972 vsize=15417412 memory=3620 CPUtime=91.14 cores=1,3,5,7
/proc/1974/task/1993/stat : 1993 (java) R 1972 1972 30846 0 -1 4202560 5601 0 0 0 9114 0 0 0 20 0 19 0 475262557 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176277566024 140177017823281 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
[pid=1974/tid=1994] ppid=1972 vsize=15417412 memory=53504 CPUtime=90.84 cores=1,3,5,7
/proc/1974/task/1994/stat : 1994 (java) R 1972 1972 30846 0 -1 4202560 10966 0 0 0 9082 2 0 0 20 0 19 0 475262557 15787429888 1180509 33554432000 4194304 4196468 140728223342752 140176276512336 140177017498827 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33042432 140728223347695 140728223347866 140728223347866 140728223350735 0
Current children cumulated CPU time: 397.73 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 4723484 KiB

Child status: 0
Real time (s): 111.674
CPU time (s): 397.936
CPU user time (s): 393.996
CPU system time (s): 3.93997
CPU usage (%): 356.338
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 4723484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 393.997
system time used= 3.93997
maximum resident set size= 4722156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131862
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5993
involuntary context switches= 7308


# summary of solver processes directly reported to runsolver:
#   pid: 1972
#   total CPU time (s): 397.936
#   total CPU user time (s): 393.996
#   total CPU system time (s): 3.93997

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.752045 second user time and 1.28944 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-20 16:33:51
IDJOB=4403406
IDBENCH=125591
IDSOLVER=2863
FILE ID=node139/4403406-1568989909
RUNJOBID= node139-1568988008-30878
PBS_JOBID= 21704637
Free space on /tmp= 5028 MiB

SOLVER NAME= choco-solver 2019-09-20
BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5-p7/mdd-7-25-5-ps05-psh07-4.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-4403406-1568989909/watcher-4403406-1568989909 -o /tmp/evaluation-result-4403406-1568989909/solver-4403406-1568989909 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568988008-30878 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 764854397 HOME/instance-4403406-1568989909.xml

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

MD5SUM BENCH= cc3fcfac109c3d277a0ef72b27cdc983
RANDOM SEED=764854397

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:        10840980 kB
MemAvailable:   31624528 kB
Buffers:          135804 kB
Cached:         20516420 kB
SwapCached:        65308 kB
Active:         10446144 kB
Inactive:       10445480 kB
Active(anon):     170436 kB
Inactive(anon):   114760 kB
Active(file):   10275708 kB
Inactive(file): 10330720 kB
Unevictable:      106892 kB
Mlocked:          106892 kB
SwapTotal:      67108860 kB
SwapFree:       66938908 kB
Dirty:             59596 kB
Writeback:            28 kB
AnonPages:        273972 kB
Mapped:            64232 kB
Shmem:             37304 kB
Slab:             634744 kB
SReclaimable:     605580 kB
SUnreclaim:        29164 kB
KernelStack:        4000 kB
PageTables:         6132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1446492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    176128 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= 5016 MiB
End job on node139 at 2019-09-20 16:35:43