Trace number 4404293

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 2019-09-20 parallel? (TO) 19995.4 2520.11

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-012.xml
MD5SUM2f6e926eec9d3271c32e6368d6cce3f2
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 benchmark18.0419
Satisfiable
(Un)Satisfiability was proved
Number of variables46
Number of constraints49
Number of domains1
Minimum domain size140
Maximum domain size140
Distribution of domain sizes[{"size":140,"count":46}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":44},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity46
Distribution of constraint arities[{"arity":1,"count":47},{"arity":2,"count":1},{"arity":46,"count":1}]
Number of extensional constraints0
Number of intensional constraints48
Distribution of constraint types[{"type":"intension","count":48},{"type":"noOverlap","count":1}]
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-4404293-1569000220.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4404293-1569000220.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
1.25/0.68	c solve instance...
19994.74/2520.07	s UNKNOWN
19994.74/2520.07	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 (5821 MiB free)
  memory of node 1: 16384 MiB (11667 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404293-1569000220/watcher-4404293-1569000220 -o /tmp/evaluation-result-4404293-1569000220/solver-4404293-1569000220 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568991066-1424 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1250068487 HOME/instance-4404293-1569000220.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=2742, runsolver pid=2739
Current StackSize limit: 8192 KiB


[startup+0.100187 s]*
/proc/loadavg: 7.52 8.14 8.25 2/212 2763
/proc/meminfo: memFree=17891212/32770624 swapFree=66998168/67108860
[pid=2742] ppid=2739 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2742/stat : 2742 (xcsp3-exec) S 2739 2742 1397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476276293 115843072 363 33554432000 4194304 5098028 140726379658480 140726379656584 140142722482812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30621696 140726379660149 140726379660393 140726379660393 140726379663306 0
/proc/2742/statm: 28282 363 305 221 0 87 0
[pid=2744] ppid=2742 vsize=28227396 memory=28884 CPUtime=0.12 cores=0-7
/proc/2744/stat : 2744 (java) S 2742 2742 1397 0 -1 1077944320 5692 0 0 0 11 1 0 0 20 0 20 0 476276293 28904853504 7221 33554432000 4194304 4196468 140721581754240 140721581736784 140011379572471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
/proc/2744/statm: 7056849 7221 3119 1 0 7019032 0
[pid=2744/tid=2745] ppid=2742 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/2744/task/2745/stat : 2745 (java) R 2742 2742 1397 0 -1 4202560 3585 0 0 0 8 1 0 0 20 0 20 0 476276294 28904853504 7221 33554432000 4194304 4196468 140721581754240 140011383808896 140011379584406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2746] ppid=2742 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2746/stat : 2746 (java) S 2742 2742 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476276294 28904853504 7221 33554432000 4194304 4196468 140721581754240 140011332193424 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2747] ppid=2742 vsize=28227396 memory=288370258036864640 CPUtime=0 cores=0-7
/proc/2744/task/2747/stat : 2747 (java) S 2742 2742 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276294 28904853504 7221 33554432000 4194304 4196468 140721581754240 140011331140624 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2748] ppid=2742 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2748/stat : 2748 (java) S 2742 2742 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476276294 28904853504 7221 33554432000 4194304 4196468 140721581754240 140011330087824 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2749] ppid=2742 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2749/stat : 2749 (java) S 2742 2742 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276294 28904853504 7221 33554432000 4194304 4196468 140721581754240 140011329035024 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2750] ppid=2742 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2750/stat : 2750 (java) S 2742 2742 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476276295 28904853504 7221 33554432000 4194304 4196468 140721581754240 140011327982224 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2751] ppid=2742 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2744/task/2751/stat : 2751 (java) S 2742 2742 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476276295 28904853504 7221 33554432000 4194304 4196468 140721581754240 140011326929424 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2752] ppid=2742 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2752/stat : 2752 (java) S 2742 2742 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276295 28904853504 7221 33554432000 4194304 4196468 140721581754240 140011325876624 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2753] ppid=2742 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2753/stat : 2753 (java) S 2742 2742 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276295 28904853504 7221 33554432000 4194304 4196468 140721581754240 140011324823824 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2754] ppid=2742 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2754/stat : 2754 (java) S 2742 2742 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476276296 28904853504 7221 33554432000 4194304 4196468 140721581754240 140009891941232 140011379583618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2755] ppid=2742 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2755/stat : 2755 (java) S 2742 2742 1397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476276297 28904853504 7221 33554432000 4194304 4196468 140721581754240 140009890887200 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2756] ppid=2742 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2756/stat : 2756 (java) S 2742 2742 1397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476276297 28904853504 7221 33554432000 4194304 4196468 140721581754240 140009889834352 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2757] ppid=2742 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2757/stat : 2757 (java) S 2742 2742 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276299 28904853504 7221 33554432000 4194304 4196468 140721581754240 140009888782672 140011379591067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2758] ppid=2742 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2758/stat : 2758 (java) S 2742 2742 1397 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 476276299 28904853504 7221 33554432000 4194304 4196468 140721581754240 140009887730032 140011379583618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2759] ppid=2742 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2759/stat : 2759 (java) S 2742 2742 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276299 28904853504 7221 33554432000 4194304 4196468 140721581754240 140009886677232 140011379583618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2760] ppid=2742 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2760/stat : 2760 (java) S 2742 2742 1397 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 476276299 28904853504 7221 33554432000 4194304 4196468 140721581754240 140009885624432 140011379583618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2761] ppid=2742 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/2744/task/2761/stat : 2761 (java) R 2742 2742 1397 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 20 0 476276299 28904853504 7221 33554432000 4194304 4196468 140721581754240 140009884571632 140011379584406 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2762] ppid=2742 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2762/stat : 2762 (java) S 2742 2742 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476276299 28904853504 7221 33554432000 4194304 4196468 140721581754240 140009883520096 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2763] ppid=2742 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2744/task/2763/stat : 2763 (java) S 2742 2742 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276300 28904853504 7221 33554432000 4194304 4196468 140721581754240 140009882467376 140011379583618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30336 KiB

[startup+0.211003 s]*
/proc/loadavg: 7.52 8.14 8.25 2/212 2763
/proc/meminfo: memFree=17878124/32770624 swapFree=66998168/67108860
[pid=2742] ppid=2739 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2742/stat : 2742 (xcsp3-exec) S 2739 2742 1397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476276293 115843072 363 33554432000 4194304 5098028 140726379658480 140726379656584 140142722482812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30621696 140726379660149 140726379660393 140726379660393 140726379663306 0
/proc/2742/statm: 28282 363 305 221 0 87 0
[pid=2744] ppid=2742 vsize=28227396 memory=40248 CPUtime=0.33 cores=0-7
/proc/2744/stat : 2744 (java) S 2742 2742 1397 0 -1 1077944320 9321 0 0 0 30 3 0 0 20 0 20 0 476276293 28904853504 10062 33554432000 4194304 4196468 140721581754240 140721581736784 140011379572471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
/proc/2744/statm: 7056849 10062 3273 1 0 7019032 0
[pid=2744/tid=2745] ppid=2742 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/2744/task/2745/stat : 2745 (java) R 2742 2742 1397 0 -1 4202560 6568 0 0 0 17 2 0 0 20 0 20 0 476276294 28904853504 10062 33554432000 4194304 4196468 140721581754240 140011383798592 140011379584406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2746] ppid=2742 vsize=28227396 memory=288230596118053219 CPUtime=0 cores=0-7
/proc/2744/task/2746/stat : 2746 (java) S 2742 2742 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476276294 28904853504 10062 33554432000 4194304 4196468 140721581754240 140011332193424 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2747] ppid=2742 vsize=28227396 memory=139881885179401 CPUtime=0 cores=0-7
/proc/2744/task/2747/stat : 2747 (java) S 2742 2742 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276294 28904853504 10062 33554432000 4194304 4196468 140721581754240 140011331140624 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2748] ppid=2742 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2744/task/2748/stat : 2748 (java) S 2742 2742 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476276294 28904853504 10062 33554432000 4194304 4196468 140721581754240 140011330087824 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2749] ppid=2742 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2749/stat : 2749 (java) S 2742 2742 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276294 28904853504 10062 33554432000 4194304 4196468 140721581754240 140011329035024 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2750] ppid=2742 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2750/stat : 2750 (java) S 2742 2742 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476276295 28904853504 10062 33554432000 4194304 4196468 140721581754240 140011327982224 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2751] ppid=2742 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2744/task/2751/stat : 2751 (java) S 2742 2742 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476276295 28904853504 10062 33554432000 4194304 4196468 140721581754240 140011326929424 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2752] ppid=2742 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2752/stat : 2752 (java) S 2742 2742 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276295 28904853504 10062 33554432000 4194304 4196468 140721581754240 140011325876624 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2753] ppid=2742 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2753/stat : 2753 (java) S 2742 2742 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276295 28904853504 10062 33554432000 4194304 4196468 140721581754240 140011324823824 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2754] ppid=2742 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2754/stat : 2754 (java) S 2742 2742 1397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476276296 28904853504 10062 33554432000 4194304 4196468 140721581754240 140009891941232 140011379583618 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2755] ppid=2742 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2755/stat : 2755 (java) S 2742 2742 1397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476276297 28904853504 10062 33554432000 4194304 4196468 140721581754240 140009890887200 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2756] ppid=2742 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2756/stat : 2756 (java) S 2742 2742 1397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476276297 28904853504 10062 33554432000 4194304 4196468 140721581754240 140009889834352 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2757] ppid=2742 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2757/stat : 2757 (java) S 2742 2742 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276299 28904853504 10062 33554432000 4194304 4196468 140721581754240 140009888782672 140011379591067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2758] ppid=2742 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2758/stat : 2758 (java) S 2742 2742 1397 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 476276299 28904853504 10062 33554432000 4194304 4196468 140721581754240 140009887730128 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2759] ppid=2742 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/2744/task/2759/stat : 2759 (java) R 2742 2742 1397 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 20 0 476276299 28904853504 10062 33554432000 4194304 4196468 140721581754240 140009886677232 140011379583618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2760] ppid=2742 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/2744/task/2760/stat : 2760 (java) S 2742 2742 1397 0 -1 1077944384 250 0 0 0 2 0 0 0 20 0 20 0 476276299 28904853504 10062 33554432000 4194304 4196468 140721581754240 140009885624432 140011379583618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2761] ppid=2742 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/2744/task/2761/stat : 2761 (java) R 2742 2742 1397 0 -1 4202560 811 0 0 0 7 0 0 0 20 0 20 0 476276299 28904853504 10062 33554432000 4194304 4196468 140721581754240 140009884571632 140011379584406 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2762] ppid=2742 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2762/stat : 2762 (java) S 2742 2742 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476276299 28904853504 10062 33554432000 4194304 4196468 140721581754240 140009883520096 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2763] ppid=2742 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2744/task/2763/stat : 2763 (java) S 2742 2742 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276300 28904853504 10062 33554432000 4194304 4196468 140721581754240 140009882467376 140011379583618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41700 KiB

[startup+0.3108 s]*
/proc/loadavg: 7.52 8.14 8.25 4/212 2763
/proc/meminfo: memFree=17870744/32770624 swapFree=66998168/67108860
[pid=2742] ppid=2739 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2742/stat : 2742 (xcsp3-exec) S 2739 2742 1397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476276293 115843072 363 33554432000 4194304 5098028 140726379658480 140726379656584 140142722482812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30621696 140726379660149 140726379660393 140726379660393 140726379663306 0
/proc/2742/statm: 28282 363 305 221 0 87 0
[pid=2744] ppid=2742 vsize=28231652 memory=49720 CPUtime=0.52 cores=0-7
/proc/2744/stat : 2744 (java) S 2742 2742 1397 0 -1 1077944320 10770 0 0 0 48 4 0 0 20 0 20 0 476276293 28909211648 12430 33554432000 4194304 4196468 140721581754240 140721581736784 140011379572471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
/proc/2744/statm: 7057913 12430 3357 1 0 7019032 0
[pid=2744/tid=2745] ppid=2742 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/2744/task/2745/stat : 2745 (java) R 2742 2742 1397 0 -1 4202560 7676 0 0 0 27 3 0 0 20 0 20 0 476276294 28909211648 12474 33554432000 4194304 4196468 140721581754240 140011383806256 140011361156975 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2746] ppid=2742 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2746/stat : 2746 (java) S 2742 2742 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476276294 28909211648 12474 33554432000 4194304 4196468 140721581754240 140011332193424 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2747] ppid=2742 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2747/stat : 2747 (java) S 2742 2742 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276294 28909211648 12474 33554432000 4194304 4196468 140721581754240 140011331140624 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2748] ppid=2742 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2748/stat : 2748 (java) S 2742 2742 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476276294 28909211648 12474 33554432000 4194304 4196468 140721581754240 140011330087824 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2749] ppid=2742 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2749/stat : 2749 (java) S 2742 2742 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276294 28909211648 12474 33554432000 4194304 4196468 140721581754240 140011329035024 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2750] ppid=2742 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2750/stat : 2750 (java) S 2742 2742 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476276295 28909211648 12474 33554432000 4194304 4196468 140721581754240 140011327982224 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2751] ppid=2742 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2751/stat : 2751 (java) S 2742 2742 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476276295 28909211648 12474 33554432000 4194304 4196468 140721581754240 140011326929424 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2752] ppid=2742 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2752/stat : 2752 (java) S 2742 2742 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276295 28909211648 12474 33554432000 4194304 4196468 140721581754240 140011325876624 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2753] ppid=2742 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2753/stat : 2753 (java) S 2742 2742 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276295 28909211648 12474 33554432000 4194304 4196468 140721581754240 140011324823824 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2754] ppid=2742 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2754/stat : 2754 (java) S 2742 2742 1397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476276296 28909211648 12474 33554432000 4194304 4196468 140721581754240 140009891941232 140011379583618 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2755] ppid=2742 vsize=28231652 memory=279763566665088 CPUtime=0 cores=0-7
/proc/2744/task/2755/stat : 2755 (java) S 2742 2742 1397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476276297 28909211648 12474 33554432000 4194304 4196468 140721581754240 140009890887200 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2756] ppid=2742 vsize=28231652 memory=279763566669696 CPUtime=0 cores=0-7
/proc/2744/task/2756/stat : 2756 (java) S 2742 2742 1397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476276297 28909211648 12474 33554432000 4194304 4196468 140721581754240 140009889834352 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2757] ppid=2742 vsize=28231652 memory=279763566674304 CPUtime=0 cores=0-7
/proc/2744/task/2757/stat : 2757 (java) S 2742 2742 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276299 28909211648 12474 33554432000 4194304 4196468 140721581754240 140009888782672 140011379591067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2758] ppid=2742 vsize=28231652 memory=279763566678912 CPUtime=0.02 cores=0-7
/proc/2744/task/2758/stat : 2758 (java) R 2742 2742 1397 0 -1 4202560 472 0 0 0 2 0 0 0 20 0 20 0 476276299 28909211648 12474 33554432000 4194304 4196468 140721581754240 140009887711584 140011360758338 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2759] ppid=2742 vsize=28231652 memory=279763566683520 CPUtime=0.02 cores=0-7
/proc/2744/task/2759/stat : 2759 (java) S 2742 2742 1397 0 -1 1077944384 107 0 0 0 2 0 0 0 20 0 20 0 476276299 28909211648 12474 33554432000 4194304 4196468 140721581754240 140009886677232 140011379583618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2760] ppid=2742 vsize=28231652 memory=279763566688128 CPUtime=0.02 cores=0-7
/proc/2744/task/2760/stat : 2760 (java) S 2742 2742 1397 0 -1 1077944384 270 0 0 0 2 0 0 0 20 0 20 0 476276299 28909211648 12474 33554432000 4194304 4196468 140721581754240 140009885624432 140011379583618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2761] ppid=2742 vsize=28231652 memory=279763566692736 CPUtime=0.12 cores=0-7
/proc/2744/task/2761/stat : 2761 (java) S 2742 2742 1397 0 -1 1077944384 955 0 0 0 12 0 0 0 20 0 20 0 476276299 28909211648 12474 33554432000 4194304 4196468 140721581754240 140009884571632 140011379583618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2762] ppid=2742 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2762/stat : 2762 (java) S 2742 2742 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476276299 28909211648 12474 33554432000 4194304 4196468 140721581754240 140009883520096 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2763] ppid=2742 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/2744/task/2763/stat : 2763 (java) S 2742 2742 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476276300 28909211648 12474 33554432000 4194304 4196468 140721581754240 140009882467376 140011379583618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51172 KiB

[startup+0.701016 s]
/proc/loadavg: 7.52 8.14 8.25 5/212 2763
/proc/meminfo: memFree=17856888/32770624 swapFree=66998168/67108860
[pid=2742] ppid=2739 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2742/stat : 2742 (xcsp3-exec) S 2739 2742 1397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476276293 115843072 363 33554432000 4194304 5098028 140726379658480 140726379656584 140142722482812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30621696 140726379660149 140726379660393 140726379660393 140726379663306 0
/proc/2742/statm: 28282 363 305 221 0 87 0
[pid=2744] ppid=2742 vsize=28698696 memory=88412 CPUtime=1.5 cores=0-7
/proc/2744/stat : 2744 (java) S 2742 2742 1397 0 -1 1077944320 14906 0 0 0 144 6 0 0 20 0 26 0 476276293 29387464704 22103 33554432000 4194304 4196468 140721581754240 140721581736784 140011379572471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
/proc/2744/statm: 7174674 22103 3451 1 0 7135774 0
[pid=2744/tid=2745] ppid=2742 vsize=28698696 memory=4580 CPUtime=0.67 cores=0-7
/proc/2744/task/2745/stat : 2745 (java) S 2742 2742 1397 0 -1 1077944384 9451 0 0 0 63 4 0 0 20 0 26 0 476276294 29387464704 22103 33554432000 4194304 4196468 140721581754240 140011383813248 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2746] ppid=2742 vsize=28698696 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2746/stat : 2746 (java) S 2742 2742 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 476276294 29387464704 22103 33554432000 4194304 4196468 140721581754240 140011332193424 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2747] ppid=2742 vsize=28698696 memory=0 CPUtime=0 cores=0-7
/proc/2744/task/2747/stat : 2747 (java) S 2742 2742 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 476276294 29387464704 22103 33554432000 4194304 4196468 140721581754240 140011331140624 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2748] ppid=2742 vsize=28698696 memory=3648 CPUtime=0 cores=0-7
/proc/2744/task/2748/stat : 2748 (java) S 2742 2742 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 26 0 476276294 29387464704 22103 33554432000 4194304 4196468 140721581754240 140011330087824 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0

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

[pid=2744/tid=2771] ppid=2742 vsize=28768336 memory=1452 CPUtime=2406.12 cores=0-7
/proc/2744/task/2771/stat : 2771 (java) R 2742 2742 1397 0 -1 4202560 64652 0 0 0 240545 67 0 0 20 0 28 0 476276363 29458776064 553381 33554432000 4194304 4196468 140721581754240 140009866118216 140010992259024 0 4 0 16800975 0 0 0 -1 2 0 0 39 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
Current children cumulated CPU time: 19378.4 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2214976 KiB

[startup+2502.3 s]
/proc/loadavg: 8.68 8.35 8.31 9/220 2984
/proc/meminfo: memFree=15744056/32770624 swapFree=66998172/67108860
[pid=2742] ppid=2739 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2742/stat : 2742 (xcsp3-exec) S 2739 2742 1397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476276293 115843072 363 33554432000 4194304 5098028 140726379658480 140726379656584 140142722482812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30621696 140726379660149 140726379660393 140726379660393 140726379663306 0
/proc/2742/statm: 28282 363 305 221 0 87 0
[pid=2744] ppid=2742 vsize=28768336 memory=2168408 CPUtime=19854.5 cores=0-7
/proc/2744/stat : 2744 (java) S 2742 2742 1397 0 -1 1077944320 2211385 0 0 0 1983138 2311 0 0 20 0 28 0 476276293 29458776064 542102 33554432000 4194304 4196468 140721581754240 140721581736784 140011379572471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
/proc/2744/statm: 7192084 542102 3543 1 0 7153184 0
[pid=2744/tid=2745] ppid=2742 vsize=28768336 memory=2168408 CPUtime=0.67 cores=0-7
/proc/2744/task/2745/stat : 2745 (java) S 2742 2742 1397 0 -1 1077944384 9451 0 0 0 63 4 0 0 20 0 28 0 476276294 29458776064 542102 33554432000 4194304 4196468 140721581754240 140011383813248 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2746] ppid=2742 vsize=28768336 memory=2168408 CPUtime=13.41 cores=0-7
/proc/2744/task/2746/stat : 2746 (java) S 2742 2742 1397 0 -1 1077944384 64781 0 0 0 1260 81 0 0 20 0 28 0 476276294 29458776064 542102 33554432000 4194304 4196468 140721581754240 140011332193424 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2747] ppid=2742 vsize=28768336 memory=1452 CPUtime=13.46 cores=0-7
/proc/2744/task/2747/stat : 2747 (java) S 2742 2742 1397 0 -1 1077944384 59430 0 0 0 1265 81 0 0 20 0 28 0 476276294 29458776064 542102 33554432000 4194304 4196468 140721581754240 140011331140624 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2748] ppid=2742 vsize=28768336 memory=279763567414696 CPUtime=13.47 cores=0-7
/proc/2744/task/2748/stat : 2748 (java) S 2742 2742 1397 0 -1 1077944384 52395 0 0 0 1267 80 0 0 20 0 28 0 476276294 29458776064 542102 33554432000 4194304 4196468 140721581754240 140011330087824 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2749] ppid=2742 vsize=28768336 memory=6944656575208382560 CPUtime=13.47 cores=0-7
/proc/2744/task/2749/stat : 2749 (java) S 2742 2742 1397 0 -1 1077944384 61187 0 0 0 1270 77 0 0 20 0 28 0 476276294 29458776064 542102 33554432000 4194304 4196468 140721581754240 140011329035024 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2750] ppid=2742 vsize=28768336 memory=2191532 CPUtime=13.48 cores=0-7
/proc/2744/task/2750/stat : 2750 (java) S 2742 2742 1397 0 -1 1077944384 63888 0 0 0 1267 81 0 0 20 0 28 0 476276295 29458776064 542102 33554432000 4194304 4196468 140721581754240 140011327982224 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2751] ppid=2742 vsize=28768336 memory=1164 CPUtime=13.44 cores=0-7
/proc/2744/task/2751/stat : 2751 (java) S 2742 2742 1397 0 -1 1077944384 55286 0 0 0 1264 80 0 0 20 0 28 0 476276295 29458776064 542102 33554432000 4194304 4196468 140721581754240 140011326929424 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2752] ppid=2742 vsize=28768336 memory=2185888 CPUtime=13.53 cores=0-7
/proc/2744/task/2752/stat : 2752 (java) S 2742 2742 1397 0 -1 1077944384 62625 0 0 0 1269 84 0 0 20 0 28 0 476276295 29458776064 542102 33554432000 4194304 4196468 140721581754240 140011325876624 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2753] ppid=2742 vsize=28768336 memory=3624 CPUtime=13.46 cores=0-7
/proc/2744/task/2753/stat : 2753 (java) S 2742 2742 1397 0 -1 1077944384 56647 0 0 0 1270 76 0 0 20 0 28 0 476276295 29458776064 542102 33554432000 4194304 4196468 140721581754240 140011324823824 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2754] ppid=2742 vsize=28768336 memory=7086529885030082155 CPUtime=11.99 cores=0-7
/proc/2744/task/2754/stat : 2754 (java) S 2742 2742 1397 0 -1 1077944384 255541 0 0 0 557 642 0 0 20 0 28 0 476276296 29458776064 542102 33554432000 4194304 4196468 140721581754240 140009891941232 140011379583618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2755] ppid=2742 vsize=28768336 memory=7086529885030082155 CPUtime=0 cores=0-7
/proc/2744/task/2755/stat : 2755 (java) S 2742 2742 1397 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 476276297 29458776064 542102 33554432000 4194304 4196468 140721581754240 140009890887264 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2756] ppid=2742 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/2744/task/2756/stat : 2756 (java) S 2742 2742 1397 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 476276297 29458776064 542102 33554432000 4194304 4196468 140721581754240 140009889834368 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2757] ppid=2742 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/2744/task/2757/stat : 2757 (java) S 2742 2742 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476276299 29458776064 542102 33554432000 4194304 4196468 140721581754240 140009888782672 140011379591067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2758] ppid=2742 vsize=28768336 memory=279763568048752 CPUtime=3.06 cores=0-7
/proc/2744/task/2758/stat : 2758 (java) S 2742 2742 1397 0 -1 1077944384 19437 0 0 0 301 5 0 0 20 0 28 0 476276299 29458776064 542102 33554432000 4194304 4196468 140721581754240 140009887730032 140011379583618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2759] ppid=2742 vsize=28768336 memory=7450713455048682345 CPUtime=2.93 cores=0-7
/proc/2744/task/2759/stat : 2759 (java) S 2742 2742 1397 0 -1 1077944384 14105 0 0 0 290 3 0 0 20 0 28 0 476276299 29458776064 542102 33554432000 4194304 4196468 140721581754240 140009886677232 140011379583618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2760] ppid=2742 vsize=28768336 memory=8112282956445269571 CPUtime=2.83 cores=0-7
/proc/2744/task/2760/stat : 2760 (java) S 2742 2742 1397 0 -1 1077944384 15508 0 0 0 280 3 0 0 20 0 28 0 476276299 29458776064 542102 33554432000 4194304 4196468 140721581754240 140009885624432 140011379583618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2761] ppid=2742 vsize=28768336 memory=2168408 CPUtime=0.86 cores=0-7
/proc/2744/task/2761/stat : 2761 (java) S 2742 2742 1397 0 -1 1077944384 11073 0 0 0 83 3 0 0 20 0 28 0 476276299 29458776064 542102 33554432000 4194304 4196468 140721581754240 140009884571632 140011379583618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2762] ppid=2742 vsize=28768336 memory=4104 CPUtime=0 cores=0-7
/proc/2744/task/2762/stat : 2762 (java) S 2742 2742 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476276299 29458776064 542102 33554432000 4194304 4196468 140721581754240 140009883520096 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2763] ppid=2742 vsize=28768336 memory=1452 CPUtime=0.68 cores=0-7
/proc/2744/task/2763/stat : 2763 (java) S 2742 2742 1397 0 -1 1077944384 9853 0 0 0 9 59 0 0 20 0 28 0 476276300 29458776064 542102 33554432000 4194304 4196468 140721581754240 140009882467376 140011379583618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2764] ppid=2742 vsize=28768336 memory=2173024 CPUtime=2464.69 cores=0-7
/proc/2744/task/2764/stat : 2764 (java) R 2742 2742 1397 0 -1 4202560 82985 0 0 0 246403 66 0 0 20 0 28 0 476276363 29458776064 542102 33554432000 4194304 4196468 140721581754240 140009873485384 140010992675678 0 4 0 16800975 0 0 0 -1 4 0 0 32 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2765] ppid=2742 vsize=28768336 memory=111632 CPUtime=2466.53 cores=0-7
/proc/2744/task/2765/stat : 2765 (java) R 2742 2742 1397 0 -1 4202560 70303 0 0 0 246592 61 0 0 20 0 28 0 476276363 29458776064 542102 33554432000 4194304 4196468 140721581754240 140009872436192 140010990296311 0 4 0 16800975 0 0 0 -1 7 0 0 31 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2766] ppid=2742 vsize=28768336 memory=1452 CPUtime=2465.69 cores=0-7
/proc/2744/task/2766/stat : 2766 (java) R 2742 2742 1397 0 -1 4202560 140031 0 0 0 246486 83 0 0 20 0 28 0 476276363 29458776064 542102 33554432000 4194304 4196468 140721581754240 140009871380528 140010994498268 0 4 0 16800975 0 0 0 -1 5 0 0 33 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2767] ppid=2742 vsize=28768336 memory=1452 CPUtime=2466.89 cores=0-7
/proc/2744/task/2767/stat : 2767 (java) R 2742 2742 1397 0 -1 4202560 85563 0 0 0 246614 75 0 0 20 0 28 0 476276363 29458776064 542102 33554432000 4194304 4196468 140721581754240 140009870327744 140010989923681 0 4 0 16800975 0 0 0 -1 1 0 0 23 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2768] ppid=2742 vsize=28768336 memory=1452 CPUtime=2465.3 cores=0-7
/proc/2744/task/2768/stat : 2768 (java) R 2742 2742 1397 0 -1 4202560 177493 0 0 0 246396 134 0 0 20 0 28 0 476276363 29458776064 542102 33554432000 4194304 4196468 140721581754240 140009869275096 140010992912019 0 4 0 16800975 0 0 0 -1 0 0 0 32 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2769] ppid=2742 vsize=28768336 memory=2168408 CPUtime=2463.87 cores=0-7
/proc/2744/task/2769/stat : 2769 (java) R 2742 2742 1397 0 -1 4202560 301729 0 0 0 246181 206 0 0 20 0 28 0 476276363 29458776064 542102 33554432000 4194304 4196468 140721581754240 140009868222504 140010993109894 0 4 0 16800975 0 0 0 -1 3 0 0 38 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2770] ppid=2742 vsize=28768336 memory=43768 CPUtime=2465.21 cores=0-7
/proc/2744/task/2770/stat : 2770 (java) R 2742 2742 1397 0 -1 4202560 475856 0 0 0 246183 338 0 0 20 0 28 0 476276363 29458776064 542102 33554432000 4194304 4196468 140721581754240 140009867170472 140011364783626 0 4 0 16800975 0 0 0 -1 2 0 0 35 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2771] ppid=2742 vsize=28768336 memory=2171996 CPUtime=2465.34 cores=0-7
/proc/2744/task/2771/stat : 2771 (java) R 2742 2742 1397 0 -1 4202560 64868 0 0 0 246467 67 0 0 20 0 28 0 476276363 29458776064 542102 33554432000 4194304 4196468 140721581754240 140009866117552 140010993362273 0 4 0 16800975 0 0 0 -1 6 0 0 39 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
Current children cumulated CPU time: 19854.5 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2169860 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.55 8.34 8.31 9/220 2986
/proc/meminfo: memFree=15805964/32770624 swapFree=66998172/67108860
[pid=2742] ppid=2739 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2742/stat : 2742 (xcsp3-exec) S 2739 2742 1397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476276293 115843072 363 33554432000 4194304 5098028 140726379658480 140726379656584 140142722482812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30621696 140726379660149 140726379660393 140726379660393 140726379663306 0
/proc/2742/statm: 28282 363 305 221 0 87 0
[pid=2744] ppid=2742 vsize=28768336 memory=2106292 CPUtime=19994.7 cores=0-7
/proc/2744/stat : 2744 (java) S 2742 2742 1397 0 -1 1077944320 2213869 0 0 0 1997155 2319 0 0 20 0 28 0 476276293 29458776064 526573 33554432000 4194304 4196468 140721581754240 140721581736784 140011379572471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
/proc/2744/statm: 7192084 526573 3543 1 0 7153184 0
[pid=2744/tid=2745] ppid=2742 vsize=28768336 memory=8317482817917895235 CPUtime=0.67 cores=0-7
/proc/2744/task/2745/stat : 2745 (java) S 2742 2742 1397 0 -1 1077944384 9451 0 0 0 63 4 0 0 20 0 28 0 476276294 29458776064 526573 33554432000 4194304 4196468 140721581754240 140011383813248 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2746] ppid=2742 vsize=28768336 memory=279763568927584 CPUtime=13.55 cores=0-7
/proc/2744/task/2746/stat : 2746 (java) S 2742 2742 1397 0 -1 1077944384 64845 0 0 0 1274 81 0 0 20 0 28 0 476276294 29458776064 526573 33554432000 4194304 4196468 140721581754240 140011332193424 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2747] ppid=2742 vsize=28768336 memory=-8253362762722141311 CPUtime=13.6 cores=0-7
/proc/2744/task/2747/stat : 2747 (java) S 2742 2742 1397 0 -1 1077944384 59465 0 0 0 1279 81 0 0 20 0 28 0 476276294 29458776064 526573 33554432000 4194304 4196468 140721581754240 140011331140624 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2748] ppid=2742 vsize=28768336 memory=-8707038579349950309 CPUtime=13.6 cores=0-7
/proc/2744/task/2748/stat : 2748 (java) S 2742 2742 1397 0 -1 1077944384 52686 0 0 0 1280 80 0 0 20 0 28 0 476276294 29458776064 526573 33554432000 4194304 4196468 140721581754240 140011330087824 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2749] ppid=2742 vsize=28768336 memory=-8341965534556230502 CPUtime=13.61 cores=0-7
/proc/2744/task/2749/stat : 2749 (java) S 2742 2742 1397 0 -1 1077944384 61227 0 0 0 1284 77 0 0 20 0 28 0 476276294 29458776064 526573 33554432000 4194304 4196468 140721581754240 140011329035024 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2750] ppid=2742 vsize=28768336 memory=1760 CPUtime=13.6 cores=0-7
/proc/2744/task/2750/stat : 2750 (java) S 2742 2742 1397 0 -1 1077944384 63903 0 0 0 1279 81 0 0 20 0 28 0 476276295 29458776064 526573 33554432000 4194304 4196468 140721581754240 140011327982224 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2751] ppid=2742 vsize=28768336 memory=111632 CPUtime=13.57 cores=0-7
/proc/2744/task/2751/stat : 2751 (java) S 2742 2742 1397 0 -1 1077944384 55725 0 0 0 1277 80 0 0 20 0 28 0 476276295 29458776064 526573 33554432000 4194304 4196468 140721581754240 140011326929424 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2752] ppid=2742 vsize=28768336 memory=2175076 CPUtime=13.66 cores=0-7
/proc/2744/task/2752/stat : 2752 (java) S 2742 2742 1397 0 -1 1077944384 62713 0 0 0 1282 84 0 0 20 0 28 0 476276295 29458776064 526573 33554432000 4194304 4196468 140721581754240 140011325876624 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2753] ppid=2742 vsize=28768336 memory=772 CPUtime=13.59 cores=0-7
/proc/2744/task/2753/stat : 2753 (java) S 2742 2742 1397 0 -1 1077944384 56705 0 0 0 1283 76 0 0 20 0 28 0 476276295 29458776064 526573 33554432000 4194304 4196468 140721581754240 140011324823824 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2754] ppid=2742 vsize=28768336 memory=3648 CPUtime=12.12 cores=0-7
/proc/2744/task/2754/stat : 2754 (java) S 2742 2742 1397 0 -1 1077944384 256714 0 0 0 563 649 0 0 20 0 28 0 476276296 29458776064 526573 33554432000 4194304 4196468 140721581754240 140009891941232 140011379583618 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2755] ppid=2742 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/2744/task/2755/stat : 2755 (java) S 2742 2742 1397 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 476276297 29458776064 526573 33554432000 4194304 4196468 140721581754240 140009890887264 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2756] ppid=2742 vsize=28768336 memory=2119632 CPUtime=0 cores=0-7
/proc/2744/task/2756/stat : 2756 (java) S 2742 2742 1397 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 476276297 29458776064 526573 33554432000 4194304 4196468 140721581754240 140009889834368 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2757] ppid=2742 vsize=28768336 memory=9492 CPUtime=0 cores=0-7
/proc/2744/task/2757/stat : 2757 (java) S 2742 2742 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476276299 29458776064 526573 33554432000 4194304 4196468 140721581754240 140009888782672 140011379591067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2758] ppid=2742 vsize=28768336 memory=8112282956445269571 CPUtime=3.06 cores=0-7
/proc/2744/task/2758/stat : 2758 (java) S 2742 2742 1397 0 -1 1077944384 19439 0 0 0 301 5 0 0 20 0 28 0 476276299 29458776064 526573 33554432000 4194304 4196468 140721581754240 140009887730032 140011379583618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2759] ppid=2742 vsize=28768336 memory=-7088785026379990432 CPUtime=2.93 cores=0-7
/proc/2744/task/2759/stat : 2759 (java) S 2742 2742 1397 0 -1 1077944384 14107 0 0 0 290 3 0 0 20 0 28 0 476276299 29458776064 526573 33554432000 4194304 4196468 140721581754240 140009886677232 140011379583618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2760] ppid=2742 vsize=28768336 memory=-2605811476043407915 CPUtime=2.83 cores=0-7
/proc/2744/task/2760/stat : 2760 (java) S 2742 2742 1397 0 -1 1077944384 15510 0 0 0 280 3 0 0 20 0 28 0 476276299 29458776064 526573 33554432000 4194304 4196468 140721581754240 140009885624432 140011379583618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2761] ppid=2742 vsize=28768336 memory=-2748367524519556131 CPUtime=0.86 cores=0-7
/proc/2744/task/2761/stat : 2761 (java) S 2742 2742 1397 0 -1 1077944384 11075 0 0 0 83 3 0 0 20 0 28 0 476276299 29458776064 526573 33554432000 4194304 4196468 140721581754240 140009884571632 140011379583618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2762] ppid=2742 vsize=28768336 memory=2111936 CPUtime=0 cores=0-7
/proc/2744/task/2762/stat : 2762 (java) S 2742 2742 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476276299 29458776064 526573 33554432000 4194304 4196468 140721581754240 140009883520096 140011379582677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2763] ppid=2742 vsize=28768336 memory=2119632 CPUtime=0.7 cores=0-7
/proc/2744/task/2763/stat : 2763 (java) S 2742 2742 1397 0 -1 1077944384 9857 0 0 0 10 60 0 0 20 0 28 0 476276300 29458776064 526573 33554432000 4194304 4196468 140721581754240 140009882467376 140011379583618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2764] ppid=2742 vsize=28768336 memory=1452 CPUtime=2482.11 cores=0-7
/proc/2744/task/2764/stat : 2764 (java) R 2742 2742 1397 0 -1 4202560 83019 0 0 0 248145 66 0 0 20 0 28 0 476276363 29458776064 526573 33554432000 4194304 4196468 140721581754240 140009873485008 140011360415427 0 4 0 16800975 0 0 0 -1 0 0 0 32 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2765] ppid=2742 vsize=28768336 memory=2127328 CPUtime=2483.77 cores=0-7
/proc/2744/task/2765/stat : 2765 (java) R 2742 2742 1397 0 -1 4202560 70336 0 0 0 248316 61 0 0 20 0 28 0 476276363 29458776064 526573 33554432000 4194304 4196468 140721581754240 140009872433328 140010990295507 0 4 0 16800975 0 0 0 -1 1 0 0 31 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2766] ppid=2742 vsize=28768336 memory=1164 CPUtime=2483.07 cores=0-7
/proc/2744/task/2766/stat : 2766 (java) R 2742 2742 1397 0 -1 4202560 140076 0 0 0 248224 83 0 0 20 0 28 0 476276363 29458776064 526573 33554432000 4194304 4196468 140721581754240 140009871380560 140010992847556 0 4 0 16800975 0 0 0 -1 5 0 0 33 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2767] ppid=2742 vsize=28768336 memory=8317482817917895235 CPUtime=2484.4 cores=0-7
/proc/2744/task/2767/stat : 2767 (java) R 2742 2742 1397 0 -1 4202560 85580 0 0 0 248365 75 0 0 20 0 28 0 476276363 29458776064 526573 33554432000 4194304 4196468 140721581754240 140009870327744 140010992686619 0 4 0 16800975 0 0 0 -1 3 0 0 23 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2768] ppid=2742 vsize=28768336 memory=1728 CPUtime=2482.69 cores=0-7
/proc/2744/task/2768/stat : 2768 (java) R 2742 2742 1397 0 -1 4202560 177536 0 0 0 248135 134 0 0 20 0 28 0 476276363 29458776064 526573 33554432000 4194304 4196468 140721581754240 140009869277984 140010992258782 0 4 0 16800975 0 0 0 -1 2 0 0 32 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2769] ppid=2742 vsize=28768336 memory=1448 CPUtime=2481.19 cores=0-7
/proc/2744/task/2769/stat : 2769 (java) R 2742 2742 1397 0 -1 4202560 301761 0 0 0 247913 206 0 0 20 0 28 0 476276363 29458776064 526573 33554432000 4194304 4196468 140721581754240 140009868221496 140010991087221 0 4 0 16800975 0 0 0 -1 7 0 0 38 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2770] ppid=2742 vsize=28768336 memory=1452 CPUtime=2482.6 cores=0-7
/proc/2744/task/2770/stat : 2770 (java) R 2742 2742 1397 0 -1 4202560 475878 0 0 0 247922 338 0 0 20 0 28 0 476276363 29458776064 526573 33554432000 4194304 4196468 140721581754240 140009867169928 140010992068686 0 4 0 16800975 0 0 0 -1 6 0 0 35 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
[pid=2744/tid=2771] ppid=2742 vsize=28768336 memory=2168408 CPUtime=2482.76 cores=0-7
/proc/2744/task/2771/stat : 2771 (java) R 2742 2742 1397 0 -1 4202560 64911 0 0 0 248209 67 0 0 20 0 28 0 476276363 29458776064 526573 33554432000 4194304 4196468 140721581754240 140009866117552 140010991710989 0 4 0 16800975 0 0 0 -1 4 0 0 39 0 0 6293624 6294260 17727488 140721581761514 140721581761686 140721581761686 140721581764559 0
Current children cumulated CPU time: 19994.7 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2107744 KiB

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

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

[startup+2520.11 s]
# the end of solver process 2744 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19972.2 s, system=23.2181 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.11
CPU time (s): 19995.4
CPU user time (s): 19972.2
CPU system time (s): 23.2181
CPU usage (%): 793.434
Max. virtual memory (cumulated for all children) (KiB): 28884084
Max. memory (cumulated for all children) (KiB): 3176412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19972.2
system time used= 23.2181
maximum resident set size= 3176896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2214602
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 197810
involuntary context switches= 229671


# summary of solver processes directly reported to runsolver:
#   pid: 2742,2744
#   total CPU time (s): 19995.4
#   total CPU user time (s): 19972.2
#   total CPU system time (s): 23.2181

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.7962 second user time and 28.6427 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-20 18:22:19
IDJOB=4404293
IDBENCH=127909
IDSOLVER=2865
FILE ID=node106/4404293-1569000220
RUNJOBID= node106-1568991066-1424
PBS_JOBID= 21704730
Free space on /tmp= 23488 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-012.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-4404293-1569000220/watcher-4404293-1569000220 -o /tmp/evaluation-result-4404293-1569000220/solver-4404293-1569000220 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568991066-1424 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1250068487 HOME/instance-4404293-1569000220.xml

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

MD5SUM BENCH= 2f6e926eec9d3271c32e6368d6cce3f2
RANDOM SEED=1250068487

node106.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.79
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.79
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.79
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.79
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:        17908620 kB
MemAvailable:   31855628 kB
Buffers:           63904 kB
Cached:         13957744 kB
SwapCached:         4080 kB
Active:          6739412 kB
Inactive:        7288968 kB
Active(anon):       2704 kB
Inactive(anon):    46416 kB
Active(file):    6736708 kB
Inactive(file):  7242552 kB
Unevictable:      109088 kB
Mlocked:          109088 kB
SwapTotal:      67108860 kB
SwapFree:       66998168 kB
Dirty:             25964 kB
Writeback:             4 kB
AnonPages:        112740 kB
Mapped:            48416 kB
Shmem:             33932 kB
Slab:             425044 kB
SReclaimable:     396208 kB
SUnreclaim:        28836 kB
KernelStack:        3424 kB
PageTables:         5140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497552 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:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 23460 MiB
End job on node106 at 2019-09-20 19:04:19