Trace number 4406808

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) 20043 2520.1

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s07/
Blackhole-4-07h-5_X2.xml
MD5SUM0d344e361328211ed16699cc315bd3d7
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark165.955
Satisfiable
(Un)Satisfiability was proved
Number of variables112
Number of constraints1262
Number of domains4
Minimum domain size1
Maximum domain size28
Distribution of domain sizes[{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}]
Minimum variable degree0
Maximum variable degree56
Distribution of variable degrees[{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1262}]
Number of extensional constraints1262
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1262}]
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-4406808-1569353126.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4406808-1569353126.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
3.03/1.04	c solve instance...
20042.40/2520.07	s UNKNOWN
20042.40/2520.07	c Unexpected resolution interruption!

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12764 MiB free)
  memory of node 1: 16384 MiB (14289 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406808-1569353126/watcher-4406808-1569353126 -o /var/tmp/evaluation-result-4406808-1569353126/solver-4406808-1569353126 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1569347829-18782 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1416382552 HOME/instance-4406808-1569353126.xml 

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

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


[startup+0.100133 s]*
/proc/loadavg: 8.58 8.35 8.27 3/213 19898
/proc/meminfo: memFree=27687256/32770624 swapFree=66957760/67108860
[pid=19877] ppid=19874 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19877/stat : 19877 (xcsp3-exec) S 19874 19877 18755 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511551164 115843072 363 33554432000 4194304 5098028 140732143990000 140732143988104 139993981465212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30253056 140732143993681 140732143993941 140732143993941 140732143996870 0
/proc/19877/statm: 28282 363 304 221 0 87 0
[pid=19879] ppid=19877 vsize=28227396 memory=28816 CPUtime=0.12 cores=0-7
/proc/19879/stat : 19879 (java) S 19877 19877 18755 0 -1 1077944320 5621 0 0 0 11 1 0 0 20 0 20 0 511551164 28904853504 7204 33554432000 4194304 4196468 140735060765456 140735060748000 140001284296439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
/proc/19879/statm: 7056849 7204 3152 1 0 7019032 0
[pid=19879/tid=19880] ppid=19877 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/19879/task/19880/stat : 19880 (java) R 19877 19877 18755 0 -1 4202560 3574 0 0 0 8 0 0 0 20 0 20 0 511551164 28904853504 7204 33554432000 4194304 4196468 140735060765456 140001288529712 140001284308374 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19881] ppid=19877 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/19879/task/19881/stat : 19881 (java) S 19877 19877 18755 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511551165 28904853504 7204 33554432000 4194304 4196468 140735060765456 140001240848656 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19882] ppid=19877 vsize=28227396 memory=140048999929472 CPUtime=0 cores=0-7
/proc/19879/task/19882/stat : 19882 (java) S 19877 19877 18755 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511551165 28904853504 7204 33554432000 4194304 4196468 140735060765456 140001239796112 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19883] ppid=19877 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19883/stat : 19883 (java) S 19877 19877 18755 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511551165 28904853504 7204 33554432000 4194304 4196468 140735060765456 140001238743568 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19884] ppid=19877 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19884/stat : 19884 (java) S 19877 19877 18755 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511551165 28904853504 7204 33554432000 4194304 4196468 140735060765456 140000832379536 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19885] ppid=19877 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19885/stat : 19885 (java) S 19877 19877 18755 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511551165 28904853504 7204 33554432000 4194304 4196468 140735060765456 140000831326992 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19886] ppid=19877 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19879/task/19886/stat : 19886 (java) S 19877 19877 18755 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511551165 28904853504 7204 33554432000 4194304 4196468 140735060765456 140000830274448 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19887] ppid=19877 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19887/stat : 19887 (java) S 19877 19877 18755 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511551165 28904853504 7204 33554432000 4194304 4196468 140735060765456 140000829221904 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19888] ppid=19877 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19888/stat : 19888 (java) S 19877 19877 18755 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511551165 28904853504 7204 33554432000 4194304 4196468 140735060765456 140000828169360 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19889] ppid=19877 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19889/stat : 19889 (java) S 19877 19877 18755 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511551166 28904853504 7204 33554432000 4194304 4196468 140735060765456 139999613757424 140001284307586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19890] ppid=19877 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19890/stat : 19890 (java) S 19877 19877 18755 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511551167 28904853504 7204 33554432000 4194304 4196468 140735060765456 139999612703648 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19891] ppid=19877 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19891/stat : 19891 (java) S 19877 19877 18755 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511551167 28904853504 7204 33554432000 4194304 4196468 140735060765456 139999611651056 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19892] ppid=19877 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19892/stat : 19892 (java) S 19877 19877 18755 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511551169 28904853504 7204 33554432000 4194304 4196468 140735060765456 139999610599632 140001284315035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19893] ppid=19877 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19893/stat : 19893 (java) R 19877 19877 18755 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 20 0 511551169 28904853504 7204 33554432000 4194304 4196468 140735060765456 139999609547248 140001284307586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19894] ppid=19877 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19894/stat : 19894 (java) S 19877 19877 18755 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511551169 28904853504 7204 33554432000 4194304 4196468 140735060765456 139999608494704 140001284307586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19895] ppid=19877 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19895/stat : 19895 (java) S 19877 19877 18755 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511551170 28904853504 7204 33554432000 4194304 4196468 140735060765456 139999607442160 140001284307586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19896] ppid=19877 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/19879/task/19896/stat : 19896 (java) R 19877 19877 18755 0 -1 4202560 322 0 0 0 1 0 0 0 20 0 20 0 511551170 28904853504 7204 33554432000 4194304 4196468 140735060765456 139999606389616 140001268376926 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19897] ppid=19877 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19897/stat : 19897 (java) S 19877 19877 18755 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511551170 28904853504 7204 33554432000 4194304 4196468 140735060765456 139999605336288 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19898] ppid=19877 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19879/task/19898/stat : 19898 (java) S 19877 19877 18755 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511551170 28904853504 7204 33554432000 4194304 4196468 140735060765456 139999604283824 140001284307586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30268 KiB

[startup+0.210461 s]*
/proc/loadavg: 8.58 8.35 8.27 2/213 19898
/proc/meminfo: memFree=27673344/32770624 swapFree=66957760/67108860
[pid=19877] ppid=19874 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19877/stat : 19877 (xcsp3-exec) S 19874 19877 18755 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511551164 115843072 363 33554432000 4194304 5098028 140732143990000 140732143988104 139993981465212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30253056 140732143993681 140732143993941 140732143993941 140732143996870 0
/proc/19877/statm: 28282 363 304 221 0 87 0
[pid=19879] ppid=19877 vsize=28227396 memory=41280 CPUtime=0.33 cores=0-7
/proc/19879/stat : 19879 (java) S 19877 19877 18755 0 -1 1077944320 9552 0 0 0 30 3 0 0 20 0 20 0 511551164 28904853504 10320 33554432000 4194304 4196468 140735060765456 140735060748000 140001284296439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
/proc/19879/statm: 7056849 10320 3277 1 0 7019032 0
[pid=19879/tid=19880] ppid=19877 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/19879/task/19880/stat : 19880 (java) R 19877 19877 18755 0 -1 4202560 6626 0 0 0 18 2 0 0 20 0 20 0 511551164 28904853504 10320 33554432000 4194304 4196468 140735060765456 140001288526160 140001284308374 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19881] ppid=19877 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/19879/task/19881/stat : 19881 (java) S 19877 19877 18755 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511551165 28904853504 10320 33554432000 4194304 4196468 140735060765456 140001240848656 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19882] ppid=19877 vsize=28227396 memory=140049003705321 CPUtime=0 cores=0-7
/proc/19879/task/19882/stat : 19882 (java) S 19877 19877 18755 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511551165 28904853504 10320 33554432000 4194304 4196468 140735060765456 140001239796112 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19883] ppid=19877 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19879/task/19883/stat : 19883 (java) S 19877 19877 18755 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511551165 28904853504 10320 33554432000 4194304 4196468 140735060765456 140001238743568 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19884] ppid=19877 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19884/stat : 19884 (java) S 19877 19877 18755 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511551165 28904853504 10320 33554432000 4194304 4196468 140735060765456 140000832379536 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19885] ppid=19877 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19885/stat : 19885 (java) S 19877 19877 18755 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511551165 28904853504 10320 33554432000 4194304 4196468 140735060765456 140000831326992 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19886] ppid=19877 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19879/task/19886/stat : 19886 (java) S 19877 19877 18755 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511551165 28904853504 10320 33554432000 4194304 4196468 140735060765456 140000830274448 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19887] ppid=19877 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19887/stat : 19887 (java) S 19877 19877 18755 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511551165 28904853504 10320 33554432000 4194304 4196468 140735060765456 140000829221904 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19888] ppid=19877 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19888/stat : 19888 (java) S 19877 19877 18755 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511551165 28904853504 10320 33554432000 4194304 4196468 140735060765456 140000828169360 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19889] ppid=19877 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19889/stat : 19889 (java) S 19877 19877 18755 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 511551166 28904853504 10320 33554432000 4194304 4196468 140735060765456 139999613757424 140001284307586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19890] ppid=19877 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19890/stat : 19890 (java) S 19877 19877 18755 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511551167 28904853504 10320 33554432000 4194304 4196468 140735060765456 139999612703648 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19891] ppid=19877 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19891/stat : 19891 (java) S 19877 19877 18755 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511551167 28904853504 10320 33554432000 4194304 4196468 140735060765456 139999611651056 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19892] ppid=19877 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19892/stat : 19892 (java) S 19877 19877 18755 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511551169 28904853504 10320 33554432000 4194304 4196468 140735060765456 139999610599632 140001284315035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19893] ppid=19877 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/19879/task/19893/stat : 19893 (java) S 19877 19877 18755 0 -1 1077944384 452 0 0 0 1 0 0 0 20 0 20 0 511551169 28904853504 10320 33554432000 4194304 4196468 140735060765456 139999609547248 140001284307586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19894] ppid=19877 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/19879/task/19894/stat : 19894 (java) S 19877 19877 18755 0 -1 1077944384 148 0 0 0 1 0 0 0 20 0 20 0 511551169 28904853504 10320 33554432000 4194304 4196468 140735060765456 139999608494704 140001284307586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19895] ppid=19877 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/19879/task/19895/stat : 19895 (java) S 19877 19877 18755 0 -1 1077944384 215 0 0 0 1 0 0 0 20 0 20 0 511551170 28904853504 10320 33554432000 4194304 4196468 140735060765456 139999607442160 140001284307586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19896] ppid=19877 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/19879/task/19896/stat : 19896 (java) R 19877 19877 18755 0 -1 4202560 796 0 0 0 7 0 0 0 20 0 20 0 511551170 28904853504 10320 33554432000 4194304 4196468 140735060765456 139999606389616 140001284308374 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19897] ppid=19877 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19897/stat : 19897 (java) S 19877 19877 18755 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511551170 28904853504 10320 33554432000 4194304 4196468 140735060765456 139999605336288 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19898] ppid=19877 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19879/task/19898/stat : 19898 (java) S 19877 19877 18755 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511551170 28904853504 10320 33554432000 4194304 4196468 140735060765456 139999604283824 140001284307586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42732 KiB

[startup+0.310318 s]*
/proc/loadavg: 8.58 8.35 8.27 5/213 19898
/proc/meminfo: memFree=27665948/32770624 swapFree=66957760/67108860
[pid=19877] ppid=19874 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19877/stat : 19877 (xcsp3-exec) S 19874 19877 18755 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511551164 115843072 363 33554432000 4194304 5098028 140732143990000 140732143988104 139993981465212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30253056 140732143993681 140732143993941 140732143993941 140732143996870 0
/proc/19877/statm: 28282 363 304 221 0 87 0
[pid=19879] ppid=19877 vsize=28231652 memory=50152 CPUtime=0.52 cores=0-7
/proc/19879/stat : 19879 (java) S 19877 19877 18755 0 -1 1077944320 10853 0 0 0 48 4 0 0 20 0 20 0 511551164 28909211648 12538 33554432000 4194304 4196468 140735060765456 140735060748000 140001284296439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
/proc/19879/statm: 7057913 12538 3358 1 0 7019032 0
[pid=19879/tid=19880] ppid=19877 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/19879/task/19880/stat : 19880 (java) R 19877 19877 18755 0 -1 4202560 7754 0 0 0 27 2 0 0 20 0 20 0 511551164 28909211648 12566 33554432000 4194304 4196468 140735060765456 140001288527552 140001284318365 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19881] ppid=19877 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19881/stat : 19881 (java) S 19877 19877 18755 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511551165 28909211648 12566 33554432000 4194304 4196468 140735060765456 140001240848656 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19882] ppid=19877 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19882/stat : 19882 (java) S 19877 19877 18755 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511551165 28909211648 12566 33554432000 4194304 4196468 140735060765456 140001239796112 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19883] ppid=19877 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19883/stat : 19883 (java) S 19877 19877 18755 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511551165 28909211648 12566 33554432000 4194304 4196468 140735060765456 140001238743568 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19884] ppid=19877 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19884/stat : 19884 (java) S 19877 19877 18755 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511551165 28909211648 12566 33554432000 4194304 4196468 140735060765456 140000832379536 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19885] ppid=19877 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/19879/task/19885/stat : 19885 (java) S 19877 19877 18755 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511551165 28909211648 12566 33554432000 4194304 4196468 140735060765456 140000831326992 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19886] ppid=19877 vsize=28231652 memory=140048884396975 CPUtime=0 cores=0-7
/proc/19879/task/19886/stat : 19886 (java) S 19877 19877 18755 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511551165 28909211648 12566 33554432000 4194304 4196468 140735060765456 140000830274448 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19887] ppid=19877 vsize=28231652 memory=140048884399280 CPUtime=0 cores=0-7
/proc/19879/task/19887/stat : 19887 (java) S 19877 19877 18755 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511551165 28909211648 12566 33554432000 4194304 4196468 140735060765456 140000829221904 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19888] ppid=19877 vsize=28231652 memory=140048884401584 CPUtime=0 cores=0-7
/proc/19879/task/19888/stat : 19888 (java) S 19877 19877 18755 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511551165 28909211648 12566 33554432000 4194304 4196468 140735060765456 140000828169360 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19889] ppid=19877 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19889/stat : 19889 (java) S 19877 19877 18755 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 511551166 28909211648 12566 33554432000 4194304 4196468 140735060765456 139999613757424 140001284307586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19890] ppid=19877 vsize=28231652 memory=280097768810128 CPUtime=0 cores=0-7
/proc/19879/task/19890/stat : 19890 (java) S 19877 19877 18755 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511551167 28909211648 12566 33554432000 4194304 4196468 140735060765456 139999612703648 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19891] ppid=19877 vsize=28231652 memory=280097768817040 CPUtime=0 cores=0-7
/proc/19879/task/19891/stat : 19891 (java) S 19877 19877 18755 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511551167 28909211648 12566 33554432000 4194304 4196468 140735060765456 139999611651056 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19892] ppid=19877 vsize=28231652 memory=280097768758192 CPUtime=0 cores=0-7
/proc/19879/task/19892/stat : 19892 (java) S 19877 19877 18755 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511551169 28909211648 12566 33554432000 4194304 4196468 140735060765456 139999610599632 140001284315035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19893] ppid=19877 vsize=28231652 memory=280097768830864 CPUtime=0.03 cores=0-7
/proc/19879/task/19893/stat : 19893 (java) R 19877 19877 18755 0 -1 4202560 568 0 0 0 3 0 0 0 20 0 20 0 511551169 28909211648 12566 33554432000 4194304 4196468 140735060765456 139999609547248 140001265817019 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19894] ppid=19877 vsize=28231652 memory=280097768837776 CPUtime=0.02 cores=0-7
/proc/19879/task/19894/stat : 19894 (java) S 19877 19877 18755 0 -1 1077944384 153 0 0 0 2 0 0 0 20 0 20 0 511551169 28909211648 12566 33554432000 4194304 4196468 140735060765456 139999608494704 140001284307586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19895] ppid=19877 vsize=28231652 memory=280097768835472 CPUtime=0.02 cores=0-7
/proc/19879/task/19895/stat : 19895 (java) S 19877 19877 18755 0 -1 1077944384 215 0 0 0 2 0 0 0 20 0 20 0 511551170 28909211648 12566 33554432000 4194304 4196468 140735060765456 139999607442160 140001284307586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19896] ppid=19877 vsize=28231652 memory=280097768851632 CPUtime=0.12 cores=0-7
/proc/19879/task/19896/stat : 19896 (java) S 19877 19877 18755 0 -1 1077944384 858 0 0 0 12 0 0 0 20 0 20 0 511551170 28909211648 12566 33554432000 4194304 4196468 140735060765456 139999606389616 140001284307586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19897] ppid=19877 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19897/stat : 19897 (java) S 19877 19877 18755 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511551170 28909211648 12566 33554432000 4194304 4196468 140735060765456 139999605336288 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19898] ppid=19877 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/19879/task/19898/stat : 19898 (java) S 19877 19877 18755 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511551170 28909211648 12566 33554432000 4194304 4196468 140735060765456 139999604283824 140001284307586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51604 KiB

[startup+0.701029 s]
/proc/loadavg: 8.58 8.35 8.27 6/213 19898
/proc/meminfo: memFree=27654216/32770624 swapFree=66957760/67108860
[pid=19877] ppid=19874 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19877/stat : 19877 (xcsp3-exec) S 19874 19877 18755 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511551164 115843072 363 33554432000 4194304 5098028 140732143990000 140732143988104 139993981465212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30253056 140732143993681 140732143993941 140732143993941 140732143996870 0
/proc/19877/statm: 28282 363 304 221 0 87 0
[pid=19879] ppid=19877 vsize=28233776 memory=99472 CPUtime=1.72 cores=0-7
/proc/19879/stat : 19879 (java) S 19877 19877 18755 0 -1 1077944320 15192 0 0 0 165 7 0 0 20 0 20 0 511551164 28911386624 24868 33554432000 4194304 4196468 140735060765456 140735060748000 140001284296439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
/proc/19879/statm: 7058444 24868 3452 1 0 7019544 0
[pid=19879/tid=19880] ppid=19877 vsize=28233776 memory=280097769209520 CPUtime=0.68 cores=0-7
/proc/19879/task/19880/stat : 19880 (java) R 19877 19877 18755 0 -1 4202560 8661 0 0 0 64 4 0 0 20 0 20 0 511551164 28911386624 24868 33554432000 4194304 4196468 140735060765456 140001288530240 140000922987636 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19881] ppid=19877 vsize=28233776 memory=140048884605808 CPUtime=0 cores=0-7
/proc/19879/task/19881/stat : 19881 (java) S 19877 19877 18755 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511551165 28911386624 24868 33554432000 4194304 4196468 140735060765456 140001240848656 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19882] ppid=19877 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/19879/task/19882/stat : 19882 (java) S 19877 19877 18755 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511551165 28911386624 24868 33554432000 4194304 4196468 140735060765456 140001239796112 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19883] ppid=19877 vsize=28233776 memory=6160 CPUtime=0 cores=0-7
/proc/19879/task/19883/stat : 19883 (java) S 19877 19877 18755 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511551165 28911386624 24868 33554432000 4194304 4196468 140735060765456 140001238743568 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0

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

[pid=19879/tid=19906] ppid=19877 vsize=28766288 memory=1452 CPUtime=2420.83 cores=0-7
/proc/19879/task/19906/stat : 19906 (java) R 19877 19877 18755 0 -1 4202560 20358 0 0 0 242059 24 0 0 20 0 28 0 511551270 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999587933896 140000926895588 0 4 0 16800975 0 0 0 -1 6 0 0 23 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
Current children cumulated CPU time: 19423.6 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 2593972 KiB

[startup+2502.3 s]
/proc/loadavg: 8.26 8.31 8.28 9/219 20116
/proc/meminfo: memFree=25116828/32770624 swapFree=66957768/67108860
[pid=19877] ppid=19874 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19877/stat : 19877 (xcsp3-exec) S 19874 19877 18755 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511551164 115843072 363 33554432000 4194304 5098028 140732143990000 140732143988104 139993981465212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30253056 140732143993681 140732143993941 140732143993941 140732143996870 0
/proc/19877/statm: 28282 363 304 221 0 87 0
[pid=19879] ppid=19877 vsize=28766288 memory=2592520 CPUtime=19901.3 cores=0-7
/proc/19879/stat : 19879 (java) S 19877 19877 18755 0 -1 1077944320 792549 0 0 0 1989054 1076 0 0 20 0 28 0 511551164 29456678912 648130 33554432000 4194304 4196468 140735060765456 140735060748000 140001284296439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
/proc/19879/statm: 7191572 648130 3548 1 0 7152672 0
[pid=19879/tid=19880] ppid=19877 vsize=28766288 memory=2592520 CPUtime=1 cores=0-7
/proc/19879/task/19880/stat : 19880 (java) S 19877 19877 18755 0 -1 1077944384 8780 0 0 0 96 4 0 0 20 0 28 0 511551164 29456678912 648130 33554432000 4194304 4196468 140735060765456 140001288537216 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19881] ppid=19877 vsize=28766288 memory=2592520 CPUtime=6.94 cores=0-7
/proc/19879/task/19881/stat : 19881 (java) S 19877 19877 18755 0 -1 1077944384 28971 0 0 0 668 26 0 0 20 0 28 0 511551165 29456678912 648130 33554432000 4194304 4196468 140735060765456 140001240848656 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19882] ppid=19877 vsize=28766288 memory=2592520 CPUtime=6.93 cores=0-7
/proc/19879/task/19882/stat : 19882 (java) S 19877 19877 18755 0 -1 1077944384 29338 0 0 0 664 29 0 0 20 0 28 0 511551165 29456678912 648130 33554432000 4194304 4196468 140735060765456 140001239796112 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19883] ppid=19877 vsize=28766288 memory=2592520 CPUtime=6.94 cores=0-7
/proc/19879/task/19883/stat : 19883 (java) S 19877 19877 18755 0 -1 1077944384 32763 0 0 0 667 27 0 0 20 0 28 0 511551165 29456678912 648130 33554432000 4194304 4196468 140735060765456 140001238743568 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19884] ppid=19877 vsize=28766288 memory=1452 CPUtime=6.9 cores=0-7
/proc/19879/task/19884/stat : 19884 (java) S 19877 19877 18755 0 -1 1077944384 32620 0 0 0 663 27 0 0 20 0 28 0 511551165 29456678912 648130 33554432000 4194304 4196468 140735060765456 140000832379536 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19885] ppid=19877 vsize=28766288 memory=2592520 CPUtime=6.91 cores=0-7
/proc/19879/task/19885/stat : 19885 (java) S 19877 19877 18755 0 -1 1077944384 33699 0 0 0 663 28 0 0 20 0 28 0 511551165 29456678912 648130 33554432000 4194304 4196468 140735060765456 140000831326992 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19886] ppid=19877 vsize=28766288 memory=1452 CPUtime=6.91 cores=0-7
/proc/19879/task/19886/stat : 19886 (java) S 19877 19877 18755 0 -1 1077944384 32356 0 0 0 662 29 0 0 20 0 28 0 511551165 29456678912 648130 33554432000 4194304 4196468 140735060765456 140000830274448 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19887] ppid=19877 vsize=28766288 memory=1452 CPUtime=6.99 cores=0-7
/proc/19879/task/19887/stat : 19887 (java) S 19877 19877 18755 0 -1 1077944384 33832 0 0 0 672 27 0 0 20 0 28 0 511551165 29456678912 648130 33554432000 4194304 4196468 140735060765456 140000829221904 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19888] ppid=19877 vsize=28766288 memory=1452 CPUtime=6.96 cores=0-7
/proc/19879/task/19888/stat : 19888 (java) S 19877 19877 18755 0 -1 1077944384 36827 0 0 0 667 29 0 0 20 0 28 0 511551165 29456678912 648130 33554432000 4194304 4196468 140735060765456 140000828169360 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19889] ppid=19877 vsize=28766288 memory=3620 CPUtime=3.1 cores=0-7
/proc/19879/task/19889/stat : 19889 (java) S 19877 19877 18755 0 -1 1077944384 119436 0 0 0 233 77 0 0 20 0 28 0 511551166 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999613757424 140001284307586 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19890] ppid=19877 vsize=28766288 memory=2592520 CPUtime=0 cores=0-7
/proc/19879/task/19890/stat : 19890 (java) S 19877 19877 18755 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 511551167 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999612703712 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19891] ppid=19877 vsize=28766288 memory=1452 CPUtime=0 cores=0-7
/proc/19879/task/19891/stat : 19891 (java) S 19877 19877 18755 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 511551167 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999611651072 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19892] ppid=19877 vsize=28766288 memory=1452 CPUtime=0 cores=0-7
/proc/19879/task/19892/stat : 19892 (java) S 19877 19877 18755 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511551169 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999610599632 140001284315035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19893] ppid=19877 vsize=28766288 memory=2592520 CPUtime=1.72 cores=0-7
/proc/19879/task/19893/stat : 19893 (java) S 19877 19877 18755 0 -1 1077944384 8833 0 0 0 171 1 0 0 20 0 28 0 511551169 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999609547248 140001284307586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19894] ppid=19877 vsize=28766288 memory=1452 CPUtime=1.84 cores=0-7
/proc/19879/task/19894/stat : 19894 (java) S 19877 19877 18755 0 -1 1077944384 7604 0 0 0 182 2 0 0 20 0 28 0 511551169 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999608494704 140001284307586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19895] ppid=19877 vsize=28766288 memory=1452 CPUtime=1.69 cores=0-7
/proc/19879/task/19895/stat : 19895 (java) S 19877 19877 18755 0 -1 1077944384 6214 0 0 0 168 1 0 0 20 0 28 0 511551170 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999607442160 140001284307586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19896] ppid=19877 vsize=28766288 memory=280097771342912 CPUtime=0.69 cores=0-7
/proc/19879/task/19896/stat : 19896 (java) S 19877 19877 18755 0 -1 1077944384 5583 0 0 0 67 2 0 0 20 0 28 0 511551170 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999606389616 140001284307586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19897] ppid=19877 vsize=28766288 memory=-3040564339105353098 CPUtime=0 cores=0-7
/proc/19879/task/19897/stat : 19897 (java) S 19877 19877 18755 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511551170 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999605336288 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19898] ppid=19877 vsize=28766288 memory=1452 CPUtime=0.66 cores=0-7
/proc/19879/task/19898/stat : 19898 (java) S 19877 19877 18755 0 -1 1077944384 6118 0 0 0 31 35 0 0 20 0 28 0 511551170 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999604283824 140001284307586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19899] ppid=19877 vsize=28766288 memory=2592520 CPUtime=2481.45 cores=0-7
/proc/19879/task/19899/stat : 19899 (java) R 19877 19877 18755 0 -1 4202560 24590 0 0 0 248124 21 0 0 20 0 28 0 511551269 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999595301816 140000925295664 0 4 0 16800975 0 0 0 -1 0 0 0 25 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19900] ppid=19877 vsize=28766288 memory=688 CPUtime=2480.8 cores=0-7
/proc/19879/task/19900/stat : 19900 (java) R 19877 19877 18755 0 -1 4202560 24561 0 0 0 248052 28 0 0 20 0 28 0 511551269 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999594250080 140000925125229 0 4 0 16800975 0 0 0 -1 6 0 0 26 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19901] ppid=19877 vsize=28766288 memory=304 CPUtime=2479.86 cores=0-7
/proc/19879/task/19901/stat : 19901 (java) R 19877 19877 18755 0 -1 4202560 32342 0 0 0 247954 32 0 0 20 0 28 0 511551269 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999593198024 140000919376984 0 4 0 16800975 0 0 0 -1 1 0 0 26 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19902] ppid=19877 vsize=28766288 memory=2592520 CPUtime=2479.94 cores=0-7
/proc/19879/task/19902/stat : 19902 (java) R 19877 19877 18755 0 -1 4202560 41772 0 0 0 247899 95 0 0 20 0 28 0 511551269 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999592145080 140000926895471 0 4 0 16800975 0 0 0 -1 4 0 0 25 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19903] ppid=19877 vsize=28766288 memory=3620 CPUtime=2478.43 cores=0-7
/proc/19879/task/19903/stat : 19903 (java) R 19877 19877 18755 0 -1 4202560 61656 0 0 0 247679 164 0 0 20 0 28 0 511551269 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999591092664 140000924621422 0 4 0 16800975 0 0 0 -1 5 0 0 29 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19904] ppid=19877 vsize=28766288 memory=64068 CPUtime=2474.8 cores=0-7
/proc/19879/task/19904/stat : 19904 (java) R 19877 19877 18755 0 -1 4202560 60311 0 0 0 247373 107 0 0 20 0 28 0 511551269 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999590039904 140000926895509 0 4 0 16800975 0 0 0 -1 3 0 0 24 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19905] ppid=19877 vsize=28766288 memory=1452 CPUtime=2479.08 cores=0-7
/proc/19879/task/19905/stat : 19905 (java) R 19877 19877 18755 0 -1 4202560 101593 0 0 0 247600 308 0 0 20 0 28 0 511551270 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999588989408 140001270364564 0 4 0 16800975 0 0 0 -1 2 0 0 24 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19906] ppid=19877 vsize=28766288 memory=2592520 CPUtime=2480.55 cores=0-7
/proc/19879/task/19906/stat : 19906 (java) R 19877 19877 18755 0 -1 4202560 21411 0 0 0 248030 25 0 0 20 0 28 0 511551270 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999587934632 140000926895400 0 4 0 16800975 0 0 0 -1 7 0 0 25 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
Current children cumulated CPU time: 19901.3 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 2593972 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.20 8.29 8.28 10/220 20119
/proc/meminfo: memFree=25117036/32770624 swapFree=66957768/67108860
[pid=19877] ppid=19874 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19877/stat : 19877 (xcsp3-exec) S 19874 19877 18755 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511551164 115843072 363 33554432000 4194304 5098028 140732143990000 140732143988104 139993981465212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30253056 140732143993681 140732143993941 140732143993941 140732143996870 0
/proc/19877/statm: 28282 363 304 221 0 87 0
[pid=19879] ppid=19877 vsize=28766288 memory=2592520 CPUtime=20042.4 cores=0-7
/proc/19879/stat : 19879 (java) S 19877 19877 18755 0 -1 1077944320 794044 0 0 0 2003164 1076 0 0 20 0 28 0 511551164 29456678912 648130 33554432000 4194304 4196468 140735060765456 140735060748000 140001284296439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
/proc/19879/statm: 7191572 648130 3548 1 0 7152672 0
[pid=19879/tid=19880] ppid=19877 vsize=28766288 memory=1398720917958146503 CPUtime=1 cores=0-7
/proc/19879/task/19880/stat : 19880 (java) S 19877 19877 18755 0 -1 1077944384 8780 0 0 0 96 4 0 0 20 0 28 0 511551164 29456678912 648130 33554432000 4194304 4196468 140735060765456 140001288537216 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19881] ppid=19877 vsize=28766288 memory=4872558044660077418 CPUtime=6.96 cores=0-7
/proc/19879/task/19881/stat : 19881 (java) S 19877 19877 18755 0 -1 1077944384 29048 0 0 0 670 26 0 0 20 0 28 0 511551165 29456678912 648130 33554432000 4194304 4196468 140735060765456 140001240848656 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19882] ppid=19877 vsize=28766288 memory=690 CPUtime=6.96 cores=0-7
/proc/19879/task/19882/stat : 19882 (java) S 19877 19877 18755 0 -1 1077944384 29667 0 0 0 667 29 0 0 20 0 28 0 511551165 29456678912 648130 33554432000 4194304 4196468 140735060765456 140001239796112 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19883] ppid=19877 vsize=28766288 memory=691 CPUtime=6.97 cores=0-7
/proc/19879/task/19883/stat : 19883 (java) S 19877 19877 18755 0 -1 1077944384 32977 0 0 0 670 27 0 0 20 0 28 0 511551165 29456678912 648130 33554432000 4194304 4196468 140735060765456 140001238743568 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19884] ppid=19877 vsize=28766288 memory=692 CPUtime=6.93 cores=0-7
/proc/19879/task/19884/stat : 19884 (java) S 19877 19877 18755 0 -1 1077944384 32642 0 0 0 666 27 0 0 20 0 28 0 511551165 29456678912 648130 33554432000 4194304 4196468 140735060765456 140000832379536 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19885] ppid=19877 vsize=28766288 memory=700 CPUtime=6.93 cores=0-7
/proc/19879/task/19885/stat : 19885 (java) S 19877 19877 18755 0 -1 1077944384 33744 0 0 0 665 28 0 0 20 0 28 0 511551165 29456678912 648130 33554432000 4194304 4196468 140735060765456 140000831326992 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19886] ppid=19877 vsize=28766288 memory=697 CPUtime=6.94 cores=0-7
/proc/19879/task/19886/stat : 19886 (java) S 19877 19877 18755 0 -1 1077944384 32418 0 0 0 665 29 0 0 20 0 28 0 511551165 29456678912 648130 33554432000 4194304 4196468 140735060765456 140000830274448 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19887] ppid=19877 vsize=28766288 memory=780 CPUtime=7.02 cores=0-7
/proc/19879/task/19887/stat : 19887 (java) S 19877 19877 18755 0 -1 1077944384 33858 0 0 0 675 27 0 0 20 0 28 0 511551165 29456678912 648130 33554432000 4194304 4196468 140735060765456 140000829221904 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19888] ppid=19877 vsize=28766288 memory=6160 CPUtime=6.99 cores=0-7
/proc/19879/task/19888/stat : 19888 (java) S 19877 19877 18755 0 -1 1077944384 36882 0 0 0 670 29 0 0 20 0 28 0 511551165 29456678912 648130 33554432000 4194304 4196468 140735060765456 140000828169360 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19889] ppid=19877 vsize=28766288 memory=624 CPUtime=3.11 cores=0-7
/proc/19879/task/19889/stat : 19889 (java) S 19877 19877 18755 0 -1 1077944384 119629 0 0 0 234 77 0 0 20 0 28 0 511551166 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999613757424 140001284307586 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19890] ppid=19877 vsize=28766288 memory=3636 CPUtime=0 cores=0-7
/proc/19879/task/19890/stat : 19890 (java) S 19877 19877 18755 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 511551167 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999612703712 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19891] ppid=19877 vsize=28766288 memory=2832 CPUtime=0 cores=0-7
/proc/19879/task/19891/stat : 19891 (java) S 19877 19877 18755 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 511551167 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999611651072 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19892] ppid=19877 vsize=28766288 memory=14012 CPUtime=0 cores=0-7
/proc/19879/task/19892/stat : 19892 (java) S 19877 19877 18755 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511551169 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999610599632 140001284315035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19893] ppid=19877 vsize=28766288 memory=2112 CPUtime=1.72 cores=0-7
/proc/19879/task/19893/stat : 19893 (java) S 19877 19877 18755 0 -1 1077944384 8835 0 0 0 171 1 0 0 20 0 28 0 511551169 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999609547248 140001284307586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19894] ppid=19877 vsize=28766288 memory=1452 CPUtime=1.84 cores=0-7
/proc/19879/task/19894/stat : 19894 (java) S 19877 19877 18755 0 -1 1077944384 7606 0 0 0 182 2 0 0 20 0 28 0 511551169 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999608494704 140001284307586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19895] ppid=19877 vsize=28766288 memory=2592520 CPUtime=1.69 cores=0-7
/proc/19879/task/19895/stat : 19895 (java) S 19877 19877 18755 0 -1 1077944384 6216 0 0 0 168 1 0 0 20 0 28 0 511551170 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999607442160 140001284307586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19896] ppid=19877 vsize=28766288 memory=1452 CPUtime=0.69 cores=0-7
/proc/19879/task/19896/stat : 19896 (java) S 19877 19877 18755 0 -1 1077944384 5585 0 0 0 67 2 0 0 20 0 28 0 511551170 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999606389616 140001284307586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19897] ppid=19877 vsize=28766288 memory=64068 CPUtime=0 cores=0-7
/proc/19879/task/19897/stat : 19897 (java) S 19877 19877 18755 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511551170 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999605336288 140001284306645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19898] ppid=19877 vsize=28766288 memory=1988 CPUtime=0.66 cores=0-7
/proc/19879/task/19898/stat : 19898 (java) S 19877 19877 18755 0 -1 1077944384 6126 0 0 0 31 35 0 0 20 0 28 0 511551170 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999604283824 140001284307586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19899] ppid=19877 vsize=28766288 memory=988 CPUtime=2499.1 cores=0-7
/proc/19879/task/19899/stat : 19899 (java) R 19877 19877 18755 0 -1 4202560 24664 0 0 0 249889 21 0 0 20 0 28 0 511551269 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999595301688 140000925125477 0 4 0 16800975 0 0 0 -1 2 0 0 25 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19900] ppid=19877 vsize=28766288 memory=1428 CPUtime=2498.46 cores=0-7
/proc/19879/task/19900/stat : 19900 (java) R 19877 19877 18755 0 -1 4202560 24620 0 0 0 249818 28 0 0 20 0 28 0 511551269 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999594250048 140000926708258 0 4 0 16800975 0 0 0 -1 4 0 0 26 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19901] ppid=19877 vsize=28766288 memory=1728 CPUtime=2497.44 cores=0-7
/proc/19879/task/19901/stat : 19901 (java) R 19877 19877 18755 0 -1 4202560 32394 0 0 0 249712 32 0 0 20 0 28 0 511551269 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999593197624 140000926708268 0 4 0 16800975 0 0 0 -1 1 0 0 26 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19902] ppid=19877 vsize=28766288 memory=1056 CPUtime=2497.58 cores=0-7
/proc/19879/task/19902/stat : 19902 (java) R 19877 19877 18755 0 -1 4202560 41818 0 0 0 249663 95 0 0 20 0 28 0 511551269 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999592148176 140000925295834 0 4 0 16800975 0 0 0 -1 0 0 0 25 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19903] ppid=19877 vsize=28766288 memory=1556 CPUtime=2496.1 cores=0-7
/proc/19879/task/19903/stat : 19903 (java) R 19877 19877 18755 0 -1 4202560 61705 0 0 0 249446 164 0 0 20 0 28 0 511551269 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999591092568 140000926708025 0 4 0 16800975 0 0 0 -1 5 0 0 29 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19904] ppid=19877 vsize=28766288 memory=11632 CPUtime=2492.4 cores=0-7
/proc/19879/task/19904/stat : 19904 (java) R 19877 19877 18755 0 -1 4202560 60361 0 0 0 249133 107 0 0 20 0 28 0 511551269 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999590040104 140000926708238 0 4 0 16800975 0 0 0 -1 7 0 0 24 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19905] ppid=19877 vsize=28766288 memory=1732 CPUtime=2496.73 cores=0-7
/proc/19879/task/19905/stat : 19905 (java) R 19877 19877 18755 0 -1 4202560 101652 0 0 0 249365 308 0 0 20 0 28 0 511551270 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999588986400 140000926708121 0 4 0 16800975 0 0 0 -1 6 0 0 24 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
[pid=19879/tid=19906] ppid=19877 vsize=28766288 memory=1224 CPUtime=2497.98 cores=0-7
/proc/19879/task/19906/stat : 19906 (java) R 19877 19877 18755 0 -1 4202560 21478 0 0 0 249773 25 0 0 20 0 28 0 511551270 29456678912 648130 33554432000 4194304 4196468 140735060765456 139999587933992 140000926895400 0 4 0 16800975 0 0 0 -1 3 0 0 25 0 0 6293624 6294260 6881280 140735060771798 140735060771974 140735060771974 140735060774863 0
Current children cumulated CPU time: 20042.4 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 2593972 KiB

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

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

[startup+2520.1 s]
# the end of solver process 19879 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20032.2 s, system=10.7819 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.1
CPU time (s): 20043
CPU user time (s): 20032.2
CPU system time (s): 10.7819
CPU usage (%): 795.327
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 6017072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20032.2
system time used= 10.7819
maximum resident set size= 6062724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 794893
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 240768
involuntary context switches= 248044


# summary of solver processes directly reported to runsolver:
#   pid: 19877,19879
#   total CPU time (s): 20043
#   total CPU user time (s): 20032.2
#   total CPU system time (s): 10.7819

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 28.3111 second user time and 22.0768 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-24 21:24:47
IDJOB=4406808
IDBENCH=134572
IDSOLVER=2871
FILE ID=node149/4406808-1569353126
RUNJOBID= node149-1569347829-18782
PBS_JOBID= 21705076
Free space on /var/tmp= 13480 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07h-5_X2.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-4406808-1569353126/watcher-4406808-1569353126 -o /var/tmp/evaluation-result-4406808-1569353126/solver-4406808-1569353126 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1569347829-18782 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1416382552 HOME/instance-4406808-1569353126.xml

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

MD5SUM BENCH= 0d344e361328211ed16699cc315bd3d7
RANDOM SEED=1416382552

node149.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.81
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.81
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.81
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.81
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:        27703704 kB
MemAvailable:   31807208 kB
Buffers:          106872 kB
Cached:          4090116 kB
SwapCached:        42404 kB
Active:          2924076 kB
Inactive:        1318648 kB
Active(anon):       4372 kB
Inactive(anon):    94792 kB
Active(file):    2919704 kB
Inactive(file):  1223856 kB
Unevictable:      109104 kB
Mlocked:          109104 kB
SwapTotal:      67108860 kB
SwapFree:       66957760 kB
Dirty:             26060 kB
Writeback:             0 kB
AnonPages:        113500 kB
Mapped:            57276 kB
Shmem:             44912 kB
Slab:             416996 kB
SReclaimable:     388404 kB
SUnreclaim:        28592 kB
KernelStack:        3408 kB
PageTables:         5312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514424 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:      144768 kB
DirectMap2M:    33400832 kB

Free space on /var/tmp at the end= 13456 MiB
End job on node149 at 2019-09-24 22:06:47