Trace number 4281538

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)? (TO) 2003.75 252.114

General information on the benchmark

NameScheduling/Scheduling-fs-taillard/
Taillard-fs-100-05-7.xml
MD5SUM8361c52194adc4d0d2847bb08daa8f1b
Bench CategoryCOP (optimization 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 variables600
Number of constraints605
Number of domains1
Minimum domain size5206
Maximum domain size5206
Distribution of domain sizes[{"size":5206,"count":600}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":100},{"degree":3,"count":500}]
Minimum constraint arity1
Maximum constraint arity100
Distribution of constraint arities[{"arity":1,"count":100},{"arity":2,"count":500},{"arity":100,"count":5}]
Number of extensional constraints0
Number of intensional constraints600
Distribution of constraint types[{"type":"intension","count":600},{"type":"noOverlap","count":5}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281538-1503174959.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4281538-1503174959.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
2.57/0.99	c solve instance...
2003.03/252.08	s UNKNOWN
2003.03/252.08	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 (12741 MiB free)
  memory of node 1: 16384 MiB (13960 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281538-1503174959/watcher-4281538-1503174959 -o /tmp/evaluation-result-4281538-1503174959/solver-4281538-1503174959 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503164925-17586 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1687879259 HOME/instance-4281538-1503174959.xml 

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

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


[startup+0.100151 s]*
/proc/loadavg: 8.22 8.26 8.14 2/199 18434
/proc/meminfo: memFree=27328128/32770624 swapFree=67108860/67108860
[pid=18413] ppid=18410 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18413/stat : 18413 (xcsp3-exec) S 18410 18413 17559 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150583578 9740288 346 33554432000 4194304 5098028 140723772209648 140723772207752 139929781031548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18337792 140723772216426 140723772216636 140723772216636 140723772219371 0
/proc/18413/statm: 2378 346 289 221 0 87 0
[pid=18415] ppid=18413 vsize=25999808 memory=26308 CPUtime=0.12 cores=0-7
/proc/18415/stat : 18415 (java) S 18413 18413 17559 0 -1 1077944320 5471 0 0 0 11 1 0 0 20 0 20 0 150583578 26623803392 6577 33554432000 4194304 4196468 140727475597408 140727475579952 139942062104311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
/proc/18415/statm: 6499952 6577 2852 1 0 6488269 0
[pid=18415/tid=18416] ppid=18413 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/18415/task/18416/stat : 18416 (java) R 18413 18413 17559 0 -1 4202560 3482 0 0 0 8 0 0 0 20 0 20 0 150583578 26623803392 6577 33554432000 4194304 4196468 140727475597408 139942066328368 139942062126237 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18417] ppid=18413 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/18415/task/18417/stat : 18417 (java) S 18413 18413 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150583579 26623803392 6577 33554432000 4194304 4196468 140727475597408 139941984684304 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18418] ppid=18413 vsize=25999808 memory=140112308287104 CPUtime=0 cores=0-7
/proc/18415/task/18418/stat : 18418 (java) S 18413 18413 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150583579 26623803392 6577 33554432000 4194304 4196468 140727475597408 139941983631760 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18419] ppid=18413 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18419/stat : 18419 (java) S 18413 18413 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150583579 26623803392 6577 33554432000 4194304 4196468 140727475597408 139941982579216 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18420] ppid=18413 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18420/stat : 18420 (java) S 18413 18413 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150583579 26623803392 6577 33554432000 4194304 4196468 140727475597408 139941981526672 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18421] ppid=18413 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18421/stat : 18421 (java) S 18413 18413 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150583579 26623803392 6577 33554432000 4194304 4196468 140727475597408 139941616048912 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18422] ppid=18413 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/18415/task/18422/stat : 18422 (java) S 18413 18413 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150583579 26623803392 6577 33554432000 4194304 4196468 140727475597408 139941614996368 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18423] ppid=18413 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18423/stat : 18423 (java) S 18413 18413 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150583579 26623803392 6577 33554432000 4194304 4196468 140727475597408 139941613943824 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18424] ppid=18413 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18424/stat : 18424 (java) S 18413 18413 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150583579 26623803392 6577 33554432000 4194304 4196468 140727475597408 139941612891280 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18425] ppid=18413 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18425/stat : 18425 (java) S 18413 18413 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150583581 26623803392 6577 33554432000 4194304 4196468 140727475597408 139941055035376 139942062115458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18426] ppid=18413 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18426/stat : 18426 (java) S 18413 18413 17559 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150583581 26623803392 6577 33554432000 4194304 4196468 140727475597408 139941053981600 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18427] ppid=18413 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18427/stat : 18427 (java) S 18413 18413 17559 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150583581 26623803392 6577 33554432000 4194304 4196468 140727475597408 139941052929008 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18428] ppid=18413 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18428/stat : 18428 (java) S 18413 18413 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150583584 26623803392 6577 33554432000 4194304 4196468 140727475597408 139941051877584 139942062122907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18429] ppid=18413 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18429/stat : 18429 (java) S 18413 18413 17559 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 150583584 26623803392 6577 33554432000 4194304 4196468 140727475597408 139941050825200 139942062115458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18430] ppid=18413 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18430/stat : 18430 (java) S 18413 18413 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150583584 26623803392 6577 33554432000 4194304 4196468 140727475597408 139941049772656 139942062115458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18431] ppid=18413 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18431/stat : 18431 (java) R 18413 18413 17559 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 150583584 26623803392 6577 33554432000 4194304 4196468 140727475597408 139941048720112 139942062115458 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18432] ppid=18413 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/18415/task/18432/stat : 18432 (java) R 18413 18413 17559 0 -1 4202560 245 0 0 0 1 0 0 0 20 0 20 0 150583584 26623803392 6577 33554432000 4194304 4196468 140727475597408 139941047667568 139942062125658 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18433] ppid=18413 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18433/stat : 18433 (java) S 18413 18413 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150583584 26623803392 6577 33554432000 4194304 4196468 140727475597408 139941046614240 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18434] ppid=18413 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/18415/task/18434/stat : 18434 (java) S 18413 18413 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150583584 26623803392 6577 33554432000 4194304 4196468 140727475597408 139941045561776 139942062115458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27692 KiB

[startup+0.210719 s]*
/proc/loadavg: 8.22 8.26 8.14 3/199 18434
/proc/meminfo: memFree=27316468/32770624 swapFree=67108860/67108860
[pid=18413] ppid=18410 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18413/stat : 18413 (xcsp3-exec) S 18410 18413 17559 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150583578 9740288 346 33554432000 4194304 5098028 140723772209648 140723772207752 139929781031548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18337792 140723772216426 140723772216636 140723772216636 140723772219371 0
/proc/18413/statm: 2378 346 289 221 0 87 0
[pid=18415] ppid=18413 vsize=26004064 memory=39084 CPUtime=0.33 cores=0-7
/proc/18415/stat : 18415 (java) S 18413 18413 17559 0 -1 1077944320 8318 0 0 0 31 2 0 0 20 0 20 0 150583578 26628161536 9771 33554432000 4194304 4196468 140727475597408 140727475579952 139942062104311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
/proc/18415/statm: 6501016 9771 3063 1 0 6488269 0
[pid=18415/tid=18416] ppid=18413 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/18415/task/18416/stat : 18416 (java) R 18413 18413 17559 0 -1 4202560 5391 0 0 0 18 1 0 0 20 0 20 0 150583578 26628161536 9771 33554432000 4194304 4196468 140727475597408 139942066317264 139942062126237 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18417] ppid=18413 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/18415/task/18417/stat : 18417 (java) S 18413 18413 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150583579 26628161536 9771 33554432000 4194304 4196468 140727475597408 139941984684304 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18418] ppid=18413 vsize=26004064 memory=288370488459998848 CPUtime=0 cores=0-7
/proc/18415/task/18418/stat : 18418 (java) S 18413 18413 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150583579 26628161536 9771 33554432000 4194304 4196468 140727475597408 139941983631760 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18419] ppid=18413 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/18415/task/18419/stat : 18419 (java) S 18413 18413 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150583579 26628161536 9771 33554432000 4194304 4196468 140727475597408 139941982579216 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18420] ppid=18413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18420/stat : 18420 (java) S 18413 18413 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150583579 26628161536 9771 33554432000 4194304 4196468 140727475597408 139941981526672 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18421] ppid=18413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18421/stat : 18421 (java) S 18413 18413 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150583579 26628161536 9771 33554432000 4194304 4196468 140727475597408 139941616048912 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18422] ppid=18413 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/18415/task/18422/stat : 18422 (java) S 18413 18413 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150583579 26628161536 9771 33554432000 4194304 4196468 140727475597408 139941614996368 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18423] ppid=18413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18423/stat : 18423 (java) S 18413 18413 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150583579 26628161536 9771 33554432000 4194304 4196468 140727475597408 139941613943824 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18424] ppid=18413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18424/stat : 18424 (java) S 18413 18413 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150583579 26628161536 9771 33554432000 4194304 4196468 140727475597408 139941612891280 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18425] ppid=18413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18425/stat : 18425 (java) S 18413 18413 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150583581 26628161536 9771 33554432000 4194304 4196468 140727475597408 139941055035376 139942062115458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18426] ppid=18413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18426/stat : 18426 (java) S 18413 18413 17559 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150583581 26628161536 9771 33554432000 4194304 4196468 140727475597408 139941053981600 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18427] ppid=18413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18427/stat : 18427 (java) S 18413 18413 17559 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150583581 26628161536 9771 33554432000 4194304 4196468 140727475597408 139941052929008 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18428] ppid=18413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18428/stat : 18428 (java) S 18413 18413 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150583584 26628161536 9771 33554432000 4194304 4196468 140727475597408 139941051877584 139942062122907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18429] ppid=18413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18429/stat : 18429 (java) S 18413 18413 17559 0 -1 1077944384 350 0 0 0 0 0 0 0 20 0 20 0 150583584 26628161536 9771 33554432000 4194304 4196468 140727475597408 139941050825200 139942062115458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18430] ppid=18413 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/18415/task/18430/stat : 18430 (java) S 18413 18413 17559 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 20 0 150583584 26628161536 9771 33554432000 4194304 4196468 140727475597408 139941049772656 139942062115458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18431] ppid=18413 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/18415/task/18431/stat : 18431 (java) S 18413 18413 17559 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 20 0 150583584 26628161536 9771 33554432000 4194304 4196468 140727475597408 139941048720112 139942062115458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18432] ppid=18413 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/18415/task/18432/stat : 18432 (java) R 18413 18413 17559 0 -1 4202560 753 0 0 0 7 0 0 0 20 0 20 0 150583584 26628161536 9771 33554432000 4194304 4196468 140727475597408 139941047667568 139942046286678 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18433] ppid=18413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18433/stat : 18433 (java) S 18413 18413 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150583584 26628161536 9771 33554432000 4194304 4196468 140727475597408 139941046614240 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18434] ppid=18413 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/18415/task/18434/stat : 18434 (java) S 18413 18413 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150583584 26628161536 9771 33554432000 4194304 4196468 140727475597408 139941045561776 139942062115458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40468 KiB

[startup+0.310422 s]*
/proc/loadavg: 8.22 8.26 8.14 3/199 18434
/proc/meminfo: memFree=27311568/32770624 swapFree=67108860/67108860
[pid=18413] ppid=18410 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18413/stat : 18413 (xcsp3-exec) S 18410 18413 17559 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150583578 9740288 346 33554432000 4194304 5098028 140723772209648 140723772207752 139929781031548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18337792 140723772216426 140723772216636 140723772216636 140723772219371 0
/proc/18413/statm: 2378 346 289 221 0 87 0
[pid=18415] ppid=18413 vsize=26004064 memory=43724 CPUtime=0.51 cores=0-7
/proc/18415/stat : 18415 (java) S 18413 18413 17559 0 -1 1077944320 9170 0 0 0 48 3 0 0 20 0 20 0 150583578 26628161536 10931 33554432000 4194304 4196468 140727475597408 140727475579952 139942062104311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
/proc/18415/statm: 6501016 10931 3079 1 0 6488269 0
[pid=18415/tid=18416] ppid=18413 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/18415/task/18416/stat : 18416 (java) R 18413 18413 17559 0 -1 4202560 6067 0 0 0 28 1 0 0 20 0 20 0 150583578 26628161536 11443 33554432000 4194304 4196468 140727475597408 139942066342992 139942062116246 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18417] ppid=18413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18417/stat : 18417 (java) S 18413 18413 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150583579 26628161536 11443 33554432000 4194304 4196468 140727475597408 139941984684304 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18418] ppid=18413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18418/stat : 18418 (java) S 18413 18413 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150583579 26628161536 11443 33554432000 4194304 4196468 140727475597408 139941983631760 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18419] ppid=18413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18419/stat : 18419 (java) S 18413 18413 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150583579 26628161536 11443 33554432000 4194304 4196468 140727475597408 139941982579216 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18420] ppid=18413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18420/stat : 18420 (java) S 18413 18413 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150583579 26628161536 11443 33554432000 4194304 4196468 140727475597408 139941981526672 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18421] ppid=18413 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/18415/task/18421/stat : 18421 (java) S 18413 18413 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150583579 26628161536 11443 33554432000 4194304 4196468 140727475597408 139941616048912 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18422] ppid=18413 vsize=26004064 memory=140112168055727 CPUtime=0 cores=0-7
/proc/18415/task/18422/stat : 18422 (java) S 18413 18413 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150583579 26628161536 11443 33554432000 4194304 4196468 140727475597408 139941614996368 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18423] ppid=18413 vsize=26004064 memory=140112168058032 CPUtime=0 cores=0-7
/proc/18415/task/18423/stat : 18423 (java) S 18413 18413 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150583579 26628161536 11443 33554432000 4194304 4196468 140727475597408 139941613943824 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18424] ppid=18413 vsize=26004064 memory=140112168060336 CPUtime=0 cores=0-7
/proc/18415/task/18424/stat : 18424 (java) S 18413 18413 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150583579 26628161536 11443 33554432000 4194304 4196468 140727475597408 139941612891280 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18425] ppid=18413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18425/stat : 18425 (java) S 18413 18413 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150583581 26628161536 11443 33554432000 4194304 4196468 140727475597408 139941055035376 139942062115458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18426] ppid=18413 vsize=26004064 memory=280224336127632 CPUtime=0 cores=0-7
/proc/18415/task/18426/stat : 18426 (java) S 18413 18413 17559 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150583581 26628161536 11443 33554432000 4194304 4196468 140727475597408 139941053981600 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18427] ppid=18413 vsize=26004064 memory=280224336134544 CPUtime=0 cores=0-7
/proc/18415/task/18427/stat : 18427 (java) S 18413 18413 17559 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150583581 26628161536 11443 33554432000 4194304 4196468 140727475597408 139941052929008 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18428] ppid=18413 vsize=26004064 memory=280224336075824 CPUtime=0 cores=0-7
/proc/18415/task/18428/stat : 18428 (java) S 18413 18413 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150583584 26628161536 11443 33554432000 4194304 4196468 140727475597408 139941051877584 139942062122907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18429] ppid=18413 vsize=26004064 memory=280224336148368 CPUtime=0.01 cores=0-7
/proc/18415/task/18429/stat : 18429 (java) R 18413 18413 17559 0 -1 4202560 361 0 0 0 1 0 0 0 20 0 20 0 150583584 26628161536 11443 33554432000 4194304 4196468 140727475597408 139941050825200 139942042738736 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18430] ppid=18413 vsize=26004064 memory=280224336155280 CPUtime=0.03 cores=0-7
/proc/18415/task/18430/stat : 18430 (java) S 18413 18413 17559 0 -1 1077944384 246 0 0 0 3 0 0 0 20 0 20 0 150583584 26628161536 11443 33554432000 4194304 4196468 140727475597408 139941049772656 139942062115458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18431] ppid=18413 vsize=26004064 memory=280224336152976 CPUtime=0.02 cores=0-7
/proc/18415/task/18431/stat : 18431 (java) S 18413 18413 17559 0 -1 1077944384 321 0 0 0 2 0 0 0 20 0 20 0 150583584 26628161536 11443 33554432000 4194304 4196468 140727475597408 139941048720112 139942062115458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18432] ppid=18413 vsize=26004064 memory=280224336169136 CPUtime=0.12 cores=0-7
/proc/18415/task/18432/stat : 18432 (java) R 18413 18413 17559 0 -1 4202560 876 0 0 0 12 0 0 0 20 0 20 0 150583584 26628161536 11443 33554432000 4194304 4196468 140727475597408 139941047664744 139942055201044 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18433] ppid=18413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18433/stat : 18433 (java) S 18413 18413 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150583584 26628161536 11443 33554432000 4194304 4196468 140727475597408 139941046614240 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18434] ppid=18413 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/18415/task/18434/stat : 18434 (java) S 18413 18413 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150583584 26628161536 11443 33554432000 4194304 4196468 140727475597408 139941045561776 139942062115458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45108 KiB

[startup+0.701041 s]
/proc/loadavg: 7.80 8.17 8.11 3/199 18434
/proc/meminfo: memFree=27291236/32770624 swapFree=67108860/67108860
[pid=18413] ppid=18410 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18413/stat : 18413 (xcsp3-exec) S 18410 18413 17559 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150583578 9740288 346 33554432000 4194304 5098028 140723772209648 140723772207752 139929781031548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18337792 140723772216426 140723772216636 140723772216636 140723772219371 0
/proc/18413/statm: 2378 346 289 221 0 87 0
[pid=18415] ppid=18413 vsize=26006188 memory=87300 CPUtime=1.75 cores=0-7
/proc/18415/stat : 18415 (java) S 18413 18413 17559 0 -1 1077944320 12931 0 0 0 170 5 0 0 20 0 20 0 150583578 26630336512 21825 33554432000 4194304 4196468 140727475597408 140727475579952 139942062104311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
/proc/18415/statm: 6501547 21825 3206 1 0 6488781 0
[pid=18415/tid=18416] ppid=18413 vsize=26006188 memory=280224336527024 CPUtime=0.66 cores=0-7
/proc/18415/task/18416/stat : 18416 (java) R 18413 18413 17559 0 -1 4202560 6860 0 0 0 64 2 0 0 20 0 20 0 150583578 26630336512 21825 33554432000 4194304 4196468 140727475597408 139942066339424 139942062116246 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18417] ppid=18413 vsize=26006188 memory=140112168264560 CPUtime=0 cores=0-7
/proc/18415/task/18417/stat : 18417 (java) S 18413 18413 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150583579 26630336512 21825 33554432000 4194304 4196468 140727475597408 139941984684304 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18418] ppid=18413 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/18415/task/18418/stat : 18418 (java) S 18413 18413 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150583579 26630336512 21825 33554432000 4194304 4196468 140727475597408 139941983631760 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18419] ppid=18413 vsize=26006188 memory=4620 CPUtime=0 cores=0-7
/proc/18415/task/18419/stat : 18419 (java) S 18413 18413 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150583579 26630336512 21825 33554432000 4194304 4196468 140727475597408 139941982579216 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0

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

[pid=18415/tid=18442] ppid=18413 vsize=26538700 memory=638588 CPUtime=158.13 cores=0-7
/proc/18415/task/18442/stat : 18442 (java) R 18413 18413 17559 0 -1 4202560 2532 0 0 0 15809 4 0 0 20 0 28 0 150583682 27175628800 159647 33554432000 4194304 4196468 140727475597408 139940241735400 139941668533597 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
Current children cumulated CPU time: 1288.23 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 639972 KiB

[startup+222.302 s]
/proc/loadavg: 8.03 8.15 8.13 9/207 18443
/proc/meminfo: memFree=26844116/32770624 swapFree=67108860/67108860
[pid=18413] ppid=18410 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18413/stat : 18413 (xcsp3-exec) S 18410 18413 17559 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150583578 9740288 346 33554432000 4194304 5098028 140723772209648 140723772207752 139929781031548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18337792 140723772216426 140723772216636 140723772216636 140723772219371 0
/proc/18413/statm: 2378 346 289 221 0 87 0
[pid=18415] ppid=18413 vsize=26538700 memory=510344 CPUtime=1766.3 cores=0-7
/proc/18415/stat : 18415 (java) S 18413 18413 17559 0 -1 1077944320 128768 0 0 0 176499 131 0 0 20 0 28 0 150583578 27175628800 127586 33554432000 4194304 4196468 140727475597408 140727475579952 139942062104311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
/proc/18415/statm: 6634675 127586 3276 1 0 6621909 0
[pid=18415/tid=18416] ppid=18413 vsize=26538700 memory=1384 CPUtime=0.97 cores=0-7
/proc/18415/task/18416/stat : 18416 (java) S 18413 18413 17559 0 -1 1077944384 7035 0 0 0 94 3 0 0 20 0 28 0 150583578 27175628800 127586 33554432000 4194304 4196468 140727475597408 139942066345088 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18417] ppid=18413 vsize=26538700 memory=1384 CPUtime=0.22 cores=0-7
/proc/18415/task/18417/stat : 18417 (java) S 18413 18413 17559 0 -1 1077944384 908 0 0 0 15 7 0 0 20 0 28 0 150583579 27175628800 127586 33554432000 4194304 4196468 140727475597408 139941984684304 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18418] ppid=18413 vsize=26538700 memory=510344 CPUtime=0.24 cores=0-7
/proc/18415/task/18418/stat : 18418 (java) S 18413 18413 17559 0 -1 1077944384 1494 0 0 0 16 8 0 0 20 0 28 0 150583579 27175628800 127586 33554432000 4194304 4196468 140727475597408 139941983631760 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18419] ppid=18413 vsize=26538700 memory=510344 CPUtime=0.21 cores=0-7
/proc/18415/task/18419/stat : 18419 (java) S 18413 18413 17559 0 -1 1077944384 1204 0 0 0 14 7 0 0 20 0 28 0 150583579 27175628800 127586 33554432000 4194304 4196468 140727475597408 139941982579216 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18420] ppid=18413 vsize=26538700 memory=1008 CPUtime=0.19 cores=0-7
/proc/18415/task/18420/stat : 18420 (java) S 18413 18413 17559 0 -1 1077944384 2002 0 0 0 13 6 0 0 20 0 28 0 150583579 27175628800 127586 33554432000 4194304 4196468 140727475597408 139941981526672 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18421] ppid=18413 vsize=26538700 memory=4620 CPUtime=0.22 cores=0-7
/proc/18415/task/18421/stat : 18421 (java) S 18413 18413 17559 0 -1 1077944384 1454 0 0 0 15 7 0 0 20 0 28 0 150583579 27175628800 127586 33554432000 4194304 4196468 140727475597408 139941616048912 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18422] ppid=18413 vsize=26538700 memory=1384 CPUtime=0.23 cores=0-7
/proc/18415/task/18422/stat : 18422 (java) S 18413 18413 17559 0 -1 1077944384 1067 0 0 0 15 8 0 0 20 0 28 0 150583579 27175628800 127586 33554432000 4194304 4196468 140727475597408 139941614996368 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18423] ppid=18413 vsize=26538700 memory=1384 CPUtime=0.21 cores=0-7
/proc/18415/task/18423/stat : 18423 (java) S 18413 18413 17559 0 -1 1077944384 918 0 0 0 14 7 0 0 20 0 28 0 150583579 27175628800 127586 33554432000 4194304 4196468 140727475597408 139941613943824 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18424] ppid=18413 vsize=26538700 memory=280224337719648 CPUtime=0.22 cores=0-7
/proc/18415/task/18424/stat : 18424 (java) S 18413 18413 17559 0 -1 1077944384 1807 0 0 0 14 8 0 0 20 0 28 0 150583579 27175628800 127586 33554432000 4194304 4196468 140727475597408 139941612891280 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18425] ppid=18413 vsize=26538700 memory=7680491646476186387 CPUtime=0.18 cores=0-7
/proc/18415/task/18425/stat : 18425 (java) S 18413 18413 17559 0 -1 1077944384 4001 0 0 0 9 9 0 0 20 0 28 0 150583581 27175628800 127586 33554432000 4194304 4196468 140727475597408 139941055035376 139942062115458 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18426] ppid=18413 vsize=26538700 memory=97 CPUtime=0 cores=0-7
/proc/18415/task/18426/stat : 18426 (java) S 18413 18413 17559 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 150583581 27175628800 127586 33554432000 4194304 4196468 140727475597408 139941053981600 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18427] ppid=18413 vsize=26538700 memory=4629541518270565750 CPUtime=0 cores=0-7
/proc/18415/task/18427/stat : 18427 (java) S 18413 18413 17559 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 150583581 27175628800 127586 33554432000 4194304 4196468 140727475597408 139941052929008 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18428] ppid=18413 vsize=26538700 memory=1796 CPUtime=0 cores=0-7
/proc/18415/task/18428/stat : 18428 (java) S 18413 18413 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150583584 27175628800 127586 33554432000 4194304 4196468 140727475597408 139941051877584 139942062122907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18429] ppid=18413 vsize=26538700 memory=1236 CPUtime=3.76 cores=0-7
/proc/18415/task/18429/stat : 18429 (java) S 18413 18413 17559 0 -1 1077944384 25112 0 0 0 370 6 0 0 20 0 28 0 150583584 27175628800 127586 33554432000 4194304 4196468 140727475597408 139941050825200 139942062115458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18430] ppid=18413 vsize=26538700 memory=41724 CPUtime=3.34 cores=0-7
/proc/18415/task/18430/stat : 18430 (java) S 18413 18413 17559 0 -1 1077944384 20474 0 0 0 330 4 0 0 20 0 28 0 150583584 27175628800 127586 33554432000 4194304 4196468 140727475597408 139941049772656 139942062115458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18431] ppid=18413 vsize=26538700 memory=1296 CPUtime=3.36 cores=0-7
/proc/18415/task/18431/stat : 18431 (java) S 18413 18413 17559 0 -1 1077944384 16995 0 0 0 332 4 0 0 20 0 28 0 150583584 27175628800 127586 33554432000 4194304 4196468 140727475597408 139941048720112 139942062115458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18432] ppid=18413 vsize=26538700 memory=4140 CPUtime=0.95 cores=0-7
/proc/18415/task/18432/stat : 18432 (java) S 18413 18413 17559 0 -1 1077944384 13194 0 0 0 92 3 0 0 20 0 28 0 150583584 27175628800 127586 33554432000 4194304 4196468 140727475597408 139941047667568 139942062115458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18433] ppid=18413 vsize=26538700 memory=41724 CPUtime=0 cores=0-7
/proc/18415/task/18433/stat : 18433 (java) S 18413 18413 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150583584 27175628800 127586 33554432000 4194304 4196468 140727475597408 139941046614240 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18434] ppid=18413 vsize=26538700 memory=1296 CPUtime=0.04 cores=0-7
/proc/18415/task/18434/stat : 18434 (java) S 18413 18413 17559 0 -1 1077944384 2490 0 0 0 0 4 0 0 20 0 28 0 150583584 27175628800 127586 33554432000 4194304 4196468 140727475597408 139941045561776 139942062115458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18435] ppid=18413 vsize=26538700 memory=517020 CPUtime=218.44 cores=0-7
/proc/18415/task/18435/stat : 18435 (java) R 18413 18413 17559 0 -1 4202560 2755 0 0 0 21841 3 0 0 20 0 28 0 150583679 27175628800 127586 33554432000 4194304 4196468 140727475597408 139941041839016 139941670381034 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18436] ppid=18413 vsize=26538700 memory=1384 CPUtime=219.24 cores=0-7
/proc/18415/task/18436/stat : 18436 (java) R 18413 18413 17559 0 -1 4202560 1866 0 0 0 21922 2 0 0 20 0 28 0 150583679 27175628800 127586 33554432000 4194304 4196468 140727475597408 139940248051448 139941672016450 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18437] ppid=18413 vsize=26538700 memory=526764 CPUtime=219.67 cores=0-7
/proc/18415/task/18437/stat : 18437 (java) R 18413 18413 17559 0 -1 4202560 2620 0 0 0 21964 3 0 0 20 0 28 0 150583679 27175628800 127586 33554432000 4194304 4196468 140727475597408 139940246999016 139941670381037 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18438] ppid=18413 vsize=26538700 memory=1796 CPUtime=219.49 cores=0-7
/proc/18415/task/18438/stat : 18438 (java) R 18413 18413 17559 0 -1 4202560 8421 0 0 0 21937 12 0 0 20 0 28 0 150583682 27175628800 127586 33554432000 4194304 4196468 140727475597408 139940245946240 139941672369901 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18439] ppid=18413 vsize=26538700 memory=1236 CPUtime=219.4 cores=0-7
/proc/18415/task/18439/stat : 18439 (java) R 18413 18413 17559 0 -1 4202560 6004 0 0 0 21934 6 0 0 20 0 28 0 150583682 27175628800 127586 33554432000 4194304 4196468 140727475597408 139940244893512 139941672551962 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18440] ppid=18413 vsize=26538700 memory=640 CPUtime=218.61 cores=0-7
/proc/18415/task/18440/stat : 18440 (java) R 18413 18413 17559 0 -1 4202560 1321 0 0 0 21860 1 0 0 20 0 28 0 150583682 27175628800 127586 33554432000 4194304 4196468 140727475597408 139940243841000 139941670184773 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18441] ppid=18413 vsize=26538700 memory=1384 CPUtime=219.13 cores=0-7
/proc/18415/task/18441/stat : 18441 (java) R 18413 18413 17559 0 -1 4202560 1702 0 0 0 21912 1 0 0 20 0 28 0 150583682 27175628800 127586 33554432000 4194304 4196468 140727475597408 139940242790528 139941670490944 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18442] ppid=18413 vsize=26538700 memory=1384 CPUtime=217.71 cores=0-7
/proc/18415/task/18442/stat : 18442 (java) R 18413 18413 17559 0 -1 4202560 2625 0 0 0 21767 4 0 0 20 0 28 0 150583682 27175628800 127586 33554432000 4194304 4196468 140727475597408 139940241734968 139941672017247 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
Current children cumulated CPU time: 1766.3 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 511728 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.02 8.14 8.12 9/207 18443
/proc/meminfo: memFree=26889472/32770624 swapFree=67108860/67108860
[pid=18413] ppid=18410 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18413/stat : 18413 (xcsp3-exec) S 18410 18413 17559 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150583578 9740288 346 33554432000 4194304 5098028 140723772209648 140723772207752 139929781031548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18337792 140723772216426 140723772216636 140723772216636 140723772219371 0
/proc/18413/statm: 2378 346 289 221 0 87 0
[pid=18415] ppid=18413 vsize=26538700 memory=465188 CPUtime=2003.03 cores=0-7
/proc/18415/stat : 18415 (java) S 18413 18413 17559 0 -1 1077944320 130077 0 0 0 200168 135 0 0 20 0 28 0 150583578 27175628800 116297 33554432000 4194304 4196468 140727475597408 140727475579952 139942062104311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
/proc/18415/statm: 6634675 116297 3276 1 0 6621909 0
[pid=18415/tid=18416] ppid=18413 vsize=26538700 memory=6791534058613427641 CPUtime=0.97 cores=0-7
/proc/18415/task/18416/stat : 18416 (java) S 18413 18413 17559 0 -1 1077944384 7035 0 0 0 94 3 0 0 20 0 28 0 150583578 27175628800 116297 33554432000 4194304 4196468 140727475597408 139942066345088 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18417] ppid=18413 vsize=26538700 memory=4872558044660077418 CPUtime=0.25 cores=0-7
/proc/18415/task/18417/stat : 18417 (java) S 18413 18413 17559 0 -1 1077944384 920 0 0 0 17 8 0 0 20 0 28 0 150583579 27175628800 116297 33554432000 4194304 4196468 140727475597408 139941984684304 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18418] ppid=18413 vsize=26538700 memory=1692 CPUtime=0.25 cores=0-7
/proc/18415/task/18418/stat : 18418 (java) S 18413 18413 17559 0 -1 1077944384 1498 0 0 0 17 8 0 0 20 0 28 0 150583579 27175628800 116297 33554432000 4194304 4196468 140727475597408 139941983631760 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18419] ppid=18413 vsize=26538700 memory=916 CPUtime=0.23 cores=0-7
/proc/18415/task/18419/stat : 18419 (java) S 18413 18413 17559 0 -1 1077944384 1218 0 0 0 16 7 0 0 20 0 28 0 150583579 27175628800 116297 33554432000 4194304 4196468 140727475597408 139941982579216 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18420] ppid=18413 vsize=26538700 memory=4116 CPUtime=0.22 cores=0-7
/proc/18415/task/18420/stat : 18420 (java) S 18413 18413 17559 0 -1 1077944384 2018 0 0 0 15 7 0 0 20 0 28 0 150583579 27175628800 116297 33554432000 4194304 4196468 140727475597408 139941981526672 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18421] ppid=18413 vsize=26538700 memory=4096 CPUtime=0.23 cores=0-7
/proc/18415/task/18421/stat : 18421 (java) S 18413 18413 17559 0 -1 1077944384 1464 0 0 0 16 7 0 0 20 0 28 0 150583579 27175628800 116297 33554432000 4194304 4196468 140727475597408 139941616048912 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18422] ppid=18413 vsize=26538700 memory=1156 CPUtime=0.25 cores=0-7
/proc/18415/task/18422/stat : 18422 (java) S 18413 18413 17559 0 -1 1077944384 1081 0 0 0 17 8 0 0 20 0 28 0 150583579 27175628800 116297 33554432000 4194304 4196468 140727475597408 139941614996368 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18423] ppid=18413 vsize=26538700 memory=3688 CPUtime=0.24 cores=0-7
/proc/18415/task/18423/stat : 18423 (java) S 18413 18413 17559 0 -1 1077944384 958 0 0 0 16 8 0 0 20 0 28 0 150583579 27175628800 116297 33554432000 4194304 4196468 140727475597408 139941613943824 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18424] ppid=18413 vsize=26538700 memory=1384 CPUtime=0.24 cores=0-7
/proc/18415/task/18424/stat : 18424 (java) S 18413 18413 17559 0 -1 1077944384 2058 0 0 0 16 8 0 0 20 0 28 0 150583579 27175628800 116297 33554432000 4194304 4196468 140727475597408 139941612891280 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18425] ppid=18413 vsize=26538700 memory=1384 CPUtime=0.21 cores=0-7
/proc/18415/task/18425/stat : 18425 (java) S 18413 18413 17559 0 -1 1077944384 4034 0 0 0 10 11 0 0 20 0 28 0 150583581 27175628800 116297 33554432000 4194304 4196468 140727475597408 139941055035376 139942062115458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18426] ppid=18413 vsize=26538700 memory=465188 CPUtime=0 cores=0-7
/proc/18415/task/18426/stat : 18426 (java) S 18413 18413 17559 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 150583581 27175628800 116297 33554432000 4194304 4196468 140727475597408 139941053981600 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18427] ppid=18413 vsize=26538700 memory=1576 CPUtime=0 cores=0-7
/proc/18415/task/18427/stat : 18427 (java) S 18413 18413 17559 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 150583581 27175628800 116297 33554432000 4194304 4196468 140727475597408 139941052929008 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18428] ppid=18413 vsize=26538700 memory=2196 CPUtime=0 cores=0-7
/proc/18415/task/18428/stat : 18428 (java) S 18413 18413 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150583584 27175628800 116297 33554432000 4194304 4196468 140727475597408 139941051877584 139942062122907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18429] ppid=18413 vsize=26538700 memory=8040 CPUtime=3.76 cores=0-7
/proc/18415/task/18429/stat : 18429 (java) S 18413 18413 17559 0 -1 1077944384 25112 0 0 0 370 6 0 0 20 0 28 0 150583584 27175628800 116297 33554432000 4194304 4196468 140727475597408 139941050825200 139942062115458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18430] ppid=18413 vsize=26538700 memory=640 CPUtime=3.34 cores=0-7
/proc/18415/task/18430/stat : 18430 (java) S 18413 18413 17559 0 -1 1077944384 20474 0 0 0 330 4 0 0 20 0 28 0 150583584 27175628800 116297 33554432000 4194304 4196468 140727475597408 139941049772656 139942062115458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18431] ppid=18413 vsize=26538700 memory=956 CPUtime=3.36 cores=0-7
/proc/18415/task/18431/stat : 18431 (java) S 18413 18413 17559 0 -1 1077944384 16995 0 0 0 332 4 0 0 20 0 28 0 150583584 27175628800 116297 33554432000 4194304 4196468 140727475597408 139941048720112 139942062115458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18432] ppid=18413 vsize=26538700 memory=2424 CPUtime=0.95 cores=0-7
/proc/18415/task/18432/stat : 18432 (java) S 18413 18413 17559 0 -1 1077944384 13660 0 0 0 92 3 0 0 20 0 28 0 150583584 27175628800 116297 33554432000 4194304 4196468 140727475597408 139941047667568 139942062115458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18433] ppid=18413 vsize=26538700 memory=2240 CPUtime=0 cores=0-7
/proc/18415/task/18433/stat : 18433 (java) S 18413 18413 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150583584 27175628800 116297 33554432000 4194304 4196468 140727475597408 139941046614240 139942062114517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18434] ppid=18413 vsize=26538700 memory=4316 CPUtime=0.06 cores=0-7
/proc/18415/task/18434/stat : 18434 (java) S 18413 18413 17559 0 -1 1077944384 2492 0 0 0 1 5 0 0 20 0 28 0 150583584 27175628800 116297 33554432000 4194304 4196468 140727475597408 139941045561776 139942062115458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18435] ppid=18413 vsize=26538700 memory=928 CPUtime=247.79 cores=0-7
/proc/18415/task/18435/stat : 18435 (java) R 18413 18413 17559 0 -1 4202560 2767 0 0 0 24776 3 0 0 20 0 28 0 150583679 27175628800 116297 33554432000 4194304 4196468 140727475597408 139941041838952 139941667276226 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18436] ppid=18413 vsize=26538700 memory=1576 CPUtime=248.72 cores=0-7
/proc/18415/task/18436/stat : 18436 (java) R 18413 18413 17559 0 -1 4202560 1880 0 0 0 24870 2 0 0 20 0 28 0 150583679 27175628800 116297 33554432000 4194304 4196468 140727475597408 139940248051176 139941668812754 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18437] ppid=18413 vsize=26538700 memory=2196 CPUtime=249.3 cores=0-7
/proc/18415/task/18437/stat : 18437 (java) R 18413 18413 17559 0 -1 4202560 2647 0 0 0 24927 3 0 0 20 0 28 0 150583679 27175628800 116297 33554432000 4194304 4196468 140727475597408 139940246998936 139941667716066 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18438] ppid=18413 vsize=26538700 memory=1428 CPUtime=249.16 cores=0-7
/proc/18415/task/18438/stat : 18438 (java) R 18413 18413 17559 0 -1 4202560 8493 0 0 0 24904 12 0 0 20 0 28 0 150583682 27175628800 116297 33554432000 4194304 4196468 140727475597408 139940245946240 139941672369901 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18439] ppid=18413 vsize=26538700 memory=1204 CPUtime=249.06 cores=0-7
/proc/18415/task/18439/stat : 18439 (java) R 18413 18413 17559 0 -1 4202560 6301 0 0 0 24899 7 0 0 20 0 28 0 150583682 27175628800 116297 33554432000 4194304 4196468 140727475597408 139940244894616 139941670381097 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18440] ppid=18413 vsize=26538700 memory=15880 CPUtime=248.26 cores=0-7
/proc/18415/task/18440/stat : 18440 (java) R 18413 18413 17559 0 -1 4202560 1327 0 0 0 24825 1 0 0 20 0 28 0 150583682 27175628800 116297 33554432000 4194304 4196468 140727475597408 139940243840776 139941668812610 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18441] ppid=18413 vsize=26538700 memory=25304 CPUtime=248.78 cores=0-7
/proc/18415/task/18441/stat : 18441 (java) R 18413 18413 17559 0 -1 4202560 1710 0 0 0 24877 1 0 0 20 0 28 0 150583682 27175628800 116297 33554432000 4194304 4196468 140727475597408 139940242790528 139941672016952 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
[pid=18415/tid=18442] ppid=18413 vsize=26538700 memory=4048 CPUtime=247.18 cores=0-7
/proc/18415/task/18442/stat : 18442 (java) R 18413 18413 17559 0 -1 4202560 2636 0 0 0 24713 5 0 0 20 0 28 0 150583682 27175628800 116297 33554432000 4194304 4196468 140727475597408 139940241734968 139941672550561 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 37277696 140727475598488 140727475598664 140727475598664 140727475601359 0
Current children cumulated CPU time: 2003.03 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 466572 KiB

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

[startup+252.037 s]
# the end of solver process 18413 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001296 s, system=0.000648 s

[startup+252.114 s]
# the end of solver process 18415 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2002.38 s, system=1.36896 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 252.114
CPU time (s): 2003.75
CPU user time (s): 2002.38
CPU system time (s): 1.36896
CPU usage (%): 794.778
Max. virtual memory (cumulated for all children) (KiB): 26550020
Max. memory (cumulated for all children) (KiB): 790888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2002.38
system time used= 1.36895
maximum resident set size= 795652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131056
page faults= 0
swaps= 0
block input operations= 0
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13442
involuntary context switches= 21673


# summary of solver processes directly reported to runsolver:
#   pid: 18413,18415
#   total CPU time (s): 2003.75
#   total CPU user time (s): 2002.38
#   total CPU system time (s): 1.36896

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.71241 second user time and 2.43377 second system time

The end

Launcher Data 

Begin job on node106 at 2017-08-19 22:21:39
IDJOB=4281538
IDBENCH=115674
IDSOLVER=2676
FILE ID=node106/4281538-1503174959
RUNJOBID= node106-1503164925-17586
PBS_JOBID= 20630831
Free space on /tmp= 61820 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-100-05-7.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-4281538-1503174959/watcher-4281538-1503174959 -o /tmp/evaluation-result-4281538-1503174959/solver-4281538-1503174959 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503164925-17586 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1687879259 HOME/instance-4281538-1503174959.xml

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

MD5SUM BENCH= 8361c52194adc4d0d2847bb08daa8f1b
RANDOM SEED=1687879259

node106.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.86
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.86
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.86
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.86
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:        27343460 kB
MemAvailable:   31972912 kB
Buffers:          238572 kB
Cached:          4683096 kB
SwapCached:            0 kB
Active:          1066992 kB
Inactive:        3910048 kB
Active(anon):      11336 kB
Inactive(anon):    80012 kB
Active(file):    1055656 kB
Inactive(file):  3830036 kB
Unevictable:        7764 kB
Mlocked:            7764 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7556 kB
Writeback:             0 kB
AnonPages:         62972 kB
Mapped:            51428 kB
Shmem:             33420 kB
Slab:             145752 kB
SReclaimable:     119192 kB
SUnreclaim:        26560 kB
KernelStack:        3232 kB
PageTables:         4588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     334256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61812 MiB
End job on node106 at 2017-08-19 22:25:52