Trace number 4297820

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.7b par (e747e1e)? (TO) 19075.5 2520.03

General information on the benchmark

NamePseudoBoolean-dec/
Pb-chnl15-16_c18.xml
MD5SUM8b2f27ca9e664fd505b84cd8dff1749a
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark481.692
Satisfiable
(Un)Satisfiability was proved
Number of variables480
Number of constraints62
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":480}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":480}]
Minimum constraint arity15
Maximum constraint arity16
Distribution of constraint arities[{"arity":15,"count":32},{"arity":16,"count":30}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":62}]
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-4297820-1532709304.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4297820-1532709304.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
1.36/0.61	c solve instance...
19075.44/2520.01	s UNKNOWN
19075.44/2520.01	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 (8706 MiB free)
  memory of node 1: 16384 MiB (12116 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297820-1532709304/watcher-4297820-1532709304 -o /tmp/evaluation-result-4297820-1532709304/solver-4297820-1532709304 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1532704130-23297 --watchdog 2580 HOME/xcsp3-exec -seed 363907811 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297820-1532709304.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
Current StackSize limit: 8192 KiB

solver pid=24356, runsolver pid=24353

[startup+0.100063 s]*
/proc/loadavg: 7.87 8.18 8.31 4/199 24377
/proc/meminfo: memFree=21306236/32770624 swapFree=67108860/67108860
[pid=24356] ppid=24353 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24356/stat : 24356 (xcsp3-exec) S 24353 24356 23270 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 88493578 115843072 363 33554432000 4194304 5098028 140720834571904 140720834570008 140686866023036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29184000 140720834573366 140720834573568 140720834573568 140720834576330 0
/proc/24356/statm: 28282 363 306 221 0 87 0
[pid=24358] ppid=24356 vsize=26104152 memory=29000 CPUtime=0.11 cores=0-7
/proc/24358/stat : 24358 (java) S 24356 24356 23270 0 -1 1077944320 5648 0 0 0 10 1 0 0 20 0 20 0 88493578 26730651648 7250 33554432000 4194304 4196468 140721014026960 140721014009504 140234378235639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
/proc/24358/statm: 6526038 7250 3002 1 0 6488315 0
[pid=24358/tid=24359] ppid=24356 vsize=26104152 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/24358/task/24359/stat : 24359 (java) R 24356 24356 23270 0 -1 4202560 3661 0 0 0 7 1 0 0 20 0 20 0 88493578 26730651648 7250 33554432000 4194304 4196468 140721014026960 140234382460944 140234362316126 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24360] ppid=24356 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24358/task/24360/stat : 24360 (java) S 24356 24356 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88493579 26730651648 7250 33554432000 4194304 4196468 140721014026960 140234330855824 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24361] ppid=24356 vsize=26104152 memory=140051973543552 CPUtime=0 cores=0-7
/proc/24358/task/24361/stat : 24361 (java) S 24356 24356 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88493579 26730651648 7250 33554432000 4194304 4196468 140721014026960 140234329803024 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24362] ppid=24356 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24362/stat : 24362 (java) S 24356 24356 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88493579 26730651648 7250 33554432000 4194304 4196468 140721014026960 140234328750736 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24363] ppid=24356 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24363/stat : 24363 (java) S 24356 24356 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88493579 26730651648 7250 33554432000 4194304 4196468 140721014026960 140234327697936 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24364] ppid=24356 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24364/stat : 24364 (java) S 24356 24356 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88493579 26730651648 7250 33554432000 4194304 4196468 140721014026960 140234326645648 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24365] ppid=24356 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/24358/task/24365/stat : 24365 (java) S 24356 24356 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88493579 26730651648 7250 33554432000 4194304 4196468 140721014026960 140234325592848 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24366] ppid=24356 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24366/stat : 24366 (java) S 24356 24356 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88493579 26730651648 7250 33554432000 4194304 4196468 140721014026960 140234324540560 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24367] ppid=24356 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24367/stat : 24367 (java) S 24356 24356 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88493579 26730651648 7250 33554432000 4194304 4196468 140721014026960 140234323487760 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24368] ppid=24356 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24368/stat : 24368 (java) S 24356 24356 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88493580 26730651648 7250 33554432000 4194304 4196468 140721014026960 140233505585264 140234378246786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24369] ppid=24356 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24369/stat : 24369 (java) S 24356 24356 23270 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88493581 26730651648 7250 33554432000 4194304 4196468 140721014026960 140233504531232 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24370] ppid=24356 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24370/stat : 24370 (java) S 24356 24356 23270 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88493581 26730651648 7250 33554432000 4194304 4196468 140721014026960 140233503478896 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24371] ppid=24356 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24371/stat : 24371 (java) S 24356 24356 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88493584 26730651648 7250 33554432000 4194304 4196468 140721014026960 140233502427216 140234378254235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24372] ppid=24356 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24372/stat : 24372 (java) S 24356 24356 23270 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 88493584 26730651648 7250 33554432000 4194304 4196468 140721014026960 140232511449712 140234378246786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24373] ppid=24356 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24373/stat : 24373 (java) S 24356 24356 23270 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 88493584 26730651648 7250 33554432000 4194304 4196468 140721014026960 140232510396912 140234378246786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24374] ppid=24356 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24374/stat : 24374 (java) S 24356 24356 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88493584 26730651648 7250 33554432000 4194304 4196468 140721014026960 140232509344624 140234378246786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24375] ppid=24356 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/24358/task/24375/stat : 24375 (java) R 24356 24356 23270 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 20 0 88493584 26730651648 7250 33554432000 4194304 4196468 140721014026960 140232508291824 140234358195517 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24376] ppid=24356 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24376/stat : 24376 (java) S 24356 24356 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88493584 26730651648 7250 33554432000 4194304 4196468 140721014026960 140232507238752 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24377] ppid=24356 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/24358/task/24377/stat : 24377 (java) S 24356 24356 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88493584 26730651648 7250 33554432000 4194304 4196468 140721014026960 140232506186032 140234378246786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 30452 KiB

[startup+0.210344 s]*
/proc/loadavg: 7.87 8.18 8.31 3/199 24377
/proc/meminfo: memFree=21294064/32770624 swapFree=67108860/67108860
[pid=24356] ppid=24353 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24356/stat : 24356 (xcsp3-exec) S 24353 24356 23270 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 88493578 115843072 363 33554432000 4194304 5098028 140720834571904 140720834570008 140686866023036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29184000 140720834573366 140720834573568 140720834573568 140720834576330 0
/proc/24356/statm: 28282 363 306 221 0 87 0
[pid=24358] ppid=24356 vsize=26104152 memory=41780 CPUtime=0.33 cores=0-7
/proc/24358/stat : 24358 (java) S 24356 24356 23270 0 -1 1077944320 8519 0 0 0 31 2 0 0 20 0 20 0 88493578 26730651648 10445 33554432000 4194304 4196468 140721014026960 140721014009504 140234378235639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
/proc/24358/statm: 6526038 10445 3181 1 0 6488315 0
[pid=24358/tid=24359] ppid=24356 vsize=26104152 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/24358/task/24359/stat : 24359 (java) R 24356 24356 23270 0 -1 4202560 5553 0 0 0 18 2 0 0 20 0 20 0 88493578 26730651648 10445 33554432000 4194304 4196468 140721014026960 140234382472400 140234378257565 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24360] ppid=24356 vsize=26104152 memory=331 CPUtime=0 cores=0-7
/proc/24358/task/24360/stat : 24360 (java) S 24356 24356 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88493579 26730651648 10445 33554432000 4194304 4196468 140721014026960 140234330855824 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24361] ppid=24356 vsize=26104152 memory=3979406993195931296 CPUtime=0 cores=0-7
/proc/24358/task/24361/stat : 24361 (java) S 24356 24356 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88493579 26730651648 10445 33554432000 4194304 4196468 140721014026960 140234329803024 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24362] ppid=24356 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/24358/task/24362/stat : 24362 (java) S 24356 24356 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88493579 26730651648 10445 33554432000 4194304 4196468 140721014026960 140234328750736 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24363] ppid=24356 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24363/stat : 24363 (java) S 24356 24356 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88493579 26730651648 10445 33554432000 4194304 4196468 140721014026960 140234327697936 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24364] ppid=24356 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24364/stat : 24364 (java) S 24356 24356 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88493579 26730651648 10445 33554432000 4194304 4196468 140721014026960 140234326645648 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24365] ppid=24356 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/24358/task/24365/stat : 24365 (java) S 24356 24356 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88493579 26730651648 10445 33554432000 4194304 4196468 140721014026960 140234325592848 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24366] ppid=24356 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24366/stat : 24366 (java) S 24356 24356 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88493579 26730651648 10445 33554432000 4194304 4196468 140721014026960 140234324540560 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24367] ppid=24356 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24367/stat : 24367 (java) S 24356 24356 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88493579 26730651648 10445 33554432000 4194304 4196468 140721014026960 140234323487760 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24368] ppid=24356 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24368/stat : 24368 (java) S 24356 24356 23270 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88493580 26730651648 10445 33554432000 4194304 4196468 140721014026960 140233505585264 140234378246786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24369] ppid=24356 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24369/stat : 24369 (java) S 24356 24356 23270 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88493581 26730651648 10445 33554432000 4194304 4196468 140721014026960 140233504531232 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24370] ppid=24356 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24370/stat : 24370 (java) S 24356 24356 23270 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88493581 26730651648 10445 33554432000 4194304 4196468 140721014026960 140233503478896 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24371] ppid=24356 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24371/stat : 24371 (java) S 24356 24356 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88493584 26730651648 10445 33554432000 4194304 4196468 140721014026960 140233502427216 140234378254235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24372] ppid=24356 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/24358/task/24372/stat : 24372 (java) S 24356 24356 23270 0 -1 1077944384 440 0 0 0 1 0 0 0 20 0 20 0 88493584 26730651648 10445 33554432000 4194304 4196468 140721014026960 140232511449712 140234378246786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24373] ppid=24356 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/24358/task/24373/stat : 24373 (java) R 24356 24356 23270 0 -1 1077944384 154 0 0 0 1 0 0 0 20 0 20 0 88493584 26730651648 10445 33554432000 4194304 4196468 140721014026960 140232510396912 140234378246786 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24374] ppid=24356 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7
/proc/24358/task/24374/stat : 24374 (java) S 24356 24356 23270 0 -1 1077944384 315 0 0 0 1 0 0 0 20 0 20 0 88493584 26730651648 10445 33554432000 4194304 4196468 140721014026960 140232509344624 140234378246786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24375] ppid=24356 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/24358/task/24375/stat : 24375 (java) R 24356 24356 23270 0 -1 4202560 747 0 0 0 7 0 0 0 20 0 20 0 88493584 26730651648 10445 33554432000 4194304 4196468 140721014026960 140232508291824 140234378247574 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24376] ppid=24356 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24376/stat : 24376 (java) S 24356 24356 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88493584 26730651648 10445 33554432000 4194304 4196468 140721014026960 140232507238752 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24377] ppid=24356 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/24358/task/24377/stat : 24377 (java) S 24356 24356 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88493584 26730651648 10445 33554432000 4194304 4196468 140721014026960 140232506186032 140234378246786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 43232 KiB

[startup+0.310525 s]*
/proc/loadavg: 7.87 8.18 8.31 5/199 24377
/proc/meminfo: memFree=21287984/32770624 swapFree=67108860/67108860
[pid=24356] ppid=24353 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24356/stat : 24356 (xcsp3-exec) S 24353 24356 23270 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 88493578 115843072 363 33554432000 4194304 5098028 140720834571904 140720834570008 140686866023036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29184000 140720834573366 140720834573568 140720834573568 140720834576330 0
/proc/24356/statm: 28282 363 306 221 0 87 0
[pid=24358] ppid=24356 vsize=26108408 memory=48368 CPUtime=0.51 cores=0-7
/proc/24358/stat : 24358 (java) S 24356 24356 23270 0 -1 1077944320 9371 0 0 0 48 3 0 0 20 0 20 0 88493578 26735009792 12092 33554432000 4194304 4196468 140721014026960 140721014009504 140234378235639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
/proc/24358/statm: 6527102 12092 3249 1 0 6488315 0
[pid=24358/tid=24359] ppid=24356 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/24358/task/24359/stat : 24359 (java) R 24356 24356 23270 0 -1 4202560 6248 0 0 0 27 2 0 0 20 0 20 0 88493578 26735009792 12105 33554432000 4194304 4196468 140721014026960 140234382472416 140234378257565 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24360] ppid=24356 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24360/stat : 24360 (java) S 24356 24356 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88493579 26735009792 12105 33554432000 4194304 4196468 140721014026960 140234330855824 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24361] ppid=24356 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24361/stat : 24361 (java) S 24356 24356 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88493579 26735009792 12105 33554432000 4194304 4196468 140721014026960 140234329803024 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24362] ppid=24356 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24362/stat : 24362 (java) S 24356 24356 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88493579 26735009792 12105 33554432000 4194304 4196468 140721014026960 140234328750736 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24363] ppid=24356 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24363/stat : 24363 (java) S 24356 24356 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88493579 26735009792 12105 33554432000 4194304 4196468 140721014026960 140234327697936 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24364] ppid=24356 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/24358/task/24364/stat : 24364 (java) S 24356 24356 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88493579 26735009792 12105 33554432000 4194304 4196468 140721014026960 140234326645648 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24365] ppid=24356 vsize=26108408 memory=140051837186991 CPUtime=0 cores=0-7
/proc/24358/task/24365/stat : 24365 (java) S 24356 24356 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88493579 26735009792 12105 33554432000 4194304 4196468 140721014026960 140234325592848 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24366] ppid=24356 vsize=26108408 memory=140051837189296 CPUtime=0 cores=0-7
/proc/24358/task/24366/stat : 24366 (java) S 24356 24356 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88493579 26735009792 12105 33554432000 4194304 4196468 140721014026960 140234324540560 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24367] ppid=24356 vsize=26108408 memory=140051837191600 CPUtime=0 cores=0-7
/proc/24358/task/24367/stat : 24367 (java) S 24356 24356 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88493579 26735009792 12105 33554432000 4194304 4196468 140721014026960 140234323487760 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24368] ppid=24356 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24368/stat : 24368 (java) S 24356 24356 23270 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88493580 26735009792 12105 33554432000 4194304 4196468 140721014026960 140233505585264 140234378246786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24369] ppid=24356 vsize=26108408 memory=280103674390160 CPUtime=0 cores=0-7
/proc/24358/task/24369/stat : 24369 (java) S 24356 24356 23270 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88493581 26735009792 12105 33554432000 4194304 4196468 140721014026960 140233504531232 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24370] ppid=24356 vsize=26108408 memory=280103674397072 CPUtime=0 cores=0-7
/proc/24358/task/24370/stat : 24370 (java) S 24356 24356 23270 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88493581 26735009792 12105 33554432000 4194304 4196468 140721014026960 140233503478896 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24371] ppid=24356 vsize=26108408 memory=280103674338352 CPUtime=0 cores=0-7
/proc/24358/task/24371/stat : 24371 (java) S 24356 24356 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88493584 26735009792 12105 33554432000 4194304 4196468 140721014026960 140233502427216 140234378254235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24372] ppid=24356 vsize=26108408 memory=280103674410896 CPUtime=0.03 cores=0-7
/proc/24358/task/24372/stat : 24372 (java) R 24356 24356 23270 0 -1 4202560 517 0 0 0 3 0 0 0 20 0 20 0 88493584 26735009792 12105 33554432000 4194304 4196468 140721014026960 140232511435808 140234371341356 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24373] ppid=24356 vsize=26108408 memory=280103674417808 CPUtime=0.02 cores=0-7
/proc/24358/task/24373/stat : 24373 (java) S 24356 24356 23270 0 -1 1077944384 169 0 0 0 2 0 0 0 20 0 20 0 88493584 26735009792 12105 33554432000 4194304 4196468 140721014026960 140232510396912 140234378246786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24374] ppid=24356 vsize=26108408 memory=280103674415504 CPUtime=0.02 cores=0-7
/proc/24358/task/24374/stat : 24374 (java) S 24356 24356 23270 0 -1 1077944384 325 0 0 0 2 0 0 0 20 0 20 0 88493584 26735009792 12105 33554432000 4194304 4196468 140721014026960 140232509344624 140234378246786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24375] ppid=24356 vsize=26108408 memory=280103674431664 CPUtime=0.12 cores=0-7
/proc/24358/task/24375/stat : 24375 (java) S 24356 24356 23270 0 -1 1077944384 808 0 0 0 12 0 0 0 20 0 20 0 88493584 26735009792 12105 33554432000 4194304 4196468 140721014026960 140232508291824 140234378246786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24376] ppid=24356 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24376/stat : 24376 (java) S 24356 24356 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88493584 26735009792 12105 33554432000 4194304 4196468 140721014026960 140232507238752 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24377] ppid=24356 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/24358/task/24377/stat : 24377 (java) S 24356 24356 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88493584 26735009792 12105 33554432000 4194304 4196468 140721014026960 140232506186032 140234378246786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 49820 KiB

[startup+0.700946 s]
/proc/loadavg: 7.87 8.18 8.31 5/199 24377
/proc/meminfo: memFree=21274320/32770624 swapFree=67108860/67108860
[pid=24356] ppid=24353 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24356/stat : 24356 (xcsp3-exec) S 24353 24356 23270 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 88493578 115843072 363 33554432000 4194304 5098028 140720834571904 140720834570008 140686866023036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29184000 140720834573366 140720834573568 140720834573568 140720834576330 0
/proc/24356/statm: 28282 363 306 221 0 87 0
[pid=24358] ppid=24356 vsize=26643044 memory=96676 CPUtime=1.94 cores=0-7
/proc/24358/stat : 24358 (java) S 24356 24356 23270 0 -1 1077944320 12524 0 0 0 188 6 0 0 20 0 28 0 88493578 27282477056 24169 33554432000 4194304 4196468 140721014026960 140721014009504 140234378235639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
/proc/24358/statm: 6660761 24169 3367 1 0 6621955 0
[pid=24358/tid=24359] ppid=24356 vsize=26643044 memory=280103674789552 CPUtime=0.6 cores=0-7
/proc/24358/task/24359/stat : 24359 (java) S 24356 24356 23270 0 -1 1077944384 7093 0 0 0 56 4 0 0 20 0 28 0 88493578 27282477056 24169 33554432000 4194304 4196468 140721014026960 140234382476416 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24360] ppid=24356 vsize=26643044 memory=140051837395824 CPUtime=0 cores=0-7
/proc/24358/task/24360/stat : 24360 (java) S 24356 24356 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 88493579 27282477056 24169 33554432000 4194304 4196468 140721014026960 140234330855824 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24361] ppid=24356 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/24358/task/24361/stat : 24361 (java) S 24356 24356 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 88493579 27282477056 24169 33554432000 4194304 4196468 140721014026960 140234329803024 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24362] ppid=24356 vsize=26643044 memory=1012 CPUtime=0 cores=0-7
/proc/24358/task/24362/stat : 24362 (java) S 24356 24356 23270 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 88493579 27282477056 24169 33554432000 4194304 4196468 140721014026960 140234328750736 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0

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

[pid=24358/tid=24385] ppid=24356 vsize=26643044 memory=410788 CPUtime=2391.47 cores=0-7
/proc/24358/task/24385/stat : 24385 (java) R 24356 24356 23270 0 -1 4202560 433047 0 0 0 238454 693 0 0 20 0 28 0 88493641 27282477056 102197 33554432000 4194304 4196468 140721014026960 140232182533808 140233993533973 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
Current children cumulated CPU time: 18484.9 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 410240 KiB

[startup+2502.3 s]
/proc/loadavg: 7.76 7.56 7.61 9/207 24439
/proc/meminfo: memFree=20889780/32770624 swapFree=67108860/67108860
[pid=24356] ppid=24353 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24356/stat : 24356 (xcsp3-exec) S 24353 24356 23270 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 88493578 115843072 363 33554432000 4194304 5098028 140720834571904 140720834570008 140686866023036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29184000 140720834573366 140720834573568 140720834573568 140720834576330 0
/proc/24356/statm: 28282 363 306 221 0 87 0
[pid=24358] ppid=24356 vsize=26643044 memory=445932 CPUtime=18942.9 cores=0-7
/proc/24358/stat : 24358 (java) S 24356 24356 23270 0 -1 1077944320 1251070 0 0 0 1865942 28348 0 0 20 0 28 0 88493578 27282477056 111483 33554432000 4194304 4196468 140721014026960 140721014009504 140234378235639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
/proc/24358/statm: 6660761 111483 3432 1 0 6621955 0
[pid=24358/tid=24359] ppid=24356 vsize=26643044 memory=446956 CPUtime=0.6 cores=0-7
/proc/24358/task/24359/stat : 24359 (java) S 24356 24356 23270 0 -1 1077944384 7093 0 0 0 56 4 0 0 20 0 28 0 88493578 27282477056 111483 33554432000 4194304 4196468 140721014026960 140234382476416 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24360] ppid=24356 vsize=26643044 memory=388732 CPUtime=13.36 cores=0-7
/proc/24358/task/24360/stat : 24360 (java) S 24356 24356 23270 0 -1 1077944384 37737 0 0 0 1286 50 0 0 20 0 28 0 88493579 27282477056 111483 33554432000 4194304 4196468 140721014026960 140234330855824 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24361] ppid=24356 vsize=26643044 memory=426996 CPUtime=13.39 cores=0-7
/proc/24358/task/24361/stat : 24361 (java) S 24356 24356 23270 0 -1 1077944384 38043 0 0 0 1294 45 0 0 20 0 28 0 88493579 27282477056 111483 33554432000 4194304 4196468 140721014026960 140234329803024 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24362] ppid=24356 vsize=26643044 memory=449008 CPUtime=13.34 cores=0-7
/proc/24358/task/24362/stat : 24362 (java) S 24356 24356 23270 0 -1 1077944384 42674 0 0 0 1287 47 0 0 20 0 28 0 88493579 27282477056 111483 33554432000 4194304 4196468 140721014026960 140234328750736 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24363] ppid=24356 vsize=26643044 memory=1452 CPUtime=13.27 cores=0-7
/proc/24358/task/24363/stat : 24363 (java) S 24356 24356 23270 0 -1 1077944384 43917 0 0 0 1277 50 0 0 20 0 28 0 88493579 27282477056 111483 33554432000 4194304 4196468 140721014026960 140234327697936 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24364] ppid=24356 vsize=26643044 memory=280103676514976 CPUtime=13.42 cores=0-7
/proc/24358/task/24364/stat : 24364 (java) S 24356 24356 23270 0 -1 1077944384 42161 0 0 0 1294 48 0 0 20 0 28 0 88493579 27282477056 111483 33554432000 4194304 4196468 140721014026960 140234326645648 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24365] ppid=24356 vsize=26643044 memory=385836 CPUtime=13.27 cores=0-7
/proc/24358/task/24365/stat : 24365 (java) S 24356 24356 23270 0 -1 1077944384 45141 0 0 0 1281 46 0 0 20 0 28 0 88493579 27282477056 111483 33554432000 4194304 4196468 140721014026960 140234325592848 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24366] ppid=24356 vsize=26643044 memory=450548 CPUtime=13.29 cores=0-7
/proc/24358/task/24366/stat : 24366 (java) S 24356 24356 23270 0 -1 1077944384 38506 0 0 0 1281 48 0 0 20 0 28 0 88493579 27282477056 111483 33554432000 4194304 4196468 140721014026960 140234324540560 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24367] ppid=24356 vsize=26643044 memory=411 CPUtime=13.34 cores=0-7
/proc/24358/task/24367/stat : 24367 (java) S 24356 24356 23270 0 -1 1077944384 38706 0 0 0 1286 48 0 0 20 0 28 0 88493579 27282477056 111483 33554432000 4194304 4196468 140721014026960 140234323487760 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24368] ppid=24356 vsize=26643044 memory=450548 CPUtime=4.34 cores=0-7
/proc/24358/task/24368/stat : 24368 (java) S 24356 24356 23270 0 -1 1077944384 111034 0 0 0 326 108 0 0 20 0 28 0 88493580 27282477056 111483 33554432000 4194304 4196468 140721014026960 140233505585264 140234378246786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24369] ppid=24356 vsize=26643044 memory=367748 CPUtime=0 cores=0-7
/proc/24358/task/24369/stat : 24369 (java) S 24356 24356 23270 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 88493581 27282477056 111483 33554432000 4194304 4196468 140721014026960 140233504531232 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24370] ppid=24356 vsize=26643044 memory=391860 CPUtime=0 cores=0-7
/proc/24358/task/24370/stat : 24370 (java) S 24356 24356 23270 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 88493581 27282477056 111483 33554432000 4194304 4196468 140721014026960 140233503478896 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24371] ppid=24356 vsize=26643044 memory=402632 CPUtime=0 cores=0-7
/proc/24358/task/24371/stat : 24371 (java) S 24356 24356 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88493584 27282477056 111483 33554432000 4194304 4196468 140721014026960 140233502427216 140234378254235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24372] ppid=24356 vsize=26643044 memory=4140 CPUtime=1.06 cores=0-7
/proc/24358/task/24372/stat : 24372 (java) S 24356 24356 23270 0 -1 1077944384 4882 0 0 0 104 2 0 0 20 0 28 0 88493584 27282477056 111483 33554432000 4194304 4196468 140721014026960 140232511449712 140234378246786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24373] ppid=24356 vsize=26643044 memory=4140 CPUtime=0.97 cores=0-7
/proc/24358/task/24373/stat : 24373 (java) S 24356 24356 23270 0 -1 1077944384 6256 0 0 0 96 1 0 0 20 0 28 0 88493584 27282477056 111483 33554432000 4194304 4196468 140721014026960 140232510396912 140234378246786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24374] ppid=24356 vsize=26643044 memory=25780 CPUtime=0.91 cores=0-7
/proc/24358/task/24374/stat : 24374 (java) S 24356 24356 23270 0 -1 1077944384 6418 0 0 0 89 2 0 0 20 0 28 0 88493584 27282477056 111483 33554432000 4194304 4196468 140721014026960 140232509344624 140234378246786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24375] ppid=24356 vsize=26643044 memory=1796 CPUtime=0.57 cores=0-7
/proc/24358/task/24375/stat : 24375 (java) S 24356 24356 23270 0 -1 1077944384 4836 0 0 0 56 1 0 0 20 0 28 0 88493584 27282477056 111483 33554432000 4194304 4196468 140721014026960 140232508291824 140234378246786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24376] ppid=24356 vsize=26643044 memory=916 CPUtime=0 cores=0-7
/proc/24358/task/24376/stat : 24376 (java) S 24356 24356 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88493584 27282477056 111483 33554432000 4194304 4196468 140721014026960 140232507238752 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24377] ppid=24356 vsize=26643044 memory=15876 CPUtime=0.37 cores=0-7
/proc/24358/task/24377/stat : 24377 (java) S 24356 24356 23270 0 -1 1077944384 5673 0 0 0 22 15 0 0 20 0 28 0 88493584 27282477056 111483 33554432000 4194304 4196468 140721014026960 140232506186032 140234378246786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24378] ppid=24356 vsize=26643044 memory=15048 CPUtime=2317.13 cores=0-7
/proc/24358/task/24378/stat : 24378 (java) S 24356 24356 23270 0 -1 1077944384 15471 0 0 0 227616 4097 0 0 20 0 28 0 88493640 27282477056 111483 33554432000 4194304 4196468 140721014026960 140232497593280 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24379] ppid=24356 vsize=26643044 memory=0 CPUtime=2316.74 cores=0-7
/proc/24358/task/24379/stat : 24379 (java) S 24356 24356 23270 0 -1 1077944384 15581 0 0 0 226799 4875 0 0 20 0 28 0 88493641 27282477056 111483 33554432000 4194304 4196468 140721014026960 140232496541616 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24380] ppid=24356 vsize=26643044 memory=8387223549236478041 CPUtime=2341.48 cores=0-7
/proc/24358/task/24380/stat : 24380 (java) R 24356 24356 23270 0 -1 1077944384 41746 0 0 0 230672 3476 0 0 20 0 28 0 88493641 27282477056 111483 33554432000 4194304 4196468 140721014026960 140232495489232 140234378246786 0 4 0 16800975 0 0 0 -1 7 0 0 16 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24381] ppid=24356 vsize=26643044 memory=2340 CPUtime=2409 cores=0-7
/proc/24358/task/24381/stat : 24381 (java) R 24356 24356 23270 0 -1 4202560 115490 0 0 0 239579 1321 0 0 20 0 28 0 88493641 27282477056 111483 33554432000 4194304 4196468 140721014026960 140232186744912 140233993057812 0 4 0 16800975 0 0 0 -1 0 0 0 18 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24382] ppid=24356 vsize=26643044 memory=1452 CPUtime=2347.32 cores=0-7
/proc/24358/task/24382/stat : 24382 (java) R 24356 24356 23270 0 -1 4202560 120827 0 0 0 231468 3264 0 0 20 0 28 0 88493641 27282477056 111483 33554432000 4194304 4196468 140721014026960 140232185692720 140233992256698 0 4 0 16800975 0 0 0 -1 1 0 0 19 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24383] ppid=24356 vsize=26643044 memory=1452 CPUtime=2316.9 cores=0-7
/proc/24358/task/24383/stat : 24383 (java) R 24356 24356 23270 0 -1 4202560 14316 0 0 0 225857 5833 0 0 20 0 28 0 88493641 27282477056 111483 33554432000 4194304 4196468 140721014026960 140232184639920 140233993325455 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24384] ppid=24356 vsize=26643044 memory=1452 CPUtime=2328.18 cores=0-7
/proc/24358/task/24384/stat : 24384 (java) S 24356 24356 23270 0 -1 1077944384 14507 0 0 0 228543 4275 0 0 20 0 28 0 88493641 27282477056 111483 33554432000 4194304 4196468 140721014026960 140232183586608 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24385] ppid=24356 vsize=26643044 memory=450548 CPUtime=2450.47 cores=0-7
/proc/24358/task/24385/stat : 24385 (java) R 24356 24356 23270 0 -1 4202560 438759 0 0 0 244344 703 0 0 20 0 28 0 88493641 27282477056 111483 33554432000 4194304 4196468 140721014026960 140232182533808 140233993533959 0 4 0 16800975 0 0 0 -1 6 0 0 16 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
Current children cumulated CPU time: 18942.9 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 447384 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 7.68 7.55 7.61 9/207 24439
/proc/meminfo: memFree=20904792/32770624 swapFree=67108860/67108860
[pid=24356] ppid=24353 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24356/stat : 24356 (xcsp3-exec) S 24353 24356 23270 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 88493578 115843072 363 33554432000 4194304 5098028 140720834571904 140720834570008 140686866023036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29184000 140720834573366 140720834573568 140720834573568 140720834576330 0
/proc/24356/statm: 28282 363 306 221 0 87 0
[pid=24358] ppid=24356 vsize=26643044 memory=430152 CPUtime=19075.4 cores=0-7
/proc/24358/stat : 24358 (java) S 24356 24356 23270 0 -1 1077944320 1253300 0 0 0 1878921 28623 0 0 20 0 28 0 88493578 27282477056 107538 33554432000 4194304 4196468 140721014026960 140721014009504 140234378235639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
/proc/24358/statm: 6660761 107538 3432 1 0 6621955 0
[pid=24358/tid=24359] ppid=24356 vsize=26643044 memory=6791534058613427641 CPUtime=0.6 cores=0-7
/proc/24358/task/24359/stat : 24359 (java) S 24356 24356 23270 0 -1 1077944384 7093 0 0 0 56 4 0 0 20 0 28 0 88493578 27282477056 107538 33554432000 4194304 4196468 140721014026960 140234382476416 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24360] ppid=24356 vsize=26643044 memory=4872558044660077418 CPUtime=13.47 cores=0-7
/proc/24358/task/24360/stat : 24360 (java) S 24356 24356 23270 0 -1 1077944384 37738 0 0 0 1297 50 0 0 20 0 28 0 88493579 27282477056 107538 33554432000 4194304 4196468 140721014026960 140234330855824 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24361] ppid=24356 vsize=26643044 memory=1012 CPUtime=13.5 cores=0-7
/proc/24358/task/24361/stat : 24361 (java) S 24356 24356 23270 0 -1 1077944384 38046 0 0 0 1305 45 0 0 20 0 28 0 88493579 27282477056 107538 33554432000 4194304 4196468 140721014026960 140234329803024 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24362] ppid=24356 vsize=26643044 memory=1436 CPUtime=13.44 cores=0-7
/proc/24358/task/24362/stat : 24362 (java) S 24356 24356 23270 0 -1 1077944384 42677 0 0 0 1297 47 0 0 20 0 28 0 88493579 27282477056 107538 33554432000 4194304 4196468 140721014026960 140234328750736 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24363] ppid=24356 vsize=26643044 memory=1200 CPUtime=13.38 cores=0-7
/proc/24358/task/24363/stat : 24363 (java) S 24356 24356 23270 0 -1 1077944384 43918 0 0 0 1288 50 0 0 20 0 28 0 88493579 27282477056 107538 33554432000 4194304 4196468 140721014026960 140234327697936 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24364] ppid=24356 vsize=26643044 memory=15876 CPUtime=13.53 cores=0-7
/proc/24358/task/24364/stat : 24364 (java) S 24356 24356 23270 0 -1 1077944384 42162 0 0 0 1305 48 0 0 20 0 28 0 88493579 27282477056 107538 33554432000 4194304 4196468 140721014026960 140234326645648 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24365] ppid=24356 vsize=26643044 memory=6791534058613427641 CPUtime=13.38 cores=0-7
/proc/24358/task/24365/stat : 24365 (java) S 24356 24356 23270 0 -1 1077944384 45141 0 0 0 1292 46 0 0 20 0 28 0 88493579 27282477056 107538 33554432000 4194304 4196468 140721014026960 140234325592848 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24366] ppid=24356 vsize=26643044 memory=4409934944561016864 CPUtime=13.39 cores=0-7
/proc/24358/task/24366/stat : 24366 (java) S 24356 24356 23270 0 -1 1077944384 38513 0 0 0 1291 48 0 0 20 0 28 0 88493579 27282477056 107538 33554432000 4194304 4196468 140721014026960 140234324540560 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24367] ppid=24356 vsize=26643044 memory=3689487685566088694 CPUtime=13.44 cores=0-7
/proc/24358/task/24367/stat : 24367 (java) S 24356 24356 23270 0 -1 1077944384 38706 0 0 0 1296 48 0 0 20 0 28 0 88493579 27282477056 107538 33554432000 4194304 4196468 140721014026960 140234323487760 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24368] ppid=24356 vsize=26643044 memory=244778776182400 CPUtime=4.35 cores=0-7
/proc/24358/task/24368/stat : 24368 (java) S 24356 24356 23270 0 -1 1077944384 111046 0 0 0 327 108 0 0 20 0 28 0 88493580 27282477056 107538 33554432000 4194304 4196468 140721014026960 140233505585264 140234378246786 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24369] ppid=24356 vsize=26643044 memory=608946292822929190 CPUtime=0 cores=0-7
/proc/24358/task/24369/stat : 24369 (java) S 24356 24356 23270 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 88493581 27282477056 107538 33554432000 4194304 4196468 140721014026960 140233504531232 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24370] ppid=24356 vsize=26643044 memory=1857 CPUtime=0 cores=0-7
/proc/24358/task/24370/stat : 24370 (java) S 24356 24356 23270 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 88493581 27282477056 107538 33554432000 4194304 4196468 140721014026960 140233503478896 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24371] ppid=24356 vsize=26643044 memory=7100839861465685612 CPUtime=0 cores=0-7
/proc/24358/task/24371/stat : 24371 (java) S 24356 24356 23270 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88493584 27282477056 107538 33554432000 4194304 4196468 140721014026960 140233502427216 140234378254235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24372] ppid=24356 vsize=26643044 memory=-4866526899798303339 CPUtime=1.06 cores=0-7
/proc/24358/task/24372/stat : 24372 (java) S 24356 24356 23270 0 -1 1077944384 4882 0 0 0 104 2 0 0 20 0 28 0 88493584 27282477056 107538 33554432000 4194304 4196468 140721014026960 140232511449712 140234378246786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24373] ppid=24356 vsize=26643044 memory=-3621219749712857441 CPUtime=0.97 cores=0-7
/proc/24358/task/24373/stat : 24373 (java) S 24356 24356 23270 0 -1 1077944384 6256 0 0 0 96 1 0 0 20 0 28 0 88493584 27282477056 107538 33554432000 4194304 4196468 140721014026960 140232510396912 140234378246786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24374] ppid=24356 vsize=26643044 memory=-1891255765032775953 CPUtime=0.91 cores=0-7
/proc/24358/task/24374/stat : 24374 (java) S 24356 24356 23270 0 -1 1077944384 6418 0 0 0 89 2 0 0 20 0 28 0 88493584 27282477056 107538 33554432000 4194304 4196468 140721014026960 140232509344624 140234378246786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24375] ppid=24356 vsize=26643044 memory=916 CPUtime=0.57 cores=0-7
/proc/24358/task/24375/stat : 24375 (java) S 24356 24356 23270 0 -1 1077944384 4836 0 0 0 56 1 0 0 20 0 28 0 88493584 27282477056 107538 33554432000 4194304 4196468 140721014026960 140232508291824 140234378246786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24376] ppid=24356 vsize=26643044 memory=4492 CPUtime=0 cores=0-7
/proc/24358/task/24376/stat : 24376 (java) S 24356 24356 23270 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88493584 27282477056 107538 33554432000 4194304 4196468 140721014026960 140232507238752 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24377] ppid=24356 vsize=26643044 memory=4100 CPUtime=0.37 cores=0-7
/proc/24358/task/24377/stat : 24377 (java) S 24356 24356 23270 0 -1 1077944384 5675 0 0 0 22 15 0 0 20 0 28 0 88493584 27282477056 107538 33554432000 4194304 4196468 140721014026960 140232506186032 140234378246786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24378] ppid=24356 vsize=26643044 memory=1404 CPUtime=2333.26 cores=0-7
/proc/24358/task/24378/stat : 24378 (java) R 24356 24356 23270 0 -1 4202560 15491 0 0 0 229191 4135 0 0 20 0 28 0 88493640 27282477056 107538 33554432000 4194304 4196468 140721014026960 140232497593280 140233991971464 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24379] ppid=24356 vsize=26643044 memory=3840 CPUtime=2332.88 cores=0-7
/proc/24358/task/24379/stat : 24379 (java) R 24356 24356 23270 0 -1 1077944384 15605 0 0 0 228362 4926 0 0 20 0 28 0 88493641 27282477056 107538 33554432000 4194304 4196468 140721014026960 140232496541616 140234378245845 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24380] ppid=24356 vsize=26643044 memory=1452 CPUtime=2357.87 cores=0-7
/proc/24358/task/24380/stat : 24380 (java) R 24356 24356 23270 0 -1 4202560 41846 0 0 0 232280 3507 0 0 20 0 28 0 88493641 27282477056 107538 33554432000 4194304 4196468 140721014026960 140232495489328 140233993619065 0 4 0 16800975 0 0 0 -1 4 0 0 16 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24381] ppid=24356 vsize=26643044 memory=433828 CPUtime=2425.98 cores=0-7
/proc/24358/task/24381/stat : 24381 (java) R 24356 24356 23270 0 -1 4202560 115765 0 0 0 241265 1333 0 0 20 0 28 0 88493641 27282477056 107538 33554432000 4194304 4196468 140721014026960 140232186745008 140233994067414 0 4 0 16800975 0 0 0 -1 6 0 0 18 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24382] ppid=24356 vsize=26643044 memory=-7025448733113094249 CPUtime=2363.69 cores=0-7
/proc/24358/task/24382/stat : 24382 (java) R 24356 24356 23270 0 -1 4202560 121067 0 0 0 233072 3297 0 0 20 0 28 0 88493641 27282477056 107538 33554432000 4194304 4196468 140721014026960 140232185692720 140233992256463 0 4 0 16800975 0 0 0 -1 3 0 0 19 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24383] ppid=24356 vsize=26643044 memory=7893295687695689787 CPUtime=2333.03 cores=0-7
/proc/24358/task/24383/stat : 24383 (java) S 24356 24356 23270 0 -1 1077944384 14334 0 0 0 227408 5895 0 0 20 0 28 0 88493641 27282477056 107538 33554432000 4194304 4196468 140721014026960 140232184639920 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24384] ppid=24356 vsize=26643044 memory=6944656592455360608 CPUtime=2344.27 cores=0-7
/proc/24358/task/24384/stat : 24384 (java) S 24356 24356 23270 0 -1 1077944384 14516 0 0 0 230108 4319 0 0 20 0 28 0 88493641 27282477056 107538 33554432000 4194304 4196468 140721014026960 140232183586608 140234378245845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
[pid=24358/tid=24385] ppid=24356 vsize=26643044 memory=1452 CPUtime=2467.9 cores=0-7
/proc/24358/task/24385/stat : 24385 (java) R 24356 24356 23270 0 -1 4202560 440273 0 0 0 246084 706 0 0 20 0 28 0 88493641 27282477056 107538 33554432000 4194304 4196468 140721014026960 140232182533808 140233993534174 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 7979008 140721014031489 140721014031661 140721014031661 140721014034383 0
Current children cumulated CPU time: 19075.4 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 431604 KiB

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

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

[startup+2520.03 s]
# the end of solver process 24358 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=18789.3 s, system=286.241 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.03
CPU time (s): 19075.5
CPU user time (s): 18789.3
CPU system time (s): 286.241
CPU usage (%): 756.958
Max. virtual memory (cumulated for all children) (KiB): 26756172
Max. memory (cumulated for all children) (KiB): 796124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18789.3
system time used= 286.241
maximum resident set size= 795688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1254153
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 99901514
involuntary context switches= 20497


# summary of solver processes directly reported to runsolver:
#   pid: 24356,24358
#   total CPU time (s): 19075.5
#   total CPU user time (s): 18789.3
#   total CPU system time (s): 286.241

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.3154 second user time and 28.2068 second system time

The end

Launcher Data 

Begin job on node107 at 2018-07-27 18:35:04
IDJOB=4297820
IDBENCH=141234
IDSOLVER=2760
FILE ID=node107/4297820-1532709304
RUNJOBID= node107-1532704130-23297
PBS_JOBID= 21022306
Free space on /tmp= 54472 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/PseudoBoolean-dec/Pb-chnl15-16_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297820-1532709304/watcher-4297820-1532709304 -o /tmp/evaluation-result-4297820-1532709304/solver-4297820-1532709304 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1532704130-23297 --watchdog 2580  HOME/xcsp3-exec -seed 363907811 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297820-1532709304.xml

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

MD5SUM BENCH= 8b2f27ca9e664fd505b84cd8dff1749a
RANDOM SEED=363907811

node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
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.40
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.40
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.40
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:        21323968 kB
MemAvailable:   31927260 kB
Buffers:          218744 kB
Cached:         10617348 kB
SwapCached:            0 kB
Active:          4350716 kB
Inactive:        6539908 kB
Active(anon):       4120 kB
Inactive(anon):    78372 kB
Active(file):    4346596 kB
Inactive(file):  6461536 kB
Unevictable:        7164 kB
Mlocked:            7164 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             22168 kB
Writeback:             0 kB
AnonPages:         61304 kB
Mapped:            42276 kB
Shmem:             25228 kB
Slab:             249908 kB
SReclaimable:     221988 kB
SUnreclaim:        27920 kB
KernelStack:        3296 kB
PageTables:         4800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 54448 MiB
End job on node107 at 2018-07-27 19:17:04