Trace number 4280514

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 NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)? (TO) 19331.6 2520.1499

General information on the benchmark

NameQueenAttacking/QueenAttacking-m1-s1/
QueenAttacking-16.xml
MD5SUM03765d59360c09d71a4cc0e8e110fff9
Bench CategoryCOP (optimization 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 variables311
Number of constraints310
Number of domains2
Minimum domain size2
Maximum domain size256
Distribution of domain sizes[{"size":2,"count":54},{"size":256,"count":257}]
Minimum variable degree2
Maximum variable degree54
Distribution of variable degrees[{"degree":2,"count":56},{"degree":3,"count":200},{"degree":4,"count":54},{"degree":54,"count":1}]
Minimum constraint arity2
Maximum constraint arity256
Distribution of constraint arities[{"arity":2,"count":255},{"arity":3,"count":54},{"arity":256,"count":1}]
Number of extensional constraints0
Number of intensional constraints309
Distribution of constraint types[{"type":"intension","count":309},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280514-1503147776.xml"  -tl '20160s' -p 8 -x 0
0.11/0.15	c [HOME/instance-4280514-1503147776.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
173.11/115.39	c solve instance...
19330.71/2520.09	s UNKNOWN
19330.71/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 (14366 MiB free)
  memory of node 1: 16384 MiB (13967 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280514-1503147776/watcher-4280514-1503147776 -o /tmp/evaluation-result-4280514-1503147776/solver-4280514-1503147776 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1503141368-6723 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1530586857 HOME/instance-4280514-1503147776.xml 

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

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


[startup+0.100135 s]*
/proc/loadavg: 8.27 8.21 8.16 3/199 8851
/proc/meminfo: memFree=28997688/32770624 swapFree=67108860/67108860
[pid=8830] ppid=8827 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/8830/stat : 8830 (xcsp3-exec) S 8827 8830 6696 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 147865808 9740288 345 33554432000 4194304 5098028 140720454843312 140720454841416 140565833020028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30900224 140720454845540 140720454845751 140720454845751 140720454848491 0
/proc/8830/statm: 2378 345 289 221 0 87 0
[pid=8832] ppid=8830 vsize=25999808 memory=26820 CPUtime=0.11 cores=0-7
/proc/8832/stat : 8832 (java) S 8830 8830 6696 0 -1 1077944320 5622 0 0 0 10 1 0 0 20 0 20 0 147865808 26623803392 6705 33554432000 4194304 4196468 140723113338384 140723113320928 140279595241207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
/proc/8832/statm: 6499952 6705 2848 1 0 6488269 0
[pid=8832/tid=8833] ppid=8830 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/8832/task/8833/stat : 8833 (java) R 8830 8830 6696 0 -1 4202560 3646 0 0 0 8 0 0 0 20 0 20 0 147865809 26623803392 6705 33554432000 4194304 4196468 140723113338384 140279599464656 140279595253142 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8834] ppid=8830 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8832/task/8834/stat : 8834 (java) S 8830 8830 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147865810 26623803392 6705 33554432000 4194304 4196468 140723113338384 140279547862160 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8835] ppid=8830 vsize=25999808 memory=139666583643776 CPUtime=0 cores=0-7
/proc/8832/task/8835/stat : 8835 (java) S 8830 8830 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147865810 26623803392 6705 33554432000 4194304 4196468 140723113338384 140279546809360 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8836] ppid=8830 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8832/task/8836/stat : 8836 (java) S 8830 8830 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147865810 26623803392 6705 33554432000 4194304 4196468 140723113338384 140279545756560 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8837] ppid=8830 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8832/task/8837/stat : 8837 (java) S 8830 8830 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147865810 26623803392 6705 33554432000 4194304 4196468 140723113338384 140279544703760 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8838] ppid=8830 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8832/task/8838/stat : 8838 (java) S 8830 8830 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147865810 26623803392 6705 33554432000 4194304 4196468 140723113338384 140279543650960 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8839] ppid=8830 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/8832/task/8839/stat : 8839 (java) S 8830 8830 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147865810 26623803392 6705 33554432000 4194304 4196468 140723113338384 140279542598160 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8840] ppid=8830 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8832/task/8840/stat : 8840 (java) S 8830 8830 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147865810 26623803392 6705 33554432000 4194304 4196468 140723113338384 140279541545360 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8841] ppid=8830 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8832/task/8841/stat : 8841 (java) S 8830 8830 6696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147865810 26623803392 6705 33554432000 4194304 4196468 140723113338384 140279540492560 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8842] ppid=8830 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8832/task/8842/stat : 8842 (java) S 8830 8830 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147865811 26623803392 6705 33554432000 4194304 4196468 140723113338384 140277800323952 140279595252354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8843] ppid=8830 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8832/task/8843/stat : 8843 (java) S 8830 8830 6696 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147865812 26623803392 6705 33554432000 4194304 4196468 140723113338384 140277799269920 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8844] ppid=8830 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8832/task/8844/stat : 8844 (java) S 8830 8830 6696 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147865812 26623803392 6705 33554432000 4194304 4196468 140723113338384 140277798217072 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8845] ppid=8830 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8832/task/8845/stat : 8845 (java) S 8830 8830 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147865814 26623803392 6705 33554432000 4194304 4196468 140723113338384 140277797165392 140279595259803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8846] ppid=8830 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8832/task/8846/stat : 8846 (java) S 8830 8830 6696 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 147865814 26623803392 6705 33554432000 4194304 4196468 140723113338384 140277796112752 140279595252354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8847] ppid=8830 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8832/task/8847/stat : 8847 (java) S 8830 8830 6696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147865814 26623803392 6705 33554432000 4194304 4196468 140723113338384 140277795059952 140279595252354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8848] ppid=8830 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8832/task/8848/stat : 8848 (java) S 8830 8830 6696 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 147865814 26623803392 6705 33554432000 4194304 4196468 140723113338384 140277794007152 140279595252354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8849] ppid=8830 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/8832/task/8849/stat : 8849 (java) R 8830 8830 6696 0 -1 4202560 246 0 0 0 1 0 0 0 20 0 20 0 147865814 26623803392 6705 33554432000 4194304 4196468 140723113338384 140277322868720 140279580923002 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8850] ppid=8830 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8832/task/8850/stat : 8850 (java) S 8830 8830 6696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147865815 26623803392 6705 33554432000 4194304 4196468 140723113338384 140277321817184 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8851] ppid=8830 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/8832/task/8851/stat : 8851 (java) S 8830 8830 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147865815 26623803392 6705 33554432000 4194304 4196468 140723113338384 140277320764464 140279595252354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28200 KiB

[startup+0.210614 s]*
/proc/loadavg: 8.27 8.21 8.16 3/199 8851
/proc/meminfo: memFree=28986756/32770624 swapFree=67108860/67108860
[pid=8830] ppid=8827 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/8830/stat : 8830 (xcsp3-exec) S 8827 8830 6696 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 147865808 9740288 345 33554432000 4194304 5098028 140720454843312 140720454841416 140565833020028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30900224 140720454845540 140720454845751 140720454845751 140720454848491 0
/proc/8830/statm: 2378 345 289 221 0 87 0
[pid=8832] ppid=8830 vsize=26004064 memory=39012 CPUtime=0.33 cores=0-7
/proc/8832/stat : 8832 (java) S 8830 8830 6696 0 -1 1077944320 8334 0 0 0 31 2 0 0 20 0 20 0 147865808 26628161536 9753 33554432000 4194304 4196468 140723113338384 140723113320928 140279595241207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
/proc/8832/statm: 6501016 9753 3059 1 0 6488269 0
[pid=8832/tid=8833] ppid=8830 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/8832/task/8833/stat : 8833 (java) R 8830 8830 6696 0 -1 4202560 5438 0 0 0 18 1 0 0 20 0 20 0 147865809 26628161536 9753 33554432000 4194304 4196468 140723113338384 140279599462200 140279595263133 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8834] ppid=8830 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/8832/task/8834/stat : 8834 (java) S 8830 8830 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147865810 26628161536 9753 33554432000 4194304 4196468 140723113338384 140279547862160 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8835] ppid=8830 vsize=26004064 memory=139666583654407 CPUtime=0 cores=0-7
/proc/8832/task/8835/stat : 8835 (java) S 8830 8830 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147865810 26628161536 9753 33554432000 4194304 4196468 140723113338384 140279546809360 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8836] ppid=8830 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8832/task/8836/stat : 8836 (java) S 8830 8830 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147865810 26628161536 9753 33554432000 4194304 4196468 140723113338384 140279545756560 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8837] ppid=8830 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8832/task/8837/stat : 8837 (java) S 8830 8830 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147865810 26628161536 9753 33554432000 4194304 4196468 140723113338384 140279544703760 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8838] ppid=8830 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8832/task/8838/stat : 8838 (java) S 8830 8830 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147865810 26628161536 9753 33554432000 4194304 4196468 140723113338384 140279543650960 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8839] ppid=8830 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8832/task/8839/stat : 8839 (java) S 8830 8830 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147865810 26628161536 9753 33554432000 4194304 4196468 140723113338384 140279542598160 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8840] ppid=8830 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8832/task/8840/stat : 8840 (java) S 8830 8830 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147865810 26628161536 9753 33554432000 4194304 4196468 140723113338384 140279541545360 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8841] ppid=8830 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8832/task/8841/stat : 8841 (java) S 8830 8830 6696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147865810 26628161536 9753 33554432000 4194304 4196468 140723113338384 140279540492560 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8842] ppid=8830 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8832/task/8842/stat : 8842 (java) S 8830 8830 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147865811 26628161536 9753 33554432000 4194304 4196468 140723113338384 140277800323952 140279595252354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8843] ppid=8830 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8832/task/8843/stat : 8843 (java) S 8830 8830 6696 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147865812 26628161536 9753 33554432000 4194304 4196468 140723113338384 140277799269920 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8844] ppid=8830 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8832/task/8844/stat : 8844 (java) S 8830 8830 6696 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147865812 26628161536 9753 33554432000 4194304 4196468 140723113338384 140277798217072 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8845] ppid=8830 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8832/task/8845/stat : 8845 (java) S 8830 8830 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147865814 26628161536 9753 33554432000 4194304 4196468 140723113338384 140277797165392 140279595259803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8846] ppid=8830 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/8832/task/8846/stat : 8846 (java) S 8830 8830 6696 0 -1 1077944384 507 0 0 0 1 0 0 0 20 0 20 0 147865814 26628161536 9753 33554432000 4194304 4196468 140723113338384 140277796112752 140279595252354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8847] ppid=8830 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/8832/task/8847/stat : 8847 (java) S 8830 8830 6696 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 20 0 147865814 26628161536 9753 33554432000 4194304 4196468 140723113338384 140277795059952 140279595252354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8848] ppid=8830 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/8832/task/8848/stat : 8848 (java) S 8830 8830 6696 0 -1 1077944384 274 0 0 0 2 0 0 0 20 0 20 0 147865814 26628161536 9753 33554432000 4194304 4196468 140723113338384 140277794007152 140279595252354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8849] ppid=8830 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/8832/task/8849/stat : 8849 (java) R 8830 8830 6696 0 -1 4202560 717 0 0 0 7 0 0 0 20 0 20 0 147865814 26628161536 9753 33554432000 4194304 4196468 140723113338384 140277322868720 140279595253142 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8850] ppid=8830 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8832/task/8850/stat : 8850 (java) S 8830 8830 6696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147865815 26628161536 9753 33554432000 4194304 4196468 140723113338384 140277321817184 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8851] ppid=8830 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8832/task/8851/stat : 8851 (java) S 8830 8830 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147865815 26628161536 9753 33554432000 4194304 4196468 140723113338384 140277320764464 140279595252354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40392 KiB

[startup+0.31032 s]*
/proc/loadavg: 8.27 8.21 8.16 3/199 8851
/proc/meminfo: memFree=28982352/32770624 swapFree=67108860/67108860
[pid=8830] ppid=8827 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/8830/stat : 8830 (xcsp3-exec) S 8827 8830 6696 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 147865808 9740288 345 33554432000 4194304 5098028 140720454843312 140720454841416 140565833020028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30900224 140720454845540 140720454845751 140720454845751 140720454848491 0
/proc/8830/statm: 2378 345 289 221 0 87 0
[pid=8832] ppid=8830 vsize=26004064 memory=45948 CPUtime=0.5 cores=0-7
/proc/8832/stat : 8832 (java) S 8830 8830 6696 0 -1 1077944320 9212 0 0 0 48 2 0 0 20 0 20 0 147865808 26628161536 11487 33554432000 4194304 4196468 140723113338384 140723113320928 140279595241207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
/proc/8832/statm: 6501016 11487 3099 1 0 6488269 0
[pid=8832/tid=8833] ppid=8830 vsize=26004064 memory=8112282956445269571 CPUtime=0.3 cores=0-7
/proc/8832/task/8833/stat : 8833 (java) R 8830 8830 6696 0 -1 4202560 6122 0 0 0 28 2 0 0 20 0 20 0 147865809 26628161536 11487 33554432000 4194304 4196468 140723113338384 140279599467440 140279595263133 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8834] ppid=8830 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8832/task/8834/stat : 8834 (java) S 8830 8830 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147865810 26628161536 11487 33554432000 4194304 4196468 140723113338384 140279547862160 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8835] ppid=8830 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8832/task/8835/stat : 8835 (java) S 8830 8830 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147865810 26628161536 11487 33554432000 4194304 4196468 140723113338384 140279546809360 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8836] ppid=8830 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8832/task/8836/stat : 8836 (java) S 8830 8830 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147865810 26628161536 11487 33554432000 4194304 4196468 140723113338384 140279545756560 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8837] ppid=8830 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8832/task/8837/stat : 8837 (java) S 8830 8830 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147865810 26628161536 11487 33554432000 4194304 4196468 140723113338384 140279544703760 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8838] ppid=8830 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/8832/task/8838/stat : 8838 (java) S 8830 8830 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147865810 26628161536 11487 33554432000 4194304 4196468 140723113338384 140279543650960 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8839] ppid=8830 vsize=26004064 memory=139666430981039 CPUtime=0 cores=0-7
/proc/8832/task/8839/stat : 8839 (java) S 8830 8830 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147865810 26628161536 11487 33554432000 4194304 4196468 140723113338384 140279542598160 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8840] ppid=8830 vsize=26004064 memory=139666430983344 CPUtime=0 cores=0-7
/proc/8832/task/8840/stat : 8840 (java) S 8830 8830 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147865810 26628161536 11487 33554432000 4194304 4196468 140723113338384 140279541545360 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8841] ppid=8830 vsize=26004064 memory=139666430985648 CPUtime=0 cores=0-7
/proc/8832/task/8841/stat : 8841 (java) S 8830 8830 6696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147865810 26628161536 11487 33554432000 4194304 4196468 140723113338384 140279540492560 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8842] ppid=8830 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8832/task/8842/stat : 8842 (java) S 8830 8830 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147865811 26628161536 11487 33554432000 4194304 4196468 140723113338384 140277800323952 140279595252354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8843] ppid=8830 vsize=26004064 memory=279332861978256 CPUtime=0 cores=0-7
/proc/8832/task/8843/stat : 8843 (java) S 8830 8830 6696 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147865812 26628161536 11487 33554432000 4194304 4196468 140723113338384 140277799269920 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8844] ppid=8830 vsize=26004064 memory=279332861985168 CPUtime=0 cores=0-7
/proc/8832/task/8844/stat : 8844 (java) S 8830 8830 6696 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147865812 26628161536 11487 33554432000 4194304 4196468 140723113338384 140277798217072 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8845] ppid=8830 vsize=26004064 memory=279332861926448 CPUtime=0 cores=0-7
/proc/8832/task/8845/stat : 8845 (java) S 8830 8830 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147865814 26628161536 11487 33554432000 4194304 4196468 140723113338384 140277797165392 140279595259803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8846] ppid=8830 vsize=26004064 memory=279332861998992 CPUtime=0.01 cores=0-7
/proc/8832/task/8846/stat : 8846 (java) S 8830 8830 6696 0 -1 1077944384 514 0 0 0 1 0 0 0 20 0 20 0 147865814 26628161536 11487 33554432000 4194304 4196468 140723113338384 140277796112752 140279595252354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8847] ppid=8830 vsize=26004064 memory=279332862005904 CPUtime=0.01 cores=0-7
/proc/8832/task/8847/stat : 8847 (java) R 8830 8830 6696 0 -1 4202560 141 0 0 0 1 0 0 0 20 0 20 0 147865814 26628161536 11487 33554432000 4194304 4196468 140723113338384 140277795059952 140279595253142 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8848] ppid=8830 vsize=26004064 memory=279332862003600 CPUtime=0.03 cores=0-7
/proc/8832/task/8848/stat : 8848 (java) S 8830 8830 6696 0 -1 1077944384 284 0 0 0 3 0 0 0 20 0 20 0 147865814 26628161536 11487 33554432000 4194304 4196468 140723113338384 140277794007152 140279595252354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8849] ppid=8830 vsize=26004064 memory=279332862019760 CPUtime=0.12 cores=0-7
/proc/8832/task/8849/stat : 8849 (java) R 8830 8830 6696 0 -1 4202560 851 0 0 0 12 0 0 0 20 0 20 0 147865814 26628161536 11487 33554432000 4194304 4196468 140723113338384 140277322863712 140279587478334 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8850] ppid=8830 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8832/task/8850/stat : 8850 (java) S 8830 8830 6696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147865815 26628161536 11487 33554432000 4194304 4196468 140723113338384 140277321817184 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8851] ppid=8830 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8832/task/8851/stat : 8851 (java) S 8830 8830 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147865815 26628161536 11487 33554432000 4194304 4196468 140723113338384 140277320764464 140279595252354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47328 KiB

[startup+0.701371 s]
/proc/loadavg: 8.27 8.21 8.16 5/199 8851
/proc/meminfo: memFree=28964772/32770624 swapFree=67108860/67108860
[pid=8830] ppid=8827 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/8830/stat : 8830 (xcsp3-exec) S 8827 8830 6696 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 147865808 9740288 345 33554432000 4194304 5098028 140720454843312 140720454841416 140565833020028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30900224 140720454845540 140720454845751 140720454845751 140720454848491 0
/proc/8830/statm: 2378 345 289 221 0 87 0
[pid=8832] ppid=8830 vsize=26006188 memory=110340 CPUtime=1.76 cores=0-7
/proc/8832/stat : 8832 (java) S 8830 8830 6696 0 -1 1077944320 23891 0 0 0 171 5 0 0 20 0 20 0 147865808 26630336512 27585 33554432000 4194304 4196468 140723113338384 140723113320928 140279595241207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
/proc/8832/statm: 6501547 27585 3204 1 0 6488781 0
[pid=8832/tid=8833] ppid=8830 vsize=26006188 memory=279332862377648 CPUtime=0.67 cores=0-7
/proc/8832/task/8833/stat : 8833 (java) R 8830 8830 6696 0 -1 4202560 6769 0 0 0 65 2 0 0 20 0 20 0 147865809 26630336512 27585 33554432000 4194304 4196468 140723113338384 140279599474904 140279222014624 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8834] ppid=8830 vsize=26006188 memory=139666431189872 CPUtime=0 cores=0-7
/proc/8832/task/8834/stat : 8834 (java) S 8830 8830 6696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147865810 26630336512 27585 33554432000 4194304 4196468 140723113338384 140279547862160 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8835] ppid=8830 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/8832/task/8835/stat : 8835 (java) S 8830 8830 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147865810 26630336512 27585 33554432000 4194304 4196468 140723113338384 140279546809360 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8836] ppid=8830 vsize=26006188 memory=5792 CPUtime=0 cores=0-7
/proc/8832/task/8836/stat : 8836 (java) S 8830 8830 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147865810 26630336512 27585 33554432000 4194304 4196468 140723113338384 140279545756560 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0

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

/proc/meminfo: memFree=23082824/32770624 swapFree=67108860/67108860
[pid=8830] ppid=8827 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/8830/stat : 8830 (xcsp3-exec) S 8827 8830 6696 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 147865808 9740288 345 33554432000 4194304 5098028 140720454843312 140720454841416 140565833020028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30900224 140720454845540 140720454845751 140720454845751 140720454848491 0
/proc/8830/statm: 2378 345 289 221 0 87 0
[pid=8832] ppid=8830 vsize=26538700 memory=5933628 CPUtime=19189.6 cores=0-7
/proc/8832/stat : 8832 (java) S 8830 8830 6696 0 -1 1077944320 3181511 0 0 0 1916588 2372 0 0 20 0 28 0 147865808 27175628800 1483407 33554432000 4194304 4196468 140723113338384 140723113320928 140279595241207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
/proc/8832/statm: 6634675 1483407 3311 1 0 6621909 0
[pid=8832/tid=8833] ppid=8830 vsize=26538700 memory=41244 CPUtime=105.44 cores=0-7
/proc/8832/task/8833/stat : 8833 (java) S 8830 8830 6696 0 -1 1077944384 14506 0 0 0 10537 7 0 0 20 0 28 0 147865809 27175628800 1483407 33554432000 4194304 4196468 140723113338384 140279599481984 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8834] ppid=8830 vsize=26538700 memory=1296 CPUtime=15.91 cores=0-7
/proc/8832/task/8834/stat : 8834 (java) S 8830 8830 6696 0 -1 1077944384 117485 0 0 0 1384 207 0 0 20 0 28 0 147865810 27175628800 1483407 33554432000 4194304 4196468 140723113338384 140279547862160 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 70 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8835] ppid=8830 vsize=26538700 memory=139668041499209 CPUtime=15.91 cores=0-7
/proc/8832/task/8835/stat : 8835 (java) S 8830 8830 6696 0 -1 1077944384 119175 0 0 0 1385 206 0 0 20 0 28 0 147865810 27175628800 1483407 33554432000 4194304 4196468 140723113338384 140279546809360 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 68 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8836] ppid=8830 vsize=26538700 memory=139668041499210 CPUtime=15.87 cores=0-7
/proc/8832/task/8836/stat : 8836 (java) S 8830 8830 6696 0 -1 1077944384 119554 0 0 0 1385 202 0 0 20 0 28 0 147865810 27175628800 1483407 33554432000 4194304 4196468 140723113338384 140279545756560 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 73 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8837] ppid=8830 vsize=26538700 memory=5931568 CPUtime=15.77 cores=0-7
/proc/8832/task/8837/stat : 8837 (java) S 8830 8830 6696 0 -1 1077944384 113317 0 0 0 1386 191 0 0 20 0 28 0 147865810 27175628800 1483407 33554432000 4194304 4196468 140723113338384 140279544703760 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 79 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8838] ppid=8830 vsize=26538700 memory=1380 CPUtime=15.88 cores=0-7
/proc/8832/task/8838/stat : 8838 (java) S 8830 8830 6696 0 -1 1077944384 120936 0 0 0 1372 216 0 0 20 0 28 0 147865810 27175628800 1483407 33554432000 4194304 4196468 140723113338384 140279543650960 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 72 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8839] ppid=8830 vsize=26538700 memory=350 CPUtime=15.88 cores=0-7
/proc/8832/task/8839/stat : 8839 (java) S 8830 8830 6696 0 -1 1077944384 117432 0 0 0 1384 204 0 0 20 0 28 0 147865810 27175628800 1483407 33554432000 4194304 4196468 140723113338384 140279542598160 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 69 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8840] ppid=8830 vsize=26538700 memory=97 CPUtime=15.83 cores=0-7
/proc/8832/task/8840/stat : 8840 (java) S 8830 8830 6696 0 -1 1077944384 114439 0 0 0 1378 205 0 0 20 0 28 0 147865810 27175628800 1483407 33554432000 4194304 4196468 140723113338384 140279541545360 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 72 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8841] ppid=8830 vsize=26538700 memory=15880 CPUtime=15.73 cores=0-7
/proc/8832/task/8841/stat : 8841 (java) S 8830 8830 6696 0 -1 1077944384 112144 0 0 0 1391 182 0 0 20 0 28 0 147865810 27175628800 1483407 33554432000 4194304 4196468 140723113338384 140279540492560 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 75 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8842] ppid=8830 vsize=26538700 memory=16236 CPUtime=3.81 cores=0-7
/proc/8832/task/8842/stat : 8842 (java) S 8830 8830 6696 0 -1 1077944384 41188 0 0 0 337 44 0 0 20 0 28 0 147865811 27175628800 1483407 33554432000 4194304 4196468 140723113338384 140277800323952 140279595252354 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8843] ppid=8830 vsize=26538700 memory=55 CPUtime=0 cores=0-7
/proc/8832/task/8843/stat : 8843 (java) S 8830 8830 6696 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 28 0 147865812 27175628800 1483407 33554432000 4194304 4196468 140723113338384 140277799269984 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8844] ppid=8830 vsize=26538700 memory=7450169196809447780 CPUtime=0 cores=0-7
/proc/8832/task/8844/stat : 8844 (java) S 8830 8830 6696 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 28 0 147865812 27175628800 1483407 33554432000 4194304 4196468 140723113338384 140277798217088 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8845] ppid=8830 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/8832/task/8845/stat : 8845 (java) S 8830 8830 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147865814 27175628800 1483407 33554432000 4194304 4196468 140723113338384 140277797165392 140279595259803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8846] ppid=8830 vsize=26538700 memory=5925416 CPUtime=3.02 cores=0-7
/proc/8832/task/8846/stat : 8846 (java) S 8830 8830 6696 0 -1 1077944384 28116 0 0 0 298 4 0 0 20 0 28 0 147865814 27175628800 1483407 33554432000 4194304 4196468 140723113338384 140277796112752 140279595252354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8847] ppid=8830 vsize=26538700 memory=5929520 CPUtime=2.93 cores=0-7
/proc/8832/task/8847/stat : 8847 (java) S 8830 8830 6696 0 -1 1077944384 27395 0 0 0 289 4 0 0 20 0 28 0 147865814 27175628800 1483407 33554432000 4194304 4196468 140723113338384 140277795059952 140279595252354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8848] ppid=8830 vsize=26538700 memory=4136 CPUtime=3.5 cores=0-7
/proc/8832/task/8848/stat : 8848 (java) S 8830 8830 6696 0 -1 1077944384 31346 0 0 0 344 6 0 0 20 0 28 0 147865814 27175628800 1483407 33554432000 4194304 4196468 140723113338384 140277794007152 140279595252354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8849] ppid=8830 vsize=26538700 memory=1380 CPUtime=0.97 cores=0-7
/proc/8832/task/8849/stat : 8849 (java) S 8830 8830 6696 0 -1 1077944384 21990 0 0 0 94 3 0 0 20 0 28 0 147865814 27175628800 1483407 33554432000 4194304 4196468 140723113338384 140277322868720 140279595252354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8850] ppid=8830 vsize=26538700 memory=5919260 CPUtime=0 cores=0-7
/proc/8832/task/8850/stat : 8850 (java) S 8830 8830 6696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147865815 27175628800 1483407 33554432000 4194304 4196468 140723113338384 140277321817184 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8851] ppid=8830 vsize=26538700 memory=1380 CPUtime=1 cores=0-7
/proc/8832/task/8851/stat : 8851 (java) S 8830 8830 6696 0 -1 1077944384 4572 0 0 0 18 82 0 0 20 0 28 0 147865815 27175628800 1483407 33554432000 4194304 4196468 140723113338384 140277320764464 140279595252354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8860] ppid=8830 vsize=26538700 memory=1380 CPUtime=2362.92 cores=0-7
/proc/8832/task/8860/stat : 8860 (java) R 8830 8830 6696 0 -1 4202560 220106 0 0 0 236225 67 0 0 20 0 28 0 147877349 27175628800 1483407 33554432000 4194304 4196468 140723113338384 140277312752640 140279226065051 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8861] ppid=8830 vsize=26538700 memory=1380 CPUtime=2362.54 cores=0-7
/proc/8832/task/8861/stat : 8861 (java) R 8830 8830 6696 0 -1 4202560 210583 0 0 0 236189 65 0 0 20 0 28 0 147877349 27175628800 1483407 33554432000 4194304 4196468 140723113338384 140277311703344 140279226437489 0 4 0 16800975 0 0 0 -1 7 0 0 10 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8862] ppid=8830 vsize=26538700 memory=1380 CPUtime=2368.3 cores=0-7
/proc/8832/task/8862/stat : 8862 (java) R 8830 8830 6696 0 -1 4202560 231807 0 0 0 236705 125 0 0 20 0 28 0 147877349 27175628800 1483407 33554432000 4194304 4196468 140723113338384 140277310648184 140279225825276 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8863] ppid=8830 vsize=26538700 memory=1380 CPUtime=2370.63 cores=0-7
/proc/8832/task/8863/stat : 8863 (java) R 8830 8830 6696 0 -1 4202560 613715 0 0 0 236936 127 0 0 20 0 28 0 147877349 27175628800 1483407 33554432000 4194304 4196468 140723113338384 140277309595248 140279225753178 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8864] ppid=8830 vsize=26538700 memory=5933628 CPUtime=2371.18 cores=0-7
/proc/8832/task/8864/stat : 8864 (java) R 8830 8830 6696 0 -1 4202560 150024 0 0 0 237051 67 0 0 20 0 28 0 147877349 27175628800 1483407 33554432000 4194304 4196468 140723113338384 140277308542336 140279225824451 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8865] ppid=8830 vsize=26538700 memory=5931568 CPUtime=2372.11 cores=0-7
/proc/8832/task/8865/stat : 8865 (java) R 8830 8830 6696 0 -1 4202560 219266 0 0 0 237126 85 0 0 20 0 28 0 147877349 27175628800 1483407 33554432000 4194304 4196468 140723113338384 140277307489784 140279225824484 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8866] ppid=8830 vsize=26538700 memory=8112282956445269571 CPUtime=2362.07 cores=0-7
/proc/8832/task/8866/stat : 8866 (java) R 8830 8830 6696 0 -1 4202560 225635 0 0 0 236136 71 0 0 20 0 28 0 147877350 27175628800 1483407 33554432000 4194304 4196468 140723113338384 140277306437712 140279226592529 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8867] ppid=8830 vsize=26538700 memory=5929520 CPUtime=2372.18 cores=0-7
/proc/8832/task/8867/stat : 8867 (java) R 8830 8830 6696 0 -1 4202560 205312 0 0 0 237140 78 0 0 20 0 28 0 147877350 27175628800 1483407 33554432000 4194304 4196468 140723113338384 140277305385288 140279224558184 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
Current children cumulated CPU time: 19189.6 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5935008 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.11 8.47 8.36 9/208 8925
/proc/meminfo: memFree=23073464/32770624 swapFree=67108860/67108860
[pid=8830] ppid=8827 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/8830/stat : 8830 (xcsp3-exec) S 8827 8830 6696 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 147865808 9740288 345 33554432000 4194304 5098028 140720454843312 140720454841416 140565833020028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30900224 140720454845540 140720454845751 140720454845751 140720454848491 0
/proc/8830/statm: 2378 345 289 221 0 87 0
[pid=8832] ppid=8830 vsize=26538700 memory=5943880 CPUtime=19330.7 cores=0-7
/proc/8832/stat : 8832 (java) S 8830 8830 6696 0 -1 1077944320 3183214 0 0 0 1930697 2374 0 0 20 0 28 0 147865808 27175628800 1485970 33554432000 4194304 4196468 140723113338384 140723113320928 140279595241207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
/proc/8832/statm: 6634675 1485970 3311 1 0 6621909 0
[pid=8832/tid=8833] ppid=8830 vsize=26538700 memory=8112282956445269571 CPUtime=105.44 cores=0-7
/proc/8832/task/8833/stat : 8833 (java) S 8830 8830 6696 0 -1 1077944384 14506 0 0 0 10537 7 0 0 20 0 28 0 147865809 27175628800 1485970 33554432000 4194304 4196468 140723113338384 140279599481984 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8834] ppid=8830 vsize=26538700 memory=4872558044660077418 CPUtime=15.93 cores=0-7
/proc/8832/task/8834/stat : 8834 (java) S 8830 8830 6696 0 -1 1077944384 117616 0 0 0 1386 207 0 0 20 0 28 0 147865810 27175628800 1485970 33554432000 4194304 4196468 140723113338384 140279547862160 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 71 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8835] ppid=8830 vsize=26538700 memory=2236 CPUtime=15.92 cores=0-7
/proc/8832/task/8835/stat : 8835 (java) S 8830 8830 6696 0 -1 1077944384 119240 0 0 0 1386 206 0 0 20 0 28 0 147865810 27175628800 1485970 33554432000 4194304 4196468 140723113338384 140279546809360 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 69 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8836] ppid=8830 vsize=26538700 memory=4316 CPUtime=15.89 cores=0-7
/proc/8832/task/8836/stat : 8836 (java) S 8830 8830 6696 0 -1 1077944384 119670 0 0 0 1387 202 0 0 20 0 28 0 147865810 27175628800 1485970 33554432000 4194304 4196468 140723113338384 140279545756560 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 74 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8837] ppid=8830 vsize=26538700 memory=2196 CPUtime=15.79 cores=0-7
/proc/8832/task/8837/stat : 8837 (java) S 8830 8830 6696 0 -1 1077944384 113445 0 0 0 1388 191 0 0 20 0 28 0 147865810 27175628800 1485970 33554432000 4194304 4196468 140723113338384 140279544703760 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 80 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8838] ppid=8830 vsize=26538700 memory=7784 CPUtime=15.9 cores=0-7
/proc/8832/task/8838/stat : 8838 (java) S 8830 8830 6696 0 -1 1077944384 121072 0 0 0 1374 216 0 0 20 0 28 0 147865810 27175628800 1485970 33554432000 4194304 4196468 140723113338384 140279543650960 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 73 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8839] ppid=8830 vsize=26538700 memory=832 CPUtime=15.9 cores=0-7
/proc/8832/task/8839/stat : 8839 (java) S 8830 8830 6696 0 -1 1077944384 117536 0 0 0 1386 204 0 0 20 0 28 0 147865810 27175628800 1485970 33554432000 4194304 4196468 140723113338384 140279542598160 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 70 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8840] ppid=8830 vsize=26538700 memory=1692 CPUtime=15.85 cores=0-7
/proc/8832/task/8840/stat : 8840 (java) S 8830 8830 6696 0 -1 1077944384 114578 0 0 0 1380 205 0 0 20 0 28 0 147865810 27175628800 1485970 33554432000 4194304 4196468 140723113338384 140279541545360 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 72 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8841] ppid=8830 vsize=26538700 memory=916 CPUtime=15.75 cores=0-7
/proc/8832/task/8841/stat : 8841 (java) S 8830 8830 6696 0 -1 1077944384 112268 0 0 0 1393 182 0 0 20 0 28 0 147865810 27175628800 1485970 33554432000 4194304 4196468 140723113338384 140279540492560 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 75 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8842] ppid=8830 vsize=26538700 memory=8112282956445269571 CPUtime=3.82 cores=0-7
/proc/8832/task/8842/stat : 8842 (java) S 8830 8830 6696 0 -1 1077944384 41197 0 0 0 338 44 0 0 20 0 28 0 147865811 27175628800 1485970 33554432000 4194304 4196468 140723113338384 140277800323952 140279595252354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8843] ppid=8830 vsize=26538700 memory=1424 CPUtime=0 cores=0-7
/proc/8832/task/8843/stat : 8843 (java) S 8830 8830 6696 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 28 0 147865812 27175628800 1485970 33554432000 4194304 4196468 140723113338384 140277799269984 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8844] ppid=8830 vsize=26538700 memory=8604 CPUtime=0 cores=0-7
/proc/8832/task/8844/stat : 8844 (java) S 8830 8830 6696 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 28 0 147865812 27175628800 1485970 33554432000 4194304 4196468 140723113338384 140277798217088 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8845] ppid=8830 vsize=26538700 memory=1724 CPUtime=0 cores=0-7
/proc/8832/task/8845/stat : 8845 (java) S 8830 8830 6696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147865814 27175628800 1485970 33554432000 4194304 4196468 140723113338384 140277797165392 140279595259803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8846] ppid=8830 vsize=26538700 memory=11104 CPUtime=3.02 cores=0-7
/proc/8832/task/8846/stat : 8846 (java) S 8830 8830 6696 0 -1 1077944384 28118 0 0 0 298 4 0 0 20 0 28 0 147865814 27175628800 1485970 33554432000 4194304 4196468 140723113338384 140277796112752 140279595252354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8847] ppid=8830 vsize=26538700 memory=1224 CPUtime=2.93 cores=0-7
/proc/8832/task/8847/stat : 8847 (java) S 8830 8830 6696 0 -1 1077944384 27397 0 0 0 289 4 0 0 20 0 28 0 147865814 27175628800 1485970 33554432000 4194304 4196468 140723113338384 140277795059952 140279595252354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8848] ppid=8830 vsize=26538700 memory=5792 CPUtime=3.5 cores=0-7
/proc/8832/task/8848/stat : 8848 (java) S 8830 8830 6696 0 -1 1077944384 31348 0 0 0 344 6 0 0 20 0 28 0 147865814 27175628800 1485970 33554432000 4194304 4196468 140723113338384 140277794007152 140279595252354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8849] ppid=8830 vsize=26538700 memory=4620 CPUtime=0.97 cores=0-7
/proc/8832/task/8849/stat : 8849 (java) S 8830 8830 6696 0 -1 1077944384 21992 0 0 0 94 3 0 0 20 0 28 0 147865814 27175628800 1485970 33554432000 4194304 4196468 140723113338384 140277322868720 140279595252354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8850] ppid=8830 vsize=26538700 memory=1200 CPUtime=0 cores=0-7
/proc/8832/task/8850/stat : 8850 (java) S 8830 8830 6696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147865815 27175628800 1485970 33554432000 4194304 4196468 140723113338384 140277321817184 140279595251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8851] ppid=8830 vsize=26538700 memory=15880 CPUtime=1.01 cores=0-7
/proc/8832/task/8851/stat : 8851 (java) S 8830 8830 6696 0 -1 1077944384 4574 0 0 0 18 83 0 0 20 0 28 0 147865815 27175628800 1485970 33554432000 4194304 4196468 140723113338384 140277320764464 140279595252354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8860] ppid=8830 vsize=26538700 memory=8112282956445269571 CPUtime=2380.6 cores=0-7
/proc/8832/task/8860/stat : 8860 (java) R 8830 8830 6696 0 -1 4202560 220191 0 0 0 237993 67 0 0 20 0 28 0 147877349 27175628800 1485970 33554432000 4194304 4196468 140723113338384 140277312752640 140279225822634 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8861] ppid=8830 vsize=26538700 memory=5935676 CPUtime=2380.11 cores=0-7
/proc/8832/task/8861/stat : 8861 (java) R 8830 8830 6696 0 -1 4202560 210668 0 0 0 237946 65 0 0 20 0 28 0 147877349 27175628800 1485970 33554432000 4194304 4196468 140723113338384 140277311701064 140279226216151 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8862] ppid=8830 vsize=26538700 memory=7450169183891122532 CPUtime=2385.92 cores=0-7
/proc/8832/task/8862/stat : 8862 (java) R 8830 8830 6696 0 -1 4202560 231823 0 0 0 238467 125 0 0 20 0 28 0 147877349 27175628800 1485970 33554432000 4194304 4196468 140723113338384 140277310648264 140279223490267 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8863] ppid=8830 vsize=26538700 memory=7450169183891122532 CPUtime=2388.31 cores=0-7
/proc/8832/task/8863/stat : 8863 (java) R 8830 8830 6696 0 -1 4202560 613905 0 0 0 238704 127 0 0 20 0 28 0 147877349 27175628800 1485970 33554432000 4194304 4196468 140723113338384 140277309597744 140279226043850 0 4 0 16800975 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8864] ppid=8830 vsize=26538700 memory=279332862057024 CPUtime=2388.84 cores=0-7
/proc/8832/task/8864/stat : 8864 (java) R 8830 8830 6696 0 -1 4202560 150028 0 0 0 238817 67 0 0 20 0 28 0 147877349 27175628800 1485970 33554432000 4194304 4196468 140723113338384 140277308542216 140279225824498 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8865] ppid=8830 vsize=26538700 memory=7308611480428110933 CPUtime=2389.79 cores=0-7
/proc/8832/task/8865/stat : 8865 (java) R 8830 8830 6696 0 -1 4202560 219416 0 0 0 238894 85 0 0 20 0 28 0 147877349 27175628800 1485970 33554432000 4194304 4196468 140723113338384 140277307489784 140279226391790 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8866] ppid=8830 vsize=26538700 memory=8044473747254 CPUtime=2379.45 cores=0-7
/proc/8832/task/8866/stat : 8866 (java) R 8830 8830 6696 0 -1 4202560 225717 0 0 0 237874 71 0 0 20 0 28 0 147877350 27175628800 1485970 33554432000 4194304 4196468 140723113338384 140277306437680 140279226476974 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
[pid=8832/tid=8867] ppid=8830 vsize=26538700 memory=6944656592455360569 CPUtime=2389.85 cores=0-7
/proc/8832/task/8867/stat : 8867 (java) R 8830 8830 6696 0 -1 4202560 205441 0 0 0 238907 78 0 0 20 0 28 0 147877350 27175628800 1485970 33554432000 4194304 4196468 140723113338384 140277305385288 140279226215867 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 19210240 140723113342098 140723113342275 140723113342275 140723113344975 0
Current children cumulated CPU time: 19330.7 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5945260 KiB

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

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

[startup+2520.15 s]
# the end of solver process 8832 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19307.8 s, system=23.7858 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

[startup+2520.13 s]*
/proc/loadavg: 8.11 8.47 8.36 2/181 8927
/proc/meminfo: memFree=27708912/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.002005 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.15
CPU time (s): 19331.6
CPU user time (s): 19307.8
CPU system time (s): 23.7858
CPU usage (%): 767.081
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 5945260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19307.8
system time used= 23.7858
maximum resident set size= 5944212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3184052
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 124276
involuntary context switches= 211996


# summary of solver processes directly reported to runsolver:
#   pid: 8830,8832
#   total CPU time (s): 19331.6
#   total CPU user time (s): 19307.8
#   total CPU system time (s): 23.7858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.5198 second user time and 30.1209 second system time

The end

Launcher Data

Begin job on node102 at 2017-08-19 14:48:36
IDJOB=4280514
IDBENCH=130610
IDSOLVER=2675
FILE ID=node102/4280514-1503147776
RUNJOBID= node102-1503141368-6723
PBS_JOBID= 20630798
Free space on /tmp= 61880 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-16.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280514-1503147776/watcher-4280514-1503147776 -o /tmp/evaluation-result-4280514-1503147776/solver-4280514-1503147776 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1503141368-6723 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1530586857 HOME/instance-4280514-1503147776.xml

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

MD5SUM BENCH= 03765d59360c09d71a4cc0e8e110fff9
RANDOM SEED=1530586857

node102.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.35
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.35
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.35
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.35
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:        29013724 kB
MemAvailable:   31974052 kB
Buffers:          232972 kB
Cached:          3020636 kB
SwapCached:            0 kB
Active:           959096 kB
Inactive:        2345804 kB
Active(anon):       4616 kB
Inactive(anon):    83052 kB
Active(file):     954480 kB
Inactive(file):  2262752 kB
Unevictable:        7504 kB
Mlocked:            7504 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7784 kB
Writeback:            64 kB
AnonPages:         58220 kB
Mapped:            50944 kB
Shmem:             33420 kB
Slab:             144960 kB
SReclaimable:     117860 kB
SUnreclaim:        27100 kB
KernelStack:        3488 kB
PageTables:         5200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     334192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61872 MiB
End job on node102 at 2017-08-19 15:30:37