Trace number 4399665

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-16 parallel? (TO) 20037.4 2520.12

General information on the benchmark

NameXCSP19/ConsecutiveSquarePacking/
ConsecutiveSquarePacking-sp-35-123.xml
MD5SUM45744cc354831d0c2f8e03e2f88be5e0
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables70
Number of constraints595
Number of domains35
Minimum domain size89
Maximum domain size123
Distribution of domain sizes[{"size":89,"count":2},{"size":90,"count":2},{"size":91,"count":2},{"size":92,"count":2},{"size":93,"count":2},{"size":94,"count":2},{"size":95,"count":2},{"size":96,"count":2},{"size":97,"count":2},{"size":98,"count":2},{"size":99,"count":2},{"size":100,"count":2},{"size":101,"count":2},{"size":102,"count":2},{"size":103,"count":2},{"size":104,"count":2},{"size":105,"count":2},{"size":106,"count":2},{"size":107,"count":2},{"size":108,"count":2},{"size":109,"count":2},{"size":110,"count":2},{"size":111,"count":2},{"size":112,"count":2},{"size":113,"count":2},{"size":114,"count":2},{"size":115,"count":2},{"size":116,"count":2},{"size":117,"count":2},{"size":118,"count":2},{"size":119,"count":2},{"size":120,"count":2},{"size":121,"count":2},{"size":122,"count":2},{"size":123,"count":2}]
Minimum variable degree34
Maximum variable degree34
Distribution of variable degrees[{"degree":34,"count":70}]
Minimum constraint arity4
Maximum constraint arity4
Distribution of constraint arities[{"arity":4,"count":595}]
Number of extensional constraints0
Number of intensional constraints595
Distribution of constraint types[{"type":"intension","count":595}]
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-4399665-1568718658.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4399665-1568718658.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
6.11/1.71	c solve instance...
20036.65/2520.09	s UNKNOWN
20036.65/2520.09	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 (14639 MiB free)
  memory of node 1: 16384 MiB (15359 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399665-1568718658/watcher-4399665-1568718658 -o /tmp/evaluation-result-4399665-1568718658/solver-4399665-1568718658 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568711379-8230 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1867700461 HOME/instance-4399665-1568718658.xml 

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

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

solver pid=9732, runsolver pid=9729

[startup+0.100132 s]*
/proc/loadavg: 8.55 8.19 7.99 2/212 9753
/proc/meminfo: memFree=30699232/32770624 swapFree=66954252/67108860
[pid=9732] ppid=9729 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/9732/stat : 9732 (xcsp3-exec) S 9729 9732 8203 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447807652 115843072 364 33554432000 4194304 5098028 140731325347648 140731325345752 140087183643260 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36708352 140731325354869 140731325355113 140731325355113 140731325358026 0
/proc/9732/statm: 28282 364 305 221 0 87 0
[pid=9734] ppid=9732 vsize=28227396 memory=30236 CPUtime=0.12 cores=0-7
/proc/9734/stat : 9734 (java) S 9732 9732 8203 0 -1 1077944320 6029 0 0 0 11 1 0 0 20 0 20 0 447807652 28904853504 7559 33554432000 4194304 4196468 140726511519600 140726511502144 140488820543223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
/proc/9734/statm: 7056849 7559 3124 1 0 7019032 0
[pid=9734/tid=9735] ppid=9732 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/9734/task/9735/stat : 9735 (java) R 9732 9732 8203 0 -1 4202560 3944 0 0 0 8 0 0 0 20 0 20 0 447807652 28904853504 7559 33554432000 4194304 4196468 140726511519600 140488824775248 140488820555158 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9736] ppid=9732 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/9734/task/9736/stat : 9736 (java) S 9732 9732 8203 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447807653 28904853504 7559 33554432000 4194304 4196468 140726511519600 140488371722640 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9737] ppid=9732 vsize=28227396 memory=139622947718784 CPUtime=0 cores=0-7
/proc/9734/task/9737/stat : 9737 (java) S 9732 9732 8203 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447807653 28904853504 7559 33554432000 4194304 4196468 140726511519600 140488370669840 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9738] ppid=9732 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9738/stat : 9738 (java) S 9732 9732 8203 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447807653 28904853504 7559 33554432000 4194304 4196468 140726511519600 140488369617552 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9739] ppid=9732 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9739/stat : 9739 (java) S 9732 9732 8203 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447807653 28904853504 7559 33554432000 4194304 4196468 140726511519600 140488368564752 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9740] ppid=9732 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9740/stat : 9740 (java) S 9732 9732 8203 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447807653 28904853504 7559 33554432000 4194304 4196468 140726511519600 140488367512464 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9741] ppid=9732 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9734/task/9741/stat : 9741 (java) S 9732 9732 8203 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447807653 28904853504 7559 33554432000 4194304 4196468 140726511519600 140488366459664 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9742] ppid=9732 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9742/stat : 9742 (java) S 9732 9732 8203 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447807653 28904853504 7559 33554432000 4194304 4196468 140726511519600 140488365407376 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9743] ppid=9732 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9743/stat : 9743 (java) S 9732 9732 8203 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447807653 28904853504 7559 33554432000 4194304 4196468 140726511519600 140488364354576 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9744] ppid=9732 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9744/stat : 9744 (java) S 9732 9732 8203 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447807655 28904853504 7559 33554432000 4194304 4196468 140726511519600 140488321550448 140488820554370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9745] ppid=9732 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9745/stat : 9745 (java) S 9732 9732 8203 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447807655 28904853504 7559 33554432000 4194304 4196468 140726511519600 140488320496416 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9746] ppid=9732 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9746/stat : 9746 (java) S 9732 9732 8203 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447807655 28904853504 7559 33554432000 4194304 4196468 140726511519600 140488319444080 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9747] ppid=9732 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9747/stat : 9747 (java) S 9732 9732 8203 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447807658 28904853504 7559 33554432000 4194304 4196468 140726511519600 140488318392400 140488820561819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9748] ppid=9732 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9748/stat : 9748 (java) S 9732 9732 8203 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 447807658 28904853504 7559 33554432000 4194304 4196468 140726511519600 140488317340272 140488820554370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9749] ppid=9732 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9749/stat : 9749 (java) S 9732 9732 8203 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447807658 28904853504 7559 33554432000 4194304 4196468 140726511519600 140488316287472 140488820554370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9750] ppid=9732 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9750/stat : 9750 (java) S 9732 9732 8203 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 447807658 28904853504 7559 33554432000 4194304 4196468 140726511519600 140488315235184 140488820554370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9751] ppid=9732 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/9734/task/9751/stat : 9751 (java) R 9732 9732 8203 0 -1 4202560 344 0 0 0 1 0 0 0 20 0 20 0 447807658 28904853504 7559 33554432000 4194304 4196468 140726511519600 140488196877040 140488820555158 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9752] ppid=9732 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9752/stat : 9752 (java) S 9732 9732 8203 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447807658 28904853504 7559 33554432000 4194304 4196468 140726511519600 140488195823968 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9753] ppid=9732 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9734/task/9753/stat : 9753 (java) S 9732 9732 8203 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447807658 28904853504 7559 33554432000 4194304 4196468 140726511519600 140488194771248 140488820554370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31692 KiB

[startup+0.210423 s]*
/proc/loadavg: 8.55 8.19 7.99 2/212 9753
/proc/meminfo: memFree=30688824/32770624 swapFree=66954252/67108860
[pid=9732] ppid=9729 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/9732/stat : 9732 (xcsp3-exec) S 9729 9732 8203 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447807652 115843072 364 33554432000 4194304 5098028 140731325347648 140731325345752 140087183643260 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36708352 140731325354869 140731325355113 140731325355113 140731325358026 0
/proc/9732/statm: 28282 364 305 221 0 87 0
[pid=9734] ppid=9732 vsize=28227396 memory=40628 CPUtime=0.33 cores=0-7
/proc/9734/stat : 9734 (java) S 9732 9732 8203 0 -1 1077944320 9417 0 0 0 30 3 0 0 20 0 20 0 447807652 28904853504 10157 33554432000 4194304 4196468 140726511519600 140726511502144 140488820543223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
/proc/9734/statm: 7056849 10157 3273 1 0 7019032 0
[pid=9734/tid=9735] ppid=9732 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/9734/task/9735/stat : 9735 (java) R 9732 9732 8203 0 -1 4202560 6713 0 0 0 18 1 0 0 20 0 20 0 447807652 28904853504 10157 33554432000 4194304 4196468 140726511519600 140488824775952 140488812782365 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9736] ppid=9732 vsize=28227396 memory=329 CPUtime=0 cores=0-7
/proc/9734/task/9736/stat : 9736 (java) S 9732 9732 8203 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447807653 28904853504 10157 33554432000 4194304 4196468 140726511519600 140488371722640 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9737] ppid=9732 vsize=28227396 memory=139622947734330 CPUtime=0 cores=0-7
/proc/9734/task/9737/stat : 9737 (java) S 9732 9732 8203 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447807653 28904853504 10157 33554432000 4194304 4196468 140726511519600 140488370669840 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9738] ppid=9732 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9734/task/9738/stat : 9738 (java) S 9732 9732 8203 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447807653 28904853504 10157 33554432000 4194304 4196468 140726511519600 140488369617552 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9739] ppid=9732 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9739/stat : 9739 (java) S 9732 9732 8203 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447807653 28904853504 10157 33554432000 4194304 4196468 140726511519600 140488368564752 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9740] ppid=9732 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9740/stat : 9740 (java) S 9732 9732 8203 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447807653 28904853504 10157 33554432000 4194304 4196468 140726511519600 140488367512464 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9741] ppid=9732 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9734/task/9741/stat : 9741 (java) S 9732 9732 8203 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447807653 28904853504 10157 33554432000 4194304 4196468 140726511519600 140488366459664 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9742] ppid=9732 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9742/stat : 9742 (java) S 9732 9732 8203 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447807653 28904853504 10157 33554432000 4194304 4196468 140726511519600 140488365407376 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9743] ppid=9732 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9743/stat : 9743 (java) S 9732 9732 8203 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447807653 28904853504 10157 33554432000 4194304 4196468 140726511519600 140488364354576 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9744] ppid=9732 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9744/stat : 9744 (java) S 9732 9732 8203 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447807655 28904853504 10157 33554432000 4194304 4196468 140726511519600 140488321550448 140488820554370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9745] ppid=9732 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9745/stat : 9745 (java) S 9732 9732 8203 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447807655 28904853504 10157 33554432000 4194304 4196468 140726511519600 140488320496416 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9746] ppid=9732 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9746/stat : 9746 (java) S 9732 9732 8203 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447807655 28904853504 10157 33554432000 4194304 4196468 140726511519600 140488319444080 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9747] ppid=9732 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9747/stat : 9747 (java) S 9732 9732 8203 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447807658 28904853504 10157 33554432000 4194304 4196468 140726511519600 140488318392400 140488820561819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9748] ppid=9732 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9748/stat : 9748 (java) S 9732 9732 8203 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 20 0 447807658 28904853504 10157 33554432000 4194304 4196468 140726511519600 140488317340272 140488820554370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9749] ppid=9732 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/9734/task/9749/stat : 9749 (java) S 9732 9732 8203 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 20 0 447807658 28904853504 10157 33554432000 4194304 4196468 140726511519600 140488316287472 140488820554370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9750] ppid=9732 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/9734/task/9750/stat : 9750 (java) S 9732 9732 8203 0 -1 1077944384 227 0 0 0 2 0 0 0 20 0 20 0 447807658 28904853504 10157 33554432000 4194304 4196468 140726511519600 140488315235184 140488820554370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9751] ppid=9732 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/9734/task/9751/stat : 9751 (java) S 9732 9732 8203 0 -1 1077944384 752 0 0 0 7 0 0 0 20 0 20 0 447807658 28904853504 10157 33554432000 4194304 4196468 140726511519600 140488196877040 140488820554370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9752] ppid=9732 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9752/stat : 9752 (java) S 9732 9732 8203 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447807658 28904853504 10157 33554432000 4194304 4196468 140726511519600 140488195823968 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9753] ppid=9732 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9734/task/9753/stat : 9753 (java) S 9732 9732 8203 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447807658 28904853504 10157 33554432000 4194304 4196468 140726511519600 140488194771248 140488820554370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42084 KiB

[startup+0.312037 s]*
/proc/loadavg: 8.55 8.19 7.99 4/212 9753
/proc/meminfo: memFree=30682060/32770624 swapFree=66954252/67108860
[pid=9732] ppid=9729 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/9732/stat : 9732 (xcsp3-exec) S 9729 9732 8203 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447807652 115843072 364 33554432000 4194304 5098028 140731325347648 140731325345752 140087183643260 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36708352 140731325354869 140731325355113 140731325355113 140731325358026 0
/proc/9732/statm: 28282 364 305 221 0 87 0
[pid=9734] ppid=9732 vsize=28231652 memory=49952 CPUtime=0.52 cores=0-7
/proc/9734/stat : 9734 (java) S 9732 9732 8203 0 -1 1077944320 10830 0 0 0 49 3 0 0 20 0 20 0 447807652 28909211648 12488 33554432000 4194304 4196468 140726511519600 140726511502144 140488820543223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
/proc/9734/statm: 7057913 12488 3347 1 0 7019032 0
[pid=9734/tid=9735] ppid=9732 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/9734/task/9735/stat : 9735 (java) R 9732 9732 8203 0 -1 4202560 7797 0 0 0 28 2 0 0 20 0 20 0 447807652 28909211648 12488 33554432000 4194304 4196468 140726511519600 140488824774336 140488820565149 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9736] ppid=9732 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9736/stat : 9736 (java) S 9732 9732 8203 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447807653 28909211648 12488 33554432000 4194304 4196468 140726511519600 140488371722640 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9737] ppid=9732 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9737/stat : 9737 (java) S 9732 9732 8203 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447807653 28909211648 12488 33554432000 4194304 4196468 140726511519600 140488370669840 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9738] ppid=9732 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9738/stat : 9738 (java) S 9732 9732 8203 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447807653 28909211648 12488 33554432000 4194304 4196468 140726511519600 140488369617552 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9739] ppid=9732 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9739/stat : 9739 (java) S 9732 9732 8203 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447807653 28909211648 12488 33554432000 4194304 4196468 140726511519600 140488368564752 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9740] ppid=9732 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9740/stat : 9740 (java) S 9732 9732 8203 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447807653 28909211648 12488 33554432000 4194304 4196468 140726511519600 140488367512464 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9741] ppid=9732 vsize=28231652 memory=139622810217135 CPUtime=0 cores=0-7
/proc/9734/task/9741/stat : 9741 (java) S 9732 9732 8203 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447807653 28909211648 12488 33554432000 4194304 4196468 140726511519600 140488366459664 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9742] ppid=9732 vsize=28231652 memory=139622810219440 CPUtime=0 cores=0-7
/proc/9734/task/9742/stat : 9742 (java) S 9732 9732 8203 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447807653 28909211648 12488 33554432000 4194304 4196468 140726511519600 140488365407376 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9743] ppid=9732 vsize=28231652 memory=139622810221744 CPUtime=0 cores=0-7
/proc/9734/task/9743/stat : 9743 (java) S 9732 9732 8203 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447807653 28909211648 12488 33554432000 4194304 4196468 140726511519600 140488364354576 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9744] ppid=9732 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9744/stat : 9744 (java) S 9732 9732 8203 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447807655 28909211648 12488 33554432000 4194304 4196468 140726511519600 140488321550448 140488820554370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9745] ppid=9732 vsize=28231652 memory=279245620457360 CPUtime=0 cores=0-7
/proc/9734/task/9745/stat : 9745 (java) S 9732 9732 8203 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447807655 28909211648 12488 33554432000 4194304 4196468 140726511519600 140488320496416 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9746] ppid=9732 vsize=28231652 memory=279245620455056 CPUtime=0 cores=0-7
/proc/9734/task/9746/stat : 9746 (java) S 9732 9732 8203 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447807655 28909211648 12488 33554432000 4194304 4196468 140726511519600 140488319444080 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9747] ppid=9732 vsize=28231652 memory=279245620461968 CPUtime=0 cores=0-7
/proc/9734/task/9747/stat : 9747 (java) S 9732 9732 8203 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447807658 28909211648 12488 33554432000 4194304 4196468 140726511519600 140488318392400 140488820561819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9748] ppid=9732 vsize=28231652 memory=279245620403248 CPUtime=0.02 cores=0-7
/proc/9734/task/9748/stat : 9748 (java) R 9732 9732 8203 0 -1 4202560 452 0 0 0 2 0 0 0 20 0 20 0 447807658 28909211648 12488 33554432000 4194304 4196468 140726511519600 140488317326368 140488820564570 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9749] ppid=9732 vsize=28231652 memory=279245620475792 CPUtime=0.02 cores=0-7
/proc/9734/task/9749/stat : 9749 (java) S 9732 9732 8203 0 -1 1077944384 135 0 0 0 2 0 0 0 20 0 20 0 447807658 28909211648 12488 33554432000 4194304 4196468 140726511519600 140488316287472 140488820554370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9750] ppid=9732 vsize=28231652 memory=279245620482704 CPUtime=0.03 cores=0-7
/proc/9734/task/9750/stat : 9750 (java) S 9732 9732 8203 0 -1 1077944384 245 0 0 0 3 0 0 0 20 0 20 0 447807658 28909211648 12488 33554432000 4194304 4196468 140726511519600 140488315235184 140488820554370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9751] ppid=9732 vsize=28231652 memory=279245620480400 CPUtime=0.12 cores=0-7
/proc/9734/task/9751/stat : 9751 (java) S 9732 9732 8203 0 -1 1077944384 895 0 0 0 12 0 0 0 20 0 20 0 447807658 28909211648 12488 33554432000 4194304 4196468 140726511519600 140488196877040 140488820554370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9752] ppid=9732 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9752/stat : 9752 (java) S 9732 9732 8203 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447807658 28909211648 12488 33554432000 4194304 4196468 140726511519600 140488195823968 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9753] ppid=9732 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/9734/task/9753/stat : 9753 (java) S 9732 9732 8203 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447807658 28909211648 12488 33554432000 4194304 4196468 140726511519600 140488194771248 140488820554370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51408 KiB

[startup+0.701064 s]
/proc/loadavg: 8.55 8.19 7.99 6/212 9753
/proc/meminfo: memFree=30665560/32770624 swapFree=66954252/67108860
[pid=9732] ppid=9729 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/9732/stat : 9732 (xcsp3-exec) S 9729 9732 8203 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447807652 115843072 364 33554432000 4194304 5098028 140731325347648 140731325345752 140087183643260 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36708352 140731325354869 140731325355113 140731325355113 140731325358026 0
/proc/9732/statm: 28282 364 305 221 0 87 0
[pid=9734] ppid=9732 vsize=28233776 memory=94604 CPUtime=1.83 cores=0-7
/proc/9734/stat : 9734 (java) S 9732 9732 8203 0 -1 1077944320 16345 0 0 0 177 6 0 0 20 0 20 0 447807652 28911386624 23651 33554432000 4194304 4196468 140726511519600 140726511502144 140488820543223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
/proc/9734/statm: 7058444 23651 3458 1 0 7019544 0
[pid=9734/tid=9735] ppid=9732 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/9734/task/9735/stat : 9735 (java) R 9732 9732 8203 0 -1 4202560 9288 0 0 0 64 3 0 0 20 0 20 0 447807652 28911386624 23651 33554432000 4194304 4196468 140726511519600 140488824778096 140488804854049 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9736] ppid=9732 vsize=28233776 memory=139622810428272 CPUtime=0 cores=0-7
/proc/9734/task/9736/stat : 9736 (java) S 9732 9732 8203 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447807653 28911386624 23651 33554432000 4194304 4196468 140726511519600 140488371722640 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9737] ppid=9732 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/9734/task/9737/stat : 9737 (java) S 9732 9732 8203 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447807653 28911386624 23651 33554432000 4194304 4196468 140726511519600 140488370669840 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9738] ppid=9732 vsize=28233776 memory=1200 CPUtime=0 cores=0-7
/proc/9734/task/9738/stat : 9738 (java) S 9732 9732 8203 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447807653 28911386624 23651 33554432000 4194304 4196468 140726511519600 140488369617552 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0

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

[pid=9734/tid=9761] ppid=9732 vsize=28768336 memory=1456 CPUtime=2412.05 cores=0-7
/proc/9734/task/9761/stat : 9761 (java) R 9732 9732 8203 0 -1 4202560 24637 0 0 0 241173 32 0 0 20 0 28 0 447807828 29458776064 589698 33554432000 4194304 4196468 140726511519600 140487907319672 140488466982575 0 4 0 16800975 0 0 0 -1 7 0 0 12 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
Current children cumulated CPU time: 19418.6 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2360248 KiB

[startup+2502.3 s]
/proc/loadavg: 8.54 8.29 8.30 9/221 9949
/proc/meminfo: memFree=28366556/32770624 swapFree=66954288/67108860
[pid=9732] ppid=9729 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/9732/stat : 9732 (xcsp3-exec) S 9729 9732 8203 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447807652 115843072 364 33554432000 4194304 5098028 140731325347648 140731325345752 140087183643260 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36708352 140731325354869 140731325355113 140731325355113 140731325358026 0
/proc/9732/statm: 28282 364 305 221 0 87 0
[pid=9734] ppid=9732 vsize=28768336 memory=2358792 CPUtime=19895.7 cores=0-7
/proc/9734/stat : 9734 (java) S 9732 9732 8203 0 -1 1077944320 589691 0 0 0 1988614 954 0 0 20 0 28 0 447807652 29458776064 589698 33554432000 4194304 4196468 140726511519600 140726511502144 140488820543223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
/proc/9734/statm: 7192084 589698 3551 1 0 7153184 0
[pid=9734/tid=9735] ppid=9732 vsize=28768336 memory=2358792 CPUtime=1.68 cores=0-7
/proc/9734/task/9735/stat : 9735 (java) S 9732 9732 8203 0 -1 1077944384 9633 0 0 0 162 6 0 0 20 0 28 0 447807652 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488824784000 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9736] ppid=9732 vsize=28768336 memory=2358792 CPUtime=8.7 cores=0-7
/proc/9734/task/9736/stat : 9736 (java) S 9732 9732 8203 0 -1 1077944384 22451 0 0 0 836 34 0 0 20 0 28 0 447807653 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488371722640 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9737] ppid=9732 vsize=28768336 memory=2358792 CPUtime=8.66 cores=0-7
/proc/9734/task/9737/stat : 9737 (java) S 9732 9732 8203 0 -1 1077944384 24102 0 0 0 830 36 0 0 20 0 28 0 447807653 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488370669840 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9738] ppid=9732 vsize=28768336 memory=2358792 CPUtime=8.78 cores=0-7
/proc/9734/task/9738/stat : 9738 (java) S 9732 9732 8203 0 -1 1077944384 25086 0 0 0 842 36 0 0 20 0 28 0 447807653 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488369617552 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9739] ppid=9732 vsize=28768336 memory=2358792 CPUtime=8.69 cores=0-7
/proc/9734/task/9739/stat : 9739 (java) S 9732 9732 8203 0 -1 1077944384 26588 0 0 0 833 36 0 0 20 0 28 0 447807653 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488368564752 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9740] ppid=9732 vsize=28768336 memory=2358792 CPUtime=8.64 cores=0-7
/proc/9734/task/9740/stat : 9740 (java) S 9732 9732 8203 0 -1 1077944384 24395 0 0 0 828 36 0 0 20 0 28 0 447807653 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488367512464 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9741] ppid=9732 vsize=28768336 memory=1456 CPUtime=8.74 cores=0-7
/proc/9734/task/9741/stat : 9741 (java) S 9732 9732 8203 0 -1 1077944384 21793 0 0 0 842 32 0 0 20 0 28 0 447807653 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488366459664 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9742] ppid=9732 vsize=28768336 memory=164 CPUtime=8.7 cores=0-7
/proc/9734/task/9742/stat : 9742 (java) S 9732 9732 8203 0 -1 1077944384 23853 0 0 0 834 36 0 0 20 0 28 0 447807653 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488365407376 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9743] ppid=9732 vsize=28768336 memory=1456 CPUtime=8.67 cores=0-7
/proc/9734/task/9743/stat : 9743 (java) S 9732 9732 8203 0 -1 1077944384 27937 0 0 0 830 37 0 0 20 0 28 0 447807653 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488364354576 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9744] ppid=9732 vsize=28768336 memory=2358792 CPUtime=5.42 cores=0-7
/proc/9734/task/9744/stat : 9744 (java) S 9732 9732 8203 0 -1 1077944384 99914 0 0 0 278 264 0 0 20 0 28 0 447807655 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488321550448 140488820554370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9745] ppid=9732 vsize=28768336 memory=4108 CPUtime=0 cores=0-7
/proc/9734/task/9745/stat : 9745 (java) S 9732 9732 8203 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 447807655 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488320496480 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9746] ppid=9732 vsize=28768336 memory=1732 CPUtime=0 cores=0-7
/proc/9734/task/9746/stat : 9746 (java) S 9732 9732 8203 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 447807655 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488319444096 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9747] ppid=9732 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/9734/task/9747/stat : 9747 (java) S 9732 9732 8203 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447807658 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488318392400 140488820561819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9748] ppid=9732 vsize=28768336 memory=2358792 CPUtime=3.2 cores=0-7
/proc/9734/task/9748/stat : 9748 (java) S 9732 9732 8203 0 -1 1077944384 15386 0 0 0 317 3 0 0 20 0 28 0 447807658 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488317340272 140488820554370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9749] ppid=9732 vsize=28768336 memory=2358792 CPUtime=3.21 cores=0-7
/proc/9734/task/9749/stat : 9749 (java) S 9732 9732 8203 0 -1 1077944384 11674 0 0 0 319 2 0 0 20 0 28 0 447807658 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488316287472 140488820554370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9750] ppid=9732 vsize=28768336 memory=3612 CPUtime=3.36 cores=0-7
/proc/9734/task/9750/stat : 9750 (java) S 9732 9732 8203 0 -1 1077944384 20554 0 0 0 331 5 0 0 20 0 28 0 447807658 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488315235184 140488820554370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9751] ppid=9732 vsize=28768336 memory=1456 CPUtime=0.99 cores=0-7
/proc/9734/task/9751/stat : 9751 (java) S 9732 9732 8203 0 -1 1077944384 12505 0 0 0 96 3 0 0 20 0 28 0 447807658 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488196877040 140488820554370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9752] ppid=9732 vsize=28768336 memory=2358792 CPUtime=0 cores=0-7
/proc/9734/task/9752/stat : 9752 (java) S 9732 9732 8203 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447807658 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488195823968 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9753] ppid=9732 vsize=28768336 memory=1456 CPUtime=1.02 cores=0-7
/proc/9734/task/9753/stat : 9753 (java) S 9732 9732 8203 0 -1 1077944384 6210 0 0 0 25 77 0 0 20 0 28 0 447807658 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488194771248 140488820554370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9754] ppid=9732 vsize=28768336 memory=2358792 CPUtime=2476.1 cores=0-7
/proc/9734/task/9754/stat : 9754 (java) R 9732 9732 8203 0 -1 4202560 20312 0 0 0 247595 15 0 0 20 0 28 0 447807826 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488183692024 140488467378587 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9755] ppid=9732 vsize=28768336 memory=1456 CPUtime=2479.84 cores=0-7
/proc/9734/task/9755/stat : 9755 (java) R 9732 9732 8203 0 -1 4202560 15086 0 0 0 247969 15 0 0 20 0 28 0 447807826 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488182640424 140488466571202 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9756] ppid=9732 vsize=28768336 memory=1456 CPUtime=2478.43 cores=0-7
/proc/9734/task/9756/stat : 9756 (java) R 9732 9732 8203 0 -1 4202560 52400 0 0 0 247689 154 0 0 20 0 28 0 447807827 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488181588184 140488467467737 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9757] ppid=9732 vsize=28768336 memory=279245620355776 CPUtime=2471.44 cores=0-7
/proc/9734/task/9757/stat : 9757 (java) R 9732 9732 8203 0 -1 4202560 44764 0 0 0 247033 111 0 0 20 0 28 0 447807827 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488180535704 140488468221131 0 4 0 16800975 0 0 0 -1 3 0 0 18 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9758] ppid=9732 vsize=28768336 memory=7084821290818945125 CPUtime=2475.81 cores=0-7
/proc/9734/task/9758/stat : 9758 (java) R 9732 9732 8203 0 -1 4202560 20134 0 0 0 247556 25 0 0 20 0 28 0 447807827 29458776064 589698 33554432000 4194304 4196468 140726511519600 140487910478536 140488466982649 0 4 0 16800975 0 0 0 -1 7 0 0 14 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9759] ppid=9732 vsize=28768336 memory=7957130823741630828 CPUtime=2477.28 cores=0-7
/proc/9734/task/9759/stat : 9759 (java) R 9732 9732 8203 0 -1 4202560 15783 0 0 0 247713 15 0 0 20 0 28 0 447807827 29458776064 589698 33554432000 4194304 4196468 140726511519600 140487909428528 140488466571306 0 4 0 16800975 0 0 0 -1 6 0 0 16 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9760] ppid=9732 vsize=28768336 memory=0 CPUtime=2476.7 cores=0-7
/proc/9734/task/9760/stat : 9760 (java) R 9732 9732 8203 0 -1 4202560 22181 0 0 0 247640 30 0 0 20 0 28 0 447807827 29458776064 589698 33554432000 4194304 4196468 140726511519600 140487908371984 140488466982639 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9761] ppid=9732 vsize=28768336 memory=0 CPUtime=2471.39 cores=0-7
/proc/9734/task/9761/stat : 9761 (java) R 9732 9732 8203 0 -1 4202560 25615 0 0 0 247105 34 0 0 20 0 28 0 447807828 29458776064 589698 33554432000 4194304 4196468 140726511519600 140487907319336 140488466570849 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
Current children cumulated CPU time: 19895.7 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2360248 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.59 8.32 8.31 9/220 9949
/proc/meminfo: memFree=28366384/32770624 swapFree=66954288/67108860
[pid=9732] ppid=9729 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/9732/stat : 9732 (xcsp3-exec) S 9729 9732 8203 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447807652 115843072 364 33554432000 4194304 5098028 140731325347648 140731325345752 140087183643260 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36708352 140731325354869 140731325355113 140731325355113 140731325358026 0
/proc/9732/statm: 28282 364 305 221 0 87 0
[pid=9734] ppid=9732 vsize=28768336 memory=2358792 CPUtime=20036.7 cores=0-7
/proc/9734/stat : 9734 (java) S 9732 9732 8203 0 -1 1077944320 591163 0 0 0 2002709 956 0 0 20 0 28 0 447807652 29458776064 589698 33554432000 4194304 4196468 140726511519600 140726511502144 140488820543223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
/proc/9734/statm: 7192084 589698 3551 1 0 7153184 0
[pid=9734/tid=9735] ppid=9732 vsize=28768336 memory=8317482817917895235 CPUtime=1.68 cores=0-7
/proc/9734/task/9735/stat : 9735 (java) S 9732 9732 8203 0 -1 1077944384 9633 0 0 0 162 6 0 0 20 0 28 0 447807652 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488824784000 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9736] ppid=9732 vsize=28768336 memory=4126316290023845779 CPUtime=8.78 cores=0-7
/proc/9734/task/9736/stat : 9736 (java) S 9732 9732 8203 0 -1 1077944384 22750 0 0 0 843 35 0 0 20 0 28 0 447807653 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488371722640 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9737] ppid=9732 vsize=28768336 memory=780 CPUtime=8.73 cores=0-7
/proc/9734/task/9737/stat : 9737 (java) S 9732 9732 8203 0 -1 1077944384 24188 0 0 0 837 36 0 0 20 0 28 0 447807653 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488370669840 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9738] ppid=9732 vsize=28768336 memory=2832 CPUtime=8.84 cores=0-7
/proc/9734/task/9738/stat : 9738 (java) S 9732 9732 8203 0 -1 1077944384 25127 0 0 0 848 36 0 0 20 0 28 0 447807653 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488369617552 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9739] ppid=9732 vsize=28768336 memory=1720 CPUtime=8.76 cores=0-7
/proc/9734/task/9739/stat : 9739 (java) S 9732 9732 8203 0 -1 1077944384 26599 0 0 0 840 36 0 0 20 0 28 0 447807653 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488368564752 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9740] ppid=9732 vsize=28768336 memory=1200 CPUtime=8.72 cores=0-7
/proc/9734/task/9740/stat : 9740 (java) S 9732 9732 8203 0 -1 1077944384 24451 0 0 0 836 36 0 0 20 0 28 0 447807653 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488367512464 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9741] ppid=9732 vsize=28768336 memory=5996 CPUtime=8.82 cores=0-7
/proc/9734/task/9741/stat : 9741 (java) S 9732 9732 8203 0 -1 1077944384 21928 0 0 0 850 32 0 0 20 0 28 0 447807653 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488366459664 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9742] ppid=9732 vsize=28768336 memory=14012 CPUtime=8.78 cores=0-7
/proc/9734/task/9742/stat : 9742 (java) S 9732 9732 8203 0 -1 1077944384 23865 0 0 0 842 36 0 0 20 0 28 0 447807653 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488365407376 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9743] ppid=9732 vsize=28768336 memory=15312 CPUtime=8.75 cores=0-7
/proc/9734/task/9743/stat : 9743 (java) S 9732 9732 8203 0 -1 1077944384 27948 0 0 0 838 37 0 0 20 0 28 0 447807653 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488364354576 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9744] ppid=9732 vsize=28768336 memory=0 CPUtime=5.45 cores=0-7
/proc/9734/task/9744/stat : 9744 (java) S 9732 9732 8203 0 -1 1077944384 100091 0 0 0 280 265 0 0 20 0 28 0 447807655 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488321550448 140488820554370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9745] ppid=9732 vsize=28768336 memory=740 CPUtime=0 cores=0-7
/proc/9734/task/9745/stat : 9745 (java) S 9732 9732 8203 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 447807655 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488320496480 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9746] ppid=9732 vsize=28768336 memory=2358792 CPUtime=0 cores=0-7
/proc/9734/task/9746/stat : 9746 (java) S 9732 9732 8203 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 447807655 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488319444096 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9747] ppid=9732 vsize=28768336 memory=1056 CPUtime=0 cores=0-7
/proc/9734/task/9747/stat : 9747 (java) S 9732 9732 8203 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447807658 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488318392400 140488820561819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9748] ppid=9732 vsize=28768336 memory=1552 CPUtime=3.2 cores=0-7
/proc/9734/task/9748/stat : 9748 (java) S 9732 9732 8203 0 -1 1077944384 15390 0 0 0 317 3 0 0 20 0 28 0 447807658 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488317340272 140488820554370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9749] ppid=9732 vsize=28768336 memory=1040 CPUtime=3.21 cores=0-7
/proc/9734/task/9749/stat : 9749 (java) S 9732 9732 8203 0 -1 1077944384 11678 0 0 0 319 2 0 0 20 0 28 0 447807658 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488316287472 140488820554370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9750] ppid=9732 vsize=28768336 memory=4132 CPUtime=3.36 cores=0-7
/proc/9734/task/9750/stat : 9750 (java) S 9732 9732 8203 0 -1 1077944384 20558 0 0 0 331 5 0 0 20 0 28 0 447807658 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488315235184 140488820554370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9751] ppid=9732 vsize=28768336 memory=780 CPUtime=0.99 cores=0-7
/proc/9734/task/9751/stat : 9751 (java) S 9732 9732 8203 0 -1 1077944384 12509 0 0 0 96 3 0 0 20 0 28 0 447807658 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488196877040 140488820554370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9752] ppid=9732 vsize=28768336 memory=2832 CPUtime=0 cores=0-7
/proc/9734/task/9752/stat : 9752 (java) S 9732 9732 8203 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447807658 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488195823968 140488820553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9753] ppid=9732 vsize=28768336 memory=1720 CPUtime=1.02 cores=0-7
/proc/9734/task/9753/stat : 9753 (java) S 9732 9732 8203 0 -1 1077944384 6221 0 0 0 25 77 0 0 20 0 28 0 447807658 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488194771248 140488820554370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9754] ppid=9732 vsize=28768336 memory=1200 CPUtime=2493.68 cores=0-7
/proc/9734/task/9754/stat : 9754 (java) R 9732 9732 8203 0 -1 4202560 20390 0 0 0 249353 15 0 0 20 0 28 0 447807826 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488183692120 140488466680900 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9755] ppid=9732 vsize=28768336 memory=1456 CPUtime=2497.44 cores=0-7
/proc/9734/task/9755/stat : 9755 (java) R 9732 9732 8203 0 -1 4202560 15140 0 0 0 249729 15 0 0 20 0 28 0 447807826 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488182640440 140488466571246 0 4 0 16800975 0 0 0 -1 6 0 0 14 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9756] ppid=9732 vsize=28768336 memory=1456 CPUtime=2495.99 cores=0-7
/proc/9734/task/9756/stat : 9756 (java) R 9732 9732 8203 0 -1 4202560 52525 0 0 0 249445 154 0 0 20 0 28 0 447807827 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488181588808 140488468222432 0 4 0 16800975 0 0 0 -1 3 0 0 16 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9757] ppid=9732 vsize=28768336 memory=2358792 CPUtime=2488.91 cores=0-7
/proc/9734/task/9757/stat : 9757 (java) R 9732 9732 8203 0 -1 4202560 44901 0 0 0 248780 111 0 0 20 0 28 0 447807827 29458776064 589698 33554432000 4194304 4196468 140726511519600 140488180535736 140488466680684 0 4 0 16800975 0 0 0 -1 5 0 0 19 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9758] ppid=9732 vsize=28768336 memory=1428 CPUtime=2493.36 cores=0-7
/proc/9734/task/9758/stat : 9758 (java) R 9732 9732 8203 0 -1 4202560 20196 0 0 0 249311 25 0 0 20 0 28 0 447807827 29458776064 589698 33554432000 4194304 4196468 140726511519600 140487910478248 140488468221128 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9759] ppid=9732 vsize=28768336 memory=11624 CPUtime=2494.88 cores=0-7
/proc/9734/task/9759/stat : 9759 (java) R 9732 9732 8203 0 -1 4202560 15825 0 0 0 249473 15 0 0 20 0 28 0 447807827 29458776064 589698 33554432000 4194304 4196468 140726511519600 140487909425296 140488467003384 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9760] ppid=9732 vsize=28768336 memory=740 CPUtime=2494.27 cores=0-7
/proc/9734/task/9760/stat : 9760 (java) R 9732 9732 8203 0 -1 4202560 22244 0 0 0 249396 31 0 0 20 0 28 0 447807827 29458776064 589698 33554432000 4194304 4196468 140726511519600 140487908374976 140488466982630 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
[pid=9734/tid=9761] ppid=9732 vsize=28768336 memory=1056 CPUtime=2488.8 cores=0-7
/proc/9734/task/9761/stat : 9761 (java) R 9732 9732 8203 0 -1 4202560 25671 0 0 0 248846 34 0 0 20 0 28 0 447807828 29458776064 589698 33554432000 4194304 4196468 140726511519600 140487907319672 140488466983187 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 8699904 140726511522794 140726511522966 140726511522966 140726511525839 0
Current children cumulated CPU time: 20036.7 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2360248 KiB

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

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

[startup+2520.12 s]
# the end of solver process 9734 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20027.9 s, system=9.5753 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): 20037.4
CPU user time (s): 20027.9
CPU system time (s): 9.5753
CPU usage (%): 795.098
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 2552148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20027.9
system time used= 9.57531
maximum resident set size= 2553044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 592085
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 161080
involuntary context switches= 230415


# summary of solver processes directly reported to runsolver:
#   pid: 9732,9734
#   total CPU time (s): 20037.4
#   total CPU user time (s): 20027.9
#   total CPU system time (s): 9.5753

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.5522 second user time and 29.5631 second system time

The end

Launcher Data 

Begin job on node117 at 2019-09-17 13:10:15
IDJOB=4399665
IDBENCH=141716
IDSOLVER=2854
FILE ID=node117/4399665-1568718658
RUNJOBID= node117-1568711379-8230
PBS_JOBID= 21703930
Free space on /tmp= 61184 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-35-123.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-4399665-1568718658/watcher-4399665-1568718658 -o /tmp/evaluation-result-4399665-1568718658/solver-4399665-1568718658 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568711379-8230 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1867700461 HOME/instance-4399665-1568718658.xml

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

MD5SUM BENCH= 45744cc354831d0c2f8e03e2f88be5e0
RANDOM SEED=1867700461

node117.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.75
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.75
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.75
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.75
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:        30717960 kB
MemAvailable:   31853096 kB
Buffers:          140360 kB
Cached:          1276952 kB
SwapCached:        49604 kB
Active:           586748 kB
Inactive:         884136 kB
Active(anon):       4692 kB
Inactive(anon):    87576 kB
Active(file):     582056 kB
Inactive(file):   796560 kB
Unevictable:      109132 kB
Mlocked:          109132 kB
SwapTotal:      67108860 kB
SwapFree:       66954252 kB
Dirty:             26240 kB
Writeback:             0 kB
AnonPages:        119940 kB
Mapped:            42872 kB
Shmem:             30208 kB
Slab:             173052 kB
SReclaimable:     144712 kB
SUnreclaim:        28340 kB
KernelStack:        3728 kB
PageTables:         4864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61160 MiB
End job on node117 at 2019-09-17 13:52:15