Trace number 4281285

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) 850.00299 252.172

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-4281285-1503187822.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4281285-1503187822.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.32/0.26	c parse instance...
224.94/172.90	c solve instance...
849.21/252.08	s UNKNOWN
849.21/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 (12774 MiB free)
  memory of node 1: 16384 MiB (12129 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281285-1503187822/watcher-4281285-1503187822 -o /tmp/evaluation-result-4281285-1503187822/solver-4281285-1503187822 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503186455-14895 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 600636437 HOME/instance-4281285-1503187822.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=15215, runsolver pid=15212
Current StackSize limit: 8192 KiB


[startup+0.100147 s]*
/proc/loadavg: 8.60 7.84 7.88 3/199 15236
/proc/meminfo: memFree=25485688/32770624 swapFree=67108860/67108860
[pid=15215] ppid=15212 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15215/stat : 15215 (xcsp3-exec) S 15212 15215 14868 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151863037 9740288 346 33554432000 4194304 5098028 140729156225360 140729156223464 139898616418940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36737024 140729156232299 140729156232508 140729156232508 140729156235243 0
/proc/15215/statm: 2378 346 289 221 0 87 0
[pid=15217] ppid=15215 vsize=25999808 memory=26880 CPUtime=0.12 cores=0-7
/proc/15217/stat : 15217 (java) S 15215 15215 14868 0 -1 1077944320 5583 0 0 0 10 2 0 0 20 0 20 0 151863037 26623803392 6720 33554432000 4194304 4196468 140736715898336 140736715880880 140497060986615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
/proc/15217/statm: 6499952 6720 2879 1 0 6488269 0
[pid=15217/tid=15218] ppid=15215 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/15217/task/15218/stat : 15218 (java) R 15215 15215 14868 0 -1 4202560 3596 0 0 0 8 1 0 0 20 0 20 0 151863037 26623803392 6720 33554432000 4194304 4196468 140736715898336 140497065219888 140497060998550 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15219] ppid=15215 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/15217/task/15219/stat : 15219 (java) S 15215 15215 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151863038 26623803392 6720 33554432000 4194304 4196468 140736715898336 140496983567376 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15220] ppid=15215 vsize=25999808 memory=140151345542784 CPUtime=0 cores=0-7
/proc/15217/task/15220/stat : 15220 (java) S 15215 15215 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151863038 26623803392 6720 33554432000 4194304 4196468 140736715898336 140496982514832 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15221] ppid=15215 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15221/stat : 15221 (java) S 15215 15215 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151863038 26623803392 6720 33554432000 4194304 4196468 140736715898336 140496981461776 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15222] ppid=15215 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15222/stat : 15222 (java) S 15215 15215 14868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151863038 26623803392 6720 33554432000 4194304 4196468 140736715898336 140496980409232 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15223] ppid=15215 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15223/stat : 15223 (java) S 15215 15215 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151863038 26623803392 6720 33554432000 4194304 4196468 140736715898336 140496979356176 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15224] ppid=15215 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/15217/task/15224/stat : 15224 (java) S 15215 15215 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151863038 26623803392 6720 33554432000 4194304 4196468 140736715898336 140496978303632 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15225] ppid=15215 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15225/stat : 15225 (java) S 15215 15215 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151863038 26623803392 6720 33554432000 4194304 4196468 140736715898336 140496977250576 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15226] ppid=15215 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15226/stat : 15226 (java) S 15215 15215 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151863038 26623803392 6720 33554432000 4194304 4196468 140736715898336 140496976198032 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15227] ppid=15215 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15227/stat : 15227 (java) S 15215 15215 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151863039 26623803392 6720 33554432000 4194304 4196468 140736715898336 140495735905008 140497060997762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15228] ppid=15215 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15228/stat : 15228 (java) S 15215 15215 14868 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151863040 26623803392 6720 33554432000 4194304 4196468 140736715898336 140495734851232 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15229] ppid=15215 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15229/stat : 15229 (java) S 15215 15215 14868 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151863040 26623803392 6720 33554432000 4194304 4196468 140736715898336 140495733798128 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15230] ppid=15215 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15230/stat : 15230 (java) S 15215 15215 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151863042 26623803392 6720 33554432000 4194304 4196468 140736715898336 140495732746704 140497061005211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15231] ppid=15215 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15231/stat : 15231 (java) S 15215 15215 14868 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 20 0 151863043 26623803392 6720 33554432000 4194304 4196468 140736715898336 140495731693808 140497060997762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15232] ppid=15215 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15232/stat : 15232 (java) S 15215 15215 14868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151863043 26623803392 6720 33554432000 4194304 4196468 140736715898336 140495730641264 140497060997762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15233] ppid=15215 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15233/stat : 15233 (java) S 15215 15215 14868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151863043 26623803392 6720 33554432000 4194304 4196468 140736715898336 140495729588208 140497060997762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15234] ppid=15215 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/15217/task/15234/stat : 15234 (java) R 15215 15215 14868 0 -1 4202560 256 0 0 0 1 0 0 0 20 0 20 0 151863043 26623803392 6720 33554432000 4194304 4196468 140736715898336 140495728535664 140497061007962 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15235] ppid=15215 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15235/stat : 15235 (java) S 15215 15215 14868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151863043 26623803392 6720 33554432000 4194304 4196468 140736715898336 140495727483872 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15236] ppid=15215 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/15217/task/15236/stat : 15236 (java) S 15215 15215 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151863043 26623803392 6720 33554432000 4194304 4196468 140736715898336 140495726431408 140497060997762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28264 KiB

[startup+0.20982 s]*
/proc/loadavg: 8.60 7.84 7.88 4/199 15236
/proc/meminfo: memFree=25474756/32770624 swapFree=67108860/67108860
[pid=15215] ppid=15212 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15215/stat : 15215 (xcsp3-exec) S 15212 15215 14868 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151863037 9740288 346 33554432000 4194304 5098028 140729156225360 140729156223464 139898616418940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36737024 140729156232299 140729156232508 140729156232508 140729156235243 0
/proc/15215/statm: 2378 346 289 221 0 87 0
[pid=15217] ppid=15215 vsize=26004064 memory=38980 CPUtime=0.32 cores=0-7
/proc/15217/stat : 15217 (java) S 15215 15215 14868 0 -1 1077944320 8295 0 0 0 29 3 0 0 20 0 20 0 151863037 26628161536 9745 33554432000 4194304 4196468 140736715898336 140736715880880 140497060986615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
/proc/15217/statm: 6501016 9745 3068 1 0 6488269 0
[pid=15217/tid=15218] ppid=15215 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/15217/task/15218/stat : 15218 (java) R 15215 15215 14868 0 -1 4202560 5429 0 0 0 17 2 0 0 20 0 20 0 151863037 26628161536 9745 33554432000 4194304 4196468 140736715898336 140497065207608 140497045067102 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15219] ppid=15215 vsize=26004064 memory=330 CPUtime=0 cores=0-7
/proc/15217/task/15219/stat : 15219 (java) S 15215 15215 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151863038 26628161536 9745 33554432000 4194304 4196468 140736715898336 140496983567376 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15220] ppid=15215 vsize=26004064 memory=140151345558258 CPUtime=0 cores=0-7
/proc/15217/task/15220/stat : 15220 (java) S 15215 15215 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151863038 26628161536 9745 33554432000 4194304 4196468 140736715898336 140496982514832 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15221] ppid=15215 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15217/task/15221/stat : 15221 (java) S 15215 15215 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151863038 26628161536 9745 33554432000 4194304 4196468 140736715898336 140496981461776 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15222] ppid=15215 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15222/stat : 15222 (java) S 15215 15215 14868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151863038 26628161536 9745 33554432000 4194304 4196468 140736715898336 140496980409232 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15223] ppid=15215 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15223/stat : 15223 (java) S 15215 15215 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151863038 26628161536 9745 33554432000 4194304 4196468 140736715898336 140496979356176 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15224] ppid=15215 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15217/task/15224/stat : 15224 (java) S 15215 15215 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151863038 26628161536 9745 33554432000 4194304 4196468 140736715898336 140496978303632 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15225] ppid=15215 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15225/stat : 15225 (java) S 15215 15215 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151863038 26628161536 9745 33554432000 4194304 4196468 140736715898336 140496977250576 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15226] ppid=15215 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15226/stat : 15226 (java) S 15215 15215 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151863038 26628161536 9745 33554432000 4194304 4196468 140736715898336 140496976198032 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15227] ppid=15215 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15227/stat : 15227 (java) S 15215 15215 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151863039 26628161536 9745 33554432000 4194304 4196468 140736715898336 140495735905008 140497060997762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15228] ppid=15215 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15228/stat : 15228 (java) S 15215 15215 14868 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151863040 26628161536 9745 33554432000 4194304 4196468 140736715898336 140495734851232 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15229] ppid=15215 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15229/stat : 15229 (java) S 15215 15215 14868 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151863040 26628161536 9745 33554432000 4194304 4196468 140736715898336 140495733798128 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15230] ppid=15215 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15230/stat : 15230 (java) S 15215 15215 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151863042 26628161536 9745 33554432000 4194304 4196468 140736715898336 140495732746704 140497061005211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15231] ppid=15215 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15231/stat : 15231 (java) S 15215 15215 14868 0 -1 1077944384 480 0 0 0 0 0 0 0 20 0 20 0 151863043 26628161536 9745 33554432000 4194304 4196468 140736715898336 140495731693808 140497060997762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15232] ppid=15215 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/15217/task/15232/stat : 15232 (java) S 15215 15215 14868 0 -1 1077944384 146 0 0 0 2 0 0 0 20 0 20 0 151863043 26628161536 9745 33554432000 4194304 4196468 140736715898336 140495730641264 140497060997762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15233] ppid=15215 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/15217/task/15233/stat : 15233 (java) S 15215 15215 14868 0 -1 1077944384 197 0 0 0 1 0 0 0 20 0 20 0 151863043 26628161536 9745 33554432000 4194304 4196468 140736715898336 140495729588208 140497060997762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15234] ppid=15215 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/15217/task/15234/stat : 15234 (java) R 15215 15215 14868 0 -1 4202560 735 0 0 0 7 0 0 0 20 0 20 0 151863043 26628161536 9745 33554432000 4194304 4196468 140736715898336 140495728535664 140497053223742 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15235] ppid=15215 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15235/stat : 15235 (java) S 15215 15215 14868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151863043 26628161536 9745 33554432000 4194304 4196468 140736715898336 140495727483872 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15236] ppid=15215 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15217/task/15236/stat : 15236 (java) S 15215 15215 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151863043 26628161536 9745 33554432000 4194304 4196468 140736715898336 140495726431408 140497060997762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40364 KiB

[startup+0.30945 s]*
/proc/loadavg: 8.60 7.84 7.88 3/199 15236
/proc/meminfo: memFree=25468304/32770624 swapFree=67108860/67108860
[pid=15215] ppid=15212 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15215/stat : 15215 (xcsp3-exec) S 15212 15215 14868 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151863037 9740288 346 33554432000 4194304 5098028 140729156225360 140729156223464 139898616418940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36737024 140729156232299 140729156232508 140729156232508 140729156235243 0
/proc/15215/statm: 2378 346 289 221 0 87 0
[pid=15217] ppid=15215 vsize=26004064 memory=45916 CPUtime=0.49 cores=0-7
/proc/15217/stat : 15217 (java) S 15215 15215 14868 0 -1 1077944320 9168 0 0 0 45 4 0 0 20 0 20 0 151863037 26628161536 11479 33554432000 4194304 4196468 140736715898336 140736715880880 140497060986615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
/proc/15217/statm: 6501016 11479 3105 1 0 6488269 0
[pid=15217/tid=15218] ppid=15215 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/15217/task/15218/stat : 15218 (java) R 15215 15215 14868 0 -1 4202560 6094 0 0 0 27 2 0 0 20 0 20 0 151863037 26628161536 11479 33554432000 4194304 4196468 140736715898336 140497065217520 140497061008541 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15219] ppid=15215 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15219/stat : 15219 (java) S 15215 15215 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151863038 26628161536 11479 33554432000 4194304 4196468 140736715898336 140496983567376 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15220] ppid=15215 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15220/stat : 15220 (java) S 15215 15215 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151863038 26628161536 11479 33554432000 4194304 4196468 140736715898336 140496982514832 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15221] ppid=15215 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15221/stat : 15221 (java) S 15215 15215 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151863038 26628161536 11479 33554432000 4194304 4196468 140736715898336 140496981461776 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15222] ppid=15215 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15222/stat : 15222 (java) S 15215 15215 14868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151863038 26628161536 11479 33554432000 4194304 4196468 140736715898336 140496980409232 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15223] ppid=15215 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/15217/task/15223/stat : 15223 (java) S 15215 15215 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151863038 26628161536 11479 33554432000 4194304 4196468 140736715898336 140496979356176 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15224] ppid=15215 vsize=26004064 memory=140151225414575 CPUtime=0 cores=0-7
/proc/15217/task/15224/stat : 15224 (java) S 15215 15215 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151863038 26628161536 11479 33554432000 4194304 4196468 140736715898336 140496978303632 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15225] ppid=15215 vsize=26004064 memory=140151225416880 CPUtime=0 cores=0-7
/proc/15217/task/15225/stat : 15225 (java) S 15215 15215 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151863038 26628161536 11479 33554432000 4194304 4196468 140736715898336 140496977250576 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15226] ppid=15215 vsize=26004064 memory=140151225419184 CPUtime=0 cores=0-7
/proc/15217/task/15226/stat : 15226 (java) S 15215 15215 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151863038 26628161536 11479 33554432000 4194304 4196468 140736715898336 140496976198032 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15227] ppid=15215 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15227/stat : 15227 (java) S 15215 15215 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151863039 26628161536 11479 33554432000 4194304 4196468 140736715898336 140495735905008 140497060997762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15228] ppid=15215 vsize=26004064 memory=280302450845328 CPUtime=0 cores=0-7
/proc/15217/task/15228/stat : 15228 (java) S 15215 15215 14868 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151863040 26628161536 11479 33554432000 4194304 4196468 140736715898336 140495734851232 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15229] ppid=15215 vsize=26004064 memory=280302450852240 CPUtime=0 cores=0-7
/proc/15217/task/15229/stat : 15229 (java) S 15215 15215 14868 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151863040 26628161536 11479 33554432000 4194304 4196468 140736715898336 140495733798128 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15230] ppid=15215 vsize=26004064 memory=280302450793520 CPUtime=0 cores=0-7
/proc/15217/task/15230/stat : 15230 (java) S 15215 15215 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151863042 26628161536 11479 33554432000 4194304 4196468 140736715898336 140495732746704 140497061005211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15231] ppid=15215 vsize=26004064 memory=280302450866064 CPUtime=0.01 cores=0-7
/proc/15217/task/15231/stat : 15231 (java) R 15215 15215 14868 0 -1 4202560 497 0 0 0 1 0 0 0 20 0 20 0 151863043 26628161536 11479 33554432000 4194304 4196468 140736715898336 140495731693808 140497041622588 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15232] ppid=15215 vsize=26004064 memory=280302450872976 CPUtime=0.02 cores=0-7
/proc/15217/task/15232/stat : 15232 (java) R 15215 15215 14868 0 -1 4202560 147 0 0 0 2 0 0 0 20 0 20 0 151863043 26628161536 11479 33554432000 4194304 4196468 140736715898336 140495730641264 140497040376232 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15233] ppid=15215 vsize=26004064 memory=280302450870672 CPUtime=0.02 cores=0-7
/proc/15217/task/15233/stat : 15233 (java) S 15215 15215 14868 0 -1 1077944384 290 0 0 0 2 0 0 0 20 0 20 0 151863043 26628161536 11479 33554432000 4194304 4196468 140736715898336 140495729588208 140497060997762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15234] ppid=15215 vsize=26004064 memory=280302450886832 CPUtime=0.11 cores=0-7
/proc/15217/task/15234/stat : 15234 (java) S 15215 15215 14868 0 -1 1077944384 832 0 0 0 11 0 0 0 20 0 20 0 151863043 26628161536 11479 33554432000 4194304 4196468 140736715898336 140495728535664 140497060997762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15235] ppid=15215 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15235/stat : 15235 (java) S 15215 15215 14868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151863043 26628161536 11479 33554432000 4194304 4196468 140736715898336 140495727483872 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15236] ppid=15215 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/15217/task/15236/stat : 15236 (java) S 15215 15215 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151863043 26628161536 11479 33554432000 4194304 4196468 140736715898336 140495726431408 140497060997762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47300 KiB

[startup+0.700953 s]
/proc/loadavg: 8.60 7.84 7.88 5/199 15236
/proc/meminfo: memFree=25420264/32770624 swapFree=67108860/67108860
[pid=15215] ppid=15212 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15215/stat : 15215 (xcsp3-exec) S 15212 15215 14868 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151863037 9740288 346 33554432000 4194304 5098028 140729156225360 140729156223464 139898616418940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36737024 140729156232299 140729156232508 140729156232508 140729156235243 0
/proc/15215/statm: 2378 346 289 221 0 87 0
[pid=15217] ppid=15215 vsize=26004140 memory=161064 CPUtime=1.57 cores=0-7
/proc/15217/stat : 15217 (java) S 15215 15215 14868 0 -1 1077944320 12344 0 0 0 151 6 0 0 20 0 20 0 151863037 26628239360 40266 33554432000 4194304 4196468 140736715898336 140736715880880 140497060986615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
/proc/15217/statm: 6501035 40266 3194 1 0 6488269 0
[pid=15217/tid=15218] ppid=15215 vsize=26004140 memory=280302451244720 CPUtime=0.67 cores=0-7
/proc/15217/task/15218/stat : 15218 (java) R 15215 15215 14868 0 -1 4202560 6504 0 0 0 63 4 0 0 20 0 20 0 151863037 26628239360 40266 33554432000 4194304 4196468 140736715898336 140497065220528 140497043449494 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15219] ppid=15215 vsize=26004140 memory=140151225623408 CPUtime=0 cores=0-7
/proc/15217/task/15219/stat : 15219 (java) S 15215 15215 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151863038 26628239360 40266 33554432000 4194304 4196468 140736715898336 140496983567376 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15220] ppid=15215 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15220/stat : 15220 (java) S 15215 15215 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151863038 26628239360 40266 33554432000 4194304 4196468 140736715898336 140496982514832 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15221] ppid=15215 vsize=26004140 memory=1204 CPUtime=0 cores=0-7
/proc/15217/task/15221/stat : 15221 (java) S 15215 15215 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151863038 26628239360 40266 33554432000 4194304 4196468 140736715898336 140496981461776 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0

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

/proc/meminfo: memFree=16327628/32770624 swapFree=67108860/67108860
[pid=15215] ppid=15212 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15215/stat : 15215 (xcsp3-exec) S 15212 15215 14868 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151863037 9740288 346 33554432000 4194304 5098028 140729156225360 140729156223464 139898616418940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36737024 140729156232299 140729156232508 140729156232508 140729156235243 0
/proc/15215/statm: 2378 346 289 221 0 87 0
[pid=15217] ppid=15215 vsize=26538700 memory=9169368 CPUtime=612.58 cores=0-7
/proc/15217/stat : 15217 (java) S 15215 15215 14868 0 -1 1077944320 324022 0 0 0 59164 2094 0 0 20 0 28 0 151863037 27175628800 2292342 33554432000 4194304 4196468 140736715898336 140736715880880 140497060986615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
/proc/15217/statm: 6634675 2292342 3305 1 0 6621909 0
[pid=15217/tid=15218] ppid=15215 vsize=26538700 memory=9169368 CPUtime=162.92 cores=0-7
/proc/15217/task/15218/stat : 15218 (java) S 15215 15215 14868 0 -1 1077944384 14778 0 0 0 16283 9 0 0 20 0 28 0 151863037 27175628800 2292342 33554432000 4194304 4196468 140736715898336 140497065227392 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15219] ppid=15215 vsize=26538700 memory=9169368 CPUtime=8.05 cores=0-7
/proc/15217/task/15219/stat : 15219 (java) S 15215 15215 14868 0 -1 1077944384 25464 0 0 0 583 222 0 0 20 0 28 0 151863038 27175628800 2292342 33554432000 4194304 4196468 140736715898336 140496983567376 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15220] ppid=15215 vsize=26538700 memory=9169476 CPUtime=7.97 cores=0-7
/proc/15217/task/15220/stat : 15220 (java) S 15215 15215 14868 0 -1 1077944384 18689 0 0 0 573 224 0 0 20 0 28 0 151863038 27175628800 2292342 33554432000 4194304 4196468 140736715898336 140496982514832 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15221] ppid=15215 vsize=26538700 memory=1384 CPUtime=8.13 cores=0-7
/proc/15217/task/15221/stat : 15221 (java) S 15215 15215 14868 0 -1 1077944384 17485 0 0 0 564 249 0 0 20 0 28 0 151863038 27175628800 2292342 33554432000 4194304 4196468 140736715898336 140496981461776 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15222] ppid=15215 vsize=26538700 memory=9169368 CPUtime=8.09 cores=0-7
/proc/15217/task/15222/stat : 15222 (java) S 15215 15215 14868 0 -1 1077944384 17849 0 0 0 553 256 0 0 20 0 28 0 151863038 27175628800 2292342 33554432000 4194304 4196468 140736715898336 140496980409232 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15223] ppid=15215 vsize=26538700 memory=9169368 CPUtime=8.08 cores=0-7
/proc/15217/task/15223/stat : 15223 (java) S 15215 15215 14868 0 -1 1077944384 20176 0 0 0 572 236 0 0 20 0 28 0 151863038 27175628800 2292342 33554432000 4194304 4196468 140736715898336 140496979356176 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15224] ppid=15215 vsize=26538700 memory=9169368 CPUtime=7.98 cores=0-7
/proc/15217/task/15224/stat : 15224 (java) S 15215 15215 14868 0 -1 1077944384 19428 0 0 0 581 217 0 0 20 0 28 0 151863038 27175628800 2292342 33554432000 4194304 4196468 140736715898336 140496978303632 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15225] ppid=15215 vsize=26538700 memory=1384 CPUtime=8.06 cores=0-7
/proc/15217/task/15225/stat : 15225 (java) S 15215 15215 14868 0 -1 1077944384 16067 0 0 0 575 231 0 0 20 0 28 0 151863038 27175628800 2292342 33554432000 4194304 4196468 140736715898336 140496977250576 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15226] ppid=15215 vsize=26538700 memory=1384 CPUtime=8.11 cores=0-7
/proc/15217/task/15226/stat : 15226 (java) S 15215 15215 14868 0 -1 1077944384 20548 0 0 0 570 241 0 0 20 0 28 0 151863038 27175628800 2292342 33554432000 4194304 4196468 140736715898336 140496976198032 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15227] ppid=15215 vsize=26538700 memory=0 CPUtime=3.49 cores=0-7
/proc/15217/task/15227/stat : 15227 (java) S 15215 15215 14868 0 -1 1077944384 14717 0 0 0 335 14 0 0 20 0 28 0 151863039 27175628800 2292342 33554432000 4194304 4196468 140736715898336 140495735905008 140497060997762 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15228] ppid=15215 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/15217/task/15228/stat : 15228 (java) S 15215 15215 14868 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 151863040 27175628800 2292342 33554432000 4194304 4196468 140736715898336 140495734851296 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15229] ppid=15215 vsize=26538700 memory=242 CPUtime=0 cores=0-7
/proc/15217/task/15229/stat : 15229 (java) S 15215 15215 14868 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 28 0 151863040 27175628800 2292342 33554432000 4194304 4196468 140736715898336 140495733798144 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15230] ppid=15215 vsize=26538700 memory=81 CPUtime=0 cores=0-7
/proc/15217/task/15230/stat : 15230 (java) S 15215 15215 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151863042 27175628800 2292342 33554432000 4194304 4196468 140736715898336 140495732746704 140497061005211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15231] ppid=15215 vsize=26538700 memory=0 CPUtime=2.26 cores=0-7
/proc/15217/task/15231/stat : 15231 (java) S 15215 15215 14868 0 -1 1077944384 13255 0 0 0 223 3 0 0 20 0 28 0 151863043 27175628800 2292342 33554432000 4194304 4196468 140736715898336 140495731693808 140497060997762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15232] ppid=15215 vsize=26538700 memory=0 CPUtime=3.15 cores=0-7
/proc/15217/task/15232/stat : 15232 (java) S 15215 15215 14868 0 -1 1077944384 16726 0 0 0 312 3 0 0 20 0 28 0 151863043 27175628800 2292342 33554432000 4194304 4196468 140736715898336 140495730641264 140497060997762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15233] ppid=15215 vsize=26538700 memory=140151225834097 CPUtime=2.42 cores=0-7
/proc/15217/task/15233/stat : 15233 (java) S 15215 15215 14868 0 -1 1077944384 12124 0 0 0 239 3 0 0 20 0 28 0 151863043 27175628800 2292342 33554432000 4194304 4196468 140736715898336 140495729588208 140497060997762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15234] ppid=15215 vsize=26538700 memory=6656426216303648864 CPUtime=0.81 cores=0-7
/proc/15217/task/15234/stat : 15234 (java) S 15215 15215 14868 0 -1 1077944384 10856 0 0 0 79 2 0 0 20 0 28 0 151863043 27175628800 2292342 33554432000 4194304 4196468 140736715898336 140495728535664 140497060997762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15235] ppid=15215 vsize=26538700 memory=4080 CPUtime=0 cores=0-7
/proc/15217/task/15235/stat : 15235 (java) S 15215 15215 14868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151863043 27175628800 2292342 33554432000 4194304 4196468 140736715898336 140495727483872 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15236] ppid=15215 vsize=26538700 memory=932 CPUtime=0.07 cores=0-7
/proc/15217/task/15236/stat : 15236 (java) S 15215 15215 14868 0 -1 1077944384 1275 0 0 0 3 4 0 0 20 0 28 0 151863043 27175628800 2292342 33554432000 4194304 4196468 140736715898336 140495726431408 140497060997762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15238] ppid=15215 vsize=26538700 memory=1584 CPUtime=46.61 cores=0-7
/proc/15217/task/15238/stat : 15238 (java) R 15215 15215 14868 0 -1 4202560 3606 0 0 0 4620 41 0 0 20 0 28 0 151880328 27175628800 2292342 33554432000 4194304 4196468 140736715898336 140495718419400 140496658065710 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15239] ppid=15215 vsize=26538700 memory=2196 CPUtime=46.58 cores=0-7
/proc/15217/task/15239/stat : 15239 (java) R 15215 15215 14868 0 -1 4202560 4110 0 0 0 4635 23 0 0 20 0 28 0 151880328 27175628800 2292342 33554432000 4194304 4196468 140736715898336 140495717367488 140496658317097 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15240] ppid=15215 vsize=26538700 memory=4096 CPUtime=46.09 cores=0-7
/proc/15217/task/15240/stat : 15240 (java) R 15215 15215 14868 0 -1 4202560 4203 0 0 0 4577 32 0 0 20 0 28 0 151880328 27175628800 2292342 33554432000 4194304 4196468 140736715898336 140495716314888 140496658357709 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15241] ppid=15215 vsize=26538700 memory=42656 CPUtime=46.71 cores=0-7
/proc/15217/task/15241/stat : 15241 (java) R 15215 15215 14868 0 -1 4202560 3815 0 0 0 4652 19 0 0 20 0 28 0 151880328 27175628800 2292342 33554432000 4194304 4196468 140736715898336 140495715262328 140496655219768 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15242] ppid=15215 vsize=26538700 memory=9169368 CPUtime=46.87 cores=0-7
/proc/15217/task/15242/stat : 15242 (java) R 15215 15215 14868 0 -1 4202560 39741 0 0 0 4677 10 0 0 20 0 28 0 151880328 27175628800 2292342 33554432000 4194304 4196468 140736715898336 140495714209400 140496658965395 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15243] ppid=15215 vsize=26538700 memory=2428 CPUtime=46.74 cores=0-7
/proc/15217/task/15243/stat : 15243 (java) R 15215 15215 14868 0 -1 4202560 20294 0 0 0 4659 15 0 0 20 0 28 0 151880328 27175628800 2292342 33554432000 4194304 4196468 140736715898336 140495713157048 140496658317502 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15244] ppid=15215 vsize=26538700 memory=1292 CPUtime=46.51 cores=0-7
/proc/15217/task/15244/stat : 15244 (java) R 15215 15215 14868 0 -1 4202560 4326 0 0 0 4629 22 0 0 20 0 28 0 151880328 27175628800 2292342 33554432000 4194304 4196468 140736715898336 140495712104520 140496657557815 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15245] ppid=15215 vsize=26538700 memory=1004 CPUtime=46.63 cores=0-7
/proc/15217/task/15245/stat : 15245 (java) R 15215 15215 14868 0 -1 4202560 3047 0 0 0 4653 10 0 0 20 0 28 0 151880328 27175628800 2292342 33554432000 4194304 4196468 140736715898336 140495711051672 140496657553868 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
Current children cumulated CPU time: 612.58 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 9170752 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 6.54 5.69 6.87 9/207 15252
/proc/meminfo: memFree=16325644/32770624 swapFree=67108860/67108860
[pid=15215] ppid=15212 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/15215/stat : 15215 (xcsp3-exec) S 15212 15215 14868 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151863037 9740288 346 33554432000 4194304 5098028 140729156225360 140729156223464 139898616418940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36737024 140729156232299 140729156232508 140729156232508 140729156235243 0
/proc/15215/statm: 2378 346 289 221 0 87 0
[pid=15217] ppid=15215 vsize=26538700 memory=9170000 CPUtime=849.21 cores=0-7
/proc/15217/stat : 15217 (java) S 15215 15215 14868 0 -1 1077944320 368481 0 0 0 82762 2159 0 0 20 0 28 0 151863037 27175628800 2292500 33554432000 4194304 4196468 140736715898336 140736715880880 140497060986615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
/proc/15217/statm: 6634675 2292500 3305 1 0 6621909 0
[pid=15217/tid=15218] ppid=15215 vsize=26538700 memory=4616 CPUtime=162.92 cores=0-7
/proc/15217/task/15218/stat : 15218 (java) S 15215 15215 14868 0 -1 1077944384 14778 0 0 0 16283 9 0 0 20 0 28 0 151863037 27175628800 2292500 33554432000 4194304 4196468 140736715898336 140497065227392 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15219] ppid=15215 vsize=26538700 memory=8624 CPUtime=8.27 cores=0-7
/proc/15217/task/15219/stat : 15219 (java) S 15215 15215 14868 0 -1 1077944384 28613 0 0 0 603 224 0 0 20 0 28 0 151863038 27175628800 2292500 33554432000 4194304 4196468 140736715898336 140496983567376 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 21 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15220] ppid=15215 vsize=26538700 memory=792 CPUtime=8.17 cores=0-7
/proc/15217/task/15220/stat : 15220 (java) S 15215 15215 14868 0 -1 1077944384 20952 0 0 0 593 224 0 0 20 0 28 0 151863038 27175628800 2292500 33554432000 4194304 4196468 140736715898336 140496982514832 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 22 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15221] ppid=15215 vsize=26538700 memory=4126316290023845779 CPUtime=8.35 cores=0-7
/proc/15217/task/15221/stat : 15221 (java) S 15215 15215 14868 0 -1 1077944384 20305 0 0 0 584 251 0 0 20 0 28 0 151863038 27175628800 2292500 33554432000 4194304 4196468 140736715898336 140496981461776 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15222] ppid=15215 vsize=26538700 memory=24272 CPUtime=8.31 cores=0-7
/proc/15217/task/15222/stat : 15222 (java) S 15215 15215 14868 0 -1 1077944384 20716 0 0 0 573 258 0 0 20 0 28 0 151863038 27175628800 2292500 33554432000 4194304 4196468 140736715898336 140496980409232 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15223] ppid=15215 vsize=26538700 memory=4044 CPUtime=8.29 cores=0-7
/proc/15217/task/15223/stat : 15223 (java) S 15215 15215 14868 0 -1 1077944384 22580 0 0 0 592 237 0 0 20 0 28 0 151863038 27175628800 2292500 33554432000 4194304 4196468 140736715898336 140496979356176 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15224] ppid=15215 vsize=26538700 memory=1792 CPUtime=8.18 cores=0-7
/proc/15217/task/15224/stat : 15224 (java) S 15215 15215 14868 0 -1 1077944384 21737 0 0 0 600 218 0 0 20 0 28 0 151863038 27175628800 2292500 33554432000 4194304 4196468 140736715898336 140496978303632 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15225] ppid=15215 vsize=26538700 memory=636 CPUtime=8.29 cores=0-7
/proc/15217/task/15225/stat : 15225 (java) S 15215 15215 14868 0 -1 1077944384 17990 0 0 0 597 232 0 0 20 0 28 0 151863038 27175628800 2292500 33554432000 4194304 4196468 140736715898336 140496977250576 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15226] ppid=15215 vsize=26538700 memory=1236 CPUtime=8.33 cores=0-7
/proc/15217/task/15226/stat : 15226 (java) S 15215 15215 14868 0 -1 1077944384 22664 0 0 0 591 242 0 0 20 0 28 0 151863038 27175628800 2292500 33554432000 4194304 4196468 140736715898336 140496976198032 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15227] ppid=15215 vsize=26538700 memory=960 CPUtime=3.49 cores=0-7
/proc/15217/task/15227/stat : 15227 (java) S 15215 15215 14868 0 -1 1077944384 15090 0 0 0 335 14 0 0 20 0 28 0 151863039 27175628800 2292500 33554432000 4194304 4196468 140736715898336 140495735905008 140497060997762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15228] ppid=15215 vsize=26538700 memory=2240 CPUtime=0 cores=0-7
/proc/15217/task/15228/stat : 15228 (java) S 15215 15215 14868 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 151863040 27175628800 2292500 33554432000 4194304 4196468 140736715898336 140495734851296 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15229] ppid=15215 vsize=26538700 memory=2424 CPUtime=0 cores=0-7
/proc/15217/task/15229/stat : 15229 (java) S 15215 15215 14868 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 28 0 151863040 27175628800 2292500 33554432000 4194304 4196468 140736715898336 140495733798144 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15230] ppid=15215 vsize=26538700 memory=4080 CPUtime=0 cores=0-7
/proc/15217/task/15230/stat : 15230 (java) S 15215 15215 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151863042 27175628800 2292500 33554432000 4194304 4196468 140736715898336 140495732746704 140497061005211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15231] ppid=15215 vsize=26538700 memory=932 CPUtime=2.26 cores=0-7
/proc/15217/task/15231/stat : 15231 (java) S 15215 15215 14868 0 -1 1077944384 13800 0 0 0 223 3 0 0 20 0 28 0 151863043 27175628800 2292500 33554432000 4194304 4196468 140736715898336 140495731693808 140497060997762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15232] ppid=15215 vsize=26538700 memory=1584 CPUtime=3.15 cores=0-7
/proc/15217/task/15232/stat : 15232 (java) S 15215 15215 14868 0 -1 1077944384 16734 0 0 0 312 3 0 0 20 0 28 0 151863043 27175628800 2292500 33554432000 4194304 4196468 140736715898336 140495730641264 140497060997762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15233] ppid=15215 vsize=26538700 memory=84 CPUtime=2.46 cores=0-7
/proc/15217/task/15233/stat : 15233 (java) S 15215 15215 14868 0 -1 1077944384 12996 0 0 0 242 4 0 0 20 0 28 0 151863043 27175628800 2292500 33554432000 4194304 4196468 140736715898336 140495729588208 140497060997762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15234] ppid=15215 vsize=26538700 memory=6656426216303648864 CPUtime=0.82 cores=0-7
/proc/15217/task/15234/stat : 15234 (java) S 15215 15215 14868 0 -1 1077944384 12353 0 0 0 79 3 0 0 20 0 28 0 151863043 27175628800 2292500 33554432000 4194304 4196468 140736715898336 140495728535664 140497060997762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15235] ppid=15215 vsize=26538700 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/15217/task/15235/stat : 15235 (java) S 15215 15215 14868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151863043 27175628800 2292500 33554432000 4194304 4196468 140736715898336 140495727483872 140497060996821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15236] ppid=15215 vsize=26538700 memory=6944656592387989600 CPUtime=0.09 cores=0-7
/proc/15217/task/15236/stat : 15236 (java) S 15215 15215 14868 0 -1 1077944384 1331 0 0 0 4 5 0 0 20 0 28 0 151863043 27175628800 2292500 33554432000 4194304 4196468 140736715898336 140495726431408 140497060997762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15238] ppid=15215 vsize=26538700 memory=6944656592387989600 CPUtime=75.66 cores=0-7
/proc/15217/task/15238/stat : 15238 (java) R 15215 15215 14868 0 -1 4202560 4680 0 0 0 7525 41 0 0 20 0 28 0 151880328 27175628800 2292500 33554432000 4194304 4196468 140736715898336 140495718419400 140496658127583 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15239] ppid=15215 vsize=26538700 memory=6944656575208382560 CPUtime=75.98 cores=0-7
/proc/15217/task/15239/stat : 15239 (java) R 15215 15215 14868 0 -1 4202560 5036 0 0 0 7572 26 0 0 20 0 28 0 151880328 27175628800 2292500 33554432000 4194304 4196468 140736715898336 140495717367712 140496655220047 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15240] ppid=15215 vsize=26538700 memory=6943526294502006880 CPUtime=75.56 cores=0-7
/proc/15217/task/15240/stat : 15240 (java) R 15215 15215 14868 0 -1 4202560 5497 0 0 0 7522 34 0 0 20 0 28 0 151880328 27175628800 2292500 33554432000 4194304 4196468 140736715898336 140495716314888 140496655219963 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15241] ppid=15215 vsize=26538700 memory=6944656592387989600 CPUtime=76.17 cores=0-7
/proc/15217/task/15241/stat : 15241 (java) R 15215 15215 14868 0 -1 4202560 4954 0 0 0 7579 38 0 0 20 0 28 0 151880328 27175628800 2292500 33554432000 4194304 4196468 140736715898336 140495715262328 140496659127544 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15242] ppid=15215 vsize=26538700 memory=6944656575208382560 CPUtime=76.24 cores=0-7
/proc/15217/task/15242/stat : 15242 (java) R 15215 15215 14868 0 -1 4202560 49098 0 0 0 7613 11 0 0 20 0 28 0 151880328 27175628800 2292500 33554432000 4194304 4196468 140736715898336 140495714209192 140496654346051 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15243] ppid=15215 vsize=26538700 memory=6656426216303648864 CPUtime=76.21 cores=0-7
/proc/15217/task/15243/stat : 15243 (java) R 15215 15215 14868 0 -1 4202560 25707 0 0 0 7577 44 0 0 20 0 28 0 151880328 27175628800 2292500 33554432000 4194304 4196468 140736715898336 140495713156592 140496658122617 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15244] ppid=15215 vsize=26538700 memory=7955727941595129393 CPUtime=75.74 cores=0-7
/proc/15217/task/15244/stat : 15244 (java) R 15215 15215 14868 0 -1 4202560 5083 0 0 0 7550 24 0 0 20 0 28 0 151880328 27175628800 2292500 33554432000 4194304 4196468 140736715898336 140495712104744 140496658603896 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
[pid=15217/tid=15245] ppid=15215 vsize=26538700 memory=3477734737679248434 CPUtime=76.08 cores=0-7
/proc/15217/task/15245/stat : 15245 (java) R 15215 15215 14868 0 -1 4202560 4344 0 0 0 7598 10 0 0 20 0 28 0 151880328 27175628800 2292500 33554432000 4194304 4196468 140736715898336 140495711051672 140496658604517 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36638720 140736715900056 140736715900232 140736715900232 140736715902927 0
Current children cumulated CPU time: 849.21 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 9171384 KiB

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

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

[startup+252.171 s]
# the end of solver process 15217 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=828.335 s, system=21.6673 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.132 s]*
/proc/loadavg: 6.54 5.69 6.87 2/180 15254
/proc/meminfo: memFree=19974848/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.001946 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.172
CPU time (s): 850.003
CPU user time (s): 828.335
CPU system time (s): 21.6673
CPU usage (%): 337.073
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 9177040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 828.335
system time used= 21.6673
maximum resident set size= 9175656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 369880
page faults= 0
swaps= 0
block input operations= 0
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20320
involuntary context switches= 8531


# summary of solver processes directly reported to runsolver:
#   pid: 15215,15217
#   total CPU time (s): 850.003
#   total CPU user time (s): 828.335
#   total CPU system time (s): 21.6673

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.03342 second user time and 2.52963 second system time

The end

Launcher Data 

Begin job on node148 at 2017-08-20 01:56:01
IDJOB=4281285
IDBENCH=137011
IDSOLVER=2676
FILE ID=node148/4281285-1503187822
RUNJOBID= node148-1503186455-14895
PBS_JOBID= 20630855
Free space on /tmp= 61944 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-4281285-1503187822/watcher-4281285-1503187822 -o /tmp/evaluation-result-4281285-1503187822/solver-4281285-1503187822 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503186455-14895 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 600636437 HOME/instance-4281285-1503187822.xml

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

MD5SUM BENCH= 52402e3ba0658144258f494f3b2bc7f2
RANDOM SEED=600636437

node148.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.19
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.19
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.19
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.19
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:        25502456 kB
MemAvailable:   31976872 kB
Buffers:          296288 kB
Cached:          6471664 kB
SwapCached:            0 kB
Active:          1171280 kB
Inactive:        5649856 kB
Active(anon):       4564 kB
Inactive(anon):    84704 kB
Active(file):    1166716 kB
Inactive(file):  5565152 kB
Unevictable:        7784 kB
Mlocked:            7784 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8992 kB
Writeback:             0 kB
AnonPages:         60224 kB
Mapped:            51788 kB
Shmem:             33416 kB
Slab:             143596 kB
SReclaimable:     116764 kB
SUnreclaim:        26832 kB
KernelStack:        3520 kB
PageTables:         4856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61936 MiB
End job on node148 at 2017-08-20 02:00:14