Trace number 4400303

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)78 1924.84 252.098

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-11-a4.xml
MD5SUM76cd483e3b4252a6c3494775e86c7629
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark72
Best CPU time to get the best result obtained on this benchmark2400.08
Satisfiable
(Un)Satisfiability was proved
Number of variables11
Number of constraints1322
Number of domains1
Minimum domain size501
Maximum domain size501
Distribution of domain sizes[{"size":501,"count":11}]
Minimum variable degree451
Maximum variable degree452
Distribution of variable degrees[{"degree":451,"count":9},{"degree":452,"count":2}]
Minimum constraint arity1
Maximum constraint arity11
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":330},{"arity":4,"count":990},{"arity":11,"count":1}]
Number of extensional constraints0
Number of intensional constraints1321
Distribution of constraint types[{"type":"intension","count":1321},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

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-4400303-1568710614.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4400303-1568710614.xml, -tl, 2016s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
5.88/1.77	c solve instance...
14.82/2.95	o 96 
42.46/6.68	o 93 
112.06/15.49	o 90 
195.04/25.99	o 89 
269.91/35.57	o 88 
365.02/47.59	o 86 
459.50/59.49	o 84 
741.84/95.85	o 83 
1037.96/133.11	o 82 
1218.39/157.00	o 81 
1256.07/168.22	o 78 
1924.30/252.07	s SATISFIABLE
1924.30/252.07	v <instantiation>
1924.30/252.07	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] </list>
1924.30/252.07	v 	<values>0 1 3 7 18 27 37 49 65 70 78 </values>
1924.30/252.07	v </instantiation>
1924.30/252.07	c Unexpected resolution interruption!

Verifier Data 

OK	78

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 (13324 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400303-1568710614/watcher-4400303-1568710614 -o /tmp/evaluation-result-4400303-1568710614/solver-4400303-1568710614 -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 1874394478 HOME/instance-4400303-1568710614.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=12282, runsolver pid=12279
Current StackSize limit: 8192 KiB


[startup+0.100139 s]*
/proc/loadavg: 7.76 7.99 8.04 2/212 12303
/proc/meminfo: memFree=29313640/32770624 swapFree=66958320/67108860
[pid=12282] ppid=12279 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/12282/stat : 12282 (xcsp3-exec) S 12279 12282 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446997897 115843072 362 33554432000 4194304 5098028 140732660060000 140732660058104 139858152186492 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34140160 140732660065147 140732660065390 140732660065390 140732660068298 0
/proc/12282/statm: 28282 362 304 221 0 87 0
[pid=12284] ppid=12282 vsize=28227396 memory=29920 CPUtime=0.12 cores=0-7
/proc/12284/stat : 12284 (java) S 12282 12282 7356 0 -1 1077944320 5448 0 0 0 11 1 0 0 20 0 20 0 446997897 28904853504 7480 33554432000 4194304 4196468 140726552654960 140726552637504 140185091174135 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
/proc/12284/statm: 7056849 7480 3125 1 0 7019032 0
[pid=12284/tid=12285] ppid=12282 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/12284/task/12285/stat : 12285 (java) R 12282 12282 7356 0 -1 4202560 3396 0 0 0 8 0 0 0 20 0 20 0 446997898 28904853504 7480 33554432000 4194304 4196468 140726552654960 140185095400096 140185091195482 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12286] ppid=12282 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/12284/task/12286/stat : 12286 (java) S 12282 12282 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446997898 28904853504 7480 33554432000 4194304 4196468 140726552654960 140185049934480 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12287] ppid=12282 vsize=28227396 memory=139928014829184 CPUtime=0 cores=0-7
/proc/12284/task/12287/stat : 12287 (java) S 12282 12282 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446997898 28904853504 7480 33554432000 4194304 4196468 140726552654960 140184641350160 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12288] ppid=12282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12288/stat : 12288 (java) S 12282 12282 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446997898 28904853504 7480 33554432000 4194304 4196468 140726552654960 140184640297360 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12289] ppid=12282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12289/stat : 12289 (java) S 12282 12282 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446997898 28904853504 7480 33554432000 4194304 4196468 140726552654960 140184639244560 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12290] ppid=12282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12290/stat : 12290 (java) S 12282 12282 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446997898 28904853504 7480 33554432000 4194304 4196468 140726552654960 140184638192784 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12291] ppid=12282 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12284/task/12291/stat : 12291 (java) S 12282 12282 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446997898 28904853504 7480 33554432000 4194304 4196468 140726552654960 140184637139984 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12292] ppid=12282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12292/stat : 12292 (java) S 12282 12282 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446997898 28904853504 7480 33554432000 4194304 4196468 140726552654960 140184636087184 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12293] ppid=12282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12293/stat : 12293 (java) S 12282 12282 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446997899 28904853504 7480 33554432000 4194304 4196468 140726552654960 140184635034384 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12294] ppid=12282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12294/stat : 12294 (java) S 12282 12282 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446997900 28904853504 7480 33554432000 4194304 4196468 140726552654960 140183219399024 140185091185282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12295] ppid=12282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12295/stat : 12295 (java) S 12282 12282 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446997900 28904853504 7480 33554432000 4194304 4196468 140726552654960 140183218344992 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12296] ppid=12282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12296/stat : 12296 (java) S 12282 12282 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446997901 28904853504 7480 33554432000 4194304 4196468 140726552654960 140183217292144 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12297] ppid=12282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12297/stat : 12297 (java) S 12282 12282 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446997903 28904853504 7480 33554432000 4194304 4196468 140726552654960 140183216240464 140185091192731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12298] ppid=12282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12298/stat : 12298 (java) S 12282 12282 7356 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 446997903 28904853504 7480 33554432000 4194304 4196468 140726552654960 140183215188848 140185091185282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12299] ppid=12282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12299/stat : 12299 (java) S 12282 12282 7356 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 446997903 28904853504 7480 33554432000 4194304 4196468 140726552654960 140183214136048 140185091185282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12300] ppid=12282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12300/stat : 12300 (java) S 12282 12282 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446997903 28904853504 7480 33554432000 4194304 4196468 140726552654960 140183213083248 140185091185282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12301] ppid=12282 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12284/task/12301/stat : 12301 (java) S 12282 12282 7356 0 -1 1077944384 325 0 0 0 1 0 0 0 20 0 20 0 446997903 28904853504 7480 33554432000 4194304 4196468 140726552654960 140183212030448 140185091185282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12302] ppid=12282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12302/stat : 12302 (java) S 12282 12282 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446997903 28904853504 7480 33554432000 4194304 4196468 140726552654960 140183210977888 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12303] ppid=12282 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12284/task/12303/stat : 12303 (java) S 12282 12282 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446997904 28904853504 7480 33554432000 4194304 4196468 140726552654960 140183209925168 140185091185282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31368 KiB

[startup+0.210576 s]*
/proc/loadavg: 7.76 7.99 8.04 2/212 12303
/proc/meminfo: memFree=29300252/32770624 swapFree=66958320/67108860
[pid=12282] ppid=12279 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/12282/stat : 12282 (xcsp3-exec) S 12279 12282 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446997897 115843072 362 33554432000 4194304 5098028 140732660060000 140732660058104 139858152186492 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34140160 140732660065147 140732660065390 140732660065390 140732660068298 0
/proc/12282/statm: 28282 362 304 221 0 87 0
[pid=12284] ppid=12282 vsize=28227396 memory=41664 CPUtime=0.34 cores=0-7
/proc/12284/stat : 12284 (java) S 12282 12282 7356 0 -1 1077944320 9080 0 0 0 31 3 0 0 20 0 20 0 446997897 28904853504 10416 33554432000 4194304 4196468 140726552654960 140726552637504 140185091174135 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
/proc/12284/statm: 7056849 10416 3315 1 0 7019032 0
[pid=12284/tid=12285] ppid=12282 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/12284/task/12285/stat : 12285 (java) R 12282 12282 7356 0 -1 4202560 6217 0 0 0 18 2 0 0 20 0 20 0 446997898 28904853504 10416 33554432000 4194304 4196468 140726552654960 140185095405456 140185058756368 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12286] ppid=12282 vsize=28227396 memory=329 CPUtime=0 cores=0-7
/proc/12284/task/12286/stat : 12286 (java) S 12282 12282 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446997898 28904853504 10416 33554432000 4194304 4196468 140726552654960 140185049934480 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12287] ppid=12282 vsize=28227396 memory=139928014841187 CPUtime=0 cores=0-7
/proc/12284/task/12287/stat : 12287 (java) S 12282 12282 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446997898 28904853504 10416 33554432000 4194304 4196468 140726552654960 140184641350160 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12288] ppid=12282 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12284/task/12288/stat : 12288 (java) S 12282 12282 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446997898 28904853504 10416 33554432000 4194304 4196468 140726552654960 140184640297360 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12289] ppid=12282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12289/stat : 12289 (java) S 12282 12282 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446997898 28904853504 10416 33554432000 4194304 4196468 140726552654960 140184639244560 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12290] ppid=12282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12290/stat : 12290 (java) S 12282 12282 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446997898 28904853504 10416 33554432000 4194304 4196468 140726552654960 140184638192784 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12291] ppid=12282 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12284/task/12291/stat : 12291 (java) S 12282 12282 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446997898 28904853504 10416 33554432000 4194304 4196468 140726552654960 140184637139984 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12292] ppid=12282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12292/stat : 12292 (java) S 12282 12282 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446997898 28904853504 10416 33554432000 4194304 4196468 140726552654960 140184636087184 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12293] ppid=12282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12293/stat : 12293 (java) S 12282 12282 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446997899 28904853504 10416 33554432000 4194304 4196468 140726552654960 140184635034384 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12294] ppid=12282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12294/stat : 12294 (java) S 12282 12282 7356 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446997900 28904853504 10416 33554432000 4194304 4196468 140726552654960 140183219399024 140185091185282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12295] ppid=12282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12295/stat : 12295 (java) S 12282 12282 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446997900 28904853504 10416 33554432000 4194304 4196468 140726552654960 140183218344992 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12296] ppid=12282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12296/stat : 12296 (java) S 12282 12282 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446997901 28904853504 10416 33554432000 4194304 4196468 140726552654960 140183217292144 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12297] ppid=12282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12297/stat : 12297 (java) S 12282 12282 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446997903 28904853504 10416 33554432000 4194304 4196468 140726552654960 140183216240464 140185091192731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12298] ppid=12282 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12284/task/12298/stat : 12298 (java) S 12282 12282 7356 0 -1 1077944384 341 0 0 0 1 0 0 0 20 0 20 0 446997903 28904853504 10416 33554432000 4194304 4196468 140726552654960 140183215188848 140185091185282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12299] ppid=12282 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12284/task/12299/stat : 12299 (java) S 12282 12282 7356 0 -1 1077944384 144 0 0 0 1 0 0 0 20 0 20 0 446997903 28904853504 10416 33554432000 4194304 4196468 140726552654960 140183214136048 140185091185282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12300] ppid=12282 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/12284/task/12300/stat : 12300 (java) S 12282 12282 7356 0 -1 1077944384 325 0 0 0 2 0 0 0 20 0 20 0 446997903 28904853504 10416 33554432000 4194304 4196468 140726552654960 140183213083248 140185091185282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12301] ppid=12282 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/12284/task/12301/stat : 12301 (java) R 12282 12282 7356 0 -1 4202560 743 0 0 0 7 0 0 0 20 0 20 0 446997903 28904853504 10416 33554432000 4194304 4196468 140726552654960 140183212030448 140185069743710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12302] ppid=12282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12302/stat : 12302 (java) S 12282 12282 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446997903 28904853504 10416 33554432000 4194304 4196468 140726552654960 140183210977888 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12303] ppid=12282 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12284/task/12303/stat : 12303 (java) S 12282 12282 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446997904 28904853504 10416 33554432000 4194304 4196468 140726552654960 140183209925168 140185091185282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 43112 KiB

[startup+0.311017 s]*
/proc/loadavg: 7.76 7.99 8.04 3/212 12303
/proc/meminfo: memFree=29293612/32770624 swapFree=66958320/67108860
[pid=12282] ppid=12279 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/12282/stat : 12282 (xcsp3-exec) S 12279 12282 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446997897 115843072 362 33554432000 4194304 5098028 140732660060000 140732660058104 139858152186492 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34140160 140732660065147 140732660065390 140732660065390 140732660068298 0
/proc/12282/statm: 28282 362 304 221 0 87 0
[pid=12284] ppid=12282 vsize=28231652 memory=50188 CPUtime=0.53 cores=0-7
/proc/12284/stat : 12284 (java) S 12282 12282 7356 0 -1 1077944320 10377 0 0 0 49 4 0 0 20 0 20 0 446997897 28909211648 12547 33554432000 4194304 4196468 140726552654960 140726552637504 140185091174135 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
/proc/12284/statm: 7057913 12547 3365 1 0 7019032 0
[pid=12284/tid=12285] ppid=12282 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/12284/task/12285/stat : 12285 (java) R 12282 12282 7356 0 -1 4202560 7304 0 0 0 27 3 0 0 20 0 20 0 446997898 28909211648 12547 33554432000 4194304 4196468 140726552654960 140185095405248 140185075254622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12286] ppid=12282 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12286/stat : 12286 (java) S 12282 12282 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446997898 28909211648 12547 33554432000 4194304 4196468 140726552654960 140185049934480 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12287] ppid=12282 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12287/stat : 12287 (java) S 12282 12282 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446997898 28909211648 12547 33554432000 4194304 4196468 140726552654960 140184641350160 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12288] ppid=12282 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12288/stat : 12288 (java) S 12282 12282 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446997898 28909211648 12547 33554432000 4194304 4196468 140726552654960 140184640297360 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12289] ppid=12282 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12289/stat : 12289 (java) S 12282 12282 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446997898 28909211648 12547 33554432000 4194304 4196468 140726552654960 140184639244560 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12290] ppid=12282 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12290/stat : 12290 (java) S 12282 12282 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446997898 28909211648 12547 33554432000 4194304 4196468 140726552654960 140184638192784 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12291] ppid=12282 vsize=28231652 memory=139927887112879 CPUtime=0 cores=0-7
/proc/12284/task/12291/stat : 12291 (java) S 12282 12282 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446997898 28909211648 12547 33554432000 4194304 4196468 140726552654960 140184637139984 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12292] ppid=12282 vsize=28231652 memory=139927887115184 CPUtime=0 cores=0-7
/proc/12284/task/12292/stat : 12292 (java) S 12282 12282 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446997898 28909211648 12547 33554432000 4194304 4196468 140726552654960 140184636087184 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12293] ppid=12282 vsize=28231652 memory=139927887117488 CPUtime=0 cores=0-7
/proc/12284/task/12293/stat : 12293 (java) S 12282 12282 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446997899 28909211648 12547 33554432000 4194304 4196468 140726552654960 140184635034384 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12294] ppid=12282 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12294/stat : 12294 (java) S 12282 12282 7356 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446997900 28909211648 12547 33554432000 4194304 4196468 140726552654960 140183219399024 140185091185282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12295] ppid=12282 vsize=28231652 memory=279855774248848 CPUtime=0 cores=0-7
/proc/12284/task/12295/stat : 12295 (java) S 12282 12282 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446997900 28909211648 12547 33554432000 4194304 4196468 140726552654960 140183218344992 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12296] ppid=12282 vsize=28231652 memory=279855774246544 CPUtime=0 cores=0-7
/proc/12284/task/12296/stat : 12296 (java) S 12282 12282 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446997901 28909211648 12547 33554432000 4194304 4196468 140726552654960 140183217292144 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12297] ppid=12282 vsize=28231652 memory=279855774253456 CPUtime=0 cores=0-7
/proc/12284/task/12297/stat : 12297 (java) S 12282 12282 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446997903 28909211648 12547 33554432000 4194304 4196468 140726552654960 140183216240464 140185091192731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12298] ppid=12282 vsize=28231652 memory=279855774194704 CPUtime=0.02 cores=0-7
/proc/12284/task/12298/stat : 12298 (java) R 12282 12282 7356 0 -1 4202560 462 0 0 0 2 0 0 0 20 0 20 0 446997903 28909211648 12547 33554432000 4194304 4196468 140726552654960 140183215179232 140185072693720 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12299] ppid=12282 vsize=28231652 memory=279855774267280 CPUtime=0.02 cores=0-7
/proc/12284/task/12299/stat : 12299 (java) S 12282 12282 7356 0 -1 1077944384 156 0 0 0 2 0 0 0 20 0 20 0 446997903 28909211648 12547 33554432000 4194304 4196468 140726552654960 140183214136048 140185091185282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12300] ppid=12282 vsize=28231652 memory=279855774274192 CPUtime=0.03 cores=0-7
/proc/12284/task/12300/stat : 12300 (java) S 12282 12282 7356 0 -1 1077944384 331 0 0 0 3 0 0 0 20 0 20 0 446997903 28909211648 12547 33554432000 4194304 4196468 140726552654960 140183213083248 140185091185282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12301] ppid=12282 vsize=28231652 memory=279855774271888 CPUtime=0.12 cores=0-7
/proc/12284/task/12301/stat : 12301 (java) S 12282 12282 7356 0 -1 1077944384 819 0 0 0 12 0 0 0 20 0 20 0 446997903 28909211648 12547 33554432000 4194304 4196468 140726552654960 140183212030448 140185091185282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12302] ppid=12282 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12302/stat : 12302 (java) S 12282 12282 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446997903 28909211648 12547 33554432000 4194304 4196468 140726552654960 140183210977888 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12303] ppid=12282 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/12284/task/12303/stat : 12303 (java) S 12282 12282 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446997904 28909211648 12547 33554432000 4194304 4196468 140726552654960 140183209925168 140185091185282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51636 KiB

[startup+0.700911 s]
/proc/loadavg: 7.76 7.99 8.04 6/212 12303
/proc/meminfo: memFree=29270528/32770624 swapFree=66958320/67108860
[pid=12282] ppid=12279 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/12282/stat : 12282 (xcsp3-exec) S 12279 12282 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446997897 115843072 362 33554432000 4194304 5098028 140732660060000 140732660058104 139858152186492 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34140160 140732660065147 140732660065390 140732660065390 140732660068298 0
/proc/12282/statm: 28282 362 304 221 0 87 0
[pid=12284] ppid=12282 vsize=28233776 memory=95068 CPUtime=1.77 cores=0-7
/proc/12284/stat : 12284 (java) S 12282 12282 7356 0 -1 1077944320 14914 0 0 0 170 7 0 0 20 0 20 0 446997897 28911386624 23767 33554432000 4194304 4196468 140726552654960 140726552637504 140185091174135 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
/proc/12284/statm: 7058444 23767 3457 1 0 7019544 0
[pid=12284/tid=12285] ppid=12282 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/12284/task/12285/stat : 12285 (java) R 12282 12282 7356 0 -1 4202560 8738 0 0 0 63 4 0 0 20 0 20 0 446997898 28911386624 23767 33554432000 4194304 4196468 140726552654960 140185095411056 140184727338759 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12286] ppid=12282 vsize=28233776 memory=139927887324016 CPUtime=0 cores=0-7
/proc/12284/task/12286/stat : 12286 (java) S 12282 12282 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446997898 28911386624 23767 33554432000 4194304 4196468 140726552654960 140185049934480 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12287] ppid=12282 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/12284/task/12287/stat : 12287 (java) S 12282 12282 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446997898 28911386624 23767 33554432000 4194304 4196468 140726552654960 140184641350160 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12288] ppid=12282 vsize=28233776 memory=8024 CPUtime=0 cores=0-7
/proc/12284/task/12288/stat : 12288 (java) S 12282 12282 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446997898 28911386624 23767 33554432000 4194304 4196468 140726552654960 140184640297360 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0

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

[pid=12284/tid=12401] ppid=12282 vsize=28768336 memory=1363164 CPUtime=5.22 cores=0-7
/proc/12284/task/12401/stat : 12401 (java) R 12282 12282 7356 0 -1 4202560 275 0 0 0 519 3 0 0 20 0 28 0 447013597 29458776064 350963 33554432000 4194304 4196468 140726552654960 140183199898568 140184736439222 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
Current children cumulated CPU time: 1244.63 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1405300 KiB

[startup+222.302 s]
/proc/loadavg: 7.61 7.83 7.97 9/219 12412
/proc/meminfo: memFree=26942636/32770624 swapFree=66958320/67108860
[pid=12282] ppid=12279 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/12282/stat : 12282 (xcsp3-exec) S 12279 12282 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446997897 115843072 362 33554432000 4194304 5098028 140732660060000 140732660058104 139858152186492 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34140160 140732660065147 140732660065390 140732660065390 140732660068298 0
/proc/12282/statm: 28282 362 304 221 0 87 0
[pid=12284] ppid=12282 vsize=28768336 memory=2401956 CPUtime=1687.38 cores=0-7
/proc/12284/stat : 12284 (java) S 12282 12282 7356 0 -1 1077944320 179876 0 0 0 168533 205 0 0 20 0 28 0 446997897 29458776064 600489 33554432000 4194304 4196468 140726552654960 140726552637504 140185091174135 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
/proc/12284/statm: 7192084 600489 3546 1 0 7153184 0
[pid=12284/tid=12285] ppid=12282 vsize=28768336 memory=2401956 CPUtime=1.74 cores=0-7
/proc/12284/task/12285/stat : 12285 (java) S 12282 12282 7356 0 -1 1077944384 11085 0 0 0 166 8 0 0 20 0 28 0 446997898 29458776064 600489 33554432000 4194304 4196468 140726552654960 140185095414912 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12286] ppid=12282 vsize=28768336 memory=2112864 CPUtime=0.24 cores=0-7
/proc/12284/task/12286/stat : 12286 (java) S 12282 12282 7356 0 -1 1077944384 1210 0 0 0 18 6 0 0 20 0 28 0 446997898 29458776064 600489 33554432000 4194304 4196468 140726552654960 140185049934480 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12287] ppid=12282 vsize=28768336 memory=2401956 CPUtime=0.2 cores=0-7
/proc/12284/task/12287/stat : 12287 (java) S 12282 12282 7356 0 -1 1077944384 411 0 0 0 14 6 0 0 20 0 28 0 446997898 29458776064 600489 33554432000 4194304 4196468 140726552654960 140184641350160 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12288] ppid=12282 vsize=28768336 memory=2401956 CPUtime=0.22 cores=0-7
/proc/12284/task/12288/stat : 12288 (java) S 12282 12282 7356 0 -1 1077944384 1735 0 0 0 15 7 0 0 20 0 28 0 446997898 29458776064 600489 33554432000 4194304 4196468 140726552654960 140184640297360 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12289] ppid=12282 vsize=28768336 memory=2401956 CPUtime=0.26 cores=0-7
/proc/12284/task/12289/stat : 12289 (java) S 12282 12282 7356 0 -1 1077944384 766 0 0 0 18 8 0 0 20 0 28 0 446997898 29458776064 600489 33554432000 4194304 4196468 140726552654960 140184639244560 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12290] ppid=12282 vsize=28768336 memory=2401956 CPUtime=0.2 cores=0-7
/proc/12284/task/12290/stat : 12290 (java) S 12282 12282 7356 0 -1 1077944384 498 0 0 0 14 6 0 0 20 0 28 0 446997898 29458776064 600489 33554432000 4194304 4196468 140726552654960 140184638192784 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12291] ppid=12282 vsize=28768336 memory=2401956 CPUtime=0.24 cores=0-7
/proc/12284/task/12291/stat : 12291 (java) S 12282 12282 7356 0 -1 1077944384 1408 0 0 0 18 6 0 0 20 0 28 0 446997898 29458776064 600489 33554432000 4194304 4196468 140726552654960 140184637139984 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12292] ppid=12282 vsize=28768336 memory=1412 CPUtime=0.21 cores=0-7
/proc/12284/task/12292/stat : 12292 (java) S 12282 12282 7356 0 -1 1077944384 1068 0 0 0 15 6 0 0 20 0 28 0 446997898 29458776064 600489 33554432000 4194304 4196468 140726552654960 140184636087184 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12293] ppid=12282 vsize=28768336 memory=279855775876784 CPUtime=0.22 cores=0-7
/proc/12284/task/12293/stat : 12293 (java) S 12282 12282 7356 0 -1 1077944384 1045 0 0 0 15 7 0 0 20 0 28 0 446997899 29458776064 600489 33554432000 4194304 4196468 140726552654960 140184635034384 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12294] ppid=12282 vsize=28768336 memory=2401956 CPUtime=0.06 cores=0-7
/proc/12284/task/12294/stat : 12294 (java) S 12282 12282 7356 0 -1 1077944384 5988 0 0 0 4 2 0 0 20 0 28 0 446997900 29458776064 600489 33554432000 4194304 4196468 140726552654960 140183219399024 140185091185282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12295] ppid=12282 vsize=28768336 memory=2401956 CPUtime=0 cores=0-7
/proc/12284/task/12295/stat : 12295 (java) S 12282 12282 7356 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 446997900 29458776064 600489 33554432000 4194304 4196468 140726552654960 140183218345056 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12296] ppid=12282 vsize=28768336 memory=111636 CPUtime=0 cores=0-7
/proc/12284/task/12296/stat : 12296 (java) S 12282 12282 7356 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 446997901 29458776064 600489 33554432000 4194304 4196468 140726552654960 140183217292160 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12297] ppid=12282 vsize=28768336 memory=804 CPUtime=0 cores=0-7
/proc/12284/task/12297/stat : 12297 (java) S 12282 12282 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446997903 29458776064 600489 33554432000 4194304 4196468 140726552654960 140183216240464 140185091192731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12298] ppid=12282 vsize=28768336 memory=712 CPUtime=3.32 cores=0-7
/proc/12284/task/12298/stat : 12298 (java) S 12282 12282 7356 0 -1 1077944384 21697 0 0 0 329 3 0 0 20 0 28 0 446997903 29458776064 600489 33554432000 4194304 4196468 140726552654960 140183215188848 140185091185282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12299] ppid=12282 vsize=28768336 memory=2832 CPUtime=3.17 cores=0-7
/proc/12284/task/12299/stat : 12299 (java) S 12282 12282 7356 0 -1 1077944384 24086 0 0 0 312 5 0 0 20 0 28 0 446997903 29458776064 600489 33554432000 4194304 4196468 140726552654960 140183214136048 140185091185282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12300] ppid=12282 vsize=28768336 memory=1448 CPUtime=3.25 cores=0-7
/proc/12284/task/12300/stat : 12300 (java) S 12282 12282 7356 0 -1 1077944384 21231 0 0 0 321 4 0 0 20 0 28 0 446997903 29458776064 600489 33554432000 4194304 4196468 140726552654960 140183213083248 140185091185282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12301] ppid=12282 vsize=28768336 memory=3612 CPUtime=1.06 cores=0-7
/proc/12284/task/12301/stat : 12301 (java) S 12282 12282 7356 0 -1 1077944384 23027 0 0 0 100 6 0 0 20 0 28 0 446997903 29458776064 600489 33554432000 4194304 4196468 140726552654960 140183212030448 140185091185282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12302] ppid=12282 vsize=28768336 memory=1804 CPUtime=0 cores=0-7
/proc/12284/task/12302/stat : 12302 (java) S 12282 12282 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446997903 29458776064 600489 33554432000 4194304 4196468 140726552654960 140183210977888 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12303] ppid=12282 vsize=28768336 memory=916 CPUtime=0.1 cores=0-7
/proc/12284/task/12303/stat : 12303 (java) S 12282 12282 7356 0 -1 1077944384 2400 0 0 0 3 7 0 0 20 0 28 0 446997904 29458776064 600489 33554432000 4194304 4196468 140726552654960 140183209925168 140185091185282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12402] ppid=12282 vsize=28768336 memory=6008478379191396672 CPUtime=54.03 cores=0-7
/proc/12284/task/12402/stat : 12402 (java) R 12282 12282 7356 0 -1 4202560 2127 0 0 0 5393 10 0 0 20 0 28 0 447014720 29458776064 600489 33554432000 4194304 4196468 140726552654960 140183198836776 140184736439222 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12403] ppid=12282 vsize=28768336 memory=6944656592452807316 CPUtime=52.86 cores=0-7
/proc/12284/task/12403/stat : 12403 (java) R 12282 12282 7356 0 -1 4202560 785 0 0 0 5286 0 0 0 20 0 28 0 447014720 29458776064 600489 33554432000 4194304 4196468 140726552654960 140183199891272 140184736007495 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12404] ppid=12282 vsize=28768336 memory=1448 CPUtime=54.02 cores=0-7
/proc/12284/task/12404/stat : 12404 (java) R 12282 12282 7356 0 -1 4202560 917 0 0 0 5401 1 0 0 20 0 28 0 447014720 29458776064 600489 33554432000 4194304 4196468 140726552654960 140183193576120 140184736739409 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12405] ppid=12282 vsize=28768336 memory=1448 CPUtime=54 cores=0-7
/proc/12284/task/12405/stat : 12405 (java) R 12282 12282 7356 0 -1 4202560 1411 0 0 0 5400 0 0 0 20 0 28 0 447014720 29458776064 600489 33554432000 4194304 4196468 140726552654960 140183194629208 140184736439222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12406] ppid=12282 vsize=28768336 memory=2401956 CPUtime=54.03 cores=0-7
/proc/12284/task/12406/stat : 12406 (java) R 12282 12282 7356 0 -1 4202560 983 0 0 0 5402 1 0 0 20 0 28 0 447014720 29458776064 600489 33554432000 4194304 4196468 140726552654960 140183195680608 140184736439307 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12407] ppid=12282 vsize=28768336 memory=1448 CPUtime=54.03 cores=0-7
/proc/12284/task/12407/stat : 12407 (java) R 12282 12282 7356 0 -1 4202560 628 0 0 0 5403 0 0 0 20 0 28 0 447014720 29458776064 600489 33554432000 4194304 4196468 140726552654960 140183200944056 140184736031375 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12408] ppid=12282 vsize=28768336 memory=2401956 CPUtime=53.98 cores=0-7
/proc/12284/task/12408/stat : 12408 (java) R 12282 12282 7356 0 -1 4202560 704 0 0 0 5397 1 0 0 20 0 28 0 447014720 29458776064 600489 33554432000 4194304 4196468 140726552654960 140183197785712 140184735668414 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12409] ppid=12282 vsize=28768336 memory=988 CPUtime=54.03 cores=0-7
/proc/12284/task/12409/stat : 12409 (java) R 12282 12282 7356 0 -1 4202560 3598 0 0 0 5387 16 0 0 20 0 28 0 447014720 29458776064 600489 33554432000 4194304 4196468 140726552654960 140183196735312 140184729642068 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
Current children cumulated CPU time: 1687.38 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2403404 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 7.76 7.84 7.97 9/220 12423
/proc/meminfo: memFree=26910128/32770624 swapFree=66958320/67108860
[pid=12282] ppid=12279 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/12282/stat : 12282 (xcsp3-exec) S 12279 12282 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446997897 115843072 362 33554432000 4194304 5098028 140732660060000 140732660058104 139858152186492 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34140160 140732660065147 140732660065390 140732660065390 140732660068298 0
/proc/12282/statm: 28282 362 304 221 0 87 0
[pid=12284] ppid=12282 vsize=28768336 memory=2432716 CPUtime=1924.3 cores=0-7
/proc/12284/stat : 12284 (java) S 12282 12282 7356 0 -1 1077944320 184556 0 0 0 192213 217 0 0 20 0 28 0 446997897 29458776064 608179 33554432000 4194304 4196468 140726552654960 140726552637504 140185091174135 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
/proc/12284/statm: 7192084 608179 3546 1 0 7153184 0
[pid=12284/tid=12285] ppid=12282 vsize=28768336 memory=1398722017469774279 CPUtime=1.74 cores=0-7
/proc/12284/task/12285/stat : 12285 (java) S 12282 12282 7356 0 -1 1077944384 11085 0 0 0 166 8 0 0 20 0 28 0 446997898 29458776064 608179 33554432000 4194304 4196468 140726552654960 140185095414912 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12286] ppid=12282 vsize=28768336 memory=4872558044660077418 CPUtime=0.26 cores=0-7
/proc/12284/task/12286/stat : 12286 (java) S 12282 12282 7356 0 -1 1077944384 1247 0 0 0 20 6 0 0 20 0 28 0 446997898 29458776064 608179 33554432000 4194304 4196468 140726552654960 140185049934480 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12287] ppid=12282 vsize=28768336 memory=4544 CPUtime=0.22 cores=0-7
/proc/12284/task/12287/stat : 12287 (java) S 12282 12282 7356 0 -1 1077944384 807 0 0 0 16 6 0 0 20 0 28 0 446997898 29458776064 608179 33554432000 4194304 4196468 140726552654960 140184641350160 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12288] ppid=12282 vsize=28768336 memory=4100 CPUtime=0.23 cores=0-7
/proc/12284/task/12288/stat : 12288 (java) S 12282 12282 7356 0 -1 1077944384 1746 0 0 0 16 7 0 0 20 0 28 0 446997898 29458776064 608179 33554432000 4194304 4196468 140726552654960 140184640297360 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12289] ppid=12282 vsize=28768336 memory=1412 CPUtime=0.27 cores=0-7
/proc/12284/task/12289/stat : 12289 (java) S 12282 12282 7356 0 -1 1077944384 832 0 0 0 19 8 0 0 20 0 28 0 446997898 29458776064 608179 33554432000 4194304 4196468 140726552654960 140184639244560 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12290] ppid=12282 vsize=28768336 memory=3824 CPUtime=0.21 cores=0-7
/proc/12284/task/12290/stat : 12290 (java) S 12282 12282 7356 0 -1 1077944384 537 0 0 0 15 6 0 0 20 0 28 0 446997898 29458776064 608179 33554432000 4194304 4196468 140726552654960 140184638192784 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12291] ppid=12282 vsize=28768336 memory=1448 CPUtime=0.25 cores=0-7
/proc/12284/task/12291/stat : 12291 (java) S 12282 12282 7356 0 -1 1077944384 1455 0 0 0 19 6 0 0 20 0 28 0 446997898 29458776064 608179 33554432000 4194304 4196468 140726552654960 140184637139984 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12292] ppid=12282 vsize=28768336 memory=2432716 CPUtime=0.22 cores=0-7
/proc/12284/task/12292/stat : 12292 (java) S 12282 12282 7356 0 -1 1077944384 1120 0 0 0 16 6 0 0 20 0 28 0 446997898 29458776064 608179 33554432000 4194304 4196468 140726552654960 140184636087184 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12293] ppid=12282 vsize=28768336 memory=1448 CPUtime=0.23 cores=0-7
/proc/12284/task/12293/stat : 12293 (java) S 12282 12282 7356 0 -1 1077944384 1113 0 0 0 16 7 0 0 20 0 28 0 446997899 29458776064 608179 33554432000 4194304 4196468 140726552654960 140184635034384 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12294] ppid=12282 vsize=28768336 memory=2432716 CPUtime=0.06 cores=0-7
/proc/12284/task/12294/stat : 12294 (java) S 12282 12282 7356 0 -1 1077944384 6307 0 0 0 4 2 0 0 20 0 28 0 446997900 29458776064 608179 33554432000 4194304 4196468 140726552654960 140183219399024 140185091185282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12295] ppid=12282 vsize=28768336 memory=916 CPUtime=0 cores=0-7
/proc/12284/task/12295/stat : 12295 (java) S 12282 12282 7356 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 446997900 29458776064 608179 33554432000 4194304 4196468 140726552654960 140183218345056 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12296] ppid=12282 vsize=28768336 memory=4544 CPUtime=0 cores=0-7
/proc/12284/task/12296/stat : 12296 (java) S 12282 12282 7356 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 446997901 29458776064 608179 33554432000 4194304 4196468 140726552654960 140183217292160 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12297] ppid=12282 vsize=28768336 memory=4100 CPUtime=0 cores=0-7
/proc/12284/task/12297/stat : 12297 (java) S 12282 12282 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446997903 29458776064 608179 33554432000 4194304 4196468 140726552654960 140183216240464 140185091192731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12298] ppid=12282 vsize=28768336 memory=1412 CPUtime=3.33 cores=0-7
/proc/12284/task/12298/stat : 12298 (java) S 12282 12282 7356 0 -1 1077944384 22439 0 0 0 330 3 0 0 20 0 28 0 446997903 29458776064 608179 33554432000 4194304 4196468 140726552654960 140183215188848 140185091185282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12299] ppid=12282 vsize=28768336 memory=3824 CPUtime=3.17 cores=0-7
/proc/12284/task/12299/stat : 12299 (java) S 12282 12282 7356 0 -1 1077944384 24088 0 0 0 312 5 0 0 20 0 28 0 446997903 29458776064 608179 33554432000 4194304 4196468 140726552654960 140183214136048 140185091185282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12300] ppid=12282 vsize=28768336 memory=1448 CPUtime=3.25 cores=0-7
/proc/12284/task/12300/stat : 12300 (java) S 12282 12282 7356 0 -1 1077944384 21233 0 0 0 321 4 0 0 20 0 28 0 446997903 29458776064 608179 33554432000 4194304 4196468 140726552654960 140183213083248 140185091185282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12301] ppid=12282 vsize=28768336 memory=2432716 CPUtime=1.06 cores=0-7
/proc/12284/task/12301/stat : 12301 (java) S 12282 12282 7356 0 -1 1077944384 23029 0 0 0 100 6 0 0 20 0 28 0 446997903 29458776064 608179 33554432000 4194304 4196468 140726552654960 140183212030448 140185091185282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12302] ppid=12282 vsize=28768336 memory=1660 CPUtime=0 cores=0-7
/proc/12284/task/12302/stat : 12302 (java) S 12282 12282 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446997903 29458776064 608179 33554432000 4194304 4196468 140726552654960 140183210977888 140185091184341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12303] ppid=12282 vsize=28768336 memory=1398722017469774279 CPUtime=0.12 cores=0-7
/proc/12284/task/12303/stat : 12303 (java) S 12282 12282 7356 0 -1 1077944384 2428 0 0 0 4 8 0 0 20 0 28 0 446997904 29458776064 608179 33554432000 4194304 4196468 140726552654960 140183209925168 140185091185282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12402] ppid=12282 vsize=28768336 memory=4872558044660077418 CPUtime=83.72 cores=0-7
/proc/12284/task/12402/stat : 12402 (java) R 12282 12282 7356 0 -1 4202560 2753 0 0 0 8361 11 0 0 20 0 28 0 447014720 29458776064 608179 33554432000 4194304 4196468 140726552654960 140183198836760 140184736439011 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12403] ppid=12282 vsize=28768336 memory=1196 CPUtime=81.93 cores=0-7
/proc/12284/task/12403/stat : 12403 (java) R 12282 12282 7356 0 -1 4202560 906 0 0 0 8193 0 0 0 20 0 28 0 447014720 29458776064 608179 33554432000 4194304 4196468 140726552654960 140183199891168 140184736439222 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12404] ppid=12282 vsize=28768336 memory=1044 CPUtime=83.68 cores=0-7
/proc/12284/task/12404/stat : 12404 (java) R 12282 12282 7356 0 -1 4202560 986 0 0 0 8367 1 0 0 20 0 28 0 447014720 29458776064 608179 33554432000 4194304 4196468 140726552654960 140183193576120 140184736204192 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12405] ppid=12282 vsize=28768336 memory=1196 CPUtime=83.67 cores=0-7
/proc/12284/task/12405/stat : 12405 (java) R 12282 12282 7356 0 -1 4202560 1664 0 0 0 8367 0 0 0 20 0 28 0 447014720 29458776064 608179 33554432000 4194304 4196468 140726552654960 140183194628632 140184735668393 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12406] ppid=12282 vsize=28768336 memory=1044 CPUtime=83.71 cores=0-7
/proc/12284/task/12406/stat : 12406 (java) R 12282 12282 7356 0 -1 4202560 1091 0 0 0 8370 1 0 0 20 0 28 0 447014720 29458776064 608179 33554432000 4194304 4196468 140726552654960 140183195681096 140184736007500 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12407] ppid=12282 vsize=28768336 memory=712 CPUtime=83.71 cores=0-7
/proc/12284/task/12407/stat : 12407 (java) R 12282 12282 7356 0 -1 4202560 783 0 0 0 8371 0 0 0 20 0 28 0 447014720 29458776064 608179 33554432000 4194304 4196468 140726552654960 140183200944088 140184736380688 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12408] ppid=12282 vsize=28768336 memory=2832 CPUtime=83.65 cores=0-7
/proc/12284/task/12408/stat : 12408 (java) R 12282 12282 7356 0 -1 4202560 772 0 0 0 8364 1 0 0 20 0 28 0 447014720 29458776064 608179 33554432000 4194304 4196468 140726552654960 140183197785912 140184735668451 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
[pid=12284/tid=12409] ppid=12282 vsize=28768336 memory=8024 CPUtime=83.7 cores=0-7
/proc/12284/task/12409/stat : 12409 (java) R 12282 12282 7356 0 -1 4202560 5067 0 0 0 8344 26 0 0 20 0 28 0 447014720 29458776064 608179 33554432000 4194304 4196468 140726552654960 140183196735312 140184727550028 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35979264 140726552663024 140726552663195 140726552663195 140726552666063 0
Current children cumulated CPU time: 1924.3 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2434164 KiB

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

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

[startup+252.098 s]
# the end of solver process 12284 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1922.63 s, system=2.20423 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.098
CPU time (s): 1924.84
CPU user time (s): 1922.63
CPU system time (s): 2.20423
CPU usage (%): 763.528
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 2434164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1922.63
system time used= 2.20423
maximum resident set size= 2433112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185478
page faults= 0
swaps= 0
block input operations= 0
block output operations= 520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14197
involuntary context switches= 22766


# summary of solver processes directly reported to runsolver:
#   pid: 12282,12284
#   total CPU time (s): 1924.84
#   total CPU user time (s): 1922.63
#   total CPU system time (s): 2.20423

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.04259 second user time and 3.24599 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-17 10:56:12
IDJOB=4400303
IDBENCH=126231
IDSOLVER=2855
FILE ID=node145/4400303-1568710614
RUNJOBID= node145-1568701156-7383
PBS_JOBID= 21703915
Free space on /tmp= 59532 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-11-a4.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-4400303-1568710614/watcher-4400303-1568710614 -o /tmp/evaluation-result-4400303-1568710614/solver-4400303-1568710614 -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 1874394478 HOME/instance-4400303-1568710614.xml

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

MD5SUM BENCH= 76cd483e3b4252a6c3494775e86c7629
RANDOM SEED=1874394478

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:        29331724 kB
MemAvailable:   31848696 kB
Buffers:          190256 kB
Cached:          2617596 kB
SwapCached:        41072 kB
Active:          1387464 kB
Inactive:        1465436 kB
Active(anon):       7820 kB
Inactive(anon):    86528 kB
Active(file):    1379644 kB
Inactive(file):  1378908 kB
Unevictable:      109612 kB
Mlocked:          109612 kB
SwapTotal:      67108860 kB
SwapFree:       66958320 kB
Dirty:             26360 kB
Writeback:             0 kB
AnonPages:        129988 kB
Mapped:            48844 kB
Shmem:             40616 kB
Slab:             176932 kB
SReclaimable:     148508 kB
SUnreclaim:        28424 kB
KernelStack:        3728 kB
PageTables:         5632 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:     83968 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:00:24