Trace number 4297788

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.7b par (e747e1e)? (TO) 20093.5 2520.12

General information on the benchmark

NameFrb/
frb-53-24-2-mgd_c18.xml
MD5SUMefa4ad1e7c4e0975e1666af510b5ab46
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark4834.31
Satisfiable
(Un)Satisfiability was proved
Number of variables53
Number of constraints474
Number of domains1
Minimum domain size24
Maximum domain size24
Distribution of domain sizes[{"size":24,"count":53}]
Minimum variable degree12
Maximum variable degree26
Distribution of variable degrees[{"degree":12,"count":1},{"degree":14,"count":6},{"degree":15,"count":3},{"degree":16,"count":9},{"degree":17,"count":8},{"degree":18,"count":6},{"degree":19,"count":4},{"degree":20,"count":5},{"degree":21,"count":3},{"degree":22,"count":7},{"degree":26,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":474}]
Number of extensional constraints474
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":474}]
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-4297788-1532728952.xml"  -tl '20160s' -p 8
0.11/0.17	c Choco e747e1e
0.11/0.18	c [HOME/instance-4297788-1532728952.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
4.58/1.69	c solve instance...
20092.63/2520.08	s UNKNOWN
20092.63/2520.08	c Unexpected resolution interruption!

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297788-1532728952/watcher-4297788-1532728952 -o /tmp/evaluation-result-4297788-1532728952/solver-4297788-1532728952 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532724796-17513 --watchdog 2580 HOME/xcsp3-exec -seed 1144885374 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297788-1532728952.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=18573, runsolver pid=18570
Current StackSize limit: 8192 KiB


[startup+0.100157 s]*
/proc/loadavg: 7.53 7.86 7.99 2/199 18594
/proc/meminfo: memFree=28114576/32770624 swapFree=67108436/67108860
[pid=18573] ppid=18570 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18573/stat : 18573 (xcsp3-exec) S 18570 18573 17486 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 90458397 115843072 363 33554432000 4194304 5098028 140723668345184 140723668343288 139781832426108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23715840 140723668354101 140723668354304 140723668354304 140723668357066 0
/proc/18573/statm: 28282 363 305 221 0 87 0
[pid=18575] ppid=18573 vsize=26104152 memory=27340 CPUtime=0.11 cores=0-7
/proc/18575/stat : 18575 (java) S 18573 18573 17486 0 -1 1077944320 5651 0 0 0 10 1 0 0 20 0 20 0 90458397 26730651648 6835 33554432000 4194304 4196468 140733507495664 140733507478208 139649058320119 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
/proc/18575/statm: 6526038 6835 3062 1 0 6488315 0
[pid=18575/tid=18576] ppid=18573 vsize=26104152 memory=8042472842692828830 CPUtime=0.09 cores=0-7
/proc/18575/task/18576/stat : 18576 (java) R 18573 18573 17486 0 -1 4202560 3666 0 0 0 8 1 0 0 20 0 20 0 90458397 26730651648 6900 33554432000 4194304 4196468 140733507495664 139649062553392 139649042363749 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18577] ppid=18573 vsize=26104152 memory=732369868579560421 CPUtime=0 cores=0-7
/proc/18575/task/18577/stat : 18577 (java) S 18573 18573 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90458398 26730651648 6900 33554432000 4194304 4196468 140733507495664 139649010940176 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18578] ppid=18573 vsize=26104152 memory=139730242107008 CPUtime=0 cores=0-7
/proc/18575/task/18578/stat : 18578 (java) S 18573 18573 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90458398 26730651648 6900 33554432000 4194304 4196468 140733507495664 139649009887632 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18579] ppid=18573 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18575/task/18579/stat : 18579 (java) S 18573 18573 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90458398 26730651648 6900 33554432000 4194304 4196468 140733507495664 139649008835088 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18580] ppid=18573 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18575/task/18580/stat : 18580 (java) S 18573 18573 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90458398 26730651648 6900 33554432000 4194304 4196468 140733507495664 139649007782544 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18581] ppid=18573 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18575/task/18581/stat : 18581 (java) S 18573 18573 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90458398 26730651648 6900 33554432000 4194304 4196468 140733507495664 139649006730000 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18582] ppid=18573 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18575/task/18582/stat : 18582 (java) S 18573 18573 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90458398 26730651648 6900 33554432000 4194304 4196468 140733507495664 139649005677456 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18583] ppid=18573 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18575/task/18583/stat : 18583 (java) S 18573 18573 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90458398 26730651648 6900 33554432000 4194304 4196468 140733507495664 139649004624912 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18584] ppid=18573 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18575/task/18584/stat : 18584 (java) S 18573 18573 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90458398 26730651648 6900 33554432000 4194304 4196468 140733507495664 139649003572368 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18585] ppid=18573 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18575/task/18585/stat : 18585 (java) S 18573 18573 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90458400 26730651648 6900 33554432000 4194304 4196468 140733507495664 139647845541872 139649058331266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18586] ppid=18573 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18575/task/18586/stat : 18586 (java) S 18573 18573 17486 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90458400 26730651648 6900 33554432000 4194304 4196468 140733507495664 139647844488096 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18587] ppid=18573 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18575/task/18587/stat : 18587 (java) S 18573 18573 17486 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90458400 26730651648 6900 33554432000 4194304 4196468 140733507495664 139647843435504 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18588] ppid=18573 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18575/task/18588/stat : 18588 (java) S 18573 18573 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90458403 26730651648 6900 33554432000 4194304 4196468 140733507495664 139647461124304 139649058338715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18589] ppid=18573 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18575/task/18589/stat : 18589 (java) S 18573 18573 17486 0 -1 1077944384 406 0 0 0 0 0 0 0 20 0 20 0 90458403 26730651648 6900 33554432000 4194304 4196468 140733507495664 139647460071920 139649058331266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18590] ppid=18573 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18575/task/18590/stat : 18590 (java) S 18573 18573 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90458403 26730651648 6900 33554432000 4194304 4196468 140733507495664 139647459019376 139649058331266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18591] ppid=18573 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18575/task/18591/stat : 18591 (java) S 18573 18573 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90458403 26730651648 6900 33554432000 4194304 4196468 140733507495664 139647457966832 139649058331266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18592] ppid=18573 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/18575/task/18592/stat : 18592 (java) R 18573 18573 17486 0 -1 4202560 268 0 0 0 1 0 0 0 20 0 20 0 90458403 26730651648 6900 33554432000 4194304 4196468 140733507495664 139647456914288 139649042400606 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18593] ppid=18573 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18575/task/18593/stat : 18593 (java) S 18573 18573 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90458403 26730651648 6900 33554432000 4194304 4196468 140733507495664 139647455860960 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18594] ppid=18573 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18575/task/18594/stat : 18594 (java) S 18573 18573 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90458403 26730651648 6900 33554432000 4194304 4196468 140733507495664 139647454808496 139649058331266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28792 KiB

[startup+0.209846 s]*
/proc/loadavg: 7.53 7.86 7.99 3/199 18594
/proc/meminfo: memFree=28103316/32770624 swapFree=67108436/67108860
[pid=18573] ppid=18570 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18573/stat : 18573 (xcsp3-exec) S 18570 18573 17486 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 90458397 115843072 363 33554432000 4194304 5098028 140723668345184 140723668343288 139781832426108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23715840 140723668354101 140723668354304 140723668354304 140723668357066 0
/proc/18573/statm: 28282 363 305 221 0 87 0
[pid=18575] ppid=18573 vsize=26104152 memory=39724 CPUtime=0.33 cores=0-7
/proc/18575/stat : 18575 (java) S 18573 18573 17486 0 -1 1077944320 8510 0 0 0 30 3 0 0 20 0 20 0 90458397 26730651648 9931 33554432000 4194304 4196468 140733507495664 140733507478208 139649058320119 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
/proc/18575/statm: 6526038 9931 3202 1 0 6488315 0
[pid=18575/tid=18576] ppid=18573 vsize=26104152 memory=0 CPUtime=0.19 cores=0-7
/proc/18575/task/18576/stat : 18576 (java) R 18573 18573 17486 0 -1 4202560 5555 0 0 0 17 2 0 0 20 0 20 0 90458397 26730651648 9931 33554432000 4194304 4196468 140733507495664 139649062549840 139649042400606 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18577] ppid=18573 vsize=26104152 memory=732369868579560421 CPUtime=0 cores=0-7
/proc/18575/task/18577/stat : 18577 (java) S 18573 18573 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90458398 26730651648 9931 33554432000 4194304 4196468 140733507495664 139649010940176 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18578] ppid=18573 vsize=26104152 memory=139730242107008 CPUtime=0 cores=0-7
/proc/18575/task/18578/stat : 18578 (java) S 18573 18573 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90458398 26730651648 9931 33554432000 4194304 4196468 140733507495664 139649009887632 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18579] ppid=18573 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18575/task/18579/stat : 18579 (java) S 18573 18573 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90458398 26730651648 9931 33554432000 4194304 4196468 140733507495664 139649008835088 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18580] ppid=18573 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18575/task/18580/stat : 18580 (java) S 18573 18573 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90458398 26730651648 9931 33554432000 4194304 4196468 140733507495664 139649007782544 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18581] ppid=18573 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18575/task/18581/stat : 18581 (java) S 18573 18573 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90458398 26730651648 9931 33554432000 4194304 4196468 140733507495664 139649006730000 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18582] ppid=18573 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18575/task/18582/stat : 18582 (java) S 18573 18573 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90458398 26730651648 9931 33554432000 4194304 4196468 140733507495664 139649005677456 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18583] ppid=18573 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18575/task/18583/stat : 18583 (java) S 18573 18573 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90458398 26730651648 9931 33554432000 4194304 4196468 140733507495664 139649004624912 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18584] ppid=18573 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18575/task/18584/stat : 18584 (java) S 18573 18573 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90458398 26730651648 9931 33554432000 4194304 4196468 140733507495664 139649003572368 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18585] ppid=18573 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18575/task/18585/stat : 18585 (java) S 18573 18573 17486 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 90458400 26730651648 9931 33554432000 4194304 4196468 140733507495664 139647845541872 139649058331266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18586] ppid=18573 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18575/task/18586/stat : 18586 (java) S 18573 18573 17486 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90458400 26730651648 9931 33554432000 4194304 4196468 140733507495664 139647844488096 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18587] ppid=18573 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18575/task/18587/stat : 18587 (java) S 18573 18573 17486 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90458400 26730651648 9931 33554432000 4194304 4196468 140733507495664 139647843435504 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18588] ppid=18573 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18575/task/18588/stat : 18588 (java) S 18573 18573 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90458403 26730651648 9931 33554432000 4194304 4196468 140733507495664 139647461124304 139649058338715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18589] ppid=18573 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/18575/task/18589/stat : 18589 (java) S 18573 18573 17486 0 -1 1077944384 546 0 0 0 1 0 0 0 20 0 20 0 90458403 26730651648 9931 33554432000 4194304 4196468 140733507495664 139647460071920 139649058331266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18590] ppid=18573 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/18575/task/18590/stat : 18590 (java) S 18573 18573 17486 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 20 0 90458403 26730651648 9931 33554432000 4194304 4196468 140733507495664 139647459019376 139649058331266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18591] ppid=18573 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/18575/task/18591/stat : 18591 (java) S 18573 18573 17486 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 20 0 90458403 26730651648 9931 33554432000 4194304 4196468 140733507495664 139647457966832 139649058331266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18592] ppid=18573 vsize=26104152 memory=0 CPUtime=0.07 cores=0-7
/proc/18575/task/18592/stat : 18592 (java) S 18573 18573 17486 0 -1 1077944384 777 0 0 0 7 0 0 0 20 0 20 0 90458403 26730651648 9931 33554432000 4194304 4196468 140733507495664 139647456914288 139649058331266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18593] ppid=18573 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18575/task/18593/stat : 18593 (java) S 18573 18573 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90458403 26730651648 9931 33554432000 4194304 4196468 140733507495664 139647455860960 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18594] ppid=18573 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18575/task/18594/stat : 18594 (java) S 18573 18573 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90458403 26730651648 9931 33554432000 4194304 4196468 140733507495664 139647454808496 139649058331266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41176 KiB

[startup+0.309487 s]*
/proc/loadavg: 7.53 7.86 7.99 4/199 18594
/proc/meminfo: memFree=28084508/32770624 swapFree=67108436/67108860
[pid=18573] ppid=18570 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18573/stat : 18573 (xcsp3-exec) S 18570 18573 17486 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 90458397 115843072 363 33554432000 4194304 5098028 140723668345184 140723668343288 139781832426108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23715840 140723668354101 140723668354304 140723668354304 140723668357066 0
/proc/18573/statm: 28282 363 305 221 0 87 0
[pid=18575] ppid=18573 vsize=26108408 memory=46484 CPUtime=0.52 cores=0-7
/proc/18575/stat : 18575 (java) S 18573 18573 17486 0 -1 1077944320 9390 0 0 0 48 4 0 0 20 0 20 0 90458397 26735009792 11621 33554432000 4194304 4196468 140733507495664 140733507478208 139649058320119 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
/proc/18575/statm: 6527102 11621 3242 1 0 6488315 0
[pid=18575/tid=18576] ppid=18573 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/18575/task/18576/stat : 18576 (java) R 18573 18573 17486 0 -1 4202560 6225 0 0 0 27 2 0 0 20 0 20 0 90458397 26735009792 11621 33554432000 4194304 4196468 140733507495664 139649062551232 139649042400606 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18577] ppid=18573 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18575/task/18577/stat : 18577 (java) S 18573 18573 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90458398 26735009792 11621 33554432000 4194304 4196468 140733507495664 139649010940176 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18578] ppid=18573 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18575/task/18578/stat : 18578 (java) S 18573 18573 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90458398 26735009792 11621 33554432000 4194304 4196468 140733507495664 139649009887632 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18579] ppid=18573 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18575/task/18579/stat : 18579 (java) S 18573 18573 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90458398 26735009792 11621 33554432000 4194304 4196468 140733507495664 139649008835088 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18580] ppid=18573 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18575/task/18580/stat : 18580 (java) S 18573 18573 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90458398 26735009792 11621 33554432000 4194304 4196468 140733507495664 139649007782544 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18581] ppid=18573 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/18575/task/18581/stat : 18581 (java) S 18573 18573 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90458398 26735009792 11621 33554432000 4194304 4196468 140733507495664 139649006730000 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18582] ppid=18573 vsize=26108408 memory=139730117292975 CPUtime=0 cores=0-7
/proc/18575/task/18582/stat : 18582 (java) S 18573 18573 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90458398 26735009792 11621 33554432000 4194304 4196468 140733507495664 139649005677456 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18583] ppid=18573 vsize=26108408 memory=139730117295280 CPUtime=0 cores=0-7
/proc/18575/task/18583/stat : 18583 (java) S 18573 18573 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90458398 26735009792 11621 33554432000 4194304 4196468 140733507495664 139649004624912 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18584] ppid=18573 vsize=26108408 memory=139730117297584 CPUtime=0 cores=0-7
/proc/18575/task/18584/stat : 18584 (java) S 18573 18573 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90458398 26735009792 11621 33554432000 4194304 4196468 140733507495664 139649003572368 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18585] ppid=18573 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18575/task/18585/stat : 18585 (java) S 18573 18573 17486 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 90458400 26735009792 11621 33554432000 4194304 4196468 140733507495664 139647845541872 139649058331266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18586] ppid=18573 vsize=26108408 memory=279460234602128 CPUtime=0 cores=0-7
/proc/18575/task/18586/stat : 18586 (java) S 18573 18573 17486 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90458400 26735009792 11621 33554432000 4194304 4196468 140733507495664 139647844488096 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18587] ppid=18573 vsize=26108408 memory=279460234609040 CPUtime=0 cores=0-7
/proc/18575/task/18587/stat : 18587 (java) S 18573 18573 17486 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90458400 26735009792 11621 33554432000 4194304 4196468 140733507495664 139647843435504 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18588] ppid=18573 vsize=26108408 memory=279460234550320 CPUtime=0 cores=0-7
/proc/18575/task/18588/stat : 18588 (java) S 18573 18573 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90458403 26735009792 11621 33554432000 4194304 4196468 140733507495664 139647461124304 139649058338715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18589] ppid=18573 vsize=26108408 memory=279460234622864 CPUtime=0.02 cores=0-7
/proc/18575/task/18589/stat : 18589 (java) S 18573 18573 17486 0 -1 1077944384 558 0 0 0 2 0 0 0 20 0 20 0 90458403 26735009792 11621 33554432000 4194304 4196468 140733507495664 139647460071920 139649058331266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18590] ppid=18573 vsize=26108408 memory=279460234629776 CPUtime=0.02 cores=0-7
/proc/18575/task/18590/stat : 18590 (java) S 18573 18573 17486 0 -1 1077944384 64 0 0 0 2 0 0 0 20 0 20 0 90458403 26735009792 11621 33554432000 4194304 4196468 140733507495664 139647459019376 139649058331266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18591] ppid=18573 vsize=26108408 memory=279460234627472 CPUtime=0.03 cores=0-7
/proc/18575/task/18591/stat : 18591 (java) R 18573 18573 17486 0 -1 4202560 369 0 0 0 3 0 0 0 20 0 20 0 90458403 26735009792 11621 33554432000 4194304 4196468 140733507495664 139647457957216 139649043446457 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18592] ppid=18573 vsize=26108408 memory=279460234643632 CPUtime=0.12 cores=0-7
/proc/18575/task/18592/stat : 18592 (java) S 18573 18573 17486 0 -1 1077944384 867 0 0 0 12 0 0 0 20 0 20 0 90458403 26735009792 11621 33554432000 4194304 4196468 140733507495664 139647456914288 139649058331266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18593] ppid=18573 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18575/task/18593/stat : 18593 (java) S 18573 18573 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90458403 26735009792 11621 33554432000 4194304 4196468 140733507495664 139647455860960 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18594] ppid=18573 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/18575/task/18594/stat : 18594 (java) S 18573 18573 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90458403 26735009792 11621 33554432000 4194304 4196468 140733507495664 139647454808496 139649058331266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47936 KiB

[startup+0.710063 s]*
/proc/loadavg: 7.53 7.86 7.99 6/199 18594
/proc/meminfo: memFree=27985284/32770624 swapFree=67108436/67108860
[pid=18573] ppid=18570 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18573/stat : 18573 (xcsp3-exec) S 18570 18573 17486 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 90458397 115843072 363 33554432000 4194304 5098028 140723668345184 140723668343288 139781832426108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23715840 140723668354101 140723668354304 140723668354304 140723668357066 0
/proc/18573/statm: 28282 363 305 221 0 87 0
[pid=18575] ppid=18573 vsize=26110532 memory=158060 CPUtime=2.03 cores=0-7
/proc/18575/stat : 18575 (java) S 18573 18573 17486 0 -1 1077944320 13666 0 0 0 195 8 0 0 20 0 20 0 90458397 26737184768 39515 33554432000 4194304 4196468 140733507495664 140733507478208 139649058320119 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
/proc/18575/statm: 6527633 39515 3355 1 0 6488827 0
[pid=18575/tid=18576] ppid=18573 vsize=26110532 memory=6791534058613427641 CPUtime=0.69 cores=0-7
/proc/18575/task/18576/stat : 18576 (java) R 18573 18573 17486 0 -1 4202560 6829 0 0 0 65 4 0 0 20 0 20 0 90458397 26737184768 39515 33554432000 4194304 4196468 140733507495664 139649062558000 139648667981430 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18577] ppid=18573 vsize=26110532 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/18575/task/18577/stat : 18577 (java) S 18573 18573 17486 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90458398 26737184768 39515 33554432000 4194304 4196468 140733507495664 139649010940176 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18578] ppid=18573 vsize=26110532 memory=1796 CPUtime=0 cores=0-7
/proc/18575/task/18578/stat : 18578 (java) S 18573 18573 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90458398 26737184768 39515 33554432000 4194304 4196468 140733507495664 139649009887632 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18579] ppid=18573 vsize=26110532 memory=916 CPUtime=0 cores=0-7
/proc/18575/task/18579/stat : 18579 (java) S 18573 18573 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90458398 26737184768 39515 33554432000 4194304 4196468 140733507495664 139649008835088 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0

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

[pid=18575/tid=18602] ppid=18573 vsize=26643044 memory=2004 CPUtime=2436 cores=0-7
/proc/18575/task/18602/stat : 18602 (java) R 18573 18573 17486 0 -1 4202560 8233 0 0 0 243596 4 0 0 20 0 28 0 90458568 27282477056 802129 33554432000 4194304 4196468 140733507495664 139646929284936 139648670561958 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
Current children cumulated CPU time: 19472.8 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 3209968 KiB

[startup+2502.31 s]
/proc/loadavg: 8.29 8.27 8.28 9/208 18637
/proc/meminfo: memFree=24926624/32770624 swapFree=67108436/67108860
[pid=18573] ppid=18570 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18573/stat : 18573 (xcsp3-exec) S 18570 18573 17486 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 90458397 115843072 363 33554432000 4194304 5098028 140723668345184 140723668343288 139781832426108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23715840 140723668354101 140723668354304 140723668354304 140723668357066 0
/proc/18573/statm: 28282 363 305 221 0 87 0
[pid=18575] ppid=18573 vsize=26643044 memory=3211292 CPUtime=19951.5 cores=0-7
/proc/18575/stat : 18575 (java) S 18573 18573 17486 0 -1 1077944320 425571 0 0 0 1994692 457 0 0 20 0 28 0 90458397 27282477056 802823 33554432000 4194304 4196468 140733507495664 140733507478208 139649058320119 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
/proc/18575/statm: 6660761 802823 3438 1 0 6621955 0
[pid=18575/tid=18576] ppid=18573 vsize=26643044 memory=3211292 CPUtime=1.6 cores=0-7
/proc/18575/task/18576/stat : 18576 (java) S 18573 18573 17486 0 -1 1077944384 7179 0 0 0 153 7 0 0 20 0 28 0 90458397 27282477056 802823 33554432000 4194304 4196468 140733507495664 139649062560896 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18577] ppid=18573 vsize=26643044 memory=3211292 CPUtime=0.72 cores=0-7
/proc/18575/task/18577/stat : 18577 (java) S 18573 18573 17486 0 -1 1077944384 15916 0 0 0 65 7 0 0 20 0 28 0 90458398 27282477056 802823 33554432000 4194304 4196468 140733507495664 139649010940176 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18578] ppid=18573 vsize=26643044 memory=3211292 CPUtime=0.74 cores=0-7
/proc/18575/task/18578/stat : 18578 (java) S 18573 18573 17486 0 -1 1077944384 12862 0 0 0 66 8 0 0 20 0 28 0 90458398 27282477056 802823 33554432000 4194304 4196468 140733507495664 139649009887632 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18579] ppid=18573 vsize=26643044 memory=3211292 CPUtime=0.71 cores=0-7
/proc/18575/task/18579/stat : 18579 (java) S 18573 18573 17486 0 -1 1077944384 14675 0 0 0 63 8 0 0 20 0 28 0 90458398 27282477056 802823 33554432000 4194304 4196468 140733507495664 139649008835088 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18580] ppid=18573 vsize=26643044 memory=3211292 CPUtime=0.74 cores=0-7
/proc/18575/task/18580/stat : 18580 (java) S 18573 18573 17486 0 -1 1077944384 16257 0 0 0 66 8 0 0 20 0 28 0 90458398 27282477056 802823 33554432000 4194304 4196468 140733507495664 139649007782544 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18581] ppid=18573 vsize=26643044 memory=3211292 CPUtime=0.77 cores=0-7
/proc/18575/task/18581/stat : 18581 (java) S 18573 18573 17486 0 -1 1077944384 15750 0 0 0 68 9 0 0 20 0 28 0 90458398 27282477056 802823 33554432000 4194304 4196468 140733507495664 139649006730000 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18582] ppid=18573 vsize=26643044 memory=3211292 CPUtime=0.75 cores=0-7
/proc/18575/task/18582/stat : 18582 (java) S 18573 18573 17486 0 -1 1077944384 14604 0 0 0 67 8 0 0 20 0 28 0 90458398 27282477056 802823 33554432000 4194304 4196468 140733507495664 139649005677456 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18583] ppid=18573 vsize=26643044 memory=3211292 CPUtime=0.76 cores=0-7
/proc/18575/task/18583/stat : 18583 (java) S 18573 18573 17486 0 -1 1077944384 14061 0 0 0 67 9 0 0 20 0 28 0 90458398 27282477056 802823 33554432000 4194304 4196468 140733507495664 139649004624912 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18584] ppid=18573 vsize=26643044 memory=1452 CPUtime=0.73 cores=0-7
/proc/18575/task/18584/stat : 18584 (java) S 18573 18573 17486 0 -1 1077944384 11646 0 0 0 64 9 0 0 20 0 28 0 90458398 27282477056 802823 33554432000 4194304 4196468 140733507495664 139649003572368 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18585] ppid=18573 vsize=26643044 memory=1452 CPUtime=0.42 cores=0-7
/proc/18575/task/18585/stat : 18585 (java) S 18573 18573 17486 0 -1 1077944384 47293 0 0 0 29 13 0 0 20 0 28 0 90458400 27282477056 802823 33554432000 4194304 4196468 140733507495664 139647845541872 139649058331266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18586] ppid=18573 vsize=26643044 memory=3211292 CPUtime=0 cores=0-7
/proc/18575/task/18586/stat : 18586 (java) S 18573 18573 17486 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 90458400 27282477056 802823 33554432000 4194304 4196468 140733507495664 139647844488160 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18587] ppid=18573 vsize=26643044 memory=3211760 CPUtime=0 cores=0-7
/proc/18575/task/18587/stat : 18587 (java) S 18573 18573 17486 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 90458400 27282477056 802823 33554432000 4194304 4196468 140733507495664 139647843435520 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18588] ppid=18573 vsize=26643044 memory=1452 CPUtime=0 cores=0-7
/proc/18575/task/18588/stat : 18588 (java) S 18573 18573 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90458403 27282477056 802823 33554432000 4194304 4196468 140733507495664 139647461124304 139649058338715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18589] ppid=18573 vsize=26643044 memory=1452 CPUtime=1.4 cores=0-7
/proc/18575/task/18589/stat : 18589 (java) S 18573 18573 17486 0 -1 1077944384 5408 0 0 0 139 1 0 0 20 0 28 0 90458403 27282477056 802823 33554432000 4194304 4196468 140733507495664 139647460071920 139649058331266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18590] ppid=18573 vsize=26643044 memory=3216060 CPUtime=1.5 cores=0-7
/proc/18575/task/18590/stat : 18590 (java) S 18573 18573 17486 0 -1 1077944384 8397 0 0 0 148 2 0 0 20 0 28 0 90458403 27282477056 802823 33554432000 4194304 4196468 140733507495664 139647459019376 139649058331266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18591] ppid=18573 vsize=26643044 memory=16148 CPUtime=1.5 cores=0-7
/proc/18575/task/18591/stat : 18591 (java) S 18573 18573 17486 0 -1 1077944384 8014 0 0 0 147 3 0 0 20 0 28 0 90458403 27282477056 802823 33554432000 4194304 4196468 140733507495664 139647457966832 139649058331266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18592] ppid=18573 vsize=26643044 memory=4004 CPUtime=0.73 cores=0-7
/proc/18575/task/18592/stat : 18592 (java) S 18573 18573 17486 0 -1 1077944384 6379 0 0 0 71 2 0 0 20 0 28 0 90458403 27282477056 802823 33554432000 4194304 4196468 140733507495664 139647456914288 139649058331266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18593] ppid=18573 vsize=26643044 memory=1452 CPUtime=0 cores=0-7
/proc/18575/task/18593/stat : 18593 (java) S 18573 18573 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90458403 27282477056 802823 33554432000 4194304 4196468 140733507495664 139647455860960 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18594] ppid=18573 vsize=26643044 memory=1452 CPUtime=0.58 cores=0-7
/proc/18575/task/18594/stat : 18594 (java) S 18573 18573 17486 0 -1 1077944384 5610 0 0 0 19 39 0 0 20 0 28 0 90458403 27282477056 802823 33554432000 4194304 4196468 140733507495664 139647454808496 139649058331266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18595] ppid=18573 vsize=26643044 memory=1452 CPUtime=2492.01 cores=0-7
/proc/18575/task/18595/stat : 18595 (java) R 18573 18573 17486 0 -1 4202560 8425 0 0 0 249190 11 0 0 20 0 28 0 90458568 27282477056 802823 33554432000 4194304 4196468 140733507495664 139647446211464 139648670819016 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18596] ppid=18573 vsize=26643044 memory=1452 CPUtime=2497.19 cores=0-7
/proc/18575/task/18596/stat : 18596 (java) R 18573 18573 17486 0 -1 4202560 10059 0 0 0 249716 3 0 0 20 0 28 0 90458568 27282477056 802823 33554432000 4194304 4196468 140733507495664 139647445159992 139648670562122 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18597] ppid=18573 vsize=26643044 memory=6791534058613427641 CPUtime=2489.45 cores=0-7
/proc/18575/task/18597/stat : 18597 (java) R 18573 18573 17486 0 -1 4202560 36911 0 0 0 248880 65 0 0 20 0 28 0 90458568 27282477056 802823 33554432000 4194304 4196468 140733507495664 139647444107464 139649044388112 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18598] ppid=18573 vsize=26643044 memory=-3395018486312292127 CPUtime=2492.17 cores=0-7
/proc/18575/task/18598/stat : 18598 (java) R 18573 18573 17486 0 -1 4202560 44657 0 0 0 249115 102 0 0 20 0 28 0 90458568 27282477056 802823 33554432000 4194304 4196468 140733507495664 139647443057680 139648671291308 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18599] ppid=18573 vsize=26643044 memory=-7520567533062017582 CPUtime=2487.22 cores=0-7
/proc/18575/task/18599/stat : 18599 (java) R 18573 18573 17486 0 -1 4202560 86443 0 0 0 248592 130 0 0 20 0 28 0 90458568 27282477056 802823 33554432000 4194304 4196468 140733507495664 139647442002408 139648671324792 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18600] ppid=18573 vsize=26643044 memory=1452 CPUtime=2493.34 cores=0-7
/proc/18575/task/18600/stat : 18600 (java) R 18573 18573 17486 0 -1 4202560 17213 0 0 0 249301 33 0 0 20 0 28 0 90458568 27282477056 802823 33554432000 4194304 4196468 140733507495664 139647440949832 139648671291365 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18601] ppid=18573 vsize=26643044 memory=3211292 CPUtime=2490.28 cores=0-7
/proc/18575/task/18601/stat : 18601 (java) R 18573 18573 17486 0 -1 4202560 8159 0 0 0 249019 9 0 0 20 0 28 0 90458568 27282477056 802823 33554432000 4194304 4196468 140733507495664 139646930337416 139648670818966 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18602] ppid=18573 vsize=26643044 memory=6504 CPUtime=2495.95 cores=0-7
/proc/18575/task/18602/stat : 18602 (java) R 18573 18573 17486 0 -1 4202560 8317 0 0 0 249591 4 0 0 20 0 28 0 90458568 27282477056 802823 33554432000 4194304 4196468 140733507495664 139646929284720 139648671290841 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
Current children cumulated CPU time: 19951.5 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 3212744 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 8.43 8.30 8.29 9/208 18637
/proc/meminfo: memFree=24927704/32770624 swapFree=67108436/67108860
[pid=18573] ppid=18570 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18573/stat : 18573 (xcsp3-exec) S 18570 18573 17486 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 90458397 115843072 363 33554432000 4194304 5098028 140723668345184 140723668343288 139781832426108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23715840 140723668354101 140723668354304 140723668354304 140723668357066 0
/proc/18573/statm: 28282 363 305 221 0 87 0
[pid=18575] ppid=18573 vsize=26643044 memory=3209808 CPUtime=20092.6 cores=0-7
/proc/18575/stat : 18575 (java) S 18573 18573 17486 0 -1 1077944320 427731 0 0 0 2008805 458 0 0 20 0 28 0 90458397 27282477056 802452 33554432000 4194304 4196468 140733507495664 140733507478208 139649058320119 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
/proc/18575/statm: 6660761 802452 3438 1 0 6621955 0
[pid=18575/tid=18576] ppid=18573 vsize=26643044 memory=6791534058613427641 CPUtime=1.6 cores=0-7
/proc/18575/task/18576/stat : 18576 (java) S 18573 18573 17486 0 -1 1077944384 7179 0 0 0 153 7 0 0 20 0 28 0 90458397 27282477056 802452 33554432000 4194304 4196468 140733507495664 139649062560896 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18577] ppid=18573 vsize=26643044 memory=1576 CPUtime=0.73 cores=0-7
/proc/18575/task/18577/stat : 18577 (java) S 18573 18573 17486 0 -1 1077944384 15983 0 0 0 66 7 0 0 20 0 28 0 90458398 27282477056 802452 33554432000 4194304 4196468 140733507495664 139649010940176 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18578] ppid=18573 vsize=26643044 memory=932 CPUtime=0.74 cores=0-7
/proc/18575/task/18578/stat : 18578 (java) S 18573 18573 17486 0 -1 1077944384 12961 0 0 0 66 8 0 0 20 0 28 0 90458398 27282477056 802452 33554432000 4194304 4196468 140733507495664 139649009887632 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18579] ppid=18573 vsize=26643044 memory=2244 CPUtime=0.72 cores=0-7
/proc/18575/task/18579/stat : 18579 (java) S 18573 18573 17486 0 -1 1077944384 14993 0 0 0 64 8 0 0 20 0 28 0 90458398 27282477056 802452 33554432000 4194304 4196468 140733507495664 139649008835088 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18580] ppid=18573 vsize=26643044 memory=4132 CPUtime=0.74 cores=0-7
/proc/18575/task/18580/stat : 18580 (java) S 18573 18573 17486 0 -1 1077944384 16334 0 0 0 66 8 0 0 20 0 28 0 90458398 27282477056 802452 33554432000 4194304 4196468 140733507495664 139649007782544 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18581] ppid=18573 vsize=26643044 memory=2200 CPUtime=0.78 cores=0-7
/proc/18575/task/18581/stat : 18581 (java) S 18573 18573 17486 0 -1 1077944384 15855 0 0 0 69 9 0 0 20 0 28 0 90458398 27282477056 802452 33554432000 4194304 4196468 140733507495664 139649006730000 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18582] ppid=18573 vsize=26643044 memory=7532 CPUtime=0.75 cores=0-7
/proc/18575/task/18582/stat : 18582 (java) S 18573 18573 17486 0 -1 1077944384 14749 0 0 0 67 8 0 0 20 0 28 0 90458398 27282477056 802452 33554432000 4194304 4196468 140733507495664 139649005677456 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18583] ppid=18573 vsize=26643044 memory=840 CPUtime=0.77 cores=0-7
/proc/18575/task/18583/stat : 18583 (java) S 18573 18573 17486 0 -1 1077944384 14204 0 0 0 68 9 0 0 20 0 28 0 90458398 27282477056 802452 33554432000 4194304 4196468 140733507495664 139649004624912 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18584] ppid=18573 vsize=26643044 memory=1796 CPUtime=0.73 cores=0-7
/proc/18575/task/18584/stat : 18584 (java) S 18573 18573 17486 0 -1 1077944384 11728 0 0 0 64 9 0 0 20 0 28 0 90458398 27282477056 802452 33554432000 4194304 4196468 140733507495664 139649003572368 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18585] ppid=18573 vsize=26643044 memory=916 CPUtime=0.42 cores=0-7
/proc/18575/task/18585/stat : 18585 (java) S 18573 18573 17486 0 -1 1077944384 47540 0 0 0 29 13 0 0 20 0 28 0 90458400 27282477056 802452 33554432000 4194304 4196468 140733507495664 139647845541872 139649058331266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18586] ppid=18573 vsize=26643044 memory=4232 CPUtime=0 cores=0-7
/proc/18575/task/18586/stat : 18586 (java) S 18573 18573 17486 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 90458400 27282477056 802452 33554432000 4194304 4196468 140733507495664 139647844488160 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18587] ppid=18573 vsize=26643044 memory=1408 CPUtime=0 cores=0-7
/proc/18575/task/18587/stat : 18587 (java) S 18573 18573 17486 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 90458400 27282477056 802452 33554432000 4194304 4196468 140733507495664 139647843435520 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18588] ppid=18573 vsize=26643044 memory=3796 CPUtime=0 cores=0-7
/proc/18575/task/18588/stat : 18588 (java) S 18573 18573 17486 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90458403 27282477056 802452 33554432000 4194304 4196468 140733507495664 139647461124304 139649058338715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18589] ppid=18573 vsize=26643044 memory=1452 CPUtime=1.4 cores=0-7
/proc/18575/task/18589/stat : 18589 (java) S 18573 18573 17486 0 -1 1077944384 5410 0 0 0 139 1 0 0 20 0 28 0 90458403 27282477056 802452 33554432000 4194304 4196468 140733507495664 139647460071920 139649058331266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18590] ppid=18573 vsize=26643044 memory=6504 CPUtime=1.5 cores=0-7
/proc/18575/task/18590/stat : 18590 (java) S 18573 18573 17486 0 -1 1077944384 8399 0 0 0 148 2 0 0 20 0 28 0 90458403 27282477056 802452 33554432000 4194304 4196468 140733507495664 139647459019376 139649058331266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18591] ppid=18573 vsize=26643044 memory=1576 CPUtime=1.5 cores=0-7
/proc/18575/task/18591/stat : 18591 (java) S 18573 18573 17486 0 -1 1077944384 8016 0 0 0 147 3 0 0 20 0 28 0 90458403 27282477056 802452 33554432000 4194304 4196468 140733507495664 139647457966832 139649058331266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18592] ppid=18573 vsize=26643044 memory=932 CPUtime=0.73 cores=0-7
/proc/18575/task/18592/stat : 18592 (java) S 18573 18573 17486 0 -1 1077944384 6381 0 0 0 71 2 0 0 20 0 28 0 90458403 27282477056 802452 33554432000 4194304 4196468 140733507495664 139647456914288 139649058331266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18593] ppid=18573 vsize=26643044 memory=2244 CPUtime=0 cores=0-7
/proc/18575/task/18593/stat : 18593 (java) S 18573 18573 17486 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90458403 27282477056 802452 33554432000 4194304 4196468 140733507495664 139647455860960 139649058330325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18594] ppid=18573 vsize=26643044 memory=4132 CPUtime=0.58 cores=0-7
/proc/18575/task/18594/stat : 18594 (java) S 18573 18573 17486 0 -1 1077944384 5628 0 0 0 19 39 0 0 20 0 28 0 90458403 27282477056 802452 33554432000 4194304 4196468 140733507495664 139647454808496 139649058331266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18595] ppid=18573 vsize=26643044 memory=2200 CPUtime=2509.69 cores=0-7
/proc/18575/task/18595/stat : 18595 (java) R 18573 18573 17486 0 -1 4202560 8448 0 0 0 250958 11 0 0 20 0 28 0 90458568 27282477056 802452 33554432000 4194304 4196468 140733507495664 139647446211368 139648671686754 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18596] ppid=18573 vsize=26643044 memory=7532 CPUtime=2514.87 cores=0-7
/proc/18575/task/18596/stat : 18596 (java) R 18573 18573 17486 0 -1 4202560 10077 0 0 0 251484 3 0 0 20 0 28 0 90458568 27282477056 802452 33554432000 4194304 4196468 140733507495664 139647445159992 139648671291124 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18597] ppid=18573 vsize=26643044 memory=840 CPUtime=2507.13 cores=0-7
/proc/18575/task/18597/stat : 18597 (java) R 18573 18573 17486 0 -1 4202560 37035 0 0 0 250648 65 0 0 20 0 28 0 90458568 27282477056 802452 33554432000 4194304 4196468 140733507495664 139647444107360 139648670562122 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18598] ppid=18573 vsize=26643044 memory=1796 CPUtime=2509.85 cores=0-7
/proc/18575/task/18598/stat : 18598 (java) R 18573 18573 17486 0 -1 4202560 44754 0 0 0 250883 102 0 0 20 0 28 0 90458568 27282477056 802452 33554432000 4194304 4196468 140733507495664 139647443054752 139648671291114 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18599] ppid=18573 vsize=26643044 memory=916 CPUtime=2504.9 cores=0-7
/proc/18575/task/18599/stat : 18599 (java) R 18573 18573 17486 0 -1 4202560 86934 0 0 0 250360 130 0 0 20 0 28 0 90458568 27282477056 802452 33554432000 4194304 4196468 140733507495664 139647442005280 139648670928974 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18600] ppid=18573 vsize=26643044 memory=4232 CPUtime=2511.02 cores=0-7
/proc/18575/task/18600/stat : 18600 (java) R 18573 18573 17486 0 -1 4202560 17254 0 0 0 251069 33 0 0 20 0 28 0 90458568 27282477056 802452 33554432000 4194304 4196468 140733507495664 139647440949728 139648671163908 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18601] ppid=18573 vsize=26643044 memory=1408 CPUtime=2507.61 cores=0-7
/proc/18575/task/18601/stat : 18601 (java) R 18573 18573 17486 0 -1 4202560 8191 0 0 0 250752 9 0 0 20 0 28 0 90458568 27282477056 802452 33554432000 4194304 4196468 140733507495664 139646930337344 139648670818413 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
[pid=18575/tid=18602] ppid=18573 vsize=26643044 memory=3796 CPUtime=2513.63 cores=0-7
/proc/18575/task/18602/stat : 18602 (java) R 18573 18573 17486 0 -1 4202560 8341 0 0 0 251359 4 0 0 20 0 28 0 90458568 27282477056 802452 33554432000 4194304 4196468 140733507495664 139646929284936 139648671164193 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 31424512 140733507503233 140733507503405 140733507503405 140733507506127 0
Current children cumulated CPU time: 20092.6 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 3211260 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.04 s]
# the end of solver process 18573 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.002316 s, system=0 s

[startup+2520.12 s]
# the end of solver process 18575 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20088.8 s, system=4.60303 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2520.12
CPU time (s): 20093.5
CPU user time (s): 20088.8
CPU system time (s): 4.60303
CPU usage (%): 797.322
Max. virtual memory (cumulated for all children) (KiB): 26756172
Max. memory (cumulated for all children) (KiB): 3561536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20088.8
system time used= 4.60304
maximum resident set size= 3562240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 428674
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82218
involuntary context switches= 203917


# summary of solver processes directly reported to runsolver:
#   pid: 18573,18575
#   total CPU time (s): 20093.5
#   total CPU user time (s): 20088.8
#   total CPU system time (s): 4.60303

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 28.2131 second user time and 21.0735 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-28 00:02:32
IDJOB=4297788
IDBENCH=141591
IDSOLVER=2760
FILE ID=node137/4297788-1532728952
RUNJOBID= node137-1532724796-17513
PBS_JOBID= 21022341
Free space on /tmp= 48160 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/Frb/frb-53-24-2-mgd_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297788-1532728952/watcher-4297788-1532728952 -o /tmp/evaluation-result-4297788-1532728952/solver-4297788-1532728952 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532724796-17513 --watchdog 2580  HOME/xcsp3-exec -seed 1144885374 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297788-1532728952.xml

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

MD5SUM BENCH= efa4ad1e7c4e0975e1666af510b5ab46
RANDOM SEED=1144885374

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28131596 kB
MemAvailable:   31930596 kB
Buffers:          159028 kB
Cached:          3874732 kB
SwapCached:           32 kB
Active:          1798288 kB
Inactive:        2291912 kB
Active(anon):       4024 kB
Inactive(anon):    80064 kB
Active(file):    1794264 kB
Inactive(file):  2211848 kB
Unevictable:        7424 kB
Mlocked:            7424 kB
SwapTotal:      67108860 kB
SwapFree:       67108436 kB
Dirty:             22664 kB
Writeback:            12 kB
AnonPages:         62936 kB
Mapped:            40052 kB
Shmem:             25052 kB
Slab:             244720 kB
SReclaimable:     217448 kB
SUnreclaim:        27272 kB
KernelStack:        3184 kB
PageTables:         5044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 48136 MiB
End job on node137 at 2018-07-28 00:44:32