Trace number 4281262

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)? (TO) 1974.74 252.146

General information on the benchmark

NameBinPacking/BinPacking-sum-s28/
BinPacking-sum-s28-561.xml
MD5SUM0151e8a579557b2b9e30bd86d2d74102
Bench CategoryCOP (optimization 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 variables1901
Number of constraints203
Number of domains2
Minimum domain size101
Maximum domain size178
Distribution of domain sizes[{"size":101,"count":1},{"size":178,"count":1900}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":1},{"degree":4,"count":1800},{"degree":5,"count":100}]
Minimum constraint arity19
Maximum constraint arity1900
Distribution of constraint arities[{"arity":19,"count":200},{"arity":101,"count":1},{"arity":1900,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":100},{"type":"lex","count":1},{"type":"sum","count":100},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281262-1503188322.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4281262-1503188322.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
1.87/0.77	c solve instance...
1973.95/252.08	s UNKNOWN
1973.95/252.08	c Unexpected resolution interruption!

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281262-1503188322/watcher-4281262-1503188322 -o /tmp/evaluation-result-4281262-1503188322/solver-4281262-1503188322 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503176127-19634 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 478417268 HOME/instance-4281262-1503188322.xml 

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

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


[startup+0.100135 s]*
/proc/loadavg: 8.73 8.23 7.70 2/200 23906
/proc/meminfo: memFree=27319320/32770624 swapFree=67108860/67108860
[pid=23885] ppid=23882 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23885/stat : 23885 (xcsp3-exec) S 23882 23885 19607 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151919826 9740288 346 33554432000 4194304 5098028 140733870233504 140733870231608 140082504757884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14610432 140733870240875 140733870241084 140733870241084 140733870243819 0
/proc/23885/statm: 2378 346 289 221 0 87 0
[pid=23887] ppid=23885 vsize=25999808 memory=26872 CPUtime=0.11 cores=0-7
/proc/23887/stat : 23887 (java) S 23885 23885 19607 0 -1 1077944320 5578 0 0 0 10 1 0 0 20 0 20 0 151919826 26623803392 6718 33554432000 4194304 4196468 140725071279392 140725071261936 140239310749431 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
/proc/23887/statm: 6499952 6718 2878 1 0 6488269 0
[pid=23887/tid=23888] ppid=23885 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/23887/task/23888/stat : 23888 (java) R 23885 23885 19607 0 -1 4202560 3595 0 0 0 8 1 0 0 20 0 20 0 151919826 26623803392 6718 33554432000 4194304 4196468 140725071279392 140239314982704 140239310761366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23889] ppid=23885 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23887/task/23889/stat : 23889 (java) S 23885 23885 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151919827 26623803392 6718 33554432000 4194304 4196468 140725071279392 140239273855248 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23890] ppid=23885 vsize=25999808 memory=139964373358208 CPUtime=0 cores=0-7
/proc/23887/task/23890/stat : 23890 (java) S 23885 23885 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151919827 26623803392 6718 33554432000 4194304 4196468 140725071279392 140238867790224 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23891] ppid=23885 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23887/task/23891/stat : 23891 (java) S 23885 23885 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151919827 26623803392 6718 33554432000 4194304 4196468 140725071279392 140238866737680 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23892] ppid=23885 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23887/task/23892/stat : 23892 (java) S 23885 23885 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151919827 26623803392 6718 33554432000 4194304 4196468 140725071279392 140238865685136 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23893] ppid=23885 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23887/task/23893/stat : 23893 (java) S 23885 23885 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151919827 26623803392 6718 33554432000 4194304 4196468 140725071279392 140238864632592 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23894] ppid=23885 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/23887/task/23894/stat : 23894 (java) S 23885 23885 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151919827 26623803392 6718 33554432000 4194304 4196468 140725071279392 140238863580048 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23895] ppid=23885 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23887/task/23895/stat : 23895 (java) S 23885 23885 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151919827 26623803392 6718 33554432000 4194304 4196468 140725071279392 140238862527504 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23896] ppid=23885 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23887/task/23896/stat : 23896 (java) S 23885 23885 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151919827 26623803392 6718 33554432000 4194304 4196468 140725071279392 140238861474960 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23897] ppid=23885 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23887/task/23897/stat : 23897 (java) S 23885 23885 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151919829 26623803392 6718 33554432000 4194304 4196468 140725071279392 140238438143984 140239310760578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23898] ppid=23885 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23887/task/23898/stat : 23898 (java) S 23885 23885 19607 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151919829 26623803392 6718 33554432000 4194304 4196468 140725071279392 140238437090208 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23899] ppid=23885 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23887/task/23899/stat : 23899 (java) S 23885 23885 19607 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151919829 26623803392 6718 33554432000 4194304 4196468 140725071279392 140238436037616 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23900] ppid=23885 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23887/task/23900/stat : 23900 (java) S 23885 23885 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151919832 26623803392 6718 33554432000 4194304 4196468 140725071279392 140238434986192 140239310768027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23901] ppid=23885 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23887/task/23901/stat : 23901 (java) S 23885 23885 19607 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 20 0 151919832 26623803392 6718 33554432000 4194304 4196468 140725071279392 140238433933808 140239310760578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23902] ppid=23885 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23887/task/23902/stat : 23902 (java) S 23885 23885 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151919832 26623803392 6718 33554432000 4194304 4196468 140725071279392 140238432881264 140239310760578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23903] ppid=23885 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23887/task/23903/stat : 23903 (java) S 23885 23885 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151919832 26623803392 6718 33554432000 4194304 4196468 140725071279392 140238431828720 140239310760578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23904] ppid=23885 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/23887/task/23904/stat : 23904 (java) S 23885 23885 19607 0 -1 1077944384 247 0 0 0 1 0 0 0 20 0 20 0 151919832 26623803392 6718 33554432000 4194304 4196468 140725071279392 140238430776176 140239310760578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23905] ppid=23885 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23887/task/23905/stat : 23905 (java) S 23885 23885 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151919832 26623803392 6718 33554432000 4194304 4196468 140725071279392 140238429722848 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23906] ppid=23885 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/23887/task/23906/stat : 23906 (java) S 23885 23885 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151919832 26623803392 6718 33554432000 4194304 4196468 140725071279392 140238428670384 140239310760578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28256 KiB

[startup+0.210368 s]*
/proc/loadavg: 8.73 8.23 7.70 3/200 23906
/proc/meminfo: memFree=27307892/32770624 swapFree=67108860/67108860
[pid=23885] ppid=23882 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23885/stat : 23885 (xcsp3-exec) S 23882 23885 19607 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151919826 9740288 346 33554432000 4194304 5098028 140733870233504 140733870231608 140082504757884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14610432 140733870240875 140733870241084 140733870241084 140733870243819 0
/proc/23885/statm: 2378 346 289 221 0 87 0
[pid=23887] ppid=23885 vsize=26004064 memory=39096 CPUtime=0.33 cores=0-7
/proc/23887/stat : 23887 (java) S 23885 23885 19607 0 -1 1077944320 8393 0 0 0 31 2 0 0 20 0 20 0 151919826 26628161536 9774 33554432000 4194304 4196468 140725071279392 140725071261936 140239310749431 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
/proc/23887/statm: 6501016 9774 3060 1 0 6488269 0
[pid=23887/tid=23888] ppid=23885 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/23887/task/23888/stat : 23888 (java) R 23885 23885 19607 0 -1 4202560 5456 0 0 0 18 1 0 0 20 0 20 0 151919826 26628161536 9774 33554432000 4194304 4196468 140725071279392 140239314970424 140239310771357 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23889] ppid=23885 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/23887/task/23889/stat : 23889 (java) S 23885 23885 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151919827 26628161536 9774 33554432000 4194304 4196468 140725071279392 140239273855248 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23890] ppid=23885 vsize=26004064 memory=288370340525069952 CPUtime=0 cores=0-7
/proc/23887/task/23890/stat : 23890 (java) S 23885 23885 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151919827 26628161536 9774 33554432000 4194304 4196468 140725071279392 140238867790224 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23891] ppid=23885 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23887/task/23891/stat : 23891 (java) S 23885 23885 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151919827 26628161536 9774 33554432000 4194304 4196468 140725071279392 140238866737680 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23892] ppid=23885 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23887/task/23892/stat : 23892 (java) S 23885 23885 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151919827 26628161536 9774 33554432000 4194304 4196468 140725071279392 140238865685136 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23893] ppid=23885 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23887/task/23893/stat : 23893 (java) S 23885 23885 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151919827 26628161536 9774 33554432000 4194304 4196468 140725071279392 140238864632592 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23894] ppid=23885 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23887/task/23894/stat : 23894 (java) S 23885 23885 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151919827 26628161536 9774 33554432000 4194304 4196468 140725071279392 140238863580048 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23895] ppid=23885 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23887/task/23895/stat : 23895 (java) S 23885 23885 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151919827 26628161536 9774 33554432000 4194304 4196468 140725071279392 140238862527504 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23896] ppid=23885 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23887/task/23896/stat : 23896 (java) S 23885 23885 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151919827 26628161536 9774 33554432000 4194304 4196468 140725071279392 140238861474960 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23897] ppid=23885 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23887/task/23897/stat : 23897 (java) S 23885 23885 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151919829 26628161536 9774 33554432000 4194304 4196468 140725071279392 140238438143984 140239310760578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23898] ppid=23885 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23887/task/23898/stat : 23898 (java) S 23885 23885 19607 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151919829 26628161536 9774 33554432000 4194304 4196468 140725071279392 140238437090208 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23899] ppid=23885 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23887/task/23899/stat : 23899 (java) S 23885 23885 19607 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151919829 26628161536 9774 33554432000 4194304 4196468 140725071279392 140238436037616 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23900] ppid=23885 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23887/task/23900/stat : 23900 (java) S 23885 23885 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151919832 26628161536 9774 33554432000 4194304 4196468 140725071279392 140238434986192 140239310768027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23901] ppid=23885 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/23887/task/23901/stat : 23901 (java) S 23885 23885 19607 0 -1 1077944384 554 0 0 0 1 0 0 0 20 0 20 0 151919832 26628161536 9774 33554432000 4194304 4196468 140725071279392 140238433933808 140239310760578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23902] ppid=23885 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/23887/task/23902/stat : 23902 (java) S 23885 23885 19607 0 -1 1077944384 246 0 0 0 1 0 0 0 20 0 20 0 151919832 26628161536 9774 33554432000 4194304 4196468 140725071279392 140238432881264 140239310760578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23903] ppid=23885 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/23887/task/23903/stat : 23903 (java) S 23885 23885 19607 0 -1 1077944384 105 0 0 0 1 0 0 0 20 0 20 0 151919832 26628161536 9774 33554432000 4194304 4196468 140725071279392 140238431828720 140239310760578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23904] ppid=23885 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/23887/task/23904/stat : 23904 (java) R 23885 23885 19607 0 -1 1077944384 721 0 0 0 7 0 0 0 20 0 20 0 151919832 26628161536 9774 33554432000 4194304 4196468 140725071279392 140238430776176 140239310760578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23905] ppid=23885 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23887/task/23905/stat : 23905 (java) S 23885 23885 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151919832 26628161536 9774 33554432000 4194304 4196468 140725071279392 140238429722848 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23906] ppid=23885 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23887/task/23906/stat : 23906 (java) S 23885 23885 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151919832 26628161536 9774 33554432000 4194304 4196468 140725071279392 140238428670384 140239310760578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40480 KiB

[startup+0.310253 s]*
/proc/loadavg: 8.73 8.23 7.70 3/200 23906
/proc/meminfo: memFree=27303116/32770624 swapFree=67108860/67108860
[pid=23885] ppid=23882 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23885/stat : 23885 (xcsp3-exec) S 23882 23885 19607 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151919826 9740288 346 33554432000 4194304 5098028 140733870233504 140733870231608 140082504757884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14610432 140733870240875 140733870241084 140733870241084 140733870243819 0
/proc/23885/statm: 2378 346 289 221 0 87 0
[pid=23887] ppid=23885 vsize=26004064 memory=46056 CPUtime=0.51 cores=0-7
/proc/23887/stat : 23887 (java) S 23885 23885 19607 0 -1 1077944320 9267 0 0 0 48 3 0 0 20 0 20 0 151919826 26628161536 11514 33554432000 4194304 4196468 140725071279392 140725071261936 140239310749431 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
/proc/23887/statm: 6501016 11514 3094 1 0 6488269 0
[pid=23887/tid=23888] ppid=23885 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/23887/task/23888/stat : 23888 (java) R 23885 23885 19607 0 -1 4202560 6148 0 0 0 27 2 0 0 20 0 20 0 151919826 26628161536 11514 33554432000 4194304 4196468 140725071279392 140239314987856 140239310771357 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23889] ppid=23885 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23887/task/23889/stat : 23889 (java) S 23885 23885 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151919827 26628161536 11514 33554432000 4194304 4196468 140725071279392 140239273855248 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23890] ppid=23885 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23887/task/23890/stat : 23890 (java) S 23885 23885 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151919827 26628161536 11514 33554432000 4194304 4196468 140725071279392 140238867790224 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23891] ppid=23885 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23887/task/23891/stat : 23891 (java) S 23885 23885 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151919827 26628161536 11514 33554432000 4194304 4196468 140725071279392 140238866737680 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23892] ppid=23885 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23887/task/23892/stat : 23892 (java) S 23885 23885 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151919827 26628161536 11514 33554432000 4194304 4196468 140725071279392 140238865685136 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23893] ppid=23885 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/23887/task/23893/stat : 23893 (java) S 23885 23885 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151919827 26628161536 11514 33554432000 4194304 4196468 140725071279392 140238864632592 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23894] ppid=23885 vsize=26004064 memory=139964260119471 CPUtime=0 cores=0-7
/proc/23887/task/23894/stat : 23894 (java) S 23885 23885 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151919827 26628161536 11514 33554432000 4194304 4196468 140725071279392 140238863580048 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23895] ppid=23885 vsize=26004064 memory=139964260121776 CPUtime=0 cores=0-7
/proc/23887/task/23895/stat : 23895 (java) S 23885 23885 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151919827 26628161536 11514 33554432000 4194304 4196468 140725071279392 140238862527504 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23896] ppid=23885 vsize=26004064 memory=139964260124080 CPUtime=0 cores=0-7
/proc/23887/task/23896/stat : 23896 (java) S 23885 23885 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151919827 26628161536 11514 33554432000 4194304 4196468 140725071279392 140238861474960 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23897] ppid=23885 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23887/task/23897/stat : 23897 (java) S 23885 23885 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151919829 26628161536 11514 33554432000 4194304 4196468 140725071279392 140238438143984 140239310760578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23898] ppid=23885 vsize=26004064 memory=279928520255120 CPUtime=0 cores=0-7
/proc/23887/task/23898/stat : 23898 (java) S 23885 23885 19607 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151919829 26628161536 11514 33554432000 4194304 4196468 140725071279392 140238437090208 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23899] ppid=23885 vsize=26004064 memory=279928520262032 CPUtime=0 cores=0-7
/proc/23887/task/23899/stat : 23899 (java) S 23885 23885 19607 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151919829 26628161536 11514 33554432000 4194304 4196468 140725071279392 140238436037616 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23900] ppid=23885 vsize=26004064 memory=279928520203312 CPUtime=0 cores=0-7
/proc/23887/task/23900/stat : 23900 (java) S 23885 23885 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151919832 26628161536 11514 33554432000 4194304 4196468 140725071279392 140238434986192 140239310768027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23901] ppid=23885 vsize=26004064 memory=279928520275856 CPUtime=0.01 cores=0-7
/proc/23887/task/23901/stat : 23901 (java) S 23885 23885 19607 0 -1 1077944384 556 0 0 0 1 0 0 0 20 0 20 0 151919832 26628161536 11514 33554432000 4194304 4196468 140725071279392 140238433933808 140239310760578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23902] ppid=23885 vsize=26004064 memory=279928520282768 CPUtime=0.02 cores=0-7
/proc/23887/task/23902/stat : 23902 (java) S 23885 23885 19607 0 -1 1077944384 248 0 0 0 2 0 0 0 20 0 20 0 151919832 26628161536 11514 33554432000 4194304 4196468 140725071279392 140238432881264 140239310760578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23903] ppid=23885 vsize=26004064 memory=279928520280464 CPUtime=0.03 cores=0-7
/proc/23887/task/23903/stat : 23903 (java) S 23885 23885 19607 0 -1 1077944384 182 0 0 0 3 0 0 0 20 0 20 0 151919832 26628161536 11514 33554432000 4194304 4196468 140725071279392 140238431828720 140239310760578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23904] ppid=23885 vsize=26004064 memory=279928520296624 CPUtime=0.12 cores=0-7
/proc/23887/task/23904/stat : 23904 (java) R 23885 23885 19607 0 -1 4202560 825 0 0 0 12 0 0 0 20 0 20 0 151919832 26628161536 11514 33554432000 4194304 4196468 140725071279392 140238430772544 140239289717025 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23905] ppid=23885 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23887/task/23905/stat : 23905 (java) S 23885 23885 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151919832 26628161536 11514 33554432000 4194304 4196468 140725071279392 140238429722848 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23906] ppid=23885 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23887/task/23906/stat : 23906 (java) S 23885 23885 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151919832 26628161536 11514 33554432000 4194304 4196468 140725071279392 140238428670384 140239310760578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47440 KiB

[startup+0.701017 s]
/proc/loadavg: 8.73 8.23 7.70 3/200 23906
/proc/meminfo: memFree=27286700/32770624 swapFree=67108860/67108860
[pid=23885] ppid=23882 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23885/stat : 23885 (xcsp3-exec) S 23882 23885 19607 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151919826 9740288 346 33554432000 4194304 5098028 140733870233504 140733870231608 140082504757884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14610432 140733870240875 140733870241084 140733870241084 140733870243819 0
/proc/23885/statm: 2378 346 289 221 0 87 0
[pid=23887] ppid=23885 vsize=26006188 memory=109180 CPUtime=1.87 cores=0-7
/proc/23887/stat : 23887 (java) S 23885 23885 19607 0 -1 1077944320 13368 0 0 0 182 5 0 0 20 0 20 0 151919826 26630336512 27295 33554432000 4194304 4196468 140725071279392 140725071261936 140239310749431 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
/proc/23887/statm: 6501547 27295 3218 1 0 6488781 0
[pid=23887/tid=23888] ppid=23885 vsize=26006188 memory=279928520654512 CPUtime=0.67 cores=0-7
/proc/23887/task/23888/stat : 23888 (java) R 23885 23885 19607 0 -1 4202560 6827 0 0 0 64 3 0 0 20 0 20 0 151919826 26630336512 27295 33554432000 4194304 4196468 140725071279392 140239314987232 140238951371968 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23889] ppid=23885 vsize=26006188 memory=139964260328304 CPUtime=0 cores=0-7
/proc/23887/task/23889/stat : 23889 (java) S 23885 23885 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151919827 26630336512 27295 33554432000 4194304 4196468 140725071279392 140239273855248 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23890] ppid=23885 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/23887/task/23890/stat : 23890 (java) S 23885 23885 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151919827 26630336512 27295 33554432000 4194304 4196468 140725071279392 140238867790224 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23891] ppid=23885 vsize=26006188 memory=4620 CPUtime=0 cores=0-7
/proc/23887/task/23891/stat : 23891 (java) S 23885 23885 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151919827 26630336512 27295 33554432000 4194304 4196468 140725071279392 140238866737680 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0

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

/proc/meminfo: memFree=24942368/32770624 swapFree=67108860/67108860
[pid=23885] ppid=23882 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23885/stat : 23885 (xcsp3-exec) S 23882 23885 19607 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151919826 9740288 346 33554432000 4194304 5098028 140733870233504 140733870231608 140082504757884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14610432 140733870240875 140733870241084 140733870241084 140733870243819 0
/proc/23885/statm: 2378 346 289 221 0 87 0
[pid=23887] ppid=23885 vsize=26538700 memory=2404772 CPUtime=1736.9 cores=0-7
/proc/23887/stat : 23887 (java) S 23885 23885 19607 0 -1 1077944320 116035 0 0 0 173556 134 0 0 20 0 28 0 151919826 27175628800 601193 33554432000 4194304 4196468 140725071279392 140725071261936 140239310749431 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
/proc/23887/statm: 6634675 601193 3299 1 0 6621909 0
[pid=23887/tid=23888] ppid=23885 vsize=26538700 memory=2242620 CPUtime=0.75 cores=0-7
/proc/23887/task/23888/stat : 23888 (java) S 23885 23885 19607 0 -1 1077944384 6906 0 0 0 72 3 0 0 20 0 28 0 151919826 27175628800 601193 33554432000 4194304 4196468 140725071279392 140239314990208 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23889] ppid=23885 vsize=26538700 memory=2242620 CPUtime=1.42 cores=0-7
/proc/23887/task/23889/stat : 23889 (java) S 23885 23885 19607 0 -1 1077944384 1393 0 0 0 131 11 0 0 20 0 28 0 151919827 27175628800 601193 33554432000 4194304 4196468 140725071279392 140239273855248 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23890] ppid=23885 vsize=26538700 memory=2404772 CPUtime=1.42 cores=0-7
/proc/23887/task/23890/stat : 23890 (java) S 23885 23885 19607 0 -1 1077944384 1792 0 0 0 131 11 0 0 20 0 28 0 151919827 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238867790224 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23891] ppid=23885 vsize=26538700 memory=2404772 CPUtime=1.42 cores=0-7
/proc/23887/task/23891/stat : 23891 (java) S 23885 23885 19607 0 -1 1077944384 1604 0 0 0 135 7 0 0 20 0 28 0 151919827 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238866737680 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23892] ppid=23885 vsize=26538700 memory=1384 CPUtime=1.43 cores=0-7
/proc/23887/task/23892/stat : 23892 (java) S 23885 23885 19607 0 -1 1077944384 1841 0 0 0 133 10 0 0 20 0 28 0 151919827 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238865685136 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23893] ppid=23885 vsize=26538700 memory=0 CPUtime=1.4 cores=0-7
/proc/23887/task/23893/stat : 23893 (java) S 23885 23885 19607 0 -1 1077944384 1883 0 0 0 131 9 0 0 20 0 28 0 151919827 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238864632592 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23894] ppid=23885 vsize=26538700 memory=481 CPUtime=1.42 cores=0-7
/proc/23887/task/23894/stat : 23894 (java) S 23885 23885 19607 0 -1 1077944384 2322 0 0 0 133 9 0 0 20 0 28 0 151919827 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238863580048 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23895] ppid=23885 vsize=26538700 memory=4140 CPUtime=1.41 cores=0-7
/proc/23887/task/23895/stat : 23895 (java) S 23885 23885 19607 0 -1 1077944384 2078 0 0 0 129 12 0 0 20 0 28 0 151919827 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238862527504 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23896] ppid=23885 vsize=26538700 memory=0 CPUtime=1.42 cores=0-7
/proc/23887/task/23896/stat : 23896 (java) S 23885 23885 19607 0 -1 1077944384 2710 0 0 0 132 10 0 0 20 0 28 0 151919827 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238861474960 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23897] ppid=23885 vsize=26538700 memory=2242620 CPUtime=4.56 cores=0-7
/proc/23887/task/23897/stat : 23897 (java) S 23885 23885 19607 0 -1 1077944384 15637 0 0 0 452 4 0 0 20 0 28 0 151919829 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238438143984 140239310760578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23898] ppid=23885 vsize=26538700 memory=279924359525640 CPUtime=0 cores=0-7
/proc/23887/task/23898/stat : 23898 (java) S 23885 23885 19607 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 151919829 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238437090272 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23899] ppid=23885 vsize=26538700 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/23887/task/23899/stat : 23899 (java) S 23885 23885 19607 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 151919829 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238436037632 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23900] ppid=23885 vsize=26538700 memory=2404772 CPUtime=0 cores=0-7
/proc/23887/task/23900/stat : 23900 (java) S 23885 23885 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151919832 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238434986192 140239310768027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23901] ppid=23885 vsize=26538700 memory=4140 CPUtime=2.11 cores=0-7
/proc/23887/task/23901/stat : 23901 (java) S 23885 23885 19607 0 -1 1077944384 12251 0 0 0 209 2 0 0 20 0 28 0 151919832 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238433933808 140239310760578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23902] ppid=23885 vsize=26538700 memory=1384 CPUtime=1.95 cores=0-7
/proc/23887/task/23902/stat : 23902 (java) S 23885 23885 19607 0 -1 1077944384 16306 0 0 0 193 2 0 0 20 0 28 0 151919832 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238432881264 140239310760578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23903] ppid=23885 vsize=26538700 memory=2242620 CPUtime=1.93 cores=0-7
/proc/23887/task/23903/stat : 23903 (java) S 23885 23885 19607 0 -1 1077944384 18857 0 0 0 190 3 0 0 20 0 28 0 151919832 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238431828720 140239310760578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23904] ppid=23885 vsize=26538700 memory=2242620 CPUtime=0.7 cores=0-7
/proc/23887/task/23904/stat : 23904 (java) S 23885 23885 19607 0 -1 1077944384 9232 0 0 0 68 2 0 0 20 0 28 0 151919832 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238430776176 140239310760578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23905] ppid=23885 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/23887/task/23905/stat : 23905 (java) S 23885 23885 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151919832 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238429722848 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23906] ppid=23885 vsize=26538700 memory=7811020035264833645 CPUtime=0.08 cores=0-7
/proc/23887/task/23906/stat : 23906 (java) S 23885 23885 19607 0 -1 1077944384 1393 0 0 0 4 4 0 0 20 0 28 0 151919832 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238428670384 140239310760578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23907] ppid=23885 vsize=26538700 memory=7955721314309269862 CPUtime=213.75 cores=0-7
/proc/23887/task/23907/stat : 23907 (java) R 23885 23885 19607 0 -1 4202560 2304 0 0 0 21371 4 0 0 20 0 28 0 151919904 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238420661568 140238952759239 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23908] ppid=23885 vsize=26538700 memory=0 CPUtime=214.73 cores=0-7
/proc/23887/task/23908/stat : 23908 (java) R 23885 23885 19607 0 -1 4202560 1492 0 0 0 21468 5 0 0 20 0 28 0 151919904 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238419607544 140238952759285 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23909] ppid=23885 vsize=26538700 memory=0 CPUtime=213.69 cores=0-7
/proc/23887/task/23909/stat : 23909 (java) R 23885 23885 19607 0 -1 4202560 3321 0 0 0 21362 7 0 0 20 0 28 0 151919904 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238418555016 140238952778156 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23910] ppid=23885 vsize=26538700 memory=1384 CPUtime=214.41 cores=0-7
/proc/23887/task/23910/stat : 23910 (java) R 23885 23885 19607 0 -1 4202560 3389 0 0 0 21438 3 0 0 20 0 28 0 151919905 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238417502224 140238952759285 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23911] ppid=23885 vsize=26538700 memory=1384 CPUtime=213.74 cores=0-7
/proc/23887/task/23911/stat : 23911 (java) R 23885 23885 19607 0 -1 4202560 1803 0 0 0 21368 6 0 0 20 0 28 0 151919905 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238416449912 140238952778293 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23912] ppid=23885 vsize=26538700 memory=1384 CPUtime=214.42 cores=0-7
/proc/23887/task/23912/stat : 23912 (java) R 23885 23885 19607 0 -1 4202560 2707 0 0 0 21441 1 0 0 20 0 28 0 151919905 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238415397480 140238952778572 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23913] ppid=23885 vsize=26538700 memory=1008 CPUtime=214.92 cores=0-7
/proc/23887/task/23913/stat : 23913 (java) R 23885 23885 19607 0 -1 4202560 1496 0 0 0 21491 1 0 0 20 0 28 0 151919905 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238414343816 140238952759590 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23914] ppid=23885 vsize=26538700 memory=4620 CPUtime=213.6 cores=0-7
/proc/23887/task/23914/stat : 23914 (java) R 23885 23885 19607 0 -1 4202560 1994 0 0 0 21358 2 0 0 20 0 28 0 151919905 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238413291240 140238952777835 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
Current children cumulated CPU time: 1736.9 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2406156 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 7.91 7.93 7.69 9/207 23915
/proc/meminfo: memFree=24942740/32770624 swapFree=67108860/67108860
[pid=23885] ppid=23882 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23885/stat : 23885 (xcsp3-exec) S 23882 23885 19607 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151919826 9740288 346 33554432000 4194304 5098028 140733870233504 140733870231608 140082504757884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14610432 140733870240875 140733870241084 140733870241084 140733870243819 0
/proc/23885/statm: 2378 346 289 221 0 87 0
[pid=23887] ppid=23885 vsize=26538700 memory=2404772 CPUtime=1973.95 cores=0-7
/proc/23887/stat : 23887 (java) S 23885 23885 19607 0 -1 1077944320 117676 0 0 0 197259 136 0 0 20 0 28 0 151919826 27175628800 601193 33554432000 4194304 4196468 140725071279392 140725071261936 140239310749431 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
/proc/23887/statm: 6634675 601193 3299 1 0 6621909 0
[pid=23887/tid=23888] ppid=23885 vsize=26538700 memory=1398720917958146503 CPUtime=0.75 cores=0-7
/proc/23887/task/23888/stat : 23888 (java) S 23885 23885 19607 0 -1 1077944384 6906 0 0 0 72 3 0 0 20 0 28 0 151919826 27175628800 601193 33554432000 4194304 4196468 140725071279392 140239314990208 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23889] ppid=23885 vsize=26538700 memory=4872558044660077418 CPUtime=1.42 cores=0-7
/proc/23887/task/23889/stat : 23889 (java) S 23885 23885 19607 0 -1 1077944384 1393 0 0 0 131 11 0 0 20 0 28 0 151919827 27175628800 601193 33554432000 4194304 4196468 140725071279392 140239273855248 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23890] ppid=23885 vsize=26538700 memory=18488 CPUtime=1.42 cores=0-7
/proc/23887/task/23890/stat : 23890 (java) S 23885 23885 19607 0 -1 1077944384 1792 0 0 0 131 11 0 0 20 0 28 0 151919827 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238867790224 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23891] ppid=23885 vsize=26538700 memory=1796 CPUtime=1.42 cores=0-7
/proc/23887/task/23891/stat : 23891 (java) S 23885 23885 19607 0 -1 1077944384 1604 0 0 0 135 7 0 0 20 0 28 0 151919827 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238866737680 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23892] ppid=23885 vsize=26538700 memory=1236 CPUtime=1.43 cores=0-7
/proc/23887/task/23892/stat : 23892 (java) S 23885 23885 19607 0 -1 1077944384 1841 0 0 0 133 10 0 0 20 0 28 0 151919827 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238865685136 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23893] ppid=23885 vsize=26538700 memory=640 CPUtime=1.4 cores=0-7
/proc/23887/task/23893/stat : 23893 (java) S 23885 23885 19607 0 -1 1077944384 1883 0 0 0 131 9 0 0 20 0 28 0 151919827 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238864632592 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23894] ppid=23885 vsize=26538700 memory=6791534058613427641 CPUtime=1.42 cores=0-7
/proc/23887/task/23894/stat : 23894 (java) S 23885 23885 19607 0 -1 1077944384 2322 0 0 0 133 9 0 0 20 0 28 0 151919827 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238863580048 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23895] ppid=23885 vsize=26538700 memory=25500 CPUtime=1.41 cores=0-7
/proc/23887/task/23895/stat : 23895 (java) S 23885 23885 19607 0 -1 1077944384 2078 0 0 0 129 12 0 0 20 0 28 0 151919827 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238862527504 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23896] ppid=23885 vsize=26538700 memory=4048 CPUtime=1.42 cores=0-7
/proc/23887/task/23896/stat : 23896 (java) S 23885 23885 19607 0 -1 1077944384 2710 0 0 0 132 10 0 0 20 0 28 0 151919827 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238861474960 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23897] ppid=23885 vsize=26538700 memory=18488 CPUtime=4.56 cores=0-7
/proc/23887/task/23897/stat : 23897 (java) S 23885 23885 19607 0 -1 1077944384 15641 0 0 0 452 4 0 0 20 0 28 0 151919829 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238438143984 140239310760578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23898] ppid=23885 vsize=26538700 memory=1796 CPUtime=0 cores=0-7
/proc/23887/task/23898/stat : 23898 (java) S 23885 23885 19607 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 151919829 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238437090272 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23899] ppid=23885 vsize=26538700 memory=1236 CPUtime=0 cores=0-7
/proc/23887/task/23899/stat : 23899 (java) S 23885 23885 19607 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 151919829 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238436037632 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23900] ppid=23885 vsize=26538700 memory=640 CPUtime=0 cores=0-7
/proc/23887/task/23900/stat : 23900 (java) S 23885 23885 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151919832 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238434986192 140239310768027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23901] ppid=23885 vsize=26538700 memory=956 CPUtime=2.11 cores=0-7
/proc/23887/task/23901/stat : 23901 (java) S 23885 23885 19607 0 -1 1077944384 12427 0 0 0 209 2 0 0 20 0 28 0 151919832 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238433933808 140239310760578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23902] ppid=23885 vsize=26538700 memory=6791534058613427641 CPUtime=1.95 cores=0-7
/proc/23887/task/23902/stat : 23902 (java) S 23885 23885 19607 0 -1 1077944384 16309 0 0 0 193 2 0 0 20 0 28 0 151919832 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238432881264 140239310760578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23903] ppid=23885 vsize=26538700 memory=288230596050944315 CPUtime=1.93 cores=0-7
/proc/23887/task/23903/stat : 23903 (java) S 23885 23885 19607 0 -1 1077944384 18860 0 0 0 190 3 0 0 20 0 28 0 151919832 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238431828720 140239310760578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23904] ppid=23885 vsize=26538700 memory=16100385878189781 CPUtime=0.7 cores=0-7
/proc/23887/task/23904/stat : 23904 (java) S 23885 23885 19607 0 -1 1077944384 9424 0 0 0 68 2 0 0 20 0 28 0 151919832 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238430776176 140239310760578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23905] ppid=23885 vsize=26538700 memory=2404772 CPUtime=0 cores=0-7
/proc/23887/task/23905/stat : 23905 (java) S 23885 23885 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151919832 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238429722848 140239310759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23906] ppid=23885 vsize=26538700 memory=6944656575208382560 CPUtime=0.1 cores=0-7
/proc/23887/task/23906/stat : 23906 (java) S 23885 23885 19607 0 -1 1077944384 1416 0 0 0 5 5 0 0 20 0 28 0 151919832 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238428670384 140239310760578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23907] ppid=23885 vsize=26538700 memory=1384 CPUtime=243.45 cores=0-7
/proc/23887/task/23907/stat : 23907 (java) R 23885 23885 19607 0 -1 4202560 2400 0 0 0 24341 4 0 0 20 0 28 0 151919904 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238420661568 140238952778409 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23908] ppid=23885 vsize=26538700 memory=2404772 CPUtime=244.43 cores=0-7
/proc/23887/task/23908/stat : 23908 (java) R 23885 23885 19607 0 -1 4202560 2147 0 0 0 24437 6 0 0 20 0 28 0 151919904 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238419607544 140238947165897 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23909] ppid=23885 vsize=26538700 memory=16100385878189781 CPUtime=243.4 cores=0-7
/proc/23887/task/23909/stat : 23909 (java) R 23885 23885 19607 0 -1 4202560 3390 0 0 0 24333 7 0 0 20 0 28 0 151919904 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238418555016 140238952778349 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23910] ppid=23885 vsize=26538700 memory=279928520919136 CPUtime=244.11 cores=0-7
/proc/23887/task/23910/stat : 23910 (java) R 23885 23885 19607 0 -1 4202560 3606 0 0 0 24408 3 0 0 20 0 28 0 151919905 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238417504856 140238952248495 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23911] ppid=23885 vsize=26538700 memory=8514726395714825349 CPUtime=243.45 cores=0-7
/proc/23887/task/23911/stat : 23911 (java) R 23885 23885 19607 0 -1 4202560 1833 0 0 0 24339 6 0 0 20 0 28 0 151919905 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238416449912 140238952759377 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23912] ppid=23885 vsize=26538700 memory=7822038051842261661 CPUtime=244.12 cores=0-7
/proc/23887/task/23912/stat : 23912 (java) R 23885 23885 19607 0 -1 4202560 2749 0 0 0 24411 1 0 0 20 0 28 0 151919905 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238415397480 140238952305171 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23913] ppid=23885 vsize=26538700 memory=1428 CPUtime=244.63 cores=0-7
/proc/23887/task/23913/stat : 23913 (java) R 23885 23885 19607 0 -1 4202560 1545 0 0 0 24462 1 0 0 20 0 28 0 151919905 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238414343816 140238952759576 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
[pid=23887/tid=23914] ppid=23885 vsize=26538700 memory=1204 CPUtime=242.71 cores=0-7
/proc/23887/task/23914/stat : 23914 (java) R 23885 23885 19607 0 -1 4202560 2076 0 0 0 24269 2 0 0 20 0 28 0 151919905 27175628800 601193 33554432000 4194304 4196468 140725071279392 140238413291240 140238952777903 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15896576 140725071287448 140725071287624 140725071287624 140725071290319 0
Current children cumulated CPU time: 1973.95 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2406156 KiB

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

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

[startup+252.146 s]
# the end of solver process 23887 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1973.34 s, system=1.39843 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

[startup+252.131 s]*
/proc/loadavg: 7.91 7.93 7.69 2/180 23917
/proc/meminfo: memFree=25469648/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.001854 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 252.146
CPU time (s): 1974.74
CPU user time (s): 1973.34
CPU system time (s): 1.39843
CPU usage (%): 783.174
Max. virtual memory (cumulated for all children) (KiB): 26550796
Max. memory (cumulated for all children) (KiB): 2406156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1973.34
system time used= 1.39843
maximum resident set size= 2405808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118990
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11172
involuntary context switches= 21335


# summary of solver processes directly reported to runsolver:
#   pid: 23885,23887
#   total CPU time (s): 1974.74
#   total CPU user time (s): 1973.34
#   total CPU system time (s): 1.39843

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.63035 second user time and 2.52833 second system time

The end

Launcher Data 

Begin job on node106 at 2017-08-20 02:04:22
IDJOB=4281262
IDBENCH=137885
IDSOLVER=2676
FILE ID=node106/4281262-1503188322
RUNJOBID= node106-1503176127-19634
PBS_JOBID= 20630846
Free space on /tmp= 61820 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/BinPacking/BinPacking-sum-s28/BinPacking-sum-s28-561.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281262-1503188322/watcher-4281262-1503188322 -o /tmp/evaluation-result-4281262-1503188322/solver-4281262-1503188322 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503176127-19634 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 478417268 HOME/instance-4281262-1503188322.xml

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

MD5SUM BENCH= 0151e8a579557b2b9e30bd86d2d74102
RANDOM SEED=478417268

node106.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.86
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.86
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.86
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.86
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:        27336496 kB
MemAvailable:   31970200 kB
Buffers:          240632 kB
Cached:          4685624 kB
SwapCached:            0 kB
Active:          1073260 kB
Inactive:        3910452 kB
Active(anon):      13880 kB
Inactive(anon):    80012 kB
Active(file):    1059380 kB
Inactive(file):  3830440 kB
Unevictable:        7764 kB
Mlocked:            7764 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7896 kB
Writeback:             0 kB
AnonPages:         65344 kB
Mapped:            51948 kB
Shmem:             33420 kB
Slab:             146620 kB
SReclaimable:     119440 kB
SUnreclaim:        27180 kB
KernelStack:        3232 kB
PageTables:         4724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     336040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61812 MiB
End job on node106 at 2017-08-20 02:08:34