Trace number 4393617

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 2019-06-14 parallel? (TO) 19938.5 2520.13

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-152.xml
MD5SUM95353c685d9c4a971cd57b59ef19ccd8
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark69.0695
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size513
Maximum domain size513
Distribution of domain sizes[{"size":513,"count":50}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints52
Distribution of constraint types[{"type":"intension","count":52},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393617-1568430533.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4393617-1568430533.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
1.27/0.68	c solve instance...
19937.69/2520.07	s UNKNOWN
19937.69/2520.07	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 (10779 MiB free)
  memory of node 1: 16384 MiB (15657 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393617-1568430533/watcher-4393617-1568430533 -o /tmp/evaluation-result-4393617-1568430533/solver-4393617-1568430533 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1568430493-470 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 3829761 HOME/instance-4393617-1568430533.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=487, runsolver pid=484
Current StackSize limit: 8192 KiB


[startup+0.100124 s]*
/proc/loadavg: 7.35 7.66 6.44 2/211 510
/proc/meminfo: memFree=27055060/32770624 swapFree=67021712/67108860
[pid=487] ppid=484 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/487/stat : 487 (xcsp3-exec) S 484 487 443 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419325890 115843072 364 33554432000 4194304 5098028 140724552903024 140724552901128 139674278326908 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13758464 140724552905592 140724552905833 140724552905833 140724552908746 0
/proc/487/statm: 28282 364 305 221 0 87 0
[pid=489] ppid=487 vsize=28227388 memory=28700 CPUtime=0.11 cores=0-7
/proc/489/stat : 489 (java) S 487 487 443 0 -1 1077944320 5682 0 0 0 10 1 0 0 20 0 20 0 419325890 28904845312 7175 33554432000 4194304 4196468 140722108038240 140722108020784 140226469011191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
/proc/489/statm: 7056847 7175 3118 1 0 7019032 0
[pid=489/tid=491] ppid=487 vsize=28227388 memory=8390339637985935414 CPUtime=0.08 cores=0-7
/proc/489/task/491/stat : 491 (java) R 487 487 443 0 -1 4202560 3601 0 0 0 8 0 0 0 20 0 20 0 419325891 28904845312 7241 33554432000 4194304 4196468 140722108038240 140226473244784 140226469023126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=492] ppid=487 vsize=28227388 memory=288230604707987479 CPUtime=0 cores=0-7
/proc/489/task/492/stat : 492 (java) S 487 487 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419325891 28904845312 7241 33554432000 4194304 4196468 140722108038240 140226388864016 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=493] ppid=487 vsize=28227388 memory=139845371307270 CPUtime=0 cores=0-7
/proc/489/task/493/stat : 493 (java) S 487 487 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419325891 28904845312 7241 33554432000 4194304 4196468 140722108038240 140226019318928 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=494] ppid=487 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/489/task/494/stat : 494 (java) S 487 487 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419325891 28904845312 7241 33554432000 4194304 4196468 140722108038240 140226018265872 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=495] ppid=487 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/489/task/495/stat : 495 (java) S 487 487 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419325891 28904845312 7241 33554432000 4194304 4196468 140722108038240 140226017213328 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=496] ppid=487 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/489/task/496/stat : 496 (java) S 487 487 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325891 28904845312 7241 33554432000 4194304 4196468 140722108038240 140226016160272 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=497] ppid=487 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/489/task/497/stat : 497 (java) S 487 487 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419325891 28904845312 7241 33554432000 4194304 4196468 140722108038240 140226015107728 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=498] ppid=487 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/489/task/498/stat : 498 (java) S 487 487 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419325892 28904845312 7241 33554432000 4194304 4196468 140722108038240 140226014054672 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=499] ppid=487 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/489/task/499/stat : 499 (java) S 487 487 443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419325892 28904845312 7241 33554432000 4194304 4196468 140722108038240 140226013002128 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=500] ppid=487 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/489/task/500/stat : 500 (java) S 487 487 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419325893 28904845312 7241 33554432000 4194304 4196468 140722108038240 140225134480112 140226469022338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=501] ppid=487 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/489/task/501/stat : 501 (java) S 487 487 443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419325893 28904845312 7241 33554432000 4194304 4196468 140722108038240 140225133426336 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=502] ppid=487 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/489/task/502/stat : 502 (java) S 487 487 443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419325894 28904845312 7241 33554432000 4194304 4196468 140722108038240 140225132373232 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=503] ppid=487 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/489/task/503/stat : 503 (java) S 487 487 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325896 28904845312 7241 33554432000 4194304 4196468 140722108038240 140225131321808 140226469029787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=504] ppid=487 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/489/task/504/stat : 504 (java) S 487 487 443 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 419325896 28904845312 7241 33554432000 4194304 4196468 140722108038240 140225130268912 140226469022338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=505] ppid=487 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/489/task/505/stat : 505 (java) S 487 487 443 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 419325896 28904845312 7241 33554432000 4194304 4196468 140722108038240 140225129216368 140226469022338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=506] ppid=487 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/489/task/506/stat : 506 (java) S 487 487 443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419325896 28904845312 7241 33554432000 4194304 4196468 140722108038240 140225128163312 140226469022338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=507] ppid=487 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/489/task/507/stat : 507 (java) R 487 487 443 0 -1 4202560 356 0 0 0 2 0 0 0 20 0 20 0 419325896 28904845312 7241 33554432000 4194304 4196468 140722108038240 140225127110768 140226469032538 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=508] ppid=487 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/489/task/508/stat : 508 (java) S 487 487 443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419325896 28904845312 7241 33554432000 4194304 4196468 140722108038240 140225126058976 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=510] ppid=487 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/489/task/510/stat : 510 (java) S 487 487 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325896 28904845312 7241 33554432000 4194304 4196468 140722108038240 140225125006512 140226469022338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30156 KiB

[startup+0.210131 s]*
/proc/loadavg: 7.35 7.66 6.44 3/211 510
/proc/meminfo: memFree=27042484/32770624 swapFree=67021712/67108860
[pid=487] ppid=484 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/487/stat : 487 (xcsp3-exec) S 484 487 443 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419325890 115843072 364 33554432000 4194304 5098028 140724552903024 140724552901128 139674278326908 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13758464 140724552905592 140724552905833 140724552905833 140724552908746 0
/proc/487/statm: 28282 364 305 221 0 87 0
[pid=489] ppid=487 vsize=28227388 memory=40988 CPUtime=0.33 cores=0-7
/proc/489/stat : 489 (java) S 487 487 443 0 -1 1077944320 9505 0 0 0 30 3 0 0 20 0 20 0 419325890 28904845312 10247 33554432000 4194304 4196468 140722108038240 140722108020784 140226469011191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
/proc/489/statm: 7056847 10247 3297 1 0 7019032 0
[pid=489/tid=491] ppid=487 vsize=28227388 memory=8390339637985935414 CPUtime=0.2 cores=0-7
/proc/489/task/491/stat : 491 (java) R 487 487 443 0 -1 4202560 6610 0 0 0 18 2 0 0 20 0 20 0 419325891 28904845312 10247 33554432000 4194304 4196468 140722108038240 140226473242624 140226068512832 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=492] ppid=487 vsize=28227388 memory=288230604707987479 CPUtime=0 cores=0-7
/proc/489/task/492/stat : 492 (java) S 487 487 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419325891 28904845312 10247 33554432000 4194304 4196468 140722108038240 140226388864016 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=493] ppid=487 vsize=28227388 memory=139845371307270 CPUtime=0 cores=0-7
/proc/489/task/493/stat : 493 (java) S 487 487 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419325891 28904845312 10247 33554432000 4194304 4196468 140722108038240 140226019318928 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=494] ppid=487 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/489/task/494/stat : 494 (java) S 487 487 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419325891 28904845312 10247 33554432000 4194304 4196468 140722108038240 140226018265872 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=495] ppid=487 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/489/task/495/stat : 495 (java) S 487 487 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419325891 28904845312 10247 33554432000 4194304 4196468 140722108038240 140226017213328 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=496] ppid=487 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/489/task/496/stat : 496 (java) S 487 487 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325891 28904845312 10247 33554432000 4194304 4196468 140722108038240 140226016160272 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=497] ppid=487 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/489/task/497/stat : 497 (java) S 487 487 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419325891 28904845312 10247 33554432000 4194304 4196468 140722108038240 140226015107728 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=498] ppid=487 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/489/task/498/stat : 498 (java) S 487 487 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419325892 28904845312 10247 33554432000 4194304 4196468 140722108038240 140226014054672 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=499] ppid=487 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/489/task/499/stat : 499 (java) S 487 487 443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419325892 28904845312 10247 33554432000 4194304 4196468 140722108038240 140226013002128 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=500] ppid=487 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/489/task/500/stat : 500 (java) S 487 487 443 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419325893 28904845312 10247 33554432000 4194304 4196468 140722108038240 140225134480112 140226469022338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=501] ppid=487 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/489/task/501/stat : 501 (java) S 487 487 443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419325893 28904845312 10247 33554432000 4194304 4196468 140722108038240 140225133426336 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=502] ppid=487 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/489/task/502/stat : 502 (java) S 487 487 443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419325894 28904845312 10247 33554432000 4194304 4196468 140722108038240 140225132373232 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=503] ppid=487 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/489/task/503/stat : 503 (java) S 487 487 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325896 28904845312 10247 33554432000 4194304 4196468 140722108038240 140225131321808 140226469029787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=504] ppid=487 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/489/task/504/stat : 504 (java) S 487 487 443 0 -1 1077944384 581 0 0 0 1 0 0 0 20 0 20 0 419325896 28904845312 10247 33554432000 4194304 4196468 140722108038240 140225130268912 140226469022338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=505] ppid=487 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/489/task/505/stat : 505 (java) S 487 487 443 0 -1 1077944384 217 0 0 0 2 0 0 0 20 0 20 0 419325896 28904845312 10247 33554432000 4194304 4196468 140722108038240 140225129216368 140226469022338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=506] ppid=487 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/489/task/506/stat : 506 (java) S 487 487 443 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 20 0 419325896 28904845312 10247 33554432000 4194304 4196468 140722108038240 140225128163312 140226469022338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=507] ppid=487 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7
/proc/489/task/507/stat : 507 (java) R 487 487 443 0 -1 4202560 736 0 0 0 7 0 0 0 20 0 20 0 419325896 28904845312 10247 33554432000 4194304 4196468 140722108038240 140225127110576 140226447961083 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=508] ppid=487 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/489/task/508/stat : 508 (java) S 487 487 443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419325896 28904845312 10247 33554432000 4194304 4196468 140722108038240 140225126058976 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=510] ppid=487 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/489/task/510/stat : 510 (java) S 487 487 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325896 28904845312 10247 33554432000 4194304 4196468 140722108038240 140225125006512 140226469022338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42444 KiB

[startup+0.309507 s]*
/proc/loadavg: 7.35 7.66 6.44 4/211 510
/proc/meminfo: memFree=27035472/32770624 swapFree=67021712/67108860
[pid=487] ppid=484 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/487/stat : 487 (xcsp3-exec) S 484 487 443 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419325890 115843072 364 33554432000 4194304 5098028 140724552903024 140724552901128 139674278326908 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13758464 140724552905592 140724552905833 140724552905833 140724552908746 0
/proc/487/statm: 28282 364 305 221 0 87 0
[pid=489] ppid=487 vsize=28231644 memory=50096 CPUtime=0.51 cores=0-7
/proc/489/stat : 489 (java) S 487 487 443 0 -1 1077944320 10827 0 0 0 48 3 0 0 20 0 20 0 419325890 28909203456 12524 33554432000 4194304 4196468 140722108038240 140722108020784 140226469011191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
/proc/489/statm: 7057911 12524 3370 1 0 7019032 0
[pid=489/tid=491] ppid=487 vsize=28231644 memory=1398720917958146503 CPUtime=0.29 cores=0-7
/proc/489/task/491/stat : 491 (java) R 487 487 443 0 -1 4202560 7763 0 0 0 27 2 0 0 20 0 20 0 419325891 28909203456 12555 33554432000 4194304 4196468 140722108038240 140226473239392 140226453091678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=492] ppid=487 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/489/task/492/stat : 492 (java) S 487 487 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419325891 28909203456 12555 33554432000 4194304 4196468 140722108038240 140226388864016 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=493] ppid=487 vsize=28231644 memory=139845371053717 CPUtime=0 cores=0-7
/proc/489/task/493/stat : 493 (java) S 487 487 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419325891 28909203456 12555 33554432000 4194304 4196468 140722108038240 140226019318928 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=494] ppid=487 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/489/task/494/stat : 494 (java) S 487 487 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419325891 28909203456 12555 33554432000 4194304 4196468 140722108038240 140226018265872 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=495] ppid=487 vsize=28231644 memory=2240 CPUtime=0 cores=0-7
/proc/489/task/495/stat : 495 (java) S 487 487 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419325891 28909203456 12555 33554432000 4194304 4196468 140722108038240 140226017213328 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=496] ppid=487 vsize=28231644 memory=2241 CPUtime=0 cores=0-7
/proc/489/task/496/stat : 496 (java) S 487 487 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325891 28909203456 12555 33554432000 4194304 4196468 140722108038240 140226016160272 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=497] ppid=487 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/489/task/497/stat : 497 (java) S 487 487 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419325891 28909203456 12555 33554432000 4194304 4196468 140722108038240 140226015107728 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=498] ppid=487 vsize=28231644 memory=279690418003488 CPUtime=0 cores=0-7
/proc/489/task/498/stat : 498 (java) S 487 487 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419325892 28909203456 12555 33554432000 4194304 4196468 140722108038240 140226014054672 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=499] ppid=487 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/489/task/499/stat : 499 (java) S 487 487 443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419325892 28909203456 12555 33554432000 4194304 4196468 140722108038240 140226013002128 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=500] ppid=487 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/489/task/500/stat : 500 (java) S 487 487 443 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419325893 28909203456 12555 33554432000 4194304 4196468 140722108038240 140225134480112 140226469022338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=501] ppid=487 vsize=28231644 memory=2253 CPUtime=0 cores=0-7
/proc/489/task/501/stat : 501 (java) S 487 487 443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419325893 28909203456 12555 33554432000 4194304 4196468 140722108038240 140225133426336 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=502] ppid=487 vsize=28231644 memory=1086 CPUtime=0 cores=0-7
/proc/489/task/502/stat : 502 (java) S 487 487 443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419325894 28909203456 12555 33554432000 4194304 4196468 140722108038240 140225132373232 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=503] ppid=487 vsize=28231644 memory=233 CPUtime=0 cores=0-7
/proc/489/task/503/stat : 503 (java) S 487 487 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325896 28909203456 12555 33554432000 4194304 4196468 140722108038240 140225131321808 140226469029787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=504] ppid=487 vsize=28231644 memory=672 CPUtime=0.02 cores=0-7
/proc/489/task/504/stat : 504 (java) S 487 487 443 0 -1 1077944384 595 0 0 0 2 0 0 0 20 0 20 0 419325896 28909203456 12555 33554432000 4194304 4196468 140722108038240 140225130268912 140226469022338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=505] ppid=487 vsize=28231644 memory=2 CPUtime=0.03 cores=0-7
/proc/489/task/505/stat : 505 (java) S 487 487 443 0 -1 1077944384 224 0 0 0 3 0 0 0 20 0 20 0 419325896 28909203456 12555 33554432000 4194304 4196468 140722108038240 140225129216368 140226469022338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=506] ppid=487 vsize=28231644 memory=340 CPUtime=0.03 cores=0-7
/proc/489/task/506/stat : 506 (java) R 487 487 443 0 -1 4202560 165 0 0 0 3 0 0 0 20 0 20 0 419325896 28909203456 12555 33554432000 4194304 4196468 140722108038240 140225128144328 140226448259124 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=507] ppid=487 vsize=28231644 memory=241693 CPUtime=0.12 cores=0-7
/proc/489/task/507/stat : 507 (java) S 487 487 443 0 -1 1077944384 814 0 0 0 12 0 0 0 20 0 20 0 419325896 28909203456 12555 33554432000 4194304 4196468 140722108038240 140225127110768 140226469022338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=508] ppid=487 vsize=28231644 memory=3467825727391412274 CPUtime=0 cores=0-7
/proc/489/task/508/stat : 508 (java) S 487 487 443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419325896 28909203456 12555 33554432000 4194304 4196468 140722108038240 140225126058976 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=510] ppid=487 vsize=28231644 memory=3472895575524712495 CPUtime=0 cores=0-7
/proc/489/task/510/stat : 510 (java) S 487 487 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419325896 28909203456 12555 33554432000 4194304 4196468 140722108038240 140225125006512 140226469022338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51552 KiB

[startup+0.70097 s]
/proc/loadavg: 7.35 7.66 6.44 4/211 510
/proc/meminfo: memFree=27021008/32770624 swapFree=67021712/67108860
[pid=487] ppid=484 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/487/stat : 487 (xcsp3-exec) S 484 487 443 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419325890 115843072 364 33554432000 4194304 5098028 140724552903024 140724552901128 139674278326908 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13758464 140724552905592 140724552905833 140724552905833 140724552908746 0
/proc/487/statm: 28282 364 305 221 0 87 0
[pid=489] ppid=487 vsize=28233768 memory=81544 CPUtime=1.52 cores=0-7
/proc/489/stat : 489 (java) S 487 487 443 0 -1 1077944320 14623 0 0 0 145 7 0 0 20 0 20 0 419325890 28911378432 20386 33554432000 4194304 4196468 140722108038240 140722108020784 140226469011191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
/proc/489/statm: 7058442 20386 3450 1 0 7019544 0
[pid=489/tid=491] ppid=487 vsize=28233768 memory=4580 CPUtime=0.68 cores=0-7
/proc/489/task/491/stat : 491 (java) R 487 487 443 0 -1 4202560 9447 0 0 0 64 4 0 0 20 0 20 0 419325891 28911378432 20386 33554432000 4194304 4196468 140722108038240 140226473250656 140226453091678 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=492] ppid=487 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/489/task/492/stat : 492 (java) S 487 487 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419325891 28911378432 20386 33554432000 4194304 4196468 140722108038240 140226388864016 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=493] ppid=487 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/489/task/493/stat : 493 (java) S 487 487 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419325891 28911378432 20386 33554432000 4194304 4196468 140722108038240 140226019318928 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=494] ppid=487 vsize=28233768 memory=916 CPUtime=0 cores=0-7
/proc/489/task/494/stat : 494 (java) S 487 487 443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419325891 28911378432 20386 33554432000 4194304 4196468 140722108038240 140226018265872 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0

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

[pid=489/tid=518] ppid=487 vsize=28768328 memory=1456 CPUtime=2393.97 cores=0-7
/proc/489/task/518/stat : 518 (java) R 487 487 443 0 -1 4202560 447468 0 0 0 239173 224 0 0 20 0 28 0 419325961 29458767872 510152 33554432000 4194304 4196468 140722108038240 140225040850320 140226079193233 0 4 0 16800975 0 0 0 -1 5 0 0 18 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
Current children cumulated CPU time: 19322.9 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 2042064 KiB

[startup+2502.3 s]
/proc/loadavg: 8.06 8.30 8.18 9/219 732
/proc/meminfo: memFree=25042184/32770624 swapFree=67021776/67108860
[pid=487] ppid=484 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/487/stat : 487 (xcsp3-exec) S 484 487 443 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419325890 115843072 364 33554432000 4194304 5098028 140724552903024 140724552901128 139674278326908 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13758464 140724552905592 140724552905833 140724552905833 140724552908746 0
/proc/487/statm: 28282 364 305 221 0 87 0
[pid=489] ppid=487 vsize=28768328 memory=2035872 CPUtime=19797.7 cores=0-7
/proc/489/stat : 489 (java) S 487 487 443 0 -1 1077944320 1824980 0 0 0 1977265 2500 0 0 20 0 28 0 419325890 29458767872 508968 33554432000 4194304 4196468 140722108038240 140722108020784 140226469011191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
/proc/489/statm: 7192082 508968 3543 1 0 7153184 0
[pid=489/tid=491] ppid=487 vsize=28768328 memory=2036384 CPUtime=0.68 cores=0-7
/proc/489/task/491/stat : 491 (java) S 487 487 443 0 -1 1077944384 9465 0 0 0 64 4 0 0 20 0 28 0 419325891 29458767872 508968 33554432000 4194304 4196468 140722108038240 140226473251968 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=492] ppid=487 vsize=28768328 memory=2035872 CPUtime=12.77 cores=0-7
/proc/489/task/492/stat : 492 (java) S 487 487 443 0 -1 1077944384 43804 0 0 0 1200 77 0 0 20 0 28 0 419325891 29458767872 508968 33554432000 4194304 4196468 140722108038240 140226388864016 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=493] ppid=487 vsize=28768328 memory=2035872 CPUtime=12.75 cores=0-7
/proc/489/task/493/stat : 493 (java) S 487 487 443 0 -1 1077944384 40726 0 0 0 1195 80 0 0 20 0 28 0 419325891 29458767872 508968 33554432000 4194304 4196468 140722108038240 140226019318928 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=494] ppid=487 vsize=28768328 memory=1456 CPUtime=12.71 cores=0-7
/proc/489/task/494/stat : 494 (java) S 487 487 443 0 -1 1077944384 46200 0 0 0 1197 74 0 0 20 0 28 0 419325891 29458767872 508968 33554432000 4194304 4196468 140722108038240 140226018265872 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=495] ppid=487 vsize=28768328 memory=0 CPUtime=12.79 cores=0-7
/proc/489/task/495/stat : 495 (java) S 487 487 443 0 -1 1077944384 44654 0 0 0 1206 73 0 0 20 0 28 0 419325891 29458767872 508968 33554432000 4194304 4196468 140722108038240 140226017213328 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=496] ppid=487 vsize=28768328 memory=4120 CPUtime=12.74 cores=0-7
/proc/489/task/496/stat : 496 (java) S 487 487 443 0 -1 1077944384 45404 0 0 0 1202 72 0 0 20 0 28 0 419325891 29458767872 508968 33554432000 4194304 4196468 140722108038240 140226016160272 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=497] ppid=487 vsize=28768328 memory=23636 CPUtime=12.71 cores=0-7
/proc/489/task/497/stat : 497 (java) S 487 487 443 0 -1 1077944384 36840 0 0 0 1196 75 0 0 20 0 28 0 419325891 29458767872 508968 33554432000 4194304 4196468 140722108038240 140226015107728 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=498] ppid=487 vsize=28768328 memory=1296 CPUtime=12.61 cores=0-7
/proc/489/task/498/stat : 498 (java) S 487 487 443 0 -1 1077944384 41016 0 0 0 1190 71 0 0 20 0 28 0 419325892 29458767872 508968 33554432000 4194304 4196468 140722108038240 140226014054672 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=499] ppid=487 vsize=28768328 memory=3824 CPUtime=12.67 cores=0-7
/proc/489/task/499/stat : 499 (java) S 487 487 443 0 -1 1077944384 48223 0 0 0 1191 76 0 0 20 0 28 0 419325892 29458767872 508968 33554432000 4194304 4196468 140722108038240 140226013002128 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=500] ppid=487 vsize=28768328 memory=1384 CPUtime=20.74 cores=0-7
/proc/489/task/500/stat : 500 (java) S 487 487 443 0 -1 1077944384 143247 0 0 0 863 1211 0 0 20 0 28 0 419325893 29458767872 508968 33554432000 4194304 4196468 140722108038240 140225134480112 140226469022338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=501] ppid=487 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/489/task/501/stat : 501 (java) S 487 487 443 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 419325893 29458767872 508968 33554432000 4194304 4196468 140722108038240 140225133426400 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=502] ppid=487 vsize=28768328 memory=2037408 CPUtime=0 cores=0-7
/proc/489/task/502/stat : 502 (java) S 487 487 443 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 28 0 419325894 29458767872 508968 33554432000 4194304 4196468 140722108038240 140225132373248 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=503] ppid=487 vsize=28768328 memory=23636 CPUtime=0 cores=0-7
/proc/489/task/503/stat : 503 (java) S 487 487 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419325896 29458767872 508968 33554432000 4194304 4196468 140722108038240 140225131321808 140226469029787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=504] ppid=487 vsize=28768328 memory=1456 CPUtime=4.07 cores=0-7
/proc/489/task/504/stat : 504 (java) S 487 487 443 0 -1 1077944384 32231 0 0 0 401 6 0 0 20 0 28 0 419325896 29458767872 508968 33554432000 4194304 4196468 140722108038240 140225130268912 140226469022338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=505] ppid=487 vsize=28768328 memory=1456 CPUtime=4.46 cores=0-7
/proc/489/task/505/stat : 505 (java) S 487 487 443 0 -1 1077944384 26107 0 0 0 441 5 0 0 20 0 28 0 419325896 29458767872 508968 33554432000 4194304 4196468 140722108038240 140225129216368 140226469022338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=506] ppid=487 vsize=28768328 memory=2035872 CPUtime=4.52 cores=0-7
/proc/489/task/506/stat : 506 (java) S 487 487 443 0 -1 1077944384 28584 0 0 0 446 6 0 0 20 0 28 0 419325896 29458767872 508968 33554432000 4194304 4196468 140722108038240 140225128163312 140226469022338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=507] ppid=487 vsize=28768328 memory=2037408 CPUtime=1.15 cores=0-7
/proc/489/task/507/stat : 507 (java) S 487 487 443 0 -1 1077944384 23200 0 0 0 108 7 0 0 20 0 28 0 419325896 29458767872 508968 33554432000 4194304 4196468 140722108038240 140225127110768 140226469022338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=508] ppid=487 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/489/task/508/stat : 508 (java) S 487 487 443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419325896 29458767872 508968 33554432000 4194304 4196468 140722108038240 140225126058976 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=510] ppid=487 vsize=28768328 memory=2037708 CPUtime=0.73 cores=0-7
/proc/489/task/510/stat : 510 (java) S 487 487 443 0 -1 1077944384 6283 0 0 0 0 73 0 0 20 0 28 0 419325896 29458767872 508968 33554432000 4194304 4196468 140722108038240 140225125006512 140226469022338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=511] ppid=487 vsize=28768328 memory=1804 CPUtime=2454.34 cores=0-7
/proc/489/task/511/stat : 511 (java) R 487 487 443 0 -1 4202560 67966 0 0 0 245371 63 0 0 20 0 28 0 419325960 29458767872 508968 33554432000 4194304 4196468 140722108038240 140225115794952 140226454221180 0 4 0 16800975 0 0 0 -1 4 0 0 18 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=512] ppid=487 vsize=28768328 memory=916 CPUtime=2459.14 cores=0-7
/proc/489/task/512/stat : 512 (java) R 487 487 443 0 -1 4202560 62250 0 0 0 245871 43 0 0 20 0 28 0 419325961 29458767872 508968 33554432000 4194304 4196468 140722108038240 140225114746064 140226076178713 0 4 0 16800975 0 0 0 -1 3 0 0 19 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=513] ppid=487 vsize=28768328 memory=3908 CPUtime=2454.01 cores=0-7
/proc/489/task/513/stat : 513 (java) R 487 487 443 0 -1 4202560 288814 0 0 0 245276 125 0 0 20 0 28 0 419325961 29458767872 508968 33554432000 4194304 4196468 140722108038240 140225113689928 140226078120650 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=514] ppid=487 vsize=28768328 memory=1456 CPUtime=2467.54 cores=0-7
/proc/489/task/514/stat : 514 (java) R 487 487 443 0 -1 4202560 54620 0 0 0 246699 55 0 0 20 0 28 0 419325961 29458767872 508968 33554432000 4194304 4196468 140722108038240 140225045057456 140226079193291 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=515] ppid=487 vsize=28768328 memory=2013228 CPUtime=2454.33 cores=0-7
/proc/489/task/515/stat : 515 (java) R 487 487 443 0 -1 4202560 62409 0 0 0 245397 36 0 0 20 0 28 0 419325961 29458767872 508968 33554432000 4194304 4196468 140722108038240 140225044004680 140226077706884 0 4 0 16800975 0 0 0 -1 2 0 0 20 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=516] ppid=487 vsize=28768328 memory=2017332 CPUtime=2457.16 cores=0-7
/proc/489/task/516/stat : 516 (java) R 487 487 443 0 -1 4202560 150739 0 0 0 245623 93 0 0 20 0 28 0 419325961 29458767872 508968 33554432000 4194304 4196468 140722108038240 140225042952104 140226078404030 0 4 0 16800975 0 0 0 -1 0 0 0 20 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=517] ppid=487 vsize=28768328 memory=1456 CPUtime=2459.91 cores=0-7
/proc/489/task/517/stat : 517 (java) R 487 487 443 0 -1 4202560 69256 0 0 0 245944 47 0 0 20 0 28 0 419325961 29458767872 508968 33554432000 4194304 4196468 140722108038240 140225041900072 140226075054369 0 4 0 16800975 0 0 0 -1 5 0 0 22 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=518] ppid=487 vsize=28768328 memory=2036384 CPUtime=2452.92 cores=0-7
/proc/489/task/518/stat : 518 (java) R 487 487 443 0 -1 4202560 451549 0 0 0 245064 228 0 0 20 0 28 0 419325961 29458767872 508968 33554432000 4194304 4196468 140722108038240 140225040847656 140226075273041 0 4 0 16800975 0 0 0 -1 6 0 0 18 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
Current children cumulated CPU time: 19797.7 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 2037328 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.05 8.29 8.18 9/221 743
/proc/meminfo: memFree=25124724/32770624 swapFree=67021784/67108860
[pid=487] ppid=484 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/487/stat : 487 (xcsp3-exec) S 484 487 443 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419325890 115843072 364 33554432000 4194304 5098028 140724552903024 140724552901128 139674278326908 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13758464 140724552905592 140724552905833 140724552905833 140724552908746 0
/proc/487/statm: 28282 364 305 221 0 87 0
[pid=489] ppid=487 vsize=28768328 memory=1953792 CPUtime=19937.7 cores=0-7
/proc/489/stat : 489 (java) S 487 487 443 0 -1 1077944320 1835239 0 0 0 1991249 2520 0 0 20 0 28 0 419325890 29458767872 488448 33554432000 4194304 4196468 140722108038240 140722108020784 140226469011191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
/proc/489/statm: 7192082 488448 3543 1 0 7153184 0
[pid=489/tid=491] ppid=487 vsize=28768328 memory=1398720917958146503 CPUtime=0.68 cores=0-7
/proc/489/task/491/stat : 491 (java) S 487 487 443 0 -1 1077944384 9465 0 0 0 64 4 0 0 20 0 28 0 419325891 29458767872 488448 33554432000 4194304 4196468 140722108038240 140226473251968 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=492] ppid=487 vsize=28768328 memory=4126316290023845779 CPUtime=12.81 cores=0-7
/proc/489/task/492/stat : 492 (java) S 487 487 443 0 -1 1077944384 44533 0 0 0 1204 77 0 0 20 0 28 0 419325891 29458767872 488448 33554432000 4194304 4196468 140722108038240 140226388864016 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=493] ppid=487 vsize=28768328 memory=3908 CPUtime=12.8 cores=0-7
/proc/489/task/493/stat : 493 (java) S 487 487 443 0 -1 1077944384 40803 0 0 0 1200 80 0 0 20 0 28 0 419325891 29458767872 488448 33554432000 4194304 4196468 140722108038240 140226019318928 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=494] ppid=487 vsize=28768328 memory=1408 CPUtime=12.76 cores=0-7
/proc/489/task/494/stat : 494 (java) S 487 487 443 0 -1 1077944384 46287 0 0 0 1202 74 0 0 20 0 28 0 419325891 29458767872 488448 33554432000 4194304 4196468 140722108038240 140226018265872 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=495] ppid=487 vsize=28768328 memory=3756 CPUtime=12.83 cores=0-7
/proc/489/task/495/stat : 495 (java) S 487 487 443 0 -1 1077944384 45093 0 0 0 1210 73 0 0 20 0 28 0 419325891 29458767872 488448 33554432000 4194304 4196468 140722108038240 140226017213328 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=496] ppid=487 vsize=28768328 memory=6947385649911455296 CPUtime=12.79 cores=0-7
/proc/489/task/496/stat : 496 (java) S 487 487 443 0 -1 1077944384 45513 0 0 0 1206 73 0 0 20 0 28 0 419325891 29458767872 488448 33554432000 4194304 4196468 140722108038240 140226016160272 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=497] ppid=487 vsize=28768328 memory=246536 CPUtime=12.75 cores=0-7
/proc/489/task/497/stat : 497 (java) S 487 487 443 0 -1 1077944384 37417 0 0 0 1200 75 0 0 20 0 28 0 419325891 29458767872 488448 33554432000 4194304 4196468 140722108038240 140226015107728 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=498] ppid=487 vsize=28768328 memory=1275 CPUtime=12.66 cores=0-7
/proc/489/task/498/stat : 498 (java) S 487 487 443 0 -1 1077944384 41591 0 0 0 1195 71 0 0 20 0 28 0 419325892 29458767872 488448 33554432000 4194304 4196468 140722108038240 140226014054672 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=499] ppid=487 vsize=28768328 memory=1272 CPUtime=12.71 cores=0-7
/proc/489/task/499/stat : 499 (java) S 487 487 443 0 -1 1077944384 48502 0 0 0 1195 76 0 0 20 0 28 0 419325892 29458767872 488448 33554432000 4194304 4196468 140722108038240 140226013002128 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=500] ppid=487 vsize=28768328 memory=1263 CPUtime=20.93 cores=0-7
/proc/489/task/500/stat : 500 (java) S 487 487 443 0 -1 1077944384 143807 0 0 0 871 1222 0 0 20 0 28 0 419325893 29458767872 488448 33554432000 4194304 4196468 140722108038240 140225134480112 140226469022338 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=501] ppid=487 vsize=28768328 memory=1268 CPUtime=0 cores=0-7
/proc/489/task/501/stat : 501 (java) S 487 487 443 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 419325893 29458767872 488448 33554432000 4194304 4196468 140722108038240 140225133426400 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=502] ppid=487 vsize=28768328 memory=2077 CPUtime=0 cores=0-7
/proc/489/task/502/stat : 502 (java) S 487 487 443 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 28 0 419325894 29458767872 488448 33554432000 4194304 4196468 140722108038240 140225132373248 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=503] ppid=487 vsize=28768328 memory=1274 CPUtime=0 cores=0-7
/proc/489/task/503/stat : 503 (java) S 487 487 443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419325896 29458767872 488448 33554432000 4194304 4196468 140722108038240 140225131321808 140226469029787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=504] ppid=487 vsize=28768328 memory=1456 CPUtime=4.07 cores=0-7
/proc/489/task/504/stat : 504 (java) S 487 487 443 0 -1 1077944384 32231 0 0 0 401 6 0 0 20 0 28 0 419325896 29458767872 488448 33554432000 4194304 4196468 140722108038240 140225130268912 140226469022338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=505] ppid=487 vsize=28768328 memory=1978928 CPUtime=4.46 cores=0-7
/proc/489/task/505/stat : 505 (java) S 487 487 443 0 -1 1077944384 26107 0 0 0 441 5 0 0 20 0 28 0 419325896 29458767872 488448 33554432000 4194304 4196468 140722108038240 140225129216368 140226469022338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=506] ppid=487 vsize=28768328 memory=1844 CPUtime=4.52 cores=0-7
/proc/489/task/506/stat : 506 (java) S 487 487 443 0 -1 1077944384 28584 0 0 0 446 6 0 0 20 0 28 0 419325896 29458767872 488448 33554432000 4194304 4196468 140722108038240 140225128163312 140226469022338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=507] ppid=487 vsize=28768328 memory=4964 CPUtime=1.15 cores=0-7
/proc/489/task/507/stat : 507 (java) S 487 487 443 0 -1 1077944384 23200 0 0 0 108 7 0 0 20 0 28 0 419325896 29458767872 488448 33554432000 4194304 4196468 140722108038240 140225127110768 140226469022338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=508] ppid=487 vsize=28768328 memory=10092 CPUtime=0 cores=0-7
/proc/489/task/508/stat : 508 (java) S 487 487 443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419325896 29458767872 488448 33554432000 4194304 4196468 140722108038240 140225126058976 140226469021397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=510] ppid=487 vsize=28768328 memory=1908 CPUtime=0.74 cores=0-7
/proc/489/task/510/stat : 510 (java) S 487 487 443 0 -1 1077944384 6325 0 0 0 0 74 0 0 20 0 28 0 419325896 29458767872 488448 33554432000 4194304 4196468 140722108038240 140225125006512 140226469022338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=511] ppid=487 vsize=28768328 memory=1360 CPUtime=2471.81 cores=0-7
/proc/489/task/511/stat : 511 (java) R 487 487 443 0 -1 4202560 68193 0 0 0 247117 64 0 0 20 0 28 0 419325960 29458767872 488448 33554432000 4194304 4196468 140722108038240 140225115794840 140226076990616 0 4 0 16800975 0 0 0 -1 0 0 0 18 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=512] ppid=487 vsize=28768328 memory=1456 CPUtime=2476.55 cores=0-7
/proc/489/task/512/stat : 512 (java) R 487 487 443 0 -1 4202560 62509 0 0 0 247611 44 0 0 20 0 28 0 419325961 29458767872 488448 33554432000 4194304 4196468 140722108038240 140225114743208 140226077706986 0 4 0 16800975 0 0 0 -1 1 0 0 19 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=513] ppid=487 vsize=28768328 memory=0 CPUtime=2471.3 cores=0-7
/proc/489/task/513/stat : 513 (java) R 487 487 443 0 -1 4202560 289417 0 0 0 247005 125 0 0 20 0 28 0 419325961 29458767872 488448 33554432000 4194304 4196468 140722108038240 140225113689944 140226072088015 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=514] ppid=487 vsize=28768328 memory=6943526294502006880 CPUtime=2485.04 cores=0-7
/proc/489/task/514/stat : 514 (java) R 487 487 443 0 -1 4202560 54704 0 0 0 248449 55 0 0 20 0 28 0 419325961 29458767872 488448 33554432000 4194304 4196468 140722108038240 140225045057456 140226079193303 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=515] ppid=487 vsize=28768328 memory=6944656592455359580 CPUtime=2471.8 cores=0-7
/proc/489/task/515/stat : 515 (java) R 487 487 443 0 -1 4202560 62554 0 0 0 247144 36 0 0 20 0 28 0 419325961 29458767872 488448 33554432000 4194304 4196468 140722108038240 140225044004536 140226076013836 0 4 0 16800975 0 0 0 -1 5 0 0 20 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=516] ppid=487 vsize=28768328 memory=6656426216303648864 CPUtime=2474.62 cores=0-7
/proc/489/task/516/stat : 516 (java) R 487 487 443 0 -1 4202560 151085 0 0 0 247369 93 0 0 20 0 28 0 419325961 29458767872 488448 33554432000 4194304 4196468 140722108038240 140225042951784 140226078402100 0 4 0 16800975 0 0 0 -1 6 0 0 20 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=517] ppid=487 vsize=28768328 memory=6944656592455097440 CPUtime=2477.38 cores=0-7
/proc/489/task/517/stat : 517 (java) R 487 487 443 0 -1 4202560 69579 0 0 0 247691 47 0 0 20 0 28 0 419325961 29458767872 488448 33554432000 4194304 4196468 140722108038240 140225041900280 140226076158573 0 4 0 16800975 0 0 0 -1 3 0 0 22 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
[pid=489/tid=518] ppid=487 vsize=28768328 memory=7815263158104752195 CPUtime=2470.37 cores=0-7
/proc/489/task/518/stat : 518 (java) R 487 487 443 0 -1 4202560 456360 0 0 0 246804 233 0 0 20 0 28 0 419325961 29458767872 488448 33554432000 4194304 4196468 140722108038240 140225040850320 140226080849804 0 4 0 16800975 0 0 0 -1 2 0 0 19 0 0 6293624 6294260 9646080 140722108044266 140722108044438 140722108044438 140722108047311 0
Current children cumulated CPU time: 19937.7 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1955248 KiB

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

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

[startup+2520.13 s]
# the end of solver process 489 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19913.2 s, system=25.2378 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.13
CPU time (s): 19938.5
CPU user time (s): 19913.2
CPU system time (s): 25.2378
CPU usage (%): 791.168
Max. virtual memory (cumulated for all children) (KiB): 28887036
Max. memory (cumulated for all children) (KiB): 2463200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19913.2
system time used= 25.2378
maximum resident set size= 2468932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1836172
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 213115
involuntary context switches= 231282


# summary of solver processes directly reported to runsolver:
#   pid: 487,489
#   total CPU time (s): 19938.5
#   total CPU user time (s): 19913.2
#   total CPU system time (s): 25.2378

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.4611 second user time and 29.984 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-14 05:08:13
IDJOB=4393617
IDBENCH=127942
IDSOLVER=2841
FILE ID=node150/4393617-1568430533
RUNJOBID= node150-1568430493-470
PBS_JOBID= 21702311
Free space on /tmp= 59360 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-152.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393617-1568430533/watcher-4393617-1568430533 -o /tmp/evaluation-result-4393617-1568430533/solver-4393617-1568430533 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1568430493-470 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 3829761 HOME/instance-4393617-1568430533.xml

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

MD5SUM BENCH= 95353c685d9c4a971cd57b59ef19ccd8
RANDOM SEED=3829761

node150.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.79
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.79
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.79
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.79
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:        27071548 kB
MemAvailable:   31830456 kB
Buffers:          206292 kB
Cached:          4763700 kB
SwapCached:        13668 kB
Active:          1140552 kB
Inactive:        3875452 kB
Active(anon):      10324 kB
Inactive(anon):    61532 kB
Active(file):    1130228 kB
Inactive(file):  3813920 kB
Unevictable:      109388 kB
Mlocked:          109388 kB
SwapTotal:      67108860 kB
SwapFree:       67021712 kB
Dirty:             26052 kB
Writeback:             0 kB
AnonPages:        142476 kB
Mapped:            38744 kB
Shmem:             17044 kB
Slab:             273780 kB
SReclaimable:     243220 kB
SUnreclaim:        30560 kB
KernelStack:        3376 kB
PageTables:         5008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /tmp at the end= 59332 MiB
End job on node150 at 2019-09-14 05:50:13