Trace number 4400299

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 2019-09-16 parallel? (TO) 2000.01 252.109

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-15-15-5.xml
MD5SUM8b9c4e6e7c9e88d5c00f06b3f0219a0c
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1058
Best CPU time to get the best result obtained on this benchmark2400.17
Satisfiable
(Un)Satisfiability was proved
Number of variables915
Number of constraints720
Number of domains17
Minimum domain size13
Maximum domain size1059
Distribution of domain sizes[{"size":13,"count":30},{"size":14,"count":90},{"size":15,"count":330},{"size":1059,"count":465}]
Minimum variable degree2
Maximum variable degree16
Distribution of variable degrees[{"degree":2,"count":240},{"degree":3,"count":450},{"degree":16,"count":225}]
Minimum constraint arity1
Maximum constraint arity17
Distribution of constraint arities[{"arity":1,"count":15},{"arity":2,"count":225},{"arity":3,"count":225},{"arity":15,"count":30},{"arity":17,"count":225}]
Number of extensional constraints225
Number of intensional constraints240
Distribution of constraint types[{"type":"extension","count":225},{"type":"intension","count":240},{"type":"allDifferent","count":15},{"type":"noOverlap","count":15},{"type":"element","count":225}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400299-1568709330.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4400299-1568709330.xml, -tl, 2016s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
3.83/1.23	c solve instance...
1999.31/252.08	s UNKNOWN
1999.31/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 (14509 MiB free)
  memory of node 1: 16384 MiB (14140 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400299-1568709330/watcher-4400299-1568709330 -o /tmp/evaluation-result-4400299-1568709330/solver-4400299-1568709330 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568700441-10597 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1259701330 HOME/instance-4400299-1568709330.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=13313, runsolver pid=13310
Current StackSize limit: 8192 KiB


[startup+0.100133 s]*
/proc/loadavg: 7.53 8.03 8.07 2/212 13334
/proc/meminfo: memFree=29320060/32770624 swapFree=66939908/67108860
[pid=13313] ppid=13310 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13313/stat : 13313 (xcsp3-exec) S 13310 13313 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446847902 115843072 363 33554432000 4194304 5098028 140724142892224 140724142890328 139932120851068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34201600 140724142895995 140724142896238 140724142896238 140724142899146 0
/proc/13313/statm: 28282 363 304 221 0 87 0
[pid=13315] ppid=13313 vsize=28227396 memory=29396 CPUtime=0.12 cores=0-7
/proc/13315/stat : 13315 (java) S 13313 13313 10570 0 -1 1077944320 5829 0 0 0 11 1 0 0 20 0 20 0 446847902 28904853504 7349 33554432000 4194304 4196468 140723285174320 140723285156864 139959230480119 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
/proc/13315/statm: 7056849 7349 3125 1 0 7019032 0
[pid=13315/tid=13316] ppid=13313 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/13315/task/13316/stat : 13316 (java) R 13313 13313 10570 0 -1 4202560 3775 0 0 0 8 1 0 0 20 0 20 0 446847902 28904853504 7349 33554432000 4194304 4196468 140723285174320 139959234715296 139959230502045 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13317] ppid=13313 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/13315/task/13317/stat : 13317 (java) S 13313 13313 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446847903 28904853504 7349 33554432000 4194304 4196468 140723285174320 139959183100688 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13318] ppid=13313 vsize=28227396 memory=140482186253952 CPUtime=0 cores=0-7
/proc/13315/task/13318/stat : 13318 (java) S 13313 13313 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446847903 28904853504 7349 33554432000 4194304 4196468 140723285174320 139959182048144 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13319] ppid=13313 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13319/stat : 13319 (java) S 13313 13313 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446847903 28904853504 7349 33554432000 4194304 4196468 140723285174320 139959180995600 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13320] ppid=13313 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13320/stat : 13320 (java) S 13313 13313 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446847903 28904853504 7349 33554432000 4194304 4196468 140723285174320 139959179943056 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13321] ppid=13313 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13321/stat : 13321 (java) S 13313 13313 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446847903 28904853504 7349 33554432000 4194304 4196468 140723285174320 139959178889488 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13322] ppid=13313 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13315/task/13322/stat : 13322 (java) S 13313 13313 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446847903 28904853504 7349 33554432000 4194304 4196468 140723285174320 139959177836944 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13323] ppid=13313 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13323/stat : 13323 (java) S 13313 13313 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446847903 28904853504 7349 33554432000 4194304 4196468 140723285174320 139959176784400 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13324] ppid=13313 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13324/stat : 13324 (java) S 13313 13313 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446847903 28904853504 7349 33554432000 4194304 4196468 140723285174320 139959175731856 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13325] ppid=13313 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13325/stat : 13325 (java) S 13313 13313 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446847904 28904853504 7349 33554432000 4194304 4196468 140723285174320 139957693938160 139959230491266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13326] ppid=13313 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13326/stat : 13326 (java) S 13313 13313 10570 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446847905 28904853504 7349 33554432000 4194304 4196468 140723285174320 139957692884384 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13327] ppid=13313 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13327/stat : 13327 (java) S 13313 13313 10570 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446847905 28904853504 7349 33554432000 4194304 4196468 140723285174320 139957691831792 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13328] ppid=13313 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13328/stat : 13328 (java) S 13313 13313 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446847908 28904853504 7349 33554432000 4194304 4196468 140723285174320 139957690780368 139959230498715 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13329] ppid=13313 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13329/stat : 13329 (java) S 13313 13313 10570 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 446847908 28904853504 7349 33554432000 4194304 4196468 140723285174320 139957689726960 139959230491266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13330] ppid=13313 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13330/stat : 13330 (java) S 13313 13313 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446847908 28904853504 7349 33554432000 4194304 4196468 140723285174320 139957688674416 139959230491266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13331] ppid=13313 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13331/stat : 13331 (java) S 13313 13313 10570 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 446847908 28904853504 7349 33554432000 4194304 4196468 140723285174320 139957687621872 139959230491266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13332] ppid=13313 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13315/task/13332/stat : 13332 (java) S 13313 13313 10570 0 -1 1077944384 322 0 0 0 1 0 0 0 20 0 20 0 446847908 28904853504 7349 33554432000 4194304 4196468 140723285174320 139957686569328 139959230491266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13333] ppid=13313 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13333/stat : 13333 (java) S 13313 13313 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446847908 28904853504 7349 33554432000 4194304 4196468 140723285174320 139957685517024 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13334] ppid=13313 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13315/task/13334/stat : 13334 (java) S 13313 13313 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446847908 28904853504 7349 33554432000 4194304 4196468 140723285174320 139957684464560 139959230491266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30848 KiB

[startup+0.210868 s]*
/proc/loadavg: 7.53 8.03 8.07 2/212 13334
/proc/meminfo: memFree=29306968/32770624 swapFree=66939908/67108860
[pid=13313] ppid=13310 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13313/stat : 13313 (xcsp3-exec) S 13310 13313 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446847902 115843072 363 33554432000 4194304 5098028 140724142892224 140724142890328 139932120851068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34201600 140724142895995 140724142896238 140724142896238 140724142899146 0
/proc/13313/statm: 28282 363 304 221 0 87 0
[pid=13315] ppid=13313 vsize=28227396 memory=41392 CPUtime=0.34 cores=0-7
/proc/13315/stat : 13315 (java) S 13313 13313 10570 0 -1 1077944320 9541 0 0 0 31 3 0 0 20 0 20 0 446847902 28904853504 10348 33554432000 4194304 4196468 140723285174320 140723285156864 139959230480119 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
/proc/13315/statm: 7056849 10348 3314 1 0 7019032 0
[pid=13315/tid=13316] ppid=13313 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/13315/task/13316/stat : 13316 (java) R 13313 13313 10570 0 -1 4202560 6625 0 0 0 18 2 0 0 20 0 20 0 446847902 28904853504 10348 33554432000 4194304 4196468 140723285174320 139959234712032 139959230492054 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13317] ppid=13313 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/13315/task/13317/stat : 13317 (java) S 13313 13313 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446847903 28904853504 10348 33554432000 4194304 4196468 140723285174320 139959183100688 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13318] ppid=13313 vsize=28227396 memory=140482189616656 CPUtime=0 cores=0-7
/proc/13315/task/13318/stat : 13318 (java) S 13313 13313 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446847903 28904853504 10348 33554432000 4194304 4196468 140723285174320 139959182048144 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13319] ppid=13313 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13315/task/13319/stat : 13319 (java) S 13313 13313 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446847903 28904853504 10348 33554432000 4194304 4196468 140723285174320 139959180995600 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13320] ppid=13313 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13320/stat : 13320 (java) S 13313 13313 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446847903 28904853504 10348 33554432000 4194304 4196468 140723285174320 139959179943056 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13321] ppid=13313 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13321/stat : 13321 (java) S 13313 13313 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446847903 28904853504 10348 33554432000 4194304 4196468 140723285174320 139959178889488 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13322] ppid=13313 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13315/task/13322/stat : 13322 (java) S 13313 13313 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446847903 28904853504 10348 33554432000 4194304 4196468 140723285174320 139959177836944 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13323] ppid=13313 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13323/stat : 13323 (java) S 13313 13313 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446847903 28904853504 10348 33554432000 4194304 4196468 140723285174320 139959176784400 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13324] ppid=13313 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13324/stat : 13324 (java) S 13313 13313 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446847903 28904853504 10348 33554432000 4194304 4196468 140723285174320 139959175731856 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13325] ppid=13313 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13325/stat : 13325 (java) S 13313 13313 10570 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446847904 28904853504 10348 33554432000 4194304 4196468 140723285174320 139957693938160 139959230491266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13326] ppid=13313 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13326/stat : 13326 (java) S 13313 13313 10570 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446847905 28904853504 10348 33554432000 4194304 4196468 140723285174320 139957692884384 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13327] ppid=13313 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13327/stat : 13327 (java) S 13313 13313 10570 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446847905 28904853504 10348 33554432000 4194304 4196468 140723285174320 139957691831792 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13328] ppid=13313 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13328/stat : 13328 (java) S 13313 13313 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446847908 28904853504 10348 33554432000 4194304 4196468 140723285174320 139957690780368 139959230498715 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13329] ppid=13313 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13315/task/13329/stat : 13329 (java) S 13313 13313 10570 0 -1 1077944384 345 0 0 0 1 0 0 0 20 0 20 0 446847908 28904853504 10348 33554432000 4194304 4196468 140723285174320 139957689726960 139959230491266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13330] ppid=13313 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13315/task/13330/stat : 13330 (java) S 13313 13313 10570 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 20 0 446847908 28904853504 10348 33554432000 4194304 4196468 140723285174320 139957688674416 139959230491266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13331] ppid=13313 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/13315/task/13331/stat : 13331 (java) S 13313 13313 10570 0 -1 1077944384 244 0 0 0 1 0 0 0 20 0 20 0 446847908 28904853504 10348 33554432000 4194304 4196468 140723285174320 139957687621872 139959230491266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13332] ppid=13313 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/13315/task/13332/stat : 13332 (java) R 13313 13313 10570 0 -1 4202560 743 0 0 0 8 0 0 0 20 0 20 0 446847908 28904853504 10348 33554432000 4194304 4196468 140723285174320 139957686569328 139959208846446 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13333] ppid=13313 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13333/stat : 13333 (java) S 13313 13313 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446847908 28904853504 10348 33554432000 4194304 4196468 140723285174320 139957685517024 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13334] ppid=13313 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13315/task/13334/stat : 13334 (java) S 13313 13313 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446847908 28904853504 10348 33554432000 4194304 4196468 140723285174320 139957684464560 139959230491266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42844 KiB

[startup+0.310864 s]*
/proc/loadavg: 7.53 8.03 8.07 3/212 13334
/proc/meminfo: memFree=29300680/32770624 swapFree=66939908/67108860
[pid=13313] ppid=13310 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13313/stat : 13313 (xcsp3-exec) S 13310 13313 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446847902 115843072 363 33554432000 4194304 5098028 140724142892224 140724142890328 139932120851068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34201600 140724142895995 140724142896238 140724142896238 140724142899146 0
/proc/13313/statm: 28282 363 304 221 0 87 0
[pid=13315] ppid=13313 vsize=28231652 memory=50168 CPUtime=0.53 cores=0-7
/proc/13315/stat : 13315 (java) S 13313 13313 10570 0 -1 1077944320 10904 0 0 0 49 4 0 0 20 0 20 0 446847902 28909211648 12542 33554432000 4194304 4196468 140723285174320 140723285156864 139959230480119 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
/proc/13315/statm: 7057913 12542 3358 1 0 7019032 0
[pid=13315/tid=13316] ppid=13313 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/13315/task/13316/stat : 13316 (java) R 13313 13313 10570 0 -1 4202560 7775 0 0 0 27 3 0 0 20 0 20 0 446847902 28909211648 12542 33554432000 4194304 4196468 140723285174320 139959234711232 139959214560606 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13317] ppid=13313 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13317/stat : 13317 (java) S 13313 13313 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446847903 28909211648 12542 33554432000 4194304 4196468 140723285174320 139959183100688 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13318] ppid=13313 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13318/stat : 13318 (java) S 13313 13313 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446847903 28909211648 12542 33554432000 4194304 4196468 140723285174320 139959182048144 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13319] ppid=13313 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13319/stat : 13319 (java) S 13313 13313 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446847903 28909211648 12542 33554432000 4194304 4196468 140723285174320 139959180995600 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13320] ppid=13313 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13320/stat : 13320 (java) S 13313 13313 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446847903 28909211648 12542 33554432000 4194304 4196468 140723285174320 139959179943056 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13321] ppid=13313 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13321/stat : 13321 (java) S 13313 13313 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446847903 28909211648 12542 33554432000 4194304 4196468 140723285174320 139959178889488 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13322] ppid=13313 vsize=28231652 memory=140482072111791 CPUtime=0 cores=0-7
/proc/13315/task/13322/stat : 13322 (java) S 13313 13313 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446847903 28909211648 12542 33554432000 4194304 4196468 140723285174320 139959177836944 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13323] ppid=13313 vsize=28231652 memory=140482072114096 CPUtime=0 cores=0-7
/proc/13315/task/13323/stat : 13323 (java) S 13313 13313 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446847903 28909211648 12542 33554432000 4194304 4196468 140723285174320 139959176784400 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13324] ppid=13313 vsize=28231652 memory=140482072116400 CPUtime=0 cores=0-7
/proc/13315/task/13324/stat : 13324 (java) S 13313 13313 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446847903 28909211648 12542 33554432000 4194304 4196468 140723285174320 139959175731856 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13325] ppid=13313 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13325/stat : 13325 (java) S 13313 13313 10570 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446847904 28909211648 12542 33554432000 4194304 4196468 140723285174320 139957693938160 139959230491266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13326] ppid=13313 vsize=28231652 memory=280964144246672 CPUtime=0 cores=0-7
/proc/13315/task/13326/stat : 13326 (java) S 13313 13313 10570 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446847905 28909211648 12542 33554432000 4194304 4196468 140723285174320 139957692884384 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13327] ppid=13313 vsize=28231652 memory=280964144244368 CPUtime=0 cores=0-7
/proc/13315/task/13327/stat : 13327 (java) S 13313 13313 10570 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446847905 28909211648 12542 33554432000 4194304 4196468 140723285174320 139957691831792 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13328] ppid=13313 vsize=28231652 memory=280964144251280 CPUtime=0 cores=0-7
/proc/13315/task/13328/stat : 13328 (java) S 13313 13313 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446847908 28909211648 12542 33554432000 4194304 4196468 140723285174320 139957690780368 139959230498715 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13329] ppid=13313 vsize=28231652 memory=280964144192560 CPUtime=0.02 cores=0-7
/proc/13315/task/13329/stat : 13329 (java) S 13313 13313 10570 0 -1 1077944384 363 0 0 0 2 0 0 0 20 0 20 0 446847908 28909211648 12542 33554432000 4194304 4196468 140723285174320 139957689726960 139959230491266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13330] ppid=13313 vsize=28231652 memory=280964144265104 CPUtime=0.02 cores=0-7
/proc/13315/task/13330/stat : 13330 (java) S 13313 13313 10570 0 -1 1077944384 281 0 0 0 2 0 0 0 20 0 20 0 446847908 28909211648 12542 33554432000 4194304 4196468 140723285174320 139957688674416 139959230491266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13331] ppid=13313 vsize=28231652 memory=280964144272016 CPUtime=0.03 cores=0-7
/proc/13315/task/13331/stat : 13331 (java) R 13313 13313 10570 0 -1 4202560 350 0 0 0 3 0 0 0 20 0 20 0 446847908 28909211648 12542 33554432000 4194304 4196468 140723285174320 139957687602888 139959211998001 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13332] ppid=13313 vsize=28231652 memory=280964144269712 CPUtime=0.12 cores=0-7
/proc/13315/task/13332/stat : 13332 (java) S 13313 13313 10570 0 -1 1077944384 837 0 0 0 12 0 0 0 20 0 20 0 446847908 28909211648 12542 33554432000 4194304 4196468 140723285174320 139957686569328 139959230491266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13333] ppid=13313 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13333/stat : 13333 (java) S 13313 13313 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446847908 28909211648 12542 33554432000 4194304 4196468 140723285174320 139957685517024 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13334] ppid=13313 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/13315/task/13334/stat : 13334 (java) S 13313 13313 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446847908 28909211648 12542 33554432000 4194304 4196468 140723285174320 139957684464560 139959230491266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51620 KiB

[startup+0.701014 s]
/proc/loadavg: 7.53 8.03 8.07 4/212 13334
/proc/meminfo: memFree=29281732/32770624 swapFree=66939908/67108860
[pid=13313] ppid=13310 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13313/stat : 13313 (xcsp3-exec) S 13310 13313 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446847902 115843072 363 33554432000 4194304 5098028 140724142892224 140724142890328 139932120851068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34201600 140724142895995 140724142896238 140724142896238 140724142899146 0
/proc/13313/statm: 28282 363 304 221 0 87 0
[pid=13315] ppid=13313 vsize=28233776 memory=85820 CPUtime=1.63 cores=0-7
/proc/13315/stat : 13315 (java) S 13313 13313 10570 0 -1 1077944320 14780 0 0 0 157 6 0 0 20 0 20 0 446847902 28911386624 21455 33554432000 4194304 4196468 140723285174320 140723285156864 139959230480119 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
/proc/13315/statm: 7058444 21455 3456 1 0 7019544 0
[pid=13315/tid=13316] ppid=13313 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/13315/task/13316/stat : 13316 (java) R 13313 13313 10570 0 -1 4202560 8826 0 0 0 64 4 0 0 20 0 20 0 446847902 28911386624 21455 33554432000 4194304 4196468 140723285174320 139959234717184 139958845402939 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13317] ppid=13313 vsize=28233776 memory=140482072322928 CPUtime=0 cores=0-7
/proc/13315/task/13317/stat : 13317 (java) S 13313 13313 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446847903 28911386624 21455 33554432000 4194304 4196468 140723285174320 139959183100688 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13318] ppid=13313 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13318/stat : 13318 (java) S 13313 13313 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446847903 28911386624 21455 33554432000 4194304 4196468 140723285174320 139959182048144 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13319] ppid=13313 vsize=28233776 memory=1256 CPUtime=0 cores=0-7
/proc/13315/task/13319/stat : 13319 (java) S 13313 13313 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446847903 28911386624 21455 33554432000 4194304 4196468 140723285174320 139959180995600 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0

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

[pid=13315/tid=13342] ppid=13313 vsize=28768336 memory=1452 CPUtime=158.9 cores=0-7
/proc/13315/task/13342/stat : 13342 (java) R 13313 13313 10570 0 -1 4202560 1946 0 0 0 15888 2 0 0 20 0 28 0 446848027 29458776064 175926 33554432000 4194304 4196468 140723285174320 139957598846744 139958852945439 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
Current children cumulated CPU time: 1285.99 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 705156 KiB

[startup+222.302 s]
/proc/loadavg: 8.24 8.24 8.15 9/219 13355
/proc/meminfo: memFree=28693860/32770624 swapFree=66939908/67108860
[pid=13313] ppid=13310 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13313/stat : 13313 (xcsp3-exec) S 13310 13313 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446847902 115843072 363 33554432000 4194304 5098028 140724142892224 140724142890328 139932120851068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34201600 140724142895995 140724142896238 140724142896238 140724142899146 0
/proc/13313/statm: 28282 363 304 221 0 87 0
[pid=13315] ppid=13313 vsize=28768336 memory=651924 CPUtime=1762.9 cores=0-7
/proc/13315/stat : 13315 (java) S 13313 13313 10570 0 -1 1077944320 140544 0 0 0 176164 126 0 0 20 0 28 0 446847902 29458776064 162981 33554432000 4194304 4196468 140723285174320 140723285156864 139959230480119 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
/proc/13315/statm: 7192084 162981 3536 1 0 7153184 0
[pid=13315/tid=13316] ppid=13313 vsize=28768336 memory=651412 CPUtime=1.19 cores=0-7
/proc/13315/task/13316/stat : 13316 (java) S 13313 13313 10570 0 -1 1077944384 10183 0 0 0 113 6 0 0 20 0 28 0 446847902 29458776064 162981 33554432000 4194304 4196468 140723285174320 139959234720896 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13317] ppid=13313 vsize=28768336 memory=652436 CPUtime=0.4 cores=0-7
/proc/13315/task/13317/stat : 13317 (java) S 13313 13313 10570 0 -1 1077944384 4252 0 0 0 30 10 0 0 20 0 28 0 446847903 29458776064 162981 33554432000 4194304 4196468 140723285174320 139959183100688 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13318] ppid=13313 vsize=28768336 memory=1452 CPUtime=0.36 cores=0-7
/proc/13315/task/13318/stat : 13318 (java) S 13313 13313 10570 0 -1 1077944384 3391 0 0 0 28 8 0 0 20 0 28 0 446847903 29458776064 162981 33554432000 4194304 4196468 140723285174320 139959182048144 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13319] ppid=13313 vsize=28768336 memory=1052 CPUtime=0.37 cores=0-7
/proc/13315/task/13319/stat : 13319 (java) S 13313 13313 10570 0 -1 1077944384 2934 0 0 0 29 8 0 0 20 0 28 0 446847903 29458776064 162981 33554432000 4194304 4196468 140723285174320 139959180995600 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13320] ppid=13313 vsize=28768336 memory=776 CPUtime=0.36 cores=0-7
/proc/13315/task/13320/stat : 13320 (java) S 13313 13313 10570 0 -1 1077944384 3040 0 0 0 29 7 0 0 20 0 28 0 446847903 29458776064 162981 33554432000 4194304 4196468 140723285174320 139959179943056 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13321] ppid=13313 vsize=28768336 memory=33 CPUtime=0.35 cores=0-7
/proc/13315/task/13321/stat : 13321 (java) S 13313 13313 10570 0 -1 1077944384 2913 0 0 0 27 8 0 0 20 0 28 0 446847903 29458776064 162981 33554432000 4194304 4196468 140723285174320 139959178889488 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13322] ppid=13313 vsize=28768336 memory=3540061186783944225 CPUtime=0.38 cores=0-7
/proc/13315/task/13322/stat : 13322 (java) S 13313 13313 10570 0 -1 1077944384 3253 0 0 0 29 9 0 0 20 0 28 0 446847903 29458776064 162981 33554432000 4194304 4196468 140723285174320 139959177836944 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13323] ppid=13313 vsize=28768336 memory=1452 CPUtime=0.39 cores=0-7
/proc/13315/task/13323/stat : 13323 (java) S 13313 13313 10570 0 -1 1077944384 4203 0 0 0 31 8 0 0 20 0 28 0 446847903 29458776064 162981 33554432000 4194304 4196468 140723285174320 139959176784400 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13324] ppid=13313 vsize=28768336 memory=1452 CPUtime=0.4 cores=0-7
/proc/13315/task/13324/stat : 13324 (java) S 13313 13313 10570 0 -1 1077944384 3315 0 0 0 29 11 0 0 20 0 28 0 446847903 29458776064 162981 33554432000 4194304 4196468 140723285174320 139959175731856 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13325] ppid=13313 vsize=28768336 memory=7306916055891837008 CPUtime=0.22 cores=0-7
/proc/13315/task/13325/stat : 13325 (java) S 13313 13313 10570 0 -1 1077944384 10269 0 0 0 17 5 0 0 20 0 28 0 446847904 29458776064 162981 33554432000 4194304 4196468 140723285174320 139957693938160 139959230491266 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13326] ppid=13313 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/13315/task/13326/stat : 13326 (java) S 13313 13313 10570 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 446847905 29458776064 162981 33554432000 4194304 4196468 140723285174320 139957692884448 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13327] ppid=13313 vsize=28768336 memory=280964146667760 CPUtime=0 cores=0-7
/proc/13315/task/13327/stat : 13327 (java) S 13313 13313 10570 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 446847905 29458776064 162981 33554432000 4194304 4196468 140723285174320 139957691831808 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13328] ppid=13313 vsize=28768336 memory=7955438757017775206 CPUtime=0 cores=0-7
/proc/13315/task/13328/stat : 13328 (java) S 13313 13313 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446847908 29458776064 162981 33554432000 4194304 4196468 140723285174320 139957690780368 139959230498715 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13329] ppid=13313 vsize=28768336 memory=2008 CPUtime=3.17 cores=0-7
/proc/13315/task/13329/stat : 13329 (java) S 13313 13313 10570 0 -1 1077944384 13533 0 0 0 315 2 0 0 20 0 28 0 446847908 29458776064 162981 33554432000 4194304 4196468 140723285174320 139957689726960 139959230491266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13330] ppid=13313 vsize=28768336 memory=1436 CPUtime=3.38 cores=0-7
/proc/13315/task/13330/stat : 13330 (java) S 13313 13313 10570 0 -1 1077944384 17023 0 0 0 336 2 0 0 20 0 28 0 446847908 29458776064 162981 33554432000 4194304 4196468 140723285174320 139957688674416 139959230491266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13331] ppid=13313 vsize=28768336 memory=8317482817917895235 CPUtime=3.5 cores=0-7
/proc/13315/task/13331/stat : 13331 (java) S 13313 13313 10570 0 -1 1077944384 13224 0 0 0 348 2 0 0 20 0 28 0 446847908 29458776064 162981 33554432000 4194304 4196468 140723285174320 139957687621872 139959230491266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13332] ppid=13313 vsize=28768336 memory=650392 CPUtime=1.15 cores=0-7
/proc/13315/task/13332/stat : 13332 (java) S 13313 13313 10570 0 -1 1077944384 12332 0 0 0 111 4 0 0 20 0 28 0 446847908 29458776064 162981 33554432000 4194304 4196468 140723285174320 139957686569328 139959230491266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13333] ppid=13313 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/13315/task/13333/stat : 13333 (java) S 13313 13313 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446847908 29458776064 162981 33554432000 4194304 4196468 140723285174320 139957685517024 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13334] ppid=13313 vsize=28768336 memory=697040 CPUtime=0.05 cores=0-7
/proc/13315/task/13334/stat : 13334 (java) S 13313 13313 10570 0 -1 1077944384 1136 0 0 0 0 5 0 0 20 0 28 0 446847908 29458776064 162981 33554432000 4194304 4196468 140723285174320 139957684464560 139959230491266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13335] ppid=13313 vsize=28768336 memory=14056 CPUtime=218.68 cores=0-7
/proc/13315/task/13335/stat : 13335 (java) R 13313 13313 10570 0 -1 4202560 3965 0 0 0 21866 2 0 0 20 0 28 0 446848026 29458776064 162981 33554432000 4194304 4196468 140723285174320 139957606214864 139958849420527 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13336] ppid=13313 vsize=28768336 memory=2116 CPUtime=217.36 cores=0-7
/proc/13315/task/13336/stat : 13336 (java) R 13313 13313 10570 0 -1 4202560 3625 0 0 0 21734 2 0 0 20 0 28 0 446848026 29458776064 162981 33554432000 4194304 4196468 140723285174320 139957605164168 139958851433894 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13337] ppid=13313 vsize=28768336 memory=0 CPUtime=218.6 cores=0-7
/proc/13315/task/13337/stat : 13337 (java) R 13313 13313 10570 0 -1 4202560 3850 0 0 0 21858 2 0 0 20 0 28 0 446848026 29458776064 162981 33554432000 4194304 4196468 140723285174320 139957604110008 139958852137715 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13338] ppid=13313 vsize=28768336 memory=0 CPUtime=218.63 cores=0-7
/proc/13315/task/13338/stat : 13338 (java) R 13313 13313 10570 0 -1 4202560 10689 0 0 0 21850 13 0 0 20 0 28 0 446848027 29458776064 162981 33554432000 4194304 4196468 140723285174320 139957603057216 139958845370368 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13339] ppid=13313 vsize=28768336 memory=650900 CPUtime=218.61 cores=0-7
/proc/13315/task/13339/stat : 13339 (java) R 13313 13313 10570 0 -1 4202560 3691 0 0 0 21859 2 0 0 20 0 28 0 446848027 29458776064 162981 33554432000 4194304 4196468 140723285174320 139957602007944 139958852234474 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13340] ppid=13313 vsize=28768336 memory=48336 CPUtime=219.01 cores=0-7
/proc/13315/task/13340/stat : 13340 (java) R 13313 13313 10570 0 -1 4202560 2583 0 0 0 21900 1 0 0 20 0 28 0 446848027 29458776064 162981 33554432000 4194304 4196468 140723285174320 139957600952000 139958852994260 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13341] ppid=13313 vsize=28768336 memory=988 CPUtime=217.85 cores=0-7
/proc/13315/task/13341/stat : 13341 (java) R 13313 13313 10570 0 -1 4202560 3063 0 0 0 21782 3 0 0 20 0 28 0 446848027 29458776064 162981 33554432000 4194304 4196468 140723285174320 139957599903232 139958849997800 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13342] ppid=13313 vsize=28768336 memory=1452 CPUtime=218.29 cores=0-7
/proc/13315/task/13342/stat : 13342 (java) R 13313 13313 10570 0 -1 4202560 2704 0 0 0 21826 3 0 0 20 0 28 0 446848027 29458776064 162981 33554432000 4194304 4196468 140723285174320 139957598846912 139958852235371 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
Current children cumulated CPU time: 1762.9 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 653376 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.14 8.22 8.15 9/219 13356
/proc/meminfo: memFree=28698132/32770624 swapFree=66939908/67108860
[pid=13313] ppid=13310 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13313/stat : 13313 (xcsp3-exec) S 13310 13313 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446847902 115843072 363 33554432000 4194304 5098028 140724142892224 140724142890328 139932120851068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34201600 140724142895995 140724142896238 140724142896238 140724142899146 0
/proc/13313/statm: 28282 363 304 221 0 87 0
[pid=13315] ppid=13313 vsize=28768336 memory=650884 CPUtime=1999.31 cores=0-7
/proc/13315/stat : 13315 (java) S 13313 13313 10570 0 -1 1077944320 145185 0 0 0 199802 129 0 0 20 0 28 0 446847902 29458776064 162721 33554432000 4194304 4196468 140723285174320 140723285156864 139959230480119 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
/proc/13315/statm: 7192084 162721 3536 1 0 7153184 0
[pid=13315/tid=13316] ppid=13313 vsize=28768336 memory=8317482817917895235 CPUtime=1.19 cores=0-7
/proc/13315/task/13316/stat : 13316 (java) S 13313 13313 10570 0 -1 1077944384 10183 0 0 0 113 6 0 0 20 0 28 0 446847902 29458776064 162721 33554432000 4194304 4196468 140723285174320 139959234720896 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13317] ppid=13313 vsize=28768336 memory=1052 CPUtime=0.44 cores=0-7
/proc/13315/task/13317/stat : 13317 (java) S 13313 13313 10570 0 -1 1077944384 4453 0 0 0 34 10 0 0 20 0 28 0 446847903 29458776064 162721 33554432000 4194304 4196468 140723285174320 139959183100688 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13318] ppid=13313 vsize=28768336 memory=776 CPUtime=0.41 cores=0-7
/proc/13315/task/13318/stat : 13318 (java) S 13313 13313 10570 0 -1 1077944384 3466 0 0 0 33 8 0 0 20 0 28 0 446847903 29458776064 162721 33554432000 4194304 4196468 140723285174320 139959182048144 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13319] ppid=13313 vsize=28768336 memory=2832 CPUtime=0.41 cores=0-7
/proc/13315/task/13319/stat : 13319 (java) S 13313 13313 10570 0 -1 1077944384 3019 0 0 0 33 8 0 0 20 0 28 0 446847903 29458776064 162721 33554432000 4194304 4196468 140723285174320 139959180995600 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13320] ppid=13313 vsize=28768336 memory=4126316290023845779 CPUtime=0.42 cores=0-7
/proc/13315/task/13320/stat : 13320 (java) S 13313 13313 10570 0 -1 1077944384 3120 0 0 0 34 8 0 0 20 0 28 0 446847903 29458776064 162721 33554432000 4194304 4196468 140723285174320 139959179943056 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13321] ppid=13313 vsize=28768336 memory=648328 CPUtime=0.4 cores=0-7
/proc/13315/task/13321/stat : 13321 (java) S 13313 13313 10570 0 -1 1077944384 3128 0 0 0 32 8 0 0 20 0 28 0 446847903 29458776064 162721 33554432000 4194304 4196468 140723285174320 139959178889488 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13322] ppid=13313 vsize=28768336 memory=924 CPUtime=0.42 cores=0-7
/proc/13315/task/13322/stat : 13322 (java) S 13313 13313 10570 0 -1 1077944384 3621 0 0 0 33 9 0 0 20 0 28 0 446847903 29458776064 162721 33554432000 4194304 4196468 140723285174320 139959177836944 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13323] ppid=13313 vsize=28768336 memory=4868 CPUtime=0.44 cores=0-7
/proc/13315/task/13323/stat : 13323 (java) S 13313 13313 10570 0 -1 1077944384 4227 0 0 0 35 9 0 0 20 0 28 0 446847903 29458776064 162721 33554432000 4194304 4196468 140723285174320 139959176784400 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13324] ppid=13313 vsize=28768336 memory=4096 CPUtime=0.45 cores=0-7
/proc/13315/task/13324/stat : 13324 (java) S 13313 13313 10570 0 -1 1077944384 3369 0 0 0 34 11 0 0 20 0 28 0 446847903 29458776064 162721 33554432000 4194304 4196468 140723285174320 139959175731856 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13325] ppid=13313 vsize=28768336 memory=1412 CPUtime=0.24 cores=0-7
/proc/13315/task/13325/stat : 13325 (java) S 13313 13313 10570 0 -1 1077944384 10825 0 0 0 19 5 0 0 20 0 28 0 446847904 29458776064 162721 33554432000 4194304 4196468 140723285174320 139957693938160 139959230491266 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13326] ppid=13313 vsize=28768336 memory=3624 CPUtime=0 cores=0-7
/proc/13315/task/13326/stat : 13326 (java) S 13313 13313 10570 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 446847905 29458776064 162721 33554432000 4194304 4196468 140723285174320 139957692884448 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13327] ppid=13313 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/13315/task/13327/stat : 13327 (java) S 13313 13313 10570 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 446847905 29458776064 162721 33554432000 4194304 4196468 140723285174320 139957691831808 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13328] ppid=13313 vsize=28768336 memory=649364 CPUtime=0 cores=0-7
/proc/13315/task/13328/stat : 13328 (java) S 13313 13313 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446847908 29458776064 162721 33554432000 4194304 4196468 140723285174320 139957690780368 139959230498715 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13329] ppid=13313 vsize=28768336 memory=33 CPUtime=3.19 cores=0-7
/proc/13315/task/13329/stat : 13329 (java) S 13313 13313 10570 0 -1 1077944384 14035 0 0 0 317 2 0 0 20 0 28 0 446847908 29458776064 162721 33554432000 4194304 4196468 140723285174320 139957689726960 139959230491266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13330] ppid=13313 vsize=28768336 memory=-7101718590825193272 CPUtime=3.38 cores=0-7
/proc/13315/task/13330/stat : 13330 (java) S 13313 13313 10570 0 -1 1077944384 17027 0 0 0 336 2 0 0 20 0 28 0 446847908 29458776064 162721 33554432000 4194304 4196468 140723285174320 139957688674416 139959230491266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13331] ppid=13313 vsize=28768336 memory=-6873162000112450758 CPUtime=3.5 cores=0-7
/proc/13315/task/13331/stat : 13331 (java) S 13313 13313 10570 0 -1 1077944384 13228 0 0 0 348 2 0 0 20 0 28 0 446847908 29458776064 162721 33554432000 4194304 4196468 140723285174320 139957687621872 139959230491266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13332] ppid=13313 vsize=28768336 memory=6944656592455360604 CPUtime=1.16 cores=0-7
/proc/13315/task/13332/stat : 13332 (java) S 13313 13313 10570 0 -1 1077944384 13285 0 0 0 112 4 0 0 20 0 28 0 446847908 29458776064 162721 33554432000 4194304 4196468 140723285174320 139957686569328 139959230491266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13333] ppid=13313 vsize=28768336 memory=7450473688499775086 CPUtime=0 cores=0-7
/proc/13315/task/13333/stat : 13333 (java) S 13313 13313 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446847908 29458776064 162721 33554432000 4194304 4196468 140723285174320 139957685517024 139959230490325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13334] ppid=13313 vsize=28768336 memory=7955438757017775206 CPUtime=0.05 cores=0-7
/proc/13315/task/13334/stat : 13334 (java) S 13313 13313 10570 0 -1 1077944384 1183 0 0 0 0 5 0 0 20 0 28 0 446847908 29458776064 162721 33554432000 4194304 4196468 140723285174320 139957684464560 139959230491266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13335] ppid=13313 vsize=28768336 memory=1728 CPUtime=248.26 cores=0-7
/proc/13315/task/13335/stat : 13335 (java) R 13313 13313 10570 0 -1 4202560 4156 0 0 0 24824 2 0 0 20 0 28 0 446848026 29458776064 162721 33554432000 4194304 4196468 140723285174320 139957606214520 139958851439566 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13336] ppid=13313 vsize=28768336 memory=8072 CPUtime=246.81 cores=0-7
/proc/13315/task/13336/stat : 13336 (java) R 13313 13313 10570 0 -1 4202560 3823 0 0 0 24679 2 0 0 20 0 28 0 446848026 29458776064 162721 33554432000 4194304 4196468 140723285174320 139957605163312 139958852235384 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13337] ppid=13313 vsize=28768336 memory=9580 CPUtime=248.08 cores=0-7
/proc/13315/task/13337/stat : 13337 (java) R 13313 13313 10570 0 -1 4202560 4059 0 0 0 24806 2 0 0 20 0 28 0 446848026 29458776064 162721 33554432000 4194304 4196468 140723285174320 139957604110568 139958851434708 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13338] ppid=13313 vsize=28768336 memory=1052 CPUtime=248.21 cores=0-7
/proc/13315/task/13338/stat : 13338 (java) R 13313 13313 10570 0 -1 4202560 10977 0 0 0 24808 13 0 0 20 0 28 0 446848027 29458776064 162721 33554432000 4194304 4196468 140723285174320 139957603059968 139958852235413 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13339] ppid=13313 vsize=28768336 memory=776 CPUtime=248.21 cores=0-7
/proc/13315/task/13339/stat : 13339 (java) R 13313 13313 10570 0 -1 4202560 3852 0 0 0 24819 2 0 0 20 0 28 0 446848027 29458776064 162721 33554432000 4194304 4196468 140723285174320 139957602004600 139958852235418 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13340] ppid=13313 vsize=28768336 memory=2832 CPUtime=248.61 cores=0-7
/proc/13315/task/13340/stat : 13340 (java) R 13313 13313 10570 0 -1 4202560 2658 0 0 0 24860 1 0 0 20 0 28 0 446848027 29458776064 162721 33554432000 4194304 4196468 140723285174320 139957600952128 139958852234957 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13341] ppid=13313 vsize=28768336 memory=668 CPUtime=247.14 cores=0-7
/proc/13315/task/13341/stat : 13341 (java) R 13313 13313 10570 0 -1 4202560 3173 0 0 0 24711 3 0 0 20 0 28 0 446848027 29458776064 162721 33554432000 4194304 4196468 140723285174320 139957599900336 139958852235280 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
[pid=13315/tid=13342] ppid=13313 vsize=28768336 memory=1256 CPUtime=247.69 cores=0-7
/proc/13315/task/13342/stat : 13342 (java) R 13313 13313 10570 0 -1 4202560 2945 0 0 0 24766 3 0 0 20 0 28 0 446848027 29458776064 162721 33554432000 4194304 4196468 140723285174320 139957598846768 139958852235343 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 8265728 140723285177328 140723285177499 140723285177499 140723285180367 0
Current children cumulated CPU time: 1999.31 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 652336 KiB

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

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

[startup+252.109 s]
# the end of solver process 13315 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1998.71 s, system=1.30533 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.109
CPU time (s): 2000.01
CPU user time (s): 1998.71
CPU system time (s): 1.30533
CPU usage (%): 793.313
Max. virtual memory (cumulated for all children) (KiB): 28883324
Max. memory (cumulated for all children) (KiB): 736964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1998.71
system time used= 1.30533
maximum resident set size= 737220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146253
page faults= 0
swaps= 0
block input operations= 0
block output operations= 520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23001
involuntary context switches= 23835


# summary of solver processes directly reported to runsolver:
#   pid: 13313,13315
#   total CPU time (s): 2000.01
#   total CPU user time (s): 1998.71
#   total CPU system time (s): 1.30533

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.51425 second user time and 2.70597 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-17 10:34:50
IDJOB=4400299
IDBENCH=115801
IDSOLVER=2855
FILE ID=node119/4400299-1568709330
RUNJOBID= node119-1568700441-10597
PBS_JOBID= 21703893
Free space on /tmp= 61344 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-15-15-5.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400299-1568709330/watcher-4400299-1568709330 -o /tmp/evaluation-result-4400299-1568709330/solver-4400299-1568709330 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568700441-10597 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1259701330 HOME/instance-4400299-1568709330.xml

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

MD5SUM BENCH= 8b9c4e6e7c9e88d5c00f06b3f0219a0c
RANDOM SEED=1259701330

node119.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.47
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.47
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.47
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.47
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:        29336192 kB
MemAvailable:   31820260 kB
Buffers:          129932 kB
Cached:          2637632 kB
SwapCached:        61072 kB
Active:          1403024 kB
Inactive:        1430664 kB
Active(anon):       4908 kB
Inactive(anon):   110908 kB
Active(file):    1398116 kB
Inactive(file):  1319756 kB
Unevictable:      107484 kB
Mlocked:          107484 kB
SwapTotal:      67108860 kB
SwapFree:       66939908 kB
Dirty:             25960 kB
Writeback:            20 kB
AnonPages:        113752 kB
Mapped:            48844 kB
Shmem:             41008 kB
Slab:             193004 kB
SReclaimable:     164060 kB
SUnreclaim:        28944 kB
KernelStack:        3392 kB
PageTables:         5148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61320 MiB
End job on node119 at 2019-09-17 10:39:03