Trace number 4271192

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-09)UNSAT 98.122902 43.114399

General information on the benchmark

NameRandom/Random-m1-5-12-12/
rand-5-12-12-200-12442-38.xml
MD5SUMb26246ce3e5ddb90abbf8b583e2fe87c
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 benchmark10.5771
Satisfiable
(Un)Satisfiability was proved
Number of variables12
Number of constraints200
Number of domains1
Minimum domain size12
Maximum domain size12
Distribution of domain sizes[{"size":12,"count":12}]
Minimum variable degree77
Maximum variable degree95
Distribution of variable degrees[{"degree":77,"count":2},{"degree":79,"count":2},{"degree":81,"count":1},{"degree":82,"count":1},{"degree":84,"count":2},{"degree":86,"count":1},{"degree":87,"count":1},{"degree":89,"count":1},{"degree":95,"count":1}]
Minimum constraint arity5
Maximum constraint arity5
Distribution of constraint arities[{"arity":5,"count":200}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271192-1502686432.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4271192-1502686432.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.19	c 8 solvers in parallel
0.33/0.26	c parse instance...
77.20/40.43	c solve instance...
97.65/43.07	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 (13320 MiB free)
  memory of node 1: 16384 MiB (13786 MiB free)
  node distances:
     10  21
     21  10

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

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

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

solver pid=32043, runsolver pid=32040

[startup+0.100622 s]*
/proc/loadavg: 7.65 8.37 8.59 2/199 32064
/proc/meminfo: memFree=27742564/32770624 swapFree=67108860/67108860
[pid=32043] ppid=32040 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32043/stat : 32043 (xcsp3-exec) S 32040 32043 31415 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 101724139 9740288 346 33554432000 4194304 5098028 140722835388720 140722835386824 140045788852860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29757440 140722835395684 140722835395895 140722835395895 140722835398635 0
/proc/32043/statm: 2378 346 289 221 0 87 0
[pid=32045] ppid=32043 vsize=25999808 memory=26524 CPUtime=0.12 cores=0-7
/proc/32045/stat : 32045 (java) S 32043 32043 31415 0 -1 1077944320 5529 0 0 0 11 1 0 0 20 0 20 0 101724139 26623803392 6631 33554432000 4194304 4196468 140721391105600 140721391088144 140092156153591 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
/proc/32045/statm: 6499952 6631 2867 1 0 6488269 0
[pid=32045/tid=32046] ppid=32043 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/32045/task/32046/stat : 32046 (java) R 32043 32043 31415 0 -1 4202560 3513 0 0 0 8 1 0 0 20 0 20 0 101724140 26623803392 6631 33554432000 4194304 4196468 140721391105600 140092160386864 140092156165526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32047] ppid=32043 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32047/stat : 32047 (java) S 32043 32043 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101724141 26623803392 6631 33554432000 4194304 4196468 140721391105600 140092108773904 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32048] ppid=32043 vsize=25999808 memory=140709224019584 CPUtime=0 cores=0-7
/proc/32045/task/32048/stat : 32048 (java) S 32043 32043 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101724141 26623803392 6631 33554432000 4194304 4196468 140721391105600 140092107721360 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32049] ppid=32043 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32049/stat : 32049 (java) S 32043 32043 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101724141 26623803392 6631 33554432000 4194304 4196468 140721391105600 140092106668304 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32050] ppid=32043 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32050/stat : 32050 (java) S 32043 32043 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101724141 26623803392 6631 33554432000 4194304 4196468 140721391105600 140092105615760 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32051] ppid=32043 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32051/stat : 32051 (java) S 32043 32043 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101724141 26623803392 6631 33554432000 4194304 4196468 140721391105600 140092104563728 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32052] ppid=32043 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/32045/task/32052/stat : 32052 (java) S 32043 32043 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101724141 26623803392 6631 33554432000 4194304 4196468 140721391105600 140092103511184 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32053] ppid=32043 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32053/stat : 32053 (java) S 32043 32043 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101724141 26623803392 6631 33554432000 4194304 4196468 140721391105600 140091708537616 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32054] ppid=32043 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32054/stat : 32054 (java) S 32043 32043 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101724141 26623803392 6631 33554432000 4194304 4196468 140721391105600 140091707485072 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32055] ppid=32043 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32055/stat : 32055 (java) S 32043 32043 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101724142 26623803392 6631 33554432000 4194304 4196468 140721391105600 140090877978864 140092156164738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32056] ppid=32043 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32056/stat : 32056 (java) S 32043 32043 31415 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 101724142 26623803392 6631 33554432000 4194304 4196468 140721391105600 140090876925088 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32057] ppid=32043 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32057/stat : 32057 (java) S 32043 32043 31415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101724143 26623803392 6631 33554432000 4194304 4196468 140721391105600 140090875871984 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32058] ppid=32043 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32058/stat : 32058 (java) S 32043 32043 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101724145 26623803392 6631 33554432000 4194304 4196468 140721391105600 140090874820560 140092156172187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32059] ppid=32043 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32059/stat : 32059 (java) S 32043 32043 31415 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 101724145 26623803392 6631 33554432000 4194304 4196468 140721391105600 140090873768688 140092156164738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32060] ppid=32043 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32060/stat : 32060 (java) S 32043 32043 31415 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 101724145 26623803392 6631 33554432000 4194304 4196468 140721391105600 140090872716144 140092156164738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32061] ppid=32043 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32061/stat : 32061 (java) S 32043 32043 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101724145 26623803392 6631 33554432000 4194304 4196468 140721391105600 140090871663088 140092156164738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32062] ppid=32043 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/32045/task/32062/stat : 32062 (java) R 32043 32043 31415 0 -1 4202560 284 0 0 0 1 0 0 0 20 0 20 0 101724145 26623803392 6631 33554432000 4194304 4196468 140721391105600 140090870610544 140092135054946 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32063] ppid=32043 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32063/stat : 32063 (java) S 32043 32043 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101724145 26623803392 6631 33554432000 4194304 4196468 140721391105600 140090869557728 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32064] ppid=32043 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/32045/task/32064/stat : 32064 (java) S 32043 32043 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101724146 26623803392 6631 33554432000 4194304 4196468 140721391105600 140090868505264 140092156164738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27908 KiB

[startup+0.210455 s]*
/proc/loadavg: 7.65 8.37 8.59 2/199 32064
/proc/meminfo: memFree=27731044/32770624 swapFree=67108860/67108860
[pid=32043] ppid=32040 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32043/stat : 32043 (xcsp3-exec) S 32040 32043 31415 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 101724139 9740288 346 33554432000 4194304 5098028 140722835388720 140722835386824 140045788852860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29757440 140722835395684 140722835395895 140722835395895 140722835398635 0
/proc/32043/statm: 2378 346 289 221 0 87 0
[pid=32045] ppid=32043 vsize=26004064 memory=39200 CPUtime=0.33 cores=0-7
/proc/32045/stat : 32045 (java) S 32043 32043 31415 0 -1 1077944320 8385 0 0 0 31 2 0 0 20 0 20 0 101724139 26628161536 9800 33554432000 4194304 4196468 140721391105600 140721391088144 140092156153591 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
/proc/32045/statm: 6501016 9800 3040 1 0 6488269 0
[pid=32045/tid=32046] ppid=32043 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/32045/task/32046/stat : 32046 (java) R 32043 32043 31415 0 -1 4202560 5470 0 0 0 18 1 0 0 20 0 20 0 101724140 26628161536 9800 33554432000 4194304 4196468 140721391105600 140092160355312 140092148870695 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32047] ppid=32043 vsize=26004064 memory=330 CPUtime=0 cores=0-7
/proc/32045/task/32047/stat : 32047 (java) S 32043 32043 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101724141 26628161536 9800 33554432000 4194304 4196468 140721391105600 140092108773904 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32048] ppid=32043 vsize=26004064 memory=140709224050755 CPUtime=0 cores=0-7
/proc/32045/task/32048/stat : 32048 (java) S 32043 32043 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101724141 26628161536 9800 33554432000 4194304 4196468 140721391105600 140092107721360 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32049] ppid=32043 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32045/task/32049/stat : 32049 (java) S 32043 32043 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101724141 26628161536 9800 33554432000 4194304 4196468 140721391105600 140092106668304 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32050] ppid=32043 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32050/stat : 32050 (java) S 32043 32043 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101724141 26628161536 9800 33554432000 4194304 4196468 140721391105600 140092105615760 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32051] ppid=32043 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32051/stat : 32051 (java) S 32043 32043 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101724141 26628161536 9800 33554432000 4194304 4196468 140721391105600 140092104563728 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32052] ppid=32043 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32045/task/32052/stat : 32052 (java) S 32043 32043 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101724141 26628161536 9800 33554432000 4194304 4196468 140721391105600 140092103511184 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32053] ppid=32043 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32053/stat : 32053 (java) S 32043 32043 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101724141 26628161536 9800 33554432000 4194304 4196468 140721391105600 140091708537616 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32054] ppid=32043 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32054/stat : 32054 (java) S 32043 32043 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101724141 26628194304 9800 33554432000 4194304 4196468 140721391105600 140091707485072 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32055] ppid=32043 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32055/stat : 32055 (java) S 32043 32043 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101724142 26628194304 9800 33554432000 4194304 4196468 140721391105600 140090877978864 140092156164738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32056] ppid=32043 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32056/stat : 32056 (java) S 32043 32043 31415 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 101724142 26628161536 9800 33554432000 4194304 4196468 140721391105600 140090876925088 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32057] ppid=32043 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32057/stat : 32057 (java) S 32043 32043 31415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101724143 26628161536 9800 33554432000 4194304 4196468 140721391105600 140090875871984 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32058] ppid=32043 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32058/stat : 32058 (java) S 32043 32043 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101724145 26628161536 9800 33554432000 4194304 4196468 140721391105600 140090874820560 140092156172187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32059] ppid=32043 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/32045/task/32059/stat : 32059 (java) S 32043 32043 31415 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 20 0 101724145 26628161536 9800 33554432000 4194304 4196468 140721391105600 140090873768688 140092156164738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32060] ppid=32043 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/32045/task/32060/stat : 32060 (java) S 32043 32043 31415 0 -1 1077944384 195 0 0 0 1 0 0 0 20 0 20 0 101724145 26628161536 9800 33554432000 4194304 4196468 140721391105600 140090872716144 140092156164738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32061] ppid=32043 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/32045/task/32061/stat : 32061 (java) S 32043 32043 31415 0 -1 1077944384 333 0 0 0 1 0 0 0 20 0 20 0 101724145 26628161536 9800 33554432000 4194304 4196468 140721391105600 140090871663088 140092156164738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32062] ppid=32043 vsize=26004096 memory=-1 CPUtime=0.07 cores=0-7
/proc/32045/task/32062/stat : 32062 (java) S 32043 32043 31415 0 -1 1077944384 738 0 0 0 7 0 0 0 20 0 20 0 101724145 26628194304 9800 33554432000 4194304 4196468 140721391105600 140090870610544 140092156164738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32063] ppid=32043 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32063/stat : 32063 (java) S 32043 32043 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101724145 26628194304 9800 33554432000 4194304 4196468 140721391105600 140090869557728 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32064] ppid=32043 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32045/task/32064/stat : 32064 (java) S 32043 32043 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101724146 26628161536 9800 33554432000 4194304 4196468 140721391105600 140090868505264 140092156164738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40584 KiB

[startup+0.310331 s]*
/proc/loadavg: 7.65 8.37 8.59 3/199 32064
/proc/meminfo: memFree=27724592/32770624 swapFree=67108860/67108860
[pid=32043] ppid=32040 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32043/stat : 32043 (xcsp3-exec) S 32040 32043 31415 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 101724139 9740288 346 33554432000 4194304 5098028 140722835388720 140722835386824 140045788852860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29757440 140722835395684 140722835395895 140722835395895 140722835398635 0
/proc/32043/statm: 2378 346 289 221 0 87 0
[pid=32045] ppid=32043 vsize=26004064 memory=46392 CPUtime=0.51 cores=0-7
/proc/32045/stat : 32045 (java) S 32043 32043 31415 0 -1 1077944320 9290 0 0 0 48 3 0 0 20 0 20 0 101724139 26628161536 11598 33554432000 4194304 4196468 140721391105600 140721391088144 140092156153591 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
/proc/32045/statm: 6501016 11598 3109 1 0 6488269 0
[pid=32045/tid=32046] ppid=32043 vsize=26004064 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/32045/task/32046/stat : 32046 (java) R 32043 32043 31415 0 -1 4202560 6082 0 0 0 28 2 0 0 20 0 20 0 101724140 26628161536 11598 33554432000 4194304 4196468 140721391105600 140092160383248 140092156175517 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32047] ppid=32043 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32047/stat : 32047 (java) S 32043 32043 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101724141 26628161536 11598 33554432000 4194304 4196468 140721391105600 140092108773904 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32048] ppid=32043 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32048/stat : 32048 (java) S 32043 32043 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101724141 26628161536 11598 33554432000 4194304 4196468 140721391105600 140092107721360 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32049] ppid=32043 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32049/stat : 32049 (java) S 32043 32043 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101724141 26628161536 11598 33554432000 4194304 4196468 140721391105600 140092106668304 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32050] ppid=32043 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32050/stat : 32050 (java) S 32043 32043 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101724141 26628161536 11598 33554432000 4194304 4196468 140721391105600 140092105615760 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32051] ppid=32043 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/32045/task/32051/stat : 32051 (java) S 32043 32043 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101724141 26628161536 11598 33554432000 4194304 4196468 140721391105600 140092104563728 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32052] ppid=32043 vsize=26004064 memory=140709101401007 CPUtime=0 cores=0-7
/proc/32045/task/32052/stat : 32052 (java) S 32043 32043 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101724141 26628161536 11598 33554432000 4194304 4196468 140721391105600 140092103511184 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32053] ppid=32043 vsize=26004064 memory=140709101403312 CPUtime=0 cores=0-7
/proc/32045/task/32053/stat : 32053 (java) S 32043 32043 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101724141 26628161536 11598 33554432000 4194304 4196468 140721391105600 140091708537616 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32054] ppid=32043 vsize=26004064 memory=140709101405616 CPUtime=0 cores=0-7
/proc/32045/task/32054/stat : 32054 (java) S 32043 32043 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101724141 26628161536 11598 33554432000 4194304 4196468 140721391105600 140091707485072 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32055] ppid=32043 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32055/stat : 32055 (java) S 32043 32043 31415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101724142 26628161536 11598 33554432000 4194304 4196468 140721391105600 140090877978864 140092156164738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32056] ppid=32043 vsize=26004064 memory=281418202818192 CPUtime=0 cores=0-7
/proc/32045/task/32056/stat : 32056 (java) S 32043 32043 31415 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 101724142 26628161536 11598 33554432000 4194304 4196468 140721391105600 140090876925088 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32057] ppid=32043 vsize=26004064 memory=281418202825104 CPUtime=0 cores=0-7
/proc/32045/task/32057/stat : 32057 (java) S 32043 32043 31415 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101724143 26628161536 11598 33554432000 4194304 4196468 140721391105600 140090875871984 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32058] ppid=32043 vsize=26004064 memory=281418202766384 CPUtime=0 cores=0-7
/proc/32045/task/32058/stat : 32058 (java) S 32043 32043 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101724145 26628161536 11598 33554432000 4194304 4196468 140721391105600 140090874820560 140092156172187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32059] ppid=32043 vsize=26004064 memory=281418202838928 CPUtime=0.01 cores=0-7
/proc/32045/task/32059/stat : 32059 (java) S 32043 32043 31415 0 -1 1077944384 350 0 0 0 1 0 0 0 20 0 20 0 101724145 26628161536 11598 33554432000 4194304 4196468 140721391105600 140090873768688 140092156164738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32060] ppid=32043 vsize=26004064 memory=281418202845840 CPUtime=0.03 cores=0-7
/proc/32045/task/32060/stat : 32060 (java) R 32043 32043 31415 0 -1 4202560 270 0 0 0 3 0 0 0 20 0 20 0 101724145 26628161536 11598 33554432000 4194304 4196468 140721391105600 140090872715328 140092137674883 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32061] ppid=32043 vsize=26004064 memory=281418202843536 CPUtime=0.02 cores=0-7
/proc/32045/task/32061/stat : 32061 (java) R 32043 32043 31415 0 -1 4202560 447 0 0 0 2 0 0 0 20 0 20 0 101724145 26628161536 11598 33554432000 4194304 4196468 140721391105600 140090871663184 140092136853888 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32062] ppid=32043 vsize=26004064 memory=281418202859696 CPUtime=0.11 cores=0-7
/proc/32045/task/32062/stat : 32062 (java) S 32043 32043 31415 0 -1 1077944384 844 0 0 0 11 0 0 0 20 0 20 0 101724145 26628161536 11598 33554432000 4194304 4196468 140721391105600 140090870610544 140092156164738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32063] ppid=32043 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32063/stat : 32063 (java) S 32043 32043 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101724145 26628161536 11598 33554432000 4194304 4196468 140721391105600 140090869557728 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32064] ppid=32043 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32045/task/32064/stat : 32064 (java) S 32043 32043 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101724146 26628161536 11598 33554432000 4194304 4196468 140721391105600 140090868505264 140092156164738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47776 KiB

[startup+0.701023 s]
/proc/loadavg: 7.65 8.37 8.59 6/199 32064
/proc/meminfo: memFree=27649304/32770624 swapFree=67108860/67108860
[pid=32043] ppid=32040 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32043/stat : 32043 (xcsp3-exec) S 32040 32043 31415 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 101724139 9740288 346 33554432000 4194304 5098028 140722835388720 140722835386824 140045788852860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29757440 140722835395684 140722835395895 140722835395895 140722835398635 0
/proc/32043/statm: 2378 346 289 221 0 87 0
[pid=32045] ppid=32043 vsize=26004140 memory=242932 CPUtime=1.71 cores=0-7
/proc/32045/stat : 32045 (java) S 32043 32043 31415 0 -1 1077944320 13061 0 0 0 156 15 0 0 20 0 20 0 101724139 26628239360 60733 33554432000 4194304 4196468 140721391105600 140721391088144 140092156153591 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
/proc/32045/statm: 6501035 60733 3209 1 0 6488269 0
[pid=32045/tid=32046] ppid=32043 vsize=26004140 memory=281418203217584 CPUtime=0.65 cores=0-7
/proc/32045/task/32046/stat : 32046 (java) R 32043 32043 31415 0 -1 4202560 6412 0 0 0 61 4 0 0 20 0 20 0 101724140 26628239360 60733 33554432000 4194304 4196468 140721391105600 140092160388960 140092156165526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32047] ppid=32043 vsize=26004140 memory=140709101609840 CPUtime=0.01 cores=0-7
/proc/32045/task/32047/stat : 32047 (java) S 32043 32043 31415 0 -1 1077944384 19 0 0 0 0 1 0 0 20 0 20 0 101724141 26628239360 60733 33554432000 4194304 4196468 140721391105600 140092108773904 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32048] ppid=32043 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32048/stat : 32048 (java) S 32043 32043 31415 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 101724141 26628239360 60733 33554432000 4194304 4196468 140721391105600 140092107721360 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32049] ppid=32043 vsize=26004140 memory=8612 CPUtime=0 cores=0-7
/proc/32045/task/32049/stat : 32049 (java) S 32043 32043 31415 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 101724141 26628239360 60733 33554432000 4194304 4196468 140721391105600 140092106668304 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0

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

[pid=32045/tid=32075] ppid=32043 vsize=26538700 memory=2340 CPUtime=1.76 cores=0-7
/proc/32045/task/32075/stat : 32075 (java) R 32043 32043 31415 0 -1 4202560 89 0 0 0 176 0 0 0 20 0 28 0 101728184 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140090858390376 140091786837902 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32076] ppid=32043 vsize=26538700 memory=932 CPUtime=1.72 cores=0-7
/proc/32045/task/32076/stat : 32076 (java) R 32043 32043 31415 0 -1 4202560 159 0 0 0 172 0 0 0 20 0 28 0 101728184 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140090857339032 140091786429889 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32077] ppid=32043 vsize=26538700 memory=1572 CPUtime=1.74 cores=0-7
/proc/32045/task/32077/stat : 32077 (java) R 32043 32043 31415 0 -1 4202560 142 0 0 0 174 0 0 0 20 0 28 0 101728184 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140090856286936 140091786428502 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32078] ppid=32043 vsize=26538700 memory=2244 CPUtime=1.85 cores=0-7
/proc/32045/task/32078/stat : 32078 (java) R 32043 32043 31415 0 -1 4202560 114 0 0 0 181 4 0 0 20 0 28 0 101728184 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140090855232264 140091786837443 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32079] ppid=32043 vsize=26538700 memory=288230574492221466 CPUtime=1.84 cores=0-7
/proc/32045/task/32079/stat : 32079 (java) R 32043 32043 31415 0 -1 4202560 146 0 0 0 183 1 0 0 20 0 28 0 101728184 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140090854179448 140091786428539 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32080] ppid=32043 vsize=26538700 memory=288230621803970871 CPUtime=1.82 cores=0-7
/proc/32045/task/32080/stat : 32080 (java) R 32043 32043 31415 0 -1 4202560 83 0 0 0 182 0 0 0 20 0 28 0 101728184 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140090853126312 140091786426665 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
Current children cumulated CPU time: 92.74 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 7260764 KiB

[startup+42.8014 s]
/proc/loadavg: 5.02 7.60 8.32 9/208 32080
/proc/meminfo: memFree=20501188/32770624 swapFree=67108860/67108860
[pid=32043] ppid=32040 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32043/stat : 32043 (xcsp3-exec) S 32040 32043 31415 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 101724139 9740288 346 33554432000 4194304 5098028 140722835388720 140722835386824 140045788852860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29757440 140722835395684 140722835395895 140722835395895 140722835398635 0
/proc/32043/statm: 2378 346 289 221 0 87 0
[pid=32045] ppid=32043 vsize=26538700 memory=7259380 CPUtime=95.93 cores=0-7
/proc/32045/stat : 32045 (java) S 32043 32043 31415 0 -1 1077944320 75786 0 0 0 8626 967 0 0 20 0 28 0 101724139 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140721391088144 140092156153591 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
/proc/32045/statm: 6634675 1814845 3271 1 0 6621909 0
[pid=32045/tid=32046] ppid=32043 vsize=26538700 memory=15252640887999017 CPUtime=34.68 cores=0-7
/proc/32045/task/32046/stat : 32046 (java) S 32043 32043 31415 0 -1 1077944384 23364 0 0 0 3385 83 0 0 20 0 28 0 101724140 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140092160394368 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32047] ppid=32043 vsize=26538700 memory=4424 CPUtime=4.96 cores=0-7
/proc/32045/task/32047/stat : 32047 (java) S 32043 32043 31415 0 -1 1077944384 2603 0 0 0 388 108 0 0 20 0 28 0 101724141 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140092108773904 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32048] ppid=32043 vsize=26538700 memory=4108 CPUtime=4.95 cores=0-7
/proc/32045/task/32048/stat : 32048 (java) S 32043 32043 31415 0 -1 1077944384 2554 0 0 0 391 104 0 0 20 0 28 0 101724141 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140092107721360 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32049] ppid=32043 vsize=26538700 memory=1156 CPUtime=4.95 cores=0-7
/proc/32045/task/32049/stat : 32049 (java) S 32043 32043 31415 0 -1 1077944384 2531 0 0 0 388 107 0 0 20 0 28 0 101724141 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140092106668304 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32050] ppid=32043 vsize=26538700 memory=2960 CPUtime=4.95 cores=0-7
/proc/32045/task/32050/stat : 32050 (java) S 32043 32043 31415 0 -1 1077944384 2782 0 0 0 389 106 0 0 20 0 28 0 101724141 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140092105615760 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32051] ppid=32043 vsize=26538700 memory=1384 CPUtime=4.95 cores=0-7
/proc/32045/task/32051/stat : 32051 (java) S 32043 32043 31415 0 -1 1077944384 2413 0 0 0 384 111 0 0 20 0 28 0 101724141 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140092104563728 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32052] ppid=32043 vsize=26538700 memory=7258008 CPUtime=4.96 cores=0-7
/proc/32045/task/32052/stat : 32052 (java) S 32043 32043 31415 0 -1 1077944384 2975 0 0 0 388 108 0 0 20 0 28 0 101724141 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140092103511184 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32053] ppid=32043 vsize=26538700 memory=6791534058613427641 CPUtime=4.9 cores=0-7
/proc/32045/task/32053/stat : 32053 (java) S 32043 32043 31415 0 -1 1077944384 2735 0 0 0 382 108 0 0 20 0 28 0 101724141 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140091708537616 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32054] ppid=32043 vsize=26538700 memory=4126316290023845779 CPUtime=4.95 cores=0-7
/proc/32045/task/32054/stat : 32054 (java) S 32043 32043 31415 0 -1 1077944384 3518 0 0 0 386 109 0 0 20 0 28 0 101724141 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140091707485072 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32055] ppid=32043 vsize=26538700 memory=6656426216303648864 CPUtime=0.7 cores=0-7
/proc/32045/task/32055/stat : 32055 (java) S 32043 32043 31415 0 -1 1077944384 10957 0 0 0 68 2 0 0 20 0 28 0 101724142 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140090877978864 140092156164738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32056] ppid=32043 vsize=26538700 memory=281418203225920 CPUtime=0 cores=0-7
/proc/32045/task/32056/stat : 32056 (java) S 32043 32043 31415 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 101724142 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140090876925152 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32057] ppid=32043 vsize=26538700 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/32045/task/32057/stat : 32057 (java) S 32043 32043 31415 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 28 0 101724143 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140090875872000 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32058] ppid=32043 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32058/stat : 32058 (java) S 32043 32043 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101724145 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140090874820560 140092156172187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32059] ppid=32043 vsize=26538700 memory=0 CPUtime=0.99 cores=0-7
/proc/32045/task/32059/stat : 32059 (java) S 32043 32043 31415 0 -1 1077944384 5315 0 0 0 98 1 0 0 20 0 28 0 101724145 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140090873768688 140092156164738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32060] ppid=32043 vsize=26538700 memory=0 CPUtime=0.98 cores=0-7
/proc/32045/task/32060/stat : 32060 (java) S 32043 32043 31415 0 -1 1077944384 4396 0 0 0 97 1 0 0 20 0 28 0 101724145 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140090872716144 140092156164738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32061] ppid=32043 vsize=26538700 memory=0 CPUtime=0.62 cores=0-7
/proc/32045/task/32061/stat : 32061 (java) R 32043 32043 31415 0 -1 1077944384 3008 0 0 0 60 2 0 0 20 0 28 0 101724145 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140090871663088 140092156164738 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32062] ppid=32043 vsize=26538700 memory=0 CPUtime=0.66 cores=0-7
/proc/32045/task/32062/stat : 32062 (java) R 32043 32043 31415 0 -1 4202560 3814 0 0 0 65 1 0 0 20 0 28 0 101724145 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140090870610544 140092137717143 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32063] ppid=32043 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32063/stat : 32063 (java) S 32043 32043 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101724145 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140090869557728 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32064] ppid=32043 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7
/proc/32045/task/32064/stat : 32064 (java) S 32043 32043 31415 0 -1 1077944384 379 0 0 0 0 1 0 0 20 0 28 0 101724146 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140090868505264 140092156164738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32073] ppid=32043 vsize=26538700 memory=0 CPUtime=2.23 cores=0-7
/proc/32045/task/32073/stat : 32073 (java) R 32043 32043 31415 0 -1 4202560 146 0 0 0 223 0 0 0 20 0 28 0 101728184 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140090860495528 140091786427590 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32074] ppid=32043 vsize=26538700 memory=0 CPUtime=2.17 cores=0-7
/proc/32045/task/32074/stat : 32074 (java) R 32043 32043 31415 0 -1 4202560 114 0 0 0 217 0 0 0 20 0 28 0 101728184 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140090859442328 140091786428530 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32075] ppid=32043 vsize=26538700 memory=0 CPUtime=2.16 cores=0-7
/proc/32045/task/32075/stat : 32075 (java) R 32043 32043 31415 0 -1 4202560 118 0 0 0 216 0 0 0 20 0 28 0 101728184 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140090858390824 140091786428142 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32076] ppid=32043 vsize=26538700 memory=0 CPUtime=2.12 cores=0-7
/proc/32045/task/32076/stat : 32076 (java) R 32043 32043 31415 0 -1 4202560 159 0 0 0 212 0 0 0 20 0 28 0 101728184 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140090857339032 140091786838036 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32077] ppid=32043 vsize=26538700 memory=0 CPUtime=2.14 cores=0-7
/proc/32045/task/32077/stat : 32077 (java) R 32043 32043 31415 0 -1 4202560 143 0 0 0 214 0 0 0 20 0 28 0 101728184 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140090856285880 140091786712010 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32078] ppid=32043 vsize=26538700 memory=0 CPUtime=2.24 cores=0-7
/proc/32045/task/32078/stat : 32078 (java) R 32043 32043 31415 0 -1 4202560 114 0 0 0 220 4 0 0 20 0 28 0 101728184 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140090855232072 140091786295337 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32079] ppid=32043 vsize=26538700 memory=0 CPUtime=2.24 cores=0-7
/proc/32045/task/32079/stat : 32079 (java) R 32043 32043 31415 0 -1 4202560 146 0 0 0 223 1 0 0 20 0 28 0 101728184 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140090854179448 140091786428686 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32080] ppid=32043 vsize=26538700 memory=0 CPUtime=2.22 cores=0-7
/proc/32045/task/32080/stat : 32080 (java) R 32043 32043 31415 0 -1 4202560 83 0 0 0 222 0 0 0 20 0 28 0 101728184 27175628800 1814845 33554432000 4194304 4196468 140721391105600 140090853127608 140091786837902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
Current children cumulated CPU time: 95.93 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 7260764 KiB

[startup+43.0084 s]*
/proc/loadavg: 5.26 7.61 8.32 9/208 32080
/proc/meminfo: memFree=20500816/32770624 swapFree=67108860/67108860
[pid=32043] ppid=32040 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32043/stat : 32043 (xcsp3-exec) S 32040 32043 31415 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 101724139 9740288 346 33554432000 4194304 5098028 140722835388720 140722835386824 140045788852860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29757440 140722835395684 140722835395895 140722835395895 140722835398635 0
/proc/32043/statm: 2378 346 289 221 0 87 0
[pid=32045] ppid=32043 vsize=26538700 memory=7259460 CPUtime=97.65 cores=0-7
/proc/32045/stat : 32045 (java) S 32043 32043 31415 0 -1 1077944320 75972 0 0 0 8798 967 0 0 20 0 28 0 101724139 27175628800 1814865 33554432000 4194304 4196468 140721391105600 140721391088144 140092156153591 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
/proc/32045/statm: 6634675 1814865 3271 1 0 6621909 0
[pid=32045/tid=32046] ppid=32043 vsize=26538700 memory=8318255677412212789 CPUtime=34.68 cores=0-7
/proc/32045/task/32046/stat : 32046 (java) S 32043 32043 31415 0 -1 1077944384 23364 0 0 0 3385 83 0 0 20 0 28 0 101724140 27175628800 1814865 33554432000 4194304 4196468 140721391105600 140092160394368 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32047] ppid=32043 vsize=26538700 memory=288230600413020516 CPUtime=4.96 cores=0-7
/proc/32045/task/32047/stat : 32047 (java) S 32043 32043 31415 0 -1 1077944384 2603 0 0 0 388 108 0 0 20 0 28 0 101724141 27175628800 1814865 33554432000 4194304 4196468 140721391105600 140092108773904 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32048] ppid=32043 vsize=26538700 memory=140709224050996 CPUtime=4.95 cores=0-7
/proc/32045/task/32048/stat : 32048 (java) S 32043 32043 31415 0 -1 1077944384 2554 0 0 0 391 104 0 0 20 0 28 0 101724141 27175628800 1814865 33554432000 4194304 4196468 140721391105600 140092107721360 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32049] ppid=32043 vsize=26538700 memory=-1 CPUtime=4.95 cores=0-7
/proc/32045/task/32049/stat : 32049 (java) S 32043 32043 31415 0 -1 1077944384 2531 0 0 0 388 107 0 0 20 0 28 0 101724141 27175628800 1814865 33554432000 4194304 4196468 140721391105600 140092106668304 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32050] ppid=32043 vsize=26538700 memory=0 CPUtime=4.95 cores=0-7
/proc/32045/task/32050/stat : 32050 (java) S 32043 32043 31415 0 -1 1077944384 2782 0 0 0 389 106 0 0 20 0 28 0 101724141 27175628800 1814865 33554432000 4194304 4196468 140721391105600 140092105615760 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32051] ppid=32043 vsize=26538700 memory=0 CPUtime=4.95 cores=0-7
/proc/32045/task/32051/stat : 32051 (java) S 32043 32043 31415 0 -1 1077944384 2413 0 0 0 384 111 0 0 20 0 28 0 101724141 27175628800 1814865 33554432000 4194304 4196468 140721391105600 140092104563728 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32052] ppid=32043 vsize=26538700 memory=-1 CPUtime=4.96 cores=0-7
/proc/32045/task/32052/stat : 32052 (java) S 32043 32043 31415 0 -1 1077944384 2975 0 0 0 388 108 0 0 20 0 28 0 101724141 27175628800 1814865 33554432000 4194304 4196468 140721391105600 140092103511184 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32053] ppid=32043 vsize=26538700 memory=0 CPUtime=4.9 cores=0-7
/proc/32045/task/32053/stat : 32053 (java) S 32043 32043 31415 0 -1 1077944384 2735 0 0 0 382 108 0 0 20 0 28 0 101724141 27175628800 1814865 33554432000 4194304 4196468 140721391105600 140091708537616 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32054] ppid=32043 vsize=26538700 memory=0 CPUtime=4.95 cores=0-7
/proc/32045/task/32054/stat : 32054 (java) S 32043 32043 31415 0 -1 1077944384 3518 0 0 0 386 109 0 0 20 0 28 0 101724141 27175628800 1814865 33554432000 4194304 4196468 140721391105600 140091707485072 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32055] ppid=32043 vsize=26538700 memory=0 CPUtime=0.7 cores=0-7
/proc/32045/task/32055/stat : 32055 (java) S 32043 32043 31415 0 -1 1077944384 10957 0 0 0 68 2 0 0 20 0 28 0 101724142 27175628800 1814865 33554432000 4194304 4196468 140721391105600 140090877978864 140092156164738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32056] ppid=32043 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32056/stat : 32056 (java) S 32043 32043 31415 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 101724142 27175628800 1814865 33554432000 4194304 4196468 140721391105600 140090876925152 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32057] ppid=32043 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32057/stat : 32057 (java) S 32043 32043 31415 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 28 0 101724143 27175628800 1814865 33554432000 4194304 4196468 140721391105600 140090875872000 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32058] ppid=32043 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32058/stat : 32058 (java) S 32043 32043 31415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101724145 27175628800 1814865 33554432000 4194304 4196468 140721391105600 140090874820560 140092156172187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32059] ppid=32043 vsize=26538700 memory=0 CPUtime=0.99 cores=0-7
/proc/32045/task/32059/stat : 32059 (java) S 32043 32043 31415 0 -1 1077944384 5315 0 0 0 98 1 0 0 20 0 28 0 101724145 27175628800 1814865 33554432000 4194304 4196468 140721391105600 140090873768688 140092156164738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32060] ppid=32043 vsize=26538700 memory=0 CPUtime=0.98 cores=0-7
/proc/32045/task/32060/stat : 32060 (java) S 32043 32043 31415 0 -1 1077944384 4397 0 0 0 97 1 0 0 20 0 28 0 101724145 27175628800 1814865 33554432000 4194304 4196468 140721391105600 140090872716144 140092156164738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32061] ppid=32043 vsize=26538700 memory=-1 CPUtime=0.64 cores=0-7
/proc/32045/task/32061/stat : 32061 (java) S 32043 32043 31415 0 -1 1077944384 3062 0 0 0 62 2 0 0 20 0 28 0 101724145 27175628800 1814865 33554432000 4194304 4196468 140721391105600 140090871663088 140092156164738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32062] ppid=32043 vsize=26538700 memory=0 CPUtime=0.66 cores=0-7
/proc/32045/task/32062/stat : 32062 (java) S 32043 32043 31415 0 -1 1077944384 3815 0 0 0 65 1 0 0 20 0 28 0 101724145 27175628800 1814865 33554432000 4194304 4196468 140721391105600 140090870610544 140092156164738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32063] ppid=32043 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32045/task/32063/stat : 32063 (java) S 32043 32043 31415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101724145 27175628800 1814865 33554432000 4194304 4196468 140721391105600 140090869557728 140092156163797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32064] ppid=32043 vsize=26538700 memory=-1 CPUtime=0.01 cores=0-7
/proc/32045/task/32064/stat : 32064 (java) S 32043 32043 31415 0 -1 1077944384 379 0 0 0 0 1 0 0 20 0 28 0 101724146 27175628800 1814865 33554432000 4194304 4196468 140721391105600 140090868505264 140092156164738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32073] ppid=32043 vsize=26538700 memory=-1 CPUtime=2.45 cores=0-7
/proc/32045/task/32073/stat : 32073 (java) R 32043 32043 31415 0 -1 4202560 146 0 0 0 245 0 0 0 20 0 28 0 101728184 27175628800 1814865 33554432000 4194304 4196468 140721391105600 140090860495528 140091786428579 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32074] ppid=32043 vsize=26538700 memory=0 CPUtime=2.37 cores=0-7
/proc/32045/task/32074/stat : 32074 (java) R 32043 32043 31415 0 -1 4202560 114 0 0 0 237 0 0 0 20 0 28 0 101728184 27175628800 1814865 33554432000 4194304 4196468 140721391105600 140090859442328 140091786837902 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32075] ppid=32043 vsize=26538700 memory=0 CPUtime=2.35 cores=0-7
/proc/32045/task/32075/stat : 32075 (java) R 32043 32043 31415 0 -1 4202560 243 0 0 0 235 0 0 0 20 0 28 0 101728184 27175628800 1814865 33554432000 4194304 4196468 140721391105600 140090858390728 140091786783613 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32076] ppid=32043 vsize=26538700 memory=0 CPUtime=2.33 cores=0-7
/proc/32045/task/32076/stat : 32076 (java) R 32043 32043 31415 0 -1 4202560 159 0 0 0 233 0 0 0 20 0 28 0 101728184 27175628800 1814865 33554432000 4194304 4196468 140721391105600 140090857339032 140091786428530 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32077] ppid=32043 vsize=26538700 memory=0 CPUtime=2.35 cores=0-7
/proc/32045/task/32077/stat : 32077 (java) R 32043 32043 31415 0 -1 4202560 143 0 0 0 235 0 0 0 20 0 28 0 101728184 27175628800 1814865 33554432000 4194304 4196468 140721391105600 140090856284488 140091786428300 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32078] ppid=32043 vsize=26538700 memory=0 CPUtime=2.46 cores=0-7
/proc/32045/task/32078/stat : 32078 (java) R 32043 32043 31415 0 -1 4202560 114 0 0 0 242 4 0 0 20 0 28 0 101728184 27175628800 1814865 33554432000 4194304 4196468 140721391105600 140090855232584 140091786428525 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32079] ppid=32043 vsize=26538700 memory=0 CPUtime=2.46 cores=0-7
/proc/32045/task/32079/stat : 32079 (java) R 32043 32043 31415 0 -1 4202560 146 0 0 0 245 1 0 0 20 0 28 0 101728184 27175628800 1814865 33554432000 4194304 4196468 140721391105600 140090854179448 140091786428584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
[pid=32045/tid=32080] ppid=32043 vsize=26538700 memory=0 CPUtime=2.43 cores=0-7
/proc/32045/task/32080/stat : 32080 (java) R 32043 32043 31415 0 -1 4202560 83 0 0 0 243 0 0 0 20 0 28 0 101728184 27175628800 1814865 33554432000 4194304 4196468 140721391105600 140090853126904 140091786837902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38338560 140721391113362 140721391113539 140721391113539 140721391116239 0
Current children cumulated CPU time: 97.65 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 7260844 KiB

[startup+43.1111 s]
/proc/loadavg: 5.26 7.61 8.32 9/208 32080
/proc/meminfo: memFree=20500816/32770624 swapFree=67108860/67108860
[pid=32043] ppid=32040 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32043/stat : 32043 (xcsp3-exec) S 32040 32043 31415 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 101724139 9740288 346 33554432000 4194304 5098028 140722835388720 140722835386824 140045788852860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29757440 140722835395684 140722835395895 140722835395895 140722835398635 0
/proc/32043/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1384 KiB

Child status: 0
Real time (s): 43.1144
CPU time (s): 98.1229
CPU user time (s): 88.4037
CPU system time (s): 9.71922
CPU usage (%): 227.587
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 7260844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 88.4037
system time used= 9.71922
maximum resident set size= 7259472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76652
page faults= 0
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6616
involuntary context switches= 1089


# summary of solver processes directly reported to runsolver:
#   pid: 32043
#   total CPU time (s): 98.1229
#   total CPU user time (s): 88.4037
#   total CPU system time (s): 9.71922

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.347506 second user time and 0.49048 second system time

The end

Launcher Data 

Begin job on node149 at 2017-08-14 06:39:34
IDJOB=4271192
IDBENCH=120977
IDSOLVER=2662
FILE ID=node149/4271192-1502686432
RUNJOBID= node149-1502680501-31442
PBS_JOBID= 20628986
Free space on /tmp= 61908 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Random/Random-m1-5-12-12/rand-5-12-12-200-12442-38.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271192-1502686432/watcher-4271192-1502686432 -o /tmp/evaluation-result-4271192-1502686432/solver-4271192-1502686432 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502680501-31442 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1087293481 HOME/instance-4271192-1502686432.xml

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

MD5SUM BENCH= b26246ce3e5ddb90abbf8b583e2fe87c
RANDOM SEED=1087293481

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27757788 kB
MemAvailable:   31969616 kB
Buffers:          289328 kB
Cached:          4195036 kB
SwapCached:            0 kB
Active:          1201528 kB
Inactive:        3337488 kB
Active(anon):      57328 kB
Inactive(anon):    24944 kB
Active(file):    1144200 kB
Inactive(file):  3312544 kB
Unevictable:        6360 kB
Mlocked:            6360 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             36228 kB
Writeback:             0 kB
AnonPages:         60548 kB
Mapped:            44404 kB
Shmem:             25224 kB
Slab:             168180 kB
SReclaimable:     141836 kB
SUnreclaim:        26344 kB
KernelStack:        3184 kB
PageTables:         4744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       97664 kB
DirectMap2M:    33447936 kB

Free space on /tmp at the end= 61900 MiB
End job on node149 at 2017-08-14 06:40:17