Trace number 4393677

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-06-14 parallelUNSAT 1041.51 141.248

General information on the benchmark

NameFischer/Fischer-m1-s1/
Fischer-11-05-fair.xml
MD5SUMce7bc4154440f5a39d3b926bfba59e31
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 benchmark14.1142
Satisfiable
(Un)Satisfiability was proved
Number of variables14949
Number of constraints14152
Number of domains3
Minimum domain size2
Maximum domain size20001
Distribution of domain sizes[{"size":2,"count":1994},{"size":201,"count":72},{"size":20001,"count":12883}]
Minimum variable degree2
Maximum variable degree126
Distribution of variable degrees[{"degree":2,"count":13223},{"degree":3,"count":330},{"degree":4,"count":38},{"degree":5,"count":176},{"degree":6,"count":109},{"degree":7,"count":286},{"degree":8,"count":369},{"degree":9,"count":224},{"degree":10,"count":24},{"degree":12,"count":11},{"degree":13,"count":120},{"degree":14,"count":11},{"degree":24,"count":1},{"degree":35,"count":6},{"degree":57,"count":6},{"degree":59,"count":3},{"degree":70,"count":1},{"degree":80,"count":5},{"degree":122,"count":1},{"degree":125,"count":2},{"degree":126,"count":3}]
Minimum constraint arity1
Maximum constraint arity3
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":2301},{"arity":3,"count":11849}]
Number of extensional constraints0
Number of intensional constraints14152
Distribution of constraint types[{"type":"intension","count":14152}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393677-1568443266.xml"  -tl '20160s' -p 8
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4393677-1568443266.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
45.89/10.69	c solve instance...
1040.97/141.17	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 (14059 MiB free)
  memory of node 1: 16384 MiB (14108 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393677-1568443266/watcher-4393677-1568443266 -o /tmp/evaluation-result-4393677-1568443266/solver-4393677-1568443266 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568436642-26559 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2135035372 HOME/instance-4393677-1568443266.xml 

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

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


[startup+0.100133 s]*
/proc/loadavg: 5.84 6.33 6.17 3/212 28127
/proc/meminfo: memFree=28826696/32770624 swapFree=66998528/67108860
[pid=28106] ppid=28103 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/28106/stat : 28106 (xcsp3-exec) S 28103 28106 26532 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420595499 115843072 364 33554432000 4194304 5098028 140725319620512 140725319618616 140510426759804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14352384 140725319627637 140725319627881 140725319627881 140725319630794 0
/proc/28106/statm: 28282 364 305 221 0 87 0
[pid=28108] ppid=28106 vsize=28227388 memory=29324 CPUtime=0.13 cores=0-7
/proc/28108/stat : 28108 (java) S 28106 28106 26532 0 -1 1077944320 5810 0 0 0 11 2 0 0 20 0 20 0 420595499 28904845312 7331 33554432000 4194304 4196468 140736599878928 140736599861472 139659122065143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
/proc/28108/statm: 7056847 7331 3121 1 0 7019032 0
[pid=28108/tid=28109] ppid=28106 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/28108/task/28109/stat : 28109 (java) R 28106 28106 26532 0 -1 4202560 3706 0 0 0 8 1 0 0 20 0 20 0 420595500 28904845312 7331 33554432000 4194304 4196468 140736599878928 139659126300160 139659106108773 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28110] ppid=28106 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28110/stat : 28110 (java) S 28106 28106 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420595500 28904845312 7331 33554432000 4194304 4196468 140736599878928 139659074685584 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28111] ppid=28106 vsize=28227388 memory=139917305788939 CPUtime=0 cores=0-7
/proc/28108/task/28111/stat : 28111 (java) S 28106 28106 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420595500 28904845312 7331 33554432000 4194304 4196468 140736599878928 139659073632784 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28112] ppid=28106 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28112/stat : 28112 (java) S 28106 28106 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420595500 28904845312 7331 33554432000 4194304 4196468 140736599878928 139659072579984 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28113] ppid=28106 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28113/stat : 28113 (java) S 28106 28106 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420595500 28904845312 7331 33554432000 4194304 4196468 140736599878928 139659071527184 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28114] ppid=28106 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28114/stat : 28114 (java) S 28106 28106 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420595500 28904845312 7331 33554432000 4194304 4196468 140736599878928 139659070475408 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28115] ppid=28106 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/28108/task/28115/stat : 28115 (java) S 28106 28106 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420595501 28904845312 7331 33554432000 4194304 4196468 140736599878928 139659069422608 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28116] ppid=28106 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28116/stat : 28116 (java) S 28106 28106 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420595501 28904845312 7331 33554432000 4194304 4196468 140736599878928 139659068369808 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28117] ppid=28106 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28117/stat : 28117 (java) S 28106 28106 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420595501 28904845312 7331 33554432000 4194304 4196468 140736599878928 139659067317008 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28118] ppid=28106 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28118/stat : 28118 (java) S 28106 28106 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420595502 28904845312 7331 33554432000 4194304 4196468 140736599878928 139657250576752 139659122076290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28119] ppid=28106 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28119/stat : 28119 (java) S 28106 28106 26532 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420595502 28904845312 7331 33554432000 4194304 4196468 140736599878928 139657249522720 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28120] ppid=28106 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28120/stat : 28120 (java) S 28106 28106 26532 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420595503 28904845312 7331 33554432000 4194304 4196468 140736599878928 139657248469872 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28121] ppid=28106 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28121/stat : 28121 (java) S 28106 28106 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420595505 28904845312 7331 33554432000 4194304 4196468 140736599878928 139657247418192 139659122083739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28122] ppid=28106 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28122/stat : 28122 (java) S 28106 28106 26532 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 420595505 28904845312 7331 33554432000 4194304 4196468 140736599878928 139657246366576 139659122076290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28123] ppid=28106 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28123/stat : 28123 (java) R 28106 28106 26532 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 420595505 28904845312 7331 33554432000 4194304 4196468 140736599878928 139657245313776 139659122076290 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28124] ppid=28106 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28124/stat : 28124 (java) R 28106 28106 26532 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 420595505 28904845312 7331 33554432000 4194304 4196468 140736599878928 139657244261072 139659100090964 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28125] ppid=28106 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/28108/task/28125/stat : 28125 (java) R 28106 28106 26532 0 -1 4202560 376 0 0 0 2 0 0 0 20 0 20 0 420595505 28904845312 7331 33554432000 4194304 4196468 140736599878928 139657243208176 139659122077078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28126] ppid=28106 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28126/stat : 28126 (java) S 28106 28106 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420595505 28904845312 7331 33554432000 4194304 4196468 140736599878928 139657242155616 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28127] ppid=28106 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/28108/task/28127/stat : 28127 (java) S 28106 28106 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420595506 28904845312 7331 33554432000 4194304 4196468 140736599878928 139657241102896 139659122076290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30780 KiB

[startup+0.211682 s]*
/proc/loadavg: 5.84 6.33 6.17 2/212 28127
/proc/meminfo: memFree=28814924/32770624 swapFree=66998528/67108860
[pid=28106] ppid=28103 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/28106/stat : 28106 (xcsp3-exec) S 28103 28106 26532 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420595499 115843072 364 33554432000 4194304 5098028 140725319620512 140725319618616 140510426759804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14352384 140725319627637 140725319627881 140725319627881 140725319630794 0
/proc/28106/statm: 28282 364 305 221 0 87 0
[pid=28108] ppid=28106 vsize=28227388 memory=40364 CPUtime=0.34 cores=0-7
/proc/28108/stat : 28108 (java) S 28106 28106 26532 0 -1 1077944320 9341 0 0 0 30 4 0 0 20 0 20 0 420595499 28904845312 10091 33554432000 4194304 4196468 140736599878928 140736599861472 139659122065143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
/proc/28108/statm: 7056847 10091 3256 1 0 7019032 0
[pid=28108/tid=28109] ppid=28106 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/28108/task/28109/stat : 28109 (java) R 28106 28106 26532 0 -1 4202560 6598 0 0 0 18 2 0 0 20 0 20 0 420595500 28904845312 10091 33554432000 4194304 4196468 140736599878928 139659126302960 139659106145630 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28110] ppid=28106 vsize=28227388 memory=288230596134830447 CPUtime=0 cores=0-7
/proc/28108/task/28110/stat : 28110 (java) S 28106 28106 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420595500 28904845312 10091 33554432000 4194304 4196468 140736599878928 139659074685584 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28111] ppid=28106 vsize=28227388 memory=3762673334071043744 CPUtime=0 cores=0-7
/proc/28108/task/28111/stat : 28111 (java) S 28106 28106 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420595500 28904845312 10091 33554432000 4194304 4196468 140736599878928 139659073632784 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28112] ppid=28106 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/28108/task/28112/stat : 28112 (java) S 28106 28106 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420595500 28904845312 10091 33554432000 4194304 4196468 140736599878928 139659072579984 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28113] ppid=28106 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28113/stat : 28113 (java) S 28106 28106 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420595500 28904845312 10091 33554432000 4194304 4196468 140736599878928 139659071527184 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28114] ppid=28106 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28114/stat : 28114 (java) S 28106 28106 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420595500 28904845312 10091 33554432000 4194304 4196468 140736599878928 139659070475408 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28115] ppid=28106 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/28108/task/28115/stat : 28115 (java) S 28106 28106 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420595501 28904845312 10091 33554432000 4194304 4196468 140736599878928 139659069422608 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28116] ppid=28106 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28116/stat : 28116 (java) S 28106 28106 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420595501 28904845312 10091 33554432000 4194304 4196468 140736599878928 139659068369808 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28117] ppid=28106 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28117/stat : 28117 (java) S 28106 28106 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420595501 28904845312 10091 33554432000 4194304 4196468 140736599878928 139659067317008 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28118] ppid=28106 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28118/stat : 28118 (java) S 28106 28106 26532 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420595502 28904845312 10091 33554432000 4194304 4196468 140736599878928 139657250576752 139659122076290 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28119] ppid=28106 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28119/stat : 28119 (java) S 28106 28106 26532 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420595502 28904845312 10091 33554432000 4194304 4196468 140736599878928 139657249522720 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28120] ppid=28106 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28120/stat : 28120 (java) S 28106 28106 26532 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420595503 28904845312 10091 33554432000 4194304 4196468 140736599878928 139657248469872 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28121] ppid=28106 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28121/stat : 28121 (java) S 28106 28106 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420595505 28904845312 10091 33554432000 4194304 4196468 140736599878928 139657247418192 139659122083739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28122] ppid=28106 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/28108/task/28122/stat : 28122 (java) S 28106 28106 26532 0 -1 1077944384 342 0 0 0 1 0 0 0 20 0 20 0 420595505 28904845312 10091 33554432000 4194304 4196468 140736599878928 139657246366576 139659122076290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28123] ppid=28106 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/28108/task/28123/stat : 28123 (java) S 28106 28106 26532 0 -1 1077944384 240 0 0 0 2 0 0 0 20 0 20 0 420595505 28904845312 10091 33554432000 4194304 4196468 140736599878928 139657245313776 139659122076290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28124] ppid=28106 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/28108/task/28124/stat : 28124 (java) S 28106 28106 26532 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 420595505 28904845312 10091 33554432000 4194304 4196468 140736599878928 139657244260976 139659122076290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28125] ppid=28106 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7
/proc/28108/task/28125/stat : 28125 (java) S 28106 28106 26532 0 -1 1077944384 802 0 0 0 7 0 0 0 20 0 20 0 420595505 28904845312 10091 33554432000 4194304 4196468 140736599878928 139657243208176 139659122076290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28126] ppid=28106 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28126/stat : 28126 (java) S 28106 28106 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420595505 28904845312 10091 33554432000 4194304 4196468 140736599878928 139657242155616 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28127] ppid=28106 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/28108/task/28127/stat : 28127 (java) S 28106 28106 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420595506 28904845312 10091 33554432000 4194304 4196468 140736599878928 139657241102896 139659122076290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 41820 KiB

[startup+0.320637 s]*
/proc/loadavg: 5.84 6.33 6.17 3/212 28127
/proc/meminfo: memFree=28806300/32770624 swapFree=66998528/67108860
[pid=28106] ppid=28103 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/28106/stat : 28106 (xcsp3-exec) S 28103 28106 26532 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420595499 115843072 364 33554432000 4194304 5098028 140725319620512 140725319618616 140510426759804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14352384 140725319627637 140725319627881 140725319627881 140725319630794 0
/proc/28106/statm: 28282 364 305 221 0 87 0
[pid=28108] ppid=28106 vsize=28231644 memory=50464 CPUtime=0.53 cores=0-7
/proc/28108/stat : 28108 (java) S 28106 28106 26532 0 -1 1077944320 10980 0 0 0 49 4 0 0 20 0 20 0 420595499 28909203456 12616 33554432000 4194304 4196468 140736599878928 140736599861472 139659122065143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
/proc/28108/statm: 7057911 12616 3337 1 0 7019032 0
[pid=28108/tid=28109] ppid=28106 vsize=28231644 memory=8317482817917895235 CPUtime=0.31 cores=0-7
/proc/28108/task/28109/stat : 28109 (java) R 28106 28106 26532 0 -1 4202560 7886 0 0 0 28 3 0 0 20 0 20 0 420595500 28909203456 12616 33554432000 4194304 4196468 140736599878928 139659126296832 139659103458874 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28110] ppid=28106 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28110/stat : 28110 (java) S 28106 28106 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420595500 28909203456 12616 33554432000 4194304 4196468 140736599878928 139659074685584 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28111] ppid=28106 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28111/stat : 28111 (java) S 28106 28106 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420595500 28909203456 12616 33554432000 4194304 4196468 140736599878928 139659073632784 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28112] ppid=28106 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28112/stat : 28112 (java) S 28106 28106 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420595500 28909203456 12616 33554432000 4194304 4196468 140736599878928 139659072579984 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28113] ppid=28106 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28113/stat : 28113 (java) S 28106 28106 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420595500 28909203456 12616 33554432000 4194304 4196468 140736599878928 139659071527184 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28114] ppid=28106 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28114/stat : 28114 (java) S 28106 28106 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420595500 28909203456 12616 33554432000 4194304 4196468 140736599878928 139659070475408 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28115] ppid=28106 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28115/stat : 28115 (java) S 28106 28106 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420595501 28909203456 12616 33554432000 4194304 4196468 140736599878928 139659069422608 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28116] ppid=28106 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28116/stat : 28116 (java) S 28106 28106 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420595501 28909203456 12616 33554432000 4194304 4196468 140736599878928 139659068369808 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28117] ppid=28106 vsize=28231644 memory=6872598998417432672 CPUtime=0 cores=0-7
/proc/28108/task/28117/stat : 28117 (java) S 28106 28106 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420595501 28909203456 12616 33554432000 4194304 4196468 140736599878928 139659067317008 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28118] ppid=28106 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28118/stat : 28118 (java) S 28106 28106 26532 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420595502 28909203456 12616 33554432000 4194304 4196468 140736599878928 139657250576752 139659122076290 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28119] ppid=28106 vsize=28231644 memory=279834299407744 CPUtime=0 cores=0-7
/proc/28108/task/28119/stat : 28119 (java) S 28106 28106 26532 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420595502 28909203456 12616 33554432000 4194304 4196468 140736599878928 139657249522720 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28120] ppid=28106 vsize=28231644 memory=279834299412352 CPUtime=0 cores=0-7
/proc/28108/task/28120/stat : 28120 (java) S 28106 28106 26532 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420595503 28909203456 12616 33554432000 4194304 4196468 140736599878928 139657248469872 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28121] ppid=28106 vsize=28231644 memory=279834299416960 CPUtime=0 cores=0-7
/proc/28108/task/28121/stat : 28121 (java) S 28106 28106 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420595505 28909203456 12616 33554432000 4194304 4196468 140736599878928 139657247418192 139659122083739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28122] ppid=28106 vsize=28231644 memory=279834299421568 CPUtime=0.02 cores=0-7
/proc/28108/task/28122/stat : 28122 (java) S 28106 28106 26532 0 -1 1077944384 375 0 0 0 2 0 0 0 20 0 20 0 420595505 28909203456 12616 33554432000 4194304 4196468 140736599878928 139657246366576 139659122076290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28123] ppid=28106 vsize=28231644 memory=279834299426176 CPUtime=0.03 cores=0-7
/proc/28108/task/28123/stat : 28123 (java) S 28106 28106 26532 0 -1 1077944384 243 0 0 0 3 0 0 0 20 0 20 0 420595505 28909203456 12616 33554432000 4194304 4196468 140736599878928 139657245313776 139659122076290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28124] ppid=28106 vsize=28231644 memory=279834299430784 CPUtime=0.03 cores=0-7
/proc/28108/task/28124/stat : 28124 (java) S 28106 28106 26532 0 -1 1077944384 205 0 0 0 3 0 0 0 20 0 20 0 420595505 28909203456 12616 33554432000 4194304 4196468 140736599878928 139657244260976 139659122076290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28125] ppid=28106 vsize=28231644 memory=279834299435392 CPUtime=0.12 cores=0-7
/proc/28108/task/28125/stat : 28125 (java) S 28106 28106 26532 0 -1 1077944384 964 0 0 0 12 0 0 0 20 0 20 0 420595505 28909203456 12616 33554432000 4194304 4196468 140736599878928 139657243208176 139659122076290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28126] ppid=28106 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28126/stat : 28126 (java) S 28106 28106 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420595505 28909203456 12616 33554432000 4194304 4196468 140736599878928 139657242155616 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28127] ppid=28106 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/28108/task/28127/stat : 28127 (java) S 28106 28106 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420595506 28909203456 12616 33554432000 4194304 4196468 140736599878928 139657241102896 139659122076290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51920 KiB

[startup+0.701036 s]
/proc/loadavg: 5.84 6.33 6.17 5/212 28127
/proc/meminfo: memFree=28777520/32770624 swapFree=66998528/67108860
[pid=28106] ppid=28103 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/28106/stat : 28106 (xcsp3-exec) S 28103 28106 26532 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420595499 115843072 364 33554432000 4194304 5098028 140725319620512 140725319618616 140510426759804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14352384 140725319627637 140725319627881 140725319627881 140725319630794 0
/proc/28106/statm: 28282 364 305 221 0 87 0
[pid=28108] ppid=28106 vsize=28233768 memory=125836 CPUtime=2.04 cores=0-7
/proc/28108/stat : 28108 (java) S 28106 28106 26532 0 -1 1077944320 15437 0 0 0 198 6 0 0 20 0 20 0 420595499 28911378432 31459 33554432000 4194304 4196468 140736599878928 140736599861472 139659122065143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
/proc/28108/statm: 7058442 31459 3449 1 0 7019544 0
[pid=28108/tid=28109] ppid=28106 vsize=28233768 memory=4580 CPUtime=0.67 cores=0-7
/proc/28108/task/28109/stat : 28109 (java) R 28106 28106 26532 0 -1 4202560 8348 0 0 0 64 3 0 0 20 0 20 0 420595500 28911378432 31459 33554432000 4194304 4196468 140736599878928 139659126299928 139658733635493 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28110] ppid=28106 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28110/stat : 28110 (java) S 28106 28106 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420595500 28911378432 31459 33554432000 4194304 4196468 140736599878928 139659074685584 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28111] ppid=28106 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28111/stat : 28111 (java) S 28106 28106 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420595500 28911378432 31459 33554432000 4194304 4196468 140736599878928 139659073632784 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28112] ppid=28106 vsize=28233768 memory=1204 CPUtime=0 cores=0-7
/proc/28108/task/28112/stat : 28112 (java) S 28106 28106 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420595500 28911378432 31459 33554432000 4194304 4196468 140736599878928 139659072579984 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0

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

[pid=28108/tid=28130] ppid=28106 vsize=28768328 memory=2116 CPUtime=99.23 cores=0-7
/proc/28108/task/28130/stat : 28130 (java) R 28106 28106 26532 0 -1 4202560 21928 0 0 0 9887 36 0 0 20 0 28 0 420596588 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139656919953848 139658739620481 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28131] ppid=28106 vsize=28768328 memory=22688 CPUtime=99.14 cores=0-7
/proc/28108/task/28131/stat : 28131 (java) R 28106 28106 26532 0 -1 4202560 8353 0 0 0 9889 25 0 0 20 0 28 0 420596588 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139656918901304 139658743083344 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28132] ppid=28106 vsize=28768328 memory=14068 CPUtime=98.76 cores=0-7
/proc/28108/task/28132/stat : 28132 (java) R 28106 28106 26532 0 -1 4202560 9087 0 0 0 9853 23 0 0 20 0 28 0 420596588 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139656917848488 139658734757754 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28133] ppid=28106 vsize=28768328 memory=524 CPUtime=99.63 cores=0-7
/proc/28108/task/28133/stat : 28133 (java) R 28106 28106 26532 0 -1 4202560 13691 0 0 0 9926 37 0 0 20 0 28 0 420596588 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139656916795480 139658741936872 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28134] ppid=28106 vsize=28768328 memory=1568 CPUtime=100.2 cores=0-7
/proc/28108/task/28134/stat : 28134 (java) R 28106 28106 26532 0 -1 4202560 6673 0 0 0 9997 23 0 0 20 0 28 0 420596588 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139656915742904 139658743083990 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28135] ppid=28106 vsize=28768328 memory=928 CPUtime=99.78 cores=0-7
/proc/28108/task/28135/stat : 28135 (java) R 28106 28106 26532 0 -1 4202560 5739 0 0 0 9955 23 0 0 20 0 28 0 420596588 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139656914689808 139658731367590 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
Current children cumulated CPU time: 1025.74 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 8305772 KiB

[startup+140.002 s]*
/proc/loadavg: 8.29 7.16 6.49 9/220 28143
/proc/meminfo: memFree=20538352/32770624 swapFree=66998528/67108860
[pid=28106] ppid=28103 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/28106/stat : 28106 (xcsp3-exec) S 28103 28106 26532 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420595499 115843072 364 33554432000 4194304 5098028 140725319620512 140725319618616 140510426759804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14352384 140725319627637 140725319627881 140725319627881 140725319630794 0
/proc/28106/statm: 28282 364 305 221 0 87 0
[pid=28108] ppid=28106 vsize=28768328 memory=8304316 CPUtime=1032.2 cores=0-7
/proc/28108/stat : 28108 (java) S 28106 28106 26532 0 -1 1077944320 365203 0 0 0 101476 1744 0 0 20 0 28 0 420595499 29458767872 2076079 33554432000 4194304 4196468 140736599878928 140736599861472 139659122065143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
/proc/28108/statm: 7192082 2076079 3556 1 0 7153184 0
[pid=28108/tid=28109] ppid=28106 vsize=28768328 memory=8317482817917895235 CPUtime=6.79 cores=0-7
/proc/28108/task/28109/stat : 28109 (java) S 28106 28106 26532 0 -1 1077944384 14590 0 0 0 657 22 0 0 20 0 28 0 420595500 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139659126305920 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28110] ppid=28106 vsize=28768328 memory=620 CPUtime=23.59 cores=0-7
/proc/28108/task/28110/stat : 28110 (java) S 28106 28106 26532 0 -1 1077944384 8664 0 0 0 2181 178 0 0 20 0 28 0 420595500 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139659074685584 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28111] ppid=28106 vsize=28768328 memory=1712 CPUtime=23.68 cores=0-7
/proc/28108/task/28111/stat : 28111 (java) S 28106 28106 26532 0 -1 1077944384 10031 0 0 0 2180 188 0 0 20 0 28 0 420595500 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139659073632784 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28112] ppid=28106 vsize=28768328 memory=4160 CPUtime=23.73 cores=0-7
/proc/28108/task/28112/stat : 28112 (java) S 28106 28106 26532 0 -1 1077944384 7457 0 0 0 2190 183 0 0 20 0 28 0 420595500 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139659072579984 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28113] ppid=28106 vsize=28768328 memory=1056 CPUtime=23.46 cores=0-7
/proc/28108/task/28113/stat : 28113 (java) S 28106 28106 26532 0 -1 1077944384 8169 0 0 0 2160 186 0 0 20 0 28 0 420595500 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139659071527184 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28114] ppid=28106 vsize=28768328 memory=1204 CPUtime=23.89 cores=0-7
/proc/28108/task/28114/stat : 28114 (java) S 28106 28106 26532 0 -1 1077944384 12083 0 0 0 2207 182 0 0 20 0 28 0 420595500 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139659070475408 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28115] ppid=28106 vsize=28768328 memory=1536 CPUtime=23.65 cores=0-7
/proc/28108/task/28115/stat : 28115 (java) S 28106 28106 26532 0 -1 1077944384 8799 0 0 0 2185 180 0 0 20 0 28 0 420595501 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139659069422608 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28116] ppid=28106 vsize=28768328 memory=9592 CPUtime=23.67 cores=0-7
/proc/28108/task/28116/stat : 28116 (java) S 28106 28106 26532 0 -1 1077944384 9327 0 0 0 2182 185 0 0 20 0 28 0 420595501 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139659068369808 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28117] ppid=28106 vsize=28768328 memory=2828 CPUtime=23.55 cores=0-7
/proc/28108/task/28117/stat : 28117 (java) S 28106 28106 26532 0 -1 1077944384 5954 0 0 0 2173 182 0 0 20 0 28 0 420595501 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139659067317008 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28118] ppid=28106 vsize=28768328 memory=780 CPUtime=5.89 cores=0-7
/proc/28108/task/28118/stat : 28118 (java) S 28106 28106 26532 0 -1 1077944384 31182 0 0 0 576 13 0 0 20 0 28 0 420595502 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139657250576752 139659122076290 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28119] ppid=28106 vsize=28768328 memory=620 CPUtime=0 cores=0-7
/proc/28108/task/28119/stat : 28119 (java) S 28106 28106 26532 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 420595502 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139657249522784 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28120] ppid=28106 vsize=28768328 memory=1412 CPUtime=0 cores=0-7
/proc/28108/task/28120/stat : 28120 (java) S 28106 28106 26532 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 420595503 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139657248469888 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28121] ppid=28106 vsize=28768328 memory=3508 CPUtime=0 cores=0-7
/proc/28108/task/28121/stat : 28121 (java) S 28106 28106 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420595505 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139657247418192 139659122083739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28122] ppid=28106 vsize=28768328 memory=1456 CPUtime=8.01 cores=0-7
/proc/28108/task/28122/stat : 28122 (java) S 28106 28106 26532 0 -1 1077944384 36951 0 0 0 794 7 0 0 20 0 28 0 420595505 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139657246366576 139659122076290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28123] ppid=28106 vsize=28768328 memory=8304316 CPUtime=8.01 cores=0-7
/proc/28108/task/28123/stat : 28123 (java) S 28106 28106 26532 0 -1 1077944384 50971 0 0 0 792 9 0 0 20 0 28 0 420595505 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139657245313776 139659122076290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28124] ppid=28106 vsize=28768328 memory=1656 CPUtime=9.05 cores=0-7
/proc/28108/task/28124/stat : 28124 (java) S 28106 28106 26532 0 -1 1077944384 54458 0 0 0 895 10 0 0 20 0 28 0 420595505 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139657244260976 139659122076290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28125] ppid=28106 vsize=28768328 memory=8317482817917895235 CPUtime=1.69 cores=0-7
/proc/28108/task/28125/stat : 28125 (java) S 28106 28106 26532 0 -1 1077944384 22352 0 0 0 162 7 0 0 20 0 28 0 420595505 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139657243208176 139659122076290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28126] ppid=28106 vsize=28768328 memory=1204 CPUtime=0 cores=0-7
/proc/28108/task/28126/stat : 28126 (java) S 28106 28106 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420595505 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139657242155616 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28127] ppid=28106 vsize=28768328 memory=1536 CPUtime=0.05 cores=0-7
/proc/28108/task/28127/stat : 28127 (java) S 28106 28106 26532 0 -1 1077944384 2057 0 0 0 1 4 0 0 20 0 28 0 420595506 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139657241102896 139659122076290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 47 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28128] ppid=28106 vsize=28768328 memory=8304316 CPUtime=101.09 cores=0-7
/proc/28108/task/28128/stat : 28128 (java) R 28106 28106 26532 0 -1 4202560 8369 0 0 0 10088 21 0 0 20 0 28 0 420596588 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139657238347048 139658743083349 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28129] ppid=28106 vsize=28768328 memory=1456 CPUtime=100.57 cores=0-7
/proc/28108/task/28129/stat : 28129 (java) R 28106 28106 26532 0 -1 4202560 6735 0 0 0 10045 12 0 0 20 0 28 0 420596588 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139656921006424 139658739692024 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28130] ppid=28106 vsize=28768328 memory=8304316 CPUtime=100.05 cores=0-7
/proc/28108/task/28130/stat : 28130 (java) R 28106 28106 26532 0 -1 4202560 21962 0 0 0 9968 37 0 0 20 0 28 0 420596588 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139656919954008 139658740380516 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28131] ppid=28106 vsize=28768328 memory=780 CPUtime=99.94 cores=0-7
/proc/28108/task/28131/stat : 28131 (java) R 28106 28106 26532 0 -1 4202560 8426 0 0 0 9969 25 0 0 20 0 28 0 420596588 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139656918901304 139658732471315 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28132] ppid=28106 vsize=28768328 memory=2828 CPUtime=99.55 cores=0-7
/proc/28108/task/28132/stat : 28132 (java) R 28106 28106 26532 0 -1 4202560 9103 0 0 0 9932 23 0 0 20 0 28 0 420596588 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139656917848488 139658735457571 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28133] ppid=28106 vsize=28768328 memory=780 CPUtime=100.44 cores=0-7
/proc/28108/task/28133/stat : 28133 (java) R 28106 28106 26532 0 -1 4202560 13715 0 0 0 10007 37 0 0 20 0 28 0 420596588 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139656916795480 139658739456661 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28134] ppid=28106 vsize=28768328 memory=620 CPUtime=101.01 cores=0-7
/proc/28108/task/28134/stat : 28134 (java) R 28106 28106 26532 0 -1 4202560 6689 0 0 0 10078 23 0 0 20 0 28 0 420596588 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139656915742904 139658735458135 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28135] ppid=28106 vsize=28768328 memory=1712 CPUtime=100.59 cores=0-7
/proc/28108/task/28135/stat : 28135 (java) R 28106 28106 26532 0 -1 4202560 5782 0 0 0 10036 23 0 0 20 0 28 0 420596588 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139656914689808 139658731396298 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
Current children cumulated CPU time: 1032.2 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 8305772 KiB

[startup+140.802 s]
/proc/loadavg: 8.29 7.16 6.49 9/220 28143
/proc/meminfo: memFree=20538352/32770624 swapFree=66998528/67108860
[pid=28106] ppid=28103 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/28106/stat : 28106 (xcsp3-exec) S 28103 28106 26532 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420595499 115843072 364 33554432000 4194304 5098028 140725319620512 140725319618616 140510426759804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14352384 140725319627637 140725319627881 140725319627881 140725319630794 0
/proc/28106/statm: 28282 364 305 221 0 87 0
[pid=28108] ppid=28106 vsize=28768328 memory=8304316 CPUtime=1038.51 cores=0-7
/proc/28108/stat : 28108 (java) S 28106 28106 26532 0 -1 1077944320 367773 0 0 0 102107 1744 0 0 20 0 28 0 420595499 29458767872 2076079 33554432000 4194304 4196468 140736599878928 140736599861472 139659122065143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
/proc/28108/statm: 7192082 2076079 3556 1 0 7153184 0
[pid=28108/tid=28109] ppid=28106 vsize=28768328 memory=1976 CPUtime=6.79 cores=0-7
/proc/28108/task/28109/stat : 28109 (java) S 28106 28106 26532 0 -1 1077944384 14590 0 0 0 657 22 0 0 20 0 28 0 420595500 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139659126305920 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28110] ppid=28106 vsize=28768328 memory=6791534058613427641 CPUtime=23.59 cores=0-7
/proc/28108/task/28110/stat : 28110 (java) S 28106 28106 26532 0 -1 1077944384 8664 0 0 0 2181 178 0 0 20 0 28 0 420595500 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139659074685584 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28111] ppid=28106 vsize=28768328 memory=41564 CPUtime=23.68 cores=0-7
/proc/28108/task/28111/stat : 28111 (java) S 28106 28106 26532 0 -1 1077944384 10031 0 0 0 2180 188 0 0 20 0 28 0 420595500 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139659073632784 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28112] ppid=28106 vsize=28768328 memory=3624 CPUtime=23.73 cores=0-7
/proc/28108/task/28112/stat : 28112 (java) S 28106 28106 26532 0 -1 1077944384 7457 0 0 0 2190 183 0 0 20 0 28 0 420595500 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139659072579984 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28113] ppid=28106 vsize=28768328 memory=41564 CPUtime=23.46 cores=0-7
/proc/28108/task/28113/stat : 28113 (java) S 28106 28106 26532 0 -1 1077944384 8169 0 0 0 2160 186 0 0 20 0 28 0 420595500 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139659071527184 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28114] ppid=28106 vsize=28768328 memory=988 CPUtime=23.89 cores=0-7
/proc/28108/task/28114/stat : 28114 (java) S 28106 28106 26532 0 -1 1077944384 12083 0 0 0 2207 182 0 0 20 0 28 0 420595500 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139659070475408 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28115] ppid=28106 vsize=28768328 memory=0 CPUtime=23.65 cores=0-7
/proc/28108/task/28115/stat : 28115 (java) S 28106 28106 26532 0 -1 1077944384 8799 0 0 0 2185 180 0 0 20 0 28 0 420595501 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139659069422608 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28116] ppid=28106 vsize=28768328 memory=0 CPUtime=23.67 cores=0-7
/proc/28108/task/28116/stat : 28116 (java) S 28106 28106 26532 0 -1 1077944384 9327 0 0 0 2182 185 0 0 20 0 28 0 420595501 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139659068369808 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28117] ppid=28106 vsize=28768328 memory=0 CPUtime=23.55 cores=0-7
/proc/28108/task/28117/stat : 28117 (java) S 28106 28106 26532 0 -1 1077944384 5954 0 0 0 2173 182 0 0 20 0 28 0 420595501 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139659067317008 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28118] ppid=28106 vsize=28768328 memory=0 CPUtime=5.89 cores=0-7
/proc/28108/task/28118/stat : 28118 (java) S 28106 28106 26532 0 -1 1077944384 31182 0 0 0 576 13 0 0 20 0 28 0 420595502 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139657250576752 139659122076290 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28119] ppid=28106 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/28108/task/28119/stat : 28119 (java) S 28106 28106 26532 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 420595502 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139657249522784 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28120] ppid=28106 vsize=28768328 memory=1052 CPUtime=0 cores=0-7
/proc/28108/task/28120/stat : 28120 (java) S 28106 28106 26532 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 420595503 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139657248469888 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28121] ppid=28106 vsize=28768328 memory=5908 CPUtime=0 cores=0-7
/proc/28108/task/28121/stat : 28121 (java) S 28106 28106 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420595505 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139657247418192 139659122083739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28122] ppid=28106 vsize=28768328 memory=14012 CPUtime=8.03 cores=0-7
/proc/28108/task/28122/stat : 28122 (java) S 28106 28106 26532 0 -1 1077944384 37375 0 0 0 796 7 0 0 20 0 28 0 420595505 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139657246366576 139659122076290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28123] ppid=28106 vsize=28768328 memory=2116 CPUtime=8.01 cores=0-7
/proc/28108/task/28123/stat : 28123 (java) S 28106 28106 26532 0 -1 1077944384 50971 0 0 0 792 9 0 0 20 0 28 0 420595505 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139657245313776 139659122076290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28124] ppid=28106 vsize=28768328 memory=22688 CPUtime=9.09 cores=0-7
/proc/28108/task/28124/stat : 28124 (java) S 28106 28106 26532 0 -1 1077944384 54772 0 0 0 899 10 0 0 20 0 28 0 420595505 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139657244260976 139659122076290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28125] ppid=28106 vsize=28768328 memory=14068 CPUtime=1.69 cores=0-7
/proc/28108/task/28125/stat : 28125 (java) S 28106 28106 26532 0 -1 1077944384 22352 0 0 0 162 7 0 0 20 0 28 0 420595505 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139657243208176 139659122076290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28126] ppid=28106 vsize=28768328 memory=1712 CPUtime=0 cores=0-7
/proc/28108/task/28126/stat : 28126 (java) S 28106 28106 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420595505 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139657242155616 139659122075349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28127] ppid=28106 vsize=28768328 memory=1052 CPUtime=0.05 cores=0-7
/proc/28108/task/28127/stat : 28127 (java) S 28106 28106 26532 0 -1 1077944384 2057 0 0 0 1 4 0 0 20 0 28 0 420595506 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139657241102896 139659122076290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 47 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28128] ppid=28106 vsize=28768328 memory=5908 CPUtime=101.88 cores=0-7
/proc/28108/task/28128/stat : 28128 (java) R 28106 28106 26532 0 -1 4202560 8418 0 0 0 10167 21 0 0 20 0 28 0 420596588 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139657238347048 139658732474873 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28129] ppid=28106 vsize=28768328 memory=14012 CPUtime=101.34 cores=0-7
/proc/28108/task/28129/stat : 28129 (java) R 28106 28106 26532 0 -1 4202560 6740 0 0 0 10122 12 0 0 20 0 28 0 420596588 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139656921006424 139658737999982 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28130] ppid=28106 vsize=28768328 memory=2116 CPUtime=100.83 cores=0-7
/proc/28108/task/28130/stat : 28130 (java) R 28106 28106 26532 0 -1 4202560 23270 0 0 0 10046 37 0 0 20 0 28 0 420596588 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139656919954280 139658735458521 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28131] ppid=28106 vsize=28768328 memory=22688 CPUtime=100.68 cores=0-7
/proc/28108/task/28131/stat : 28131 (java) R 28106 28106 26532 0 -1 4202560 8436 0 0 0 10043 25 0 0 20 0 28 0 420596588 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139656918901304 139658731295612 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28132] ppid=28106 vsize=28768328 memory=14068 CPUtime=100.34 cores=0-7
/proc/28108/task/28132/stat : 28132 (java) R 28106 28106 26532 0 -1 4202560 9134 0 0 0 10011 23 0 0 20 0 28 0 420596588 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139656917848488 139658739621161 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28133] ppid=28106 vsize=28768328 memory=6791534058613427641 CPUtime=101.23 cores=0-7
/proc/28108/task/28133/stat : 28133 (java) R 28106 28106 26532 0 -1 4202560 14137 0 0 0 10086 37 0 0 20 0 28 0 420596588 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139656916795480 139658737335056 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28134] ppid=28106 vsize=28768328 memory=41564 CPUtime=101.8 cores=0-7
/proc/28108/task/28134/stat : 28134 (java) R 28106 28106 26532 0 -1 4202560 6692 0 0 0 10157 23 0 0 20 0 28 0 420596588 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139656915742904 139658743083349 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
[pid=28108/tid=28135] ppid=28106 vsize=28768328 memory=988 CPUtime=101.38 cores=0-7
/proc/28108/task/28135/stat : 28135 (java) R 28106 28106 26532 0 -1 4202560 5786 0 0 0 10115 23 0 0 20 0 28 0 420596588 29458767872 2076079 33554432000 4194304 4196468 140736599878928 139656914689808 139658731296396 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30724096 140736599880682 140736599880854 140736599880854 140736599883727 0
Current children cumulated CPU time: 1038.51 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 8305772 KiB

[startup+141.201 s]
/proc/loadavg: 8.29 7.16 6.49 9/220 28143
/proc/meminfo: memFree=20538700/32770624 swapFree=66998528/67108860
[pid=28106] ppid=28103 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/28106/stat : 28106 (xcsp3-exec) S 28103 28106 26532 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420595499 115843072 364 33554432000 4194304 5098028 140725319620512 140725319618616 140510426759804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14352384 140725319627637 140725319627881 140725319627881 140725319630794 0
/proc/28106/statm: 28282 364 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB

Child status: 0
Real time (s): 141.248
CPU time (s): 1041.51
CPU user time (s): 1023.98
CPU system time (s): 17.5272
CPU usage (%): 737.361
Max. virtual memory (cumulated for all children) (KiB): 28883872
Max. memory (cumulated for all children) (KiB): 8305772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1023.98
system time used= 17.5272
maximum resident set size= 8304340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 369681
page faults= 0
swaps= 0
block input operations= 0
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16288
involuntary context switches= 15382


# summary of solver processes directly reported to runsolver:
#   pid: 28106
#   total CPU time (s): 1041.51
#   total CPU user time (s): 1023.98
#   total CPU system time (s): 17.5272

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.23266 second user time and 1.69706 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-14 08:40:26
IDJOB=4393677
IDBENCH=139233
IDSOLVER=2841
FILE ID=node127/4393677-1568443266
RUNJOBID= node127-1568436642-26559
PBS_JOBID= 21702318
Free space on /tmp= 61308 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/Fischer/Fischer-m1-s1/Fischer-11-05-fair.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393677-1568443266/watcher-4393677-1568443266 -o /tmp/evaluation-result-4393677-1568443266/solver-4393677-1568443266 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568436642-26559 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2135035372 HOME/instance-4393677-1568443266.xml

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

MD5SUM BENCH= ce7bc4154440f5a39d3b926bfba59e31
RANDOM SEED=2135035372

node127.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.55
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.55
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.55
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.55
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:        28844348 kB
MemAvailable:   31874628 kB
Buffers:          188068 kB
Cached:          3109132 kB
SwapCached:         6772 kB
Active:          1908136 kB
Inactive:        1401068 kB
Active(anon):       5012 kB
Inactive(anon):    48308 kB
Active(file):    1903124 kB
Inactive(file):  1352760 kB
Unevictable:      109300 kB
Mlocked:          109300 kB
SwapTotal:      67108860 kB
SwapFree:       66998528 kB
Dirty:             26624 kB
Writeback:            16 kB
AnonPages:        116324 kB
Mapped:            44884 kB
Shmem:             32700 kB
Slab:             210112 kB
SReclaimable:     180464 kB
SUnreclaim:        29648 kB
KernelStack:        3376 kB
PageTables:         5108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     499048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61284 MiB
End job on node127 at 2019-09-14 08:42:48