Trace number 4400309

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-16 parallelSAT (TO)132 2002.15 252.108

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-m1-n30/
TravellingSalesman-30-30-00.xml
MD5SUMb8130450ecaa214ac0617b692471aec1
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark126
Best CPU time to get the best result obtained on this benchmark2400.1
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of constraints31
Number of domains2
Minimum domain size30
Maximum domain size32
Distribution of domain sizes[{"size":30,"count":30},{"size":32,"count":30}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":30},{"degree":3,"count":30}]
Minimum constraint arity3
Maximum constraint arity30
Distribution of constraint arities[{"arity":3,"count":30},{"arity":30,"count":1}]
Number of extensional constraints30
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":30},{"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-4400309-1568711448.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4400309-1568711448.xml, -tl, 2016s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
1.48/0.65	c solve instance...
1.99/0.75	o 459 
1.99/0.78	o 257 
1.99/0.79	o 252 
2.55/0.80	o 134 
2.55/0.83	o 132 
2001.49/252.07	s SATISFIABLE
2001.49/252.07	v <instantiation>
2001.49/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] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] 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] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] </list>
2001.49/252.07	v 	<values>0 4 5 7 8 3 9 12 15 14 17 19 18 16 27 29 28 25 23 24 26 22 21 20 13 11 10 1 6 2 3 2 4 1 4 4 4 4 4 4 6 5 5 12 12 3 2 4 1 5 3 2 1 8 6 1 11 4 5 2 </values>
2001.49/252.07	v </instantiation>
2001.49/252.07	c Unexpected resolution interruption!

Verifier Data 

OK	132

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400309-1568711448/watcher-4400309-1568711448 -o /tmp/evaluation-result-4400309-1568711448/solver-4400309-1568711448 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568701156-7383 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1190028281 HOME/instance-4400309-1568711448.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=14733, runsolver pid=14730
Current StackSize limit: 8192 KiB


[startup+0.10012 s]*
/proc/loadavg: 7.99 7.89 7.93 3/212 14754
/proc/meminfo: memFree=29315484/32770624 swapFree=66958320/67108860
[pid=14733] ppid=14730 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/14733/stat : 14733 (xcsp3-exec) S 14730 14733 7356 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447081310 115843072 362 33554432000 4194304 5098028 140734814264112 140734814262216 140369372652156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38232064 140734814266235 140734814266478 140734814266478 140734814269386 0
/proc/14733/statm: 28282 362 304 221 0 87 0
[pid=14735] ppid=14733 vsize=28227396 memory=28932 CPUtime=0.12 cores=0-7
/proc/14735/stat : 14735 (java) S 14733 14733 7356 0 -1 1077944320 5711 0 0 0 11 1 0 0 20 0 20 0 447081310 28904853504 7233 33554432000 4194304 4196468 140735586348672 140735586331216 139693942218487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
/proc/14735/statm: 7056849 7233 3118 1 0 7019032 0
[pid=14735/tid=14736] ppid=14733 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/14735/task/14736/stat : 14736 (java) R 14733 14733 7356 0 -1 4202560 3609 0 0 0 8 0 0 0 20 0 20 0 447081310 28904853504 7233 33554432000 4194304 4196468 140735586348672 139693946451264 139693922863154 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14737] ppid=14733 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/14735/task/14737/stat : 14737 (java) S 14733 14733 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447081311 28904853504 7233 33554432000 4194304 4196468 140735586348672 139693894838544 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14738] ppid=14733 vsize=28227396 memory=140613057889920 CPUtime=0 cores=0-7
/proc/14735/task/14738/stat : 14738 (java) S 14733 14733 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447081311 28904853504 7233 33554432000 4194304 4196468 140735586348672 139693893786000 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14739] ppid=14733 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14739/stat : 14739 (java) S 14733 14733 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447081311 28904853504 7233 33554432000 4194304 4196468 140735586348672 139693892733456 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14740] ppid=14733 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14740/stat : 14740 (java) S 14733 14733 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447081311 28904853504 7233 33554432000 4194304 4196468 140735586348672 139693891680912 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14741] ppid=14733 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14741/stat : 14741 (java) S 14733 14733 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447081311 28904853504 7233 33554432000 4194304 4196468 140735586348672 139693890628368 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14742] ppid=14733 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14735/task/14742/stat : 14742 (java) S 14733 14733 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447081311 28904853504 7233 33554432000 4194304 4196468 140735586348672 139693889575824 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14743] ppid=14733 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14743/stat : 14743 (java) S 14733 14733 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447081311 28904853504 7233 33554432000 4194304 4196468 140735586348672 139693888523280 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14744] ppid=14733 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14744/stat : 14744 (java) S 14733 14733 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447081311 28904853504 7233 33554432000 4194304 4196468 140735586348672 139693887470736 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14745] ppid=14733 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14745/stat : 14745 (java) S 14733 14733 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447081313 28904853504 7233 33554432000 4194304 4196468 140735586348672 139693259687920 139693942229634 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14746] ppid=14733 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14746/stat : 14746 (java) S 14733 14733 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447081313 28904853504 7233 33554432000 4194304 4196468 140735586348672 139693258634144 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14747] ppid=14733 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14747/stat : 14747 (java) S 14733 14733 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447081314 28904853504 7233 33554432000 4194304 4196468 140735586348672 139693257581552 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14748] ppid=14733 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14748/stat : 14748 (java) S 14733 14733 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447081316 28904853504 7233 33554432000 4194304 4196468 140735586348672 139693256530128 139693942237083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14749] ppid=14733 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14749/stat : 14749 (java) S 14733 14733 7356 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 447081316 28904853504 7233 33554432000 4194304 4196468 140735586348672 139693255477744 139693942229634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14750] ppid=14733 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14750/stat : 14750 (java) S 14733 14733 7356 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 447081316 28904853504 7233 33554432000 4194304 4196468 140735586348672 139693254425200 139693942229634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14751] ppid=14733 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14751/stat : 14751 (java) S 14733 14733 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447081316 28904853504 7233 33554432000 4194304 4196468 140735586348672 139693253372656 139693942229634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14752] ppid=14733 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/14735/task/14752/stat : 14752 (java) S 14733 14733 7356 0 -1 1077944384 370 0 0 0 2 0 0 0 20 0 20 0 447081316 28904853504 7233 33554432000 4194304 4196468 140735586348672 139693252320112 139693942229634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14753] ppid=14733 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14753/stat : 14753 (java) S 14733 14733 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447081316 28904853504 7233 33554432000 4194304 4196468 140735586348672 139693251266784 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14754] ppid=14733 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14735/task/14754/stat : 14754 (java) S 14733 14733 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447081316 28904853504 7233 33554432000 4194304 4196468 140735586348672 139693250214320 139693942229634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30380 KiB

[startup+0.210799 s]*
/proc/loadavg: 7.99 7.89 7.93 2/212 14754
/proc/meminfo: memFree=29301972/32770624 swapFree=66958320/67108860
[pid=14733] ppid=14730 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/14733/stat : 14733 (xcsp3-exec) S 14730 14733 7356 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447081310 115843072 362 33554432000 4194304 5098028 140734814264112 140734814262216 140369372652156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38232064 140734814266235 140734814266478 140734814266478 140734814269386 0
/proc/14733/statm: 28282 362 304 221 0 87 0
[pid=14735] ppid=14733 vsize=28227396 memory=40876 CPUtime=0.34 cores=0-7
/proc/14735/stat : 14735 (java) S 14733 14733 7356 0 -1 1077944320 9516 0 0 0 30 4 0 0 20 0 20 0 447081310 28904853504 10219 33554432000 4194304 4196468 140735586348672 140735586331216 139693942218487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
/proc/14735/statm: 7056849 10219 3298 1 0 7019032 0
[pid=14735/tid=14736] ppid=14733 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/14735/task/14736/stat : 14736 (java) R 14733 14733 7356 0 -1 4202560 6636 0 0 0 17 2 0 0 20 0 20 0 447081310 28904853504 10219 33554432000 4194304 4196468 140735586348672 139693946452432 139693942230422 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14737] ppid=14733 vsize=28227396 memory=329 CPUtime=0 cores=0-7
/proc/14735/task/14737/stat : 14737 (java) S 14733 14733 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447081311 28904853504 10219 33554432000 4194304 4196468 140735586348672 139693894838544 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14738] ppid=14733 vsize=28227396 memory=140613057901923 CPUtime=0 cores=0-7
/proc/14735/task/14738/stat : 14738 (java) S 14733 14733 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447081311 28904853504 10219 33554432000 4194304 4196468 140735586348672 139693893786000 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14739] ppid=14733 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14735/task/14739/stat : 14739 (java) S 14733 14733 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447081311 28904853504 10219 33554432000 4194304 4196468 140735586348672 139693892733456 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14740] ppid=14733 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14740/stat : 14740 (java) S 14733 14733 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447081311 28904853504 10219 33554432000 4194304 4196468 140735586348672 139693891680912 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14741] ppid=14733 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14741/stat : 14741 (java) S 14733 14733 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447081311 28904853504 10219 33554432000 4194304 4196468 140735586348672 139693890628368 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14742] ppid=14733 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14735/task/14742/stat : 14742 (java) S 14733 14733 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447081311 28904853504 10219 33554432000 4194304 4196468 140735586348672 139693889575824 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14743] ppid=14733 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14743/stat : 14743 (java) S 14733 14733 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447081311 28904853504 10219 33554432000 4194304 4196468 140735586348672 139693888523280 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14744] ppid=14733 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14744/stat : 14744 (java) S 14733 14733 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447081311 28904853504 10219 33554432000 4194304 4196468 140735586348672 139693887470736 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14745] ppid=14733 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14745/stat : 14745 (java) S 14733 14733 7356 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 447081313 28904853504 10219 33554432000 4194304 4196468 140735586348672 139693259687920 139693942229634 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14746] ppid=14733 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14746/stat : 14746 (java) S 14733 14733 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447081313 28904853504 10219 33554432000 4194304 4196468 140735586348672 139693258634144 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14747] ppid=14733 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14747/stat : 14747 (java) S 14733 14733 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447081314 28904853504 10219 33554432000 4194304 4196468 140735586348672 139693257581552 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14748] ppid=14733 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14748/stat : 14748 (java) S 14733 14733 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447081316 28904853504 10219 33554432000 4194304 4196468 140735586348672 139693256530128 139693942237083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14749] ppid=14733 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14735/task/14749/stat : 14749 (java) S 14733 14733 7356 0 -1 1077944384 438 0 0 0 1 0 0 0 20 0 20 0 447081316 28904853504 10219 33554432000 4194304 4196468 140735586348672 139693255477744 139693942229634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14750] ppid=14733 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14735/task/14750/stat : 14750 (java) S 14733 14733 7356 0 -1 1077944384 145 0 0 0 1 0 0 0 20 0 20 0 447081316 28904853504 10219 33554432000 4194304 4196468 140735586348672 139693254425200 139693942229634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14751] ppid=14733 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/14735/task/14751/stat : 14751 (java) S 14733 14733 7356 0 -1 1077944384 197 0 0 0 1 0 0 0 20 0 20 0 447081316 28904853504 10219 33554432000 4194304 4196468 140735586348672 139693253372656 139693942229634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14752] ppid=14733 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/14735/task/14752/stat : 14752 (java) R 14733 14733 7356 0 -1 4202560 786 0 0 0 7 0 0 0 20 0 20 0 447081316 28904853504 10219 33554432000 4194304 4196468 140735586348672 139693252320112 139693942239834 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14753] ppid=14733 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14753/stat : 14753 (java) S 14733 14733 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447081316 28904853504 10219 33554432000 4194304 4196468 140735586348672 139693251266784 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14754] ppid=14733 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14735/task/14754/stat : 14754 (java) S 14733 14733 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447081316 28904853504 10219 33554432000 4194304 4196468 140735586348672 139693250214320 139693942229634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42324 KiB

[startup+0.319972 s]*
/proc/loadavg: 7.99 7.89 7.93 4/212 14754
/proc/meminfo: memFree=29294452/32770624 swapFree=66958320/67108860
[pid=14733] ppid=14730 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/14733/stat : 14733 (xcsp3-exec) S 14730 14733 7356 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447081310 115843072 362 33554432000 4194304 5098028 140734814264112 140734814262216 140369372652156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38232064 140734814266235 140734814266478 140734814266478 140734814269386 0
/proc/14733/statm: 28282 362 304 221 0 87 0
[pid=14735] ppid=14733 vsize=28231652 memory=50408 CPUtime=0.54 cores=0-7
/proc/14735/stat : 14735 (java) S 14733 14733 7356 0 -1 1077944320 11000 0 0 0 50 4 0 0 20 0 20 0 447081310 28909211648 12602 33554432000 4194304 4196468 140735586348672 140735586331216 139693942218487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
/proc/14735/statm: 7057913 12602 3357 1 0 7019032 0
[pid=14735/tid=14736] ppid=14733 vsize=28231652 memory=1398722017469774279 CPUtime=0.31 cores=0-7
/proc/14735/task/14736/stat : 14736 (java) R 14733 14733 7356 0 -1 4202560 7895 0 0 0 28 3 0 0 20 0 20 0 447081310 28909211648 12602 33554432000 4194304 4196468 140735586348672 139693946449600 139693926298974 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14737] ppid=14733 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14737/stat : 14737 (java) S 14733 14733 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447081311 28909211648 12602 33554432000 4194304 4196468 140735586348672 139693894838544 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14738] ppid=14733 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14738/stat : 14738 (java) S 14733 14733 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447081311 28909211648 12602 33554432000 4194304 4196468 140735586348672 139693893786000 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14739] ppid=14733 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14739/stat : 14739 (java) S 14733 14733 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447081311 28909211648 12667 33554432000 4194304 4196468 140735586348672 139693892733456 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14740] ppid=14733 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14740/stat : 14740 (java) S 14733 14733 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447081311 28909211648 12667 33554432000 4194304 4196468 140735586348672 139693891680912 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14741] ppid=14733 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14741/stat : 14741 (java) S 14733 14733 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447081311 28909211648 12667 33554432000 4194304 4196468 140735586348672 139693890628368 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14742] ppid=14733 vsize=28231652 memory=140612934396591 CPUtime=0 cores=0-7
/proc/14735/task/14742/stat : 14742 (java) S 14733 14733 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447081311 28909211648 12667 33554432000 4194304 4196468 140735586348672 139693889575824 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14743] ppid=14733 vsize=28231652 memory=140612934398896 CPUtime=0 cores=0-7
/proc/14735/task/14743/stat : 14743 (java) S 14733 14733 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447081311 28909211648 12667 33554432000 4194304 4196468 140735586348672 139693888523280 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14744] ppid=14733 vsize=28231652 memory=140612934401200 CPUtime=0 cores=0-7
/proc/14735/task/14744/stat : 14744 (java) S 14733 14733 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447081311 28909211648 12667 33554432000 4194304 4196468 140735586348672 139693887470736 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14745] ppid=14733 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14745/stat : 14745 (java) S 14733 14733 7356 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 447081313 28909211648 12667 33554432000 4194304 4196468 140735586348672 139693259687920 139693942229634 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14746] ppid=14733 vsize=28231652 memory=281225868816272 CPUtime=0 cores=0-7
/proc/14735/task/14746/stat : 14746 (java) S 14733 14733 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447081313 28909211648 12667 33554432000 4194304 4196468 140735586348672 139693258634144 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14747] ppid=14733 vsize=28231652 memory=281225868813968 CPUtime=0 cores=0-7
/proc/14735/task/14747/stat : 14747 (java) S 14733 14733 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447081314 28909211648 12667 33554432000 4194304 4196468 140735586348672 139693257581552 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14748] ppid=14733 vsize=28231652 memory=281225868820880 CPUtime=0 cores=0-7
/proc/14735/task/14748/stat : 14748 (java) S 14733 14733 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447081316 28909211648 12667 33554432000 4194304 4196468 140735586348672 139693256530128 139693942237083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14749] ppid=14733 vsize=28231652 memory=281225868762128 CPUtime=0.02 cores=0-7
/proc/14735/task/14749/stat : 14749 (java) S 14733 14733 7356 0 -1 1077944384 446 0 0 0 2 0 0 0 20 0 20 0 447081316 28909211648 12667 33554432000 4194304 4196468 140735586348672 139693255477744 139693942229634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14750] ppid=14733 vsize=28231652 memory=281225868834704 CPUtime=0.04 cores=0-7
/proc/14735/task/14750/stat : 14750 (java) S 14733 14733 7356 0 -1 1077944384 262 0 0 0 4 0 0 0 20 0 20 0 447081316 28909211648 12667 33554432000 4194304 4196468 140735586348672 139693254425200 139693942229634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14751] ppid=14733 vsize=28231652 memory=281225868841616 CPUtime=0.02 cores=0-7
/proc/14735/task/14751/stat : 14751 (java) S 14733 14733 7356 0 -1 1077944384 207 0 0 0 2 0 0 0 20 0 20 0 447081316 28909211648 12667 33554432000 4194304 4196468 140735586348672 139693253372656 139693942229634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14752] ppid=14733 vsize=28231652 memory=281225868839312 CPUtime=0.12 cores=0-7
/proc/14735/task/14752/stat : 14752 (java) S 14733 14733 7356 0 -1 1077944384 879 0 0 0 12 0 0 0 20 0 20 0 447081316 28909211648 12667 33554432000 4194304 4196468 140735586348672 139693252320112 139693942229634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14753] ppid=14733 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14753/stat : 14753 (java) S 14733 14733 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447081316 28909211648 12667 33554432000 4194304 4196468 140735586348672 139693251266784 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14754] ppid=14733 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/14735/task/14754/stat : 14754 (java) S 14733 14733 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447081316 28909211648 12667 33554432000 4194304 4196468 140735586348672 139693250214320 139693942229634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51856 KiB

[startup+0.706978 s]
/proc/loadavg: 7.99 7.89 7.93 5/212 14754
/proc/meminfo: memFree=29273840/32770624 swapFree=66958320/67108860
[pid=14733] ppid=14730 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/14733/stat : 14733 (xcsp3-exec) S 14730 14733 7356 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447081310 115843072 362 33554432000 4194304 5098028 140734814264112 140734814262216 140369372652156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38232064 140734814266235 140734814266478 140734814266478 140734814269386 0
/proc/14733/statm: 28282 362 304 221 0 87 0
[pid=14735] ppid=14733 vsize=28766288 memory=114800 CPUtime=1.99 cores=0-7
/proc/14735/stat : 14735 (java) S 14733 14733 7356 0 -1 1077944320 15524 0 0 0 192 7 0 0 20 0 28 0 447081310 29456678912 28700 33554432000 4194304 4196468 140735586348672 140735586331216 139693942218487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
/proc/14735/statm: 7191572 28700 3460 1 0 7152672 0
[pid=14735/tid=14736] ppid=14733 vsize=28766288 memory=0 CPUtime=0.64 cores=0-7
/proc/14735/task/14736/stat : 14736 (java) S 14733 14733 7356 0 -1 1077944384 8739 0 0 0 60 4 0 0 20 0 28 0 447081310 29456678912 28700 33554432000 4194304 4196468 140735586348672 139693946459264 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14737] ppid=14733 vsize=28766288 memory=140612934607728 CPUtime=0 cores=0-7
/proc/14735/task/14737/stat : 14737 (java) S 14733 14733 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447081311 29456678912 28700 33554432000 4194304 4196468 140735586348672 139693894838544 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14738] ppid=14733 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/14735/task/14738/stat : 14738 (java) S 14733 14733 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 447081311 29456678912 28700 33554432000 4194304 4196468 140735586348672 139693893786000 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14739] ppid=14733 vsize=28766288 memory=8024 CPUtime=0 cores=0-7
/proc/14735/task/14739/stat : 14739 (java) S 14733 14733 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447081311 29456678912 28700 33554432000 4194304 4196468 140735586348672 139693892733456 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0

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

[pid=14735/tid=14801] ppid=14733 vsize=28768336 memory=1448 CPUtime=160.3 cores=0-7
/proc/14735/task/14801/stat : 14801 (java) R 14733 14733 7356 0 -1 4202560 1662 0 0 0 16029 1 0 0 20 0 28 0 447081393 29458776064 49596 33554432000 4194304 4196468 140735586348672 139693235732040 139693565900774 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
Current children cumulated CPU time: 1288.15 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 199832 KiB

[startup+222.302 s]
/proc/loadavg: 8.74 8.26 8.06 10/220 14815
/proc/meminfo: memFree=29134740/32770624 swapFree=66958320/67108860
[pid=14733] ppid=14730 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/14733/stat : 14733 (xcsp3-exec) S 14730 14733 7356 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447081310 115843072 362 33554432000 4194304 5098028 140734814264112 140734814262216 140369372652156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38232064 140734814266235 140734814266478 140734814266478 140734814269386 0
/proc/14733/statm: 28282 362 304 221 0 87 0
[pid=14735] ppid=14733 vsize=28768336 memory=213112 CPUtime=1765.39 cores=0-7
/proc/14735/stat : 14735 (java) S 14733 14733 7356 0 -1 1077944320 88352 0 0 0 176470 69 0 0 20 0 28 0 447081310 29458776064 53278 33554432000 4194304 4196468 140735586348672 140735586331216 139693942218487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
/proc/14735/statm: 7192084 53278 3518 1 0 7153184 0
[pid=14735/tid=14736] ppid=14733 vsize=28768336 memory=213112 CPUtime=0.64 cores=0-7
/proc/14735/task/14736/stat : 14736 (java) S 14733 14733 7356 0 -1 1077944384 8742 0 0 0 60 4 0 0 20 0 28 0 447081310 29458776064 53278 33554432000 4194304 4196468 140735586348672 139693946459264 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14737] ppid=14733 vsize=28768336 memory=213012 CPUtime=0.21 cores=0-7
/proc/14735/task/14737/stat : 14737 (java) S 14733 14733 7356 0 -1 1077944384 1432 0 0 0 17 4 0 0 20 0 28 0 447081311 29458776064 53278 33554432000 4194304 4196468 140735586348672 139693894838544 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14738] ppid=14733 vsize=28768336 memory=213112 CPUtime=0.2 cores=0-7
/proc/14735/task/14738/stat : 14738 (java) S 14733 14733 7356 0 -1 1077944384 1541 0 0 0 17 3 0 0 20 0 28 0 447081311 29458776064 53278 33554432000 4194304 4196468 140735586348672 139693893786000 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14739] ppid=14733 vsize=28768336 memory=1448 CPUtime=0.21 cores=0-7
/proc/14735/task/14739/stat : 14739 (java) S 14733 14733 7356 0 -1 1077944384 2666 0 0 0 17 4 0 0 20 0 28 0 447081311 29458776064 53278 33554432000 4194304 4196468 140735586348672 139693892733456 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14740] ppid=14733 vsize=28768336 memory=1448 CPUtime=0.21 cores=0-7
/proc/14735/task/14740/stat : 14740 (java) S 14733 14733 7356 0 -1 1077944384 1389 0 0 0 17 4 0 0 20 0 28 0 447081311 29458776064 53278 33554432000 4194304 4196468 140735586348672 139693891680912 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14741] ppid=14733 vsize=28768336 memory=0 CPUtime=0.21 cores=0-7
/proc/14735/task/14741/stat : 14741 (java) S 14733 14733 7356 0 -1 1077944384 1237 0 0 0 17 4 0 0 20 0 28 0 447081311 29458776064 53278 33554432000 4194304 4196468 140735586348672 139693890628368 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14742] ppid=14733 vsize=28768336 memory=213112 CPUtime=0.22 cores=0-7
/proc/14735/task/14742/stat : 14742 (java) S 14733 14733 7356 0 -1 1077944384 3121 0 0 0 18 4 0 0 20 0 28 0 447081311 29458776064 53278 33554432000 4194304 4196468 140735586348672 139693889575824 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14743] ppid=14733 vsize=28768336 memory=206752 CPUtime=0.22 cores=0-7
/proc/14735/task/14743/stat : 14743 (java) S 14733 14733 7356 0 -1 1077944384 1574 0 0 0 18 4 0 0 20 0 28 0 447081311 29458776064 53278 33554432000 4194304 4196468 140735586348672 139693888523280 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14744] ppid=14733 vsize=28768336 memory=1448 CPUtime=0.2 cores=0-7
/proc/14735/task/14744/stat : 14744 (java) S 14733 14733 7356 0 -1 1077944384 1165 0 0 0 16 4 0 0 20 0 28 0 447081311 29458776064 53278 33554432000 4194304 4196468 140735586348672 139693887470736 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14745] ppid=14733 vsize=28768336 memory=1448 CPUtime=0.21 cores=0-7
/proc/14735/task/14745/stat : 14745 (java) S 14733 14733 7356 0 -1 1077944384 4923 0 0 0 18 3 0 0 20 0 28 0 447081313 29458776064 53278 33554432000 4194304 4196468 140735586348672 139693259687920 139693942229634 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14746] ppid=14733 vsize=28768336 memory=204704 CPUtime=0 cores=0-7
/proc/14735/task/14746/stat : 14746 (java) S 14733 14733 7356 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 447081313 29458776064 53278 33554432000 4194304 4196468 140735586348672 139693258634208 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14747] ppid=14733 vsize=28768336 memory=111636 CPUtime=0 cores=0-7
/proc/14735/task/14747/stat : 14747 (java) S 14733 14733 7356 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 447081314 29458776064 53278 33554432000 4194304 4196468 140735586348672 139693257581568 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14748] ppid=14733 vsize=28768336 memory=804 CPUtime=0 cores=0-7
/proc/14735/task/14748/stat : 14748 (java) S 14733 14733 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447081316 29458776064 53278 33554432000 4194304 4196468 140735586348672 139693256530128 139693942237083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14749] ppid=14733 vsize=28768336 memory=213012 CPUtime=2 cores=0-7
/proc/14735/task/14749/stat : 14749 (java) S 14733 14733 7356 0 -1 1077944384 11749 0 0 0 198 2 0 0 20 0 28 0 447081316 29458776064 53278 33554432000 4194304 4196468 140735586348672 139693255477744 139693942229634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14750] ppid=14733 vsize=28768336 memory=1448 CPUtime=2.01 cores=0-7
/proc/14735/task/14750/stat : 14750 (java) S 14733 14733 7356 0 -1 1077944384 8152 0 0 0 200 1 0 0 20 0 28 0 447081316 29458776064 53278 33554432000 4194304 4196468 140735586348672 139693254425200 139693942229634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14751] ppid=14733 vsize=28768336 memory=6791534058613427641 CPUtime=2.3 cores=0-7
/proc/14735/task/14751/stat : 14751 (java) S 14733 14733 7356 0 -1 1077944384 12969 0 0 0 227 3 0 0 20 0 28 0 447081316 29458776064 53278 33554432000 4194304 4196468 140735586348672 139693253372656 139693942229634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14752] ppid=14733 vsize=28768336 memory=204704 CPUtime=0.77 cores=0-7
/proc/14735/task/14752/stat : 14752 (java) S 14733 14733 7356 0 -1 1077944384 7480 0 0 0 76 1 0 0 20 0 28 0 447081316 29458776064 53278 33554432000 4194304 4196468 140735586348672 139693252320112 139693942229634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14753] ppid=14733 vsize=28768336 memory=206752 CPUtime=0 cores=0-7
/proc/14735/task/14753/stat : 14753 (java) S 14733 14733 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447081316 29458776064 53278 33554432000 4194304 4196468 140735586348672 139693251266784 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14754] ppid=14733 vsize=28768336 memory=1448 CPUtime=0.03 cores=0-7
/proc/14735/task/14754/stat : 14754 (java) S 14733 14733 7356 0 -1 1077944384 2087 0 0 0 0 3 0 0 20 0 28 0 447081316 29458776064 53278 33554432000 4194304 4196468 140735586348672 139693250214320 139693942229634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14794] ppid=14733 vsize=28768336 memory=1448 CPUtime=219.94 cores=0-7
/proc/14735/task/14794/stat : 14794 (java) R 14733 14733 7356 0 -1 4202560 3821 0 0 0 21992 2 0 0 20 0 28 0 447081393 29458776064 53278 33554432000 4194304 4196468 140735586348672 139693236783768 139693564874562 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14795] ppid=14733 vsize=28768336 memory=206752 CPUtime=219.43 cores=0-7
/proc/14735/task/14795/stat : 14795 (java) R 14733 14733 7356 0 -1 4202560 1360 0 0 0 21943 0 0 0 20 0 28 0 447081393 29458776064 53278 33554432000 4194304 4196468 140735586348672 139693240996352 139693567498001 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14796] ppid=14733 vsize=28768336 memory=8024 CPUtime=219.35 cores=0-7
/proc/14735/task/14796/stat : 14796 (java) R 14733 14733 7356 0 -1 4202560 1299 0 0 0 21934 1 0 0 20 0 28 0 447081393 29458776064 53278 33554432000 4194304 4196468 140735586348672 139693238891136 139693565615435 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14797] ppid=14733 vsize=28768336 memory=10428 CPUtime=219.31 cores=0-7
/proc/14735/task/14797/stat : 14797 (java) R 14733 14733 7356 0 -1 4202560 2512 0 0 0 21927 4 0 0 20 0 28 0 447081393 29458776064 53278 33554432000 4194304 4196468 140735586348672 139693233627280 139693568572235 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14798] ppid=14733 vsize=28768336 memory=14012 CPUtime=218.26 cores=0-7
/proc/14735/task/14798/stat : 14798 (java) R 14733 14733 7356 0 -1 4202560 2045 0 0 0 21824 2 0 0 20 0 28 0 447081393 29458776064 53278 33554432000 4194304 4196468 140735586348672 139693234683880 139693565290505 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14799] ppid=14733 vsize=28768336 memory=7597686290656030562 CPUtime=219.54 cores=0-7
/proc/14735/task/14799/stat : 14799 (java) R 14733 14733 7356 0 -1 4202560 1545 0 0 0 21953 1 0 0 20 0 28 0 447081393 29458776064 53278 33554432000 4194304 4196468 140735586348672 139693237838648 139693567115404 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14800] ppid=14733 vsize=28768336 memory=8024 CPUtime=219.22 cores=0-7
/proc/14735/task/14800/stat : 14800 (java) R 14733 14733 7356 0 -1 4202560 1304 0 0 0 21922 0 0 0 20 0 28 0 447081393 29458776064 53278 33554432000 4194304 4196468 140735586348672 139693239944456 139693566454642 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14801] ppid=14733 vsize=28768336 memory=10428 CPUtime=220.01 cores=0-7
/proc/14735/task/14801/stat : 14801 (java) R 14733 14733 7356 0 -1 4202560 1922 0 0 0 22000 1 0 0 20 0 28 0 447081393 29458776064 53278 33554432000 4194304 4196468 140735586348672 139693235734928 139693565645100 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
Current children cumulated CPU time: 1765.39 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 214560 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.64 8.29 8.07 9/220 14818
/proc/meminfo: memFree=29113100/32770624 swapFree=66958320/67108860
[pid=14733] ppid=14730 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/14733/stat : 14733 (xcsp3-exec) S 14730 14733 7356 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447081310 115843072 362 33554432000 4194304 5098028 140734814264112 140734814262216 140369372652156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38232064 140734814266235 140734814266478 140734814266478 140734814269386 0
/proc/14733/statm: 28282 362 304 221 0 87 0
[pid=14735] ppid=14733 vsize=28768336 memory=233692 CPUtime=2001.49 cores=0-7
/proc/14735/stat : 14735 (java) S 14733 14733 7356 0 -1 1077944320 88584 0 0 0 200078 71 0 0 20 0 28 0 447081310 29458776064 58423 33554432000 4194304 4196468 140735586348672 140735586331216 139693942218487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
/proc/14735/statm: 7192084 58423 3518 1 0 7153184 0
[pid=14735/tid=14736] ppid=14733 vsize=28768336 memory=1398722017469774279 CPUtime=0.64 cores=0-7
/proc/14735/task/14736/stat : 14736 (java) S 14733 14733 7356 0 -1 1077944384 8742 0 0 0 60 4 0 0 20 0 28 0 447081310 29458776064 58423 33554432000 4194304 4196468 140735586348672 139693946459264 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14737] ppid=14733 vsize=28768336 memory=4872558044660077418 CPUtime=0.24 cores=0-7
/proc/14735/task/14737/stat : 14737 (java) S 14733 14733 7356 0 -1 1077944384 1446 0 0 0 20 4 0 0 20 0 28 0 447081311 29458776064 58423 33554432000 4194304 4196468 140735586348672 139693894838544 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14738] ppid=14733 vsize=28768336 memory=1804 CPUtime=0.24 cores=0-7
/proc/14735/task/14738/stat : 14738 (java) S 14733 14733 7356 0 -1 1077944384 1557 0 0 0 21 3 0 0 20 0 28 0 447081311 29458776064 58423 33554432000 4194304 4196468 140735586348672 139693893786000 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14739] ppid=14733 vsize=28768336 memory=916 CPUtime=0.25 cores=0-7
/proc/14735/task/14739/stat : 14739 (java) S 14733 14733 7356 0 -1 1077944384 2684 0 0 0 20 5 0 0 20 0 28 0 447081311 29458776064 58423 33554432000 4194304 4196468 140735586348672 139693892733456 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14740] ppid=14733 vsize=28768336 memory=4552 CPUtime=0.25 cores=0-7
/proc/14735/task/14740/stat : 14740 (java) S 14733 14733 7356 0 -1 1077944384 1402 0 0 0 21 4 0 0 20 0 28 0 447081311 29458776064 58423 33554432000 4194304 4196468 140735586348672 139693891680912 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14741] ppid=14733 vsize=28768336 memory=4100 CPUtime=0.24 cores=0-7
/proc/14735/task/14741/stat : 14741 (java) S 14733 14733 7356 0 -1 1077944384 1247 0 0 0 20 4 0 0 20 0 28 0 447081311 29458776064 58423 33554432000 4194304 4196468 140735586348672 139693890628368 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14742] ppid=14733 vsize=28768336 memory=1412 CPUtime=0.26 cores=0-7
/proc/14735/task/14742/stat : 14742 (java) S 14733 14733 7356 0 -1 1077944384 3137 0 0 0 22 4 0 0 20 0 28 0 447081311 29458776064 58423 33554432000 4194304 4196468 140735586348672 139693889575824 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14743] ppid=14733 vsize=28768336 memory=3692 CPUtime=0.26 cores=0-7
/proc/14735/task/14743/stat : 14743 (java) S 14733 14733 7356 0 -1 1077944384 1594 0 0 0 22 4 0 0 20 0 28 0 447081311 29458776064 58423 33554432000 4194304 4196468 140735586348672 139693888523280 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14744] ppid=14733 vsize=28768336 memory=1448 CPUtime=0.25 cores=0-7
/proc/14735/task/14744/stat : 14744 (java) S 14733 14733 7356 0 -1 1077944384 1192 0 0 0 21 4 0 0 20 0 28 0 447081311 29458776064 58423 33554432000 4194304 4196468 140735586348672 139693887470736 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14745] ppid=14733 vsize=28768336 memory=223376 CPUtime=0.25 cores=0-7
/proc/14735/task/14745/stat : 14745 (java) S 14733 14733 7356 0 -1 1077944384 4931 0 0 0 22 3 0 0 20 0 28 0 447081313 29458776064 58423 33554432000 4194304 4196468 140735586348672 139693259687920 139693942229634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14746] ppid=14733 vsize=28768336 memory=1660 CPUtime=0 cores=0-7
/proc/14735/task/14746/stat : 14746 (java) S 14733 14733 7356 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 447081313 29458776064 58423 33554432000 4194304 4196468 140735586348672 139693258634208 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14747] ppid=14733 vsize=28768336 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/14735/task/14747/stat : 14747 (java) S 14733 14733 7356 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 447081314 29458776064 58423 33554432000 4194304 4196468 140735586348672 139693257581568 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14748] ppid=14733 vsize=28768336 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/14735/task/14748/stat : 14748 (java) S 14733 14733 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447081316 29458776064 58423 33554432000 4194304 4196468 140735586348672 139693256530128 139693942237083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14749] ppid=14733 vsize=28768336 memory=3692 CPUtime=2 cores=0-7
/proc/14735/task/14749/stat : 14749 (java) S 14733 14733 7356 0 -1 1077944384 11749 0 0 0 198 2 0 0 20 0 28 0 447081316 29458776064 58423 33554432000 4194304 4196468 140735586348672 139693255477744 139693942229634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14750] ppid=14733 vsize=28768336 memory=1804 CPUtime=2.01 cores=0-7
/proc/14735/task/14750/stat : 14750 (java) S 14733 14733 7356 0 -1 1077944384 8152 0 0 0 200 1 0 0 20 0 28 0 447081316 29458776064 58423 33554432000 4194304 4196468 140735586348672 139693254425200 139693942229634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14751] ppid=14733 vsize=28768336 memory=916 CPUtime=2.3 cores=0-7
/proc/14735/task/14751/stat : 14751 (java) S 14733 14733 7356 0 -1 1077944384 12969 0 0 0 227 3 0 0 20 0 28 0 447081316 29458776064 58423 33554432000 4194304 4196468 140735586348672 139693253372656 139693942229634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14752] ppid=14733 vsize=28768336 memory=4552 CPUtime=0.77 cores=0-7
/proc/14735/task/14752/stat : 14752 (java) S 14733 14733 7356 0 -1 1077944384 7480 0 0 0 76 1 0 0 20 0 28 0 447081316 29458776064 58423 33554432000 4194304 4196468 140735586348672 139693252320112 139693942229634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14753] ppid=14733 vsize=28768336 memory=4100 CPUtime=0 cores=0-7
/proc/14735/task/14753/stat : 14753 (java) S 14733 14733 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447081316 29458776064 58423 33554432000 4194304 4196468 140735586348672 139693251266784 139693942228693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14754] ppid=14733 vsize=28768336 memory=1412 CPUtime=0.04 cores=0-7
/proc/14735/task/14754/stat : 14754 (java) S 14733 14733 7356 0 -1 1077944384 2089 0 0 0 0 4 0 0 20 0 28 0 447081316 29458776064 58423 33554432000 4194304 4196468 140735586348672 139693250214320 139693942229634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14794] ppid=14733 vsize=28768336 memory=3692 CPUtime=249.46 cores=0-7
/proc/14735/task/14794/stat : 14794 (java) R 14733 14733 7356 0 -1 4202560 3828 0 0 0 24944 2 0 0 20 0 28 0 447081393 29458776064 58423 33554432000 4194304 4196468 140735586348672 139693236784336 139693565644845 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14795] ppid=14733 vsize=28768336 memory=1448 CPUtime=248.86 cores=0-7
/proc/14735/task/14795/stat : 14795 (java) R 14733 14733 7356 0 -1 4202560 1369 0 0 0 24886 0 0 0 20 0 28 0 447081393 29458776064 58423 33554432000 4194304 4196468 140735586348672 139693240996440 139693566817496 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14796] ppid=14733 vsize=28768336 memory=229596 CPUtime=248.68 cores=0-7
/proc/14735/task/14796/stat : 14796 (java) R 14733 14733 7356 0 -1 4202560 1308 0 0 0 24867 1 0 0 20 0 28 0 447081393 29458776064 58423 33554432000 4194304 4196468 140735586348672 139693238890552 139693564872368 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14797] ppid=14733 vsize=28768336 memory=1660 CPUtime=248.75 cores=0-7
/proc/14735/task/14797/stat : 14797 (java) R 14733 14733 7356 0 -1 4202560 2525 0 0 0 24871 4 0 0 20 0 28 0 447081393 29458776064 58423 33554432000 4194304 4196468 140735586348672 139693233630208 139693566207541 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14798] ppid=14733 vsize=28768336 memory=1398722017469774279 CPUtime=247.7 cores=0-7
/proc/14735/task/14798/stat : 14798 (java) R 14733 14733 7356 0 -1 4202560 2063 0 0 0 24768 2 0 0 20 0 28 0 447081393 29458776064 58423 33554432000 4194304 4196468 140735586348672 139693234680840 139693566817333 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14799] ppid=14733 vsize=28768336 memory=4872558044660077418 CPUtime=249.08 cores=0-7
/proc/14735/task/14799/stat : 14799 (java) R 14733 14733 7356 0 -1 4202560 1552 0 0 0 24907 1 0 0 20 0 28 0 447081393 29458776064 58423 33554432000 4194304 4196468 140735586348672 139693237838560 139693564872464 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14800] ppid=14733 vsize=28768336 memory=1976 CPUtime=248.66 cores=0-7
/proc/14735/task/14800/stat : 14800 (java) R 14733 14733 7356 0 -1 4202560 1315 0 0 0 24866 0 0 0 20 0 28 0 447081393 29458776064 58423 33554432000 4194304 4196468 140735586348672 139693239943664 139693566207308 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
[pid=14735/tid=14801] ppid=14733 vsize=28768336 memory=2496 CPUtime=249.58 cores=0-7
/proc/14735/task/14801/stat : 14801 (java) R 14733 14733 7356 0 -1 4202560 1936 0 0 0 24957 1 0 0 20 0 28 0 447081393 29458776064 58423 33554432000 4194304 4196468 140735586348672 139693235731904 139693565290195 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 39497728 140735586354160 140735586354331 140735586354331 140735586357199 0
Current children cumulated CPU time: 2001.49 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 235140 KiB

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

[startup+252.043 s]
# the end of solver process 14733 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000796 s, system=0.001593 s

[startup+252.108 s]
# the end of solver process 14735 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2001.42 s, system=0.726736 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.108
CPU time (s): 2002.15
CPU user time (s): 2001.42
CPU system time (s): 0.726736
CPU usage (%): 794.161
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 270876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2001.42
system time used= 0.726736
maximum resident set size= 277608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90445
page faults= 0
swaps= 0
block input operations= 0
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27819
involuntary context switches= 23917


# summary of solver processes directly reported to runsolver:
#   pid: 14733,14735
#   total CPU time (s): 2002.15
#   total CPU user time (s): 2001.42
#   total CPU system time (s): 0.726736

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.52808 second user time and 2.46644 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-17 11:10:06
IDJOB=4400309
IDBENCH=135859
IDSOLVER=2855
FILE ID=node145/4400309-1568711448
RUNJOBID= node145-1568701156-7383
PBS_JOBID= 21703915
Free space on /tmp= 59532 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n30/TravellingSalesman-30-30-00.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-4400309-1568711448/watcher-4400309-1568711448 -o /tmp/evaluation-result-4400309-1568711448/solver-4400309-1568711448 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568701156-7383 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1190028281 HOME/instance-4400309-1568711448.xml

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

MD5SUM BENCH= b8130450ecaa214ac0617b692471aec1
RANDOM SEED=1190028281

node145.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.59
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.59
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.59
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.59
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:        29332224 kB
MemAvailable:   31850088 kB
Buffers:          190732 kB
Cached:          2617696 kB
SwapCached:        41072 kB
Active:          1388416 kB
Inactive:        1465732 kB
Active(anon):       8164 kB
Inactive(anon):    86528 kB
Active(file):    1380252 kB
Inactive(file):  1379204 kB
Unevictable:      109612 kB
Mlocked:          109612 kB
SwapTotal:      67108860 kB
SwapFree:       66958320 kB
Dirty:             26144 kB
Writeback:             0 kB
AnonPages:        147108 kB
Mapped:            48964 kB
Shmem:             40616 kB
Slab:             176876 kB
SReclaimable:     148488 kB
SUnreclaim:        28388 kB
KernelStack:        3728 kB
PageTables:         5268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    100352 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 59508 MiB
End job on node145 at 2019-09-17 11:14:19