Trace number 4270994

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-09)? (TO) 19796.301 2520.1299

General information on the benchmark

NameLangford/Langford-m2-s1/
LangfordBin-90.xml
MD5SUM2a5b3790b47e1c2f5ad8b085143681cb
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables360
Number of constraints270
Number of domains2
Minimum domain size90
Maximum domain size180
Distribution of domain sizes[{"size":90,"count":180},{"size":180,"count":180}]
Minimum variable degree2
Maximum variable degree180
Distribution of variable degrees[{"degree":2,"count":180},{"degree":180,"count":180}]
Minimum constraint arity2
Maximum constraint arity181
Distribution of constraint arities[{"arity":2,"count":90},{"arity":181,"count":180}]
Number of extensional constraints0
Number of intensional constraints90
Distribution of constraint types[{"type":"intension","count":90},{"type":"element","count":180}]
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-4270994-1502708442.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4270994-1502708442.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
2.16/0.80	c solve instance...
19795.46/2520.10	s UNKNOWN
19795.46/2520.10	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 (11628 MiB free)
  memory of node 1: 16384 MiB (14879 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270994-1502708442/watcher-4270994-1502708442 -o /tmp/evaluation-result-4270994-1502708442/solver-4270994-1502708442 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1502705062-31306 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1511943052 HOME/instance-4270994-1502708442.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=31600, runsolver pid=31596
Current StackSize limit: 8192 KiB


[startup+0.100129 s]*
/proc/loadavg: 8.22 8.23 8.28 2/199 31621
/proc/meminfo: memFree=27130160/32770624 swapFree=67108860/67108860
[pid=31600] ppid=31596 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31600/stat : 31600 (xcsp3-exec) S 31596 31600 31279 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 103925365 9740288 346 33554432000 4194304 5098028 140723717256160 140723717254264 139956490048124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22253568 140723717264484 140723717264695 140723717264695 140723717267435 0
/proc/31600/statm: 2378 346 289 221 0 87 0
[pid=31602] ppid=31600 vsize=25999808 memory=26616 CPUtime=0.11 cores=0-7
/proc/31602/stat : 31602 (java) S 31600 31600 31279 0 -1 1077944320 5483 0 0 0 10 1 0 0 20 0 20 0 103925365 26623803392 6654 33554432000 4194304 4196468 140727649921872 140727649904416 139766897270519 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
/proc/31602/statm: 6499952 6654 2876 1 0 6488269 0
[pid=31602/tid=31603] ppid=31600 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/31602/task/31603/stat : 31603 (java) R 31600 31600 31279 0 -1 4202560 3486 0 0 0 8 1 0 0 20 0 20 0 103925365 26623803392 6654 33554432000 4194304 4196468 140727649921872 139766901495248 139766897282454 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31604] ppid=31600 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31604/stat : 31604 (java) S 31600 31600 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103925366 26623803392 6654 33554432000 4194304 4196468 140727649921872 139766849891216 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31605] ppid=31600 vsize=25999808 memory=139784246007424 CPUtime=0 cores=0-7
/proc/31602/task/31605/stat : 31605 (java) S 31600 31600 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103925366 26623803392 6654 33554432000 4194304 4196468 140727649921872 139766848838416 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31606] ppid=31600 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31606/stat : 31606 (java) S 31600 31600 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103925366 26623803392 6654 33554432000 4194304 4196468 140727649921872 139766847786128 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31607] ppid=31600 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31607/stat : 31607 (java) S 31600 31600 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103925366 26623803392 6654 33554432000 4194304 4196468 140727649921872 139766846733328 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31608] ppid=31600 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31608/stat : 31608 (java) S 31600 31600 31279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103925366 26623803392 6654 33554432000 4194304 4196468 140727649921872 139766845680016 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31609] ppid=31600 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/31602/task/31609/stat : 31609 (java) S 31600 31600 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103925366 26623803392 6654 33554432000 4194304 4196468 140727649921872 139766844627216 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31610] ppid=31600 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31610/stat : 31610 (java) S 31600 31600 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103925366 26623803392 6654 33554432000 4194304 4196468 140727649921872 139766843574928 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31611] ppid=31600 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31611/stat : 31611 (java) S 31600 31600 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103925366 26623803392 6654 33554432000 4194304 4196468 140727649921872 139766842522128 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31612] ppid=31600 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31612/stat : 31612 (java) S 31600 31600 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103925367 26623803392 6654 33554432000 4194304 4196468 140727649921872 139766158916208 139766897281666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31613] ppid=31600 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31613/stat : 31613 (java) S 31600 31600 31279 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103925368 26623803392 6654 33554432000 4194304 4196468 140727649921872 139766157862176 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31614] ppid=31600 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31614/stat : 31614 (java) S 31600 31600 31279 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103925368 26623803392 6654 33554432000 4194304 4196468 140727649921872 139766156809840 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31615] ppid=31600 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31615/stat : 31615 (java) S 31600 31600 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103925371 26623803392 6654 33554432000 4194304 4196468 140727649921872 139766155758160 139766897289115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31616] ppid=31600 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31616/stat : 31616 (java) S 31600 31600 31279 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 20 0 103925371 26623803392 6654 33554432000 4194304 4196468 140727649921872 139766087542896 139766897281666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31617] ppid=31600 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31617/stat : 31617 (java) S 31600 31600 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103925371 26623803392 6654 33554432000 4194304 4196468 140727649921872 139766086490096 139766897281666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31618] ppid=31600 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31618/stat : 31618 (java) S 31600 31600 31279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103925371 26623803392 6654 33554432000 4194304 4196468 140727649921872 139766085437808 139766897281666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31619] ppid=31600 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/31602/task/31619/stat : 31619 (java) S 31600 31600 31279 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 20 0 103925371 26623803392 6654 33554432000 4194304 4196468 140727649921872 139766084385008 139766897281666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31620] ppid=31600 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31620/stat : 31620 (java) S 31600 31600 31279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103925371 26623803392 6654 33554432000 4194304 4196468 140727649921872 139766083332960 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31621] ppid=31600 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/31602/task/31621/stat : 31621 (java) S 31600 31600 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103925371 26623803392 6654 33554432000 4194304 4196468 140727649921872 139766082280240 139766897281666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28000 KiB

[startup+0.210136 s]*
/proc/loadavg: 8.22 8.23 8.28 2/199 31621
/proc/meminfo: memFree=27118748/32770624 swapFree=67108860/67108860
[pid=31600] ppid=31596 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31600/stat : 31600 (xcsp3-exec) S 31596 31600 31279 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 103925365 9740288 346 33554432000 4194304 5098028 140723717256160 140723717254264 139956490048124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22253568 140723717264484 140723717264695 140723717264695 140723717267435 0
/proc/31600/statm: 2378 346 289 221 0 87 0
[pid=31602] ppid=31600 vsize=26004064 memory=38856 CPUtime=0.33 cores=0-7
/proc/31602/stat : 31602 (java) S 31600 31600 31279 0 -1 1077944320 8293 0 0 0 31 2 0 0 20 0 20 0 103925365 26628161536 9714 33554432000 4194304 4196468 140727649921872 140727649904416 139766897270519 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
/proc/31602/statm: 6501016 9714 3047 1 0 6488269 0
[pid=31602/tid=31603] ppid=31600 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/31602/task/31603/stat : 31603 (java) R 31600 31600 31279 0 -1 4202560 5400 0 0 0 18 1 0 0 20 0 20 0 103925365 26628161536 9714 33554432000 4194304 4196468 140727649921872 139766901493424 139766879170256 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31604] ppid=31600 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/31602/task/31604/stat : 31604 (java) S 31600 31600 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103925366 26628161536 9714 33554432000 4194304 4196468 140727649921872 139766849891216 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31605] ppid=31600 vsize=26004064 memory=4121549376815896224 CPUtime=0 cores=0-7
/proc/31602/task/31605/stat : 31605 (java) S 31600 31600 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103925366 26628161536 9714 33554432000 4194304 4196468 140727649921872 139766848838416 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31606] ppid=31600 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31602/task/31606/stat : 31606 (java) S 31600 31600 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103925366 26628161536 9714 33554432000 4194304 4196468 140727649921872 139766847786128 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31607] ppid=31600 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31607/stat : 31607 (java) S 31600 31600 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103925366 26628161536 9714 33554432000 4194304 4196468 140727649921872 139766846733328 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31608] ppid=31600 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31608/stat : 31608 (java) S 31600 31600 31279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103925366 26628161536 9714 33554432000 4194304 4196468 140727649921872 139766845680016 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31609] ppid=31600 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31602/task/31609/stat : 31609 (java) S 31600 31600 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103925366 26628161536 9714 33554432000 4194304 4196468 140727649921872 139766844627216 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31610] ppid=31600 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31610/stat : 31610 (java) S 31600 31600 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103925366 26628161536 9714 33554432000 4194304 4196468 140727649921872 139766843574928 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31611] ppid=31600 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31611/stat : 31611 (java) S 31600 31600 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103925366 26628161536 9714 33554432000 4194304 4196468 140727649921872 139766842522128 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31612] ppid=31600 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31612/stat : 31612 (java) S 31600 31600 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103925367 26628161536 9714 33554432000 4194304 4196468 140727649921872 139766158916208 139766897281666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31613] ppid=31600 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31613/stat : 31613 (java) S 31600 31600 31279 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103925368 26628161536 9714 33554432000 4194304 4196468 140727649921872 139766157862176 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31614] ppid=31600 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31614/stat : 31614 (java) S 31600 31600 31279 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103925368 26628161536 9714 33554432000 4194304 4196468 140727649921872 139766156809840 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31615] ppid=31600 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31615/stat : 31615 (java) S 31600 31600 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103925371 26628161536 9714 33554432000 4194304 4196468 140727649921872 139766155758160 139766897289115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31616] ppid=31600 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/31602/task/31616/stat : 31616 (java) S 31600 31600 31279 0 -1 1077944384 500 0 0 0 1 0 0 0 20 0 20 0 103925371 26628161536 9714 33554432000 4194304 4196468 140727649921872 139766087542896 139766897281666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31617] ppid=31600 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31617/stat : 31617 (java) R 31600 31600 31279 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 103925371 26628161536 9714 33554432000 4194304 4196468 140727649921872 139766086490096 139766897281666 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31618] ppid=31600 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/31602/task/31618/stat : 31618 (java) S 31600 31600 31279 0 -1 1077944384 320 0 0 0 2 0 0 0 20 0 20 0 103925371 26628161536 9714 33554432000 4194304 4196468 140727649921872 139766085437808 139766897281666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31619] ppid=31600 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/31602/task/31619/stat : 31619 (java) R 31600 31600 31279 0 -1 4202560 750 0 0 0 7 0 0 0 20 0 20 0 103925371 26628161536 9714 33554432000 4194304 4196468 140727649921872 139766084385008 139766897282454 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31620] ppid=31600 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31620/stat : 31620 (java) S 31600 31600 31279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103925371 26628161536 9714 33554432000 4194304 4196468 140727649921872 139766083332960 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31621] ppid=31600 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31602/task/31621/stat : 31621 (java) S 31600 31600 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103925371 26628161536 9714 33554432000 4194304 4196468 140727649921872 139766082280240 139766897281666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40240 KiB

[startup+0.309492 s]*
/proc/loadavg: 8.22 8.23 8.28 5/199 31621
/proc/meminfo: memFree=27114220/32770624 swapFree=67108860/67108860
[pid=31600] ppid=31596 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31600/stat : 31600 (xcsp3-exec) S 31596 31600 31279 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 103925365 9740288 346 33554432000 4194304 5098028 140723717256160 140723717254264 139956490048124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22253568 140723717264484 140723717264695 140723717264695 140723717267435 0
/proc/31600/statm: 2378 346 289 221 0 87 0
[pid=31602] ppid=31600 vsize=26004064 memory=45840 CPUtime=0.49 cores=0-7
/proc/31602/stat : 31602 (java) S 31600 31600 31279 0 -1 1077944320 9205 0 0 0 46 3 0 0 20 0 20 0 103925365 26628161536 11460 33554432000 4194304 4196468 140727649921872 140727649904416 139766897270519 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
/proc/31602/statm: 6501016 11460 3067 1 0 6488269 0
[pid=31602/tid=31603] ppid=31600 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/31602/task/31603/stat : 31603 (java) R 31600 31600 31279 0 -1 4202560 6110 0 0 0 27 2 0 0 20 0 20 0 103925365 26628161536 11460 33554432000 4194304 4196468 140727649921872 139766901499232 139766881351006 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31604] ppid=31600 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31604/stat : 31604 (java) S 31600 31600 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103925366 26628161536 11460 33554432000 4194304 4196468 140727649921872 139766849891216 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31605] ppid=31600 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31605/stat : 31605 (java) S 31600 31600 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103925366 26628161536 11460 33554432000 4194304 4196468 140727649921872 139766848838416 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31606] ppid=31600 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31606/stat : 31606 (java) S 31600 31600 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103925366 26628161536 11460 33554432000 4194304 4196468 140727649921872 139766847786128 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31607] ppid=31600 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31607/stat : 31607 (java) S 31600 31600 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103925366 26628161536 11460 33554432000 4194304 4196468 140727649921872 139766846733328 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31608] ppid=31600 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/31602/task/31608/stat : 31608 (java) S 31600 31600 31279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103925366 26628161536 11460 33554432000 4194304 4196468 140727649921872 139766845680016 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31609] ppid=31600 vsize=26004064 memory=139784139928495 CPUtime=0 cores=0-7
/proc/31602/task/31609/stat : 31609 (java) S 31600 31600 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103925366 26628161536 11460 33554432000 4194304 4196468 140727649921872 139766844627216 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31610] ppid=31600 vsize=26004064 memory=139784139930800 CPUtime=0 cores=0-7
/proc/31602/task/31610/stat : 31610 (java) S 31600 31600 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103925366 26628161536 11460 33554432000 4194304 4196468 140727649921872 139766843574928 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31611] ppid=31600 vsize=26004064 memory=139784139933104 CPUtime=0 cores=0-7
/proc/31602/task/31611/stat : 31611 (java) S 31600 31600 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103925366 26628161536 11460 33554432000 4194304 4196468 140727649921872 139766842522128 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31612] ppid=31600 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31612/stat : 31612 (java) S 31600 31600 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103925367 26628161536 11460 33554432000 4194304 4196468 140727649921872 139766158916208 139766897281666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31613] ppid=31600 vsize=26004064 memory=279568279873168 CPUtime=0 cores=0-7
/proc/31602/task/31613/stat : 31613 (java) S 31600 31600 31279 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103925368 26628161536 11460 33554432000 4194304 4196468 140727649921872 139766157862176 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31614] ppid=31600 vsize=26004064 memory=279568279880080 CPUtime=0 cores=0-7
/proc/31602/task/31614/stat : 31614 (java) S 31600 31600 31279 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103925368 26628161536 11460 33554432000 4194304 4196468 140727649921872 139766156809840 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31615] ppid=31600 vsize=26004064 memory=279568279821360 CPUtime=0 cores=0-7
/proc/31602/task/31615/stat : 31615 (java) S 31600 31600 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103925371 26628161536 11460 33554432000 4194304 4196468 140727649921872 139766155758160 139766897289115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31616] ppid=31600 vsize=26004064 memory=279568279893904 CPUtime=0.02 cores=0-7
/proc/31602/task/31616/stat : 31616 (java) S 31600 31600 31279 0 -1 1077944384 583 0 0 0 2 0 0 0 20 0 20 0 103925371 26628161536 11460 33554432000 4194304 4196468 140727649921872 139766087542896 139766897281666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31617] ppid=31600 vsize=26004064 memory=279568279900816 CPUtime=0.01 cores=0-7
/proc/31602/task/31617/stat : 31617 (java) S 31600 31600 31279 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 20 0 103925371 26628161536 11460 33554432000 4194304 4196468 140727649921872 139766086490096 139766897281666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31618] ppid=31600 vsize=26004064 memory=279568279898512 CPUtime=0.03 cores=0-7
/proc/31602/task/31618/stat : 31618 (java) R 31600 31600 31279 0 -1 4202560 320 0 0 0 3 0 0 0 20 0 20 0 103925371 26628161536 11460 33554432000 4194304 4196468 140727649921872 139766085428192 139766882396342 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31619] ppid=31600 vsize=26004064 memory=279568279914672 CPUtime=0.12 cores=0-7
/proc/31602/task/31619/stat : 31619 (java) S 31600 31600 31279 0 -1 1077944384 862 0 0 0 12 0 0 0 20 0 20 0 103925371 26628161536 11460 33554432000 4194304 4196468 140727649921872 139766084385008 139766897281666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31620] ppid=31600 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31620/stat : 31620 (java) S 31600 31600 31279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103925371 26628161536 11460 33554432000 4194304 4196468 140727649921872 139766083332960 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31621] ppid=31600 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/31602/task/31621/stat : 31621 (java) S 31600 31600 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103925371 26628161536 11460 33554432000 4194304 4196468 140727649921872 139766082280240 139766897281666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47224 KiB

[startup+0.700905 s]
/proc/loadavg: 8.22 8.23 8.28 4/199 31621
/proc/meminfo: memFree=27094924/32770624 swapFree=67108860/67108860
[pid=31600] ppid=31596 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31600/stat : 31600 (xcsp3-exec) S 31596 31600 31279 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 103925365 9740288 346 33554432000 4194304 5098028 140723717256160 140723717254264 139956490048124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22253568 140723717264484 140723717264695 140723717264695 140723717267435 0
/proc/31600/statm: 2378 346 289 221 0 87 0
[pid=31602] ppid=31600 vsize=26006188 memory=111524 CPUtime=1.74 cores=0-7
/proc/31602/stat : 31602 (java) S 31600 31600 31279 0 -1 1077944320 12932 0 0 0 169 5 0 0 20 0 20 0 103925365 26630336512 27881 33554432000 4194304 4196468 140727649921872 140727649904416 139766897270519 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
/proc/31602/statm: 6501547 27881 3209 1 0 6488781 0
[pid=31602/tid=31603] ppid=31600 vsize=26006188 memory=279568280272560 CPUtime=0.67 cores=0-7
/proc/31602/task/31603/stat : 31603 (java) R 31600 31600 31279 0 -1 4202560 6776 0 0 0 64 3 0 0 20 0 20 0 103925365 26630336512 27881 33554432000 4194304 4196468 140727649921872 139766901507696 139766509759472 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31604] ppid=31600 vsize=26006188 memory=139784140137328 CPUtime=0 cores=0-7
/proc/31602/task/31604/stat : 31604 (java) S 31600 31600 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103925366 26630336512 27881 33554432000 4194304 4196468 140727649921872 139766849891216 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31605] ppid=31600 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/31602/task/31605/stat : 31605 (java) S 31600 31600 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103925366 26630336512 27881 33554432000 4194304 4196468 140727649921872 139766848838416 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31606] ppid=31600 vsize=26006188 memory=1716 CPUtime=0 cores=0-7
/proc/31602/task/31606/stat : 31606 (java) S 31600 31600 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103925366 26630336512 27881 33554432000 4194304 4196468 140727649921872 139766847786128 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0

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

[pid=31602/tid=31629] ppid=31600 vsize=26538700 memory=928 CPUtime=2414.43 cores=0-7
/proc/31602/task/31629/stat : 31629 (java) R 31600 31600 31279 0 -1 4202560 17348 0 0 0 241411 32 0 0 20 0 28 0 103925446 27175628800 107354 33554432000 4194304 4196468 140727649921872 139766066900768 139766514613456 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
Current children cumulated CPU time: 19186.4 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 430800 KiB

[startup+2502.3 s]
/proc/loadavg: 7.57 7.84 8.05 9/207 31685
/proc/meminfo: memFree=26725528/32770624 swapFree=67108860/67108860
[pid=31600] ppid=31596 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31600/stat : 31600 (xcsp3-exec) S 31596 31600 31279 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 103925365 9740288 346 33554432000 4194304 5098028 140723717256160 140723717254264 139956490048124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22253568 140723717264484 140723717264695 140723717264695 140723717267435 0
/proc/31600/statm: 2378 346 289 221 0 87 0
[pid=31602] ppid=31600 vsize=26538700 memory=429040 CPUtime=19657 cores=0-7
/proc/31602/stat : 31602 (java) S 31600 31600 31279 0 -1 1077944320 477436 0 0 0 1962555 3141 0 0 20 0 28 0 103925365 27175628800 107260 33554432000 4194304 4196468 140727649921872 140727649904416 139766897270519 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
/proc/31602/statm: 6634675 107260 3292 1 0 6621909 0
[pid=31602/tid=31603] ppid=31600 vsize=26538700 memory=429040 CPUtime=0.78 cores=0-7
/proc/31602/task/31603/stat : 31603 (java) S 31600 31600 31279 0 -1 1077944384 6862 0 0 0 75 3 0 0 20 0 28 0 103925365 27175628800 107260 33554432000 4194304 4196468 140727649921872 139766901511296 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31604] ppid=31600 vsize=26538700 memory=1384 CPUtime=6.98 cores=0-7
/proc/31602/task/31604/stat : 31604 (java) S 31600 31600 31279 0 -1 1077944384 21874 0 0 0 670 28 0 0 20 0 28 0 103925366 27175628800 107260 33554432000 4194304 4196468 140727649921872 139766849891216 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31605] ppid=31600 vsize=26538700 memory=421724 CPUtime=6.95 cores=0-7
/proc/31602/task/31605/stat : 31605 (java) S 31600 31600 31279 0 -1 1077944384 21132 0 0 0 669 26 0 0 20 0 28 0 103925366 27175628800 107260 33554432000 4194304 4196468 140727649921872 139766848838416 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31606] ppid=31600 vsize=26538700 memory=17816 CPUtime=6.96 cores=0-7
/proc/31602/task/31606/stat : 31606 (java) S 31600 31600 31279 0 -1 1077944384 23170 0 0 0 669 27 0 0 20 0 28 0 103925366 27175628800 107260 33554432000 4194304 4196468 140727649921872 139766847786128 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31607] ppid=31600 vsize=26538700 memory=1796 CPUtime=6.99 cores=0-7
/proc/31602/task/31607/stat : 31607 (java) S 31600 31600 31279 0 -1 1077944384 20118 0 0 0 673 26 0 0 20 0 28 0 103925366 27175628800 107260 33554432000 4194304 4196468 140727649921872 139766846733328 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31608] ppid=31600 vsize=26538700 memory=1224 CPUtime=6.96 cores=0-7
/proc/31602/task/31608/stat : 31608 (java) S 31600 31600 31279 0 -1 1077944384 20377 0 0 0 667 29 0 0 20 0 28 0 103925366 27175628800 107260 33554432000 4194304 4196468 140727649921872 139766845680016 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31609] ppid=31600 vsize=26538700 memory=1716 CPUtime=7.01 cores=0-7
/proc/31602/task/31609/stat : 31609 (java) S 31600 31600 31279 0 -1 1077944384 25679 0 0 0 677 24 0 0 20 0 28 0 103925366 27175628800 107260 33554432000 4194304 4196468 140727649921872 139766844627216 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31610] ppid=31600 vsize=26538700 memory=1384 CPUtime=6.99 cores=0-7
/proc/31602/task/31610/stat : 31610 (java) S 31600 31600 31279 0 -1 1077944384 25135 0 0 0 671 28 0 0 20 0 28 0 103925366 27175628800 107260 33554432000 4194304 4196468 140727649921872 139766843574928 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31611] ppid=31600 vsize=26538700 memory=4140 CPUtime=6.96 cores=0-7
/proc/31602/task/31611/stat : 31611 (java) S 31600 31600 31279 0 -1 1077944384 20742 0 0 0 671 25 0 0 20 0 28 0 103925366 27175628800 107260 33554432000 4194304 4196468 140727649921872 139766842522128 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31612] ppid=31600 vsize=26538700 memory=139784141273713 CPUtime=45.93 cores=0-7
/proc/31602/task/31612/stat : 31612 (java) S 31600 31600 31279 0 -1 1077944384 61685 0 0 0 1811 2782 0 0 20 0 28 0 103925367 27175628800 107260 33554432000 4194304 4196468 140727649921872 139766158916208 139766897281666 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31613] ppid=31600 vsize=26538700 memory=27279554165 CPUtime=0 cores=0-7
/proc/31602/task/31613/stat : 31613 (java) S 31600 31600 31279 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 103925368 27175628800 107260 33554432000 4194304 4196468 140727649921872 139766157862176 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31614] ppid=31600 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/31602/task/31614/stat : 31614 (java) S 31600 31600 31279 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 103925368 27175628800 107260 33554432000 4194304 4196468 140727649921872 139766156809840 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31615] ppid=31600 vsize=26538700 memory=421896 CPUtime=0 cores=0-7
/proc/31602/task/31615/stat : 31615 (java) S 31600 31600 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 103925371 27175628800 107260 33554432000 4194304 4196468 140727649921872 139766155758160 139766897289115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31616] ppid=31600 vsize=26538700 memory=1384 CPUtime=1.55 cores=0-7
/proc/31602/task/31616/stat : 31616 (java) S 31600 31600 31279 0 -1 1077944384 13602 0 0 0 152 3 0 0 20 0 28 0 103925371 27175628800 107260 33554432000 4194304 4196468 140727649921872 139766087542896 139766897281666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31617] ppid=31600 vsize=26538700 memory=434224 CPUtime=1.64 cores=0-7
/proc/31602/task/31617/stat : 31617 (java) S 31600 31600 31279 0 -1 1077944384 13426 0 0 0 161 3 0 0 20 0 28 0 103925371 27175628800 107260 33554432000 4194304 4196468 140727649921872 139766086490096 139766897281666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31618] ppid=31600 vsize=26538700 memory=431980 CPUtime=1.76 cores=0-7
/proc/31602/task/31618/stat : 31618 (java) S 31600 31600 31279 0 -1 1077944384 15329 0 0 0 174 2 0 0 20 0 28 0 103925371 27175628800 107260 33554432000 4194304 4196468 140727649921872 139766085437808 139766897281666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31619] ppid=31600 vsize=26538700 memory=429040 CPUtime=0.71 cores=0-7
/proc/31602/task/31619/stat : 31619 (java) S 31600 31600 31279 0 -1 1077944384 7956 0 0 0 69 2 0 0 20 0 28 0 103925371 27175628800 107260 33554432000 4194304 4196468 140727649921872 139766084385008 139766897281666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31620] ppid=31600 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/31602/task/31620/stat : 31620 (java) S 31600 31600 31279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 103925371 27175628800 107260 33554432000 4194304 4196468 140727649921872 139766083332960 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31621] ppid=31600 vsize=26538700 memory=429040 CPUtime=0.68 cores=0-7
/proc/31602/task/31621/stat : 31621 (java) S 31600 31600 31279 0 -1 1077944384 3820 0 0 0 35 33 0 0 20 0 28 0 103925371 27175628800 107260 33554432000 4194304 4196468 140727649921872 139766082280240 139766897281666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31622] ppid=31600 vsize=26538700 memory=429040 CPUtime=2434.23 cores=0-7
/proc/31602/task/31622/stat : 31622 (java) R 31600 31600 31279 0 -1 4202560 12380 0 0 0 243413 10 0 0 20 0 28 0 103925446 27175628800 107260 33554432000 4194304 4196468 140727649921872 139766074269600 139766512737261 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31623] ppid=31600 vsize=26538700 memory=1384 CPUtime=2441.67 cores=0-7
/proc/31602/task/31623/stat : 31623 (java) R 31600 31600 31279 0 -1 4202560 4697 0 0 0 244158 9 0 0 20 0 28 0 103925446 27175628800 107260 33554432000 4194304 4196468 140727649921872 139766073217544 139766513927723 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31624] ppid=31600 vsize=26538700 memory=429040 CPUtime=2445.52 cores=0-7
/proc/31602/task/31624/stat : 31624 (java) R 31600 31600 31279 0 -1 4202560 67789 0 0 0 244516 36 0 0 20 0 28 0 103925446 27175628800 107260 33554432000 4194304 4196468 140727649921872 139766072164856 139766513616095 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31625] ppid=31600 vsize=26538700 memory=1384 CPUtime=2438.33 cores=0-7
/proc/31602/task/31625/stat : 31625 (java) R 31600 31600 31279 0 -1 4202560 37396 0 0 0 243814 19 0 0 20 0 28 0 103925446 27175628800 107260 33554432000 4194304 4196468 140727649921872 139766071111944 139766514140313 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31626] ppid=31600 vsize=26538700 memory=1384 CPUtime=2437.5 cores=0-7
/proc/31602/task/31626/stat : 31626 (java) R 31600 31600 31279 0 -1 4202560 27165 0 0 0 243724 26 0 0 20 0 28 0 103925446 27175628800 107260 33554432000 4194304 4196468 140727649921872 139766070061872 139766513927850 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31627] ppid=31600 vsize=26538700 memory=1384 CPUtime=2437.92 cores=0-7
/proc/31602/task/31627/stat : 31627 (java) R 31600 31600 31279 0 -1 4202560 3704 0 0 0 243782 10 0 0 20 0 28 0 103925446 27175628800 107260 33554432000 4194304 4196468 140727649921872 139766069006208 139766513927501 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31628] ppid=31600 vsize=26538700 memory=6791534058613427641 CPUtime=2438.92 cores=0-7
/proc/31602/task/31628/stat : 31628 (java) R 31600 31600 31279 0 -1 4202560 4571 0 0 0 243881 11 0 0 20 0 28 0 103925446 27175628800 107260 33554432000 4194304 4196468 140727649921872 139766067954056 139766513927723 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31629] ppid=31600 vsize=26538700 memory=4104 CPUtime=2473.87 cores=0-7
/proc/31602/task/31629/stat : 31629 (java) R 31600 31600 31279 0 -1 4202560 17489 0 0 0 247354 33 0 0 20 0 28 0 103925446 27175628800 107260 33554432000 4194304 4196468 140727649921872 139766066900768 139766514613136 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
Current children cumulated CPU time: 19657 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 430424 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 7.25 7.75 8.02 9/207 31685
/proc/meminfo: memFree=26732032/32770624 swapFree=67108860/67108860
[pid=31600] ppid=31596 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/31600/stat : 31600 (xcsp3-exec) S 31596 31600 31279 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 103925365 9740288 346 33554432000 4194304 5098028 140723717256160 140723717254264 139956490048124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22253568 140723717264484 140723717264695 140723717264695 140723717267435 0
/proc/31600/statm: 2378 346 289 221 0 87 0
[pid=31602] ppid=31600 vsize=26538700 memory=422360 CPUtime=19795.5 cores=0-7
/proc/31602/stat : 31602 (java) S 31600 31600 31279 0 -1 1077944320 484394 0 0 0 1976376 3170 0 0 20 0 28 0 103925365 27175628800 105590 33554432000 4194304 4196468 140727649921872 140727649904416 139766897270519 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
/proc/31602/statm: 6634675 105590 3292 1 0 6621909 0
[pid=31602/tid=31603] ppid=31600 vsize=26538700 memory=6791534058613427641 CPUtime=0.78 cores=0-7
/proc/31602/task/31603/stat : 31603 (java) S 31600 31600 31279 0 -1 1077944384 6862 0 0 0 75 3 0 0 20 0 28 0 103925365 27175628800 105590 33554432000 4194304 4196468 140727649921872 139766901511296 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31604] ppid=31600 vsize=26538700 memory=6369592150930711104 CPUtime=7.02 cores=0-7
/proc/31602/task/31604/stat : 31604 (java) S 31600 31600 31279 0 -1 1077944384 22409 0 0 0 674 28 0 0 20 0 28 0 103925366 27175628800 105590 33554432000 4194304 4196468 140727649921872 139766849891216 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31605] ppid=31600 vsize=26538700 memory=5793412873603801664 CPUtime=6.99 cores=0-7
/proc/31602/task/31605/stat : 31605 (java) S 31600 31600 31279 0 -1 1077944384 21305 0 0 0 673 26 0 0 20 0 28 0 103925366 27175628800 105590 33554432000 4194304 4196468 140727649921872 139766848838416 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31606] ppid=31600 vsize=26538700 memory=7446527515429064787 CPUtime=7 cores=0-7
/proc/31602/task/31606/stat : 31606 (java) S 31600 31600 31279 0 -1 1077944384 23581 0 0 0 673 27 0 0 20 0 28 0 103925366 27175628800 105590 33554432000 4194304 4196468 140727649921872 139766847786128 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31607] ppid=31600 vsize=26538700 memory=4126316290023845779 CPUtime=7.03 cores=0-7
/proc/31602/task/31607/stat : 31607 (java) S 31600 31600 31279 0 -1 1077944384 20305 0 0 0 677 26 0 0 20 0 28 0 103925366 27175628800 105590 33554432000 4194304 4196468 140727649921872 139766846733328 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31608] ppid=31600 vsize=26538700 memory=4140 CPUtime=7 cores=0-7
/proc/31602/task/31608/stat : 31608 (java) S 31600 31600 31279 0 -1 1077944384 20463 0 0 0 671 29 0 0 20 0 28 0 103925366 27175628800 105590 33554432000 4194304 4196468 140727649921872 139766845680016 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31609] ppid=31600 vsize=26538700 memory=30172 CPUtime=7.07 cores=0-7
/proc/31602/task/31609/stat : 31609 (java) S 31600 31600 31279 0 -1 1077944384 26166 0 0 0 682 25 0 0 20 0 28 0 103925366 27175628800 105590 33554432000 4194304 4196468 140727649921872 139766844627216 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31610] ppid=31600 vsize=26538700 memory=1296 CPUtime=7.02 cores=0-7
/proc/31602/task/31610/stat : 31610 (java) S 31600 31600 31279 0 -1 1077944384 25365 0 0 0 674 28 0 0 20 0 28 0 103925366 27175628800 105590 33554432000 4194304 4196468 140727649921872 139766843574928 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31611] ppid=31600 vsize=26538700 memory=2396 CPUtime=7 cores=0-7
/proc/31602/task/31611/stat : 31611 (java) S 31600 31600 31279 0 -1 1077944384 21234 0 0 0 675 25 0 0 20 0 28 0 103925366 27175628800 105590 33554432000 4194304 4196468 140727649921872 139766842522128 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31612] ppid=31600 vsize=26538700 memory=1728 CPUtime=46.35 cores=0-7
/proc/31602/task/31612/stat : 31612 (java) S 31600 31600 31279 0 -1 1077944384 62426 0 0 0 1827 2808 0 0 20 0 28 0 103925367 27175628800 105590 33554432000 4194304 4196468 140727649921872 139766158916208 139766897281666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31613] ppid=31600 vsize=26538700 memory=1004 CPUtime=0 cores=0-7
/proc/31602/task/31613/stat : 31613 (java) S 31600 31600 31279 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 103925368 27175628800 105590 33554432000 4194304 4196468 140727649921872 139766157862176 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31614] ppid=31600 vsize=26538700 memory=11040 CPUtime=0 cores=0-7
/proc/31602/task/31614/stat : 31614 (java) S 31600 31600 31279 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 103925368 27175628800 105590 33554432000 4194304 4196468 140727649921872 139766156809840 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31615] ppid=31600 vsize=26538700 memory=5700 CPUtime=0 cores=0-7
/proc/31602/task/31615/stat : 31615 (java) S 31600 31600 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 103925371 27175628800 105590 33554432000 4194304 4196468 140727649921872 139766155758160 139766897289115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31616] ppid=31600 vsize=26538700 memory=4616 CPUtime=1.55 cores=0-7
/proc/31602/task/31616/stat : 31616 (java) S 31600 31600 31279 0 -1 1077944384 13608 0 0 0 152 3 0 0 20 0 28 0 103925371 27175628800 105590 33554432000 4194304 4196468 140727649921872 139766087542896 139766897281666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31617] ppid=31600 vsize=26538700 memory=4616 CPUtime=1.64 cores=0-7
/proc/31602/task/31617/stat : 31617 (java) S 31600 31600 31279 0 -1 1077944384 13430 0 0 0 161 3 0 0 20 0 28 0 103925371 27175628800 105590 33554432000 4194304 4196468 140727649921872 139766086490096 139766897281666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31618] ppid=31600 vsize=26538700 memory=792 CPUtime=1.76 cores=0-7
/proc/31602/task/31618/stat : 31618 (java) S 31600 31600 31279 0 -1 1077944384 15333 0 0 0 174 2 0 0 20 0 28 0 103925371 27175628800 105590 33554432000 4194304 4196468 140727649921872 139766085437808 139766897281666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31619] ppid=31600 vsize=26538700 memory=1424 CPUtime=0.71 cores=0-7
/proc/31602/task/31619/stat : 31619 (java) S 31600 31600 31279 0 -1 1077944384 7960 0 0 0 69 2 0 0 20 0 28 0 103925371 27175628800 105590 33554432000 4194304 4196468 140727649921872 139766084385008 139766897281666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31620] ppid=31600 vsize=26538700 memory=1936 CPUtime=0 cores=0-7
/proc/31602/task/31620/stat : 31620 (java) S 31600 31600 31279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 103925371 27175628800 105590 33554432000 4194304 4196468 140727649921872 139766083332960 139766897280725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31621] ppid=31600 vsize=26538700 memory=1224 CPUtime=0.68 cores=0-7
/proc/31602/task/31621/stat : 31621 (java) S 31600 31600 31279 0 -1 1077944384 3874 0 0 0 35 33 0 0 20 0 28 0 103925371 27175628800 105590 33554432000 4194304 4196468 140727649921872 139766082280240 139766897281666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31622] ppid=31600 vsize=26538700 memory=1716 CPUtime=2451.3 cores=0-7
/proc/31602/task/31622/stat : 31622 (java) R 31600 31600 31279 0 -1 4202560 12578 0 0 0 245120 10 0 0 20 0 28 0 103925446 27175628800 105590 33554432000 4194304 4196468 140727649921872 139766074269176 139766512737753 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31623] ppid=31600 vsize=26538700 memory=10592 CPUtime=2458.89 cores=0-7
/proc/31602/task/31623/stat : 31623 (java) R 31600 31600 31279 0 -1 4202560 4772 0 0 0 245880 9 0 0 20 0 28 0 103925446 27175628800 105590 33554432000 4194304 4196468 140727649921872 139766073217544 139766512737724 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31624] ppid=31600 vsize=26538700 memory=1200 CPUtime=2462.7 cores=0-7
/proc/31602/task/31624/stat : 31624 (java) R 31600 31600 31279 0 -1 4202560 69354 0 0 0 246234 36 0 0 20 0 28 0 103925446 27175628800 105590 33554432000 4194304 4196468 140727649921872 139766072164232 139766513927881 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31625] ppid=31600 vsize=26538700 memory=15872 CPUtime=2455.49 cores=0-7
/proc/31602/task/31625/stat : 31625 (java) R 31600 31600 31279 0 -1 4202560 38158 0 0 0 245530 19 0 0 20 0 28 0 103925446 27175628800 105590 33554432000 4194304 4196468 140727649921872 139766071114432 139766513927479 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31626] ppid=31600 vsize=26538700 memory=4044 CPUtime=2454.71 cores=0-7
/proc/31602/task/31626/stat : 31626 (java) R 31600 31600 31279 0 -1 4202560 27719 0 0 0 245445 26 0 0 20 0 28 0 103925446 27175628800 105590 33554432000 4194304 4196468 140727649921872 139766070058800 139766513927257 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31627] ppid=31600 vsize=26538700 memory=16444 CPUtime=2455.1 cores=0-7
/proc/31602/task/31627/stat : 31627 (java) R 31600 31600 31279 0 -1 4202560 3760 0 0 0 245500 10 0 0 20 0 28 0 103925446 27175628800 105590 33554432000 4194304 4196468 140727649921872 139766069006344 139766513927641 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31628] ppid=31600 vsize=26538700 memory=17816 CPUtime=2456.15 cores=0-7
/proc/31602/task/31628/stat : 31628 (java) R 31600 31600 31279 0 -1 4202560 4634 0 0 0 245604 11 0 0 20 0 28 0 103925446 27175628800 105590 33554432000 4194304 4196468 140727649921872 139766067954568 139766512737487 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
[pid=31602/tid=31629] ppid=31600 vsize=26538700 memory=1796 CPUtime=2491.34 cores=0-7
/proc/31602/task/31629/stat : 31629 (java) R 31600 31600 31279 0 -1 4202560 17760 0 0 0 249099 35 0 0 20 0 28 0 103925446 27175628800 105590 33554432000 4194304 4196468 140727649921872 139766066900880 139766514613328 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 12623872 140727649924242 140727649924419 140727649924419 140727649927119 0
Current children cumulated CPU time: 19795.5 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 423744 KiB

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

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

[startup+2520.13 s]
# the end of solver process 31602 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19764.6 s, system=31.7218 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): 19796.3
CPU user time (s): 19764.6
CPU system time (s): 31.7218
CPU usage (%): 785.527
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 490804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19764.6
system time used= 31.7218
maximum resident set size= 511776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 485299
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 200963
involuntary context switches= 202230


# summary of solver processes directly reported to runsolver:
#   pid: 31600,31602
#   total CPU time (s): 19796.3
#   total CPU user time (s): 19764.6
#   total CPU system time (s): 31.7218

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8332 second user time and 29.9712 second system time

The end

Launcher Data 

Begin job on node150 at 2017-08-14 12:46:24
IDJOB=4270994
IDBENCH=124367
IDSOLVER=2662
FILE ID=node150/4270994-1502708442
RUNJOBID= node150-1502705062-31306
PBS_JOBID= 20629017
Free space on /tmp= 61636 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Langford/Langford-m2-s1/LangfordBin-90.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270994-1502708442/watcher-4270994-1502708442 -o /tmp/evaluation-result-4270994-1502708442/solver-4270994-1502708442 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1502705062-31306 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1511943052 HOME/instance-4270994-1502708442.xml

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

MD5SUM BENCH= 2a5b3790b47e1c2f5ad8b085143681cb
RANDOM SEED=1511943052

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	: 5332.89
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	: 5332.89
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	: 5332.89
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	: 5332.89
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:        27144624 kB
MemAvailable:   31974792 kB
Buffers:          271388 kB
Cached:          4834712 kB
SwapCached:            0 kB
Active:           731004 kB
Inactive:        4429884 kB
Active(anon):      57376 kB
Inactive(anon):    25068 kB
Active(file):     673628 kB
Inactive(file):  4404816 kB
Unevictable:        6228 kB
Mlocked:            6228 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7888 kB
Writeback:             0 kB
AnonPages:         98652 kB
Mapped:            45096 kB
Shmem:             25224 kB
Slab:             161276 kB
SReclaimable:     135120 kB
SUnreclaim:        26156 kB
KernelStack:        3520 kB
PageTables:         4844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     45056 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61628 MiB
End job on node150 at 2017-08-14 13:28:24