Trace number 4393703

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 2019-06-14 parallel? (TO) 20059.4 2520.1

General information on the benchmark

NameXCSP19/ConsecutiveSquarePacking/
ConsecutiveSquarePacking-sp-28-088.xml
MD5SUM86f96609b8582eec836d4ad8d9b44327
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 variables56
Number of constraints378
Number of domains28
Minimum domain size61
Maximum domain size88
Distribution of domain sizes[{"size":61,"count":2},{"size":62,"count":2},{"size":63,"count":2},{"size":64,"count":2},{"size":65,"count":2},{"size":66,"count":2},{"size":67,"count":2},{"size":68,"count":2},{"size":69,"count":2},{"size":70,"count":2},{"size":71,"count":2},{"size":72,"count":2},{"size":73,"count":2},{"size":74,"count":2},{"size":75,"count":2},{"size":76,"count":2},{"size":77,"count":2},{"size":78,"count":2},{"size":79,"count":2},{"size":80,"count":2},{"size":81,"count":2},{"size":82,"count":2},{"size":83,"count":2},{"size":84,"count":2},{"size":85,"count":2},{"size":86,"count":2},{"size":87,"count":2},{"size":88,"count":2}]
Minimum variable degree27
Maximum variable degree27
Distribution of variable degrees[{"degree":27,"count":56}]
Minimum constraint arity4
Maximum constraint arity4
Distribution of constraint arities[{"arity":4,"count":378}]
Number of extensional constraints0
Number of intensional constraints378
Distribution of constraint types[{"type":"intension","count":378}]
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-4393703-1568450342.xml"  -tl '20160s' -p 8
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4393703-1568450342.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.29	c parse instance...
4.88/1.48	c solve instance...
20058.80/2520.07	s UNKNOWN
20058.80/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 (10815 MiB free)
  memory of node 1: 16384 MiB (13292 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393703-1568450342/watcher-4393703-1568450342 -o /tmp/evaluation-result-4393703-1568450342/solver-4393703-1568450342 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568445256-12826 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 647302390 HOME/instance-4393703-1568450342.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=14111, runsolver pid=14108

[startup+0.100159 s]*
/proc/loadavg: 4.96 4.96 5.17 2/211 14132
/proc/meminfo: memFree=24670496/32770624 swapFree=67108848/67108860
[pid=14111] ppid=14108 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14111/stat : 14111 (xcsp3-exec) S 14108 14111 12799 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420971545 115843072 363 33554432000 4194304 5098028 140724102959296 140724102957400 140323335529084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33509376 140724102964086 140724102964329 140724102964329 140724102967242 0
/proc/14111/statm: 28282 363 304 221 0 87 0
[pid=14113] ppid=14111 vsize=28227388 memory=29944 CPUtime=0.13 cores=0-7
/proc/14113/stat : 14113 (java) S 14111 14111 12799 0 -1 1077944320 5901 0 0 0 12 1 0 0 20 0 20 0 420971545 28904845312 7486 33554432000 4194304 4196468 140720423858672 140720423841216 140617408028407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
/proc/14113/statm: 7056847 7486 3152 1 0 7019032 0
[pid=14113/tid=14114] ppid=14111 vsize=28227388 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/14113/task/14114/stat : 14114 (java) R 14111 14111 12799 0 -1 4202560 3797 0 0 0 8 0 0 0 20 0 20 0 420971546 28904845312 7486 33554432000 4194304 4196468 140720423858672 140617412260320 140617044798746 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14115] ppid=14111 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/14113/task/14115/stat : 14115 (java) S 14111 14111 12799 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420971546 28904845312 7486 33554432000 4194304 4196468 140720423858672 140617364581392 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14116] ppid=14111 vsize=28227388 memory=139729413736064 CPUtime=0 cores=0-7
/proc/14113/task/14116/stat : 14116 (java) S 14111 14111 12799 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420971546 28904845312 7486 33554432000 4194304 4196468 140720423858672 140616958860432 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14117] ppid=14111 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14117/stat : 14117 (java) S 14111 14111 12799 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420971546 28904845312 7486 33554432000 4194304 4196468 140720423858672 140616957807376 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14118] ppid=14111 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14118/stat : 14118 (java) S 14111 14111 12799 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420971546 28904845312 7486 33554432000 4194304 4196468 140720423858672 140616956754832 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14119] ppid=14111 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14119/stat : 14119 (java) S 14111 14111 12799 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420971546 28904845312 7486 33554432000 4194304 4196468 140720423858672 140616955701776 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14120] ppid=14111 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14113/task/14120/stat : 14120 (java) S 14111 14111 12799 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420971546 28904845312 7486 33554432000 4194304 4196468 140720423858672 140616954649232 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14121] ppid=14111 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14121/stat : 14121 (java) S 14111 14111 12799 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420971546 28904845312 7486 33554432000 4194304 4196468 140720423858672 140616953596176 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14122] ppid=14111 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14122/stat : 14122 (java) S 14111 14111 12799 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420971546 28904845312 7486 33554432000 4194304 4196468 140720423858672 140616952543632 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14123] ppid=14111 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14123/stat : 14123 (java) S 14111 14111 12799 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420971548 28904845312 7486 33554432000 4194304 4196468 140720423858672 140616006298352 140617408039554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14124] ppid=14111 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14124/stat : 14124 (java) S 14111 14111 12799 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420971548 28904845312 7486 33554432000 4194304 4196468 140720423858672 140616005244576 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14125] ppid=14111 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14125/stat : 14125 (java) S 14111 14111 12799 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420971549 28904845312 7486 33554432000 4194304 4196468 140720423858672 140616004191472 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14126] ppid=14111 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14126/stat : 14126 (java) S 14111 14111 12799 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420971551 28904845312 7486 33554432000 4194304 4196468 140720423858672 140616003140048 140617408047003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14127] ppid=14111 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14127/stat : 14127 (java) S 14111 14111 12799 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 20 0 420971551 28904845312 7486 33554432000 4194304 4196468 140720423858672 140616002087152 140617408039554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14128] ppid=14111 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14128/stat : 14128 (java) S 14111 14111 12799 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420971551 28904845312 7486 33554432000 4194304 4196468 140720423858672 140616001034608 140617408039554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14129] ppid=14111 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14129/stat : 14129 (java) S 14111 14111 12799 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420971551 28904845312 7486 33554432000 4194304 4196468 140720423858672 140615999981552 140617408039554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14130] ppid=14111 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/14113/task/14130/stat : 14130 (java) S 14111 14111 12799 0 -1 1077944384 370 0 0 0 2 0 0 0 20 0 20 0 420971551 28904845312 7486 33554432000 4194304 4196468 140720423858672 140615998929008 140617408039554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14131] ppid=14111 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14131/stat : 14131 (java) S 14111 14111 12799 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420971551 28904845312 7486 33554432000 4194304 4196468 140720423858672 140615997877216 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14132] ppid=14111 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14113/task/14132/stat : 14132 (java) S 14111 14111 12799 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420971552 28904845312 7486 33554432000 4194304 4196468 140720423858672 140615996824752 140617408039554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31396 KiB

[startup+0.210295 s]*
/proc/loadavg: 4.96 4.96 5.17 1/211 14132
/proc/meminfo: memFree=24657956/32770624 swapFree=67108848/67108860
[pid=14111] ppid=14108 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14111/stat : 14111 (xcsp3-exec) S 14108 14111 12799 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420971545 115843072 363 33554432000 4194304 5098028 140724102959296 140724102957400 140323335529084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33509376 140724102964086 140724102964329 140724102964329 140724102967242 0
/proc/14111/statm: 28282 363 304 221 0 87 0
[pid=14113] ppid=14111 vsize=28227388 memory=41024 CPUtime=0.34 cores=0-7
/proc/14113/stat : 14113 (java) S 14111 14111 12799 0 -1 1077944320 9498 0 0 0 31 3 0 0 20 0 20 0 420971545 28904845312 10256 33554432000 4194304 4196468 140720423858672 140720423841216 140617408028407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
/proc/14113/statm: 7056847 10256 3300 1 0 7019032 0
[pid=14113/tid=14114] ppid=14111 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/14113/task/14114/stat : 14114 (java) R 14111 14111 12799 0 -1 4202560 6655 0 0 0 18 1 0 0 20 0 20 0 420971546 28904845312 10256 33554432000 4194304 4196468 140720423858672 140617412268080 140617392108894 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14115] ppid=14111 vsize=28227388 memory=342 CPUtime=0 cores=0-7
/proc/14113/task/14115/stat : 14115 (java) S 14111 14111 12799 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420971546 28904845312 10256 33554432000 4194304 4196468 140720423858672 140617364581392 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14116] ppid=14111 vsize=28227388 memory=139729413749390 CPUtime=0 cores=0-7
/proc/14113/task/14116/stat : 14116 (java) S 14111 14111 12799 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420971546 28904845312 10256 33554432000 4194304 4196468 140720423858672 140616958860432 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14117] ppid=14111 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14113/task/14117/stat : 14117 (java) S 14111 14111 12799 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420971546 28904845312 10256 33554432000 4194304 4196468 140720423858672 140616957807376 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14118] ppid=14111 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14118/stat : 14118 (java) S 14111 14111 12799 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420971546 28904845312 10256 33554432000 4194304 4196468 140720423858672 140616956754832 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14119] ppid=14111 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14119/stat : 14119 (java) S 14111 14111 12799 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420971546 28904845312 10256 33554432000 4194304 4196468 140720423858672 140616955701776 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14120] ppid=14111 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14113/task/14120/stat : 14120 (java) S 14111 14111 12799 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420971546 28904845312 10256 33554432000 4194304 4196468 140720423858672 140616954649232 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14121] ppid=14111 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14121/stat : 14121 (java) S 14111 14111 12799 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420971546 28904845312 10256 33554432000 4194304 4196468 140720423858672 140616953596176 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14122] ppid=14111 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14122/stat : 14122 (java) S 14111 14111 12799 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420971546 28904845312 10256 33554432000 4194304 4196468 140720423858672 140616952543632 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14123] ppid=14111 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14123/stat : 14123 (java) S 14111 14111 12799 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420971548 28904845312 10256 33554432000 4194304 4196468 140720423858672 140616006298352 140617408039554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14124] ppid=14111 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14124/stat : 14124 (java) S 14111 14111 12799 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420971548 28904845312 10256 33554432000 4194304 4196468 140720423858672 140616005244576 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14125] ppid=14111 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14125/stat : 14125 (java) S 14111 14111 12799 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420971549 28904845312 10256 33554432000 4194304 4196468 140720423858672 140616004191472 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14126] ppid=14111 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14126/stat : 14126 (java) S 14111 14111 12799 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420971551 28904845312 10256 33554432000 4194304 4196468 140720423858672 140616003140048 140617408047003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14127] ppid=14111 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/14113/task/14127/stat : 14127 (java) S 14111 14111 12799 0 -1 1077944384 512 0 0 0 1 0 0 0 20 0 20 0 420971551 28904845312 10256 33554432000 4194304 4196468 140720423858672 140616002087152 140617408039554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14128] ppid=14111 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/14113/task/14128/stat : 14128 (java) S 14111 14111 12799 0 -1 1077944384 251 0 0 0 2 0 0 0 20 0 20 0 420971551 28904845312 10256 33554432000 4194304 4196468 140720423858672 140616001034608 140617408039554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14129] ppid=14111 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14113/task/14129/stat : 14129 (java) S 14111 14111 12799 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 420971551 28904845312 10256 33554432000 4194304 4196468 140720423858672 140615999981552 140617408039554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14130] ppid=14111 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/14113/task/14130/stat : 14130 (java) R 14111 14111 12799 0 -1 4202560 753 0 0 0 8 0 0 0 20 0 20 0 420971551 28904845312 10256 33554432000 4194304 4196468 140720423858672 140615998929008 140617408042289 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14131] ppid=14111 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14131/stat : 14131 (java) S 14111 14111 12799 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420971551 28904845312 10256 33554432000 4194304 4196468 140720423858672 140615997877216 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14132] ppid=14111 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/14113/task/14132/stat : 14132 (java) S 14111 14111 12799 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420971552 28904845312 10256 33554432000 4194304 4196468 140720423858672 140615996824752 140617408039554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42476 KiB

[startup+0.309576 s]*
/proc/loadavg: 4.96 4.96 5.17 3/211 14132
/proc/meminfo: memFree=24651476/32770624 swapFree=67108848/67108860
[pid=14111] ppid=14108 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14111/stat : 14111 (xcsp3-exec) S 14108 14111 12799 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420971545 115843072 363 33554432000 4194304 5098028 140724102959296 140724102957400 140323335529084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33509376 140724102964086 140724102964329 140724102964329 140724102967242 0
/proc/14111/statm: 28282 363 304 221 0 87 0
[pid=14113] ppid=14111 vsize=28231644 memory=49900 CPUtime=0.53 cores=0-7
/proc/14113/stat : 14113 (java) S 14111 14111 12799 0 -1 1077944320 10861 0 0 0 49 4 0 0 20 0 20 0 420971545 28909203456 12475 33554432000 4194304 4196468 140720423858672 140720423841216 140617408028407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
/proc/14113/statm: 7057911 12475 3336 1 0 7019032 0
[pid=14113/tid=14114] ppid=14111 vsize=28231644 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/14113/task/14114/stat : 14114 (java) R 14111 14111 12799 0 -1 4202560 7768 0 0 0 28 2 0 0 20 0 20 0 420971546 28909203456 12475 33554432000 4194304 4196468 140720423858672 140617412259520 140617392108894 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14115] ppid=14111 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14115/stat : 14115 (java) S 14111 14111 12799 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420971546 28909203456 12475 33554432000 4194304 4196468 140720423858672 140617364581392 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14116] ppid=14111 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14116/stat : 14116 (java) S 14111 14111 12799 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420971546 28909203456 12475 33554432000 4194304 4196468 140720423858672 140616958860432 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14117] ppid=14111 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14117/stat : 14117 (java) S 14111 14111 12799 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420971546 28909203456 12475 33554432000 4194304 4196468 140720423858672 140616957807376 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14118] ppid=14111 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14118/stat : 14118 (java) S 14111 14111 12799 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420971546 28909203456 12475 33554432000 4194304 4196468 140720423858672 140616956754832 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14119] ppid=14111 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14119/stat : 14119 (java) S 14111 14111 12799 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420971546 28909203456 12475 33554432000 4194304 4196468 140720423858672 140616955701776 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14120] ppid=14111 vsize=28231644 memory=139729311984303 CPUtime=0 cores=0-7
/proc/14113/task/14120/stat : 14120 (java) S 14111 14111 12799 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420971546 28909203456 12475 33554432000 4194304 4196468 140720423858672 140616954649232 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14121] ppid=14111 vsize=28231644 memory=139729311986608 CPUtime=0 cores=0-7
/proc/14113/task/14121/stat : 14121 (java) S 14111 14111 12799 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420971546 28909203456 12475 33554432000 4194304 4196468 140720423858672 140616953596176 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14122] ppid=14111 vsize=28231644 memory=139729311988912 CPUtime=0 cores=0-7
/proc/14113/task/14122/stat : 14122 (java) S 14111 14111 12799 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420971546 28909203456 12475 33554432000 4194304 4196468 140720423858672 140616952543632 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14123] ppid=14111 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14123/stat : 14123 (java) S 14111 14111 12799 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420971548 28909203456 12475 33554432000 4194304 4196468 140720423858672 140616006298352 140617408039554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14124] ppid=14111 vsize=28231644 memory=279458623991696 CPUtime=0 cores=0-7
/proc/14113/task/14124/stat : 14124 (java) S 14111 14111 12799 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420971548 28909203456 12475 33554432000 4194304 4196468 140720423858672 140616005244576 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14125] ppid=14111 vsize=28231644 memory=279458623989392 CPUtime=0 cores=0-7
/proc/14113/task/14125/stat : 14125 (java) S 14111 14111 12799 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420971549 28909203456 12475 33554432000 4194304 4196468 140720423858672 140616004191472 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14126] ppid=14111 vsize=28231644 memory=279458623996304 CPUtime=0 cores=0-7
/proc/14113/task/14126/stat : 14126 (java) S 14111 14111 12799 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420971551 28909203456 12475 33554432000 4194304 4196468 140720423858672 140616003140048 140617408047003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14127] ppid=14111 vsize=28231644 memory=279458623937584 CPUtime=0.02 cores=0-7
/proc/14113/task/14127/stat : 14127 (java) R 14111 14111 12799 0 -1 4202560 615 0 0 0 2 0 0 0 20 0 20 0 420971551 28909203456 12475 33554432000 4194304 4196468 140720423858672 140616002087152 140617385855992 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14128] ppid=14111 vsize=28231644 memory=279458624010128 CPUtime=0.03 cores=0-7
/proc/14113/task/14128/stat : 14128 (java) S 14111 14111 12799 0 -1 1077944384 261 0 0 0 3 0 0 0 20 0 20 0 420971551 28909203456 12475 33554432000 4194304 4196468 140720423858672 140616001034608 140617408039554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14129] ppid=14111 vsize=28231644 memory=279458624017040 CPUtime=0.01 cores=0-7
/proc/14113/task/14129/stat : 14129 (java) S 14111 14111 12799 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 20 0 420971551 28909203456 12475 33554432000 4194304 4196468 140720423858672 140615999981552 140617408039554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14130] ppid=14111 vsize=28231644 memory=279458624014736 CPUtime=0.12 cores=0-7
/proc/14113/task/14130/stat : 14130 (java) S 14111 14111 12799 0 -1 1077944384 859 0 0 0 12 0 0 0 20 0 20 0 420971551 28909203456 12475 33554432000 4194304 4196468 140720423858672 140615998929008 140617408039554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14131] ppid=14111 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14131/stat : 14131 (java) S 14111 14111 12799 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420971551 28909203456 12475 33554432000 4194304 4196468 140720423858672 140615997877216 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14132] ppid=14111 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/14113/task/14132/stat : 14132 (java) S 14111 14111 12799 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420971552 28909203456 12475 33554432000 4194304 4196468 140720423858672 140615996824752 140617408039554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51352 KiB

[startup+0.70095 s]
/proc/loadavg: 4.96 4.96 5.17 5/211 14132
/proc/meminfo: memFree=24634296/32770624 swapFree=67108848/67108860
[pid=14111] ppid=14108 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14111/stat : 14111 (xcsp3-exec) S 14108 14111 12799 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420971545 115843072 363 33554432000 4194304 5098028 140724102959296 140724102957400 140323335529084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33509376 140724102964086 140724102964329 140724102964329 140724102967242 0
/proc/14111/statm: 28282 363 304 221 0 87 0
[pid=14113] ppid=14111 vsize=28233768 memory=96004 CPUtime=1.8 cores=0-7
/proc/14113/stat : 14113 (java) S 14111 14111 12799 0 -1 1077944320 16157 0 0 0 174 6 0 0 20 0 20 0 420971545 28911378432 24001 33554432000 4194304 4196468 140720423858672 140720423841216 140617408028407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
/proc/14113/statm: 7058442 24001 3451 1 0 7019544 0
[pid=14113/tid=14114] ppid=14111 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7
/proc/14113/task/14114/stat : 14114 (java) R 14111 14111 12799 0 -1 4202560 9377 0 0 0 65 3 0 0 20 0 20 0 420971546 28911378432 24001 33554432000 4194304 4196468 140720423858672 140617412262160 140617044857677 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14115] ppid=14111 vsize=28233768 memory=139729312195440 CPUtime=0 cores=0-7
/proc/14113/task/14115/stat : 14115 (java) S 14111 14111 12799 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420971546 28911378432 24001 33554432000 4194304 4196468 140720423858672 140617364581392 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14116] ppid=14111 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/14113/task/14116/stat : 14116 (java) S 14111 14111 12799 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420971546 28911378432 24001 33554432000 4194304 4196468 140720423858672 140616958860432 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14117] ppid=14111 vsize=28233768 memory=7184 CPUtime=0 cores=0-7
/proc/14113/task/14117/stat : 14117 (java) S 14111 14111 12799 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420971546 28911378432 24001 33554432000 4194304 4196468 140720423858672 140616957807376 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0

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

[pid=14113/tid=14140] ppid=14111 vsize=28768328 memory=1452 CPUtime=2412.65 cores=0-7
/proc/14113/task/14140/stat : 14140 (java) S 14111 14111 12799 0 -1 1077944384 26315 0 0 0 241216 49 0 0 20 0 28 0 420971698 29458767872 264034 33554432000 4194304 4196468 140720423858672 140615978148304 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
Current children cumulated CPU time: 19440.4 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1057588 KiB

[startup+2502.3 s]
/proc/loadavg: 8.59 8.34 8.10 9/221 14360
/proc/meminfo: memFree=23711696/32770624 swapFree=67108848/67108860
[pid=14111] ppid=14108 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14111/stat : 14111 (xcsp3-exec) S 14108 14111 12799 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420971545 115843072 363 33554432000 4194304 5098028 140724102959296 140724102957400 140323335529084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33509376 140724102964086 140724102964329 140724102964329 140724102967242 0
/proc/14111/statm: 28282 363 304 221 0 87 0
[pid=14113] ppid=14111 vsize=28768328 memory=978772 CPUtime=19917.9 cores=0-7
/proc/14113/stat : 14113 (java) S 14111 14111 12799 0 -1 1077944320 699577 0 0 0 1990956 834 0 0 20 0 28 0 420971545 29458767872 244693 33554432000 4194304 4196468 140720423858672 140720423841216 140617408028407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
/proc/14113/statm: 7192082 244693 3559 1 0 7153184 0
[pid=14113/tid=14114] ppid=14111 vsize=28768328 memory=983864 CPUtime=1.44 cores=0-7
/proc/14113/task/14114/stat : 14114 (java) S 14111 14111 12799 0 -1 1077944384 10518 0 0 0 140 4 0 0 20 0 28 0 420971546 29458767872 244693 33554432000 4194304 4196468 140720423858672 140617412269184 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14115] ppid=14111 vsize=28768328 memory=1452 CPUtime=11.18 cores=0-7
/proc/14113/task/14115/stat : 14115 (java) S 14111 14111 12799 0 -1 1077944384 22394 0 0 0 1076 42 0 0 20 0 28 0 420971546 29458767872 244693 33554432000 4194304 4196468 140720423858672 140617364581392 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14116] ppid=14111 vsize=28768328 memory=981852 CPUtime=11.23 cores=0-7
/proc/14113/task/14116/stat : 14116 (java) S 14111 14111 12799 0 -1 1077944384 24016 0 0 0 1081 42 0 0 20 0 28 0 420971546 29458767872 244693 33554432000 4194304 4196468 140720423858672 140616958860432 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14117] ppid=14111 vsize=28768328 memory=1452 CPUtime=11.24 cores=0-7
/proc/14113/task/14117/stat : 14117 (java) S 14111 14111 12799 0 -1 1077944384 27289 0 0 0 1083 41 0 0 20 0 28 0 420971546 29458767872 244693 33554432000 4194304 4196468 140720423858672 140616957807376 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14118] ppid=14111 vsize=28768328 memory=1027884 CPUtime=11.32 cores=0-7
/proc/14113/task/14118/stat : 14118 (java) S 14111 14111 12799 0 -1 1077944384 23431 0 0 0 1089 43 0 0 20 0 28 0 420971546 29458767872 244693 33554432000 4194304 4196468 140720423858672 140616956754832 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14119] ppid=14111 vsize=28768328 memory=1452 CPUtime=11.29 cores=0-7
/proc/14113/task/14119/stat : 14119 (java) S 14111 14111 12799 0 -1 1077944384 22592 0 0 0 1086 43 0 0 20 0 28 0 420971546 29458767872 244693 33554432000 4194304 4196468 140720423858672 140616955701776 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14120] ppid=14111 vsize=28768328 memory=979800 CPUtime=11.27 cores=0-7
/proc/14113/task/14120/stat : 14120 (java) S 14111 14111 12799 0 -1 1077944384 25508 0 0 0 1086 41 0 0 20 0 28 0 420971546 29458767872 244693 33554432000 4194304 4196468 140720423858672 140616954649232 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14121] ppid=14111 vsize=28768328 memory=-3622645143214314312 CPUtime=11.13 cores=0-7
/proc/14113/task/14121/stat : 14121 (java) S 14111 14111 12799 0 -1 1077944384 26599 0 0 0 1072 41 0 0 20 0 28 0 420971546 29458767872 244693 33554432000 4194304 4196468 140720423858672 140616953596176 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14122] ppid=14111 vsize=28768328 memory=7184 CPUtime=11.19 cores=0-7
/proc/14113/task/14122/stat : 14122 (java) S 14111 14111 12799 0 -1 1077944384 25622 0 0 0 1075 44 0 0 20 0 28 0 420971546 29458767872 244693 33554432000 4194304 4196468 140720423858672 140616952543632 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14123] ppid=14111 vsize=28768328 memory=1452 CPUtime=3.03 cores=0-7
/proc/14113/task/14123/stat : 14123 (java) S 14111 14111 12799 0 -1 1077944384 109529 0 0 0 193 110 0 0 20 0 28 0 420971548 29458767872 244693 33554432000 4194304 4196468 140720423858672 140616006298352 140617408039554 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14124] ppid=14111 vsize=28768328 memory=995576 CPUtime=0 cores=0-7
/proc/14113/task/14124/stat : 14124 (java) S 14111 14111 12799 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 420971548 29458767872 244693 33554432000 4194304 4196468 140720423858672 140616005244640 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14125] ppid=14111 vsize=28768328 memory=981852 CPUtime=0 cores=0-7
/proc/14113/task/14125/stat : 14125 (java) S 14111 14111 12799 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 420971549 29458767872 244693 33554432000 4194304 4196468 140720423858672 140616004191488 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14126] ppid=14111 vsize=28768328 memory=3924 CPUtime=0 cores=0-7
/proc/14113/task/14126/stat : 14126 (java) S 14111 14111 12799 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420971551 29458767872 244693 33554432000 4194304 4196468 140720423858672 140616003140048 140617408047003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14127] ppid=14111 vsize=28768328 memory=504 CPUtime=5.07 cores=0-7
/proc/14113/task/14127/stat : 14127 (java) S 14111 14111 12799 0 -1 1077944384 36116 0 0 0 499 8 0 0 20 0 28 0 420971551 29458767872 244693 33554432000 4194304 4196468 140720423858672 140616002087152 140617408039554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14128] ppid=14111 vsize=28768328 memory=1728 CPUtime=5.38 cores=0-7
/proc/14113/task/14128/stat : 14128 (java) S 14111 14111 12799 0 -1 1077944384 32366 0 0 0 533 5 0 0 20 0 28 0 420971551 29458767872 244693 33554432000 4194304 4196468 140720423858672 140616001034608 140617408039554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14129] ppid=14111 vsize=28768328 memory=1452 CPUtime=4.89 cores=0-7
/proc/14113/task/14129/stat : 14129 (java) S 14111 14111 12799 0 -1 1077944384 31837 0 0 0 484 5 0 0 20 0 28 0 420971551 29458767872 244693 33554432000 4194304 4196468 140720423858672 140615999981552 140617408039554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14130] ppid=14111 vsize=28768328 memory=1452 CPUtime=1.27 cores=0-7
/proc/14113/task/14130/stat : 14130 (java) S 14111 14111 12799 0 -1 1077944384 18805 0 0 0 123 4 0 0 20 0 28 0 420971551 29458767872 244693 33554432000 4194304 4196468 140720423858672 140615998929008 140617408039554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14131] ppid=14111 vsize=28768328 memory=986360 CPUtime=0 cores=0-7
/proc/14113/task/14131/stat : 14131 (java) S 14111 14111 12799 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420971551 29458767872 244693 33554432000 4194304 4196468 140720423858672 140615997877216 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14132] ppid=14111 vsize=28768328 memory=3924 CPUtime=0.94 cores=0-7
/proc/14113/task/14132/stat : 14132 (java) S 14111 14111 12799 0 -1 1077944384 6456 0 0 0 68 26 0 0 20 0 28 0 420971552 29458767872 244693 33554432000 4194304 4196468 140720423858672 140615996824752 140617408039554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14133] ppid=14111 vsize=28768328 memory=1452 CPUtime=2478.67 cores=0-7
/proc/14113/task/14133/stat : 14133 (java) R 14111 14111 12799 0 -1 4202560 18885 0 0 0 247849 18 0 0 20 0 28 0 420971698 29458767872 244693 33554432000 4194304 4196468 140720423858672 140615985515408 140617053340323 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14134] ppid=14111 vsize=28768328 memory=1452 CPUtime=2473.77 cores=0-7
/proc/14113/task/14134/stat : 14134 (java) R 14111 14111 12799 0 -1 4202560 88033 0 0 0 247254 123 0 0 20 0 28 0 420971698 29458767872 244693 33554432000 4194304 4196468 140720423858672 140615984464080 140617046393764 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14135] ppid=14111 vsize=28768328 memory=986872 CPUtime=2473.5 cores=0-7
/proc/14113/task/14135/stat : 14135 (java) R 14111 14111 12799 0 -1 4202560 14491 0 0 0 247336 14 0 0 20 0 28 0 420971698 29458767872 244693 33554432000 4194304 4196468 140720423858672 140615983411080 140617053340116 0 4 0 16800975 0 0 0 -1 7 0 0 15 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14136] ppid=14111 vsize=28768328 memory=1452 CPUtime=2470.21 cores=0-7
/proc/14113/task/14136/stat : 14136 (java) R 14111 14111 12799 0 -1 4202560 43329 0 0 0 246944 77 0 0 20 0 28 0 420971698 29458767872 244693 33554432000 4194304 4196468 140720423858672 140615982358840 140617058851055 0 4 0 16800975 0 0 0 -1 5 0 0 17 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14137] ppid=14111 vsize=28768328 memory=1452 CPUtime=2475.55 cores=0-7
/proc/14113/task/14137/stat : 14137 (java) R 14111 14111 12799 0 -1 4202560 19695 0 0 0 247538 17 0 0 20 0 28 0 420971698 29458767872 244693 33554432000 4194304 4196468 140720423858672 140615981308352 140617053503065 0 4 0 16800975 0 0 0 -1 6 0 0 17 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14138] ppid=14111 vsize=28768328 memory=3924 CPUtime=2482.57 cores=0-7
/proc/14113/task/14138/stat : 14138 (java) R 14111 14111 12799 0 -1 4202560 16299 0 0 0 248241 16 0 0 20 0 28 0 420971698 29458767872 244693 33554432000 4194304 4196468 140720423858672 140615980252936 140617054416856 0 4 0 16800975 0 0 0 -1 4 0 0 14 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14139] ppid=14111 vsize=28768328 memory=41928 CPUtime=2479.73 cores=0-7
/proc/14113/task/14139/stat : 14139 (java) R 14111 14111 12799 0 -1 4202560 27912 0 0 0 247922 51 0 0 20 0 28 0 420971698 29458767872 244693 33554432000 4194304 4196468 140720423858672 140615979200808 140617054026102 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14140] ppid=14111 vsize=28768328 memory=1452 CPUtime=2471.78 cores=0-7
/proc/14113/task/14140/stat : 14140 (java) R 14111 14111 12799 0 -1 4202560 26446 0 0 0 247129 49 0 0 20 0 28 0 420971698 29458767872 244693 33554432000 4194304 4196468 140720423858672 140615978148264 140617053339631 0 4 0 16800975 0 0 0 -1 3 0 0 16 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
Current children cumulated CPU time: 19917.9 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 980224 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.68 8.37 8.11 9/221 14360
/proc/meminfo: memFree=23724036/32770624 swapFree=67108848/67108860
[pid=14111] ppid=14108 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14111/stat : 14111 (xcsp3-exec) S 14108 14111 12799 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420971545 115843072 363 33554432000 4194304 5098028 140724102959296 140724102957400 140323335529084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33509376 140724102964086 140724102964329 140724102964329 140724102967242 0
/proc/14111/statm: 28282 363 304 221 0 87 0
[pid=14113] ppid=14111 vsize=28768328 memory=966972 CPUtime=20058.8 cores=0-7
/proc/14113/stat : 14113 (java) S 14111 14111 12799 0 -1 1077944320 699855 0 0 0 2005045 835 0 0 20 0 28 0 420971545 29458767872 241743 33554432000 4194304 4196468 140720423858672 140720423841216 140617408028407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
/proc/14113/statm: 7192082 241743 3559 1 0 7153184 0
[pid=14113/tid=14114] ppid=14111 vsize=28768328 memory=1100 CPUtime=1.44 cores=0-7
/proc/14113/task/14114/stat : 14114 (java) S 14111 14111 12799 0 -1 1077944384 10518 0 0 0 140 4 0 0 20 0 28 0 420971546 29458767872 241743 33554432000 4194304 4196468 140720423858672 140617412269184 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14115] ppid=14111 vsize=28768328 memory=15208 CPUtime=11.25 cores=0-7
/proc/14113/task/14115/stat : 14115 (java) S 14111 14111 12799 0 -1 1077944384 22398 0 0 0 1083 42 0 0 20 0 28 0 420971546 29458767872 241743 33554432000 4194304 4196468 140720423858672 140617364581392 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14116] ppid=14111 vsize=28768328 memory=4872558044660077418 CPUtime=11.3 cores=0-7
/proc/14113/task/14116/stat : 14116 (java) S 14111 14111 12799 0 -1 1077944384 24020 0 0 0 1088 42 0 0 20 0 28 0 420971546 29458767872 241743 33554432000 4194304 4196468 140720423858672 140616958860432 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14117] ppid=14111 vsize=28768328 memory=288230596050944315 CPUtime=11.32 cores=0-7
/proc/14113/task/14117/stat : 14117 (java) S 14111 14111 12799 0 -1 1077944384 27293 0 0 0 1090 42 0 0 20 0 28 0 420971546 29458767872 241743 33554432000 4194304 4196468 140720423858672 140616957807376 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14118] ppid=14111 vsize=28768328 memory=15544015764327050 CPUtime=11.38 cores=0-7
/proc/14113/task/14118/stat : 14118 (java) S 14111 14111 12799 0 -1 1077944384 23432 0 0 0 1095 43 0 0 20 0 28 0 420971546 29458767872 241743 33554432000 4194304 4196468 140720423858672 140616956754832 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14119] ppid=14111 vsize=28768328 memory=15260337452615190 CPUtime=11.35 cores=0-7
/proc/14113/task/14119/stat : 14119 (java) S 14111 14111 12799 0 -1 1077944384 22592 0 0 0 1092 43 0 0 20 0 28 0 420971546 29458767872 241743 33554432000 4194304 4196468 140720423858672 140616955701776 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14120] ppid=14111 vsize=28768328 memory=6720696446780535410 CPUtime=11.34 cores=0-7
/proc/14113/task/14120/stat : 14120 (java) S 14111 14111 12799 0 -1 1077944384 25508 0 0 0 1093 41 0 0 20 0 28 0 420971546 29458767872 241743 33554432000 4194304 4196468 140720423858672 140616954649232 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14121] ppid=14111 vsize=28768328 memory=4376 CPUtime=11.2 cores=0-7
/proc/14113/task/14121/stat : 14121 (java) S 14111 14111 12799 0 -1 1077944384 26600 0 0 0 1079 41 0 0 20 0 28 0 420971546 29458767872 241743 33554432000 4194304 4196468 140720423858672 140616953596176 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14122] ppid=14111 vsize=28768328 memory=4104 CPUtime=11.26 cores=0-7
/proc/14113/task/14122/stat : 14122 (java) S 14111 14111 12799 0 -1 1077944384 25629 0 0 0 1082 44 0 0 20 0 28 0 420971546 29458767872 241743 33554432000 4194304 4196468 140720423858672 140616952543632 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14123] ppid=14111 vsize=28768328 memory=1412 CPUtime=3.05 cores=0-7
/proc/14113/task/14123/stat : 14123 (java) S 14111 14111 12799 0 -1 1077944384 109533 0 0 0 194 111 0 0 20 0 28 0 420971548 29458767872 241743 33554432000 4194304 4196468 140720423858672 140616006298352 140617408039554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14124] ppid=14111 vsize=28768328 memory=3840 CPUtime=0 cores=0-7
/proc/14113/task/14124/stat : 14124 (java) S 14111 14111 12799 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 420971548 29458767872 241743 33554432000 4194304 4196468 140720423858672 140616005244640 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14125] ppid=14111 vsize=28768328 memory=504 CPUtime=0 cores=0-7
/proc/14113/task/14125/stat : 14125 (java) S 14111 14111 12799 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 420971549 29458767872 241743 33554432000 4194304 4196468 140720423858672 140616004191488 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14126] ppid=14111 vsize=28768328 memory=1728 CPUtime=0 cores=0-7
/proc/14113/task/14126/stat : 14126 (java) S 14111 14111 12799 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420971551 29458767872 241743 33554432000 4194304 4196468 140720423858672 140616003140048 140617408047003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14127] ppid=14111 vsize=28768328 memory=924 CPUtime=5.07 cores=0-7
/proc/14113/task/14127/stat : 14127 (java) S 14111 14111 12799 0 -1 1077944384 36116 0 0 0 499 8 0 0 20 0 28 0 420971551 29458767872 241743 33554432000 4194304 4196468 140720423858672 140616002087152 140617408039554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14128] ppid=14111 vsize=28768328 memory=2376 CPUtime=5.38 cores=0-7
/proc/14113/task/14128/stat : 14128 (java) S 14111 14111 12799 0 -1 1077944384 32366 0 0 0 533 5 0 0 20 0 28 0 420971551 29458767872 241743 33554432000 4194304 4196468 140720423858672 140616001034608 140617408039554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14129] ppid=14111 vsize=28768328 memory=2212 CPUtime=4.89 cores=0-7
/proc/14113/task/14129/stat : 14129 (java) S 14111 14111 12799 0 -1 1077944384 31837 0 0 0 484 5 0 0 20 0 28 0 420971551 29458767872 241743 33554432000 4194304 4196468 140720423858672 140615999981552 140617408039554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14130] ppid=14111 vsize=28768328 memory=4276 CPUtime=1.27 cores=0-7
/proc/14113/task/14130/stat : 14130 (java) S 14111 14111 12799 0 -1 1077944384 18805 0 0 0 123 4 0 0 20 0 28 0 420971551 29458767872 241743 33554432000 4194304 4196468 140720423858672 140615998929008 140617408039554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14131] ppid=14111 vsize=28768328 memory=1536 CPUtime=0 cores=0-7
/proc/14113/task/14131/stat : 14131 (java) S 14111 14111 12799 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420971551 29458767872 241743 33554432000 4194304 4196468 140720423858672 140615997877216 140617408038613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14132] ppid=14111 vsize=28768328 memory=932 CPUtime=0.97 cores=0-7
/proc/14113/task/14132/stat : 14132 (java) S 14111 14111 12799 0 -1 1077944384 6458 0 0 0 71 26 0 0 20 0 28 0 420971552 29458767872 241743 33554432000 4194304 4196468 140720423858672 140615996824752 140617408039554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14133] ppid=14111 vsize=28768328 memory=2008 CPUtime=2496.27 cores=0-7
/proc/14113/task/14133/stat : 14133 (java) R 14111 14111 12799 0 -1 4202560 18904 0 0 0 249609 18 0 0 20 0 28 0 420971698 29458767872 241743 33554432000 4194304 4196468 140720423858672 140615985515544 140617053340323 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14134] ppid=14111 vsize=28768328 memory=111636 CPUtime=2491.21 cores=0-7
/proc/14113/task/14134/stat : 14134 (java) R 14111 14111 12799 0 -1 4202560 88143 0 0 0 248998 123 0 0 20 0 28 0 420971698 29458767872 241743 33554432000 4194304 4196468 140720423858672 140615984464280 140617058549922 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14135] ppid=14111 vsize=28768328 memory=804 CPUtime=2490.86 cores=0-7
/proc/14113/task/14135/stat : 14135 (java) R 14111 14111 12799 0 -1 4202560 14506 0 0 0 249072 14 0 0 20 0 28 0 420971698 29458767872 241743 33554432000 4194304 4196468 140720423858672 140615983410896 140617054415685 0 4 0 16800975 0 0 0 -1 7 0 0 15 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14136] ppid=14111 vsize=28768328 memory=1804 CPUtime=2487.76 cores=0-7
/proc/14113/task/14136/stat : 14136 (java) R 14111 14111 12799 0 -1 4202560 43350 0 0 0 248699 77 0 0 20 0 28 0 420971698 29458767872 241743 33554432000 4194304 4196468 140720423858672 140615982358696 140617048693966 0 4 0 16800975 0 0 0 -1 1 0 0 17 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14137] ppid=14111 vsize=28768328 memory=916 CPUtime=2493.16 cores=0-7
/proc/14113/task/14137/stat : 14137 (java) R 14111 14111 12799 0 -1 4202560 19709 0 0 0 249299 17 0 0 20 0 28 0 420971698 29458767872 241743 33554432000 4194304 4196468 140720423858672 140615981305560 140617053502665 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14138] ppid=14111 vsize=28768328 memory=6791534058613427641 CPUtime=2500.14 cores=0-7
/proc/14113/task/14138/stat : 14138 (java) R 14111 14111 12799 0 -1 4202560 16319 0 0 0 249998 16 0 0 20 0 28 0 420971698 29458767872 241743 33554432000 4194304 4196468 140720423858672 140615980252800 140617053340215 0 4 0 16800975 0 0 0 -1 6 0 0 14 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14139] ppid=14111 vsize=28768328 memory=966972 CPUtime=2497.34 cores=0-7
/proc/14113/task/14139/stat : 14139 (java) R 14111 14111 12799 0 -1 4202560 27932 0 0 0 249683 51 0 0 20 0 28 0 420971698 29458767872 241743 33554432000 4194304 4196468 140720423858672 140615979201032 140617057806939 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
[pid=14113/tid=14140] ppid=14111 vsize=28768328 memory=1964 CPUtime=2489.37 cores=0-7
/proc/14113/task/14140/stat : 14140 (java) R 14111 14111 12799 0 -1 4202560 26478 0 0 0 248887 50 0 0 20 0 28 0 420971698 29458767872 241743 33554432000 4194304 4196468 140720423858672 140615978151232 140617056550036 0 4 0 16800975 0 0 0 -1 3 0 0 16 0 0 6293624 6294260 19701760 140720423863274 140720423863446 140720423863446 140720423866319 0
Current children cumulated CPU time: 20058.8 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 968424 KiB

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

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

[startup+2520.1 s]
# the end of solver process 14113 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20051.1 s, system=8.3654 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.1
CPU time (s): 20059.4
CPU user time (s): 20051.1
CPU system time (s): 8.3654
CPU usage (%): 795.978
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 2598296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20051.1
system time used= 8.3654
maximum resident set size= 2596844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 700534
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 133888
involuntary context switches= 226276


# summary of solver processes directly reported to runsolver:
#   pid: 14111,14113
#   total CPU time (s): 20059.4
#   total CPU user time (s): 20051.1
#   total CPU system time (s): 8.3654

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.2593 second user time and 29.2206 second system time

The end

Launcher Data 

Begin job on node143 at 2019-09-14 10:38:21
IDJOB=4393703
IDBENCH=141732
IDSOLVER=2841
FILE ID=node143/4393703-1568450342
RUNJOBID= node143-1568445256-12826
PBS_JOBID= 21702350
Free space on /tmp= 59272 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-28-088.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-4393703-1568450342/watcher-4393703-1568450342 -o /tmp/evaluation-result-4393703-1568450342/solver-4393703-1568450342 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568445256-12826 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 647302390 HOME/instance-4393703-1568450342.xml

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

MD5SUM BENCH= 86f96609b8582eec836d4ad8d9b44327
RANDOM SEED=647302390

node143.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.73
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.73
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.73
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.73
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:        24687688 kB
MemAvailable:   31759172 kB
Buffers:          206948 kB
Cached:          7153144 kB
SwapCached:            8 kB
Active:          2154604 kB
Inactive:        5257072 kB
Active(anon):       5412 kB
Inactive(anon):   145232 kB
Active(file):    2149192 kB
Inactive(file):  5111840 kB
Unevictable:      107428 kB
Mlocked:          107428 kB
SwapTotal:      67108860 kB
SwapFree:       67108848 kB
Dirty:             26148 kB
Writeback:             0 kB
AnonPages:        301144 kB
Mapped:            49392 kB
Shmem:             90756 kB
Slab:             267568 kB
SReclaimable:     238912 kB
SUnreclaim:        28656 kB
KernelStack:        3712 kB
PageTables:         5552 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     499104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    215040 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 59248 MiB
End job on node143 at 2019-09-14 11:20:21