Trace number 4281486

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) 1692.09 252.12601

General information on the benchmark

NameQueenAttacking/QueenAttacking-m1-s1/
QueenAttacking-14.xml
MD5SUM7bee45910aa9ad1c56e5a256c184a2b3
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 variables241
Number of constraints240
Number of domains2
Minimum domain size2
Maximum domain size196
Distribution of domain sizes[{"size":2,"count":44},{"size":196,"count":197}]
Minimum variable degree2
Maximum variable degree44
Distribution of variable degrees[{"degree":2,"count":46},{"degree":3,"count":150},{"degree":4,"count":44},{"degree":44,"count":1}]
Minimum constraint arity2
Maximum constraint arity196
Distribution of constraint arities[{"arity":2,"count":195},{"arity":3,"count":44},{"arity":196,"count":1}]
Number of extensional constraints0
Number of intensional constraints239
Distribution of constraint types[{"type":"intension","count":239},{"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-4281486-1503186797.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4281486-1503186797.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
69.96/48.58	c solve instance...
1691.34/252.08	s UNKNOWN
1691.34/252.08	c Unexpected resolution interruption!

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13001 MiB free)
  memory of node 1: 16384 MiB (13418 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281486-1503186797/watcher-4281486-1503186797 -o /tmp/evaluation-result-4281486-1503186797/solver-4281486-1503186797 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503178145-14492 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 2136504038 HOME/instance-4281486-1503186797.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=17759, runsolver pid=17756
Current StackSize limit: 8192 KiB


[startup+0.100154 s]*
/proc/loadavg: 8.62 6.62 6.28 2/199 17780
/proc/meminfo: memFree=27039716/32770624 swapFree=67108860/67108860
[pid=17759] ppid=17756 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17759/stat : 17759 (xcsp3-exec) S 17756 17759 14465 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151767575 9740288 346 33554432000 4194304 5098028 140722851731152 140722851729256 140046067044988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39870464 140722851738730 140722851738940 140722851738940 140722851741675 0
/proc/17759/statm: 2378 346 289 221 0 87 0
[pid=17761] ppid=17759 vsize=25999808 memory=26576 CPUtime=0.12 cores=0-7
/proc/17761/stat : 17761 (java) S 17759 17759 14465 0 -1 1077944320 5484 0 0 0 11 1 0 0 20 0 20 0 151767576 26623803392 6644 33554432000 4194304 4196468 140723546649328 140723546631872 139706849394423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
/proc/17761/statm: 6499952 6644 2866 1 0 6488269 0
[pid=17761/tid=17762] ppid=17759 vsize=25999808 memory=8186306555791973021 CPUtime=0.08 cores=0-7
/proc/17761/task/17762/stat : 17762 (java) R 17759 17759 14465 0 -1 4202560 3479 0 0 0 8 0 0 0 20 0 20 0 151767576 26623803392 6644 33554432000 4194304 4196468 140723546649328 139706853615320 139706849406358 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17763] ppid=17759 vsize=25999808 memory=732370127598808037 CPUtime=0 cores=0-7
/proc/17761/task/17763/stat : 17763 (java) S 17759 17759 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151767577 26623803392 6644 33554432000 4194304 4196468 140723546649328 139706771975184 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17764] ppid=17759 vsize=25999808 memory=139989261354624 CPUtime=0 cores=0-7
/proc/17761/task/17764/stat : 17764 (java) S 17759 17759 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151767577 26623803392 6644 33554432000 4194304 4196468 140723546649328 139706770922640 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17765] ppid=17759 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17761/task/17765/stat : 17765 (java) S 17759 17759 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151767577 26623803392 6644 33554432000 4194304 4196468 140723546649328 139706769869584 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17766] ppid=17759 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17761/task/17766/stat : 17766 (java) S 17759 17759 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151767577 26623803392 6644 33554432000 4194304 4196468 140723546649328 139706768817040 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17767] ppid=17759 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17761/task/17767/stat : 17767 (java) S 17759 17759 14465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151767577 26623803392 6644 33554432000 4194304 4196468 140723546649328 139706767763984 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17768] ppid=17759 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/17761/task/17768/stat : 17768 (java) S 17759 17759 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151767577 26623803392 6644 33554432000 4194304 4196468 140723546649328 139706766711440 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17769] ppid=17759 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17761/task/17769/stat : 17769 (java) S 17759 17759 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151767577 26623803392 6644 33554432000 4194304 4196468 140723546649328 139706765658384 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17770] ppid=17759 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17761/task/17770/stat : 17770 (java) S 17759 17759 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151767577 26623803392 6644 33554432000 4194304 4196468 140723546649328 139706764605840 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17771] ppid=17759 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17761/task/17771/stat : 17771 (java) S 17759 17759 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151767578 26623803392 6644 33554432000 4194304 4196468 140723546649328 139705975843568 139706849405570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17772] ppid=17759 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17761/task/17772/stat : 17772 (java) S 17759 17759 14465 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151767579 26623803392 6644 33554432000 4194304 4196468 140723546649328 139705974789792 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17773] ppid=17759 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17761/task/17773/stat : 17773 (java) S 17759 17759 14465 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151767579 26623803392 6644 33554432000 4194304 4196468 140723546649328 139705973736688 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17774] ppid=17759 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17761/task/17774/stat : 17774 (java) S 17759 17759 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151767581 26623803392 6644 33554432000 4194304 4196468 140723546649328 139705972685264 139706849413019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17775] ppid=17759 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17761/task/17775/stat : 17775 (java) S 17759 17759 14465 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 151767581 26623803392 6644 33554432000 4194304 4196468 140723546649328 139705971632368 139706849405570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17776] ppid=17759 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17761/task/17776/stat : 17776 (java) S 17759 17759 14465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151767581 26623803392 6644 33554432000 4194304 4196468 140723546649328 139705970579824 139706849405570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17777] ppid=17759 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17761/task/17777/stat : 17777 (java) S 17759 17759 14465 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 151767581 26623803392 6644 33554432000 4194304 4196468 140723546649328 139705969526768 139706849405570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17778] ppid=17759 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/17761/task/17778/stat : 17778 (java) R 17759 17759 14465 0 -1 4202560 270 0 0 0 1 0 0 0 20 0 20 0 151767581 26623803392 6644 33554432000 4194304 4196468 140723546649328 139705968474224 139706833474910 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17779] ppid=17759 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17761/task/17779/stat : 17779 (java) S 17759 17759 14465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151767582 26623803392 6644 33554432000 4194304 4196468 140723546649328 139705967422432 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17780] ppid=17759 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/17761/task/17780/stat : 17780 (java) S 17759 17759 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151767582 26623803392 6644 33554432000 4194304 4196468 140723546649328 139705966369968 139706849405570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27960 KiB

[startup+0.209981 s]*
/proc/loadavg: 8.62 6.62 6.28 2/199 17780
/proc/meminfo: memFree=27027376/32770624 swapFree=67108860/67108860
[pid=17759] ppid=17756 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17759/stat : 17759 (xcsp3-exec) S 17756 17759 14465 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151767575 9740288 346 33554432000 4194304 5098028 140722851731152 140722851729256 140046067044988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39870464 140722851738730 140722851738940 140722851738940 140722851741675 0
/proc/17759/statm: 2378 346 289 221 0 87 0
[pid=17761] ppid=17759 vsize=26004064 memory=39120 CPUtime=0.33 cores=0-7
/proc/17761/stat : 17761 (java) S 17759 17759 14465 0 -1 1077944320 8298 0 0 0 31 2 0 0 20 0 20 0 151767576 26628161536 9780 33554432000 4194304 4196468 140723546649328 140723546631872 139706849394423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
/proc/17761/statm: 6501016 9780 3078 1 0 6488269 0
[pid=17761/tid=17762] ppid=17759 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/17761/task/17762/stat : 17762 (java) R 17759 17759 14465 0 -1 4202560 5395 0 0 0 18 1 0 0 20 0 20 0 151767576 26628161536 9780 33554432000 4194304 4196468 140723546649328 139706853616352 139706833474910 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17763] ppid=17759 vsize=26004064 memory=732370127598808037 CPUtime=0 cores=0-7
/proc/17761/task/17763/stat : 17763 (java) S 17759 17759 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151767577 26628161536 9780 33554432000 4194304 4196468 140723546649328 139706771975184 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17764] ppid=17759 vsize=26004064 memory=139989261354624 CPUtime=0 cores=0-7
/proc/17761/task/17764/stat : 17764 (java) S 17759 17759 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151767577 26628161536 9780 33554432000 4194304 4196468 140723546649328 139706770922640 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17765] ppid=17759 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17761/task/17765/stat : 17765 (java) S 17759 17759 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151767577 26628161536 9780 33554432000 4194304 4196468 140723546649328 139706769869584 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17766] ppid=17759 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17761/task/17766/stat : 17766 (java) S 17759 17759 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151767577 26628161536 9780 33554432000 4194304 4196468 140723546649328 139706768817040 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17767] ppid=17759 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17761/task/17767/stat : 17767 (java) S 17759 17759 14465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151767577 26628161536 9780 33554432000 4194304 4196468 140723546649328 139706767763984 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17768] ppid=17759 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17761/task/17768/stat : 17768 (java) S 17759 17759 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151767577 26628161536 9780 33554432000 4194304 4196468 140723546649328 139706766711440 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17769] ppid=17759 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17761/task/17769/stat : 17769 (java) S 17759 17759 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151767577 26628161536 9780 33554432000 4194304 4196468 140723546649328 139706765658384 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17770] ppid=17759 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17761/task/17770/stat : 17770 (java) S 17759 17759 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151767577 26628161536 9780 33554432000 4194304 4196468 140723546649328 139706764605840 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17771] ppid=17759 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17761/task/17771/stat : 17771 (java) S 17759 17759 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151767578 26628161536 9780 33554432000 4194304 4196468 140723546649328 139705975843568 139706849405570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17772] ppid=17759 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17761/task/17772/stat : 17772 (java) S 17759 17759 14465 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151767579 26628161536 9780 33554432000 4194304 4196468 140723546649328 139705974789792 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17773] ppid=17759 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17761/task/17773/stat : 17773 (java) S 17759 17759 14465 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151767579 26628161536 9780 33554432000 4194304 4196468 140723546649328 139705973736688 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17774] ppid=17759 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17761/task/17774/stat : 17774 (java) S 17759 17759 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151767581 26628161536 9780 33554432000 4194304 4196468 140723546649328 139705972685264 139706849413019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17775] ppid=17759 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/17761/task/17775/stat : 17775 (java) S 17759 17759 14465 0 -1 1077944384 464 0 0 0 1 0 0 0 20 0 20 0 151767581 26628161536 9780 33554432000 4194304 4196468 140723546649328 139705971632368 139706849405570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17776] ppid=17759 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/17761/task/17776/stat : 17776 (java) S 17759 17759 14465 0 -1 1077944384 215 0 0 0 2 0 0 0 20 0 20 0 151767581 26628161536 9780 33554432000 4194304 4196468 140723546649328 139705970579824 139706849405570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17777] ppid=17759 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/17761/task/17777/stat : 17777 (java) S 17759 17759 14465 0 -1 1077944384 148 0 0 0 1 0 0 0 20 0 20 0 151767581 26628161536 9780 33554432000 4194304 4196468 140723546649328 139705969526768 139706849405570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17778] ppid=17759 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/17761/task/17778/stat : 17778 (java) S 17759 17759 14465 0 -1 1077944384 765 0 0 0 7 0 0 0 20 0 20 0 151767581 26628161536 9780 33554432000 4194304 4196468 140723546649328 139705968474224 139706849405570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17779] ppid=17759 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17761/task/17779/stat : 17779 (java) S 17759 17759 14465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151767582 26628161536 9780 33554432000 4194304 4196468 140723546649328 139705967422432 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17780] ppid=17759 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17761/task/17780/stat : 17780 (java) S 17759 17759 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151767582 26628161536 9780 33554432000 4194304 4196468 140723546649328 139705966369968 139706849405570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40504 KiB

[startup+0.309327 s]*
/proc/loadavg: 8.62 6.62 6.28 3/199 17780
/proc/meminfo: memFree=27022768/32770624 swapFree=67108860/67108860
[pid=17759] ppid=17756 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17759/stat : 17759 (xcsp3-exec) S 17756 17759 14465 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151767575 9740288 346 33554432000 4194304 5098028 140722851731152 140722851729256 140046067044988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39870464 140722851738730 140722851738940 140722851738940 140722851741675 0
/proc/17759/statm: 2378 346 289 221 0 87 0
[pid=17761] ppid=17759 vsize=26004064 memory=46068 CPUtime=0.49 cores=0-7
/proc/17761/stat : 17761 (java) S 17759 17759 14465 0 -1 1077944320 9190 0 0 0 47 2 0 0 20 0 20 0 151767576 26628161536 11517 33554432000 4194304 4196468 140723546649328 140723546631872 139706849394423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
/proc/17761/statm: 6501016 11517 3101 1 0 6488269 0
[pid=17761/tid=17762] ppid=17759 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/17761/task/17762/stat : 17762 (java) R 17759 17759 14465 0 -1 4202560 6090 0 0 0 27 2 0 0 20 0 20 0 151767576 26628161536 11517 33554432000 4194304 4196468 140723546649328 139706853620304 139706833474910 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17763] ppid=17759 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17761/task/17763/stat : 17763 (java) S 17759 17759 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151767577 26628161536 11517 33554432000 4194304 4196468 140723546649328 139706771975184 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17764] ppid=17759 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17761/task/17764/stat : 17764 (java) S 17759 17759 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151767577 26628161536 11517 33554432000 4194304 4196468 140723546649328 139706770922640 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17765] ppid=17759 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17761/task/17765/stat : 17765 (java) S 17759 17759 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151767577 26628161536 11517 33554432000 4194304 4196468 140723546649328 139706769869584 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17766] ppid=17759 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17761/task/17766/stat : 17766 (java) S 17759 17759 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151767577 26628161536 11517 33554432000 4194304 4196468 140723546649328 139706768817040 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17767] ppid=17759 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/17761/task/17767/stat : 17767 (java) S 17759 17759 14465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151767577 26628161536 11517 33554432000 4194304 4196468 140723546649328 139706767763984 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17768] ppid=17759 vsize=26004064 memory=139989157508015 CPUtime=0 cores=0-7
/proc/17761/task/17768/stat : 17768 (java) S 17759 17759 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151767577 26628161536 11517 33554432000 4194304 4196468 140723546649328 139706766711440 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17769] ppid=17759 vsize=26004064 memory=139989157510320 CPUtime=0 cores=0-7
/proc/17761/task/17769/stat : 17769 (java) S 17759 17759 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151767577 26628161536 11517 33554432000 4194304 4196468 140723546649328 139706765658384 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17770] ppid=17759 vsize=26004064 memory=139989157512624 CPUtime=0 cores=0-7
/proc/17761/task/17770/stat : 17770 (java) S 17759 17759 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151767577 26628161536 11517 33554432000 4194304 4196468 140723546649328 139706764605840 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17771] ppid=17759 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17761/task/17771/stat : 17771 (java) S 17759 17759 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151767578 26628161536 11517 33554432000 4194304 4196468 140723546649328 139705975843568 139706849405570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17772] ppid=17759 vsize=26004064 memory=279978315032208 CPUtime=0 cores=0-7
/proc/17761/task/17772/stat : 17772 (java) S 17759 17759 14465 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151767579 26628161536 11517 33554432000 4194304 4196468 140723546649328 139705974789792 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17773] ppid=17759 vsize=26004064 memory=279978315039120 CPUtime=0 cores=0-7
/proc/17761/task/17773/stat : 17773 (java) S 17759 17759 14465 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151767579 26628161536 11517 33554432000 4194304 4196468 140723546649328 139705973736688 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17774] ppid=17759 vsize=26004064 memory=279978314980400 CPUtime=0 cores=0-7
/proc/17761/task/17774/stat : 17774 (java) S 17759 17759 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151767581 26628161536 11517 33554432000 4194304 4196468 140723546649328 139705972685264 139706849413019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17775] ppid=17759 vsize=26004064 memory=279978315052944 CPUtime=0.01 cores=0-7
/proc/17761/task/17775/stat : 17775 (java) S 17759 17759 14465 0 -1 1077944384 468 0 0 0 1 0 0 0 20 0 20 0 151767581 26628161536 11517 33554432000 4194304 4196468 140723546649328 139705971632368 139706849405570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17776] ppid=17759 vsize=26004064 memory=279978315059856 CPUtime=0.03 cores=0-7
/proc/17761/task/17776/stat : 17776 (java) S 17759 17759 14465 0 -1 1077944384 295 0 0 0 3 0 0 0 20 0 20 0 151767581 26628161536 11517 33554432000 4194304 4196468 140723546649328 139705970579824 139706849405570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17777] ppid=17759 vsize=26004064 memory=279978315057552 CPUtime=0.02 cores=0-7
/proc/17761/task/17777/stat : 17777 (java) S 17759 17759 14465 0 -1 1077944384 154 0 0 0 2 0 0 0 20 0 20 0 151767581 26628161536 11517 33554432000 4194304 4196468 140723546649328 139705969526768 139706849405570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17778] ppid=17759 vsize=26004064 memory=279978315073712 CPUtime=0.12 cores=0-7
/proc/17761/task/17778/stat : 17778 (java) R 17759 17759 14465 0 -1 4202560 879 0 0 0 12 0 0 0 20 0 20 0 151767581 26628161536 11517 33554432000 4194304 4196468 140723546649328 139705968471400 139706841631550 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17779] ppid=17759 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17761/task/17779/stat : 17779 (java) S 17759 17759 14465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151767582 26628161536 11517 33554432000 4194304 4196468 140723546649328 139705967422432 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17780] ppid=17759 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17761/task/17780/stat : 17780 (java) S 17759 17759 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151767582 26628161536 11517 33554432000 4194304 4196468 140723546649328 139705966369968 139706849405570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47452 KiB

[startup+0.700971 s]
/proc/loadavg: 8.62 6.62 6.28 5/199 17780
/proc/meminfo: memFree=27004392/32770624 swapFree=67108860/67108860
[pid=17759] ppid=17756 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17759/stat : 17759 (xcsp3-exec) S 17756 17759 14465 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151767575 9740288 346 33554432000 4194304 5098028 140722851731152 140722851729256 140046067044988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39870464 140722851738730 140722851738940 140722851738940 140722851741675 0
/proc/17759/statm: 2378 346 289 221 0 87 0
[pid=17761] ppid=17759 vsize=26008168 memory=112788 CPUtime=1.79 cores=0-7
/proc/17761/stat : 17761 (java) S 17759 17759 14465 0 -1 1077944320 23972 0 0 0 174 5 0 0 20 0 20 0 151767576 26632364032 28197 33554432000 4194304 4196468 140723546649328 140723546631872 139706849394423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
/proc/17761/statm: 6502042 28197 3201 1 0 6489276 0
[pid=17761/tid=17762] ppid=17759 vsize=26008168 memory=279978315368640 CPUtime=0.67 cores=0-7
/proc/17761/task/17762/stat : 17762 (java) R 17759 17759 14465 0 -1 4202560 6694 0 0 0 65 2 0 0 20 0 20 0 151767576 26632364032 28197 33554432000 4194304 4196468 140723546649328 139706853629104 139706447725787 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17763] ppid=17759 vsize=26008168 memory=1420 CPUtime=0 cores=0-7
/proc/17761/task/17763/stat : 17763 (java) S 17759 17759 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151767577 26632364032 28197 33554432000 4194304 4196468 140723546649328 139706771975184 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17764] ppid=17759 vsize=26008168 memory=11108 CPUtime=0 cores=0-7
/proc/17761/task/17764/stat : 17764 (java) S 17759 17759 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151767577 26632364032 28197 33554432000 4194304 4196468 140723546649328 139706770922640 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17765] ppid=17759 vsize=26008168 memory=1712 CPUtime=0 cores=0-7
/proc/17761/task/17765/stat : 17765 (java) S 17759 17759 14465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151767577 26632364032 28197 33554432000 4194304 4196468 140723546649328 139706769869584 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0

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

[pid=17761/tid=17788] ppid=17759 vsize=26538700 memory=1384 CPUtime=111.91 cores=0-7
/proc/17761/task/17788/stat : 17788 (java) R 17759 17759 14465 0 -1 4202560 2681 0 0 0 11186 5 0 0 20 0 28 0 151772435 27175628800 774356 33554432000 4194304 4196468 140723546649328 139705028403528 139706452378673 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
Current children cumulated CPU time: 976.05 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3098808 KiB

[startup+222.302 s]
/proc/loadavg: 7.85 6.76 6.35 9/208 17795
/proc/meminfo: memFree=23888052/32770624 swapFree=67108860/67108860
[pid=17759] ppid=17756 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17759/stat : 17759 (xcsp3-exec) S 17756 17759 14465 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151767575 9740288 346 33554432000 4194304 5098028 140722851731152 140722851729256 140046067044988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39870464 140722851738730 140722851738940 140722851738940 140722851741675 0
/proc/17759/statm: 2378 346 289 221 0 87 0
[pid=17761] ppid=17759 vsize=26538700 memory=3177244 CPUtime=1454.41 cores=0-7
/proc/17761/stat : 17761 (java) S 17759 17759 14465 0 -1 1077944320 276763 0 0 0 144730 711 0 0 20 0 28 0 151767576 27175628800 794311 33554432000 4194304 4196468 140723546649328 140723546631872 139706849394423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
/proc/17761/statm: 6634675 794311 3309 1 0 6621909 0
[pid=17761/tid=17762] ppid=17759 vsize=26538700 memory=1384 CPUtime=45.45 cores=0-7
/proc/17761/task/17762/stat : 17762 (java) S 17759 17759 14465 0 -1 1077944384 13408 0 0 0 4536 9 0 0 20 0 28 0 151767576 27175628800 794311 33554432000 4194304 4196468 140723546649328 139706853635200 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17763] ppid=17759 vsize=26538700 memory=3169048 CPUtime=3.51 cores=0-7
/proc/17761/task/17763/stat : 17763 (java) S 17759 17759 14465 0 -1 1077944384 10433 0 0 0 272 79 0 0 20 0 28 0 151767577 27175628800 794311 33554432000 4194304 4196468 140723546649328 139706771975184 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17764] ppid=17759 vsize=26538700 memory=1384 CPUtime=3.52 cores=0-7
/proc/17761/task/17764/stat : 17764 (java) S 17759 17759 14465 0 -1 1077944384 7953 0 0 0 278 74 0 0 20 0 28 0 151767577 27175628800 794311 33554432000 4194304 4196468 140723546649328 139706770922640 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17765] ppid=17759 vsize=26538700 memory=1384 CPUtime=3.51 cores=0-7
/proc/17761/task/17765/stat : 17765 (java) S 17759 17759 14465 0 -1 1077944384 7942 0 0 0 272 79 0 0 20 0 28 0 151767577 27175628800 794311 33554432000 4194304 4196468 140723546649328 139706769869584 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17766] ppid=17759 vsize=26538700 memory=1384 CPUtime=3.45 cores=0-7
/proc/17761/task/17766/stat : 17766 (java) S 17759 17759 14465 0 -1 1077944384 7874 0 0 0 273 72 0 0 20 0 28 0 151767577 27175628800 794311 33554432000 4194304 4196468 140723546649328 139706768817040 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17767] ppid=17759 vsize=26538700 memory=3085308 CPUtime=3.51 cores=0-7
/proc/17761/task/17767/stat : 17767 (java) S 17759 17759 14465 0 -1 1077944384 12545 0 0 0 273 78 0 0 20 0 28 0 151767577 27175628800 794311 33554432000 4194304 4196468 140723546649328 139706767763984 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17768] ppid=17759 vsize=26538700 memory=23612 CPUtime=3.5 cores=0-7
/proc/17761/task/17768/stat : 17768 (java) S 17759 17759 14465 0 -1 1077944384 9147 0 0 0 274 76 0 0 20 0 28 0 151767577 27175628800 794311 33554432000 4194304 4196468 140723546649328 139706766711440 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17769] ppid=17759 vsize=26538700 memory=4044 CPUtime=3.51 cores=0-7
/proc/17761/task/17769/stat : 17769 (java) S 17759 17759 14465 0 -1 1077944384 8806 0 0 0 272 79 0 0 20 0 28 0 151767577 27175628800 794311 33554432000 4194304 4196468 140723546649328 139706765658384 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17770] ppid=17759 vsize=26538700 memory=1384 CPUtime=3.49 cores=0-7
/proc/17761/task/17770/stat : 17770 (java) S 17759 17759 14465 0 -1 1077944384 9559 0 0 0 271 78 0 0 20 0 28 0 151767577 27175628800 794311 33554432000 4194304 4196468 140723546649328 139706764605840 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17771] ppid=17759 vsize=26538700 memory=3152660 CPUtime=0.64 cores=0-7
/proc/17761/task/17771/stat : 17771 (java) S 17759 17759 14465 0 -1 1077944384 9226 0 0 0 61 3 0 0 20 0 28 0 151767578 27175628800 794311 33554432000 4194304 4196468 140723546649328 139705975843568 139706849405570 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17772] ppid=17759 vsize=26538700 memory=1712 CPUtime=0 cores=0-7
/proc/17761/task/17772/stat : 17772 (java) S 17759 17759 14465 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 151767579 27175628800 794311 33554432000 4194304 4196468 140723546649328 139705974789856 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17773] ppid=17759 vsize=26538700 memory=1952 CPUtime=0 cores=0-7
/proc/17761/task/17773/stat : 17773 (java) S 17759 17759 14465 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 28 0 151767579 27175628800 794311 33554432000 4194304 4196468 140723546649328 139705973736704 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17774] ppid=17759 vsize=26538700 memory=3177244 CPUtime=0 cores=0-7
/proc/17761/task/17774/stat : 17774 (java) S 17759 17759 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151767581 27175628800 794311 33554432000 4194304 4196468 140723546649328 139705972685264 139706849413019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17775] ppid=17759 vsize=26538700 memory=1384 CPUtime=2.84 cores=0-7
/proc/17761/task/17775/stat : 17775 (java) S 17759 17759 14465 0 -1 1077944384 24740 0 0 0 280 4 0 0 20 0 28 0 151767581 27175628800 794311 33554432000 4194304 4196468 140723546649328 139705971632368 139706849405570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17776] ppid=17759 vsize=26538700 memory=3177244 CPUtime=3.14 cores=0-7
/proc/17761/task/17776/stat : 17776 (java) S 17759 17759 14465 0 -1 1077944384 26182 0 0 0 309 5 0 0 20 0 28 0 151767581 27175628800 794311 33554432000 4194304 4196468 140723546649328 139705970579824 139706849405570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17777] ppid=17759 vsize=26538700 memory=4584 CPUtime=3.23 cores=0-7
/proc/17761/task/17777/stat : 17777 (java) S 17759 17759 14465 0 -1 1077944384 25268 0 0 0 319 4 0 0 20 0 28 0 151767581 27175628800 794311 33554432000 4194304 4196468 140723546649328 139705969526768 139706849405570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17778] ppid=17759 vsize=26538700 memory=4100 CPUtime=0.89 cores=0-7
/proc/17761/task/17778/stat : 17778 (java) S 17759 17759 14465 0 -1 1077944384 16044 0 0 0 87 2 0 0 20 0 28 0 151767581 27175628800 794311 33554432000 4194304 4196468 140723546649328 139705968474224 139706849405570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17779] ppid=17759 vsize=26538700 memory=1156 CPUtime=0 cores=0-7
/proc/17761/task/17779/stat : 17779 (java) S 17759 17759 14465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151767582 27175628800 794311 33554432000 4194304 4196468 140723546649328 139705967422432 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17780] ppid=17759 vsize=26538700 memory=5788 CPUtime=0.07 cores=0-7
/proc/17761/task/17780/stat : 17780 (java) S 17759 17759 14465 0 -1 1077944384 2698 0 0 0 2 5 0 0 20 0 28 0 151767582 27175628800 794311 33554432000 4194304 4196468 140723546649328 139705966369968 139706849405570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17781] ppid=17759 vsize=26538700 memory=1196 CPUtime=171.9 cores=0-7
/proc/17761/task/17781/stat : 17781 (java) R 17759 17759 14465 0 -1 4202560 4582 0 0 0 17181 9 0 0 20 0 28 0 151772435 27175628800 794311 33554432000 4194304 4196468 140723546649328 139705035770744 139706447330020 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17782] ppid=17759 vsize=26538700 memory=4612 CPUtime=170.49 cores=0-7
/proc/17761/task/17782/stat : 17782 (java) R 17759 17759 14465 0 -1 4202560 13164 0 0 0 17043 6 0 0 20 0 28 0 151772435 27175628800 794311 33554432000 4194304 4196468 140723546649328 139705034722080 139706452671985 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17783] ppid=17759 vsize=26538700 memory=1384 CPUtime=170.8 cores=0-7
/proc/17761/task/17783/stat : 17783 (java) R 17759 17759 14465 0 -1 4202560 5034 0 0 0 17074 6 0 0 20 0 28 0 151772435 27175628800 794311 33554432000 4194304 4196468 140723546649328 139705033666408 139706452777227 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17784] ppid=17759 vsize=26538700 memory=3128088 CPUtime=170.85 cores=0-7
/proc/17761/task/17784/stat : 17784 (java) R 17759 17759 14465 0 -1 4202560 5006 0 0 0 17079 6 0 0 20 0 28 0 151772435 27175628800 794311 33554432000 4194304 4196468 140723546649328 139705032613504 139706452378673 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17785] ppid=17759 vsize=26538700 memory=1384 CPUtime=170.78 cores=0-7
/proc/17761/task/17785/stat : 17785 (java) R 17759 17759 14465 0 -1 4202560 43111 0 0 0 17067 11 0 0 20 0 28 0 151772435 27175628800 794311 33554432000 4194304 4196468 140723546649328 139705031560512 139706452687261 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17786] ppid=17759 vsize=26538700 memory=1292 CPUtime=171.74 cores=0-7
/proc/17761/task/17786/stat : 17786 (java) R 17759 17759 14465 0 -1 4202560 5849 0 0 0 17165 9 0 0 20 0 28 0 151772435 27175628800 794311 33554432000 4194304 4196468 140723546649328 139705030508016 139706452688689 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17787] ppid=17759 vsize=26538700 memory=2428 CPUtime=171.66 cores=0-7
/proc/17761/task/17787/stat : 17787 (java) R 17759 17759 14465 0 -1 4202560 3783 0 0 0 17160 6 0 0 20 0 28 0 151772435 27175628800 794311 33554432000 4194304 4196468 140723546649328 139705029455800 139706452378673 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17788] ppid=17759 vsize=26538700 memory=1728 CPUtime=171.73 cores=0-7
/proc/17761/task/17788/stat : 17788 (java) R 17759 17759 14465 0 -1 4202560 2969 0 0 0 17167 6 0 0 20 0 28 0 151772435 27175628800 794311 33554432000 4194304 4196468 140723546649328 139705028403528 139706452378287 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
Current children cumulated CPU time: 1454.41 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3178628 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 7.91 6.88 6.40 9/208 17795
/proc/meminfo: memFree=23844888/32770624 swapFree=67108860/67108860
[pid=17759] ppid=17756 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17759/stat : 17759 (xcsp3-exec) S 17756 17759 14465 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151767575 9740288 346 33554432000 4194304 5098028 140722851731152 140722851729256 140046067044988 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39870464 140722851738730 140722851738940 140722851738940 140722851741675 0
/proc/17759/statm: 2378 346 289 221 0 87 0
[pid=17761] ppid=17759 vsize=26538700 memory=3220304 CPUtime=1691.34 cores=0-7
/proc/17761/stat : 17761 (java) S 17759 17759 14465 0 -1 1077944320 301783 0 0 0 168406 728 0 0 20 0 28 0 151767576 27175628800 805076 33554432000 4194304 4196468 140723546649328 140723546631872 139706849394423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
/proc/17761/statm: 6634675 805076 3309 1 0 6621909 0
[pid=17761/tid=17762] ppid=17759 vsize=26538700 memory=6791534058613427641 CPUtime=45.45 cores=0-7
/proc/17761/task/17762/stat : 17762 (java) S 17759 17759 14465 0 -1 1077944384 13408 0 0 0 4536 9 0 0 20 0 28 0 151767576 27175628800 805076 33554432000 4194304 4196468 140723546649328 139706853635200 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17763] ppid=17759 vsize=26538700 memory=-7003737579269690708 CPUtime=3.57 cores=0-7
/proc/17761/task/17763/stat : 17763 (java) S 17759 17759 14465 0 -1 1077944384 11474 0 0 0 277 80 0 0 20 0 28 0 151767577 27175628800 805076 33554432000 4194304 4196468 140723546649328 139706771975184 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17764] ppid=17759 vsize=26538700 memory=4612 CPUtime=3.58 cores=0-7
/proc/17761/task/17764/stat : 17764 (java) S 17759 17759 14465 0 -1 1077944384 9019 0 0 0 283 75 0 0 20 0 28 0 151767577 27175628800 805076 33554432000 4194304 4196468 140723546649328 139706770922640 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17765] ppid=17759 vsize=26538700 memory=15876 CPUtime=3.56 cores=0-7
/proc/17761/task/17765/stat : 17765 (java) S 17759 17759 14465 0 -1 1077944384 9028 0 0 0 277 79 0 0 20 0 28 0 151767577 27175628800 805076 33554432000 4194304 4196468 140723546649328 139706769869584 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17766] ppid=17759 vsize=26538700 memory=18448 CPUtime=3.52 cores=0-7
/proc/17761/task/17766/stat : 17766 (java) S 17759 17759 14465 0 -1 1077944384 8502 0 0 0 279 73 0 0 20 0 28 0 151767577 27175628800 805076 33554432000 4194304 4196468 140723546649328 139706768817040 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17767] ppid=17759 vsize=26538700 memory=23612 CPUtime=3.58 cores=0-7
/proc/17761/task/17767/stat : 17767 (java) S 17759 17759 14465 0 -1 1077944384 13051 0 0 0 279 79 0 0 20 0 28 0 151767577 27175628800 805076 33554432000 4194304 4196468 140723546649328 139706767763984 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17768] ppid=17759 vsize=26538700 memory=4044 CPUtime=3.57 cores=0-7
/proc/17761/task/17768/stat : 17768 (java) S 17759 17759 14465 0 -1 1077944384 9681 0 0 0 280 77 0 0 20 0 28 0 151767577 27175628800 805076 33554432000 4194304 4196468 140723546649328 139706766711440 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17769] ppid=17759 vsize=26538700 memory=6791534058613427641 CPUtime=3.57 cores=0-7
/proc/17761/task/17769/stat : 17769 (java) S 17759 17759 14465 0 -1 1077944384 9287 0 0 0 277 80 0 0 20 0 28 0 151767577 27175628800 805076 33554432000 4194304 4196468 140723546649328 139706765658384 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17770] ppid=17759 vsize=26538700 memory=2200 CPUtime=3.55 cores=0-7
/proc/17761/task/17770/stat : 17770 (java) S 17759 17759 14465 0 -1 1077944384 9925 0 0 0 277 78 0 0 20 0 28 0 151767577 27175628800 805076 33554432000 4194304 4196468 140723546649328 139706764605840 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17771] ppid=17759 vsize=26538700 memory=7792 CPUtime=0.65 cores=0-7
/proc/17761/task/17771/stat : 17771 (java) S 17759 17759 14465 0 -1 1077944384 9803 0 0 0 62 3 0 0 20 0 28 0 151767578 27175628800 805076 33554432000 4194304 4196468 140723546649328 139705975843568 139706849405570 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17772] ppid=17759 vsize=26538700 memory=840 CPUtime=0 cores=0-7
/proc/17761/task/17772/stat : 17772 (java) S 17759 17759 14465 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 151767579 27175628800 805076 33554432000 4194304 4196468 140723546649328 139705974789856 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17773] ppid=17759 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/17761/task/17773/stat : 17773 (java) S 17759 17759 14465 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 28 0 151767579 27175628800 805076 33554432000 4194304 4196468 140723546649328 139705973736704 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17774] ppid=17759 vsize=26538700 memory=42140 CPUtime=0 cores=0-7
/proc/17761/task/17774/stat : 17774 (java) S 17759 17759 14465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151767581 27175628800 805076 33554432000 4194304 4196468 140723546649328 139705972685264 139706849413019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17775] ppid=17759 vsize=26538700 memory=1292 CPUtime=2.84 cores=0-7
/proc/17761/task/17775/stat : 17775 (java) S 17759 17759 14465 0 -1 1077944384 24744 0 0 0 280 4 0 0 20 0 28 0 151767581 27175628800 805076 33554432000 4194304 4196468 140723546649328 139705971632368 139706849405570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17776] ppid=17759 vsize=26538700 memory=2428 CPUtime=3.15 cores=0-7
/proc/17761/task/17776/stat : 17776 (java) S 17759 17759 14465 0 -1 1077944384 26984 0 0 0 310 5 0 0 20 0 28 0 151767581 27175628800 805076 33554432000 4194304 4196468 140723546649328 139705970579824 139706849405570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17777] ppid=17759 vsize=26538700 memory=1728 CPUtime=3.23 cores=0-7
/proc/17761/task/17777/stat : 17777 (java) S 17759 17759 14465 0 -1 1077944384 25272 0 0 0 319 4 0 0 20 0 28 0 151767581 27175628800 805076 33554432000 4194304 4196468 140723546649328 139705969526768 139706849405570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17778] ppid=17759 vsize=26538700 memory=1420 CPUtime=0.89 cores=0-7
/proc/17761/task/17778/stat : 17778 (java) S 17759 17759 14465 0 -1 1077944384 16248 0 0 0 87 2 0 0 20 0 28 0 151767581 27175628800 805076 33554432000 4194304 4196468 140723546649328 139705968474224 139706849405570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17779] ppid=17759 vsize=26538700 memory=11108 CPUtime=0 cores=0-7
/proc/17761/task/17779/stat : 17779 (java) S 17759 17759 14465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151767582 27175628800 805076 33554432000 4194304 4196468 140723546649328 139705967422432 139706849404629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17780] ppid=17759 vsize=26538700 memory=6791534058613427641 CPUtime=0.09 cores=0-7
/proc/17761/task/17780/stat : 17780 (java) S 17759 17759 14465 0 -1 1077944384 2766 0 0 0 3 6 0 0 20 0 28 0 151767582 27175628800 805076 33554432000 4194304 4196468 140723546649328 139705966369968 139706849405570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17781] ppid=17759 vsize=26538700 memory=7792 CPUtime=201.52 cores=0-7
/proc/17761/task/17781/stat : 17781 (java) R 17759 17759 14465 0 -1 4202560 5315 0 0 0 20143 9 0 0 20 0 28 0 151772435 27175628800 805076 33554432000 4194304 4196468 140723546649328 139705035770920 139706452776388 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17782] ppid=17759 vsize=26538700 memory=840 CPUtime=199.51 cores=0-7
/proc/17761/task/17782/stat : 17782 (java) R 17759 17759 14465 0 -1 4202560 16272 0 0 0 19944 7 0 0 20 0 28 0 151772435 27175628800 805076 33554432000 4194304 4196468 140723546649328 139705034719304 139706447646287 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17783] ppid=17759 vsize=26538700 memory=1692 CPUtime=200.43 cores=0-7
/proc/17761/task/17783/stat : 17783 (java) R 17759 17759 14465 0 -1 4202560 6334 0 0 0 20035 8 0 0 20 0 28 0 151772435 27175628800 805076 33554432000 4194304 4196468 140723546649328 139705033668704 139706452776970 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17784] ppid=17759 vsize=26538700 memory=916 CPUtime=200.48 cores=0-7
/proc/17761/task/17784/stat : 17784 (java) R 17759 17759 14465 0 -1 4202560 5440 0 0 0 20042 6 0 0 20 0 28 0 151772435 27175628800 805076 33554432000 4194304 4196468 140723546649328 139705032613704 139706447562826 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17785] ppid=17759 vsize=26538700 memory=4584 CPUtime=200.41 cores=0-7
/proc/17761/task/17785/stat : 17785 (java) R 17759 17759 14465 0 -1 4202560 52332 0 0 0 20028 13 0 0 20 0 28 0 151772435 27175628800 805076 33554432000 4194304 4196468 140723546649328 139705031560648 139706452776075 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17786] ppid=17759 vsize=26538700 memory=4100 CPUtime=201.36 cores=0-7
/proc/17761/task/17786/stat : 17786 (java) R 17759 17759 14465 0 -1 4202560 7259 0 0 0 20126 10 0 0 20 0 28 0 151772435 27175628800 805076 33554432000 4194304 4196468 140723546649328 139705030508032 139706452380330 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17787] ppid=17759 vsize=26538700 memory=1792 CPUtime=201.27 cores=0-7
/proc/17761/task/17787/stat : 17787 (java) R 17759 17759 14465 0 -1 4202560 4738 0 0 0 20120 7 0 0 20 0 28 0 151772435 27175628800 805076 33554432000 4194304 4196468 140723546649328 139705029456120 139706451571711 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
[pid=17761/tid=17788] ppid=17759 vsize=26538700 memory=636 CPUtime=201.34 cores=0-7
/proc/17761/task/17788/stat : 17788 (java) R 17759 17759 14465 0 -1 4202560 3461 0 0 0 20127 7 0 0 20 0 28 0 151772435 27175628800 805076 33554432000 4194304 4196468 140723546649328 139705028403528 139706452378673 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38797312 140723546657944 140723546658120 140723546658120 140723546660815 0
Current children cumulated CPU time: 1691.34 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3221688 KiB

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

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

[startup+252.126 s]
# the end of solver process 17761 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1684.78 s, system=7.30932 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): 252.126
CPU time (s): 1692.09
CPU user time (s): 1684.78
CPU system time (s): 7.30932
CPU usage (%): 671.129
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 3221688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1684.78
system time used= 7.30932
maximum resident set size= 3220732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 302857
page faults= 0
swaps= 0
block input operations= 0
block output operations= 496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16520
involuntary context switches= 18348


# summary of solver processes directly reported to runsolver:
#   pid: 17759,17761
#   total CPU time (s): 1692.09
#   total CPU user time (s): 1684.78
#   total CPU system time (s): 7.30932

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.08668 second user time and 2.89898 second system time

The end

Launcher Data 

Begin job on node107 at 2017-08-20 01:38:57
IDJOB=4281486
IDBENCH=130621
IDSOLVER=2676
FILE ID=node107/4281486-1503186797
RUNJOBID= node107-1503178145-14492
PBS_JOBID= 20630849
Free space on /tmp= 61868 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-14.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-4281486-1503186797/watcher-4281486-1503186797 -o /tmp/evaluation-result-4281486-1503186797/solver-4281486-1503186797 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503178145-14492 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 2136504038 HOME/instance-4281486-1503186797.xml

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

MD5SUM BENCH= 7bee45910aa9ad1c56e5a256c184a2b3
RANDOM SEED=2136504038

node107.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.84
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.84
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.84
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.84
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:        27055204 kB
MemAvailable:   31977336 kB
Buffers:          268832 kB
Cached:          4946948 kB
SwapCached:            0 kB
Active:           837648 kB
Inactive:        4430860 kB
Active(anon):      55664 kB
Inactive(anon):    33132 kB
Active(file):     781984 kB
Inactive(file):  4397728 kB
Unevictable:        7640 kB
Mlocked:            7640 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7768 kB
Writeback:             4 kB
AnonPages:         59952 kB
Mapped:            51452 kB
Shmem:             33420 kB
Slab:             143104 kB
SReclaimable:     116508 kB
SUnreclaim:        26596 kB
KernelStack:        3248 kB
PageTables:         4676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 61860 MiB
End job on node107 at 2017-08-20 01:43:09