Trace number 4280898

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 NameAnswerCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)? (TO) 19827.6 2520.0801

General information on the benchmark

NameOrtholatin/Ortholatin-m1-s1/
Ortholatin-019.xml
MD5SUM3d460941811377b846401dbdf8e8b024
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1083
Number of constraints366
Number of domains2
Minimum domain size19
Maximum domain size361
Distribution of domain sizes[{"size":19,"count":722},{"size":361,"count":361}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":1045},{"degree":3,"count":38}]
Minimum constraint arity3
Maximum constraint arity361
Distribution of constraint arities[{"arity":3,"count":361},{"arity":19,"count":2},{"arity":361,"count":3}]
Number of extensional constraints361
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":361},{"type":"allDifferent","count":3},{"type":"instantiation","count":2}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280898-1503149736.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4280898-1503149736.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
2.92/1.01	c solve instance...
19827.10/2520.06	s UNKNOWN
19827.10/2520.06	c Unexpected resolution interruption!

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280898-1503149736/watcher-4280898-1503149736 -o /tmp/evaluation-result-4280898-1503149736/solver-4280898-1503149736 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503148812-10443 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 314236837 HOME/instance-4280898-1503149736.xml 

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

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


[startup+0.100155 s]*
/proc/loadavg: 5.56 7.47 7.98 4/199 11529
/proc/meminfo: memFree=26186380/32770624 swapFree=67108860/67108860
[pid=11508] ppid=11505 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11508/stat : 11508 (xcsp3-exec) S 11505 11508 10416 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148061201 9740288 346 33554432000 4194304 5098028 140731276585600 140731276583704 139790420193916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12115968 140731276588133 140731276588343 140731276588343 140731276591083 0
/proc/11508/statm: 2378 346 289 221 0 87 0
[pid=11510] ppid=11508 vsize=25999808 memory=26396 CPUtime=0.11 cores=0-7
/proc/11510/stat : 11510 (java) S 11508 11508 10416 0 -1 1077944320 5474 0 0 0 10 1 0 0 20 0 20 0 148061202 26623803392 6599 33554432000 4194304 4196468 140721487821616 140721487804160 140233752284919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
/proc/11510/statm: 6499952 6599 2864 1 0 6488269 0
[pid=11510/tid=11511] ppid=11508 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/11510/task/11511/stat : 11511 (java) R 11508 11508 10416 0 -1 4202560 3494 0 0 0 8 1 0 0 20 0 20 0 148061202 26623803392 6665 33554432000 4194304 4196468 140721487821616 140233756516608 140233752296854 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11512] ppid=11508 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/11510/task/11512/stat : 11512 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148061203 26623803392 6665 33554432000 4194304 4196468 140721487821616 140233704905104 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11513] ppid=11508 vsize=25999808 memory=139787920164480 CPUtime=0 cores=0-7
/proc/11510/task/11513/stat : 11513 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148061203 26623803392 6665 33554432000 4194304 4196468 140721487821616 140233703852304 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11514] ppid=11508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11510/task/11514/stat : 11514 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148061203 26623803392 6665 33554432000 4194304 4196468 140721487821616 140233308240528 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11515] ppid=11508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11510/task/11515/stat : 11515 (java) S 11508 11508 10416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148061203 26623803392 6665 33554432000 4194304 4196468 140721487821616 140233307187728 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11516] ppid=11508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11510/task/11516/stat : 11516 (java) S 11508 11508 10416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148061203 26623803392 6665 33554432000 4194304 4196468 140721487821616 140233306135440 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11517] ppid=11508 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/11510/task/11517/stat : 11517 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148061203 26623803392 6665 33554432000 4194304 4196468 140721487821616 140233305082640 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11518] ppid=11508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11510/task/11518/stat : 11518 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148061203 26623803392 6665 33554432000 4194304 4196468 140721487821616 140233304030352 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11519] ppid=11508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11510/task/11519/stat : 11519 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148061203 26623803392 6665 33554432000 4194304 4196468 140721487821616 140233302977552 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11520] ppid=11508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11510/task/11520/stat : 11520 (java) S 11508 11508 10416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148061204 26623803392 6665 33554432000 4194304 4196468 140721487821616 140232745470064 140233752296066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11521] ppid=11508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11510/task/11521/stat : 11521 (java) S 11508 11508 10416 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148061205 26623803392 6665 33554432000 4194304 4196468 140721487821616 140232744416032 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11522] ppid=11508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11510/task/11522/stat : 11522 (java) S 11508 11508 10416 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148061205 26623803392 6665 33554432000 4194304 4196468 140721487821616 140232743363696 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11523] ppid=11508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11510/task/11523/stat : 11523 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148061207 26623803392 6665 33554432000 4194304 4196468 140721487821616 140232742312016 140233752303515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11524] ppid=11508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11510/task/11524/stat : 11524 (java) S 11508 11508 10416 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 20 0 148061207 26623803392 6665 33554432000 4194304 4196468 140721487821616 140232741259888 140233752296066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11525] ppid=11508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11510/task/11525/stat : 11525 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148061207 26623803392 6665 33554432000 4194304 4196468 140721487821616 140232740207088 140233752296066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11526] ppid=11508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11510/task/11526/stat : 11526 (java) S 11508 11508 10416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148061207 26623803392 6665 33554432000 4194304 4196468 140721487821616 140232739154800 140233752296066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11527] ppid=11508 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/11510/task/11527/stat : 11527 (java) R 11508 11508 10416 0 -1 4202560 257 0 0 0 1 0 0 0 20 0 20 0 148061207 26623803392 6665 33554432000 4194304 4196468 140721487821616 140232738102000 140233733522480 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11528] ppid=11508 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11510/task/11528/stat : 11528 (java) S 11508 11508 10416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148061208 26623803392 6665 33554432000 4194304 4196468 140721487821616 140232737048928 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11529] ppid=11508 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/11510/task/11529/stat : 11529 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148061208 26623803392 6665 33554432000 4194304 4196468 140721487821616 140232735996208 140233752296066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27780 KiB

[startup+0.210054 s]*
/proc/loadavg: 5.56 7.47 7.98 2/199 11529
/proc/meminfo: memFree=26174940/32770624 swapFree=67108860/67108860
[pid=11508] ppid=11505 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11508/stat : 11508 (xcsp3-exec) S 11505 11508 10416 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148061201 9740288 346 33554432000 4194304 5098028 140731276585600 140731276583704 139790420193916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12115968 140731276588133 140731276588343 140731276588343 140731276591083 0
/proc/11508/statm: 2378 346 289 221 0 87 0
[pid=11510] ppid=11508 vsize=26004064 memory=38856 CPUtime=0.33 cores=0-7
/proc/11510/stat : 11510 (java) S 11508 11508 10416 0 -1 1077944320 8321 0 0 0 30 3 0 0 20 0 20 0 148061202 26628161536 9714 33554432000 4194304 4196468 140721487821616 140721487804160 140233752284919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
/proc/11510/statm: 6501016 9714 3057 1 0 6488269 0
[pid=11510/tid=11511] ppid=11508 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/11510/task/11511/stat : 11511 (java) D 11508 11508 10416 0 -1 1077944384 5406 0 0 0 17 2 0 0 20 0 20 0 148061202 26628161536 9714 33554432000 4194304 4196468 140721487821616 140233756495728 140233744964141 0 4 0 16800975 18446744072101625380 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11512] ppid=11508 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/11510/task/11512/stat : 11512 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148061203 26628161536 9714 33554432000 4194304 4196468 140721487821616 140233704905104 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11513] ppid=11508 vsize=26004064 memory=139787920188837 CPUtime=0 cores=0-7
/proc/11510/task/11513/stat : 11513 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148061203 26628161536 9714 33554432000 4194304 4196468 140721487821616 140233703852304 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11514] ppid=11508 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11510/task/11514/stat : 11514 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148061203 26628161536 9714 33554432000 4194304 4196468 140721487821616 140233308240528 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11515] ppid=11508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11510/task/11515/stat : 11515 (java) S 11508 11508 10416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148061203 26628161536 9714 33554432000 4194304 4196468 140721487821616 140233307187728 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11516] ppid=11508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11510/task/11516/stat : 11516 (java) S 11508 11508 10416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148061203 26628161536 9714 33554432000 4194304 4196468 140721487821616 140233306135440 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11517] ppid=11508 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/11510/task/11517/stat : 11517 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148061203 26628194304 9714 33554432000 4194304 4196468 140721487821616 140233305082640 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11518] ppid=11508 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/11510/task/11518/stat : 11518 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148061203 26628194304 9714 33554432000 4194304 4196468 140721487821616 140233304030352 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11519] ppid=11508 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/11510/task/11519/stat : 11519 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148061203 26628194304 9735 33554432000 4194304 4196468 140721487821616 140233302977552 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11520] ppid=11508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11510/task/11520/stat : 11520 (java) S 11508 11508 10416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148061204 26628161536 9735 33554432000 4194304 4196468 140721487821616 140232745470064 140233752296066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11521] ppid=11508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11510/task/11521/stat : 11521 (java) S 11508 11508 10416 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148061205 26628161536 9735 33554432000 4194304 4196468 140721487821616 140232744416032 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11522] ppid=11508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11510/task/11522/stat : 11522 (java) S 11508 11508 10416 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148061205 26628161536 9735 33554432000 4194304 4196468 140721487821616 140232743363696 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11523] ppid=11508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11510/task/11523/stat : 11523 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148061207 26628161536 9735 33554432000 4194304 4196468 140721487821616 140232742312016 140233752303515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11524] ppid=11508 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/11510/task/11524/stat : 11524 (java) S 11508 11508 10416 0 -1 1077944384 611 0 0 0 1 0 0 0 20 0 20 0 148061207 26628161536 9735 33554432000 4194304 4196468 140721487821616 140232741259888 140233752296066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11525] ppid=11508 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/11510/task/11525/stat : 11525 (java) S 11508 11508 10416 0 -1 1077944384 191 0 0 0 1 0 0 0 20 0 20 0 148061207 26628161536 9735 33554432000 4194304 4196468 140721487821616 140232740207088 140233752296066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11526] ppid=11508 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/11510/task/11526/stat : 11526 (java) S 11508 11508 10416 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 20 0 148061207 26628161536 9735 33554432000 4194304 4196468 140721487821616 140232739154800 140233752296066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11527] ppid=11508 vsize=26004096 memory=-1 CPUtime=0.07 cores=0-7
/proc/11510/task/11527/stat : 11527 (java) S 11508 11508 10416 0 -1 1077944384 762 0 0 0 7 0 0 0 20 0 20 0 148061207 26628194304 9735 33554432000 4194304 4196468 140721487821616 140232738102000 140233752296066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11528] ppid=11508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11510/task/11528/stat : 11528 (java) S 11508 11508 10416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148061208 26628161536 9735 33554432000 4194304 4196468 140721487821616 140232737048928 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11529] ppid=11508 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11510/task/11529/stat : 11529 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148061208 26628161536 9735 33554432000 4194304 4196468 140721487821616 140232735996208 140233752296066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40240 KiB

[startup+0.309637 s]*
/proc/loadavg: 5.56 7.47 7.98 4/199 11529
/proc/meminfo: memFree=26170052/32770624 swapFree=67108860/67108860
[pid=11508] ppid=11505 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11508/stat : 11508 (xcsp3-exec) S 11505 11508 10416 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148061201 9740288 346 33554432000 4194304 5098028 140731276585600 140731276583704 139790420193916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12115968 140731276588133 140731276588343 140731276588343 140731276591083 0
/proc/11508/statm: 2378 346 289 221 0 87 0
[pid=11510] ppid=11508 vsize=26004064 memory=46108 CPUtime=0.51 cores=0-7
/proc/11510/stat : 11510 (java) S 11508 11508 10416 0 -1 1077944320 9232 0 0 0 47 4 0 0 20 0 20 0 148061202 26628161536 11527 33554432000 4194304 4196468 140721487821616 140721487804160 140233752284919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
/proc/11510/statm: 6501016 11527 3095 1 0 6488269 0
[pid=11510/tid=11511] ppid=11508 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/11510/task/11511/stat : 11511 (java) R 11508 11508 10416 0 -1 4202560 6096 0 0 0 26 3 0 0 20 0 20 0 148061202 26628161536 11527 33554432000 4194304 4196468 140721487821616 140233756522144 140233736365406 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11512] ppid=11508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11510/task/11512/stat : 11512 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148061203 26628161536 11527 33554432000 4194304 4196468 140721487821616 140233704905104 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11513] ppid=11508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11510/task/11513/stat : 11513 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148061203 26628161536 11527 33554432000 4194304 4196468 140721487821616 140233703852304 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11514] ppid=11508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11510/task/11514/stat : 11514 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148061203 26628161536 11527 33554432000 4194304 4196468 140721487821616 140233308240528 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11515] ppid=11508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11510/task/11515/stat : 11515 (java) S 11508 11508 10416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148061203 26628161536 11527 33554432000 4194304 4196468 140721487821616 140233307187728 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11516] ppid=11508 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/11510/task/11516/stat : 11516 (java) S 11508 11508 10416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148061203 26628161536 11527 33554432000 4194304 4196468 140721487821616 140233306135440 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11517] ppid=11508 vsize=26004064 memory=139787763807151 CPUtime=0 cores=0-7
/proc/11510/task/11517/stat : 11517 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148061203 26628161536 11527 33554432000 4194304 4196468 140721487821616 140233305082640 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11518] ppid=11508 vsize=26004064 memory=139787763809456 CPUtime=0 cores=0-7
/proc/11510/task/11518/stat : 11518 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148061203 26628161536 11527 33554432000 4194304 4196468 140721487821616 140233304030352 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11519] ppid=11508 vsize=26004064 memory=139787763811760 CPUtime=0 cores=0-7
/proc/11510/task/11519/stat : 11519 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148061203 26628161536 11527 33554432000 4194304 4196468 140721487821616 140233302977552 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11520] ppid=11508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11510/task/11520/stat : 11520 (java) S 11508 11508 10416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148061204 26628161536 11527 33554432000 4194304 4196468 140721487821616 140232745470064 140233752296066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11521] ppid=11508 vsize=26004064 memory=279575527630480 CPUtime=0 cores=0-7
/proc/11510/task/11521/stat : 11521 (java) S 11508 11508 10416 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148061205 26628161536 11527 33554432000 4194304 4196468 140721487821616 140232744416032 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11522] ppid=11508 vsize=26004064 memory=279575527637392 CPUtime=0 cores=0-7
/proc/11510/task/11522/stat : 11522 (java) S 11508 11508 10416 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148061205 26628161536 11527 33554432000 4194304 4196468 140721487821616 140232743363696 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11523] ppid=11508 vsize=26004064 memory=279575527578672 CPUtime=0 cores=0-7
/proc/11510/task/11523/stat : 11523 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148061207 26628161536 11527 33554432000 4194304 4196468 140721487821616 140232742312016 140233752303515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11524] ppid=11508 vsize=26004064 memory=279575527651216 CPUtime=0.02 cores=0-7
/proc/11510/task/11524/stat : 11524 (java) S 11508 11508 10416 0 -1 1077944384 621 0 0 0 2 0 0 0 20 0 20 0 148061207 26628161536 11527 33554432000 4194304 4196468 140721487821616 140232741259888 140233752296066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11525] ppid=11508 vsize=26004064 memory=279575527658128 CPUtime=0.03 cores=0-7
/proc/11510/task/11525/stat : 11525 (java) S 11508 11508 10416 0 -1 1077944384 268 0 0 0 3 0 0 0 20 0 20 0 148061207 26628161536 11527 33554432000 4194304 4196468 140721487821616 140232740207088 140233752296066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11526] ppid=11508 vsize=26004064 memory=279575527655824 CPUtime=0.02 cores=0-7
/proc/11510/task/11526/stat : 11526 (java) S 11508 11508 10416 0 -1 1077944384 56 0 0 0 2 0 0 0 20 0 20 0 148061207 26628161536 11527 33554432000 4194304 4196468 140721487821616 140232739154800 140233752296066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11527] ppid=11508 vsize=26004064 memory=279575527671984 CPUtime=0.12 cores=0-7
/proc/11510/task/11527/stat : 11527 (java) R 11508 11508 10416 0 -1 4202560 893 0 0 0 12 0 0 0 20 0 20 0 148061207 26628161536 11527 33554432000 4194304 4196468 140721487821616 140232738098936 140233730451210 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11528] ppid=11508 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11510/task/11528/stat : 11528 (java) S 11508 11508 10416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148061208 26628161536 11527 33554432000 4194304 4196468 140721487821616 140232737048928 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11529] ppid=11508 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11510/task/11529/stat : 11529 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148061208 26628161536 11527 33554432000 4194304 4196468 140721487821616 140232735996208 140233752296066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47492 KiB

[startup+0.700902 s]
/proc/loadavg: 5.56 7.47 7.98 5/199 11529
/proc/meminfo: memFree=26155472/32770624 swapFree=67108860/67108860
[pid=11508] ppid=11505 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11508/stat : 11508 (xcsp3-exec) S 11505 11508 10416 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148061201 9740288 346 33554432000 4194304 5098028 140731276585600 140731276583704 139790420193916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12115968 140731276588133 140731276588343 140731276588343 140731276591083 0
/proc/11508/statm: 2378 346 289 221 0 87 0
[pid=11510] ppid=11508 vsize=26006188 memory=85888 CPUtime=1.73 cores=0-7
/proc/11510/stat : 11510 (java) S 11508 11508 10416 0 -1 1077944320 12594 0 0 0 167 6 0 0 20 0 20 0 148061202 26630336512 21472 33554432000 4194304 4196468 140721487821616 140721487804160 140233752284919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
/proc/11510/statm: 6501547 21472 3206 1 0 6488781 0
[pid=11510/tid=11511] ppid=11508 vsize=26006188 memory=279575528029872 CPUtime=0.67 cores=0-7
/proc/11510/task/11511/stat : 11511 (java) R 11508 11508 10416 0 -1 4202560 6666 0 0 0 64 3 0 0 20 0 20 0 148061202 26630336512 21472 33554432000 4194304 4196468 140721487821616 140233756521560 140233752306845 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11512] ppid=11508 vsize=26006188 memory=139787764015984 CPUtime=0 cores=0-7
/proc/11510/task/11512/stat : 11512 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148061203 26630336512 21472 33554432000 4194304 4196468 140721487821616 140233704905104 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11513] ppid=11508 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/11510/task/11513/stat : 11513 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148061203 26630336512 21538 33554432000 4194304 4196468 140721487821616 140233703852304 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11514] ppid=11508 vsize=26006188 memory=1004 CPUtime=0 cores=0-7
/proc/11510/task/11514/stat : 11514 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148061203 26630336512 21538 33554432000 4194304 4196468 140721487821616 140233308240528 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0

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

[pid=11510/tid=11537] ppid=11508 vsize=26538700 memory=586340 CPUtime=2382.4 cores=0-7
/proc/11510/task/11537/stat : 11537 (java) R 11508 11508 10416 0 -1 4202560 80440 0 0 0 238170 70 0 0 20 0 28 0 148061304 27175628800 146585 33554432000 4194304 4196468 140721487821616 140232720617032 140233390937305 0 4 0 16800975 0 0 0 -1 5 0 0 23 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
Current children cumulated CPU time: 19213.5 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 587724 KiB

[startup+2502.31 s]
/proc/loadavg: 8.21 8.27 8.17 9/209 11593
/proc/meminfo: memFree=25631564/32770624 swapFree=67108860/67108860
[pid=11508] ppid=11505 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11508/stat : 11508 (xcsp3-exec) S 11505 11508 10416 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148061201 9740288 346 33554432000 4194304 5098028 140731276585600 140731276583704 139790420193916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12115968 140731276588133 140731276588343 140731276588343 140731276591083 0
/proc/11508/statm: 2378 346 289 221 0 87 0
[pid=11510] ppid=11508 vsize=26538700 memory=575360 CPUtime=19686.9 cores=0-7
/proc/11510/stat : 11510 (java) S 11508 11508 10416 0 -1 1077944320 1095324 0 0 0 1966206 2485 0 0 20 0 28 0 148061202 27175628800 143840 33554432000 4194304 4196468 140721487821616 140721487804160 140233752284919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
/proc/11510/statm: 6634675 143840 3300 1 0 6621909 0
[pid=11510/tid=11511] ppid=11508 vsize=26538700 memory=1384 CPUtime=0.99 cores=0-7
/proc/11510/task/11511/stat : 11511 (java) S 11508 11508 10416 0 -1 1077944384 7064 0 0 0 95 4 0 0 20 0 28 0 148061202 27175628800 143840 33554432000 4194304 4196468 140721487821616 140233756525696 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11512] ppid=11508 vsize=26538700 memory=575876 CPUtime=13.36 cores=0-7
/proc/11510/task/11512/stat : 11512 (java) S 11508 11508 10416 0 -1 1077944384 41543 0 0 0 1250 86 0 0 20 0 28 0 148061203 27175628800 143840 33554432000 4194304 4196468 140721487821616 140233704905104 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11513] ppid=11508 vsize=26538700 memory=575360 CPUtime=13.42 cores=0-7
/proc/11510/task/11513/stat : 11513 (java) S 11508 11508 10416 0 -1 1077944384 42885 0 0 0 1254 88 0 0 20 0 28 0 148061203 27175628800 143840 33554432000 4194304 4196468 140721487821616 140233703852304 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11514] ppid=11508 vsize=26538700 memory=1384 CPUtime=13.58 cores=0-7
/proc/11510/task/11514/stat : 11514 (java) S 11508 11508 10416 0 -1 1077944384 41205 0 0 0 1274 84 0 0 20 0 28 0 148061203 27175628800 143840 33554432000 4194304 4196468 140721487821616 140233308240528 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11515] ppid=11508 vsize=26538700 memory=1384 CPUtime=13.48 cores=0-7
/proc/11510/task/11515/stat : 11515 (java) S 11508 11508 10416 0 -1 1077944384 39940 0 0 0 1255 93 0 0 20 0 28 0 148061203 27175628800 143840 33554432000 4194304 4196468 140721487821616 140233307187728 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11516] ppid=11508 vsize=26538700 memory=575360 CPUtime=13.48 cores=0-7
/proc/11510/task/11516/stat : 11516 (java) S 11508 11508 10416 0 -1 1077944384 43506 0 0 0 1261 87 0 0 20 0 28 0 148061203 27175628800 143840 33554432000 4194304 4196468 140721487821616 140233306135440 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11517] ppid=11508 vsize=26538700 memory=1384 CPUtime=13.51 cores=0-7
/proc/11510/task/11517/stat : 11517 (java) S 11508 11508 10416 0 -1 1077944384 37746 0 0 0 1265 86 0 0 20 0 28 0 148061203 27175628800 143840 33554432000 4194304 4196468 140721487821616 140233305082640 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11518] ppid=11508 vsize=26538700 memory=583204 CPUtime=13.4 cores=0-7
/proc/11510/task/11518/stat : 11518 (java) S 11508 11508 10416 0 -1 1077944384 37106 0 0 0 1249 91 0 0 20 0 28 0 148061203 27175628800 143840 33554432000 4194304 4196468 140721487821616 140233304030352 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11519] ppid=11508 vsize=26538700 memory=0 CPUtime=13.51 cores=0-7
/proc/11510/task/11519/stat : 11519 (java) S 11508 11508 10416 0 -1 1077944384 42295 0 0 0 1258 93 0 0 20 0 28 0 148061203 27175628800 143840 33554432000 4194304 4196468 140721487821616 140233302977552 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11520] ppid=11508 vsize=26538700 memory=6933690305039933585 CPUtime=24.39 cores=0-7
/proc/11510/task/11520/stat : 11520 (java) S 11508 11508 10416 0 -1 1077944384 141692 0 0 0 1170 1269 0 0 20 0 28 0 148061204 27175628800 143840 33554432000 4194304 4196468 140721487821616 140232745470064 140233752296066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11521] ppid=11508 vsize=26538700 memory=1236 CPUtime=0 cores=0-7
/proc/11510/task/11521/stat : 11521 (java) S 11508 11508 10416 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 148061205 27175628800 143840 33554432000 4194304 4196468 140721487821616 140232744416096 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11522] ppid=11508 vsize=26538700 memory=960 CPUtime=0 cores=0-7
/proc/11510/task/11522/stat : 11522 (java) S 11508 11508 10416 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 148061205 27175628800 143840 33554432000 4194304 4196468 140721487821616 140232743363712 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11523] ppid=11508 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/11510/task/11523/stat : 11523 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148061207 27175628800 143840 33554432000 4194304 4196468 140721487821616 140232742312016 140233752303515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11524] ppid=11508 vsize=26538700 memory=593024 CPUtime=2.35 cores=0-7
/proc/11510/task/11524/stat : 11524 (java) S 11508 11508 10416 0 -1 1077944384 13338 0 0 0 233 2 0 0 20 0 28 0 148061207 27175628800 143840 33554432000 4194304 4196468 140721487821616 140232741259888 140233752296066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11525] ppid=11508 vsize=26538700 memory=0 CPUtime=2.77 cores=0-7
/proc/11510/task/11525/stat : 11525 (java) S 11508 11508 10416 0 -1 1077944384 15598 0 0 0 274 3 0 0 20 0 28 0 148061207 27175628800 143840 33554432000 4194304 4196468 140721487821616 140232740207088 140233752296066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11526] ppid=11508 vsize=26538700 memory=2200 CPUtime=2.69 cores=0-7
/proc/11510/task/11526/stat : 11526 (java) S 11508 11508 10416 0 -1 1077944384 15355 0 0 0 266 3 0 0 20 0 28 0 148061207 27175628800 143840 33554432000 4194304 4196468 140721487821616 140232739154800 140233752296066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11527] ppid=11508 vsize=26538700 memory=1384 CPUtime=0.77 cores=0-7
/proc/11510/task/11527/stat : 11527 (java) S 11508 11508 10416 0 -1 1077944384 16400 0 0 0 74 3 0 0 20 0 28 0 148061207 27175628800 143840 33554432000 4194304 4196468 140721487821616 140232738102000 140233752296066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11528] ppid=11508 vsize=26538700 memory=575360 CPUtime=0 cores=0-7
/proc/11510/task/11528/stat : 11528 (java) S 11508 11508 10416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148061208 27175628800 143840 33554432000 4194304 4196468 140721487821616 140232737048928 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11529] ppid=11508 vsize=26538700 memory=8576 CPUtime=1.04 cores=0-7
/proc/11510/task/11529/stat : 11529 (java) S 11508 11508 10416 0 -1 1077944384 6184 0 0 0 47 57 0 0 20 0 28 0 148061208 27175628800 143840 33554432000 4194304 4196468 140721487821616 140232735996208 140233752296066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11530] ppid=11508 vsize=26538700 memory=4084 CPUtime=2442.46 cores=0-7
/proc/11510/task/11530/stat : 11530 (java) R 11508 11508 10416 0 -1 4202560 53953 0 0 0 244187 59 0 0 20 0 28 0 148061304 27175628800 143840 33554432000 4194304 4196468 140721487821616 140232727984848 140233390229344 0 4 0 16800975 0 0 0 -1 0 0 0 21 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11531] ppid=11508 vsize=26538700 memory=932 CPUtime=2437.8 cores=0-7
/proc/11510/task/11531/stat : 11531 (java) R 11508 11508 10416 0 -1 4202560 54624 0 0 0 243728 52 0 0 20 0 28 0 148061304 27175628800 143840 33554432000 4194304 4196468 140721487821616 140232726933184 140233390921608 0 4 0 16800975 0 0 0 -1 5 0 0 24 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11532] ppid=11508 vsize=26538700 memory=1572 CPUtime=2450.59 cores=0-7
/proc/11510/task/11532/stat : 11532 (java) R 11508 11508 10416 0 -1 4202560 85041 0 0 0 244970 89 0 0 20 0 28 0 148061304 27175628800 143840 33554432000 4194304 4196468 140721487821616 140232725884112 140233390937318 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11533] ppid=11508 vsize=26538700 memory=575360 CPUtime=2450.25 cores=0-7
/proc/11510/task/11533/stat : 11533 (java) R 11508 11508 10416 0 -1 4202560 91516 0 0 0 244912 113 0 0 20 0 28 0 148061304 27175628800 143840 33554432000 4194304 4196468 140721487821616 140232724831200 140233389192094 0 4 0 16800975 0 0 0 -1 7 0 0 20 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11534] ppid=11508 vsize=26538700 memory=1384 CPUtime=2439.14 cores=0-7
/proc/11510/task/11534/stat : 11534 (java) R 11508 11508 10416 0 -1 4202560 79118 0 0 0 243837 77 0 0 20 0 28 0 148061304 27175628800 143840 33554432000 4194304 4196468 140721487821616 140232723778304 140233391322146 0 4 0 16800975 0 0 0 -1 2 0 0 18 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11535] ppid=11508 vsize=26538700 memory=575360 CPUtime=2442.65 cores=0-7
/proc/11510/task/11535/stat : 11535 (java) R 11508 11508 10416 0 -1 4202560 48591 0 0 0 244207 58 0 0 20 0 28 0 148061304 27175628800 143840 33554432000 4194304 4196468 140721487821616 140232722722992 140233389850942 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11536] ppid=11508 vsize=26538700 memory=1384 CPUtime=2440.17 cores=0-7
/proc/11510/task/11536/stat : 11536 (java) R 11508 11508 10416 0 -1 4202560 56364 0 0 0 243962 55 0 0 20 0 28 0 148061304 27175628800 143840 33554432000 4194304 4196468 140721487821616 140232721669568 140233390873208 0 4 0 16800975 0 0 0 -1 3 0 0 25 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11537] ppid=11508 vsize=26538700 memory=575360 CPUtime=2440.92 cores=0-7
/proc/11510/task/11537/stat : 11537 (java) R 11508 11508 10416 0 -1 4202560 82920 0 0 0 244021 71 0 0 20 0 28 0 148061304 27175628800 143840 33554432000 4194304 4196468 140721487821616 140232720616552 140233390937248 0 4 0 16800975 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
Current children cumulated CPU time: 19686.9 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 576744 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.15 8.25 8.16 9/209 11593
/proc/meminfo: memFree=25640944/32770624 swapFree=67108860/67108860
[pid=11508] ppid=11505 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11508/stat : 11508 (xcsp3-exec) S 11505 11508 10416 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148061201 9740288 346 33554432000 4194304 5098028 140731276585600 140731276583704 139790420193916 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12115968 140731276588133 140731276588343 140731276588343 140731276591083 0
/proc/11508/statm: 2378 346 289 221 0 87 0
[pid=11510] ppid=11508 vsize=26538700 memory=566356 CPUtime=19827.1 cores=0-7
/proc/11510/stat : 11510 (java) S 11508 11508 10416 0 -1 1077944320 1098990 0 0 0 1980220 2490 0 0 20 0 28 0 148061202 27175628800 141589 33554432000 4194304 4196468 140721487821616 140721487804160 140233752284919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
/proc/11510/statm: 6634675 141589 3300 1 0 6621909 0
[pid=11510/tid=11511] ppid=11508 vsize=26538700 memory=6791534058613427641 CPUtime=0.99 cores=0-7
/proc/11510/task/11511/stat : 11511 (java) S 11508 11508 10416 0 -1 1077944384 7064 0 0 0 95 4 0 0 20 0 28 0 148061202 27175628800 141589 33554432000 4194304 4196468 140721487821616 140233756525696 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11512] ppid=11508 vsize=26538700 memory=4872558044660077418 CPUtime=13.45 cores=0-7
/proc/11510/task/11512/stat : 11512 (java) S 11508 11508 10416 0 -1 1077944384 41643 0 0 0 1259 86 0 0 20 0 28 0 148061203 27175628800 141589 33554432000 4194304 4196468 140721487821616 140233704905104 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11513] ppid=11508 vsize=26538700 memory=15876 CPUtime=13.51 cores=0-7
/proc/11510/task/11513/stat : 11513 (java) S 11508 11508 10416 0 -1 1077944384 42903 0 0 0 1263 88 0 0 20 0 28 0 148061203 27175628800 141589 33554432000 4194304 4196468 140721487821616 140233703852304 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11514] ppid=11508 vsize=26538700 memory=4040 CPUtime=13.68 cores=0-7
/proc/11510/task/11514/stat : 11514 (java) S 11508 11508 10416 0 -1 1077944384 41724 0 0 0 1284 84 0 0 20 0 28 0 148061203 27175628800 141589 33554432000 4194304 4196468 140721487821616 140233308240528 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11515] ppid=11508 vsize=26538700 memory=23616 CPUtime=13.58 cores=0-7
/proc/11510/task/11515/stat : 11515 (java) S 11508 11508 10416 0 -1 1077944384 40368 0 0 0 1264 94 0 0 20 0 28 0 148061203 27175628800 141589 33554432000 4194304 4196468 140721487821616 140233307187728 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11516] ppid=11508 vsize=26538700 memory=18292 CPUtime=13.58 cores=0-7
/proc/11510/task/11516/stat : 11516 (java) S 11508 11508 10416 0 -1 1077944384 43613 0 0 0 1271 87 0 0 20 0 28 0 148061203 27175628800 141589 33554432000 4194304 4196468 140721487821616 140233306135440 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11517] ppid=11508 vsize=26538700 memory=6791534058613427641 CPUtime=13.61 cores=0-7
/proc/11510/task/11517/stat : 11517 (java) S 11508 11508 10416 0 -1 1077944384 37878 0 0 0 1274 87 0 0 20 0 28 0 148061203 27175628800 141589 33554432000 4194304 4196468 140721487821616 140233305082640 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11518] ppid=11508 vsize=26538700 memory=10088 CPUtime=13.49 cores=0-7
/proc/11510/task/11518/stat : 11518 (java) S 11508 11508 10416 0 -1 1077944384 37178 0 0 0 1258 91 0 0 20 0 28 0 148061203 27175628800 141589 33554432000 4194304 4196468 140721487821616 140233304030352 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11519] ppid=11508 vsize=26538700 memory=1948 CPUtime=13.6 cores=0-7
/proc/11510/task/11519/stat : 11519 (java) S 11508 11508 10416 0 -1 1077944384 42329 0 0 0 1267 93 0 0 20 0 28 0 148061203 27175628800 141589 33554432000 4194304 4196468 140721487821616 140233302977552 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11520] ppid=11508 vsize=26538700 memory=8576 CPUtime=24.46 cores=0-7
/proc/11510/task/11520/stat : 11520 (java) S 11508 11508 10416 0 -1 1077944384 142091 0 0 0 1175 1271 0 0 20 0 28 0 148061204 27175628800 141589 33554432000 4194304 4196468 140721487821616 140232745470064 140233752296066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11521] ppid=11508 vsize=26538700 memory=4616 CPUtime=0 cores=0-7
/proc/11510/task/11521/stat : 11521 (java) S 11508 11508 10416 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 148061205 27175628800 141589 33554432000 4194304 4196468 140721487821616 140232744416096 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11522] ppid=11508 vsize=26538700 memory=1720 CPUtime=0 cores=0-7
/proc/11510/task/11522/stat : 11522 (java) S 11508 11508 10416 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 148061205 27175628800 141589 33554432000 4194304 4196468 140721487821616 140232743363712 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11523] ppid=11508 vsize=26538700 memory=1004 CPUtime=0 cores=0-7
/proc/11510/task/11523/stat : 11523 (java) S 11508 11508 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148061207 27175628800 141589 33554432000 4194304 4196468 140721487821616 140232742312016 140233752303515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11524] ppid=11508 vsize=26538700 memory=1436 CPUtime=2.35 cores=0-7
/proc/11510/task/11524/stat : 11524 (java) S 11508 11508 10416 0 -1 1077944384 13342 0 0 0 233 2 0 0 20 0 28 0 148061207 27175628800 141589 33554432000 4194304 4196468 140721487821616 140232741259888 140233752296066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11525] ppid=11508 vsize=26538700 memory=1200 CPUtime=2.77 cores=0-7
/proc/11510/task/11525/stat : 11525 (java) S 11508 11508 10416 0 -1 1077944384 15602 0 0 0 274 3 0 0 20 0 28 0 148061207 27175628800 141589 33554432000 4194304 4196468 140721487821616 140232740207088 140233752296066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11526] ppid=11508 vsize=26538700 memory=15876 CPUtime=2.69 cores=0-7
/proc/11510/task/11526/stat : 11526 (java) S 11508 11508 10416 0 -1 1077944384 15359 0 0 0 266 3 0 0 20 0 28 0 148061207 27175628800 141589 33554432000 4194304 4196468 140721487821616 140232739154800 140233752296066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11527] ppid=11508 vsize=26538700 memory=4040 CPUtime=0.77 cores=0-7
/proc/11510/task/11527/stat : 11527 (java) S 11508 11508 10416 0 -1 1077944384 16404 0 0 0 74 3 0 0 20 0 28 0 148061207 27175628800 141589 33554432000 4194304 4196468 140721487821616 140232738102000 140233752296066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11528] ppid=11508 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/11510/task/11528/stat : 11528 (java) S 11508 11508 10416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148061208 27175628800 141589 33554432000 4194304 4196468 140721487821616 140232737048928 140233752295125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11529] ppid=11508 vsize=26538700 memory=836 CPUtime=1.04 cores=0-7
/proc/11510/task/11529/stat : 11529 (java) S 11508 11508 10416 0 -1 1077944384 6214 0 0 0 47 57 0 0 20 0 28 0 148061208 27175628800 141589 33554432000 4194304 4196468 140721487821616 140232735996208 140233752296066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11530] ppid=11508 vsize=26538700 memory=4100 CPUtime=2459.9 cores=0-7
/proc/11510/task/11530/stat : 11530 (java) R 11508 11508 10416 0 -1 4202560 54140 0 0 0 245931 59 0 0 20 0 28 0 148061304 27175628800 141589 33554432000 4194304 4196468 140721487821616 140232727985112 140233392611492 0 4 0 16800975 0 0 0 -1 7 0 0 21 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11531] ppid=11508 vsize=26538700 memory=1696 CPUtime=2455.19 cores=0-7
/proc/11510/task/11531/stat : 11531 (java) R 11508 11508 10416 0 -1 4202560 54887 0 0 0 245467 52 0 0 20 0 28 0 148061304 27175628800 141589 33554432000 4194304 4196468 140721487821616 140232726935680 140233390873038 0 4 0 16800975 0 0 0 -1 3 0 0 24 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11532] ppid=11508 vsize=26538700 memory=916 CPUtime=2468.07 cores=0-7
/proc/11510/task/11532/stat : 11532 (java) R 11508 11508 10416 0 -1 4202560 85206 0 0 0 246717 90 0 0 20 0 28 0 148061304 27175628800 141589 33554432000 4194304 4196468 140721487821616 140232725880776 140233390873609 0 4 0 16800975 0 0 0 -1 2 0 0 21 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11533] ppid=11508 vsize=26538700 memory=1384 CPUtime=2467.54 cores=0-7
/proc/11510/task/11533/stat : 11533 (java) R 11508 11508 10416 0 -1 4202560 91795 0 0 0 246641 113 0 0 20 0 28 0 148061304 27175628800 141589 33554432000 4194304 4196468 140721487821616 140232724828096 140233391938188 0 4 0 16800975 0 0 0 -1 0 0 0 21 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11534] ppid=11508 vsize=26538700 memory=566284 CPUtime=2456.62 cores=0-7
/proc/11510/task/11534/stat : 11534 (java) R 11508 11508 10416 0 -1 4202560 79292 0 0 0 245584 78 0 0 20 0 28 0 148061304 27175628800 141589 33554432000 4194304 4196468 140721487821616 140232723775808 140233389850726 0 4 0 16800975 0 0 0 -1 4 0 0 19 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11535] ppid=11508 vsize=26538700 memory=3760 CPUtime=2460.09 cores=0-7
/proc/11510/task/11535/stat : 11535 (java) R 11508 11508 10416 0 -1 4202560 48711 0 0 0 245951 58 0 0 20 0 28 0 148061304 27175628800 141589 33554432000 4194304 4196468 140721487821616 140232722723128 140233391322146 0 4 0 16800975 0 0 0 -1 5 0 0 21 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11536] ppid=11508 vsize=26538700 memory=1384 CPUtime=2457.58 cores=0-7
/proc/11510/task/11536/stat : 11536 (java) R 11508 11508 10416 0 -1 4202560 56588 0 0 0 245703 55 0 0 20 0 28 0 148061304 27175628800 141589 33554432000 4194304 4196468 140721487821616 140232721669832 140233390922663 0 4 0 16800975 0 0 0 -1 1 0 0 26 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
[pid=11510/tid=11537] ppid=11508 vsize=26538700 memory=575360 CPUtime=2458.36 cores=0-7
/proc/11510/task/11537/stat : 11537 (java) R 11508 11508 10416 0 -1 4202560 83319 0 0 0 245765 71 0 0 20 0 28 0 148061304 27175628800 141589 33554432000 4194304 4196468 140721487821616 140232720616896 140233390230016 0 4 0 16800975 0 0 0 -1 6 0 0 24 0 0 6293624 6294260 38682624 140721487824018 140721487824195 140721487824195 140721487826895 0
Current children cumulated CPU time: 19827.1 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 567740 KiB

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

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

[startup+2520.08 s]
# the end of solver process 11510 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19802.7 s, system=24.9147 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): 2520.08
CPU time (s): 19827.6
CPU user time (s): 19802.7
CPU system time (s): 24.9147
CPU usage (%): 786.784
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 2509324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19802.7
system time used= 24.9147
maximum resident set size= 2508244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1099802
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 573640
involuntary context switches= 236774


# summary of solver processes directly reported to runsolver:
#   pid: 11508,11510
#   total CPU time (s): 19827.6
#   total CPU user time (s): 19802.7
#   total CPU system time (s): 24.9147

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.6006 second user time and 27.6807 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-19 15:21:16
IDJOB=4280898
IDBENCH=133170
IDSOLVER=2675
FILE ID=node112/4280898-1503149736
RUNJOBID= node112-1503148812-10443
PBS_JOBID= 20630809
Free space on /tmp= 61856 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Ortholatin/Ortholatin-m1-s1/Ortholatin-019.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280898-1503149736/watcher-4280898-1503149736 -o /tmp/evaluation-result-4280898-1503149736/solver-4280898-1503149736 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503148812-10443 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 314236837 HOME/instance-4280898-1503149736.xml

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

MD5SUM BENCH= 3d460941811377b846401dbdf8e8b024
RANDOM SEED=314236837

node112.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.24
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.24
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.24
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.24
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:        26203440 kB
MemAvailable:   31971812 kB
Buffers:          248276 kB
Cached:          5809576 kB
SwapCached:            0 kB
Active:          1094720 kB
Inactive:        5016060 kB
Active(anon):       4428 kB
Inactive(anon):    84388 kB
Active(file):    1090292 kB
Inactive(file):  4931672 kB
Unevictable:        7840 kB
Mlocked:            7840 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8032 kB
Writeback:             0 kB
AnonPages:         60032 kB
Mapped:            50920 kB
Shmem:             33416 kB
Slab:             151340 kB
SReclaimable:     124488 kB
SUnreclaim:        26852 kB
KernelStack:        3200 kB
PageTables:         4928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61848 MiB
End job on node112 at 2017-08-19 16:03:16