Trace number 4271475

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-09)? (TO) 972.638 252.149

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-4271475-1502645484.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4271475-1502645484.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.19	c 8 solvers in parallel
0.32/0.26	c parse instance...
207.82/154.87	c solve instance...
971.91/252.08	s UNKNOWN
971.91/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 (13458 MiB free)
  memory of node 1: 16384 MiB (14618 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271475-1502645484/watcher-4271475-1502645484 -o /tmp/evaluation-result-4271475-1502645484/solver-4271475-1502645484 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502642846-14765 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1278937070 HOME/instance-4271475-1502645484.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
Current StackSize limit: 8192 KiB

solver pid=16047, runsolver pid=16044

[startup+0.100153 s]*
/proc/loadavg: 1.09 3.80 5.11 3/199 16068
/proc/meminfo: memFree=28732704/32770624 swapFree=67108860/67108860
[pid=16047] ppid=16044 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16047/stat : 16047 (xcsp3-exec) S 16044 16047 14738 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97629334 9740288 346 33554432000 4194304 5098028 140735337387056 140735337385160 139746495550076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32915456 140735337395306 140735337395516 140735337395516 140735337398251 0
/proc/16047/statm: 2378 346 289 221 0 87 0
[pid=16049] ppid=16047 vsize=25999808 memory=28392 CPUtime=0.11 cores=0-7
/proc/16049/stat : 16049 (java) S 16047 16047 14738 0 -1 1077944320 5525 0 0 0 10 1 0 0 20 0 20 0 97629334 26623803392 7098 33554432000 4194304 4196468 140736051539968 140736051522512 139804064141047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
/proc/16049/statm: 6499952 7098 2842 1 0 6488269 0
[pid=16049/tid=16050] ppid=16047 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/16049/task/16050/stat : 16050 (java) R 16047 16047 14738 0 -1 4202560 3528 0 0 0 8 1 0 0 20 0 20 0 97629334 26623803392 7098 33554432000 4194304 4196468 140736051539968 139804068373312 139804048451873 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16051] ppid=16047 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16049/task/16051/stat : 16051 (java) S 16047 16047 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97629335 26623803392 7098 33554432000 4194304 4196468 140736051539968 139804016761872 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16052] ppid=16047 vsize=25999808 memory=139769189299840 CPUtime=0 cores=0-7
/proc/16049/task/16052/stat : 16052 (java) S 16047 16047 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97629335 26623803392 7098 33554432000 4194304 4196468 140736051539968 139804015709328 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16053] ppid=16047 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16049/task/16053/stat : 16053 (java) S 16047 16047 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97629335 26623803392 7098 33554432000 4194304 4196468 140736051539968 139804014656272 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16054] ppid=16047 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16049/task/16054/stat : 16054 (java) S 16047 16047 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97629335 26623803392 7098 33554432000 4194304 4196468 140736051539968 139804013603728 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16055] ppid=16047 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16049/task/16055/stat : 16055 (java) S 16047 16047 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97629335 26623803392 7098 33554432000 4194304 4196468 140736051539968 139804012550672 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16056] ppid=16047 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/16049/task/16056/stat : 16056 (java) S 16047 16047 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97629335 26623803392 7098 33554432000 4194304 4196468 140736051539968 139804011498128 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16057] ppid=16047 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16049/task/16057/stat : 16057 (java) S 16047 16047 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97629335 26623803392 7098 33554432000 4194304 4196468 140736051539968 139804010445072 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16058] ppid=16047 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16049/task/16058/stat : 16058 (java) S 16047 16047 14738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97629335 26623803392 7098 33554432000 4194304 4196468 140736051539968 139804009392528 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16059] ppid=16047 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16049/task/16059/stat : 16059 (java) S 16047 16047 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97629336 26623803392 7098 33554432000 4194304 4196468 140736051539968 139802269154032 139804064152194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16060] ppid=16047 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16049/task/16060/stat : 16060 (java) S 16047 16047 14738 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97629337 26623803392 7098 33554432000 4194304 4196468 140736051539968 139802268100256 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16061] ppid=16047 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16049/task/16061/stat : 16061 (java) S 16047 16047 14738 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97629337 26623803392 7098 33554432000 4194304 4196468 140736051539968 139802267047152 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16062] ppid=16047 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16049/task/16062/stat : 16062 (java) S 16047 16047 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97629340 26623803392 7098 33554432000 4194304 4196468 140736051539968 139802265995728 139804064159643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16063] ppid=16047 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16049/task/16063/stat : 16063 (java) S 16047 16047 14738 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 20 0 97629340 26623803392 7098 33554432000 4194304 4196468 140736051539968 139802264942832 139804064152194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16064] ppid=16047 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16049/task/16064/stat : 16064 (java) S 16047 16047 14738 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 20 0 97629340 26623803392 7098 33554432000 4194304 4196468 140736051539968 139802263890288 139804064152194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16065] ppid=16047 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16049/task/16065/stat : 16065 (java) S 16047 16047 14738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97629340 26623803392 7098 33554432000 4194304 4196468 140736051539968 139802262837232 139804064152194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16066] ppid=16047 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/16049/task/16066/stat : 16066 (java) R 16047 16047 14738 0 -1 4202560 248 0 0 0 1 0 0 0 20 0 20 0 97629340 26623803392 7098 33554432000 4194304 4196468 140736051539968 139802261784688 139804056382437 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16067] ppid=16047 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16049/task/16067/stat : 16067 (java) S 16047 16047 14738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97629340 26623803392 7098 33554432000 4194304 4196468 140736051539968 139802260732896 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16068] ppid=16047 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/16049/task/16068/stat : 16068 (java) S 16047 16047 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97629340 26623803392 7098 33554432000 4194304 4196468 140736051539968 139801655241904 139804064152194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 29776 KiB

[startup+0.209871 s]*
/proc/loadavg: 1.09 3.80 5.11 2/199 16068
/proc/meminfo: memFree=28721912/32770624 swapFree=67108860/67108860
[pid=16047] ppid=16044 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16047/stat : 16047 (xcsp3-exec) S 16044 16047 14738 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97629334 9740288 346 33554432000 4194304 5098028 140735337387056 140735337385160 139746495550076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32915456 140735337395306 140735337395516 140735337395516 140735337398251 0
/proc/16047/statm: 2378 346 289 221 0 87 0
[pid=16049] ppid=16047 vsize=26004064 memory=40836 CPUtime=0.32 cores=0-7
/proc/16049/stat : 16049 (java) S 16047 16047 14738 0 -1 1077944320 8206 0 0 0 30 2 0 0 20 0 20 0 97629334 26628161536 10209 33554432000 4194304 4196468 140736051539968 140736051522512 139804064141047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
/proc/16049/statm: 6501016 10209 3077 1 0 6488269 0
[pid=16049/tid=16050] ppid=16047 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/16049/task/16050/stat : 16050 (java) D 16047 16047 14738 0 -1 1077944384 5329 0 0 0 18 1 0 0 20 0 20 0 97629334 26628161536 10229 33554432000 4194304 4196468 140736051539968 139804068342768 139804056820269 0 4 0 16800975 18446744072101629476 0 0 -1 2 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16051] ppid=16047 vsize=26004064 memory=340 CPUtime=0 cores=0-7
/proc/16049/task/16051/stat : 16051 (java) S 16047 16047 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97629335 26628161536 10229 33554432000 4194304 4196468 140736051539968 139804016761872 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16052] ppid=16047 vsize=26004064 memory=139769189315155 CPUtime=0 cores=0-7
/proc/16049/task/16052/stat : 16052 (java) S 16047 16047 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97629335 26628161536 10229 33554432000 4194304 4196468 140736051539968 139804015709328 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16053] ppid=16047 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16049/task/16053/stat : 16053 (java) S 16047 16047 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97629335 26628161536 10229 33554432000 4194304 4196468 140736051539968 139804014656272 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16054] ppid=16047 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16049/task/16054/stat : 16054 (java) S 16047 16047 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97629335 26628161536 10229 33554432000 4194304 4196468 140736051539968 139804013603728 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16055] ppid=16047 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/16049/task/16055/stat : 16055 (java) S 16047 16047 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97629335 26628194304 10229 33554432000 4194304 4196468 140736051539968 139804012550672 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16056] ppid=16047 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/16049/task/16056/stat : 16056 (java) S 16047 16047 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97629335 26628194304 10229 33554432000 4194304 4196468 140736051539968 139804011498128 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16057] ppid=16047 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16049/task/16057/stat : 16057 (java) S 16047 16047 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97629335 26628161536 10229 33554432000 4194304 4196468 140736051539968 139804010445072 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16058] ppid=16047 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16049/task/16058/stat : 16058 (java) S 16047 16047 14738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97629335 26628161536 10229 33554432000 4194304 4196468 140736051539968 139804009392528 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16059] ppid=16047 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16049/task/16059/stat : 16059 (java) S 16047 16047 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97629336 26628161536 10229 33554432000 4194304 4196468 140736051539968 139802269154032 139804064152194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16060] ppid=16047 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16049/task/16060/stat : 16060 (java) S 16047 16047 14738 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97629337 26628161536 10229 33554432000 4194304 4196468 140736051539968 139802268100256 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16061] ppid=16047 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16049/task/16061/stat : 16061 (java) S 16047 16047 14738 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97629337 26628161536 10229 33554432000 4194304 4196468 140736051539968 139802267047152 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16062] ppid=16047 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16049/task/16062/stat : 16062 (java) S 16047 16047 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97629340 26628161536 10229 33554432000 4194304 4196468 140736051539968 139802265995728 139804064159643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16063] ppid=16047 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/16049/task/16063/stat : 16063 (java) S 16047 16047 14738 0 -1 1077944384 353 0 0 0 1 0 0 0 20 0 20 0 97629340 26628194304 10229 33554432000 4194304 4196468 140736051539968 139802264942832 139804064152194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16064] ppid=16047 vsize=26004096 memory=0 CPUtime=0.02 cores=0-7
/proc/16049/task/16064/stat : 16064 (java) S 16047 16047 14738 0 -1 1077944384 405 0 0 0 2 0 0 0 20 0 20 0 97629340 26628194304 10229 33554432000 4194304 4196468 140736051539968 139802263890288 139804064152194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16065] ppid=16047 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16049/task/16065/stat : 16065 (java) S 16047 16047 14738 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 20 0 97629340 26628161536 10229 33554432000 4194304 4196468 140736051539968 139802262837232 139804064152194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16066] ppid=16047 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/16049/task/16066/stat : 16066 (java) S 16047 16047 14738 0 -1 1077944384 728 0 0 0 7 0 0 0 20 0 20 0 97629340 26628161536 10229 33554432000 4194304 4196468 140736051539968 139802261784688 139804064152194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16067] ppid=16047 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16049/task/16067/stat : 16067 (java) S 16047 16047 14738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97629340 26628161536 10229 33554432000 4194304 4196468 140736051539968 139802260732896 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16068] ppid=16047 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16049/task/16068/stat : 16068 (java) S 16047 16047 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97629340 26628161536 10229 33554432000 4194304 4196468 140736051539968 139801655241904 139804064152194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 42220 KiB

[startup+0.309557 s]*
/proc/loadavg: 1.09 3.80 5.11 3/199 16068
/proc/meminfo: memFree=28714964/32770624 swapFree=67108860/67108860
[pid=16047] ppid=16044 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16047/stat : 16047 (xcsp3-exec) S 16044 16047 14738 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97629334 9740288 346 33554432000 4194304 5098028 140735337387056 140735337385160 139746495550076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32915456 140735337395306 140735337395516 140735337395516 140735337398251 0
/proc/16047/statm: 2378 346 289 221 0 87 0
[pid=16049] ppid=16047 vsize=26004064 memory=47816 CPUtime=0.49 cores=0-7
/proc/16049/stat : 16049 (java) S 16047 16047 14738 0 -1 1077944320 9142 0 0 0 47 2 0 0 20 0 20 0 97629334 26628161536 11954 33554432000 4194304 4196468 140736051539968 140736051522512 139804064141047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
/proc/16049/statm: 6501016 11954 3108 1 0 6488269 0
[pid=16049/tid=16050] ppid=16047 vsize=26004064 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/16049/task/16050/stat : 16050 (java) R 16047 16047 14738 0 -1 4202560 5988 0 0 0 27 1 0 0 20 0 20 0 97629334 26628161536 12020 33554432000 4194304 4196468 140736051539968 139804068377552 139804064162973 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16051] ppid=16047 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16049/task/16051/stat : 16051 (java) S 16047 16047 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97629335 26628161536 12020 33554432000 4194304 4196468 140736051539968 139804016761872 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16052] ppid=16047 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16049/task/16052/stat : 16052 (java) S 16047 16047 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97629335 26628161536 12020 33554432000 4194304 4196468 140736051539968 139804015709328 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16053] ppid=16047 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16049/task/16053/stat : 16053 (java) S 16047 16047 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97629335 26628161536 12020 33554432000 4194304 4196468 140736051539968 139804014656272 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16054] ppid=16047 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16049/task/16054/stat : 16054 (java) S 16047 16047 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97629335 26628161536 12020 33554432000 4194304 4196468 140736051539968 139804013603728 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16055] ppid=16047 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/16049/task/16055/stat : 16055 (java) S 16047 16047 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97629335 26628161536 12020 33554432000 4194304 4196468 140736051539968 139804012550672 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16056] ppid=16047 vsize=26004064 memory=139769040434095 CPUtime=0 cores=0-7
/proc/16049/task/16056/stat : 16056 (java) S 16047 16047 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97629335 26628161536 12020 33554432000 4194304 4196468 140736051539968 139804011498128 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16057] ppid=16047 vsize=26004064 memory=139769040436400 CPUtime=0 cores=0-7
/proc/16049/task/16057/stat : 16057 (java) S 16047 16047 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97629335 26628161536 12020 33554432000 4194304 4196468 140736051539968 139804010445072 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16058] ppid=16047 vsize=26004064 memory=139769040438704 CPUtime=0 cores=0-7
/proc/16049/task/16058/stat : 16058 (java) S 16047 16047 14738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97629335 26628161536 12020 33554432000 4194304 4196468 140736051539968 139804009392528 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16059] ppid=16047 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16049/task/16059/stat : 16059 (java) S 16047 16047 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97629336 26628161536 12020 33554432000 4194304 4196468 140736051539968 139802269154032 139804064152194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16060] ppid=16047 vsize=26004064 memory=279538080884368 CPUtime=0 cores=0-7
/proc/16049/task/16060/stat : 16060 (java) S 16047 16047 14738 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97629337 26628161536 12020 33554432000 4194304 4196468 140736051539968 139802268100256 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16061] ppid=16047 vsize=26004064 memory=279538080891280 CPUtime=0 cores=0-7
/proc/16049/task/16061/stat : 16061 (java) S 16047 16047 14738 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97629337 26628161536 12020 33554432000 4194304 4196468 140736051539968 139802267047152 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16062] ppid=16047 vsize=26004064 memory=279538080832560 CPUtime=0 cores=0-7
/proc/16049/task/16062/stat : 16062 (java) S 16047 16047 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97629340 26628161536 12020 33554432000 4194304 4196468 140736051539968 139802265995728 139804064159643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16063] ppid=16047 vsize=26004064 memory=279538080905104 CPUtime=0.02 cores=0-7
/proc/16049/task/16063/stat : 16063 (java) S 16047 16047 14738 0 -1 1077944384 405 0 0 0 2 0 0 0 20 0 20 0 97629340 26628161536 12020 33554432000 4194304 4196468 140736051539968 139802264942832 139804064152194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16064] ppid=16047 vsize=26004064 memory=279538080912016 CPUtime=0.03 cores=0-7
/proc/16049/task/16064/stat : 16064 (java) R 16047 16047 14738 0 -1 4202560 509 0 0 0 3 0 0 0 20 0 20 0 97629340 26628161536 12020 33554432000 4194304 4196468 140736051539968 139802263882920 139804044841344 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16065] ppid=16047 vsize=26004064 memory=279538080909712 CPUtime=0.01 cores=0-7
/proc/16049/task/16065/stat : 16065 (java) R 16047 16047 14738 0 -1 4202560 158 0 0 0 1 0 0 0 20 0 20 0 97629340 26628161536 12020 33554432000 4194304 4196468 140736051539968 139802262818248 139804047664551 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16066] ppid=16047 vsize=26004064 memory=279538080925872 CPUtime=0.12 cores=0-7
/proc/16049/task/16066/stat : 16066 (java) S 16047 16047 14738 0 -1 1077944384 832 0 0 0 12 0 0 0 20 0 20 0 97629340 26628161536 12020 33554432000 4194304 4196468 140736051539968 139802261784688 139804064152194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16067] ppid=16047 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16049/task/16067/stat : 16067 (java) S 16047 16047 14738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97629340 26628161536 12020 33554432000 4194304 4196468 140736051539968 139802260732896 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16068] ppid=16047 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16049/task/16068/stat : 16068 (java) S 16047 16047 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97629340 26628161536 12020 33554432000 4194304 4196468 140736051539968 139801655241904 139804064152194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 49200 KiB

[startup+0.701033 s]
/proc/loadavg: 1.09 3.80 5.11 5/199 16068
/proc/meminfo: memFree=28663108/32770624 swapFree=67108860/67108860
[pid=16047] ppid=16044 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16047/stat : 16047 (xcsp3-exec) S 16044 16047 14738 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97629334 9740288 346 33554432000 4194304 5098028 140735337387056 140735337385160 139746495550076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32915456 140735337395306 140735337395516 140735337395516 140735337398251 0
/proc/16047/statm: 2378 346 289 221 0 87 0
[pid=16049] ppid=16047 vsize=26004140 memory=162788 CPUtime=1.56 cores=0-7
/proc/16049/stat : 16049 (java) S 16047 16047 14738 0 -1 1077944320 12259 0 0 0 150 6 0 0 20 0 20 0 97629334 26628239360 40697 33554432000 4194304 4196468 140736051539968 140736051522512 139804064141047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
/proc/16049/statm: 6501035 40697 3194 1 0 6488269 0
[pid=16049/tid=16050] ppid=16047 vsize=26004140 memory=279538081283760 CPUtime=0.67 cores=0-7
/proc/16049/task/16050/stat : 16050 (java) R 16047 16047 14738 0 -1 4202560 6400 0 0 0 63 4 0 0 20 0 20 0 97629334 26628239360 40697 33554432000 4194304 4196468 140736051539968 139804068370400 139804046603756 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16051] ppid=16047 vsize=26004140 memory=139769040642928 CPUtime=0 cores=0-7
/proc/16049/task/16051/stat : 16051 (java) S 16047 16047 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97629335 26628239360 40697 33554432000 4194304 4196468 140736051539968 139804016761872 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16052] ppid=16047 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/16049/task/16052/stat : 16052 (java) S 16047 16047 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97629335 26628239360 40697 33554432000 4194304 4196468 140736051539968 139804015709328 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16053] ppid=16047 vsize=26004140 memory=1200 CPUtime=0 cores=0-7
/proc/16049/task/16053/stat : 16053 (java) S 16047 16047 14738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97629335 26628239360 40697 33554432000 4194304 4196468 140736051539968 139804014656272 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0

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

/proc/meminfo: memFree=19803304/32770624 swapFree=67108860/67108860
[pid=16047] ppid=16044 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16047/stat : 16047 (xcsp3-exec) S 16044 16047 14738 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97629334 9740288 346 33554432000 4194304 5098028 140735337387056 140735337385160 139746495550076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32915456 140735337395306 140735337395516 140735337395516 140735337398251 0
/proc/16047/statm: 2378 346 289 221 0 87 0
[pid=16049] ppid=16047 vsize=26538700 memory=8943928 CPUtime=734.88 cores=0-7
/proc/16049/stat : 16049 (java) S 16047 16047 14738 0 -1 1077944320 198264 0 0 0 71382 2106 0 0 20 0 28 0 97629334 27175628800 2235982 33554432000 4194304 4196468 140736051539968 140736051522512 139804064141047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
/proc/16049/statm: 6634675 2235982 3304 1 0 6621909 0
[pid=16049/tid=16050] ppid=16047 vsize=26538700 memory=1384 CPUtime=145.26 cores=0-7
/proc/16049/task/16050/stat : 16050 (java) S 16047 16047 14738 0 -1 1077944384 12850 0 0 0 14516 10 0 0 20 0 28 0 97629334 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139804068381824 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16051] ppid=16047 vsize=26538700 memory=8943928 CPUtime=9.88 cores=0-7
/proc/16049/task/16051/stat : 16051 (java) S 16047 16047 14738 0 -1 1077944384 8793 0 0 0 765 223 0 0 20 0 28 0 97629335 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139804016761872 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16052] ppid=16047 vsize=26538700 memory=1384 CPUtime=9.95 cores=0-7
/proc/16049/task/16052/stat : 16052 (java) S 16047 16047 14738 0 -1 1077944384 8746 0 0 0 760 235 0 0 20 0 28 0 97629335 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139804015709328 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16053] ppid=16047 vsize=26538700 memory=8943928 CPUtime=9.94 cores=0-7
/proc/16049/task/16053/stat : 16053 (java) S 16047 16047 14738 0 -1 1077944384 10506 0 0 0 762 232 0 0 20 0 28 0 97629335 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139804014656272 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16054] ppid=16047 vsize=26538700 memory=1384 CPUtime=10.04 cores=0-7
/proc/16049/task/16054/stat : 16054 (java) S 16047 16047 14738 0 -1 1077944384 10976 0 0 0 755 249 0 0 20 0 28 0 97629335 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139804013603728 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16055] ppid=16047 vsize=26538700 memory=8943928 CPUtime=10.03 cores=0-7
/proc/16049/task/16055/stat : 16055 (java) S 16047 16047 14738 0 -1 1077944384 7030 0 0 0 741 262 0 0 20 0 28 0 97629335 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139804012550672 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16056] ppid=16047 vsize=26538700 memory=1384 CPUtime=10.01 cores=0-7
/proc/16049/task/16056/stat : 16056 (java) S 16047 16047 14738 0 -1 1077944384 11766 0 0 0 770 231 0 0 20 0 28 0 97629335 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139804011498128 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16057] ppid=16047 vsize=26538700 memory=8943928 CPUtime=9.97 cores=0-7
/proc/16049/task/16057/stat : 16057 (java) S 16047 16047 14738 0 -1 1077944384 13165 0 0 0 739 258 0 0 20 0 28 0 97629335 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139804010445072 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16058] ppid=16047 vsize=26538700 memory=1384 CPUtime=9.87 cores=0-7
/proc/16049/task/16058/stat : 16058 (java) S 16047 16047 14738 0 -1 1077944384 7631 0 0 0 757 230 0 0 20 0 28 0 97629335 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139804009392528 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 18 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16059] ppid=16047 vsize=26538700 memory=2204 CPUtime=3.62 cores=0-7
/proc/16049/task/16059/stat : 16059 (java) S 16047 16047 14738 0 -1 1077944384 20886 0 0 0 352 10 0 0 20 0 28 0 97629336 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139802269154032 139804064152194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16060] ppid=16047 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/16049/task/16060/stat : 16060 (java) S 16047 16047 14738 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 97629337 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139802268100320 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16061] ppid=16047 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/16049/task/16061/stat : 16061 (java) S 16047 16047 14738 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 28 0 97629337 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139802267047168 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16062] ppid=16047 vsize=26538700 memory=1292 CPUtime=0 cores=0-7
/proc/16049/task/16062/stat : 16062 (java) S 16047 16047 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97629340 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139802265995728 139804064159643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16063] ppid=16047 vsize=26538700 memory=2428 CPUtime=2.59 cores=0-7
/proc/16049/task/16063/stat : 16063 (java) S 16047 16047 14738 0 -1 1077944384 16606 0 0 0 256 3 0 0 20 0 28 0 97629340 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139802264942832 139804064152194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16064] ppid=16047 vsize=26538700 memory=2244 CPUtime=2.65 cores=0-7
/proc/16049/task/16064/stat : 16064 (java) S 16047 16047 14738 0 -1 1077944384 15410 0 0 0 262 3 0 0 20 0 28 0 97629340 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139802263890288 139804064152194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16065] ppid=16047 vsize=26538700 memory=4132 CPUtime=2.41 cores=0-7
/proc/16049/task/16065/stat : 16065 (java) S 16047 16047 14738 0 -1 1077944384 12077 0 0 0 239 2 0 0 20 0 28 0 97629340 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139802262837232 139804064152194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16066] ppid=16047 vsize=26538700 memory=1384 CPUtime=0.8 cores=0-7
/proc/16049/task/16066/stat : 16066 (java) S 16047 16047 14738 0 -1 1077944384 9191 0 0 0 79 1 0 0 20 0 28 0 97629340 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139802261784688 139804064152194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16067] ppid=16047 vsize=26538700 memory=8701968 CPUtime=0 cores=0-7
/proc/16049/task/16067/stat : 16067 (java) S 16047 16047 14738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97629340 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139802260732896 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16068] ppid=16047 vsize=26538700 memory=18472 CPUtime=0.08 cores=0-7
/proc/16049/task/16068/stat : 16068 (java) S 16047 16047 14738 0 -1 1077944384 1050 0 0 0 4 4 0 0 20 0 28 0 97629340 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139801655241904 139804064152194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16069] ppid=16047 vsize=26538700 memory=640 CPUtime=62.1 cores=0-7
/proc/16049/task/16069/stat : 16069 (java) R 16047 16047 14738 0 -1 4202560 4065 0 0 0 6180 30 0 0 20 0 28 0 97644822 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139801647230152 139803691420580 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16070] ppid=16047 vsize=26538700 memory=1384 CPUtime=62.32 cores=0-7
/proc/16049/task/16070/stat : 16070 (java) R 16047 16047 14738 0 -1 4202560 2823 0 0 0 6215 17 0 0 20 0 28 0 97644823 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139801646178728 139803691420575 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16071] ppid=16047 vsize=26538700 memory=1384 CPUtime=62.2 cores=0-7
/proc/16049/task/16071/stat : 16071 (java) R 16047 16047 14738 0 -1 4202560 3405 0 0 0 6209 11 0 0 20 0 28 0 97644823 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139801645125688 139803689168313 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16072] ppid=16047 vsize=26538700 memory=1384 CPUtime=62.32 cores=0-7
/proc/16049/task/16072/stat : 16072 (java) R 16047 16047 14738 0 -1 4202560 4575 0 0 0 6210 22 0 0 20 0 28 0 97644823 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139801644073144 139803692168162 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16073] ppid=16047 vsize=26538700 memory=8943928 CPUtime=62.07 cores=0-7
/proc/16049/task/16073/stat : 16073 (java) R 16047 16047 14738 0 -1 4202560 3419 0 0 0 6196 11 0 0 20 0 28 0 97644823 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139801643019376 139803691794417 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16074] ppid=16047 vsize=26538700 memory=4144 CPUtime=62.19 cores=0-7
/proc/16049/task/16074/stat : 16074 (java) R 16047 16047 14738 0 -1 4202560 4714 0 0 0 6202 17 0 0 20 0 28 0 97644823 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139801641967528 139803692704584 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16075] ppid=16047 vsize=26538700 memory=28340 CPUtime=62.3 cores=0-7
/proc/16049/task/16075/stat : 16075 (java) R 16047 16047 14738 0 -1 4202560 3662 0 0 0 6202 28 0 0 20 0 28 0 97644823 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139801640915512 139803691421507 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16076] ppid=16047 vsize=26538700 memory=8943928 CPUtime=62.02 cores=0-7
/proc/16049/task/16076/stat : 16076 (java) R 16047 16047 14738 0 -1 4202560 3428 0 0 0 6194 8 0 0 20 0 28 0 97644823 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139801639862968 139803691420475 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
Current children cumulated CPU time: 734.88 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 8945312 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 7.31 4.48 4.96 9/209 16085
/proc/meminfo: memFree=19804512/32770624 swapFree=67108860/67108860
[pid=16047] ppid=16044 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16047/stat : 16047 (xcsp3-exec) S 16044 16047 14738 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97629334 9740288 346 33554432000 4194304 5098028 140735337387056 140735337385160 139746495550076 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32915456 140735337395306 140735337395516 140735337395516 140735337398251 0
/proc/16047/statm: 2378 346 289 221 0 87 0
[pid=16049] ppid=16047 vsize=26538700 memory=8943928 CPUtime=971.91 cores=0-7
/proc/16049/stat : 16049 (java) S 16047 16047 14738 0 -1 1077944320 203479 0 0 0 95081 2110 0 0 20 0 28 0 97629334 27175628800 2235982 33554432000 4194304 4196468 140736051539968 140736051522512 139804064141047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
/proc/16049/statm: 6634675 2235982 3304 1 0 6621909 0
[pid=16049/tid=16050] ppid=16047 vsize=26538700 memory=6791534058613427641 CPUtime=145.26 cores=0-7
/proc/16049/task/16050/stat : 16050 (java) S 16047 16047 14738 0 -1 1077944384 12850 0 0 0 14516 10 0 0 20 0 28 0 97629334 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139804068381824 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16051] ppid=16047 vsize=26538700 memory=4872558044660077418 CPUtime=9.88 cores=0-7
/proc/16049/task/16051/stat : 16051 (java) S 16047 16047 14738 0 -1 1077944384 8793 0 0 0 765 223 0 0 20 0 28 0 97629335 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139804016761872 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16052] ppid=16047 vsize=26538700 memory=2204 CPUtime=9.95 cores=0-7
/proc/16049/task/16052/stat : 16052 (java) S 16047 16047 14738 0 -1 1077944384 8746 0 0 0 760 235 0 0 20 0 28 0 97629335 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139804015709328 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16053] ppid=16047 vsize=26538700 memory=7280 CPUtime=9.94 cores=0-7
/proc/16049/task/16053/stat : 16053 (java) S 16047 16047 14738 0 -1 1077944384 10506 0 0 0 762 232 0 0 20 0 28 0 97629335 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139804014656272 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16054] ppid=16047 vsize=26538700 memory=844 CPUtime=10.04 cores=0-7
/proc/16049/task/16054/stat : 16054 (java) S 16047 16047 14738 0 -1 1077944384 10976 0 0 0 755 249 0 0 20 0 28 0 97629335 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139804013603728 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16055] ppid=16047 vsize=26538700 memory=4108 CPUtime=10.03 cores=0-7
/proc/16049/task/16055/stat : 16055 (java) S 16047 16047 14738 0 -1 1077944384 7030 0 0 0 741 262 0 0 20 0 28 0 97629335 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139804012550672 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16056] ppid=16047 vsize=26538700 memory=1692 CPUtime=10.01 cores=0-7
/proc/16049/task/16056/stat : 16056 (java) S 16047 16047 14738 0 -1 1077944384 11766 0 0 0 770 231 0 0 20 0 28 0 97629335 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139804011498128 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16057] ppid=16047 vsize=26538700 memory=916 CPUtime=9.97 cores=0-7
/proc/16049/task/16057/stat : 16057 (java) S 16047 16047 14738 0 -1 1077944384 13165 0 0 0 739 258 0 0 20 0 28 0 97629335 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139804010445072 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16058] ppid=16047 vsize=26538700 memory=4116 CPUtime=9.87 cores=0-7
/proc/16049/task/16058/stat : 16058 (java) S 16047 16047 14738 0 -1 1077944384 7631 0 0 0 757 230 0 0 20 0 28 0 97629335 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139804009392528 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 18 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16059] ppid=16047 vsize=26538700 memory=1156 CPUtime=3.62 cores=0-7
/proc/16049/task/16059/stat : 16059 (java) S 16047 16047 14738 0 -1 1077944384 20953 0 0 0 352 10 0 0 20 0 28 0 97629336 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139802269154032 139804064152194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16060] ppid=16047 vsize=26538700 memory=3492 CPUtime=0 cores=0-7
/proc/16049/task/16060/stat : 16060 (java) S 16047 16047 14738 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 97629337 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139802268100320 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16061] ppid=16047 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/16049/task/16061/stat : 16061 (java) S 16047 16047 14738 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 28 0 97629337 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139802267047168 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16062] ppid=16047 vsize=26538700 memory=16836 CPUtime=0 cores=0-7
/proc/16049/task/16062/stat : 16062 (java) S 16047 16047 14738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97629340 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139802265995728 139804064159643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16063] ppid=16047 vsize=26538700 memory=18472 CPUtime=2.59 cores=0-7
/proc/16049/task/16063/stat : 16063 (java) S 16047 16047 14738 0 -1 1077944384 16609 0 0 0 256 3 0 0 20 0 28 0 97629340 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139802264942832 139804064152194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16064] ppid=16047 vsize=26538700 memory=640 CPUtime=2.65 cores=0-7
/proc/16049/task/16064/stat : 16064 (java) S 16047 16047 14738 0 -1 1077944384 16174 0 0 0 262 3 0 0 20 0 28 0 97629340 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139802263890288 139804064152194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16065] ppid=16047 vsize=26538700 memory=2344 CPUtime=2.41 cores=0-7
/proc/16049/task/16065/stat : 16065 (java) S 16047 16047 14738 0 -1 1077944384 12080 0 0 0 239 2 0 0 20 0 28 0 97629340 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139802262837232 139804064152194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16066] ppid=16047 vsize=26538700 memory=932 CPUtime=0.8 cores=0-7
/proc/16049/task/16066/stat : 16066 (java) S 16047 16047 14738 0 -1 1077944384 9389 0 0 0 79 1 0 0 20 0 28 0 97629340 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139802261784688 139804064152194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16067] ppid=16047 vsize=26538700 memory=1580 CPUtime=0 cores=0-7
/proc/16049/task/16067/stat : 16067 (java) S 16047 16047 14738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97629340 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139802260732896 139804064151253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16068] ppid=16047 vsize=26538700 memory=2244 CPUtime=0.1 cores=0-7
/proc/16049/task/16068/stat : 16068 (java) S 16047 16047 14738 0 -1 1077944384 1080 0 0 0 5 5 0 0 20 0 28 0 97629340 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139801655241904 139804064152194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16069] ppid=16047 vsize=26538700 memory=4132 CPUtime=91.82 cores=0-7
/proc/16049/task/16069/stat : 16069 (java) R 16047 16047 14738 0 -1 4202560 4733 0 0 0 9151 31 0 0 20 0 28 0 97644822 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139801647230376 139803692366164 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16070] ppid=16047 vsize=26538700 memory=2204 CPUtime=92.01 cores=0-7
/proc/16049/task/16070/stat : 16070 (java) R 16047 16047 14738 0 -1 4202560 3031 0 0 0 9184 17 0 0 20 0 28 0 97644823 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139801646178728 139803692366168 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16071] ppid=16047 vsize=26538700 memory=7280 CPUtime=91.3 cores=0-7
/proc/16049/task/16071/stat : 16071 (java) R 16047 16047 14738 0 -1 4202560 3963 0 0 0 9118 12 0 0 20 0 28 0 97644823 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139801645125688 139803691421244 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16072] ppid=16047 vsize=26538700 memory=844 CPUtime=92.03 cores=0-7
/proc/16049/task/16072/stat : 16072 (java) R 16047 16047 14738 0 -1 4202560 5285 0 0 0 9180 23 0 0 20 0 28 0 97644823 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139801644075144 139803691420127 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16073] ppid=16047 vsize=26538700 memory=4108 CPUtime=91.78 cores=0-7
/proc/16049/task/16073/stat : 16073 (java) R 16047 16047 14738 0 -1 4202560 3934 0 0 0 9166 12 0 0 20 0 28 0 97644823 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139801643019376 139803692168795 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16074] ppid=16047 vsize=26538700 memory=1384 CPUtime=91.9 cores=0-7
/proc/16049/task/16074/stat : 16074 (java) R 16047 16047 14738 0 -1 4202560 5371 0 0 0 9172 18 0 0 20 0 28 0 97644823 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139801641968136 139803691420322 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16075] ppid=16047 vsize=26538700 memory=8943928 CPUtime=92.01 cores=0-7
/proc/16049/task/16075/stat : 16075 (java) R 16047 16047 14738 0 -1 4202560 3918 0 0 0 9173 28 0 0 20 0 28 0 97644823 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139801640915512 139803691420186 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
[pid=16049/tid=16076] ppid=16047 vsize=26538700 memory=4116 CPUtime=91.72 cores=0-7
/proc/16049/task/16076/stat : 16076 (java) R 16047 16047 14738 0 -1 4202560 4006 0 0 0 9164 8 0 0 20 0 28 0 97644823 27175628800 2235982 33554432000 4194304 4196468 140736051539968 139801639862968 139803689168204 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 15364096 140736051545240 140736051545416 140736051545416 140736051548111 0
Current children cumulated CPU time: 971.91 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 8945312 KiB

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

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

[startup+252.149 s]
# the end of solver process 16049 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=951.473 s, system=21.1655 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+252.131 s]*
/proc/loadavg: 7.31 4.48 4.96 2/182 16087
/proc/meminfo: memFree=27179956/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.001878 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.149
CPU time (s): 972.638
CPU user time (s): 951.473
CPU system time (s): 21.1655
CPU usage (%): 385.74
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 8945312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 951.473
system time used= 21.1655
maximum resident set size= 8944404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204736
page faults= 0
swaps= 0
block input operations= 0
block output operations= 472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15743
involuntary context switches= 10019


# summary of solver processes directly reported to runsolver:
#   pid: 16047,16049
#   total CPU time (s): 972.638
#   total CPU user time (s): 951.473
#   total CPU system time (s): 21.1655

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.28889 second user time and 2.2917 second system time

The end

Launcher Data 

Begin job on node151 at 2017-08-13 19:17:06
IDJOB=4271475
IDBENCH=137011
IDSOLVER=2663
FILE ID=node151/4271475-1502645484
RUNJOBID= node151-1502642846-14765
PBS_JOBID= 20628335
Free space on /tmp= 61756 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-4271475-1502645484/watcher-4271475-1502645484 -o /tmp/evaluation-result-4271475-1502645484/solver-4271475-1502645484 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502642846-14765 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1278937070 HOME/instance-4271475-1502645484.xml

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

MD5SUM BENCH= 52402e3ba0658144258f494f3b2bc7f2
RANDOM SEED=1278937070

node151.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	: 5332.95
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	: 5332.95
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	: 5332.95
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	: 5332.95
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:        28750932 kB
MemAvailable:   31989952 kB
Buffers:          247184 kB
Cached:          3282296 kB
SwapCached:            0 kB
Active:           958340 kB
Inactive:        2624240 kB
Active(anon):      55700 kB
Inactive(anon):    25044 kB
Active(file):     902640 kB
Inactive(file):  2599196 kB
Unevictable:        7024 kB
Mlocked:            7024 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8828 kB
Writeback:             0 kB
AnonPages:         67584 kB
Mapped:            44052 kB
Shmem:             25224 kB
Slab:             132840 kB
SReclaimable:     106040 kB
SUnreclaim:        26800 kB
KernelStack:        3520 kB
PageTables:         5864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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= 61748 MiB
End job on node151 at 2017-08-13 19:21:18