Trace number 4399498

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-16 parallel? (TO) 19766.1 2520.14

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-203.xml
MD5SUMce251f4c9ae0df3aa97e9296eb89cd68
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark141.487
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size634
Maximum domain size634
Distribution of domain sizes[{"size":634,"count":50}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints52
Distribution of constraint types[{"type":"intension","count":52},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399498-1568706328.xml"  -tl '20160s' -p 8
0.12/0.20	c Choco e747e1e
0.12/0.20	c [HOME/instance-4399498-1568706328.xml, -tl, 20160s, -p, 8]
0.33/0.25	c 8 solvers in parallel
0.33/0.31	c parse instance...
1.48/0.75	c solve instance...
19765.39/2520.08	s UNKNOWN
19765.39/2520.08	c Unexpected resolution interruption!

Verifier Data


Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 16375 MiB (14221 MiB free)
  memory of node 1: 16384 MiB (14485 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399498-1568706328/watcher-4399498-1568706328 -o /tmp/evaluation-result-4399498-1568706328/solver-4399498-1568706328 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324215096-17677 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 497990232 HOME/instance-4399498-1568706328.xml 

running on 8 cores: 0-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=20912, runsolver pid=20909
Current StackSize limit: 8192 KiB


[startup+0.100111 s]*
/proc/loadavg: 8.20 8.37 8.25 2/212 20933
/proc/meminfo: memFree=29379112/32770688 swapFree=66919992/67108860
[pid=20912] ppid=20909 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20912/stat : 20912 (xcsp3-exec) S 20909 20912 17650 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446639057 115843072 364 33554432000 4194304 5098028 140737376696816 140737376694920 139716515205756 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29958144 140737376699254 140737376699497 140737376699497 140737376702410 0
/proc/20912/statm: 28282 364 305 221 0 87 0
[pid=20914] ppid=20912 vsize=28227396 memory=28784 CPUtime=0.12 cores=0-7
/proc/20914/stat : 20914 (java) S 20912 20912 17650 0 -1 1077944320 5666 0 0 0 11 1 0 0 20 0 20 0 446639058 28904853504 7196 33554432000 4194304 4196468 140724472182912 140724472165456 140518467907319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
/proc/20914/statm: 7056849 7196 3119 1 0 7019032 0
[pid=20914/tid=20915] ppid=20912 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/20914/task/20915/stat : 20915 (java) R 20912 20912 17650 0 -1 4202560 3585 0 0 0 8 0 0 0 20 0 20 0 446639058 28904853504 7196 33554432000 4194304 4196468 140724472182912 140518472135552 140518451987806 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20916] ppid=20912 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/20914/task/20916/stat : 20916 (java) S 20912 20912 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446639059 28904853504 7196 33554432000 4194304 4196468 140724472182912 140518387760016 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20917] ppid=20912 vsize=28227396 memory=139878791550592 CPUtime=0 cores=0-7
/proc/20914/task/20917/stat : 20917 (java) S 20912 20912 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446639059 28904853504 7196 33554432000 4194304 4196468 140724472182912 140518386707216 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20918] ppid=20912 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20918/stat : 20918 (java) S 20912 20912 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446639059 28904853504 7196 33554432000 4194304 4196468 140724472182912 140518385654928 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20919] ppid=20912 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20919/stat : 20919 (java) S 20912 20912 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446639059 28904853504 7196 33554432000 4194304 4196468 140724472182912 140518384602128 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20920] ppid=20912 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20920/stat : 20920 (java) S 20912 20912 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446639059 28904853504 7196 33554432000 4194304 4196468 140724472182912 140518383548816 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20921] ppid=20912 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20914/task/20921/stat : 20921 (java) S 20912 20912 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446639059 28904853504 7196 33554432000 4194304 4196468 140724472182912 140518382496016 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20922] ppid=20912 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20922/stat : 20922 (java) S 20912 20912 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446639059 28904853504 7196 33554432000 4194304 4196468 140724472182912 140518381443728 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20923] ppid=20912 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20923/stat : 20923 (java) S 20912 20912 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446639059 28904853504 7196 33554432000 4194304 4196468 140724472182912 140518380390928 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20924] ppid=20912 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20924/stat : 20924 (java) S 20912 20912 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446639060 28904853504 7196 33554432000 4194304 4196468 140724472182912 140517718461040 140518467918466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20925] ppid=20912 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20925/stat : 20925 (java) S 20912 20912 17650 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446639061 28904853504 7196 33554432000 4194304 4196468 140724472182912 140517717407008 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20926] ppid=20912 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20926/stat : 20926 (java) S 20912 20912 17650 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446639061 28904853504 7196 33554432000 4194304 4196468 140724472182912 140517716354672 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20927] ppid=20912 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20927/stat : 20927 (java) S 20912 20912 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446639064 28904853504 7196 33554432000 4194304 4196468 140724472182912 140517715302992 140518467925915 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20928] ppid=20912 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20928/stat : 20928 (java) S 20912 20912 17650 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 20 0 446639064 28904853504 7196 33554432000 4194304 4196468 140724472182912 140517714249840 140518467918466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20929] ppid=20912 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20929/stat : 20929 (java) S 20912 20912 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446639064 28904853504 7196 33554432000 4194304 4196468 140724472182912 140517713197040 140518467918466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20930] ppid=20912 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20930/stat : 20930 (java) S 20912 20912 17650 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 446639064 28904853504 7196 33554432000 4194304 4196468 140724472182912 140517712144752 140518467918466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20931] ppid=20912 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/20914/task/20931/stat : 20931 (java) S 20912 20912 17650 0 -1 1077944384 356 0 0 0 1 0 0 0 20 0 20 0 446639064 28904853504 7196 33554432000 4194304 4196468 140724472182912 140517711091952 140518467918466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20932] ppid=20912 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20932/stat : 20932 (java) S 20912 20912 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446639064 28904853504 7196 33554432000 4194304 4196468 140724472182912 140517710039904 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20933] ppid=20912 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20914/task/20933/stat : 20933 (java) S 20912 20912 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446639064 28904853504 7196 33554432000 4194304 4196468 140724472182912 140517708987184 140518467918466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30240 KiB

[startup+0.211509 s]*
/proc/loadavg: 8.20 8.37 8.25 3/212 20933
/proc/meminfo: memFree=29368564/32770688 swapFree=66919992/67108860
[pid=20912] ppid=20909 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20912/stat : 20912 (xcsp3-exec) S 20909 20912 17650 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446639057 115843072 364 33554432000 4194304 5098028 140737376696816 140737376694920 139716515205756 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29958144 140737376699254 140737376699497 140737376699497 140737376702410 0
/proc/20912/statm: 28282 364 305 221 0 87 0
[pid=20914] ppid=20912 vsize=28227396 memory=40020 CPUtime=0.33 cores=0-7
/proc/20914/stat : 20914 (java) S 20912 20912 17650 0 -1 1077944320 9293 0 0 0 30 3 0 0 20 0 20 0 446639058 28904853504 10005 33554432000 4194304 4196468 140724472182912 140724472165456 140518467907319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
/proc/20914/statm: 7056849 10005 3287 1 0 7019032 0
[pid=20914/tid=20915] ppid=20912 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/20914/task/20915/stat : 20915 (java) R 20912 20912 17650 0 -1 4202560 6537 0 0 0 18 2 0 0 20 0 20 0 446639058 28904853504 10005 33554432000 4194304 4196468 140724472182912 140518472126656 140518451987806 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20916] ppid=20912 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/20914/task/20916/stat : 20916 (java) S 20912 20912 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446639059 28904853504 10005 33554432000 4194304 4196468 140724472182912 140518387760016 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20917] ppid=20912 vsize=28227396 memory=139878791568526 CPUtime=0 cores=0-7
/proc/20914/task/20917/stat : 20917 (java) S 20912 20912 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446639059 28904853504 10005 33554432000 4194304 4196468 140724472182912 140518386707216 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20918] ppid=20912 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20914/task/20918/stat : 20918 (java) S 20912 20912 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446639059 28904853504 10005 33554432000 4194304 4196468 140724472182912 140518385654928 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20919] ppid=20912 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20919/stat : 20919 (java) S 20912 20912 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446639059 28904853504 10005 33554432000 4194304 4196468 140724472182912 140518384602128 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20920] ppid=20912 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20920/stat : 20920 (java) S 20912 20912 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446639059 28904853504 10005 33554432000 4194304 4196468 140724472182912 140518383548816 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20921] ppid=20912 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20914/task/20921/stat : 20921 (java) S 20912 20912 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446639059 28904853504 10005 33554432000 4194304 4196468 140724472182912 140518382496016 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20922] ppid=20912 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20922/stat : 20922 (java) S 20912 20912 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446639059 28904853504 10005 33554432000 4194304 4196468 140724472182912 140518381443728 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20923] ppid=20912 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20923/stat : 20923 (java) S 20912 20912 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446639059 28904853504 10005 33554432000 4194304 4196468 140724472182912 140518380390928 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20924] ppid=20912 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20924/stat : 20924 (java) S 20912 20912 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446639060 28904853504 10005 33554432000 4194304 4196468 140724472182912 140517718461040 140518467918466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20925] ppid=20912 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20925/stat : 20925 (java) S 20912 20912 17650 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446639061 28904853504 10005 33554432000 4194304 4196468 140724472182912 140517717407008 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20926] ppid=20912 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20926/stat : 20926 (java) S 20912 20912 17650 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446639061 28904853504 10005 33554432000 4194304 4196468 140724472182912 140517716354672 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20927] ppid=20912 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20927/stat : 20927 (java) S 20912 20912 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446639064 28904853504 10005 33554432000 4194304 4196468 140724472182912 140517715302992 140518467925915 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20928] ppid=20912 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/20914/task/20928/stat : 20928 (java) S 20912 20912 17650 0 -1 1077944384 323 0 0 0 1 0 0 0 20 0 20 0 446639064 28904853504 10005 33554432000 4194304 4196468 140724472182912 140517714249840 140518467918466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20929] ppid=20912 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/20914/task/20929/stat : 20929 (java) S 20912 20912 17650 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 20 0 446639064 28904853504 10005 33554432000 4194304 4196468 140724472182912 140517713197040 140518467918466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20930] ppid=20912 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/20914/task/20930/stat : 20930 (java) S 20912 20912 17650 0 -1 1077944384 275 0 0 0 2 0 0 0 20 0 20 0 446639064 28904853504 10005 33554432000 4194304 4196468 140724472182912 140517712144752 140518467918466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20931] ppid=20912 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/20914/task/20931/stat : 20931 (java) R 20912 20912 17650 0 -1 4202560 806 0 0 0 7 0 0 0 20 0 20 0 446639064 28904853504 10005 33554432000 4194304 4196468 140724472182912 140517711091952 140518467928666 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20932] ppid=20912 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20932/stat : 20932 (java) S 20912 20912 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446639064 28904853504 10005 33554432000 4194304 4196468 140724472182912 140517710039904 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20933] ppid=20912 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20914/task/20933/stat : 20933 (java) S 20912 20912 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446639064 28904853504 10005 33554432000 4194304 4196468 140724472182912 140517708987184 140518467918466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41476 KiB

[startup+0.311296 s]*
/proc/loadavg: 8.20 8.37 8.25 4/212 20933
/proc/meminfo: memFree=29362236/32770688 swapFree=66919992/67108860
[pid=20912] ppid=20909 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20912/stat : 20912 (xcsp3-exec) S 20909 20912 17650 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446639057 115843072 364 33554432000 4194304 5098028 140737376696816 140737376694920 139716515205756 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29958144 140737376699254 140737376699497 140737376699497 140737376702410 0
/proc/20912/statm: 28282 364 305 221 0 87 0
[pid=20914] ppid=20912 vsize=28231652 memory=46680 CPUtime=0.51 cores=0-7
/proc/20914/stat : 20914 (java) S 20912 20912 17650 0 -1 1077944320 10521 0 0 0 48 3 0 0 20 0 20 0 446639058 28909211648 11670 33554432000 4194304 4196468 140724472182912 140724472165456 140518467907319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
/proc/20914/statm: 7057913 11670 3348 1 0 7019032 0
[pid=20914/tid=20915] ppid=20912 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/20914/task/20915/stat : 20915 (java) R 20912 20912 17650 0 -1 4202560 7524 0 0 0 27 2 0 0 20 0 20 0 446639058 28909211648 11670 33554432000 4194304 4196468 140724472182912 140518472120368 140518447436312 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20916] ppid=20912 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20916/stat : 20916 (java) S 20912 20912 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446639059 28909211648 11670 33554432000 4194304 4196468 140724472182912 140518387760016 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20917] ppid=20912 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20917/stat : 20917 (java) S 20912 20912 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446639059 28909211648 11670 33554432000 4194304 4196468 140724472182912 140518386707216 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20918] ppid=20912 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20918/stat : 20918 (java) S 20912 20912 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446639059 28909211648 11670 33554432000 4194304 4196468 140724472182912 140518385654928 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20919] ppid=20912 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20919/stat : 20919 (java) S 20912 20912 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446639059 28909211648 11670 33554432000 4194304 4196468 140724472182912 140518384602128 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20920] ppid=20912 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20920/stat : 20920 (java) S 20912 20912 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446639059 28909211648 11670 33554432000 4194304 4196468 140724472182912 140518383548816 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20921] ppid=20912 vsize=28231652 memory=139878629206703 CPUtime=0 cores=0-7
/proc/20914/task/20921/stat : 20921 (java) S 20912 20912 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446639059 28909211648 11670 33554432000 4194304 4196468 140724472182912 140518382496016 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20922] ppid=20912 vsize=28231652 memory=139878629209008 CPUtime=0 cores=0-7
/proc/20914/task/20922/stat : 20922 (java) S 20912 20912 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446639059 28909211648 11670 33554432000 4194304 4196468 140724472182912 140518381443728 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20923] ppid=20912 vsize=28231652 memory=139878629211312 CPUtime=0 cores=0-7
/proc/20914/task/20923/stat : 20923 (java) S 20912 20912 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446639059 28909211648 11670 33554432000 4194304 4196468 140724472182912 140518380390928 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20924] ppid=20912 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20924/stat : 20924 (java) S 20912 20912 17650 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446639060 28909211648 11670 33554432000 4194304 4196468 140724472182912 140517718461040 140518467918466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20925] ppid=20912 vsize=28231652 memory=279757258436496 CPUtime=0 cores=0-7
/proc/20914/task/20925/stat : 20925 (java) S 20912 20912 17650 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446639061 28909211648 11670 33554432000 4194304 4196468 140724472182912 140517717407008 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20926] ppid=20912 vsize=28231652 memory=279757258434192 CPUtime=0 cores=0-7
/proc/20914/task/20926/stat : 20926 (java) S 20912 20912 17650 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446639061 28909211648 11670 33554432000 4194304 4196468 140724472182912 140517716354672 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20927] ppid=20912 vsize=28231652 memory=279757258441104 CPUtime=0 cores=0-7
/proc/20914/task/20927/stat : 20927 (java) S 20912 20912 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446639064 28909211648 11670 33554432000 4194304 4196468 140724472182912 140517715302992 140518467925915 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20928] ppid=20912 vsize=28231652 memory=279757258382384 CPUtime=0.02 cores=0-7
/proc/20914/task/20928/stat : 20928 (java) S 20912 20912 17650 0 -1 1077944384 344 0 0 0 2 0 0 0 20 0 20 0 446639064 28909211648 11670 33554432000 4194304 4196468 140724472182912 140517714249840 140518467918466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20929] ppid=20912 vsize=28231652 memory=279757258454928 CPUtime=0.02 cores=0-7
/proc/20914/task/20929/stat : 20929 (java) S 20912 20912 17650 0 -1 1077944384 85 0 0 0 2 0 0 0 20 0 20 0 446639064 28909211648 11670 33554432000 4194304 4196468 140724472182912 140517713197040 140518467918466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20930] ppid=20912 vsize=28231652 memory=279757258461840 CPUtime=0.02 cores=0-7
/proc/20914/task/20930/stat : 20930 (java) S 20912 20912 17650 0 -1 1077944384 275 0 0 0 2 0 0 0 20 0 20 0 446639064 28909211648 11670 33554432000 4194304 4196468 140724472182912 140517712144752 140518467918466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20931] ppid=20912 vsize=28231652 memory=279757258459536 CPUtime=0.12 cores=0-7
/proc/20914/task/20931/stat : 20931 (java) S 20912 20912 17650 0 -1 1077944384 983 0 0 0 12 0 0 0 20 0 20 0 446639064 28909211648 11670 33554432000 4194304 4196468 140724472182912 140517711091952 140518467918466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20932] ppid=20912 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20932/stat : 20932 (java) S 20912 20912 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446639064 28909211648 11670 33554432000 4194304 4196468 140724472182912 140517710039904 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20933] ppid=20912 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/20914/task/20933/stat : 20933 (java) S 20912 20912 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446639064 28909211648 11670 33554432000 4194304 4196468 140724472182912 140517708987184 140518467918466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 48136 KiB

[startup+0.701051 s]
/proc/loadavg: 8.20 8.37 8.25 3/212 20933
/proc/meminfo: memFree=29351368/32770688 swapFree=66919992/67108860
[pid=20912] ppid=20909 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20912/stat : 20912 (xcsp3-exec) S 20909 20912 17650 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446639057 115843072 364 33554432000 4194304 5098028 140737376696816 140737376694920 139716515205756 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29958144 140737376699254 140737376699497 140737376699497 140737376702410 0
/proc/20912/statm: 28282 364 305 221 0 87 0
[pid=20914] ppid=20912 vsize=28233776 memory=73764 CPUtime=1.48 cores=0-7
/proc/20914/stat : 20914 (java) S 20912 20912 17650 0 -1 1077944320 14173 0 0 0 142 6 0 0 20 0 20 0 446639058 28911386624 18441 33554432000 4194304 4196468 140724472182912 140724472165456 140518467907319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
/proc/20914/statm: 7058444 18441 3452 1 0 7019544 0
[pid=20914/tid=20915] ppid=20912 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/20914/task/20915/stat : 20915 (java) R 20912 20912 17650 0 -1 4202560 9303 0 0 0 64 3 0 0 20 0 20 0 446639058 28911386624 18441 33554432000 4194304 4196468 140724472182912 140518472144832 140518467929341 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20916] ppid=20912 vsize=28233776 memory=139878629417840 CPUtime=0 cores=0-7
/proc/20914/task/20916/stat : 20916 (java) S 20912 20912 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446639059 28911386624 18441 33554432000 4194304 4196468 140724472182912 140518387760016 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20917] ppid=20912 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/20914/task/20917/stat : 20917 (java) S 20912 20912 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446639059 28911386624 18441 33554432000 4194304 4196468 140724472182912 140518386707216 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20918] ppid=20912 vsize=28233776 memory=1176 CPUtime=0 cores=0-7
/proc/20914/task/20918/stat : 20918 (java) S 20912 20912 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446639059 28911386624 18441 33554432000 4194304 4196468 140724472182912 140518385654928 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0

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

[pid=20914/tid=20941] ppid=20912 vsize=28768336 memory=4100 CPUtime=2369.79 cores=0-7
/proc/20914/task/20941/stat : 20941 (java) R 20912 20912 17650 0 -1 4202560 147964 0 0 0 236909 70 0 0 20 0 28 0 446639134 29458776064 190307 33554432000 4194304 4196468 140724472182912 140517557305560 140518067359794 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
Current children cumulated CPU time: 19162.4 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 762684 KiB

[startup+2502.3 s]
/proc/loadavg: 7.78 7.94 8.05 9/219 21125
/proc/meminfo: memFree=28526956/32770688 swapFree=66919992/67108860
[pid=20912] ppid=20909 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20912/stat : 20912 (xcsp3-exec) S 20909 20912 17650 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446639057 115843072 364 33554432000 4194304 5098028 140737376696816 140737376694920 139716515205756 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29958144 140737376699254 140737376699497 140737376699497 140737376702410 0
/proc/20912/statm: 28282 364 305 221 0 87 0
[pid=20914] ppid=20912 vsize=28768336 memory=880668 CPUtime=19626.5 cores=0-7
/proc/20914/stat : 20914 (java) S 20912 20912 17650 0 -1 1077944320 1643219 0 0 0 1958513 4133 0 0 20 0 28 0 446639058 29458776064 220167 33554432000 4194304 4196468 140724472182912 140724472165456 140518467907319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
/proc/20914/statm: 7192084 220167 3543 1 0 7153184 0
[pid=20914/tid=20915] ppid=20912 vsize=28768336 memory=1456 CPUtime=0.73 cores=0-7
/proc/20914/task/20915/stat : 20915 (java) S 20912 20912 17650 0 -1 1077944384 9395 0 0 0 70 3 0 0 20 0 28 0 446639058 29458776064 220167 33554432000 4194304 4196468 140724472182912 140518472148096 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20916] ppid=20912 vsize=28768336 memory=875344 CPUtime=13.75 cores=0-7
/proc/20914/task/20916/stat : 20916 (java) S 20912 20912 17650 0 -1 1077944384 60693 0 0 0 1300 75 0 0 20 0 28 0 446639059 29458776064 220167 33554432000 4194304 4196468 140724472182912 140518387760016 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20917] ppid=20912 vsize=28768336 memory=880160 CPUtime=13.64 cores=0-7
/proc/20914/task/20917/stat : 20917 (java) S 20912 20912 17650 0 -1 1077944384 56794 0 0 0 1292 72 0 0 20 0 28 0 446639059 29458776064 220167 33554432000 4194304 4196468 140724472182912 140518386707216 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20918] ppid=20912 vsize=28768336 memory=728912 CPUtime=13.68 cores=0-7
/proc/20914/task/20918/stat : 20918 (java) S 20912 20912 17650 0 -1 1077944384 50063 0 0 0 1294 74 0 0 20 0 28 0 446639059 29458776064 220167 33554432000 4194304 4196468 140724472182912 140518385654928 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20919] ppid=20912 vsize=28768336 memory=874832 CPUtime=13.66 cores=0-7
/proc/20914/task/20919/stat : 20919 (java) S 20912 20912 17650 0 -1 1077944384 54495 0 0 0 1296 70 0 0 20 0 28 0 446639059 29458776064 220167 33554432000 4194304 4196468 140724472182912 140518384602128 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20920] ppid=20912 vsize=28768336 memory=872832 CPUtime=13.71 cores=0-7
/proc/20914/task/20920/stat : 20920 (java) S 20912 20912 17650 0 -1 1077944384 56171 0 0 0 1294 77 0 0 20 0 28 0 446639059 29458776064 220167 33554432000 4194304 4196468 140724472182912 140518383548816 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20921] ppid=20912 vsize=28768336 memory=1456 CPUtime=13.69 cores=0-7
/proc/20914/task/20921/stat : 20921 (java) S 20912 20912 17650 0 -1 1077944384 58825 0 0 0 1297 72 0 0 20 0 28 0 446639059 29458776064 220167 33554432000 4194304 4196468 140724472182912 140518382496016 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20922] ppid=20912 vsize=28768336 memory=1456 CPUtime=13.68 cores=0-7
/proc/20914/task/20922/stat : 20922 (java) S 20912 20912 17650 0 -1 1077944384 56016 0 0 0 1296 72 0 0 20 0 28 0 446639059 29458776064 220167 33554432000 4194304 4196468 140724472182912 140518381443728 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20923] ppid=20912 vsize=28768336 memory=875816 CPUtime=13.71 cores=0-7
/proc/20914/task/20923/stat : 20923 (java) S 20912 20912 17650 0 -1 1077944384 57217 0 0 0 1299 72 0 0 20 0 28 0 446639059 29458776064 220167 33554432000 4194304 4196468 140724472182912 140518380390928 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20924] ppid=20912 vsize=28768336 memory=1456 CPUtime=52.29 cores=0-7
/proc/20914/task/20924/stat : 20924 (java) S 20912 20912 17650 0 -1 1077944384 199651 0 0 0 2110 3119 0 0 20 0 28 0 446639060 29458776064 220167 33554432000 4194304 4196468 140724472182912 140517718461040 140518467918466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 39 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20925] ppid=20912 vsize=28768336 memory=3472328296227679313 CPUtime=0 cores=0-7
/proc/20914/task/20925/stat : 20925 (java) S 20912 20912 17650 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 446639061 29458776064 220167 33554432000 4194304 4196468 140724472182912 140517717407072 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20926] ppid=20912 vsize=28768336 memory=301793952500103862 CPUtime=0 cores=0-7
/proc/20914/task/20926/stat : 20926 (java) S 20912 20912 17650 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 446639061 29458776064 220167 33554432000 4194304 4196468 140724472182912 140517716354688 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20927] ppid=20912 vsize=28768336 memory=2020 CPUtime=0 cores=0-7
/proc/20914/task/20927/stat : 20927 (java) S 20912 20912 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446639064 29458776064 220167 33554432000 4194304 4196468 140724472182912 140517715302992 140518467925915 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20928] ppid=20912 vsize=28768336 memory=1428 CPUtime=2.83 cores=0-7
/proc/20914/task/20928/stat : 20928 (java) S 20912 20912 17650 0 -1 1077944384 16361 0 0 0 279 4 0 0 20 0 28 0 446639064 29458776064 220167 33554432000 4194304 4196468 140724472182912 140517714249840 140518467918466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20929] ppid=20912 vsize=28768336 memory=0 CPUtime=3.07 cores=0-7
/proc/20914/task/20929/stat : 20929 (java) S 20912 20912 17650 0 -1 1077944384 18215 0 0 0 302 5 0 0 20 0 28 0 446639064 29458776064 220167 33554432000 4194304 4196468 140724472182912 140517713197040 140518467918466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20930] ppid=20912 vsize=28768336 memory=0 CPUtime=2.98 cores=0-7
/proc/20914/task/20930/stat : 20930 (java) S 20912 20912 17650 0 -1 1077944384 11842 0 0 0 296 2 0 0 20 0 28 0 446639064 29458776064 220167 33554432000 4194304 4196468 140724472182912 140517712144752 140518467918466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20931] ppid=20912 vsize=28768336 memory=139878629679377 CPUtime=0.86 cores=0-7
/proc/20914/task/20931/stat : 20931 (java) S 20912 20912 17650 0 -1 1077944384 11324 0 0 0 84 2 0 0 20 0 28 0 446639064 29458776064 220167 33554432000 4194304 4196468 140724472182912 140517711091952 140518467918466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20932] ppid=20912 vsize=28768336 memory=7451598535803692131 CPUtime=0 cores=0-7
/proc/20914/task/20932/stat : 20932 (java) S 20912 20912 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446639064 29458776064 220167 33554432000 4194304 4196468 140724472182912 140517710039904 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20933] ppid=20912 vsize=28768336 memory=874740 CPUtime=0.84 cores=0-7
/proc/20914/task/20933/stat : 20933 (java) S 20912 20912 17650 0 -1 1077944384 6486 0 0 0 28 56 0 0 20 0 28 0 446639064 29458776064 220167 33554432000 4194304 4196468 140724472182912 140517708987184 140518467918466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20934] ppid=20912 vsize=28768336 memory=1456 CPUtime=2425.07 cores=0-7
/proc/20914/task/20934/stat : 20934 (java) R 20912 20912 17650 0 -1 4202560 102403 0 0 0 242455 52 0 0 20 0 28 0 446639134 29458776064 220167 33554432000 4194304 4196468 140724472182912 140517564673928 140518068263907 0 4 0 16800975 0 0 0 -1 5 0 0 22 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20935] ppid=20912 vsize=28768336 memory=880160 CPUtime=2423.2 cores=0-7
/proc/20914/task/20935/stat : 20935 (java) R 20912 20912 17650 0 -1 4202560 78649 0 0 0 242274 46 0 0 20 0 28 0 446639134 29458776064 220167 33554432000 4194304 4196468 140724472182912 140517563625816 140518064598216 0 4 0 16800975 0 0 0 -1 7 0 0 18 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20936] ppid=20912 vsize=28768336 memory=1456 CPUtime=2462.54 cores=0-7
/proc/20914/task/20936/stat : 20936 (java) R 20912 20912 17650 0 -1 4202560 19852 0 0 0 246236 18 0 0 20 0 28 0 446639134 29458776064 220167 33554432000 4194304 4196468 140724472182912 140517562568288 140518067359836 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20937] ppid=20912 vsize=28768336 memory=1456 CPUtime=2451.57 cores=0-7
/proc/20914/task/20937/stat : 20937 (java) R 20912 20912 17650 0 -1 4202560 33536 0 0 0 245133 24 0 0 20 0 28 0 446639134 29458776064 220167 33554432000 4194304 4196468 140724472182912 140517561515736 140518067359807 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20938] ppid=20912 vsize=28768336 memory=875344 CPUtime=2419.76 cores=0-7
/proc/20914/task/20938/stat : 20938 (java) R 20912 20912 17650 0 -1 4202560 240600 0 0 0 241880 96 0 0 20 0 28 0 446639134 29458776064 220167 33554432000 4194304 4196468 140724472182912 140517560467416 140518066256548 0 4 0 16800975 0 0 0 -1 0 0 0 21 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20939] ppid=20912 vsize=28768336 memory=3624 CPUtime=2420.99 cores=0-7
/proc/20914/task/20939/stat : 20939 (java) R 20912 20912 17650 0 -1 4202560 221811 0 0 0 242008 91 0 0 20 0 28 0 446639134 29458776064 220167 33554432000 4194304 4196468 140724472182912 140517559410168 140518066504934 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20940] ppid=20912 vsize=28768336 memory=1456 CPUtime=2423.12 cores=0-7
/proc/20914/task/20940/stat : 20940 (java) R 20912 20912 17650 0 -1 4202560 66394 0 0 0 242276 36 0 0 20 0 28 0 446639134 29458776064 220167 33554432000 4194304 4196468 140724472182912 140517558362488 140518065485579 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20941] ppid=20912 vsize=28768336 memory=879648 CPUtime=2426.88 cores=0-7
/proc/20914/task/20941/stat : 20941 (java) R 20912 20912 17650 0 -1 4202560 155053 0 0 0 242615 73 0 0 20 0 28 0 446639134 29458776064 220167 33554432000 4194304 4196468 140724472182912 140517557308384 140518067359386 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
Current children cumulated CPU time: 19626.5 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 882124 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520.01 s]*
/proc/loadavg: 8.12 8.01 8.07 9/219 21128
/proc/meminfo: memFree=28524748/32770688 swapFree=66919992/67108860
[pid=20912] ppid=20909 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20912/stat : 20912 (xcsp3-exec) S 20909 20912 17650 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446639057 115843072 364 33554432000 4194304 5098028 140737376696816 140737376694920 139716515205756 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29958144 140737376699254 140737376699497 140737376699497 140737376702410 0
/proc/20912/statm: 28282 364 305 221 0 87 0
[pid=20914] ppid=20912 vsize=28768336 memory=880684 CPUtime=19765.4 cores=0-7
/proc/20914/stat : 20914 (java) S 20912 20912 17650 0 -1 1077944320 1643661 0 0 0 1972381 4158 0 0 20 0 28 0 446639058 29458776064 220171 33554432000 4194304 4196468 140724472182912 140724472165456 140518467907319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
/proc/20914/statm: 7192084 220171 3543 1 0 7153184 0
[pid=20914/tid=20915] ppid=20912 vsize=28768336 memory=1398722017469774279 CPUtime=0.73 cores=0-7
/proc/20914/task/20915/stat : 20915 (java) S 20912 20912 17650 0 -1 1077944384 9395 0 0 0 70 3 0 0 20 0 28 0 446639058 29458776064 220171 33554432000 4194304 4196468 140724472182912 140518472148096 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20916] ppid=20912 vsize=28768336 memory=4872558044660077418 CPUtime=13.81 cores=0-7
/proc/20914/task/20916/stat : 20916 (java) S 20912 20912 17650 0 -1 1077944384 60708 0 0 0 1306 75 0 0 20 0 28 0 446639059 29458776064 220171 33554432000 4194304 4196468 140724472182912 140518387760016 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20917] ppid=20912 vsize=28768336 memory=4156 CPUtime=13.71 cores=0-7
/proc/20914/task/20917/stat : 20917 (java) S 20912 20912 17650 0 -1 1077944384 56801 0 0 0 1298 73 0 0 20 0 28 0 446639059 29458776064 220171 33554432000 4194304 4196468 140724472182912 140518386707216 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20918] ppid=20912 vsize=28768336 memory=1056 CPUtime=13.75 cores=0-7
/proc/20914/task/20918/stat : 20918 (java) S 20912 20912 17650 0 -1 1077944384 50076 0 0 0 1301 74 0 0 20 0 28 0 446639059 29458776064 220171 33554432000 4194304 4196468 140724472182912 140518385654928 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20919] ppid=20912 vsize=28768336 memory=2828 CPUtime=13.71 cores=0-7
/proc/20914/task/20919/stat : 20919 (java) S 20912 20912 17650 0 -1 1077944384 54509 0 0 0 1301 70 0 0 20 0 28 0 446639059 29458776064 220171 33554432000 4194304 4196468 140724472182912 140518384602128 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20920] ppid=20912 vsize=28768336 memory=1764 CPUtime=13.77 cores=0-7
/proc/20914/task/20920/stat : 20920 (java) S 20912 20912 17650 0 -1 1077944384 56185 0 0 0 1300 77 0 0 20 0 28 0 446639059 29458776064 220171 33554432000 4194304 4196468 140724472182912 140518383548816 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20921] ppid=20912 vsize=28768336 memory=111632 CPUtime=13.75 cores=0-7
/proc/20914/task/20921/stat : 20921 (java) S 20912 20912 17650 0 -1 1077944384 58840 0 0 0 1303 72 0 0 20 0 28 0 446639059 29458776064 220171 33554432000 4194304 4196468 140724472182912 140518382496016 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20922] ppid=20912 vsize=28768336 memory=800 CPUtime=13.75 cores=0-7
/proc/20914/task/20922/stat : 20922 (java) S 20912 20912 17650 0 -1 1077944384 56020 0 0 0 1303 72 0 0 20 0 28 0 446639059 29458776064 220171 33554432000 4194304 4196468 140724472182912 140518381443728 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20923] ppid=20912 vsize=28768336 memory=1804 CPUtime=13.78 cores=0-7
/proc/20914/task/20923/stat : 20923 (java) S 20912 20912 17650 0 -1 1077944384 57242 0 0 0 1306 72 0 0 20 0 28 0 446639059 29458776064 220171 33554432000 4194304 4196468 140724472182912 140518380390928 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20924] ppid=20912 vsize=28768336 memory=920 CPUtime=52.68 cores=0-7
/proc/20914/task/20924/stat : 20924 (java) S 20912 20912 17650 0 -1 1077944384 199664 0 0 0 2127 3141 0 0 20 0 28 0 446639060 29458776064 220171 33554432000 4194304 4196468 140724472182912 140517718461040 140518467918466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 39 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20925] ppid=20912 vsize=28768336 memory=4140 CPUtime=0 cores=0-7
/proc/20914/task/20925/stat : 20925 (java) S 20912 20912 17650 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 446639061 29458776064 220171 33554432000 4194304 4196468 140724472182912 140517717407072 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20926] ppid=20912 vsize=28768336 memory=4100 CPUtime=0 cores=0-7
/proc/20914/task/20926/stat : 20926 (java) S 20912 20912 17650 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 446639061 29458776064 220171 33554432000 4194304 4196468 140724472182912 140517716354688 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20927] ppid=20912 vsize=28768336 memory=3624 CPUtime=0 cores=0-7
/proc/20914/task/20927/stat : 20927 (java) S 20912 20912 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446639064 29458776064 220171 33554432000 4194304 4196468 140724472182912 140517715302992 140518467925915 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20928] ppid=20912 vsize=28768336 memory=56320 CPUtime=2.83 cores=0-7
/proc/20914/task/20928/stat : 20928 (java) S 20912 20912 17650 0 -1 1077944384 16361 0 0 0 279 4 0 0 20 0 28 0 446639064 29458776064 220171 33554432000 4194304 4196468 140724472182912 140517714249840 140518467918466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20929] ppid=20912 vsize=28768336 memory=984 CPUtime=3.07 cores=0-7
/proc/20914/task/20929/stat : 20929 (java) S 20912 20912 17650 0 -1 1077944384 18215 0 0 0 302 5 0 0 20 0 28 0 446639064 29458776064 220171 33554432000 4194304 4196468 140724472182912 140517713197040 140518467918466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20930] ppid=20912 vsize=28768336 memory=2020 CPUtime=2.98 cores=0-7
/proc/20914/task/20930/stat : 20930 (java) S 20912 20912 17650 0 -1 1077944384 11842 0 0 0 296 2 0 0 20 0 28 0 446639064 29458776064 220171 33554432000 4194304 4196468 140724472182912 140517712144752 140518467918466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20931] ppid=20912 vsize=28768336 memory=1428 CPUtime=0.86 cores=0-7
/proc/20914/task/20931/stat : 20931 (java) S 20912 20912 17650 0 -1 1077944384 11324 0 0 0 84 2 0 0 20 0 28 0 446639064 29458776064 220171 33554432000 4194304 4196468 140724472182912 140517711091952 140518467918466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20932] ppid=20912 vsize=28768336 memory=4156 CPUtime=0 cores=0-7
/proc/20914/task/20932/stat : 20932 (java) S 20912 20912 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446639064 29458776064 220171 33554432000 4194304 4196468 140724472182912 140517710039904 140518467917525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20933] ppid=20912 vsize=28768336 memory=1056 CPUtime=0.84 cores=0-7
/proc/20914/task/20933/stat : 20933 (java) S 20912 20912 17650 0 -1 1077944384 6501 0 0 0 28 56 0 0 20 0 28 0 446639064 29458776064 220171 33554432000 4194304 4196468 140724472182912 140517708987184 140518467918466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20934] ppid=20912 vsize=28768336 memory=2828 CPUtime=2442.24 cores=0-7
/proc/20914/task/20934/stat : 20934 (java) R 20912 20912 17650 0 -1 4202560 102447 0 0 0 244172 52 0 0 20 0 28 0 446639134 29458776064 220171 33554432000 4194304 4196468 140724472182912 140517564673792 140518068410919 0 4 0 16800975 0 0 0 -1 4 0 0 22 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20935] ppid=20912 vsize=28768336 memory=1176 CPUtime=2440.29 cores=0-7
/proc/20914/task/20935/stat : 20935 (java) R 20912 20912 17650 0 -1 4202560 78672 0 0 0 243983 46 0 0 20 0 28 0 446639134 29458776064 220171 33554432000 4194304 4196468 140724472182912 140517563622360 140518066444996 0 4 0 16800975 0 0 0 -1 7 0 0 18 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20936] ppid=20912 vsize=28768336 memory=980 CPUtime=2479.97 cores=0-7
/proc/20914/task/20936/stat : 20936 (java) R 20912 20912 17650 0 -1 4202560 19857 0 0 0 247979 18 0 0 20 0 28 0 446639134 29458776064 220171 33554432000 4194304 4196468 140724472182912 140517562568536 140518067359794 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20937] ppid=20912 vsize=28768336 memory=14008 CPUtime=2469.11 cores=0-7
/proc/20914/task/20937/stat : 20937 (java) R 20912 20912 17650 0 -1 4202560 33582 0 0 0 246887 24 0 0 20 0 28 0 446639134 29458776064 220171 33554432000 4194304 4196468 140724472182912 140517561515488 140518067359836 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20938] ppid=20912 vsize=28768336 memory=12028 CPUtime=2436.98 cores=0-7
/proc/20914/task/20938/stat : 20938 (java) R 20912 20912 17650 0 -1 4202560 240635 0 0 0 243602 96 0 0 20 0 28 0 446639134 29458776064 220171 33554432000 4194304 4196468 140724472182912 140517560463712 140518060299111 0 4 0 16800975 0 0 0 -1 3 0 0 21 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20939] ppid=20912 vsize=28768336 memory=29772 CPUtime=2438.18 cores=0-7
/proc/20914/task/20939/stat : 20939 (java) R 20912 20912 17650 0 -1 4202560 221857 0 0 0 243727 91 0 0 20 0 28 0 446639134 29458776064 220171 33554432000 4194304 4196468 140724472182912 140517559413328 140518068411476 0 4 0 16800975 0 0 0 -1 5 0 0 21 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20940] ppid=20912 vsize=28768336 memory=2120 CPUtime=2440.22 cores=0-7
/proc/20914/task/20940/stat : 20940 (java) R 20912 20912 17650 0 -1 4202560 66481 0 0 0 243986 36 0 0 20 0 28 0 446639134 29458776064 220171 33554432000 4194304 4196468 140724472182912 140517558358160 140518066504735 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
[pid=20914/tid=20941] ppid=20912 vsize=28768336 memory=496 CPUtime=2444.14 cores=0-7
/proc/20914/task/20941/stat : 20941 (java) R 20912 20912 17650 0 -1 4202560 155074 0 0 0 244341 73 0 0 20 0 28 0 446639134 29458776064 220171 33554432000 4194304 4196468 140724472182912 140517557305424 140518067359794 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 6293624 6294260 17592320 140724472189930 140724472190102 140724472190102 140724472192975 0
Current children cumulated CPU time: 19765.4 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 882140 KiB

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

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

[startup+2520.14 s]
# the end of solver process 20914 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19724.5 s, system=41.6127 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.14
CPU time (s): 19766.1
CPU user time (s): 19724.5
CPU system time (s): 41.6127
CPU usage (%): 784.326
Max. virtual memory (cumulated for all children) (KiB): 28885076
Max. memory (cumulated for all children) (KiB): 1326824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19724.5
system time used= 41.6127
maximum resident set size= 1331744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1644642
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 202805
involuntary context switches= 251088


# summary of solver processes directly reported to runsolver:
#   pid: 20912,20914
#   total CPU time (s): 19766.1
#   total CPU user time (s): 19724.5
#   total CPU system time (s): 41.6127

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.8718 second user time and 32.3842 second system time

The end

Launcher Data 

Begin job on node120 at 2011-12-18 16:05:50
IDJOB=4399498
IDBENCH=127846
IDSOLVER=2854
FILE ID=node120/4399498-1568706328
RUNJOBID= node120-1324215096-17677
PBS_JOBID= 21703900
Free space on /tmp= 61628 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-203.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399498-1568706328/watcher-4399498-1568706328 -o /tmp/evaluation-result-4399498-1568706328/solver-4399498-1568706328 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324215096-17677 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 497990232 HOME/instance-4399498-1568706328.xml

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

MD5SUM BENCH= ce251f4c9ae0df3aa97e9296eb89cd68
RANDOM SEED=497990232

node120.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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        29396532 kB
MemAvailable:   31808164 kB
Buffers:          187392 kB
Cached:          2508988 kB
SwapCached:        77548 kB
Active:          1484020 kB
Inactive:        1294200 kB
Active(anon):       3976 kB
Inactive(anon):   127072 kB
Active(file):    1480044 kB
Inactive(file):  1167128 kB
Unevictable:      107748 kB
Mlocked:          107748 kB
SwapTotal:      67108860 kB
SwapFree:       66919992 kB
Dirty:             26212 kB
Writeback:             0 kB
AnonPages:        137440 kB
Mapped:            53516 kB
Shmem:             41008 kB
Slab:             190792 kB
SReclaimable:     160588 kB
SUnreclaim:        30204 kB
KernelStack:        3728 kB
PageTables:         5324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     514564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     92160 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      146880 kB
DirectMap2M:    33398784 kB

Free space on /tmp at the end= 61604 MiB
End job on node120 at 2011-12-18 16:47:50