Trace number 4406821

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 2019-09-24 parallel? (TO) 19992.6 2520.12

General information on the benchmark

NameStripPacking/StripPacking-m1-seriesT/
StripPacking-T1e.xml
MD5SUMf7b8b642e131c8af917aaf97f4ae3b24
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark123.921
Satisfiable
(Un)Satisfiability was proved
Number of variables85
Number of constraints52
Number of domains19
Minimum domain size2
Maximum domain size200
Distribution of domain sizes[{"size":2,"count":51},{"size":200,"count":34}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":17},{"degree":2,"count":34},{"degree":3,"count":34}]
Minimum constraint arity2
Maximum constraint arity68
Distribution of constraint arities[{"arity":2,"count":34},{"arity":3,"count":17},{"arity":68,"count":1}]
Number of extensional constraints17
Number of intensional constraints34
Distribution of constraint types[{"type":"extension","count":17},{"type":"intension","count":34},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406821-1569343923.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4406821-1569343923.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
1.56/0.74	c solve instance...
19991.91/2520.08	s UNKNOWN
19991.91/2520.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 (13380 MiB free)
  memory of node 1: 16384 MiB (11668 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406821-1569343923/watcher-4406821-1569343923 -o /var/tmp/evaluation-result-4406821-1569343923/solver-4406821-1569343923 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569335938-31616 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1201978005 HOME/instance-4406821-1569343923.xml 

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

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


[startup+0.100132 s]*
/proc/loadavg: 4.01 6.78 7.27 3/212 1289
/proc/meminfo: memFree=25634872/32770624 swapFree=66953492/67108860
[pid=1268] ppid=1265 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/1268/stat : 1268 (xcsp3-exec) S 1265 1268 31589 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510307068 115843072 362 33554432000 4194304 5098028 140720707612752 140720707610856 140271509287548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29196288 140720707621713 140720707621973 140720707621973 140720707624902 0
/proc/1268/statm: 28282 362 304 221 0 87 0
[pid=1270] ppid=1268 vsize=28227396 memory=28736 CPUtime=0.12 cores=0-7
/proc/1270/stat : 1270 (java) S 1268 1268 31589 0 -1 1077944320 5690 0 0 0 11 1 0 0 20 0 20 0 510307068 28904853504 7184 33554432000 4194304 4196468 140727330875920 140727330858464 140551884824311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
/proc/1270/statm: 7056849 7184 3118 1 0 7019032 0
[pid=1270/tid=1271] ppid=1268 vsize=28227396 memory=-7096649868621430206 CPUtime=0.09 cores=0-7
/proc/1270/task/1271/stat : 1271 (java) R 1268 1268 31589 0 -1 4202560 3588 0 0 0 8 1 0 0 20 0 20 0 510307069 28904853504 7184 33554432000 4194304 4196468 140727330875920 140551889057584 140551884836246 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1272] ppid=1268 vsize=28227396 memory=664954298551644168 CPUtime=0 cores=0-7
/proc/1270/task/1272/stat : 1272 (java) S 1268 1268 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510307069 28904853504 7184 33554432000 4194304 4196468 140727330875920 140551804676496 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1273] ppid=1268 vsize=28227396 memory=140067456800384 CPUtime=0 cores=0-7
/proc/1270/task/1273/stat : 1273 (java) S 1268 1268 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307069 28904853504 7184 33554432000 4194304 4196468 140727330875920 140551803623696 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1274] ppid=1268 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1270/task/1274/stat : 1274 (java) S 1268 1268 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307069 28904853504 7184 33554432000 4194304 4196468 140727330875920 140551802571408 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1275] ppid=1268 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1270/task/1275/stat : 1275 (java) S 1268 1268 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307069 28904853504 7184 33554432000 4194304 4196468 140727330875920 140551801518608 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1276] ppid=1268 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1270/task/1276/stat : 1276 (java) S 1268 1268 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307069 28904853504 7184 33554432000 4194304 4196468 140727330875920 140551800466320 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1277] ppid=1268 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1270/task/1277/stat : 1277 (java) S 1268 1268 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307069 28904853504 7184 33554432000 4194304 4196468 140727330875920 140551799413520 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1278] ppid=1268 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1270/task/1278/stat : 1278 (java) S 1268 1268 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510307069 28904853504 7184 33554432000 4194304 4196468 140727330875920 140551430200464 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1279] ppid=1268 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1270/task/1279/stat : 1279 (java) S 1268 1268 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510307069 28904853504 7184 33554432000 4194304 4196468 140727330875920 140551429147664 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1280] ppid=1268 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1270/task/1280/stat : 1280 (java) S 1268 1268 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510307071 28904853504 7184 33554432000 4194304 4196468 140727330875920 140551269599344 140551884835458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1281] ppid=1268 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1270/task/1281/stat : 1281 (java) S 1268 1268 31589 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510307071 28904853504 7184 33554432000 4194304 4196468 140727330875920 140551268545312 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1282] ppid=1268 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1270/task/1282/stat : 1282 (java) S 1268 1268 31589 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510307072 28904853504 7184 33554432000 4194304 4196468 140727330875920 140551267492976 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1283] ppid=1268 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1270/task/1283/stat : 1283 (java) S 1268 1268 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307074 28904853504 7184 33554432000 4194304 4196468 140727330875920 140551266441296 140551884842907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1284] ppid=1268 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1270/task/1284/stat : 1284 (java) S 1268 1268 31589 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 20 0 510307074 28904853504 7184 33554432000 4194304 4196468 140727330875920 140551265389168 140551884835458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1285] ppid=1268 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1270/task/1285/stat : 1285 (java) S 1268 1268 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307074 28904853504 7184 33554432000 4194304 4196468 140727330875920 140551264336368 140551884835458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1286] ppid=1268 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1270/task/1286/stat : 1286 (java) R 1268 1268 31589 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 20 0 510307074 28904853504 7184 33554432000 4194304 4196468 140727330875920 140551263284080 140551868248141 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1287] ppid=1268 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/1270/task/1287/stat : 1287 (java) R 1268 1268 31589 0 -1 4202560 357 0 0 0 2 0 0 0 20 0 20 0 510307074 28904853504 7184 33554432000 4194304 4196468 140727330875920 140551194138464 140551884845658 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1288] ppid=1268 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1270/task/1288/stat : 1288 (java) S 1268 1268 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510307074 28904853504 7250 33554432000 4194304 4196468 140727330875920 140551193090400 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1289] ppid=1268 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1270/task/1289/stat : 1289 (java) S 1268 1268 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307074 28904853504 7250 33554432000 4194304 4196468 140727330875920 140551192037680 140551884835458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30184 KiB

[startup+0.210538 s]*
/proc/loadavg: 4.01 6.78 7.27 3/212 1289
/proc/meminfo: memFree=25621868/32770624 swapFree=66953492/67108860
[pid=1268] ppid=1265 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/1268/stat : 1268 (xcsp3-exec) S 1265 1268 31589 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510307068 115843072 362 33554432000 4194304 5098028 140720707612752 140720707610856 140271509287548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29196288 140720707621713 140720707621973 140720707621973 140720707624902 0
/proc/1268/statm: 28282 362 304 221 0 87 0
[pid=1270] ppid=1268 vsize=28227396 memory=40916 CPUtime=0.33 cores=0-7
/proc/1270/stat : 1270 (java) S 1268 1268 31589 0 -1 1077944320 9521 0 0 0 30 3 0 0 20 0 20 0 510307068 28904853504 10229 33554432000 4194304 4196468 140727330875920 140727330858464 140551884824311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
/proc/1270/statm: 7056849 10229 3296 1 0 7019032 0
[pid=1270/tid=1271] ppid=1268 vsize=28227396 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/1270/task/1271/stat : 1271 (java) R 1268 1268 31589 0 -1 4202560 6629 0 0 0 17 2 0 0 20 0 20 0 510307069 28904853504 10229 33554432000 4194304 4196468 140727330875920 140551889055744 140551868904798 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1272] ppid=1268 vsize=28227396 memory=288230609019731991 CPUtime=0 cores=0-7
/proc/1270/task/1272/stat : 1272 (java) S 1268 1268 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510307069 28904853504 10229 33554432000 4194304 4196468 140727330875920 140551804676496 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1273] ppid=1268 vsize=28227396 memory=288370443608512128 CPUtime=0 cores=0-7
/proc/1270/task/1273/stat : 1273 (java) S 1268 1268 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307069 28904853504 10229 33554432000 4194304 4196468 140727330875920 140551803623696 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1274] ppid=1268 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1270/task/1274/stat : 1274 (java) S 1268 1268 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307069 28904853504 10229 33554432000 4194304 4196468 140727330875920 140551802571408 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1275] ppid=1268 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1270/task/1275/stat : 1275 (java) S 1268 1268 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307069 28904853504 10229 33554432000 4194304 4196468 140727330875920 140551801518608 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1276] ppid=1268 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1270/task/1276/stat : 1276 (java) S 1268 1268 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307069 28904853504 10229 33554432000 4194304 4196468 140727330875920 140551800466320 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1277] ppid=1268 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1270/task/1277/stat : 1277 (java) S 1268 1268 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307069 28904853504 10229 33554432000 4194304 4196468 140727330875920 140551799413520 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1278] ppid=1268 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1270/task/1278/stat : 1278 (java) S 1268 1268 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510307069 28904853504 10229 33554432000 4194304 4196468 140727330875920 140551430200464 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1279] ppid=1268 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1270/task/1279/stat : 1279 (java) S 1268 1268 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510307069 28904853504 10229 33554432000 4194304 4196468 140727330875920 140551429147664 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1280] ppid=1268 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1270/task/1280/stat : 1280 (java) S 1268 1268 31589 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510307071 28904853504 10229 33554432000 4194304 4196468 140727330875920 140551269599344 140551884835458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1281] ppid=1268 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1270/task/1281/stat : 1281 (java) S 1268 1268 31589 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510307071 28904853504 10229 33554432000 4194304 4196468 140727330875920 140551268545312 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1282] ppid=1268 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1270/task/1282/stat : 1282 (java) S 1268 1268 31589 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510307072 28904853504 10229 33554432000 4194304 4196468 140727330875920 140551267492976 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1283] ppid=1268 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1270/task/1283/stat : 1283 (java) S 1268 1268 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307074 28904853504 10229 33554432000 4194304 4196468 140727330875920 140551266441296 140551884842907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1284] ppid=1268 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/1270/task/1284/stat : 1284 (java) S 1268 1268 31589 0 -1 1077944384 496 0 0 0 1 0 0 0 20 0 20 0 510307074 28904853504 10229 33554432000 4194304 4196468 140727330875920 140551265389168 140551884835458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1285] ppid=1268 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/1270/task/1285/stat : 1285 (java) S 1268 1268 31589 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 20 0 510307074 28904853504 10229 33554432000 4194304 4196468 140727330875920 140551264336368 140551884835458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1286] ppid=1268 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/1270/task/1286/stat : 1286 (java) S 1268 1268 31589 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 20 0 510307074 28904853504 10229 33554432000 4194304 4196468 140727330875920 140551263284080 140551884835458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1287] ppid=1268 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/1270/task/1287/stat : 1287 (java) R 1268 1268 31589 0 -1 4202560 783 0 0 0 8 0 0 0 20 0 20 0 510307074 28904853504 10229 33554432000 4194304 4196468 140727330875920 140551194143312 140551884845658 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1288] ppid=1268 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1270/task/1288/stat : 1288 (java) S 1268 1268 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510307074 28904853504 10229 33554432000 4194304 4196468 140727330875920 140551193090400 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1289] ppid=1268 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1270/task/1289/stat : 1289 (java) S 1268 1268 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307074 28904853504 10229 33554432000 4194304 4196468 140727330875920 140551192037680 140551884835458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42364 KiB

[startup+0.310349 s]*
/proc/loadavg: 4.01 6.78 7.27 4/212 1289
/proc/meminfo: memFree=25614236/32770624 swapFree=66953492/67108860
[pid=1268] ppid=1265 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/1268/stat : 1268 (xcsp3-exec) S 1265 1268 31589 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510307068 115843072 362 33554432000 4194304 5098028 140720707612752 140720707610856 140271509287548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29196288 140720707621713 140720707621973 140720707621973 140720707624902 0
/proc/1268/statm: 28282 362 304 221 0 87 0
[pid=1270] ppid=1268 vsize=28231652 memory=49968 CPUtime=0.52 cores=0-7
/proc/1270/stat : 1270 (java) S 1268 1268 31589 0 -1 1077944320 10855 0 0 0 48 4 0 0 20 0 20 0 510307068 28909211648 12492 33554432000 4194304 4196468 140727330875920 140727330858464 140551884824311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
/proc/1270/statm: 7057913 12492 3354 1 0 7019032 0
[pid=1270/tid=1271] ppid=1268 vsize=28231652 memory=1398720917958146503 CPUtime=0.3 cores=0-7
/proc/1270/task/1271/stat : 1271 (java) R 1268 1268 31589 0 -1 4202560 7801 0 0 0 27 3 0 0 20 0 20 0 510307069 28909211648 12492 33554432000 4194304 4196468 140727330875920 140551889055424 140551868904798 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1272] ppid=1268 vsize=28231652 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/1270/task/1272/stat : 1272 (java) S 1268 1268 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510307069 28909211648 12492 33554432000 4194304 4196468 140727330875920 140551804676496 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1273] ppid=1268 vsize=28231652 memory=9580 CPUtime=0 cores=0-7
/proc/1270/task/1273/stat : 1273 (java) S 1268 1268 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307069 28909211648 12492 33554432000 4194304 4196468 140727330875920 140551803623696 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1274] ppid=1268 vsize=28231652 memory=1052 CPUtime=0 cores=0-7
/proc/1270/task/1274/stat : 1274 (java) S 1268 1268 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307069 28909211648 12492 33554432000 4194304 4196468 140727330875920 140551802571408 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1275] ppid=1268 vsize=28231652 memory=776 CPUtime=0 cores=0-7
/proc/1270/task/1275/stat : 1275 (java) S 1268 1268 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307069 28909211648 12492 33554432000 4194304 4196468 140727330875920 140551801518608 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1276] ppid=1268 vsize=28231652 memory=2832 CPUtime=0 cores=0-7
/proc/1270/task/1276/stat : 1276 (java) S 1268 1268 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307069 28909211648 12492 33554432000 4194304 4196468 140727330875920 140551800466320 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1277] ppid=1268 vsize=28231652 memory=668 CPUtime=0 cores=0-7
/proc/1270/task/1277/stat : 1277 (java) S 1268 1268 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307069 28909211648 12492 33554432000 4194304 4196468 140727330875920 140551799413520 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1278] ppid=1268 vsize=28231652 memory=1276 CPUtime=0 cores=0-7
/proc/1270/task/1278/stat : 1278 (java) S 1268 1268 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510307069 28909211648 12492 33554432000 4194304 4196468 140727330875920 140551430200464 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1279] ppid=1268 vsize=28231652 memory=1096 CPUtime=0 cores=0-7
/proc/1270/task/1279/stat : 1279 (java) S 1268 1268 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510307069 28909211648 12492 33554432000 4194304 4196468 140727330875920 140551429147664 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1280] ppid=1268 vsize=28231652 memory=14008 CPUtime=0 cores=0-7
/proc/1270/task/1280/stat : 1280 (java) S 1268 1268 31589 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510307071 28909211648 12492 33554432000 4194304 4196468 140727330875920 140551269599344 140551884835458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1281] ppid=1268 vsize=28231652 memory=35504 CPUtime=0 cores=0-7
/proc/1270/task/1281/stat : 1281 (java) S 1268 1268 31589 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510307071 28909211648 12492 33554432000 4194304 4196468 140727330875920 140551268545312 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1282] ppid=1268 vsize=28231652 memory=14056 CPUtime=0 cores=0-7
/proc/1270/task/1282/stat : 1282 (java) S 1268 1268 31589 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510307072 28909211648 12492 33554432000 4194304 4196468 140727330875920 140551267492976 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1283] ppid=1268 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/1270/task/1283/stat : 1283 (java) S 1268 1268 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307074 28909211648 12492 33554432000 4194304 4196468 140727330875920 140551266441296 140551884842907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1284] ppid=1268 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7
/proc/1270/task/1284/stat : 1284 (java) S 1268 1268 31589 0 -1 1077944384 506 0 0 0 2 0 0 0 20 0 20 0 510307074 28909211648 12492 33554432000 4194304 4196468 140727330875920 140551265389168 140551884835458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1285] ppid=1268 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7
/proc/1270/task/1285/stat : 1285 (java) S 1268 1268 31589 0 -1 1077944384 69 0 0 0 2 0 0 0 20 0 20 0 510307074 28909211648 12492 33554432000 4194304 4196468 140727330875920 140551264336368 140551884835458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1286] ppid=1268 vsize=28231652 memory=0 CPUtime=0.03 cores=0-7
/proc/1270/task/1286/stat : 1286 (java) R 1268 1268 31589 0 -1 4202560 343 0 0 0 3 0 0 0 20 0 20 0 510307074 28909211648 12492 33554432000 4194304 4196468 140727330875920 140551263283264 140551869950585 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1287] ppid=1268 vsize=28231652 memory=0 CPUtime=0.12 cores=0-7
/proc/1270/task/1287/stat : 1287 (java) S 1268 1268 31589 0 -1 1077944384 864 0 0 0 12 0 0 0 20 0 20 0 510307074 28909211648 12492 33554432000 4194304 4196468 140727330875920 140551194143472 140551884835458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1288] ppid=1268 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/1270/task/1288/stat : 1288 (java) S 1268 1268 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510307074 28909211648 12492 33554432000 4194304 4196468 140727330875920 140551193090400 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1289] ppid=1268 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/1270/task/1289/stat : 1289 (java) S 1268 1268 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307074 28909211648 12492 33554432000 4194304 4196468 140727330875920 140551192037680 140551884835458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51416 KiB

[startup+0.700998 s]
/proc/loadavg: 4.01 6.78 7.27 5/212 1289
/proc/meminfo: memFree=25596664/32770624 swapFree=66953492/67108860
[pid=1268] ppid=1265 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/1268/stat : 1268 (xcsp3-exec) S 1265 1268 31589 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510307068 115843072 362 33554432000 4194304 5098028 140720707612752 140720707610856 140271509287548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29196288 140720707621713 140720707621973 140720707621973 140720707624902 0
/proc/1268/statm: 28282 362 304 221 0 87 0
[pid=1270] ppid=1268 vsize=28233776 memory=84692 CPUtime=1.56 cores=0-7
/proc/1270/stat : 1270 (java) S 1268 1268 31589 0 -1 1077944320 15357 0 0 0 149 7 0 0 20 0 20 0 510307068 28911386624 21173 33554432000 4194304 4196468 140727330875920 140727330858464 140551884824311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
/proc/1270/statm: 7058444 21173 3450 1 0 7019544 0
[pid=1270/tid=1271] ppid=1268 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7
/proc/1270/task/1271/stat : 1271 (java) R 1268 1268 31589 0 -1 4202560 9416 0 0 0 64 3 0 0 20 0 20 0 510307069 28911386624 21173 33554432000 4194304 4196468 140727330875920 140551889057920 140551877502325 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1272] ppid=1268 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/1270/task/1272/stat : 1272 (java) S 1268 1268 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510307069 28911386624 21173 33554432000 4194304 4196468 140727330875920 140551804676496 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1273] ppid=1268 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/1270/task/1273/stat : 1273 (java) S 1268 1268 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510307069 28911386624 21173 33554432000 4194304 4196468 140727330875920 140551803623696 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1274] ppid=1268 vsize=28233776 memory=7521977205919605075 CPUtime=0 cores=0-7

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

[pid=1270/tid=1297] ppid=1268 vsize=28768336 memory=280134680971456 CPUtime=2404.3 cores=0-7
/proc/1270/task/1297/stat : 1297 (java) R 1268 1268 31589 0 -1 4202560 93207 0 0 0 240384 46 0 0 20 0 28 0 510307144 29458776064 346027 33554432000 4194304 4196468 140727330875920 140551173590688 140551483317672 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
Current children cumulated CPU time: 19374.4 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1385556 KiB

[startup+2502.3 s]
/proc/loadavg: 8.65 8.27 8.21 9/220 1510
/proc/meminfo: memFree=24510664/32770624 swapFree=66953496/67108860
[pid=1268] ppid=1265 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/1268/stat : 1268 (xcsp3-exec) S 1265 1268 31589 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510307068 115843072 362 33554432000 4194304 5098028 140720707612752 140720707610856 140271509287548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29196288 140720707621713 140720707621973 140720707621973 140720707624902 0
/proc/1268/statm: 28282 362 304 221 0 87 0
[pid=1270] ppid=1268 vsize=28768336 memory=1151820 CPUtime=19851.5 cores=0-7
/proc/1270/stat : 1270 (java) S 1268 1268 31589 0 -1 1077944320 1152239 0 0 0 1983198 1948 0 0 20 0 28 0 510307068 29458776064 287955 33554432000 4194304 4196468 140727330875920 140727330858464 140551884824311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
/proc/1270/statm: 7192084 287955 3546 1 0 7153184 0
[pid=1270/tid=1271] ppid=1268 vsize=28768336 memory=1191320 CPUtime=0.72 cores=0-7
/proc/1270/task/1271/stat : 1271 (java) S 1268 1268 31589 0 -1 1077944384 9500 0 0 0 68 4 0 0 20 0 28 0 510307069 29458776064 287955 33554432000 4194304 4196468 140727330875920 140551889065088 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1272] ppid=1268 vsize=28768336 memory=1187216 CPUtime=18.43 cores=0-7
/proc/1270/task/1272/stat : 1272 (java) S 1268 1268 31589 0 -1 1077944384 42337 0 0 0 1745 98 0 0 20 0 28 0 510307069 29458776064 287955 33554432000 4194304 4196468 140727330875920 140551804676496 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1273] ppid=1268 vsize=28768336 memory=1448 CPUtime=18.54 cores=0-7
/proc/1270/task/1273/stat : 1273 (java) S 1268 1268 31589 0 -1 1077944384 39618 0 0 0 1761 93 0 0 20 0 28 0 510307069 29458776064 287955 33554432000 4194304 4196468 140727330875920 140551803623696 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1274] ppid=1268 vsize=28768336 memory=1151820 CPUtime=18.49 cores=0-7
/proc/1270/task/1274/stat : 1274 (java) S 1268 1268 31589 0 -1 1077944384 38813 0 0 0 1756 93 0 0 20 0 28 0 510307069 29458776064 287955 33554432000 4194304 4196468 140727330875920 140551802571408 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1275] ppid=1268 vsize=28768336 memory=1440 CPUtime=18.48 cores=0-7
/proc/1270/task/1275/stat : 1275 (java) S 1268 1268 31589 0 -1 1077944384 41958 0 0 0 1750 98 0 0 20 0 28 0 510307069 29458776064 287955 33554432000 4194304 4196468 140727330875920 140551801518608 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1276] ppid=1268 vsize=28768336 memory=1448 CPUtime=18.54 cores=0-7
/proc/1270/task/1276/stat : 1276 (java) S 1268 1268 31589 0 -1 1077944384 41726 0 0 0 1756 98 0 0 20 0 28 0 510307069 29458776064 287955 33554432000 4194304 4196468 140727330875920 140551800466320 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1277] ppid=1268 vsize=28768336 memory=1428840 CPUtime=18.57 cores=0-7
/proc/1270/task/1277/stat : 1277 (java) S 1268 1268 31589 0 -1 1077944384 37962 0 0 0 1758 99 0 0 20 0 28 0 510307069 29458776064 287955 33554432000 4194304 4196468 140727330875920 140551799413520 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1278] ppid=1268 vsize=28768336 memory=1276 CPUtime=18.5 cores=0-7
/proc/1270/task/1278/stat : 1278 (java) S 1268 1268 31589 0 -1 1077944384 40925 0 0 0 1757 93 0 0 20 0 28 0 510307069 29458776064 287955 33554432000 4194304 4196468 140727330875920 140551430200464 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1279] ppid=1268 vsize=28768336 memory=1096 CPUtime=18.43 cores=0-7
/proc/1270/task/1279/stat : 1279 (java) S 1268 1268 31589 0 -1 1077944384 46856 0 0 0 1739 104 0 0 20 0 28 0 510307069 29458776064 287955 33554432000 4194304 4196468 140727330875920 140551429147664 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1280] ppid=1268 vsize=28768336 memory=1191320 CPUtime=14.46 cores=0-7
/proc/1270/task/1280/stat : 1280 (java) S 1268 1268 31589 0 -1 1077944384 114983 0 0 0 611 835 0 0 20 0 28 0 510307071 29458776064 287955 33554432000 4194304 4196468 140727330875920 140551269599344 140551884835458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1281] ppid=1268 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/1270/task/1281/stat : 1281 (java) S 1268 1268 31589 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 510307071 29458776064 287955 33554432000 4194304 4196468 140727330875920 140551268545376 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1282] ppid=1268 vsize=28768336 memory=1191320 CPUtime=0 cores=0-7
/proc/1270/task/1282/stat : 1282 (java) S 1268 1268 31589 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 510307072 29458776064 287955 33554432000 4194304 4196468 140727330875920 140551267492992 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1283] ppid=1268 vsize=28768336 memory=1191320 CPUtime=0 cores=0-7
/proc/1270/task/1283/stat : 1283 (java) S 1268 1268 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510307074 29458776064 287955 33554432000 4194304 4196468 140727330875920 140551266441296 140551884842907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1284] ppid=1268 vsize=28768336 memory=1448 CPUtime=3.3 cores=0-7
/proc/1270/task/1284/stat : 1284 (java) S 1268 1268 31589 0 -1 1077944384 18828 0 0 0 326 4 0 0 20 0 28 0 510307074 29458776064 287955 33554432000 4194304 4196468 140727330875920 140551265389168 140551884835458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1285] ppid=1268 vsize=28768336 memory=1191320 CPUtime=3.03 cores=0-7
/proc/1270/task/1285/stat : 1285 (java) S 1268 1268 31589 0 -1 1077944384 20777 0 0 0 298 5 0 0 20 0 28 0 510307074 29458776064 287955 33554432000 4194304 4196468 140727330875920 140551264336368 140551884835458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1286] ppid=1268 vsize=28768336 memory=1448 CPUtime=2.92 cores=0-7
/proc/1270/task/1286/stat : 1286 (java) S 1268 1268 31589 0 -1 1077944384 20110 0 0 0 288 4 0 0 20 0 28 0 510307074 29458776064 287955 33554432000 4194304 4196468 140727330875920 140551263284080 140551884835458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1287] ppid=1268 vsize=28768336 memory=1226204 CPUtime=0.89 cores=0-7
/proc/1270/task/1287/stat : 1287 (java) S 1268 1268 31589 0 -1 1077944384 14388 0 0 0 84 5 0 0 20 0 28 0 510307074 29458776064 287955 33554432000 4194304 4196468 140727330875920 140551194143472 140551884835458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1288] ppid=1268 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/1270/task/1288/stat : 1288 (java) S 1268 1268 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510307074 29458776064 287955 33554432000 4194304 4196468 140727330875920 140551193090400 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1289] ppid=1268 vsize=28768336 memory=1448 CPUtime=0.88 cores=0-7
/proc/1270/task/1289/stat : 1289 (java) S 1268 1268 31589 0 -1 1077944384 3757 0 0 0 29 59 0 0 20 0 28 0 510307074 29458776064 287955 33554432000 4194304 4196468 140727330875920 140551192037680 140551884835458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1290] ppid=1268 vsize=28768336 memory=1448 CPUtime=2458.53 cores=0-7
/proc/1270/task/1290/stat : 1290 (java) R 1268 1268 31589 0 -1 4202560 71390 0 0 0 245820 33 0 0 20 0 28 0 510307143 29458776064 287955 33554432000 4194304 4196468 140727330875920 140551180958304 140551487642118 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1291] ppid=1268 vsize=28768336 memory=1191320 CPUtime=2452.82 cores=0-7
/proc/1270/task/1291/stat : 1291 (java) R 1268 1268 31589 0 -1 4202560 64497 0 0 0 245246 36 0 0 20 0 28 0 510307143 29458776064 287955 33554432000 4194304 4196468 140727330875920 140551179906696 140551489013312 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1292] ppid=1268 vsize=28768336 memory=3504 CPUtime=2461.53 cores=0-7
/proc/1270/task/1292/stat : 1292 (java) R 1268 1268 31589 0 -1 4202560 46270 0 0 0 246118 35 0 0 20 0 28 0 510307143 29458776064 287955 33554432000 4194304 4196468 140727330875920 140551178853872 140551487731796 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1293] ppid=1268 vsize=28768336 memory=1448 CPUtime=2460.42 cores=0-7
/proc/1270/task/1293/stat : 1293 (java) R 1268 1268 31589 0 -1 4202560 74269 0 0 0 246002 40 0 0 20 0 28 0 510307143 29458776064 287955 33554432000 4194304 4196468 140727330875920 140551177801776 140551489747174 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1294] ppid=1268 vsize=28768336 memory=1448 CPUtime=2457.83 cores=0-7
/proc/1270/task/1294/stat : 1294 (java) R 1268 1268 31589 0 -1 4202560 92383 0 0 0 245734 49 0 0 20 0 28 0 510307143 29458776064 287955 33554432000 4194304 4196468 140727330875920 140551176749736 140551489747631 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1295] ppid=1268 vsize=28768336 memory=3504 CPUtime=2462.56 cores=0-7
/proc/1270/task/1295/stat : 1295 (java) R 1268 1268 31589 0 -1 4202560 106984 0 0 0 246203 53 0 0 20 0 28 0 510307143 29458776064 287955 33554432000 4194304 4196468 140727330875920 140551175699728 140551489747250 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1296] ppid=1268 vsize=28768336 memory=64372 CPUtime=2459.74 cores=0-7
/proc/1270/task/1296/stat : 1296 (java) R 1268 1268 31589 0 -1 4202560 67261 0 0 0 245943 31 0 0 20 0 28 0 510307143 29458776064 287955 33554432000 4194304 4196468 140727330875920 140551174643720 140551488344640 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1297] ppid=1268 vsize=28768336 memory=988 CPUtime=2463.6 cores=0-7
/proc/1270/task/1297/stat : 1297 (java) R 1268 1268 31589 0 -1 4202560 95271 0 0 0 246314 46 0 0 20 0 28 0 510307144 29458776064 287955 33554432000 4194304 4196468 140727330875920 140551173590008 140551489224287 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
Current children cumulated CPU time: 19851.5 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1153268 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520.01 s]*
/proc/loadavg: 8.66 8.29 8.22 9/220 1510
/proc/meminfo: memFree=24508476/32770624 swapFree=66953496/67108860
[pid=1268] ppid=1265 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/1268/stat : 1268 (xcsp3-exec) S 1265 1268 31589 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510307068 115843072 362 33554432000 4194304 5098028 140720707612752 140720707610856 140271509287548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29196288 140720707621713 140720707621973 140720707621973 140720707624902 0
/proc/1268/statm: 28282 362 304 221 0 87 0
[pid=1270] ppid=1268 vsize=28768336 memory=1155248 CPUtime=19991.9 cores=0-7
/proc/1270/stat : 1270 (java) S 1268 1268 31589 0 -1 1077944320 1154147 0 0 0 1997232 1959 0 0 20 0 28 0 510307068 29458776064 288812 33554432000 4194304 4196468 140727330875920 140727330858464 140551884824311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
/proc/1270/statm: 7192084 288812 3546 1 0 7153184 0
[pid=1270/tid=1271] ppid=1268 vsize=28768336 memory=1560 CPUtime=0.72 cores=0-7
/proc/1270/task/1271/stat : 1271 (java) S 1268 1268 31589 0 -1 1077944384 9500 0 0 0 68 4 0 0 20 0 28 0 510307069 29458776064 288812 33554432000 4194304 4196468 140727330875920 140551889065088 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1272] ppid=1268 vsize=28768336 memory=924 CPUtime=18.54 cores=0-7
/proc/1270/task/1272/stat : 1272 (java) S 1268 1268 31589 0 -1 1077944384 42370 0 0 0 1756 98 0 0 20 0 28 0 510307069 29458776064 288812 33554432000 4194304 4196468 140727330875920 140551804676496 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1273] ppid=1268 vsize=28768336 memory=1412 CPUtime=18.66 cores=0-7
/proc/1270/task/1273/stat : 1273 (java) S 1268 1268 31589 0 -1 1077944384 39646 0 0 0 1773 93 0 0 20 0 28 0 510307069 29458776064 288812 33554432000 4194304 4196468 140727330875920 140551803623696 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1274] ppid=1268 vsize=28768336 memory=4872558044660077418 CPUtime=18.62 cores=0-7
/proc/1270/task/1274/stat : 1274 (java) S 1268 1268 31589 0 -1 1077944384 38874 0 0 0 1769 93 0 0 20 0 28 0 510307069 29458776064 288812 33554432000 4194304 4196468 140727330875920 140551802571408 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1275] ppid=1268 vsize=28768336 memory=1448 CPUtime=18.62 cores=0-7
/proc/1270/task/1275/stat : 1275 (java) S 1268 1268 31589 0 -1 1077944384 42226 0 0 0 1763 99 0 0 20 0 28 0 510307069 29458776064 288812 33554432000 4194304 4196468 140727330875920 140551801518608 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1276] ppid=1268 vsize=28768336 memory=1153160 CPUtime=18.68 cores=0-7
/proc/1270/task/1276/stat : 1276 (java) S 1268 1268 31589 0 -1 1077944384 41750 0 0 0 1769 99 0 0 20 0 28 0 510307069 29458776064 288812 33554432000 4194304 4196468 140727330875920 140551800466320 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1277] ppid=1268 vsize=28768336 memory=4104 CPUtime=18.7 cores=0-7
/proc/1270/task/1277/stat : 1277 (java) S 1268 1268 31589 0 -1 1077944384 38512 0 0 0 1771 99 0 0 20 0 28 0 510307069 29458776064 288812 33554432000 4194304 4196468 140727330875920 140551799413520 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1278] ppid=1268 vsize=28768336 memory=3688 CPUtime=18.63 cores=0-7
/proc/1270/task/1278/stat : 1278 (java) S 1268 1268 31589 0 -1 1077944384 40935 0 0 0 1770 93 0 0 20 0 28 0 510307069 29458776064 288812 33554432000 4194304 4196468 140727330875920 140551430200464 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1279] ppid=1268 vsize=28768336 memory=1984 CPUtime=18.56 cores=0-7
/proc/1270/task/1279/stat : 1279 (java) S 1268 1268 31589 0 -1 1077944384 47018 0 0 0 1751 105 0 0 20 0 28 0 510307069 29458776064 288812 33554432000 4194304 4196468 140727330875920 140551429147664 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1280] ppid=1268 vsize=28768336 memory=1440 CPUtime=14.57 cores=0-7
/proc/1270/task/1280/stat : 1280 (java) S 1268 1268 31589 0 -1 1077944384 115253 0 0 0 615 842 0 0 20 0 28 0 510307071 29458776064 288812 33554432000 4194304 4196468 140727330875920 140551269599344 140551884835458 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1281] ppid=1268 vsize=28768336 memory=808 CPUtime=0 cores=0-7
/proc/1270/task/1281/stat : 1281 (java) S 1268 1268 31589 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 510307071 29458776064 288812 33554432000 4194304 4196468 140727330875920 140551268545376 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1282] ppid=1268 vsize=28768336 memory=2580 CPUtime=0 cores=0-7
/proc/1270/task/1282/stat : 1282 (java) S 1268 1268 31589 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 510307072 29458776064 288812 33554432000 4194304 4196468 140727330875920 140551267492992 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1283] ppid=1268 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/1270/task/1283/stat : 1283 (java) S 1268 1268 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510307074 29458776064 288812 33554432000 4194304 4196468 140727330875920 140551266441296 140551884842907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1284] ppid=1268 vsize=28768336 memory=1153160 CPUtime=3.3 cores=0-7
/proc/1270/task/1284/stat : 1284 (java) S 1268 1268 31589 0 -1 1077944384 18830 0 0 0 326 4 0 0 20 0 28 0 510307074 29458776064 288812 33554432000 4194304 4196468 140727330875920 140551265389168 140551884835458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1285] ppid=1268 vsize=28768336 memory=1804 CPUtime=3.03 cores=0-7
/proc/1270/task/1285/stat : 1285 (java) S 1268 1268 31589 0 -1 1077944384 20779 0 0 0 298 5 0 0 20 0 28 0 510307074 29458776064 288812 33554432000 4194304 4196468 140727330875920 140551264336368 140551884835458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1286] ppid=1268 vsize=28768336 memory=3708 CPUtime=2.92 cores=0-7
/proc/1270/task/1286/stat : 1286 (java) S 1268 1268 31589 0 -1 1077944384 20112 0 0 0 288 4 0 0 20 0 28 0 510307074 29458776064 288812 33554432000 4194304 4196468 140727330875920 140551263284080 140551884835458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1287] ppid=1268 vsize=28768336 memory=1448 CPUtime=0.89 cores=0-7
/proc/1270/task/1287/stat : 1287 (java) S 1268 1268 31589 0 -1 1077944384 14390 0 0 0 84 5 0 0 20 0 28 0 510307074 29458776064 288812 33554432000 4194304 4196468 140727330875920 140551194143472 140551884835458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1288] ppid=1268 vsize=28768336 memory=1155248 CPUtime=0 cores=0-7
/proc/1270/task/1288/stat : 1288 (java) S 1268 1268 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510307074 29458776064 288812 33554432000 4194304 4196468 140727330875920 140551193090400 140551884834517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1289] ppid=1268 vsize=28768336 memory=4104 CPUtime=0.9 cores=0-7
/proc/1270/task/1289/stat : 1289 (java) S 1268 1268 31589 0 -1 1077944384 3770 0 0 0 30 60 0 0 20 0 28 0 510307074 29458776064 288812 33554432000 4194304 4196468 140727330875920 140551192037680 140551884835458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1290] ppid=1268 vsize=28768336 memory=3688 CPUtime=2475.86 cores=0-7
/proc/1270/task/1290/stat : 1290 (java) R 1268 1268 31589 0 -1 4202560 71456 0 0 0 247553 33 0 0 20 0 28 0 510307143 29458776064 288812 33554432000 4194304 4196468 140727330875920 140551180961552 140551487645346 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1291] ppid=1268 vsize=28768336 memory=1984 CPUtime=2470.11 cores=0-7
/proc/1270/task/1291/stat : 1291 (java) R 1268 1268 31589 0 -1 4202560 64579 0 0 0 246975 36 0 0 20 0 28 0 510307143 29458776064 288812 33554432000 4194304 4196468 140727330875920 140551179907608 140551487016618 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1292] ppid=1268 vsize=28768336 memory=1448 CPUtime=2479.01 cores=0-7
/proc/1270/task/1292/stat : 1292 (java) R 1268 1268 31589 0 -1 4202560 46343 0 0 0 247866 35 0 0 20 0 28 0 510307143 29458776064 288812 33554432000 4194304 4196468 140727330875920 140551178855432 140551489013374 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1293] ppid=1268 vsize=28768336 memory=1153160 CPUtime=2477.92 cores=0-7
/proc/1270/task/1293/stat : 1293 (java) R 1268 1268 31589 0 -1 4202560 74325 0 0 0 247752 40 0 0 20 0 28 0 510307143 29458776064 288812 33554432000 4194304 4196468 140727330875920 140551177801776 140551489747056 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1294] ppid=1268 vsize=28768336 memory=1448 CPUtime=2475.3 cores=0-7
/proc/1270/task/1294/stat : 1294 (java) R 1268 1268 31589 0 -1 4202560 92441 0 0 0 247481 49 0 0 20 0 28 0 510307143 29458776064 288812 33554432000 4194304 4196468 140727330875920 140551176749736 140551489747243 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1295] ppid=1268 vsize=28768336 memory=1155248 CPUtime=2480.03 cores=0-7
/proc/1270/task/1295/stat : 1295 (java) R 1268 1268 31589 0 -1 4202560 107020 0 0 0 247950 53 0 0 20 0 28 0 510307143 29458776064 288812 33554432000 4194304 4196468 140727330875920 140551175696968 140551489016926 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1296] ppid=1268 vsize=28768336 memory=1412 CPUtime=2477.11 cores=0-7
/proc/1270/task/1296/stat : 1296 (java) R 1268 1268 31589 0 -1 4202560 67309 0 0 0 247680 31 0 0 20 0 28 0 510307143 29458776064 288812 33554432000 4194304 4196468 140727330875920 140551174643720 140551488883117 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
[pid=1270/tid=1297] ppid=1268 vsize=28768336 memory=3708 CPUtime=2481.01 cores=0-7
/proc/1270/task/1297/stat : 1297 (java) R 1268 1268 31589 0 -1 4202560 95333 0 0 0 248055 46 0 0 20 0 28 0 510307144 29458776064 288812 33554432000 4194304 4196468 140727330875920 140551173590984 140551484875036 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 17620992 140727330878422 140727330878598 140727330878598 140727330881487 0
Current children cumulated CPU time: 19991.9 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1156696 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.12
CPU time (s): 19992.6
CPU user time (s): 19973
CPU system time (s): 19.6129
CPU usage (%): 793.318
Max. virtual memory (cumulated for all children) (KiB): 28883368
Max. memory (cumulated for all children) (KiB): 1674924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19973
system time used= 19.6129
maximum resident set size= 1675524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1155031
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 151087
involuntary context switches= 223474


# summary of solver processes directly reported to runsolver:
#   pid: 1268,1270
#   total CPU time (s): 19992.6
#   total CPU user time (s): 19973
#   total CPU system time (s): 19.6129

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.0892 second user time and 25.673 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-24 18:51:22
IDJOB=4406821
IDBENCH=120457
IDSOLVER=2871
FILE ID=node119/4406821-1569343923
RUNJOBID= node119-1569335938-31616
PBS_JOBID= 21705065
Free space on /var/tmp= 13512 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/StripPacking/StripPacking-m1-seriesT/StripPacking-T1e.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 /var/tmp/evaluation-result-4406821-1569343923/watcher-4406821-1569343923 -o /var/tmp/evaluation-result-4406821-1569343923/solver-4406821-1569343923 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569335938-31616 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1201978005 HOME/instance-4406821-1569343923.xml

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

MD5SUM BENCH= f7b8b642e131c8af917aaf97f4ae3b24
RANDOM SEED=1201978005

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:        25650764 kB
MemAvailable:   31797680 kB
Buffers:          127608 kB
Cached:          6118248 kB
SwapCached:        46744 kB
Active:          3119536 kB
Inactive:        3178220 kB
Active(anon):       4504 kB
Inactive(anon):   104072 kB
Active(file):    3115032 kB
Inactive(file):  3074148 kB
Unevictable:      107592 kB
Mlocked:          107592 kB
SwapTotal:      67108860 kB
SwapFree:       66953492 kB
Dirty:             26156 kB
Writeback:             0 kB
AnonPages:         46428 kB
Mapped:            57792 kB
Shmem:             48536 kB
Slab:             414904 kB
SReclaimable:     386196 kB
SUnreclaim:        28708 kB
KernelStack:        3728 kB
PageTables:         5216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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 /var/tmp at the end= 13488 MiB
End job on node119 at 2019-09-24 19:33:22