Trace number 4407278

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 2019-09-24 parallelSAT (TO)116 1999.93 252.095

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-m1-n15/
TravellingSalesman-15-30-04.xml
MD5SUM3ec1135b215453db38ac12e83e420ae6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark116
Best CPU time to get the best result obtained on this benchmark84.9302
Satisfiable
(Un)Satisfiability was proved
Number of variables30
Number of constraints16
Number of domains2
Minimum domain size15
Maximum domain size28
Distribution of domain sizes[{"size":15,"count":15},{"size":28,"count":15}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":15},{"degree":3,"count":15}]
Minimum constraint arity3
Maximum constraint arity15
Distribution of constraint arities[{"arity":3,"count":15},{"arity":15,"count":1}]
Number of extensional constraints15
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":15},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407278-1569347695.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4407278-1569347695.xml, -tl, 2016s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
1.10/0.56	c solve instance...
1.57/0.64	o 228 
1.57/0.65	o 196 
1.57/0.66	o 195 
1.57/0.66	o 159 
1.57/0.67	o 148 
1.57/0.68	o 147 
1.57/0.68	o 145 
1.57/0.69	o 143 
2.06/0.70	o 142 
2.06/0.71	o 141 
2.06/0.71	o 135 
2.06/0.72	o 133 
2.06/0.74	o 131 
2.06/0.75	o 130 
2.06/0.75	o 128 
2.06/0.75	o 127 
2.06/0.76	o 126 
2.06/0.76	o 125 
2.77/0.81	o 124 
2.77/0.82	o 116 
1999.33/252.07	s SATISFIABLE
1999.33/252.07	v <instantiation>
1999.33/252.07	v 	<list>c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] </list>
1999.33/252.07	v 	<values>0 3 4 1 8 13 12 14 11 10 7 6 9 5 2 10 4 9 14 13 10 8 8 5 6 6 6 7 6 4 </values>
1999.33/252.07	v </instantiation>
1999.33/252.07	c Unexpected resolution interruption!

Verifier Data 

OK	116

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 (13215 MiB free)
  memory of node 1: 16384 MiB (11602 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407278-1569347695/watcher-4407278-1569347695 -o /tmp/evaluation-result-4407278-1569347695/solver-4407278-1569347695 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569336112-9884 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 708794815 HOME/instance-4407278-1569347695.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=17760, runsolver pid=17757
Current StackSize limit: 8192 KiB


[startup+0.10017 s]*
/proc/loadavg: 6.69 7.71 8.02 3/209 17781
/proc/meminfo: memFree=25396964/32770624 swapFree=66941040/67108860
[pid=17760] ppid=17757 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17760/stat : 17760 (xcsp3-exec) S 17757 17760 9857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511040261 115843072 363 33554432000 4194304 5098028 140724658497888 140724658495992 140169720857212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18661376 140724658504572 140724658504814 140724658504814 140724658507722 0
/proc/17760/statm: 28282 363 304 221 0 87 0
[pid=17762] ppid=17760 vsize=28227396 memory=29920 CPUtime=0.12 cores=0-7
/proc/17762/stat : 17762 (java) S 17760 17760 9857 0 -1 1077944320 5961 0 0 0 10 2 0 0 20 0 20 0 511040261 28904853504 7480 33554432000 4194304 4196468 140723002219584 140723002202128 140385282711287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
/proc/17762/statm: 7056849 7480 3118 1 0 7019032 0
[pid=17762/tid=17763] ppid=17760 vsize=28227396 memory=8186306555791973277 CPUtime=0.08 cores=0-7
/proc/17762/task/17763/stat : 17763 (java) R 17760 17760 9857 0 -1 4202560 3868 0 0 0 7 1 0 0 20 0 20 0 511040261 28904853504 7480 33554432000 4194304 4196468 140723002219584 140385286944560 140385262013031 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17764] ppid=17760 vsize=28227396 memory=732370630299991013 CPUtime=0 cores=0-7
/proc/17762/task/17764/stat : 17764 (java) S 17760 17760 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511040262 28904853504 7480 33554432000 4194304 4196468 140723002219584 140385235331984 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17765] ppid=17760 vsize=28227396 memory=140491962537600 CPUtime=0 cores=0-7
/proc/17762/task/17765/stat : 17765 (java) S 17760 17760 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511040262 28904853504 7480 33554432000 4194304 4196468 140723002219584 140384833231632 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17766] ppid=17760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17766/stat : 17766 (java) S 17760 17760 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511040262 28904853504 7480 33554432000 4194304 4196468 140723002219584 140384832179344 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17767] ppid=17760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17767/stat : 17767 (java) S 17760 17760 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511040262 28904853504 7480 33554432000 4194304 4196468 140723002219584 140384831126544 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17768] ppid=17760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17768/stat : 17768 (java) S 17760 17760 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511040262 28904853504 7480 33554432000 4194304 4196468 140723002219584 140384830073232 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17769] ppid=17760 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17762/task/17769/stat : 17769 (java) S 17760 17760 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511040262 28904853504 7480 33554432000 4194304 4196468 140723002219584 140384829020432 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17770] ppid=17760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17770/stat : 17770 (java) S 17760 17760 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511040262 28904853504 7480 33554432000 4194304 4196468 140723002219584 140384827968144 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17771] ppid=17760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17771/stat : 17771 (java) S 17760 17760 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511040262 28904853504 7480 33554432000 4194304 4196468 140723002219584 140384826915344 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17772] ppid=17760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17772/stat : 17772 (java) S 17760 17760 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511040263 28904853504 7480 33554432000 4194304 4196468 140723002219584 140384264821360 140385282722434 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17773] ppid=17760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17773/stat : 17773 (java) S 17760 17760 9857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511040264 28904853504 7480 33554432000 4194304 4196468 140723002219584 140384263767328 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17774] ppid=17760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17774/stat : 17774 (java) S 17760 17760 9857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511040264 28904853504 7480 33554432000 4194304 4196468 140723002219584 140384262714992 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17775] ppid=17760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17775/stat : 17775 (java) S 17760 17760 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511040267 28904853504 7480 33554432000 4194304 4196468 140723002219584 140384261663312 140385282729883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17776] ppid=17760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17776/stat : 17776 (java) R 17760 17760 9857 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 511040267 28904853504 7480 33554432000 4194304 4196468 140723002219584 140384260610160 140385282722434 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17777] ppid=17760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17777/stat : 17777 (java) S 17760 17760 9857 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 511040267 28904853504 7480 33554432000 4194304 4196468 140723002219584 140384259557360 140385282722434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17778] ppid=17760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17778/stat : 17778 (java) R 17760 17760 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511040267 28904853504 7480 33554432000 4194304 4196468 140723002219584 140384258505072 140385282722434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17779] ppid=17760 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/17762/task/17779/stat : 17779 (java) R 17760 17760 9857 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 20 0 511040267 28904853504 7480 33554432000 4194304 4196468 140723002219584 140384257452272 140385260903548 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17780] ppid=17760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17780/stat : 17780 (java) S 17760 17760 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511040267 28904853504 7480 33554432000 4194304 4196468 140723002219584 140384256400224 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17781] ppid=17760 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17762/task/17781/stat : 17781 (java) S 17760 17760 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511040267 28904853504 7480 33554432000 4194304 4196468 140723002219584 140384255347504 140385282722434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31372 KiB

[startup+0.210393 s]*
/proc/loadavg: 6.69 7.71 8.02 3/209 17781
/proc/meminfo: memFree=25385820/32770624 swapFree=66941040/67108860
[pid=17760] ppid=17757 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17760/stat : 17760 (xcsp3-exec) S 17757 17760 9857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511040261 115843072 363 33554432000 4194304 5098028 140724658497888 140724658495992 140169720857212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18661376 140724658504572 140724658504814 140724658504814 140724658507722 0
/proc/17760/statm: 28282 363 304 221 0 87 0
[pid=17762] ppid=17760 vsize=28227396 memory=40556 CPUtime=0.33 cores=0-7
/proc/17762/stat : 17762 (java) S 17760 17760 9857 0 -1 1077944320 9381 0 0 0 30 3 0 0 20 0 20 0 511040261 28904853504 10139 33554432000 4194304 4196468 140723002219584 140723002202128 140385282711287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
/proc/17762/statm: 7056849 10139 3292 1 0 7019032 0
[pid=17762/tid=17763] ppid=17760 vsize=28227396 memory=576460756329955521 CPUtime=0.19 cores=0-7
/proc/17762/task/17763/stat : 17763 (java) R 17760 17760 9857 0 -1 4202560 6635 0 0 0 17 2 0 0 20 0 20 0 511040261 28904853504 10139 33554432000 4194304 4196468 140723002219584 140385286944992 140384915238672 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17764] ppid=17760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17764/stat : 17764 (java) S 17760 17760 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511040262 28904853504 10139 33554432000 4194304 4196468 140723002219584 140385235331984 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17765] ppid=17760 vsize=28227396 memory=140491962550604 CPUtime=0 cores=0-7
/proc/17762/task/17765/stat : 17765 (java) S 17760 17760 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511040262 28904853504 10139 33554432000 4194304 4196468 140723002219584 140384833231632 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17766] ppid=17760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17766/stat : 17766 (java) S 17760 17760 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511040262 28904853504 10139 33554432000 4194304 4196468 140723002219584 140384832179344 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17767] ppid=17760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17767/stat : 17767 (java) S 17760 17760 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511040262 28904853504 10139 33554432000 4194304 4196468 140723002219584 140384831126544 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17768] ppid=17760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17768/stat : 17768 (java) S 17760 17760 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511040262 28904853504 10139 33554432000 4194304 4196468 140723002219584 140384830073232 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17769] ppid=17760 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17762/task/17769/stat : 17769 (java) S 17760 17760 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511040262 28904853504 10139 33554432000 4194304 4196468 140723002219584 140384829020432 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17770] ppid=17760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17770/stat : 17770 (java) S 17760 17760 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511040262 28904853504 10139 33554432000 4194304 4196468 140723002219584 140384827968144 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17771] ppid=17760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17771/stat : 17771 (java) S 17760 17760 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511040262 28904853504 10139 33554432000 4194304 4196468 140723002219584 140384826915344 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17772] ppid=17760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17772/stat : 17772 (java) S 17760 17760 9857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511040263 28904853504 10139 33554432000 4194304 4196468 140723002219584 140384264821360 140385282722434 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17773] ppid=17760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17773/stat : 17773 (java) S 17760 17760 9857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511040264 28904853504 10139 33554432000 4194304 4196468 140723002219584 140384263767328 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17774] ppid=17760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17774/stat : 17774 (java) S 17760 17760 9857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511040264 28904853504 10139 33554432000 4194304 4196468 140723002219584 140384262714992 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17775] ppid=17760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17775/stat : 17775 (java) S 17760 17760 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511040267 28904853504 10139 33554432000 4194304 4196468 140723002219584 140384261663312 140385282729883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17776] ppid=17760 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/17762/task/17776/stat : 17776 (java) S 17760 17760 9857 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 20 0 511040267 28904853504 10139 33554432000 4194304 4196468 140723002219584 140384260610160 140385282722434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17777] ppid=17760 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/17762/task/17777/stat : 17777 (java) S 17760 17760 9857 0 -1 1077944384 169 0 0 0 1 0 0 0 20 0 20 0 511040267 28904853504 10139 33554432000 4194304 4196468 140723002219584 140384259557360 140385282722434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17778] ppid=17760 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/17762/task/17778/stat : 17778 (java) S 17760 17760 9857 0 -1 1077944384 151 0 0 0 2 0 0 0 20 0 20 0 511040267 28904853504 10139 33554432000 4194304 4196468 140723002219584 140384258505072 140385282722434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17779] ppid=17760 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/17762/task/17779/stat : 17779 (java) R 17760 17760 9857 0 -1 4202560 761 0 0 0 8 0 0 0 20 0 20 0 511040267 28904853504 10139 33554432000 4194304 4196468 140723002219584 140384257452272 140385261372584 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17780] ppid=17760 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17780/stat : 17780 (java) S 17760 17760 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511040267 28904853504 10139 33554432000 4194304 4196468 140723002219584 140384256400224 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17781] ppid=17760 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17762/task/17781/stat : 17781 (java) S 17760 17760 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511040267 28904853504 10139 33554432000 4194304 4196468 140723002219584 140384255347504 140385282722434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42008 KiB

[startup+0.310188 s]*
/proc/loadavg: 6.69 7.71 8.02 4/209 17781
/proc/meminfo: memFree=25378052/32770624 swapFree=66941040/67108860
[pid=17760] ppid=17757 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17760/stat : 17760 (xcsp3-exec) S 17757 17760 9857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511040261 115843072 363 33554432000 4194304 5098028 140724658497888 140724658495992 140169720857212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18661376 140724658504572 140724658504814 140724658504814 140724658507722 0
/proc/17760/statm: 28282 363 304 221 0 87 0
[pid=17762] ppid=17760 vsize=28231652 memory=49968 CPUtime=0.52 cores=0-7
/proc/17762/stat : 17762 (java) S 17760 17760 9857 0 -1 1077944320 10809 0 0 0 47 5 0 0 20 0 20 0 511040261 28909211648 12492 33554432000 4194304 4196468 140723002219584 140723002202128 140385282711287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
/proc/17762/statm: 7057913 12492 3347 1 0 7019032 0
[pid=17762/tid=17763] ppid=17760 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/17762/task/17763/stat : 17763 (java) R 17760 17760 9857 0 -1 4202560 7768 0 0 0 26 4 0 0 20 0 20 0 511040261 28909211648 12492 33554432000 4194304 4196468 140723002219584 140385286941936 140385266791774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17764] ppid=17760 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17764/stat : 17764 (java) S 17760 17760 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511040262 28909211648 12492 33554432000 4194304 4196468 140723002219584 140385235331984 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17765] ppid=17760 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17765/stat : 17765 (java) S 17760 17760 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511040262 28909211648 12492 33554432000 4194304 4196468 140723002219584 140384833231632 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17766] ppid=17760 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17766/stat : 17766 (java) S 17760 17760 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511040262 28909211648 12492 33554432000 4194304 4196468 140723002219584 140384832179344 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17767] ppid=17760 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17767/stat : 17767 (java) S 17760 17760 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511040262 28909211648 12492 33554432000 4194304 4196468 140723002219584 140384831126544 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17768] ppid=17760 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17768/stat : 17768 (java) S 17760 17760 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511040262 28909211648 12492 33554432000 4194304 4196468 140723002219584 140384830073232 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17769] ppid=17760 vsize=28231652 memory=140491802897071 CPUtime=0 cores=0-7
/proc/17762/task/17769/stat : 17769 (java) S 17760 17760 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511040262 28909211648 12492 33554432000 4194304 4196468 140723002219584 140384829020432 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17770] ppid=17760 vsize=28231652 memory=140491802899376 CPUtime=0 cores=0-7
/proc/17762/task/17770/stat : 17770 (java) S 17760 17760 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511040262 28909211648 12492 33554432000 4194304 4196468 140723002219584 140384827968144 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17771] ppid=17760 vsize=28231652 memory=140491802901680 CPUtime=0 cores=0-7
/proc/17762/task/17771/stat : 17771 (java) S 17760 17760 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511040262 28909211648 12492 33554432000 4194304 4196468 140723002219584 140384826915344 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17772] ppid=17760 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17772/stat : 17772 (java) S 17760 17760 9857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511040263 28909211648 12492 33554432000 4194304 4196468 140723002219584 140384264821360 140385282722434 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17773] ppid=17760 vsize=28231652 memory=280983605817232 CPUtime=0 cores=0-7
/proc/17762/task/17773/stat : 17773 (java) S 17760 17760 9857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511040264 28909211648 12492 33554432000 4194304 4196468 140723002219584 140384263767328 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17774] ppid=17760 vsize=28231652 memory=280983605814928 CPUtime=0 cores=0-7
/proc/17762/task/17774/stat : 17774 (java) S 17760 17760 9857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511040264 28909211648 12492 33554432000 4194304 4196468 140723002219584 140384262714992 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17775] ppid=17760 vsize=28231652 memory=280983605821840 CPUtime=0 cores=0-7
/proc/17762/task/17775/stat : 17775 (java) S 17760 17760 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511040267 28909211648 12492 33554432000 4194304 4196468 140723002219584 140384261663312 140385282729883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17776] ppid=17760 vsize=28231652 memory=280983605763120 CPUtime=0.01 cores=0-7
/proc/17762/task/17776/stat : 17776 (java) S 17760 17760 9857 0 -1 1077944384 381 0 0 0 1 0 0 0 20 0 20 0 511040267 28909211648 12492 33554432000 4194304 4196468 140723002219584 140384260610160 140385282722434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17777] ppid=17760 vsize=28231652 memory=280983605835664 CPUtime=0.03 cores=0-7
/proc/17762/task/17777/stat : 17777 (java) R 17760 17760 9857 0 -1 4202560 276 0 0 0 3 0 0 0 20 0 20 0 511040267 28909211648 12492 33554432000 4194304 4196468 140723002219584 140384259547744 140385282725191 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17778] ppid=17760 vsize=28231652 memory=280983605842576 CPUtime=0.02 cores=0-7
/proc/17762/task/17778/stat : 17778 (java) S 17760 17760 9857 0 -1 1077944384 159 0 0 0 2 0 0 0 20 0 20 0 511040267 28909211648 12492 33554432000 4194304 4196468 140723002219584 140384258505072 140385282722434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17779] ppid=17760 vsize=28231652 memory=280983605840272 CPUtime=0.13 cores=0-7
/proc/17762/task/17779/stat : 17779 (java) S 17760 17760 9857 0 -1 1077944384 924 0 0 0 13 0 0 0 20 0 20 0 511040267 28909211648 12492 33554432000 4194304 4196468 140723002219584 140384257452272 140385282722434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17780] ppid=17760 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17780/stat : 17780 (java) S 17760 17760 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511040267 28909211648 12492 33554432000 4194304 4196468 140723002219584 140384256400224 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17781] ppid=17760 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/17762/task/17781/stat : 17781 (java) S 17760 17760 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511040267 28909211648 12492 33554432000 4194304 4196468 140723002219584 140384255347504 140385282722434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51420 KiB

[startup+0.701252 s]
/proc/loadavg: 6.69 7.71 8.02 6/209 17781
/proc/meminfo: memFree=25358692/32770624 swapFree=66941040/67108860
[pid=17760] ppid=17757 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17760/stat : 17760 (xcsp3-exec) S 17757 17760 9857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511040261 115843072 363 33554432000 4194304 5098028 140724658497888 140724658495992 140169720857212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18661376 140724658504572 140724658504814 140724658504814 140724658507722 0
/proc/17760/statm: 28282 363 304 221 0 87 0
[pid=17762] ppid=17760 vsize=28767316 memory=173540 CPUtime=2.06 cores=0-7
/proc/17762/stat : 17762 (java) S 17760 17760 9857 0 -1 1077944320 16844 0 0 0 195 11 0 0 20 0 27 0 511040261 29457731584 43385 33554432000 4194304 4196468 140723002219584 140723002202128 140385282711287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
/proc/17762/statm: 7191829 43385 3460 1 0 7152929 0
[pid=17762/tid=17763] ppid=17760 vsize=28767316 memory=0 CPUtime=0.55 cores=0-7
/proc/17762/task/17763/stat : 17763 (java) S 17760 17760 9857 0 -1 1077944384 9281 0 0 0 51 4 0 0 20 0 27 0 511040261 29457731584 43385 33554432000 4194304 4196468 140723002219584 140385286952064 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17764] ppid=17760 vsize=28767316 memory=2353 CPUtime=0 cores=0-7
/proc/17762/task/17764/stat : 17764 (java) S 17760 17760 9857 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 27 0 511040262 29457731584 43385 33554432000 4194304 4196468 140723002219584 140385235331984 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17765] ppid=17760 vsize=28767316 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17765/stat : 17765 (java) S 17760 17760 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 511040262 29457731584 43385 33554432000 4194304 4196468 140723002219584 140384833231632 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17766] ppid=17760 vsize=28767316 memory=10728 CPUtime=0 cores=0-7
/proc/17762/task/17766/stat : 17766 (java) S 17760 17760 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 511040262 29457731584 43385 33554432000 4194304 4196468 140723002219584 140384832179344 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0

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

[pid=17762/tid=17950] ppid=17760 vsize=28833880 memory=1452 CPUtime=159.49 cores=0-7
/proc/17762/task/17950/stat : 17950 (java) R 17760 17760 9857 0 -1 4202560 1609 0 0 0 15948 1 0 0 20 0 28 0 511040343 29525893120 110067 33554432000 4194304 4196468 140723002219584 140384245076368 140384919617974 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
Current children cumulated CPU time: 1287.35 s
Current children cumulated vsize: 28947008 KiB
Current children cumulated memory: 441720 KiB

[startup+222.302 s]
/proc/loadavg: 8.24 7.92 8.04 9/218 17973
/proc/meminfo: memFree=24932696/32770624 swapFree=66941040/67108860
[pid=17760] ppid=17757 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17760/stat : 17760 (xcsp3-exec) S 17757 17760 9857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511040261 115843072 363 33554432000 4194304 5098028 140724658497888 140724658495992 140169720857212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18661376 140724658504572 140724658504814 140724658504814 140724658507722 0
/proc/17760/statm: 28282 363 304 221 0 87 0
[pid=17762] ppid=17760 vsize=28833880 memory=497292 CPUtime=1763.35 cores=0-7
/proc/17762/stat : 17762 (java) S 17760 17760 9857 0 -1 1077944320 105396 0 0 0 176250 85 0 0 20 0 28 0 511040261 29525893120 124323 33554432000 4194304 4196468 140723002219584 140723002202128 140385282711287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
/proc/17762/statm: 7208470 124323 3517 1 0 7169570 0
[pid=17762/tid=17763] ppid=17760 vsize=28833880 memory=472716 CPUtime=0.56 cores=0-7
/proc/17762/task/17763/stat : 17763 (java) S 17760 17760 9857 0 -1 1077944384 9283 0 0 0 51 5 0 0 20 0 28 0 511040261 29525893120 124323 33554432000 4194304 4196468 140723002219584 140385286952064 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17764] ppid=17760 vsize=28833880 memory=497292 CPUtime=0.37 cores=0-7
/proc/17762/task/17764/stat : 17764 (java) S 17760 17760 9857 0 -1 1077944384 2552 0 0 0 32 5 0 0 20 0 28 0 511040262 29525893120 124323 33554432000 4194304 4196468 140723002219584 140385235331984 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17765] ppid=17760 vsize=28833880 memory=497292 CPUtime=0.34 cores=0-7
/proc/17762/task/17765/stat : 17765 (java) S 17760 17760 9857 0 -1 1077944384 1194 0 0 0 29 5 0 0 20 0 28 0 511040262 29525893120 124323 33554432000 4194304 4196468 140723002219584 140384833231632 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17766] ppid=17760 vsize=28833880 memory=497292 CPUtime=0.35 cores=0-7
/proc/17762/task/17766/stat : 17766 (java) S 17760 17760 9857 0 -1 1077944384 1801 0 0 0 29 6 0 0 20 0 28 0 511040262 29525893120 124323 33554432000 4194304 4196468 140723002219584 140384832179344 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17767] ppid=17760 vsize=28833880 memory=1452 CPUtime=0.36 cores=0-7
/proc/17762/task/17767/stat : 17767 (java) S 17760 17760 9857 0 -1 1077944384 2079 0 0 0 30 6 0 0 20 0 28 0 511040262 29525893120 124323 33554432000 4194304 4196468 140723002219584 140384831126544 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17768] ppid=17760 vsize=28833880 memory=154154966223922 CPUtime=0.35 cores=0-7
/proc/17762/task/17768/stat : 17768 (java) S 17760 17760 9857 0 -1 1077944384 1034 0 0 0 29 6 0 0 20 0 28 0 511040262 29525893120 124323 33554432000 4194304 4196468 140723002219584 140384830073232 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17769] ppid=17760 vsize=28833880 memory=5867159394812977745 CPUtime=0.35 cores=0-7
/proc/17762/task/17769/stat : 17769 (java) S 17760 17760 9857 0 -1 1077944384 2966 0 0 0 30 5 0 0 20 0 28 0 511040262 29525893120 124323 33554432000 4194304 4196468 140723002219584 140384829020432 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17770] ppid=17760 vsize=28833880 memory=1744 CPUtime=0.35 cores=0-7
/proc/17762/task/17770/stat : 17770 (java) S 17760 17760 9857 0 -1 1077944384 1566 0 0 0 30 5 0 0 20 0 28 0 511040262 29525893120 124323 33554432000 4194304 4196468 140723002219584 140384827968144 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17771] ppid=17760 vsize=28833880 memory=129 CPUtime=0.35 cores=0-7
/proc/17762/task/17771/stat : 17771 (java) S 17760 17760 9857 0 -1 1077944384 2533 0 0 0 30 5 0 0 20 0 28 0 511040262 29525893120 124323 33554432000 4194304 4196468 140723002219584 140384826915344 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17772] ppid=17760 vsize=28833880 memory=1452 CPUtime=0.36 cores=0-7
/proc/17762/task/17772/stat : 17772 (java) S 17760 17760 9857 0 -1 1077944384 6652 0 0 0 31 5 0 0 20 0 28 0 511040263 29525893120 124323 33554432000 4194304 4196468 140723002219584 140384264821360 140385282722434 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17773] ppid=17760 vsize=28833880 memory=474764 CPUtime=0 cores=0-7
/proc/17762/task/17773/stat : 17773 (java) S 17760 17760 9857 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 511040264 29525893120 124323 33554432000 4194304 4196468 140723002219584 140384263767392 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17774] ppid=17760 vsize=28833880 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17774/stat : 17774 (java) S 17760 17760 9857 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 511040264 29525893120 124323 33554432000 4194304 4196468 140723002219584 140384262715008 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17775] ppid=17760 vsize=28833880 memory=0 CPUtime=0 cores=0-7
/proc/17762/task/17775/stat : 17775 (java) S 17760 17760 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511040267 29525893120 124323 33554432000 4194304 4196468 140723002219584 140384261663312 140385282729883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17776] ppid=17760 vsize=28833880 memory=780 CPUtime=2.06 cores=0-7
/proc/17762/task/17776/stat : 17776 (java) S 17760 17760 9857 0 -1 1077944384 13215 0 0 0 204 2 0 0 20 0 28 0 511040267 29525893120 124323 33554432000 4194304 4196468 140723002219584 140384260610160 140385282722434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17777] ppid=17760 vsize=28833880 memory=14008 CPUtime=1.63 cores=0-7
/proc/17762/task/17777/stat : 17777 (java) S 17760 17760 9857 0 -1 1077944384 9170 0 0 0 162 1 0 0 20 0 28 0 511040267 29525893120 124323 33554432000 4194304 4196468 140723002219584 140384259557360 140385282722434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17778] ppid=17760 vsize=28833880 memory=472716 CPUtime=1.94 cores=0-7
/proc/17762/task/17778/stat : 17778 (java) S 17760 17760 9857 0 -1 1077944384 16753 0 0 0 192 2 0 0 20 0 28 0 511040267 29525893120 124323 33554432000 4194304 4196468 140723002219584 140384258505072 140385282722434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17779] ppid=17760 vsize=28833880 memory=1452 CPUtime=0.65 cores=0-7
/proc/17762/task/17779/stat : 17779 (java) S 17760 17760 9857 0 -1 1077944384 9033 0 0 0 64 1 0 0 20 0 28 0 511040267 29525893120 124323 33554432000 4194304 4196468 140723002219584 140384257452272 140385282722434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17780] ppid=17760 vsize=28833880 memory=466092 CPUtime=0 cores=0-7
/proc/17762/task/17780/stat : 17780 (java) S 17760 17760 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511040267 29525893120 124323 33554432000 4194304 4196468 140723002219584 140384256400224 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17781] ppid=17760 vsize=28833880 memory=1452 CPUtime=0.04 cores=0-7
/proc/17762/task/17781/stat : 17781 (java) S 17760 17760 9857 0 -1 1077944384 1413 0 0 0 2 2 0 0 20 0 28 0 511040267 29525893120 124323 33554432000 4194304 4196468 140723002219584 140384255347504 140385282722434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17943] ppid=17760 vsize=28833880 memory=497292 CPUtime=219.32 cores=0-7
/proc/17762/task/17943/stat : 17943 (java) R 17760 17760 9857 0 -1 4202560 5817 0 0 0 21930 2 0 0 20 0 28 0 511040343 29525893120 124323 33554432000 4194304 4196468 140723002219584 140384236654008 140384919618035 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17944] ppid=17760 vsize=28833880 memory=1452 CPUtime=219.27 cores=0-7
/proc/17762/task/17944/stat : 17944 (java) R 17760 17760 9857 0 -1 4202560 1470 0 0 0 21926 1 0 0 20 0 28 0 511040343 29525893120 124323 33554432000 4194304 4196468 140723002219584 140384246129048 140384920765109 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17945] ppid=17760 vsize=28833880 memory=2016 CPUtime=219.01 cores=0-7
/proc/17762/task/17945/stat : 17945 (java) R 17760 17760 9857 0 -1 4202560 2223 0 0 0 21899 2 0 0 20 0 28 0 511040343 29525893120 124323 33554432000 4194304 4196468 140723002219584 140384239813096 140384921237539 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17946] ppid=17760 vsize=28833880 memory=1416 CPUtime=218.66 cores=0-7
/proc/17762/task/17946/stat : 17946 (java) R 17760 17760 9857 0 -1 4202560 3186 0 0 0 21861 5 0 0 20 0 28 0 511040343 29525893120 124323 33554432000 4194304 4196468 140723002219584 140384240864480 140384919618821 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17947] ppid=17760 vsize=28833880 memory=10728 CPUtime=218.55 cores=0-7
/proc/17762/task/17947/stat : 17947 (java) R 17760 17760 9857 0 -1 4202560 1743 0 0 0 21854 1 0 0 20 0 28 0 511040343 29525893120 124323 33554432000 4194304 4196468 140723002219584 140384237710216 140384920764444 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17948] ppid=17760 vsize=28833880 memory=63092 CPUtime=218.99 cores=0-7
/proc/17762/task/17948/stat : 17948 (java) R 17760 17760 9857 0 -1 4202560 2226 0 0 0 21898 1 0 0 20 0 28 0 511040343 29525893120 124323 33554432000 4194304 4196468 140723002219584 140384242970520 140384921583444 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17949] ppid=17760 vsize=28833880 memory=988 CPUtime=219.47 cores=0-7
/proc/17762/task/17949/stat : 17949 (java) R 17760 17760 9857 0 -1 4202560 1453 0 0 0 21946 1 0 0 20 0 28 0 511040343 29525893120 124323 33554432000 4194304 4196468 140723002219584 140384241920304 140384919618102 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17950] ppid=17760 vsize=28833880 memory=2016 CPUtime=218.88 cores=0-7
/proc/17762/task/17950/stat : 17950 (java) R 17760 17760 9857 0 -1 4202560 1681 0 0 0 21887 1 0 0 20 0 28 0 511040343 29525893120 124323 33554432000 4194304 4196468 140723002219584 140384245076312 140384921418714 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
Current children cumulated CPU time: 1763.35 s
Current children cumulated vsize: 28947008 KiB
Current children cumulated memory: 498744 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.54 8.03 8.07 9/219 17998
/proc/meminfo: memFree=24839244/32770624 swapFree=66941040/67108860
[pid=17760] ppid=17757 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17760/stat : 17760 (xcsp3-exec) S 17757 17760 9857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511040261 115843072 363 33554432000 4194304 5098028 140724658497888 140724658495992 140169720857212 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18661376 140724658504572 140724658504814 140724658504814 140724658507722 0
/proc/17760/statm: 28282 363 304 221 0 87 0
[pid=17762] ppid=17760 vsize=28833880 memory=586156 CPUtime=1999.33 cores=0-7
/proc/17762/stat : 17762 (java) S 17760 17760 9857 0 -1 1077944320 116271 0 0 0 199831 102 0 0 20 0 28 0 511040261 29525893120 146539 33554432000 4194304 4196468 140723002219584 140723002202128 140385282711287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
/proc/17762/statm: 7208470 146539 3517 1 0 7169570 0
[pid=17762/tid=17763] ppid=17760 vsize=28833880 memory=6791534058613427641 CPUtime=0.56 cores=0-7
/proc/17762/task/17763/stat : 17763 (java) S 17760 17760 9857 0 -1 1077944384 9283 0 0 0 51 5 0 0 20 0 28 0 511040261 29525893120 146539 33554432000 4194304 4196468 140723002219584 140385286952064 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17764] ppid=17760 vsize=28833880 memory=-7003737579269690708 CPUtime=0.47 cores=0-7
/proc/17762/task/17764/stat : 17764 (java) S 17760 17760 9857 0 -1 1077944384 2909 0 0 0 40 7 0 0 20 0 28 0 511040262 29525893120 146539 33554432000 4194304 4196468 140723002219584 140385235331984 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17765] ppid=17760 vsize=28833880 memory=14008 CPUtime=0.44 cores=0-7
/proc/17762/task/17765/stat : 17765 (java) S 17760 17760 9857 0 -1 1077944384 1914 0 0 0 37 7 0 0 20 0 28 0 511040262 29525893120 146539 33554432000 4194304 4196468 140723002219584 140384833231632 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17766] ppid=17760 vsize=28833880 memory=33576 CPUtime=0.44 cores=0-7
/proc/17762/task/17766/stat : 17766 (java) S 17760 17760 9857 0 -1 1077944384 2066 0 0 0 37 7 0 0 20 0 28 0 511040262 29525893120 146539 33554432000 4194304 4196468 140723002219584 140384832179344 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17767] ppid=17760 vsize=28833880 memory=2116 CPUtime=0.45 cores=0-7
/proc/17762/task/17767/stat : 17767 (java) S 17760 17760 9857 0 -1 1077944384 2777 0 0 0 37 8 0 0 20 0 28 0 511040262 29525893120 146539 33554432000 4194304 4196468 140723002219584 140384831126544 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17768] ppid=17760 vsize=28833880 memory=12024 CPUtime=0.45 cores=0-7
/proc/17762/task/17768/stat : 17768 (java) S 17760 17760 9857 0 -1 1077944384 1555 0 0 0 38 7 0 0 20 0 28 0 511040262 29525893120 146539 33554432000 4194304 4196468 140723002219584 140384830073232 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17769] ppid=17760 vsize=28833880 memory=1560 CPUtime=0.45 cores=0-7
/proc/17762/task/17769/stat : 17769 (java) S 17760 17760 9857 0 -1 1077944384 3605 0 0 0 38 7 0 0 20 0 28 0 511040262 29525893120 146539 33554432000 4194304 4196468 140723002219584 140384829020432 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17770] ppid=17760 vsize=28833880 memory=500 CPUtime=0.45 cores=0-7
/proc/17762/task/17770/stat : 17770 (java) S 17760 17760 9857 0 -1 1077944384 2273 0 0 0 38 7 0 0 20 0 28 0 511040262 29525893120 146539 33554432000 4194304 4196468 140723002219584 140384827968144 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17771] ppid=17760 vsize=28833880 memory=6791534058613427641 CPUtime=0.45 cores=0-7
/proc/17762/task/17771/stat : 17771 (java) S 17760 17760 9857 0 -1 1077944384 3171 0 0 0 38 7 0 0 20 0 28 0 511040262 29525893120 146539 33554432000 4194304 4196468 140723002219584 140384826915344 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17772] ppid=17760 vsize=28833880 memory=288230596050944315 CPUtime=0.41 cores=0-7
/proc/17762/task/17772/stat : 17772 (java) S 17760 17760 9857 0 -1 1077944384 8274 0 0 0 35 6 0 0 20 0 28 0 511040263 29525893120 146539 33554432000 4194304 4196468 140723002219584 140384264821360 140385282722434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17773] ppid=17760 vsize=28833880 memory=13572582825789943 CPUtime=0 cores=0-7
/proc/17762/task/17773/stat : 17773 (java) S 17760 17760 9857 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 511040264 29525893120 146539 33554432000 4194304 4196468 140723002219584 140384263767392 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17774] ppid=17760 vsize=28833880 memory=916 CPUtime=0 cores=0-7
/proc/17762/task/17774/stat : 17774 (java) S 17760 17760 9857 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 511040264 29525893120 146539 33554432000 4194304 4196468 140723002219584 140384262715008 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17775] ppid=17760 vsize=28833880 memory=4472 CPUtime=0 cores=0-7
/proc/17762/task/17775/stat : 17775 (java) S 17760 17760 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511040267 29525893120 146539 33554432000 4194304 4196468 140723002219584 140384261663312 140385282729883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17776] ppid=17760 vsize=28833880 memory=4096 CPUtime=2.06 cores=0-7
/proc/17762/task/17776/stat : 17776 (java) S 17760 17760 9857 0 -1 1077944384 13220 0 0 0 204 2 0 0 20 0 28 0 511040267 29525893120 146539 33554432000 4194304 4196468 140723002219584 140384260610160 140385282722434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17777] ppid=17760 vsize=28833880 memory=1408 CPUtime=1.63 cores=0-7
/proc/17762/task/17777/stat : 17777 (java) S 17760 17760 9857 0 -1 1077944384 9211 0 0 0 162 1 0 0 20 0 28 0 511040267 29525893120 146539 33554432000 4194304 4196468 140723002219584 140384259557360 140385282722434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17778] ppid=17760 vsize=28833880 memory=3528 CPUtime=1.94 cores=0-7
/proc/17762/task/17778/stat : 17778 (java) S 17760 17760 9857 0 -1 1077944384 16758 0 0 0 192 2 0 0 20 0 28 0 511040267 29525893120 146539 33554432000 4194304 4196468 140723002219584 140384258505072 140385282722434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17779] ppid=17760 vsize=28833880 memory=1452 CPUtime=0.65 cores=0-7
/proc/17762/task/17779/stat : 17779 (java) S 17760 17760 9857 0 -1 1077944384 9044 0 0 0 64 1 0 0 20 0 28 0 511040267 29525893120 146539 33554432000 4194304 4196468 140723002219584 140384257452272 140385282722434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17780] ppid=17760 vsize=28833880 memory=556960 CPUtime=0 cores=0-7
/proc/17762/task/17780/stat : 17780 (java) S 17760 17760 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511040267 29525893120 146539 33554432000 4194304 4196468 140723002219584 140384256400224 140385282721493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17781] ppid=17760 vsize=28833880 memory=1228 CPUtime=0.04 cores=0-7
/proc/17762/task/17781/stat : 17781 (java) S 17760 17760 9857 0 -1 1077944384 1533 0 0 0 2 2 0 0 20 0 28 0 511040267 29525893120 146539 33554432000 4194304 4196468 140723002219584 140384255347504 140385282722434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17943] ppid=17760 vsize=28833880 memory=6140 CPUtime=248.72 cores=0-7
/proc/17762/task/17943/stat : 17943 (java) R 17760 17760 9857 0 -1 4202560 6846 0 0 0 24870 2 0 0 20 0 28 0 511040343 29525893120 146539 33554432000 4194304 4196468 140723002219584 140384236654408 140384919618102 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17944] ppid=17760 vsize=28833880 memory=780 CPUtime=248.61 cores=0-7
/proc/17762/task/17944/stat : 17944 (java) R 17760 17760 9857 0 -1 4202560 1851 0 0 0 24860 1 0 0 20 0 28 0 511040343 29525893120 146539 33554432000 4194304 4196468 140723002219584 140384246129048 140385262436501 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17945] ppid=17760 vsize=28833880 memory=14008 CPUtime=248.46 cores=0-7
/proc/17762/task/17945/stat : 17945 (java) R 17760 17760 9857 0 -1 4202560 2650 0 0 0 24844 2 0 0 20 0 28 0 511040343 29525893120 146539 33554432000 4194304 4196468 140723002219584 140384239815024 140384921319655 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17946] ppid=17760 vsize=28833880 memory=33576 CPUtime=248.13 cores=0-7
/proc/17762/task/17946/stat : 17946 (java) R 17760 17760 9857 0 -1 4202560 4055 0 0 0 24807 6 0 0 20 0 28 0 511040343 29525893120 146539 33554432000 4194304 4196468 140723002219584 140384240864784 140384922026331 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17947] ppid=17760 vsize=28833880 memory=2116 CPUtime=247.99 cores=0-7
/proc/17762/task/17947/stat : 17947 (java) R 17760 17760 9857 0 -1 4202560 2224 0 0 0 24798 1 0 0 20 0 28 0 511040343 29525893120 146539 33554432000 4194304 4196468 140723002219584 140384237707272 140384919617694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17948] ppid=17760 vsize=28833880 memory=12024 CPUtime=248.27 cores=0-7
/proc/17762/task/17948/stat : 17948 (java) R 17760 17760 9857 0 -1 4202560 2731 0 0 0 24826 1 0 0 20 0 28 0 511040343 29525893120 146539 33554432000 4194304 4196468 140723002219584 140384242970120 140384920765753 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17949] ppid=17760 vsize=28833880 memory=1744 CPUtime=248.95 cores=0-7
/proc/17762/task/17949/stat : 17949 (java) R 17760 17760 9857 0 -1 4202560 1867 0 0 0 24894 1 0 0 20 0 28 0 511040343 29525893120 146539 33554432000 4194304 4196468 140723002219584 140384241918104 140384919617529 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
[pid=17762/tid=17950] ppid=17760 vsize=28833880 memory=924 CPUtime=248.18 cores=0-7
/proc/17762/task/17950/stat : 17950 (java) R 17760 17760 9857 0 -1 4202560 2101 0 0 0 24816 2 0 0 20 0 28 0 511040343 29525893120 146539 33554432000 4194304 4196468 140723002219584 140384245075552 140384919617508 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 32587776 140723002221552 140723002221723 140723002221723 140723002224591 0
Current children cumulated CPU time: 1999.33 s
Current children cumulated vsize: 28947008 KiB
Current children cumulated memory: 587608 KiB

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

[startup+252.039 s]
# the end of solver process 17760 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000814 s, system=0.001628 s

[startup+252.095 s]
# the end of solver process 17762 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1998.89 s, system=1.04043 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.095
CPU time (s): 1999.93
CPU user time (s): 1998.89
CPU system time (s): 1.04043
CPU usage (%): 793.323
Max. virtual memory (cumulated for all children) (KiB): 28947008
Max. memory (cumulated for all children) (KiB): 588104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1998.89
system time used= 1.04043
maximum resident set size= 586788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117900
page faults= 0
swaps= 0
block input operations= 0
block output operations= 560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39654
involuntary context switches= 23061


# summary of solver processes directly reported to runsolver:
#   pid: 17760,17762
#   total CPU time (s): 1999.93
#   total CPU user time (s): 1998.89
#   total CPU system time (s): 1.04043

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.44841 second user time and 2.5456 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-24 19:57:08
IDJOB=4407278
IDBENCH=135733
IDSOLVER=2872
FILE ID=node139/4407278-1569347695
RUNJOBID= node139-1569336112-9884
PBS_JOBID= 21705055
Free space on /tmp= 5144 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n15/TravellingSalesman-15-30-04.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4407278-1569347695/watcher-4407278-1569347695 -o /tmp/evaluation-result-4407278-1569347695/solver-4407278-1569347695 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569336112-9884 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 708794815 HOME/instance-4407278-1569347695.xml

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

MD5SUM BENCH= 3ec1135b215453db38ac12e83e420ae6
RANDOM SEED=708794815

node139.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.57
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.57
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.57
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.57
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:        25414344 kB
MemAvailable:   31780456 kB
Buffers:          106100 kB
Cached:          6349072 kB
SwapCached:        64832 kB
Active:          3225968 kB
Inactive:        3298692 kB
Active(anon):       4380 kB
Inactive(anon):   121752 kB
Active(file):    3221588 kB
Inactive(file):  3176940 kB
Unevictable:      107100 kB
Mlocked:          107100 kB
SwapTotal:      67108860 kB
SwapFree:       66941040 kB
Dirty:             26036 kB
Writeback:             0 kB
AnonPages:        277368 kB
Mapped:            57580 kB
Shmem:             47380 kB
Slab:             425604 kB
SReclaimable:     396044 kB
SUnreclaim:        29560 kB
KernelStack:        3840 kB
PageTables:         5752 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 5120 MiB
End job on node139 at 2019-09-24 20:01:20