Trace number 4297778

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Choco-solver 4.0.7b par (e747e1e)? (TO) 20049.8 2520.12

General information on the benchmark

NameSubisomorphism/
Subisomorphism-g29-g50_c18.xml
MD5SUM6b43bee46cd3f7faf4796c0903a8d917
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints996
Number of domains1
Minimum domain size128
Maximum domain size128
Distribution of domain sizes[{"size":128,"count":100}]
Minimum variable degree11
Maximum variable degree33
Distribution of variable degrees[{"degree":11,"count":1},{"degree":12,"count":2},{"degree":13,"count":4},{"degree":14,"count":4},{"degree":16,"count":2},{"degree":17,"count":7},{"degree":18,"count":10},{"degree":19,"count":11},{"degree":20,"count":17},{"degree":21,"count":14},{"degree":22,"count":6},{"degree":23,"count":4},{"degree":24,"count":7},{"degree":25,"count":3},{"degree":26,"count":5},{"degree":27,"count":2},{"degree":33,"count":1}]
Minimum constraint arity1
Maximum constraint arity100
Distribution of constraint arities[{"arity":1,"count":89},{"arity":2,"count":906},{"arity":100,"count":1}]
Number of extensional constraints995
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":995},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297778-1532723975.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4297778-1532723975.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
7.99/3.70	c solve instance...
20049.05/2520.09	s UNKNOWN
20049.05/2520.09	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 (11584 MiB free)
  memory of node 1: 16384 MiB (15126 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297778-1532723975/watcher-4297778-1532723975 -o /tmp/evaluation-result-4297778-1532723975/solver-4297778-1532723975 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1532723677-1064 --watchdog 2580 HOME/xcsp3-exec -seed 70073240 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297778-1532723975.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
Current StackSize limit: 8192 KiB

solver pid=1298, runsolver pid=1295

[startup+0.100112 s]*
/proc/loadavg: 8.40 8.41 8.39 3/204 1327
/proc/meminfo: memFree=27335376/32770624 swapFree=67108860/67108860
[pid=1298] ppid=1295 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1298/stat : 1298 (xcsp3-exec) S 1295 1298 1036 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89960708 115843072 364 33554432000 4194304 5098028 140732795680512 140732795678616 139902345302652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37502976 140732795687991 140732795688192 140732795688192 140732795690954 0
/proc/1298/statm: 28282 364 306 221 0 87 0
[pid=1300] ppid=1298 vsize=26104152 memory=27212 CPUtime=0.11 cores=0-7
/proc/1300/stat : 1300 (java) S 1298 1298 1036 0 -1 1077944320 5644 0 0 0 10 1 0 0 20 0 20 0 89960708 26730651648 6803 33554432000 4194304 4196468 140730005626880 140730005609424 139698628910839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
/proc/1300/statm: 6526038 6803 3033 1 0 6488315 0
[pid=1300/tid=1301] ppid=1298 vsize=26104152 memory=1400242874264906928 CPUtime=0.08 cores=0-7
/proc/1300/task/1301/stat : 1301 (java) R 1298 1298 1036 0 -1 4202560 3669 0 0 0 8 0 0 0 20 0 20 0 89960708 26730651648 6803 33554432000 4194304 4196468 140730005626880 139698633144112 139698612954469 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1302] ppid=1298 vsize=26104152 memory=3461361991549258287 CPUtime=0 cores=0-7
/proc/1300/task/1302/stat : 1302 (java) S 1298 1298 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89960709 26730651648 6803 33554432000 4194304 4196468 140730005626880 139698581531280 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1303] ppid=1298 vsize=26104152 memory=139752125011584 CPUtime=0 cores=0-7
/proc/1300/task/1303/stat : 1303 (java) S 1298 1298 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89960709 26730651648 6803 33554432000 4194304 4196468 140730005626880 139698580478480 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1304] ppid=1298 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1300/task/1304/stat : 1304 (java) S 1298 1298 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89960709 26730651648 6803 33554432000 4194304 4196468 140730005626880 139698579425680 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1305] ppid=1298 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1300/task/1305/stat : 1305 (java) S 1298 1298 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89960709 26730651648 6803 33554432000 4194304 4196468 140730005626880 139698578372880 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1306] ppid=1298 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1300/task/1306/stat : 1306 (java) S 1298 1298 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89960709 26730651648 6803 33554432000 4194304 4196468 140730005626880 139698577321104 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1307] ppid=1298 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/1300/task/1307/stat : 1307 (java) S 1298 1298 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89960709 26730651648 6803 33554432000 4194304 4196468 140730005626880 139698182159376 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1308] ppid=1298 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1300/task/1308/stat : 1308 (java) S 1298 1298 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89960709 26730651648 6803 33554432000 4194304 4196468 140730005626880 139698181106576 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1309] ppid=1298 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1300/task/1309/stat : 1309 (java) S 1298 1298 1036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89960709 26730651648 6803 33554432000 4194304 4196468 140730005626880 139698180053776 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1310] ppid=1298 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1300/task/1310/stat : 1310 (java) S 1298 1298 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89960711 26730651648 6803 33554432000 4194304 4196468 140730005626880 139697370974576 139698628921986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1311] ppid=1298 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1300/task/1311/stat : 1311 (java) S 1298 1298 1036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89960711 26730651648 6803 33554432000 4194304 4196468 140730005626880 139697369920544 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1312] ppid=1298 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1300/task/1312/stat : 1312 (java) S 1298 1298 1036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89960711 26730651648 6803 33554432000 4194304 4196468 140730005626880 139697032520560 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1313] ppid=1298 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1300/task/1313/stat : 1313 (java) S 1298 1298 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89960714 26730651648 6803 33554432000 4194304 4196468 140730005626880 139697031468880 139698628929435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1314] ppid=1298 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1300/task/1314/stat : 1314 (java) S 1298 1298 1036 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 20 0 89960714 26730651648 6803 33554432000 4194304 4196468 140730005626880 139697030417264 139698628921986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1315] ppid=1298 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1300/task/1315/stat : 1315 (java) S 1298 1298 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89960714 26730651648 6803 33554432000 4194304 4196468 140730005626880 139697029364464 139698628921986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1316] ppid=1298 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1300/task/1316/stat : 1316 (java) R 1298 1298 1036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89960714 26730651648 6803 33554432000 4194304 4196468 140730005626880 139697028311664 139698628921986 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1325] ppid=1298 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/1300/task/1325/stat : 1325 (java) R 1298 1298 1036 0 -1 4202560 256 0 0 0 1 0 0 0 20 0 20 0 89960714 26730651648 6803 33554432000 4194304 4196468 140730005626880 139697027258864 139698621147966 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1326] ppid=1298 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1300/task/1326/stat : 1326 (java) S 1298 1298 1036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89960714 26730651648 6803 33554432000 4194304 4196468 140730005626880 139697026206304 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1327] ppid=1298 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/1300/task/1327/stat : 1327 (java) S 1298 1298 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89960714 26730651648 6803 33554432000 4194304 4196468 140730005626880 139697025153584 139698628921986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28668 KiB

[startup+0.21033 s]*
/proc/loadavg: 8.40 8.41 8.39 3/204 1327
/proc/meminfo: memFree=27323716/32770624 swapFree=67108860/67108860
[pid=1298] ppid=1295 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1298/stat : 1298 (xcsp3-exec) S 1295 1298 1036 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89960708 115843072 364 33554432000 4194304 5098028 140732795680512 140732795678616 139902345302652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37502976 140732795687991 140732795688192 140732795688192 140732795690954 0
/proc/1298/statm: 28282 364 306 221 0 87 0
[pid=1300] ppid=1298 vsize=26104152 memory=39464 CPUtime=0.33 cores=0-7
/proc/1300/stat : 1300 (java) S 1298 1298 1036 0 -1 1077944320 8459 0 0 0 31 2 0 0 20 0 20 0 89960708 26730651648 9866 33554432000 4194304 4196468 140730005626880 140730005609424 139698628910839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
/proc/1300/statm: 6526038 9866 3186 1 0 6488315 0
[pid=1300/tid=1301] ppid=1298 vsize=26104152 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/1300/task/1301/stat : 1301 (java) R 1298 1298 1036 0 -1 4202560 5566 0 0 0 18 1 0 0 20 0 20 0 89960708 26730651648 9866 33554432000 4194304 4196468 140730005626880 139698633149024 139698612991326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1302] ppid=1298 vsize=26104152 memory=288230609019731991 CPUtime=0 cores=0-7
/proc/1300/task/1302/stat : 1302 (java) S 1298 1298 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89960709 26730651648 9866 33554432000 4194304 4196468 140730005626880 139698581531280 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1303] ppid=1298 vsize=26104152 memory=16241220284618392 CPUtime=0 cores=0-7
/proc/1300/task/1303/stat : 1303 (java) S 1298 1298 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89960709 26730651648 9866 33554432000 4194304 4196468 140730005626880 139698580478480 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1304] ppid=1298 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1300/task/1304/stat : 1304 (java) S 1298 1298 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89960709 26730651648 9866 33554432000 4194304 4196468 140730005626880 139698579425680 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1305] ppid=1298 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/1300/task/1305/stat : 1305 (java) S 1298 1298 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89960709 26730651648 9866 33554432000 4194304 4196468 140730005626880 139698578372880 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1306] ppid=1298 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1300/task/1306/stat : 1306 (java) S 1298 1298 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89960709 26730651648 9866 33554432000 4194304 4196468 140730005626880 139698577321104 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1307] ppid=1298 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/1300/task/1307/stat : 1307 (java) S 1298 1298 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89960709 26730651648 9866 33554432000 4194304 4196468 140730005626880 139698182159376 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1308] ppid=1298 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1300/task/1308/stat : 1308 (java) S 1298 1298 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89960709 26730651648 9866 33554432000 4194304 4196468 140730005626880 139698181106576 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1309] ppid=1298 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1300/task/1309/stat : 1309 (java) S 1298 1298 1036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89960709 26730651648 9866 33554432000 4194304 4196468 140730005626880 139698180053776 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1310] ppid=1298 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1300/task/1310/stat : 1310 (java) S 1298 1298 1036 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89960711 26730651648 9866 33554432000 4194304 4196468 140730005626880 139697370974576 139698628921986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1311] ppid=1298 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1300/task/1311/stat : 1311 (java) S 1298 1298 1036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89960711 26730651648 9866 33554432000 4194304 4196468 140730005626880 139697369920544 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1312] ppid=1298 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1300/task/1312/stat : 1312 (java) S 1298 1298 1036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89960711 26730651648 9866 33554432000 4194304 4196468 140730005626880 139697032520560 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1313] ppid=1298 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1300/task/1313/stat : 1313 (java) S 1298 1298 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89960714 26730651648 9866 33554432000 4194304 4196468 140730005626880 139697031468880 139698628929435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1314] ppid=1298 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/1300/task/1314/stat : 1314 (java) S 1298 1298 1036 0 -1 1077944384 640 0 0 0 1 0 0 0 20 0 20 0 89960714 26730651648 9866 33554432000 4194304 4196468 140730005626880 139697030417264 139698628921986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1315] ppid=1298 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/1300/task/1315/stat : 1315 (java) S 1298 1298 1036 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 20 0 89960714 26730651648 9866 33554432000 4194304 4196468 140730005626880 139697029364464 139698628921986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1316] ppid=1298 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/1300/task/1316/stat : 1316 (java) S 1298 1298 1036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89960714 26730651648 9866 33554432000 4194304 4196468 140730005626880 139697028311664 139698628921986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1325] ppid=1298 vsize=26104152 memory=0 CPUtime=0.07 cores=0-7
/proc/1300/task/1325/stat : 1325 (java) S 1298 1298 1036 0 -1 1077944384 823 0 0 0 7 0 0 0 20 0 20 0 89960714 26730651648 9866 33554432000 4194304 4196468 140730005626880 139697027258864 139698628921986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1326] ppid=1298 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1300/task/1326/stat : 1326 (java) S 1298 1298 1036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89960714 26730651648 9866 33554432000 4194304 4196468 140730005626880 139697026206304 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1327] ppid=1298 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/1300/task/1327/stat : 1327 (java) S 1298 1298 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89960714 26730651648 9866 33554432000 4194304 4196468 140730005626880 139697025153584 139698628921986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 40920 KiB

[startup+0.309678 s]*
/proc/loadavg: 8.40 8.41 8.39 5/204 1327
/proc/meminfo: memFree=27317264/32770624 swapFree=67108860/67108860
[pid=1298] ppid=1295 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1298/stat : 1298 (xcsp3-exec) S 1295 1298 1036 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89960708 115843072 364 33554432000 4194304 5098028 140732795680512 140732795678616 139902345302652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37502976 140732795687991 140732795688192 140732795688192 140732795690954 0
/proc/1298/statm: 28282 364 306 221 0 87 0
[pid=1300] ppid=1298 vsize=26108408 memory=46472 CPUtime=0.52 cores=0-7
/proc/1300/stat : 1300 (java) S 1298 1298 1036 0 -1 1077944320 9342 0 0 0 49 3 0 0 20 0 20 0 89960708 26735009792 11618 33554432000 4194304 4196468 140730005626880 140730005609424 139698628910839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
/proc/1300/statm: 6527102 11618 3233 1 0 6488315 0
[pid=1300/tid=1301] ppid=1298 vsize=26108408 memory=1399051139730258233 CPUtime=0.29 cores=0-7
/proc/1300/task/1301/stat : 1301 (java) R 1298 1298 1036 0 -1 4202560 6252 0 0 0 27 2 0 0 20 0 20 0 89960708 26735009792 11687 33554432000 4194304 4196468 140730005626880 139698633150240 139698612991326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1302] ppid=1298 vsize=26108408 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1300/task/1302/stat : 1302 (java) S 1298 1298 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89960709 26735009792 11687 33554432000 4194304 4196468 140730005626880 139698581531280 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1303] ppid=1298 vsize=26108408 memory=8476 CPUtime=0 cores=0-7
/proc/1300/task/1303/stat : 1303 (java) S 1298 1298 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89960709 26735009792 11687 33554432000 4194304 4196468 140730005626880 139698580478480 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1304] ppid=1298 vsize=26108408 memory=4576 CPUtime=0 cores=0-7
/proc/1300/task/1304/stat : 1304 (java) S 1298 1298 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89960709 26735009792 11687 33554432000 4194304 4196468 140730005626880 139698579425680 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1305] ppid=1298 vsize=26108408 memory=15864 CPUtime=0 cores=0-7
/proc/1300/task/1305/stat : 1305 (java) S 1298 1298 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89960709 26735009792 11687 33554432000 4194304 4196468 140730005626880 139698578372880 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1306] ppid=1298 vsize=26108408 memory=4108 CPUtime=0 cores=0-7
/proc/1300/task/1306/stat : 1306 (java) S 1298 1298 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89960709 26735009792 11687 33554432000 4194304 4196468 140730005626880 139698577321104 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1307] ppid=1298 vsize=26108408 memory=4012 CPUtime=0 cores=0-7
/proc/1300/task/1307/stat : 1307 (java) S 1298 1298 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89960709 26735009792 11687 33554432000 4194304 4196468 140730005626880 139698182159376 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1308] ppid=1298 vsize=26108408 memory=15856 CPUtime=0 cores=0-7
/proc/1300/task/1308/stat : 1308 (java) S 1298 1298 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89960709 26735009792 11687 33554432000 4194304 4196468 140730005626880 139698181106576 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1309] ppid=1298 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/1300/task/1309/stat : 1309 (java) S 1298 1298 1036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89960709 26735009792 11687 33554432000 4194304 4196468 140730005626880 139698180053776 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1310] ppid=1298 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/1300/task/1310/stat : 1310 (java) S 1298 1298 1036 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89960711 26735009792 11687 33554432000 4194304 4196468 140730005626880 139697370974576 139698628921986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1311] ppid=1298 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/1300/task/1311/stat : 1311 (java) S 1298 1298 1036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89960711 26735009792 11687 33554432000 4194304 4196468 140730005626880 139697369920544 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1312] ppid=1298 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/1300/task/1312/stat : 1312 (java) S 1298 1298 1036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89960711 26735009792 11687 33554432000 4194304 4196468 140730005626880 139697032520560 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1313] ppid=1298 vsize=26108408 memory=139751994787279 CPUtime=0 cores=0-7
/proc/1300/task/1313/stat : 1313 (java) S 1298 1298 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89960714 26735009792 11687 33554432000 4194304 4196468 140730005626880 139697031468880 139698628929435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1314] ppid=1298 vsize=26108408 memory=67 CPUtime=0.03 cores=0-7
/proc/1300/task/1314/stat : 1314 (java) S 1298 1298 1036 0 -1 1077944384 651 0 0 0 3 0 0 0 20 0 20 0 89960714 26735009792 11687 33554432000 4194304 4196468 140730005626880 139697030417264 139698628921986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1315] ppid=1298 vsize=26108408 memory=51172 CPUtime=0.02 cores=0-7
/proc/1300/task/1315/stat : 1315 (java) S 1298 1298 1036 0 -1 1077944384 100 0 0 0 2 0 0 0 20 0 20 0 89960714 26735009792 11687 33554432000 4194304 4196468 140730005626880 139697029364464 139698628921986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1316] ppid=1298 vsize=26108408 memory=53476 CPUtime=0.03 cores=0-7
/proc/1300/task/1316/stat : 1316 (java) R 1298 1298 1036 0 -1 4202560 138 0 0 0 3 0 0 0 20 0 20 0 89960714 26735009792 11687 33554432000 4194304 4196468 140730005626880 139697028292680 139698613832188 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1325] ppid=1298 vsize=26108408 memory=55780 CPUtime=0.12 cores=0-7
/proc/1300/task/1325/stat : 1325 (java) S 1298 1298 1036 0 -1 1077944384 919 0 0 0 12 0 0 0 20 0 20 0 89960714 26735009792 11687 33554432000 4194304 4196468 140730005626880 139697027258864 139698628921986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1326] ppid=1298 vsize=26108408 memory=110297088 CPUtime=0 cores=0-7
/proc/1300/task/1326/stat : 1326 (java) S 1298 1298 1036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89960714 26735009792 11687 33554432000 4194304 4196468 140730005626880 139697026206304 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1327] ppid=1298 vsize=26108408 memory=115843071 CPUtime=0 cores=0-7
/proc/1300/task/1327/stat : 1327 (java) S 1298 1298 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89960714 26735009792 11687 33554432000 4194304 4196468 140730005626880 139697025153584 139698628921986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47928 KiB

[startup+0.700924 s]
/proc/loadavg: 8.40 8.41 8.39 5/204 1327
/proc/meminfo: memFree=27299004/32770624 swapFree=67108860/67108860
[pid=1298] ppid=1295 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1298/stat : 1298 (xcsp3-exec) S 1295 1298 1036 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89960708 115843072 364 33554432000 4194304 5098028 140732795680512 140732795678616 139902345302652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37502976 140732795687991 140732795688192 140732795688192 140732795690954 0
/proc/1298/statm: 28282 364 306 221 0 87 0
[pid=1300] ppid=1298 vsize=26110532 memory=103992 CPUtime=1.7 cores=0-7
/proc/1300/stat : 1300 (java) S 1298 1298 1036 0 -1 1077944320 13041 0 0 0 164 6 0 0 20 0 20 0 89960708 26737184768 25998 33554432000 4194304 4196468 140730005626880 140730005609424 139698628910839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
/proc/1300/statm: 6527633 25998 3360 1 0 6488827 0
[pid=1300/tid=1301] ppid=1298 vsize=26110532 memory=4580 CPUtime=0.67 cores=0-7
/proc/1300/task/1301/stat : 1301 (java) R 1298 1298 1036 0 -1 4202560 7059 0 0 0 64 3 0 0 20 0 20 0 89960708 26737184768 25998 33554432000 4194304 4196468 140730005626880 139698633144832 139698261685059 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1302] ppid=1298 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/1300/task/1302/stat : 1302 (java) S 1298 1298 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89960709 26737184768 25998 33554432000 4194304 4196468 140730005626880 139698581531280 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1303] ppid=1298 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/1300/task/1303/stat : 1303 (java) S 1298 1298 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89960709 26737184768 25998 33554432000 4194304 4196468 140730005626880 139698580478480 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1304] ppid=1298 vsize=26110532 memory=2432 CPUtime=0 cores=0-7
/proc/1300/task/1304/stat : 1304 (java) S 1298 1298 1036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89960709 26737184768 25998 33554432000 4194304 4196468 140730005626880 139698579425680 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0

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

[pid=1300/tid=1335] ppid=1298 vsize=26643044 memory=1456 CPUtime=2421.48 cores=0-7
/proc/1300/task/1335/stat : 1335 (java) R 1298 1298 1036 0 -1 4202560 20940 0 0 0 242089 59 0 0 20 0 28 0 89961079 27282477056 1208400 33554432000 4194304 4196468 140730005626880 139697009188648 139698265310108 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
Current children cumulated CPU time: 19431.1 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 4835056 KiB

[startup+2502.3 s]
/proc/loadavg: 8.17 8.33 8.43 9/212 1414
/proc/meminfo: memFree=22523244/32770624 swapFree=67108860/67108860
[pid=1298] ppid=1295 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1298/stat : 1298 (xcsp3-exec) S 1295 1298 1036 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89960708 115843072 364 33554432000 4194304 5098028 140732795680512 140732795678616 139902345302652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37502976 140732795687991 140732795688192 140732795688192 140732795690954 0
/proc/1298/statm: 28282 364 306 221 0 87 0
[pid=1300] ppid=1298 vsize=26643044 memory=4833776 CPUtime=19908.2 cores=0-7
/proc/1300/stat : 1300 (java) S 1298 1298 1036 0 -1 1077944320 380860 0 0 0 1990056 769 0 0 20 0 28 0 89960708 27282477056 1208444 33554432000 4194304 4196468 140730005626880 140730005609424 139698628910839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
/proc/1300/statm: 6660761 1208444 3458 1 0 6621955 0
[pid=1300/tid=1301] ppid=1298 vsize=26643044 memory=4833776 CPUtime=3.5 cores=0-7
/proc/1300/task/1301/stat : 1301 (java) S 1298 1298 1036 0 -1 1077944384 7796 0 0 0 340 10 0 0 20 0 28 0 89960708 27282477056 1208444 33554432000 4194304 4196468 140730005626880 139698633151616 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1302] ppid=1298 vsize=26643044 memory=4833756 CPUtime=1.5 cores=0-7
/proc/1300/task/1302/stat : 1302 (java) S 1298 1298 1036 0 -1 1077944384 9458 0 0 0 131 19 0 0 20 0 28 0 89960709 27282477056 1208444 33554432000 4194304 4196468 140730005626880 139698581531280 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1303] ppid=1298 vsize=26643044 memory=4833776 CPUtime=1.48 cores=0-7
/proc/1300/task/1303/stat : 1303 (java) S 1298 1298 1036 0 -1 1077944384 8309 0 0 0 131 17 0 0 20 0 28 0 89960709 27282477056 1208444 33554432000 4194304 4196468 140730005626880 139698580478480 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1304] ppid=1298 vsize=26643044 memory=279503990848880 CPUtime=1.48 cores=0-7
/proc/1300/task/1304/stat : 1304 (java) S 1298 1298 1036 0 -1 1077944384 11134 0 0 0 130 18 0 0 20 0 28 0 89960709 27282477056 1208444 33554432000 4194304 4196468 140730005626880 139698579425680 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1305] ppid=1298 vsize=26643044 memory=0 CPUtime=1.52 cores=0-7
/proc/1300/task/1305/stat : 1305 (java) S 1298 1298 1036 0 -1 1077944384 11898 0 0 0 132 20 0 0 20 0 28 0 89960709 27282477056 1208444 33554432000 4194304 4196468 140730005626880 139698578372880 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1306] ppid=1298 vsize=26643044 memory=4833756 CPUtime=1.49 cores=0-7
/proc/1300/task/1306/stat : 1306 (java) S 1298 1298 1036 0 -1 1077944384 9125 0 0 0 129 20 0 0 20 0 28 0 89960709 27282477056 1208444 33554432000 4194304 4196468 140730005626880 139698577321104 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1307] ppid=1298 vsize=26643044 memory=1456 CPUtime=1.53 cores=0-7
/proc/1300/task/1307/stat : 1307 (java) S 1298 1298 1036 0 -1 1077944384 13570 0 0 0 132 21 0 0 20 0 28 0 89960709 27282477056 1208444 33554432000 4194304 4196468 140730005626880 139698182159376 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1308] ppid=1298 vsize=26643044 memory=0 CPUtime=1.51 cores=0-7
/proc/1300/task/1308/stat : 1308 (java) S 1298 1298 1036 0 -1 1077944384 7995 0 0 0 132 19 0 0 20 0 28 0 89960709 27282477056 1208444 33554432000 4194304 4196468 140730005626880 139698181106576 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1309] ppid=1298 vsize=26643044 memory=0 CPUtime=1.54 cores=0-7
/proc/1300/task/1309/stat : 1309 (java) S 1298 1298 1036 0 -1 1077944384 10690 0 0 0 133 21 0 0 20 0 28 0 89960709 27282477056 1208444 33554432000 4194304 4196468 140730005626880 139698180053776 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1310] ppid=1298 vsize=26643044 memory=1456 CPUtime=2.98 cores=0-7
/proc/1300/task/1310/stat : 1310 (java) S 1298 1298 1036 0 -1 1077944384 37628 0 0 0 146 152 0 0 20 0 28 0 89960711 27282477056 1208444 33554432000 4194304 4196468 140730005626880 139697370974576 139698628921986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1311] ppid=1298 vsize=26643044 memory=4833712 CPUtime=0 cores=0-7
/proc/1300/task/1311/stat : 1311 (java) S 1298 1298 1036 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 89960711 27282477056 1208444 33554432000 4194304 4196468 140730005626880 139697369920608 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1312] ppid=1298 vsize=26643044 memory=792 CPUtime=0 cores=0-7
/proc/1300/task/1312/stat : 1312 (java) S 1298 1298 1036 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 89960711 27282477056 1208444 33554432000 4194304 4196468 140730005626880 139697032520576 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1313] ppid=1298 vsize=26643044 memory=1224 CPUtime=0 cores=0-7
/proc/1300/task/1313/stat : 1313 (java) S 1298 1298 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89960714 27282477056 1208444 33554432000 4194304 4196468 140730005626880 139697031468880 139698628929435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1314] ppid=1298 vsize=26643044 memory=15864 CPUtime=2.82 cores=0-7
/proc/1300/task/1314/stat : 1314 (java) S 1298 1298 1036 0 -1 1077944384 19033 0 0 0 279 3 0 0 20 0 28 0 89960714 27282477056 1208444 33554432000 4194304 4196468 140730005626880 139697030417264 139698628921986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1315] ppid=1298 vsize=26643044 memory=4012 CPUtime=3.01 cores=0-7
/proc/1300/task/1315/stat : 1315 (java) S 1298 1298 1036 0 -1 1077944384 20311 0 0 0 298 3 0 0 20 0 28 0 89960714 27282477056 1208444 33554432000 4194304 4196468 140730005626880 139697029364464 139698628921986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1316] ppid=1298 vsize=26643044 memory=15896 CPUtime=2.72 cores=0-7
/proc/1300/task/1316/stat : 1316 (java) S 1298 1298 1036 0 -1 1077944384 23679 0 0 0 267 5 0 0 20 0 28 0 89960714 27282477056 1208444 33554432000 4194304 4196468 140730005626880 139697028311664 139698628921986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1325] ppid=1298 vsize=26643044 memory=8112282956445269571 CPUtime=0.82 cores=0-7
/proc/1300/task/1325/stat : 1325 (java) S 1298 1298 1036 0 -1 1077944384 16295 0 0 0 78 4 0 0 20 0 28 0 89960714 27282477056 1208444 33554432000 4194304 4196468 140730005626880 139697027258864 139698628921986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1326] ppid=1298 vsize=26643044 memory=26048 CPUtime=0 cores=0-7
/proc/1300/task/1326/stat : 1326 (java) S 1298 1298 1036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89960714 27282477056 1208444 33554432000 4194304 4196468 140730005626880 139697026206304 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1327] ppid=1298 vsize=26643044 memory=1228 CPUtime=0.95 cores=0-7
/proc/1300/task/1327/stat : 1327 (java) S 1298 1298 1036 0 -1 1077944384 3798 0 0 0 0 95 0 0 20 0 28 0 89960714 27282477056 1208444 33554432000 4194304 4196468 140730005626880 139697025153584 139698628921986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1328] ppid=1298 vsize=26643044 memory=2432 CPUtime=2479 cores=0-7
/proc/1300/task/1328/stat : 1328 (java) R 1298 1298 1036 0 -1 4202560 15635 0 0 0 247857 43 0 0 20 0 28 0 89961079 27282477056 1208444 33554432000 4194304 4196468 140730005626880 139697016558624 139698266239549 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1329] ppid=1298 vsize=26643044 memory=4833776 CPUtime=2488.43 cores=0-7
/proc/1300/task/1329/stat : 1329 (java) R 1298 1298 1036 0 -1 4202560 18110 0 0 0 248792 51 0 0 20 0 28 0 89961079 27282477056 1208444 33554432000 4194304 4196468 140730005626880 139697015504520 139698266239867 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1330] ppid=1298 vsize=26643044 memory=1456 CPUtime=2483.83 cores=0-7
/proc/1300/task/1330/stat : 1330 (java) R 1298 1298 1036 0 -1 4202560 35324 0 0 0 248290 93 0 0 20 0 28 0 89961079 27282477056 1208444 33554432000 4194304 4196468 140730005626880 139697014452760 139698264571278 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1331] ppid=1298 vsize=26643044 memory=4833756 CPUtime=2490.72 cores=0-7
/proc/1300/task/1331/stat : 1331 (java) R 1298 1298 1036 0 -1 4202560 23220 0 0 0 249016 56 0 0 20 0 28 0 89961079 27282477056 1208444 33554432000 4194304 4196468 140730005626880 139697013399944 139698266286255 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1332] ppid=1298 vsize=26643044 memory=1944 CPUtime=2490.39 cores=0-7
/proc/1300/task/1332/stat : 1332 (java) R 1298 1298 1036 0 -1 4202560 23274 0 0 0 248985 54 0 0 20 0 28 0 89961079 27282477056 1208444 33554432000 4194304 4196468 140730005626880 139697012346912 139698266239576 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1333] ppid=1298 vsize=26643044 memory=1456 CPUtime=2475.76 cores=0-7
/proc/1300/task/1333/stat : 1333 (java) R 1298 1298 1036 0 -1 4202560 13576 0 0 0 247532 44 0 0 20 0 28 0 89961079 27282477056 1208444 33554432000 4194304 4196468 140730005626880 139697011294344 139698266239477 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1334] ppid=1298 vsize=26643044 memory=4833756 CPUtime=2490.19 cores=0-7
/proc/1300/task/1334/stat : 1334 (java) R 1298 1298 1036 0 -1 4202560 18307 0 0 0 248980 39 0 0 20 0 28 0 89961079 27282477056 1208444 33554432000 4194304 4196468 140730005626880 139697010241424 139698264040902 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1335] ppid=1298 vsize=26643044 memory=1720 CPUtime=2480.84 cores=0-7
/proc/1300/task/1335/stat : 1335 (java) R 1298 1298 1036 0 -1 4202560 21335 0 0 0 248025 59 0 0 20 0 28 0 89961079 27282477056 1208444 33554432000 4194304 4196468 140730005626880 139697009188624 139698266286185 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
Current children cumulated CPU time: 19908.2 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 4835232 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.25 8.34 8.43 9/212 1414
/proc/meminfo: memFree=22522976/32770624 swapFree=67108860/67108860
[pid=1298] ppid=1295 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1298/stat : 1298 (xcsp3-exec) S 1295 1298 1036 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 89960708 115843072 364 33554432000 4194304 5098028 140732795680512 140732795678616 139902345302652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37502976 140732795687991 140732795688192 140732795688192 140732795690954 0
/proc/1298/statm: 28282 364 306 221 0 87 0
[pid=1300] ppid=1298 vsize=26643044 memory=4833892 CPUtime=20049.1 cores=0-7
/proc/1300/stat : 1300 (java) S 1298 1298 1036 0 -1 1077944320 388605 0 0 0 2004131 774 0 0 20 0 28 0 89960708 27282477056 1208473 33554432000 4194304 4196468 140730005626880 140730005609424 139698628910839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
/proc/1300/statm: 6660761 1208473 3458 1 0 6621955 0
[pid=1300/tid=1301] ppid=1298 vsize=26643044 memory=1399051139730258233 CPUtime=3.5 cores=0-7
/proc/1300/task/1301/stat : 1301 (java) S 1298 1298 1036 0 -1 1077944384 7796 0 0 0 340 10 0 0 20 0 28 0 89960708 27282477056 1208473 33554432000 4194304 4196468 140730005626880 139698633151616 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1302] ppid=1298 vsize=26643044 memory=1720 CPUtime=1.52 cores=0-7
/proc/1300/task/1302/stat : 1302 (java) S 1298 1298 1036 0 -1 1077944384 9998 0 0 0 133 19 0 0 20 0 28 0 89960709 27282477056 1208473 33554432000 4194304 4196468 140730005626880 139698581531280 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1303] ppid=1298 vsize=26643044 memory=792 CPUtime=1.51 cores=0-7
/proc/1300/task/1303/stat : 1303 (java) S 1298 1298 1036 0 -1 1077944384 8504 0 0 0 134 17 0 0 20 0 28 0 89960709 27282477056 1208473 33554432000 4194304 4196468 140730005626880 139698580478480 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1304] ppid=1298 vsize=26643044 memory=1224 CPUtime=1.51 cores=0-7
/proc/1300/task/1304/stat : 1304 (java) S 1298 1298 1036 0 -1 1077944384 11472 0 0 0 133 18 0 0 20 0 28 0 89960709 27282477056 1208473 33554432000 4194304 4196468 140730005626880 139698579425680 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1305] ppid=1298 vsize=26643044 memory=4126316290023845779 CPUtime=1.54 cores=0-7
/proc/1300/task/1305/stat : 1305 (java) S 1298 1298 1036 0 -1 1077944384 12315 0 0 0 134 20 0 0 20 0 28 0 89960709 27282477056 1208473 33554432000 4194304 4196468 140730005626880 139698578372880 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1306] ppid=1298 vsize=26643044 memory=288230596050944315 CPUtime=1.52 cores=0-7
/proc/1300/task/1306/stat : 1306 (java) S 1298 1298 1036 0 -1 1077944384 9615 0 0 0 132 20 0 0 20 0 28 0 89960709 27282477056 1208473 33554432000 4194304 4196468 140730005626880 139698577321104 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1307] ppid=1298 vsize=26643044 memory=14411514475972114 CPUtime=1.56 cores=0-7
/proc/1300/task/1307/stat : 1307 (java) S 1298 1298 1036 0 -1 1077944384 13851 0 0 0 135 21 0 0 20 0 28 0 89960709 27282477056 1208473 33554432000 4194304 4196468 140730005626880 139698182159376 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1308] ppid=1298 vsize=26643044 memory=828 CPUtime=1.54 cores=0-7
/proc/1300/task/1308/stat : 1308 (java) S 1298 1298 1036 0 -1 1077944384 8591 0 0 0 135 19 0 0 20 0 28 0 89960709 27282477056 1208473 33554432000 4194304 4196468 140730005626880 139698181106576 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1309] ppid=1298 vsize=26643044 memory=4132 CPUtime=1.57 cores=0-7
/proc/1300/task/1309/stat : 1309 (java) S 1298 1298 1036 0 -1 1077944384 10873 0 0 0 136 21 0 0 20 0 28 0 89960709 27282477056 1208473 33554432000 4194304 4196468 140730005626880 139698180053776 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1310] ppid=1298 vsize=26643044 memory=2192 CPUtime=3.02 cores=0-7
/proc/1300/task/1310/stat : 1310 (java) S 1298 1298 1036 0 -1 1077944384 38766 0 0 0 149 153 0 0 20 0 28 0 89960711 27282477056 1208473 33554432000 4194304 4196468 140730005626880 139697370974576 139698628921986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1311] ppid=1298 vsize=26643044 memory=1228 CPUtime=0 cores=0-7
/proc/1300/task/1311/stat : 1311 (java) S 1298 1298 1036 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 89960711 27282477056 1208473 33554432000 4194304 4196468 140730005626880 139697369920608 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1312] ppid=1298 vsize=26643044 memory=2432 CPUtime=0 cores=0-7
/proc/1300/task/1312/stat : 1312 (java) S 1298 1298 1036 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 89960711 27282477056 1208473 33554432000 4194304 4196468 140730005626880 139697032520576 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1313] ppid=1298 vsize=26643044 memory=3560 CPUtime=0 cores=0-7
/proc/1300/task/1313/stat : 1313 (java) S 1298 1298 1036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89960714 27282477056 1208473 33554432000 4194304 4196468 140730005626880 139697031468880 139698628929435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1314] ppid=1298 vsize=26643044 memory=26048 CPUtime=2.82 cores=0-7
/proc/1300/task/1314/stat : 1314 (java) S 1298 1298 1036 0 -1 1077944384 19042 0 0 0 279 3 0 0 20 0 28 0 89960714 27282477056 1208473 33554432000 4194304 4196468 140730005626880 139697030417264 139698628921986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1315] ppid=1298 vsize=26643044 memory=1228 CPUtime=3.01 cores=0-7
/proc/1300/task/1315/stat : 1315 (java) S 1298 1298 1036 0 -1 1077944384 20317 0 0 0 298 3 0 0 20 0 28 0 89960714 27282477056 1208473 33554432000 4194304 4196468 140730005626880 139697029364464 139698628921986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1316] ppid=1298 vsize=26643044 memory=2432 CPUtime=2.72 cores=0-7
/proc/1300/task/1316/stat : 1316 (java) S 1298 1298 1036 0 -1 1077944384 23685 0 0 0 267 5 0 0 20 0 28 0 89960714 27282477056 1208473 33554432000 4194304 4196468 140730005626880 139697028311664 139698628921986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1325] ppid=1298 vsize=26643044 memory=1720 CPUtime=0.82 cores=0-7
/proc/1300/task/1325/stat : 1325 (java) S 1298 1298 1036 0 -1 1077944384 16301 0 0 0 78 4 0 0 20 0 28 0 89960714 27282477056 1208473 33554432000 4194304 4196468 140730005626880 139697027258864 139698628921986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1326] ppid=1298 vsize=26643044 memory=792 CPUtime=0 cores=0-7
/proc/1300/task/1326/stat : 1326 (java) S 1298 1298 1036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89960714 27282477056 1208473 33554432000 4194304 4196468 140730005626880 139697026206304 139698628921045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1327] ppid=1298 vsize=26643044 memory=1224 CPUtime=0.96 cores=0-7
/proc/1300/task/1327/stat : 1327 (java) S 1298 1298 1036 0 -1 1077944384 3878 0 0 0 0 96 0 0 20 0 28 0 89960714 27282477056 1208473 33554432000 4194304 4196468 140730005626880 139697025153584 139698628921986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1328] ppid=1298 vsize=26643044 memory=1944 CPUtime=2496.56 cores=0-7
/proc/1300/task/1328/stat : 1328 (java) R 1298 1298 1036 0 -1 4202560 15995 0 0 0 249612 44 0 0 20 0 28 0 89961079 27282477056 1208473 33554432000 4194304 4196468 140730005626880 139697016556096 139698266286255 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1329] ppid=1298 vsize=26643044 memory=8112282956445269571 CPUtime=2506.04 cores=0-7
/proc/1300/task/1329/stat : 1329 (java) R 1298 1298 1036 0 -1 4202560 18446 0 0 0 250553 51 0 0 20 0 28 0 89961079 27282477056 1208473 33554432000 4194304 4196468 140730005626880 139697015506944 139698265311829 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1330] ppid=1298 vsize=26643044 memory=4833820 CPUtime=2501.39 cores=0-7
/proc/1300/task/1330/stat : 1330 (java) R 1298 1298 1036 0 -1 4202560 35846 0 0 0 250045 94 0 0 20 0 28 0 89961079 27282477056 1208473 33554432000 4194304 4196468 140730005626880 139697014452624 139698265143712 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1331] ppid=1298 vsize=26643044 memory=1444 CPUtime=2508.28 cores=0-7
/proc/1300/task/1331/stat : 1331 (java) R 1298 1298 1036 0 -1 4202560 23823 0 0 0 250771 57 0 0 20 0 28 0 89961079 27282477056 1208473 33554432000 4194304 4196468 140730005626880 139697013399696 139698266239610 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1332] ppid=1298 vsize=26643044 memory=1160 CPUtime=2508.01 cores=0-7
/proc/1300/task/1332/stat : 1332 (java) R 1298 1298 1036 0 -1 4202560 23779 0 0 0 250746 55 0 0 20 0 28 0 89961079 27282477056 1208473 33554432000 4194304 4196468 140730005626880 139697012347048 139698266286466 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1333] ppid=1298 vsize=26643044 memory=968 CPUtime=2493.27 cores=0-7
/proc/1300/task/1333/stat : 1333 (java) R 1298 1298 1036 0 -1 4202560 13878 0 0 0 249282 45 0 0 20 0 28 0 89961079 27282477056 1208473 33554432000 4194304 4196468 140730005626880 139697011294232 139698266239477 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1334] ppid=1298 vsize=26643044 memory=4833776 CPUtime=2507.8 cores=0-7
/proc/1300/task/1334/stat : 1334 (java) R 1298 1298 1036 0 -1 4202560 18705 0 0 0 250741 39 0 0 20 0 28 0 89961079 27282477056 1208473 33554432000 4194304 4196468 140730005626880 139697010241424 139698266286560 0 4 0 16800975 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
[pid=1300/tid=1335] ppid=1298 vsize=26643044 memory=4833888 CPUtime=2498.37 cores=0-7
/proc/1300/task/1335/stat : 1335 (java) R 1298 1298 1036 0 -1 4202560 21769 0 0 0 249778 59 0 0 20 0 28 0 89961079 27282477056 1208473 33554432000 4194304 4196468 140730005626880 139697009188760 139698266239477 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 8540160 140730005628033 140730005628205 140730005628205 140730005630927 0
Current children cumulated CPU time: 20049.1 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 4835348 KiB

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

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

[startup+2520.12 s]
# the end of solver process 1300 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20042 s, system=7.77334 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): 20049.8
CPU user time (s): 20042
CPU system time (s): 7.77334
CPU usage (%): 795.587
Max. virtual memory (cumulated for all children) (KiB): 26756172
Max. memory (cumulated for all children) (KiB): 5451516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20042
system time used= 7.77334
maximum resident set size= 5452004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 389713
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121776
involuntary context switches= 225150


# summary of solver processes directly reported to runsolver:
#   pid: 1298,1300
#   total CPU time (s): 20049.8
#   total CPU user time (s): 20042
#   total CPU system time (s): 7.77334

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.5575 second user time and 31.3872 second system time

The end

Launcher Data 

Begin job on node135 at 2018-07-27 22:39:35
IDJOB=4297778
IDBENCH=141503
IDSOLVER=2760
FILE ID=node135/4297778-1532723975
RUNJOBID= node135-1532723677-1064
PBS_JOBID= 21022338
Free space on /tmp= 48368 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/Subisomorphism/Subisomorphism-g29-g50_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297778-1532723975/watcher-4297778-1532723975 -o /tmp/evaluation-result-4297778-1532723975/solver-4297778-1532723975 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1532723677-1064 --watchdog 2580  HOME/xcsp3-exec -seed 70073240 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297778-1532723975.xml

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

MD5SUM BENCH= 6b43bee46cd3f7faf4796c0903a8d917
RANDOM SEED=70073240

node135.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.50
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.50
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.50
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.50
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:        27351808 kB
MemAvailable:   31930232 kB
Buffers:          168880 kB
Cached:          4642764 kB
SwapCached:            0 kB
Active:          1645424 kB
Inactive:        3220728 kB
Active(anon):       5264 kB
Inactive(anon):    76960 kB
Active(file):    1640160 kB
Inactive(file):  3143768 kB
Unevictable:        7212 kB
Mlocked:            7212 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             22080 kB
Writeback:             0 kB
AnonPages:         64956 kB
Mapped:            41692 kB
Shmem:             25248 kB
Slab:             248308 kB
SReclaimable:     220660 kB
SUnreclaim:        27648 kB
KernelStack:        3504 kB
PageTables:         4692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 48344 MiB
End job on node135 at 2018-07-27 23:21:36