Trace number 4254436

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-07-26)? (TO) 857.138 252.13901

General information on the benchmark

NameBinPacking/
BinPacking-tab-fu/BinPacking-tab-fu0250-08.xml
MD5SUM52402e3ba0658144258f494f3b2bc7f2
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark38
Best CPU time to get the best result obtained on this benchmark257.72198
Satisfiable
(Un)Satisfiability was proved
Number of variables883
Number of constraints150
Number of domains2
Minimum domain size79
Maximum domain size148
Distribution of domain sizes[{"size":79,"count":882},{"size":148,"count":1}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":735},{"degree":4,"count":147}]
Minimum constraint arity6
Maximum constraint arity882
Distribution of constraint arities[{"arity":6,"count":147},{"arity":148,"count":1},{"arity":882,"count":2}]
Number of extensional constraints147
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":147},{"type":"lex","count":1},{"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-4254436-1502645452.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4254436-1502645452.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
234.33/172.37	c solve instance...
856.43/252.08	s UNKNOWN
856.43/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 (15263 MiB free)
  memory of node 1: 16384 MiB (15604 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254436-1502645452/watcher-4254436-1502645452 -o /tmp/evaluation-result-4254436-1502645452/solver-4254436-1502645452 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502637526-8210 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 70094962 HOME/instance-4254436-1502645452.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=27041, runsolver pid=27038
Current StackSize limit: 8192 KiB


[startup+0.100108 s]*
/proc/loadavg: 8.66 8.27 7.73 2/199 27062
/proc/meminfo: memFree=31593252/32770624 swapFree=67108860/67108860
[pid=27041] ppid=27038 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27041/stat : 27041 (xcsp3-exec) S 27038 27041 8183 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97633414 9740288 346 33554432000 4194304 5098028 140726627365040 140726627363144 140530958770812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18391040 140726627374188 140726627374396 140726627374396 140726627377131 0
/proc/27041/statm: 2378 346 289 221 0 87 0
[pid=27043] ppid=27041 vsize=25999808 memory=26364 CPUtime=0.11 cores=0-7
/proc/27043/stat : 27043 (java) S 27041 27041 8183 0 -1 1077944320 5467 0 0 0 9 2 0 0 20 0 20 0 97633414 26623803392 6591 33554432000 4194304 4196468 140724709634384 140724709616928 140350791667447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
/proc/27043/statm: 6499952 6591 2872 1 0 6488269 0
[pid=27043/tid=27044] ppid=27041 vsize=25999808 memory=7681904497038105755 CPUtime=0.08 cores=0-7
/proc/27043/task/27044/stat : 27044 (java) R 27041 27041 8183 0 -1 4202560 3475 0 0 0 7 1 0 0 20 0 20 0 97633415 26623803392 6591 33554432000 4194304 4196468 140724709634384 140350795899776 140350791679382 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27045] ppid=27041 vsize=25999808 memory=732370682343390181 CPUtime=0 cores=0-7
/proc/27043/task/27045/stat : 27045 (java) S 27041 27041 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97633415 26623803392 6591 33554432000 4194304 4196468 140724709634384 140350744288016 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27046] ppid=27041 vsize=25999808 memory=140544005936768 CPUtime=0 cores=0-7
/proc/27043/task/27046/stat : 27046 (java) S 27041 27041 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97633415 26623803392 6591 33554432000 4194304 4196468 140724709634384 140350743235472 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27047] ppid=27041 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27047/stat : 27047 (java) S 27041 27041 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97633415 26623803392 6591 33554432000 4194304 4196468 140724709634384 140350742182928 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27048] ppid=27041 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27048/stat : 27048 (java) S 27041 27041 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97633415 26623803392 6591 33554432000 4194304 4196468 140724709634384 140350741130384 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27049] ppid=27041 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27049/stat : 27049 (java) S 27041 27041 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97633415 26623803392 6591 33554432000 4194304 4196468 140724709634384 140350346098960 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27050] ppid=27041 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/27043/task/27050/stat : 27050 (java) S 27041 27041 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97633415 26623803392 6591 33554432000 4194304 4196468 140724709634384 140350345046416 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27051] ppid=27041 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27051/stat : 27051 (java) S 27041 27041 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97633415 26623803392 6591 33554432000 4194304 4196468 140724709634384 140350343993872 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27052] ppid=27041 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27052/stat : 27052 (java) S 27041 27041 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97633415 26623803392 6591 33554432000 4194304 4196468 140724709634384 140350342941328 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27053] ppid=27041 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27053/stat : 27053 (java) S 27041 27041 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97633417 26623803392 6591 33554432000 4194304 4196468 140724709634384 140349063756272 140350791678594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27054] ppid=27041 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27054/stat : 27054 (java) S 27041 27041 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97633417 26623803392 6591 33554432000 4194304 4196468 140724709634384 140348995134880 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27055] ppid=27041 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27055/stat : 27055 (java) S 27041 27041 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97633417 26623803392 6591 33554432000 4194304 4196468 140724709634384 140348994082288 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27056] ppid=27041 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27056/stat : 27056 (java) S 27041 27041 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97633420 26623803392 6591 33554432000 4194304 4196468 140724709634384 140348993030864 140350791686043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27057] ppid=27041 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27057/stat : 27057 (java) S 27041 27041 8183 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 20 0 97633420 26623803392 6591 33554432000 4194304 4196468 140724709634384 140348991977456 140350791678594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27058] ppid=27041 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27058/stat : 27058 (java) S 27041 27041 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97633420 26623803392 6591 33554432000 4194304 4196468 140724709634384 140348990924912 140350791678594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27059] ppid=27041 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27059/stat : 27059 (java) S 27041 27041 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97633420 26623803392 6591 33554432000 4194304 4196468 140724709634384 140348989872368 140350791678594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27060] ppid=27041 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/27043/task/27060/stat : 27060 (java) R 27041 27041 8183 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 20 0 97633420 26623803392 6591 33554432000 4194304 4196468 140724709634384 140348988819824 140350791679382 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27061] ppid=27041 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27061/stat : 27061 (java) S 27041 27041 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97633420 26623803392 6591 33554432000 4194304 4196468 140724709634384 140348987767520 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27062] ppid=27041 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/27043/task/27062/stat : 27062 (java) S 27041 27041 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97633420 26623803392 6591 33554432000 4194304 4196468 140724709634384 140348986715056 140350791678594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27748 KiB

[startup+0.210032 s]*
/proc/loadavg: 8.66 8.27 7.73 2/199 27062
/proc/meminfo: memFree=31581468/32770624 swapFree=67108860/67108860
[pid=27041] ppid=27038 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27041/stat : 27041 (xcsp3-exec) S 27038 27041 8183 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97633414 9740288 346 33554432000 4194304 5098028 140726627365040 140726627363144 140530958770812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18391040 140726627374188 140726627374396 140726627374396 140726627377131 0
/proc/27041/statm: 2378 346 289 221 0 87 0
[pid=27043] ppid=27041 vsize=26004064 memory=38812 CPUtime=0.33 cores=0-7
/proc/27043/stat : 27043 (java) S 27041 27041 8183 0 -1 1077944320 8306 0 0 0 30 3 0 0 20 0 20 0 97633414 26628161536 9703 33554432000 4194304 4196468 140724709634384 140724709616928 140350791667447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
/proc/27043/statm: 6501016 9703 3023 1 0 6488269 0
[pid=27043/tid=27044] ppid=27041 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/27043/task/27044/stat : 27044 (java) R 27041 27041 8183 0 -1 4202560 5384 0 0 0 17 2 0 0 20 0 20 0 97633415 26628161536 9703 33554432000 4194304 4196468 140724709634384 140350795887648 140350777360928 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27045] ppid=27041 vsize=26004064 memory=732370682343390181 CPUtime=0 cores=0-7
/proc/27043/task/27045/stat : 27045 (java) S 27041 27041 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97633415 26628161536 9703 33554432000 4194304 4196468 140724709634384 140350744288016 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27046] ppid=27041 vsize=26004064 memory=140544005936768 CPUtime=0 cores=0-7
/proc/27043/task/27046/stat : 27046 (java) S 27041 27041 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97633415 26628161536 9703 33554432000 4194304 4196468 140724709634384 140350743235472 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27047] ppid=27041 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27047/stat : 27047 (java) S 27041 27041 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97633415 26628161536 9703 33554432000 4194304 4196468 140724709634384 140350742182928 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27048] ppid=27041 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27048/stat : 27048 (java) S 27041 27041 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97633415 26628161536 9703 33554432000 4194304 4196468 140724709634384 140350741130384 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27049] ppid=27041 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27049/stat : 27049 (java) S 27041 27041 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97633415 26628161536 9703 33554432000 4194304 4196468 140724709634384 140350346098960 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27050] ppid=27041 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/27043/task/27050/stat : 27050 (java) S 27041 27041 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97633415 26628161536 9703 33554432000 4194304 4196468 140724709634384 140350345046416 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27051] ppid=27041 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27051/stat : 27051 (java) S 27041 27041 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97633415 26628161536 9703 33554432000 4194304 4196468 140724709634384 140350343993872 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27052] ppid=27041 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27052/stat : 27052 (java) S 27041 27041 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97633415 26628161536 9703 33554432000 4194304 4196468 140724709634384 140350342941328 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27053] ppid=27041 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27053/stat : 27053 (java) S 27041 27041 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97633417 26628161536 9703 33554432000 4194304 4196468 140724709634384 140349063756272 140350791678594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27054] ppid=27041 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27054/stat : 27054 (java) S 27041 27041 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97633417 26628161536 9703 33554432000 4194304 4196468 140724709634384 140348995134880 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27055] ppid=27041 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27055/stat : 27055 (java) S 27041 27041 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97633417 26628161536 9703 33554432000 4194304 4196468 140724709634384 140348994082288 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27056] ppid=27041 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27056/stat : 27056 (java) S 27041 27041 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97633420 26628161536 9703 33554432000 4194304 4196468 140724709634384 140348993030864 140350791686043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27057] ppid=27041 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/27043/task/27057/stat : 27057 (java) S 27041 27041 8183 0 -1 1077944384 670 0 0 0 1 0 0 0 20 0 20 0 97633420 26628161536 9703 33554432000 4194304 4196468 140724709634384 140348991977456 140350791678594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27058] ppid=27041 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/27043/task/27058/stat : 27058 (java) S 27041 27041 8183 0 -1 1077944384 119 0 0 0 2 0 0 0 20 0 20 0 97633420 26628161536 9703 33554432000 4194304 4196468 140724709634384 140348990924912 140350791678594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27059] ppid=27041 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27059/stat : 27059 (java) S 27041 27041 8183 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 97633420 26628161536 9703 33554432000 4194304 4196468 140724709634384 140348989872368 140350791678594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27060] ppid=27041 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/27043/task/27060/stat : 27060 (java) S 27041 27041 8183 0 -1 1077944384 765 0 0 0 7 0 0 0 20 0 20 0 97633420 26628161536 9703 33554432000 4194304 4196468 140724709634384 140348988819824 140350791678594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27061] ppid=27041 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27061/stat : 27061 (java) S 27041 27041 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97633420 26628161536 9703 33554432000 4194304 4196468 140724709634384 140348987767520 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27062] ppid=27041 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/27043/task/27062/stat : 27062 (java) S 27041 27041 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97633420 26628161536 9703 33554432000 4194304 4196468 140724709634384 140348986715056 140350791678594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40196 KiB

[startup+0.309388 s]*
/proc/loadavg: 8.66 8.27 7.73 2/199 27062
/proc/meminfo: memFree=31574644/32770624 swapFree=67108860/67108860
[pid=27041] ppid=27038 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27041/stat : 27041 (xcsp3-exec) S 27038 27041 8183 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97633414 9740288 346 33554432000 4194304 5098028 140726627365040 140726627363144 140530958770812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18391040 140726627374188 140726627374396 140726627374396 140726627377131 0
/proc/27041/statm: 2378 346 289 221 0 87 0
[pid=27043] ppid=27041 vsize=26004064 memory=46016 CPUtime=0.5 cores=0-7
/proc/27043/stat : 27043 (java) S 27041 27041 8183 0 -1 1077944320 9203 0 0 0 46 4 0 0 20 0 20 0 97633414 26628161536 11504 33554432000 4194304 4196468 140724709634384 140724709616928 140350791667447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
/proc/27043/statm: 6501016 11504 3084 1 0 6488269 0
[pid=27043/tid=27044] ppid=27041 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/27043/task/27044/stat : 27044 (java) R 27041 27041 8183 0 -1 4202560 6051 0 0 0 27 2 0 0 20 0 20 0 97633415 26628161536 11504 33554432000 4194304 4196468 140724709634384 140350795904296 140350791689373 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27045] ppid=27041 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27045/stat : 27045 (java) S 27041 27041 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97633415 26628161536 11504 33554432000 4194304 4196468 140724709634384 140350744288016 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27046] ppid=27041 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27046/stat : 27046 (java) S 27041 27041 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97633415 26628161536 11504 33554432000 4194304 4196468 140724709634384 140350743235472 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27047] ppid=27041 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27047/stat : 27047 (java) S 27041 27041 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97633415 26628161536 11504 33554432000 4194304 4196468 140724709634384 140350742182928 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27048] ppid=27041 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27048/stat : 27048 (java) S 27041 27041 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97633415 26628161536 11504 33554432000 4194304 4196468 140724709634384 140350741130384 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27049] ppid=27041 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/27043/task/27049/stat : 27049 (java) S 27041 27041 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97633415 26628161536 11504 33554432000 4194304 4196468 140724709634384 140350346098960 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27050] ppid=27041 vsize=26004064 memory=140543879377839 CPUtime=0 cores=0-7
/proc/27043/task/27050/stat : 27050 (java) S 27041 27041 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97633415 26628161536 11504 33554432000 4194304 4196468 140724709634384 140350345046416 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27051] ppid=27041 vsize=26004064 memory=140543879380144 CPUtime=0 cores=0-7
/proc/27043/task/27051/stat : 27051 (java) S 27041 27041 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97633415 26628161536 11504 33554432000 4194304 4196468 140724709634384 140350343993872 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27052] ppid=27041 vsize=26004064 memory=140543879382448 CPUtime=0 cores=0-7
/proc/27043/task/27052/stat : 27052 (java) S 27041 27041 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97633415 26628161536 11504 33554432000 4194304 4196468 140724709634384 140350342941328 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27053] ppid=27041 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27053/stat : 27053 (java) S 27041 27041 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97633417 26628161536 11504 33554432000 4194304 4196468 140724709634384 140349063756272 140350791678594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27054] ppid=27041 vsize=26004064 memory=281087758771856 CPUtime=0 cores=0-7
/proc/27043/task/27054/stat : 27054 (java) S 27041 27041 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97633417 26628161536 11504 33554432000 4194304 4196468 140724709634384 140348995134880 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27055] ppid=27041 vsize=26004064 memory=281087758778768 CPUtime=0 cores=0-7
/proc/27043/task/27055/stat : 27055 (java) S 27041 27041 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97633417 26628161536 11504 33554432000 4194304 4196468 140724709634384 140348994082288 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27056] ppid=27041 vsize=26004064 memory=281087758720048 CPUtime=0 cores=0-7
/proc/27043/task/27056/stat : 27056 (java) S 27041 27041 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97633420 26628161536 11504 33554432000 4194304 4196468 140724709634384 140348993030864 140350791686043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27057] ppid=27041 vsize=26004064 memory=281087758792592 CPUtime=0.02 cores=0-7
/proc/27043/task/27057/stat : 27057 (java) S 27041 27041 8183 0 -1 1077944384 677 0 0 0 2 0 0 0 20 0 20 0 97633420 26628161536 11504 33554432000 4194304 4196468 140724709634384 140348991977456 140350791678594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27058] ppid=27041 vsize=26004064 memory=281087758799504 CPUtime=0.02 cores=0-7
/proc/27043/task/27058/stat : 27058 (java) R 27041 27041 8183 0 -1 4202560 119 0 0 0 2 0 0 0 20 0 20 0 97633420 26628161536 11504 33554432000 4194304 4196468 140724709634384 140348990924912 140350777991738 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27059] ppid=27041 vsize=26004064 memory=281087758797200 CPUtime=0.02 cores=0-7
/proc/27043/task/27059/stat : 27059 (java) S 27041 27041 8183 0 -1 1077944384 168 0 0 0 2 0 0 0 20 0 20 0 97633420 26628161536 11504 33554432000 4194304 4196468 140724709634384 140348989872368 140350791678594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27060] ppid=27041 vsize=26004064 memory=281087758813360 CPUtime=0.12 cores=0-7
/proc/27043/task/27060/stat : 27060 (java) R 27041 27041 8183 0 -1 4202560 879 0 0 0 12 0 0 0 20 0 20 0 97633420 26628161536 11504 33554432000 4194304 4196468 140724709634384 140348988819824 140350770335205 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27061] ppid=27041 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27043/task/27061/stat : 27061 (java) S 27041 27041 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97633420 26628161536 11504 33554432000 4194304 4196468 140724709634384 140348987767520 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27062] ppid=27041 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/27043/task/27062/stat : 27062 (java) S 27041 27041 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97633420 26628161536 11504 33554432000 4194304 4196468 140724709634384 140348986715056 140350791678594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47400 KiB

[startup+0.700881 s]
/proc/loadavg: 8.66 8.27 7.73 5/199 27062
/proc/meminfo: memFree=31527084/32770624 swapFree=67108860/67108860
[pid=27041] ppid=27038 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27041/stat : 27041 (xcsp3-exec) S 27038 27041 8183 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97633414 9740288 346 33554432000 4194304 5098028 140726627365040 140726627363144 140530958770812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18391040 140726627374188 140726627374396 140726627374396 140726627377131 0
/proc/27041/statm: 2378 346 289 221 0 87 0
[pid=27043] ppid=27041 vsize=26004140 memory=161344 CPUtime=1.59 cores=0-7
/proc/27043/stat : 27043 (java) S 27041 27041 8183 0 -1 1077944320 12419 0 0 0 152 7 0 0 20 0 20 0 97633414 26628239360 40336 33554432000 4194304 4196468 140724709634384 140724709616928 140350791667447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
/proc/27043/statm: 6501035 40336 3195 1 0 6488269 0
[pid=27043/tid=27044] ppid=27041 vsize=26004140 memory=281087759108288 CPUtime=0.67 cores=0-7
/proc/27043/task/27044/stat : 27044 (java) R 27041 27041 8183 0 -1 4202560 6467 0 0 0 62 5 0 0 20 0 20 0 97633415 26628239360 40336 33554432000 4194304 4196468 140724709634384 140350795901360 140350774130016 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27045] ppid=27041 vsize=26004140 memory=1012 CPUtime=0 cores=0-7
/proc/27043/task/27045/stat : 27045 (java) S 27041 27041 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97633415 26628239360 40336 33554432000 4194304 4196468 140724709634384 140350744288016 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27046] ppid=27041 vsize=26004140 memory=1716 CPUtime=0 cores=0-7
/proc/27043/task/27046/stat : 27046 (java) S 27041 27041 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97633415 26628239360 40336 33554432000 4194304 4196468 140724709634384 140350743235472 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27047] ppid=27041 vsize=26004140 memory=5792 CPUtime=0 cores=0-7
/proc/27043/task/27047/stat : 27047 (java) S 27041 27041 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97633415 26628239360 40336 33554432000 4194304 4196468 140724709634384 140350742182928 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0

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

[pid=27043/tid=27062] ppid=27041 vsize=26006188 memory=1384 CPUtime=0.07 cores=0-7
/proc/27043/task/27062/stat : 27062 (java) S 27041 27041 8183 0 -1 1077944384 222 0 0 0 3 4 0 0 20 0 20 0 97633420 26630336512 1868448 33554432000 4194304 4196468 140724709634384 140348986715056 140350791678594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
Current children cumulated CPU time: 219.91 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 7475176 KiB

[startup+222.302 s]
/proc/loadavg: 5.93 5.92 6.82 9/208 27077
/proc/meminfo: memFree=22198512/32770624 swapFree=67108860/67108860
[pid=27041] ppid=27038 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27041/stat : 27041 (xcsp3-exec) S 27038 27041 8183 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97633414 9740288 346 33554432000 4194304 5098028 140726627365040 140726627363144 140530958770812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18391040 140726627374188 140726627374396 140726627374396 140726627377131 0
/proc/27041/statm: 2378 346 289 221 0 87 0
[pid=27043] ppid=27041 vsize=26538700 memory=9404016 CPUtime=619.45 cores=0-7
/proc/27043/stat : 27043 (java) S 27041 27041 8183 0 -1 1077944320 217168 0 0 0 59967 1978 0 0 20 0 28 0 97633414 27175628800 2351004 33554432000 4194304 4196468 140724709634384 140724709616928 140350791667447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
/proc/27043/statm: 6634675 2351004 3304 1 0 6621909 0
[pid=27043/tid=27044] ppid=27041 vsize=26538700 memory=9403608 CPUtime=160.92 cores=0-7
/proc/27043/task/27044/stat : 27044 (java) S 27041 27041 8183 0 -1 1077944384 15376 0 0 0 16084 8 0 0 20 0 28 0 97633415 27175628800 2351004 33554432000 4194304 4196468 140724709634384 140350795908224 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27045] ppid=27041 vsize=26538700 memory=1384 CPUtime=11.19 cores=0-7
/proc/27043/task/27045/stat : 27045 (java) S 27041 27041 8183 0 -1 1077944384 12496 0 0 0 895 224 0 0 20 0 28 0 97633415 27175628800 2351004 33554432000 4194304 4196468 140724709634384 140350744288016 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27046] ppid=27041 vsize=26538700 memory=1384 CPUtime=11.32 cores=0-7
/proc/27043/task/27046/stat : 27046 (java) S 27041 27041 8183 0 -1 1077944384 8898 0 0 0 909 223 0 0 20 0 28 0 97633415 27175628800 2351004 33554432000 4194304 4196468 140724709634384 140350743235472 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27047] ppid=27041 vsize=26538700 memory=9404016 CPUtime=11.34 cores=0-7
/proc/27043/task/27047/stat : 27047 (java) S 27041 27041 8183 0 -1 1077944384 14716 0 0 0 904 230 0 0 20 0 28 0 97633415 27175628800 2351004 33554432000 4194304 4196468 140724709634384 140350742182928 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27048] ppid=27041 vsize=26538700 memory=1384 CPUtime=11.31 cores=0-7
/proc/27043/task/27048/stat : 27048 (java) S 27041 27041 8183 0 -1 1077944384 8215 0 0 0 918 213 0 0 20 0 28 0 97633415 27175628800 2351004 33554432000 4194304 4196468 140724709634384 140350741130384 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27049] ppid=27041 vsize=26538700 memory=0 CPUtime=11.24 cores=0-7
/proc/27043/task/27049/stat : 27049 (java) S 27041 27041 8183 0 -1 1077944384 8929 0 0 0 917 207 0 0 20 0 28 0 97633415 27175628800 2351004 33554432000 4194304 4196468 140724709634384 140350346098960 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27050] ppid=27041 vsize=26538700 memory=9224156 CPUtime=11.29 cores=0-7
/proc/27043/task/27050/stat : 27050 (java) S 27041 27041 8183 0 -1 1077944384 13810 0 0 0 914 215 0 0 20 0 28 0 97633415 27175628800 2351004 33554432000 4194304 4196468 140724709634384 140350345046416 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27051] ppid=27041 vsize=26538700 memory=4140 CPUtime=11.24 cores=0-7
/proc/27043/task/27051/stat : 27051 (java) S 27041 27041 8183 0 -1 1077944384 8430 0 0 0 907 217 0 0 20 0 28 0 97633415 27175628800 2351004 33554432000 4194304 4196468 140724709634384 140350343993872 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27052] ppid=27041 vsize=26538700 memory=28108 CPUtime=11.21 cores=0-7
/proc/27043/task/27052/stat : 27052 (java) S 27041 27041 8183 0 -1 1077944384 14116 0 0 0 904 217 0 0 20 0 28 0 97633415 27175628800 2351004 33554432000 4194304 4196468 140724709634384 140350342941328 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27053] ppid=27041 vsize=26538700 memory=756 CPUtime=4.43 cores=0-7
/proc/27043/task/27053/stat : 27053 (java) S 27041 27041 8183 0 -1 1077944384 20341 0 0 0 434 9 0 0 20 0 28 0 97633417 27175628800 2351004 33554432000 4194304 4196468 140724709634384 140349063756272 140350791678594 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27054] ppid=27041 vsize=26538700 memory=267 CPUtime=0 cores=0-7
/proc/27043/task/27054/stat : 27054 (java) S 27041 27041 8183 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 28 0 97633417 27175628800 2351004 33554432000 4194304 4196468 140724709634384 140348995134944 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27055] ppid=27041 vsize=26538700 memory=644 CPUtime=0 cores=0-7
/proc/27043/task/27055/stat : 27055 (java) S 27041 27041 8183 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 28 0 97633417 27175628800 2351004 33554432000 4194304 4196468 140724709634384 140348994082304 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27056] ppid=27041 vsize=26538700 memory=1788 CPUtime=0 cores=0-7
/proc/27043/task/27056/stat : 27056 (java) S 27041 27041 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97633420 27175628800 2351004 33554432000 4194304 4196468 140724709634384 140348993030864 140350791686043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27057] ppid=27041 vsize=26538700 memory=0 CPUtime=2.43 cores=0-7
/proc/27043/task/27057/stat : 27057 (java) S 27041 27041 8183 0 -1 1077944384 14703 0 0 0 238 5 0 0 20 0 28 0 97633420 27175628800 2351004 33554432000 4194304 4196468 140724709634384 140348991977456 140350791678594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27058] ppid=27041 vsize=26538700 memory=6153433744107267177 CPUtime=2.71 cores=0-7
/proc/27043/task/27058/stat : 27058 (java) S 27041 27041 8183 0 -1 1077944384 15974 0 0 0 268 3 0 0 20 0 28 0 97633420 27175628800 2351004 33554432000 4194304 4196468 140724709634384 140348990924912 140350791678594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27059] ppid=27041 vsize=26538700 memory=4294967328 CPUtime=2.58 cores=0-7
/proc/27043/task/27059/stat : 27059 (java) S 27041 27041 8183 0 -1 1077944384 14290 0 0 0 255 3 0 0 20 0 28 0 97633420 27175628800 2351004 33554432000 4194304 4196468 140724709634384 140348989872368 140350791678594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27060] ppid=27041 vsize=26538700 memory=6009586862636683345 CPUtime=0.84 cores=0-7
/proc/27043/task/27060/stat : 27060 (java) S 27041 27041 8183 0 -1 1077944384 10810 0 0 0 83 1 0 0 20 0 28 0 97633420 27175628800 2351004 33554432000 4194304 4196468 140724709634384 140348988819824 140350791678594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27061] ppid=27041 vsize=26538700 memory=9403608 CPUtime=0 cores=0-7
/proc/27043/task/27061/stat : 27061 (java) S 27041 27041 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97633420 27175628800 2351004 33554432000 4194304 4196468 140724709634384 140348987767520 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27062] ppid=27041 vsize=26538700 memory=1384 CPUtime=0.1 cores=0-7
/proc/27043/task/27062/stat : 27062 (java) S 27041 27041 8183 0 -1 1077944384 779 0 0 0 4 6 0 0 20 0 28 0 97633420 27175628800 2351004 33554432000 4194304 4196468 140724709634384 140348986715056 140350791678594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27063] ppid=27041 vsize=26538700 memory=9403608 CPUtime=44.37 cores=0-7
/proc/27043/task/27063/stat : 27063 (java) R 27041 27041 8183 0 -1 4202560 3894 0 0 0 4397 40 0 0 20 0 28 0 97650652 27175628800 2351004 33554432000 4194304 4196468 140724709634384 140348978703400 140350428951632 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27064] ppid=27041 vsize=26538700 memory=1384 CPUtime=44.85 cores=0-7
/proc/27043/task/27064/stat : 27064 (java) R 27041 27041 8183 0 -1 4202560 4208 0 0 0 4456 29 0 0 20 0 28 0 97650652 27175628800 2351004 33554432000 4194304 4196468 140724709634384 140348977651744 140350428129841 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27065] ppid=27041 vsize=26538700 memory=1384 CPUtime=43.84 cores=0-7
/proc/27043/task/27065/stat : 27065 (java) R 27041 27041 8183 0 -1 4202560 3910 0 0 0 4356 28 0 0 20 0 28 0 97650652 27175628800 2351004 33554432000 4194304 4196468 140724709634384 140348976598424 140350427351315 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27066] ppid=27041 vsize=26538700 memory=1384 CPUtime=44.36 cores=0-7
/proc/27043/task/27066/stat : 27066 (java) R 27041 27041 8183 0 -1 4202560 4705 0 0 0 4418 18 0 0 20 0 28 0 97650652 27175628800 2351004 33554432000 4194304 4196468 140724709634384 140348975545864 140350425283398 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27067] ppid=27041 vsize=26538700 memory=4068 CPUtime=44.7 cores=0-7
/proc/27043/task/27067/stat : 27067 (java) R 27041 27041 8183 0 -1 4202560 5972 0 0 0 4455 15 0 0 20 0 28 0 97650652 27175628800 2351004 33554432000 4194304 4196468 140724709634384 140348974493144 140350427351315 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27068] ppid=27041 vsize=26538700 memory=4089 CPUtime=44.35 cores=0-7
/proc/27043/task/27068/stat : 27068 (java) R 27041 27041 8183 0 -1 4202560 2856 0 0 0 4413 22 0 0 20 0 28 0 97650652 27175628800 2351004 33554432000 4194304 4196468 140724709634384 140348973440792 140350427351805 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27069] ppid=27041 vsize=26538700 memory=4043 CPUtime=44.56 cores=0-7
/proc/27043/task/27069/stat : 27069 (java) R 27041 27041 8183 0 -1 4202560 4709 0 0 0 4435 21 0 0 20 0 28 0 97650652 27175628800 2351004 33554432000 4194304 4196468 140724709634384 140348972390864 140350425416701 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27070] ppid=27041 vsize=26538700 memory=9403580 CPUtime=44.05 cores=0-7
/proc/27043/task/27070/stat : 27070 (java) R 27041 27041 8183 0 -1 4202560 3540 0 0 0 4387 18 0 0 20 0 28 0 97650652 27175628800 2351004 33554432000 4194304 4196468 140724709634384 140348971335368 140350427696463 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
Current children cumulated CPU time: 619.45 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 9405400 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 7.03 6.18 6.88 9/208 27077
/proc/meminfo: memFree=22199160/32770624 swapFree=67108860/67108860
[pid=27041] ppid=27038 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27041/stat : 27041 (xcsp3-exec) S 27038 27041 8183 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97633414 9740288 346 33554432000 4194304 5098028 140726627365040 140726627363144 140530958770812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18391040 140726627374188 140726627374396 140726627374396 140726627377131 0
/proc/27041/statm: 2378 346 289 221 0 87 0
[pid=27043] ppid=27041 vsize=26538700 memory=9404972 CPUtime=856.43 cores=0-7
/proc/27043/stat : 27043 (java) S 27041 27041 8183 0 -1 1077944320 223620 0 0 0 83662 1981 0 0 20 0 28 0 97633414 27175628800 2351243 33554432000 4194304 4196468 140724709634384 140724709616928 140350791667447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
/proc/27043/statm: 6634675 2351243 3304 1 0 6621909 0
[pid=27043/tid=27044] ppid=27041 vsize=26538700 memory=15876 CPUtime=160.92 cores=0-7
/proc/27043/task/27044/stat : 27044 (java) S 27041 27041 8183 0 -1 1077944384 15376 0 0 0 16084 8 0 0 20 0 28 0 97633415 27175628800 2351243 33554432000 4194304 4196468 140724709634384 140350795908224 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27045] ppid=27041 vsize=26538700 memory=1296 CPUtime=11.44 cores=0-7
/proc/27043/task/27045/stat : 27045 (java) S 27041 27041 8183 0 -1 1077944384 12624 0 0 0 919 225 0 0 20 0 28 0 97633415 27175628800 2351243 33554432000 4194304 4196468 140724709634384 140350744288016 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27046] ppid=27041 vsize=26538700 memory=2336 CPUtime=11.56 cores=0-7
/proc/27043/task/27046/stat : 27046 (java) S 27041 27041 8183 0 -1 1077944384 9001 0 0 0 933 223 0 0 20 0 28 0 97633415 27175628800 2351243 33554432000 4194304 4196468 140724709634384 140350743235472 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27047] ppid=27041 vsize=26538700 memory=-7003737579269690708 CPUtime=11.59 cores=0-7
/proc/27043/task/27047/stat : 27047 (java) S 27041 27041 8183 0 -1 1077944384 14806 0 0 0 929 230 0 0 20 0 28 0 97633415 27175628800 2351243 33554432000 4194304 4196468 140724709634384 140350742182928 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27048] ppid=27041 vsize=26538700 memory=1012 CPUtime=11.56 cores=0-7
/proc/27043/task/27048/stat : 27048 (java) S 27041 27041 8183 0 -1 1077944384 8288 0 0 0 943 213 0 0 20 0 28 0 97633415 27175628800 2351243 33554432000 4194304 4196468 140724709634384 140350741130384 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27049] ppid=27041 vsize=26538700 memory=1716 CPUtime=11.48 cores=0-7
/proc/27043/task/27049/stat : 27049 (java) S 27041 27041 8183 0 -1 1077944384 9032 0 0 0 941 207 0 0 20 0 28 0 97633415 27175628800 2351243 33554432000 4194304 4196468 140724709634384 140350346098960 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27050] ppid=27041 vsize=26538700 memory=5792 CPUtime=11.53 cores=0-7
/proc/27043/task/27050/stat : 27050 (java) S 27041 27041 8183 0 -1 1077944384 13882 0 0 0 938 215 0 0 20 0 28 0 97633415 27175628800 2351243 33554432000 4194304 4196468 140724709634384 140350345046416 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27051] ppid=27041 vsize=26538700 memory=4616 CPUtime=11.49 cores=0-7
/proc/27043/task/27051/stat : 27051 (java) S 27041 27041 8183 0 -1 1077944384 8620 0 0 0 931 218 0 0 20 0 28 0 97633415 27175628800 2351243 33554432000 4194304 4196468 140724709634384 140350343993872 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27052] ppid=27041 vsize=26538700 memory=792 CPUtime=11.45 cores=0-7
/proc/27043/task/27052/stat : 27052 (java) S 27041 27041 8183 0 -1 1077944384 14454 0 0 0 928 217 0 0 20 0 28 0 97633415 27175628800 2351243 33554432000 4194304 4196468 140724709634384 140350342941328 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27053] ppid=27041 vsize=26538700 memory=1420 CPUtime=4.43 cores=0-7
/proc/27043/task/27053/stat : 27053 (java) S 27041 27041 8183 0 -1 1077944384 20422 0 0 0 434 9 0 0 20 0 28 0 97633417 27175628800 2351243 33554432000 4194304 4196468 140724709634384 140349063756272 140350791678594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27054] ppid=27041 vsize=26538700 memory=13040 CPUtime=0 cores=0-7
/proc/27043/task/27054/stat : 27054 (java) S 27041 27041 8183 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 28 0 97633417 27175628800 2351243 33554432000 4194304 4196468 140724709634384 140348995134944 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27055] ppid=27041 vsize=26538700 memory=1944 CPUtime=0 cores=0-7
/proc/27043/task/27055/stat : 27055 (java) S 27041 27041 8183 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 28 0 97633417 27175628800 2351243 33554432000 4194304 4196468 140724709634384 140348994082304 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27056] ppid=27041 vsize=26538700 memory=1196 CPUtime=0 cores=0-7
/proc/27043/task/27056/stat : 27056 (java) S 27041 27041 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97633420 27175628800 2351243 33554432000 4194304 4196468 140724709634384 140348993030864 140350791686043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27057] ppid=27041 vsize=26538700 memory=8548 CPUtime=2.43 cores=0-7
/proc/27043/task/27057/stat : 27057 (java) S 27041 27041 8183 0 -1 1077944384 14867 0 0 0 238 5 0 0 20 0 28 0 97633420 27175628800 2351243 33554432000 4194304 4196468 140724709634384 140348991977456 140350791678594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27058] ppid=27041 vsize=26538700 memory=6791534058613427641 CPUtime=2.73 cores=0-7
/proc/27043/task/27058/stat : 27058 (java) S 27041 27041 8183 0 -1 1077944384 16327 0 0 0 270 3 0 0 20 0 28 0 97633420 27175628800 2351243 33554432000 4194304 4196468 140724709634384 140348990924912 140350791678594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27059] ppid=27041 vsize=26538700 memory=15836 CPUtime=2.59 cores=0-7
/proc/27043/task/27059/stat : 27059 (java) S 27041 27041 8183 0 -1 1077944384 14751 0 0 0 256 3 0 0 20 0 28 0 97633420 27175628800 2351243 33554432000 4194304 4196468 140724709634384 140348989872368 140350791678594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27060] ppid=27041 vsize=26538700 memory=4040 CPUtime=0.84 cores=0-7
/proc/27043/task/27060/stat : 27060 (java) S 27041 27041 8183 0 -1 1077944384 11631 0 0 0 83 1 0 0 20 0 28 0 97633420 27175628800 2351243 33554432000 4194304 4196468 140724709634384 140348988819824 140350791678594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27061] ppid=27041 vsize=26538700 memory=1236 CPUtime=0 cores=0-7
/proc/27043/task/27061/stat : 27061 (java) S 27041 27041 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97633420 27175628800 2351243 33554432000 4194304 4196468 140724709634384 140348987767520 140350791677653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27062] ppid=27041 vsize=26538700 memory=644 CPUtime=0.1 cores=0-7
/proc/27043/task/27062/stat : 27062 (java) S 27041 27041 8183 0 -1 1077944384 809 0 0 0 4 6 0 0 20 0 28 0 97633420 27175628800 2351243 33554432000 4194304 4196468 140724709634384 140348986715056 140350791678594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27063] ppid=27041 vsize=26538700 memory=1788 CPUtime=73.83 cores=0-7
/proc/27043/task/27063/stat : 27063 (java) R 27041 27041 8183 0 -1 4202560 4482 0 0 0 7343 40 0 0 20 0 28 0 97650652 27175628800 2351243 33554432000 4194304 4196468 140724709634384 140348978703376 140350427351093 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27064] ppid=27041 vsize=26538700 memory=956 CPUtime=73.69 cores=0-7
/proc/27043/task/27064/stat : 27064 (java) R 27041 27041 8183 0 -1 4202560 4514 0 0 0 7340 29 0 0 20 0 28 0 97650652 27175628800 2351243 33554432000 4194304 4196468 140724709634384 140348977651976 140350428129822 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27065] ppid=27041 vsize=26538700 memory=2344 CPUtime=73.29 cores=0-7
/proc/27043/task/27065/stat : 27065 (java) R 27041 27041 8183 0 -1 4202560 4493 0 0 0 7301 28 0 0 20 0 28 0 97650652 27175628800 2351243 33554432000 4194304 4196468 140724709634384 140348976598288 140350425283579 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27066] ppid=27041 vsize=26538700 memory=928 CPUtime=73.8 cores=0-7
/proc/27043/task/27066/stat : 27066 (java) R 27041 27041 8183 0 -1 4202560 5417 0 0 0 7362 18 0 0 20 0 28 0 97650652 27175628800 2351243 33554432000 4194304 4196468 140724709634384 140348975545864 140350427351962 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27067] ppid=27041 vsize=26538700 memory=1568 CPUtime=74.15 cores=0-7
/proc/27043/task/27067/stat : 27067 (java) R 27041 27041 8183 0 -1 4202560 6250 0 0 0 7400 15 0 0 20 0 28 0 97650652 27175628800 2351243 33554432000 4194304 4196468 140724709634384 140348974493320 140350427351327 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27068] ppid=27041 vsize=26538700 memory=2240 CPUtime=73.79 cores=0-7
/proc/27043/task/27068/stat : 27068 (java) R 27041 27041 8183 0 -1 4202560 3153 0 0 0 7357 22 0 0 20 0 28 0 97650652 27175628800 2351243 33554432000 4194304 4196468 140724709634384 140348973440544 140350428839658 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27069] ppid=27041 vsize=26538700 memory=4128 CPUtime=74 cores=0-7
/proc/27043/task/27069/stat : 27069 (java) R 27041 27041 8183 0 -1 4202560 4893 0 0 0 7379 21 0 0 20 0 28 0 97650652 27175628800 2351243 33554432000 4194304 4196468 140724709634384 140348972388248 140350428131387 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
[pid=27043/tid=27070] ppid=27041 vsize=26538700 memory=6791534058613427641 CPUtime=73.51 cores=0-7
/proc/27043/task/27070/stat : 27070 (java) R 27041 27041 8183 0 -1 4202560 4037 0 0 0 7332 19 0 0 20 0 28 0 97650652 27175628800 2351243 33554432000 4194304 4196468 140724709634384 140348971335248 140350425283582 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140724709643416 140724709643592 140724709643592 140724709646287 0
Current children cumulated CPU time: 856.43 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 9406356 KiB

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

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

[startup+252.139 s]
# the end of solver process 27043 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=837.28 s, system=19.8574 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): 252.139
CPU time (s): 857.138
CPU user time (s): 837.28
CPU system time (s): 19.8574
CPU usage (%): 339.947
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 9406356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 837.28
system time used= 19.8574
maximum resident set size= 9405892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224604
page faults= 0
swaps= 0
block input operations= 0
block output operations= 504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16170
involuntary context switches= 9688


# summary of solver processes directly reported to runsolver:
#   pid: 27041,27043
#   total CPU time (s): 857.138
#   total CPU user time (s): 837.28
#   total CPU system time (s): 19.8574

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.00658 second user time and 2.58744 second system time

The end

Launcher Data 

Begin job on node103 at 2017-08-13 19:16:33
IDJOB=4254436
IDBENCH=137011
IDSOLVER=2636
FILE ID=node103/4254436-1502645452
RUNJOBID= node103-1502637526-8210
PBS_JOBID= 20628330
Free space on /tmp= 61792 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/BinPacking/BinPacking-tab-fu/BinPacking-tab-fu0250-08.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-4254436-1502645452/watcher-4254436-1502645452 -o /tmp/evaluation-result-4254436-1502645452/solver-4254436-1502645452 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502637526-8210 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 70094962 HOME/instance-4254436-1502645452.xml

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

MD5SUM BENCH= 52402e3ba0658144258f494f3b2bc7f2
RANDOM SEED=70094962

node103.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.56
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.56
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.56
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.56
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:        31609696 kB
MemAvailable:   31994816 kB
Buffers:          110052 kB
Cached:           569752 kB
SwapCached:            0 kB
Active:           526600 kB
Inactive:         208616 kB
Active(anon):       4824 kB
Inactive(anon):    78632 kB
Active(file):     521776 kB
Inactive(file):   129984 kB
Unevictable:        6420 kB
Mlocked:            6420 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8956 kB
Writeback:             0 kB
AnonPages:         60980 kB
Mapped:            43724 kB
Shmem:             25228 kB
Slab:             124560 kB
SReclaimable:      98388 kB
SUnreclaim:        26172 kB
KernelStack:        3184 kB
PageTables:         5144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61784 MiB
End job on node103 at 2017-08-13 19:20:46