Trace number 4271458

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) 2006.91 252.09399

General information on the benchmark

NameBinPacking/BinPacking-sum-skj2/
BinPacking-sum-n1w4b2r0.xml
MD5SUM6f7ee260f64b5fefc18f028eef39520f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables71
Number of constraints13
Number of domains2
Minimum domain size6
Maximum domain size41
Distribution of domain sizes[{"size":6,"count":1},{"size":41,"count":70}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":1},{"degree":4,"count":65},{"degree":5,"count":5}]
Minimum constraint arity6
Maximum constraint arity70
Distribution of constraint arities[{"arity":6,"count":1},{"arity":14,"count":10},{"arity":70,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":5},{"type":"lex","count":1},{"type":"sum","count":5},{"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-4271458-1502645969.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4271458-1502645969.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
0.70/0.51	c solve instance...
2006.26/252.09	s UNKNOWN
2006.26/252.09	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 (14297 MiB free)
  memory of node 1: 16384 MiB (14167 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271458-1502645969/watcher-4271458-1502645969 -o /tmp/evaluation-result-4271458-1502645969/solver-4271458-1502645969 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502636397-3850 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 2121623823 HOME/instance-4271458-1502645969.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=17214, runsolver pid=17211

[startup+0.100137 s]*
/proc/loadavg: 1.00 2.26 4.49 2/199 17235
/proc/meminfo: memFree=29133280/32770624 swapFree=67108860/67108860
[pid=17214] ppid=17211 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17214/stat : 17214 (xcsp3-exec) S 17211 17214 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97684972 9740288 346 33554432000 4194304 5098028 140734499660800 140734499658904 140597295755900 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16568320 140734499669098 140734499669308 140734499669308 140734499672043 0
/proc/17214/statm: 2378 346 289 221 0 87 0
[pid=17216] ppid=17214 vsize=25999808 memory=26372 CPUtime=0.11 cores=0-7
/proc/17216/stat : 17216 (java) S 17214 17214 3823 0 -1 1077944320 5472 0 0 0 10 1 0 0 20 0 20 0 97684973 26623803392 6593 33554432000 4194304 4196468 140728340464912 140728340447456 139776625979127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
/proc/17216/statm: 6499952 6593 2849 1 0 6488269 0
[pid=17216/tid=17217] ppid=17214 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/17216/task/17217/stat : 17217 (java) R 17214 17214 3823 0 -1 4202560 3490 0 0 0 8 1 0 0 20 0 20 0 97684973 26623803392 6593 33554432000 4194304 4196468 140728340464912 139776630205376 139776625991062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17218] ppid=17214 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/17216/task/17218/stat : 17218 (java) S 17214 17214 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97684974 26623803392 6593 33554432000 4194304 4196468 140728340464912 139776578600080 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17219] ppid=17214 vsize=25999808 memory=140120573871744 CPUtime=0 cores=0-7
/proc/17216/task/17219/stat : 17219 (java) S 17214 17214 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97684974 26623803392 6593 33554432000 4194304 4196468 140728340464912 139776577547280 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17220] ppid=17214 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17220/stat : 17220 (java) S 17214 17214 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97684974 26623803392 6593 33554432000 4194304 4196468 140728340464912 139776576494480 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17221] ppid=17214 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17221/stat : 17221 (java) S 17214 17214 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97684974 26623803392 6593 33554432000 4194304 4196468 140728340464912 139776575441680 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17222] ppid=17214 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17222/stat : 17222 (java) S 17214 17214 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97684974 26623803392 6593 33554432000 4194304 4196468 140728340464912 139776574388880 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17223] ppid=17214 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/17216/task/17223/stat : 17223 (java) S 17214 17214 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97684974 26623803392 6593 33554432000 4194304 4196468 140728340464912 139776573336080 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17224] ppid=17214 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17224/stat : 17224 (java) S 17214 17214 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97684974 26623803392 6593 33554432000 4194304 4196468 140728340464912 139776572283280 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17225] ppid=17214 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17225/stat : 17225 (java) S 17214 17214 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97684974 26623803392 6593 33554432000 4194304 4196468 140728340464912 139776571230480 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17226] ppid=17214 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17226/stat : 17226 (java) S 17214 17214 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97684975 26623803392 6593 33554432000 4194304 4196468 140728340464912 139776021814128 139776625990274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17227] ppid=17214 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17227/stat : 17227 (java) S 17214 17214 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97684976 26623803392 6593 33554432000 4194304 4196468 140728340464912 139776020760096 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17228] ppid=17214 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17228/stat : 17228 (java) S 17214 17214 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97684976 26623803392 6593 33554432000 4194304 4196468 140728340464912 139775751218544 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17229] ppid=17214 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17229/stat : 17229 (java) S 17214 17214 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97684978 26623803392 6593 33554432000 4194304 4196468 140728340464912 139775750166864 139776625997723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17230] ppid=17214 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17230/stat : 17230 (java) S 17214 17214 3823 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 97684979 26623803392 6593 33554432000 4194304 4196468 140728340464912 139775749114224 139776625990274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17231] ppid=17214 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17231/stat : 17231 (java) S 17214 17214 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97684979 26623803392 6593 33554432000 4194304 4196468 140728340464912 139775748061424 139776625990274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17232] ppid=17214 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17232/stat : 17232 (java) S 17214 17214 3823 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 97684979 26623803392 6593 33554432000 4194304 4196468 140728340464912 139775747008624 139776625990274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17233] ppid=17214 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/17216/task/17233/stat : 17233 (java) R 17214 17214 3823 0 -1 4202560 251 0 0 0 1 0 0 0 20 0 20 0 97684979 26623803392 6593 33554432000 4194304 4196468 140728340464912 139775745955824 139776610059614 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17234] ppid=17214 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17234/stat : 17234 (java) S 17214 17214 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97684979 26623803392 6593 33554432000 4194304 4196468 140728340464912 139775744904288 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17235] ppid=17214 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/17216/task/17235/stat : 17235 (java) S 17214 17214 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97684979 26623803392 6593 33554432000 4194304 4196468 140728340464912 139775743851568 139776625990274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27756 KiB

[startup+0.20992 s]*
/proc/loadavg: 1.00 2.26 4.49 3/199 17235
/proc/meminfo: memFree=29121416/32770624 swapFree=67108860/67108860
[pid=17214] ppid=17211 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17214/stat : 17214 (xcsp3-exec) S 17211 17214 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97684972 9740288 346 33554432000 4194304 5098028 140734499660800 140734499658904 140597295755900 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16568320 140734499669098 140734499669308 140734499669308 140734499672043 0
/proc/17214/statm: 2378 346 289 221 0 87 0
[pid=17216] ppid=17214 vsize=26004064 memory=38912 CPUtime=0.33 cores=0-7
/proc/17216/stat : 17216 (java) S 17214 17214 3823 0 -1 1077944320 8304 0 0 0 30 3 0 0 20 0 20 0 97684973 26628161536 9728 33554432000 4194304 4196468 140728340464912 140728340447456 139776625979127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
/proc/17216/statm: 6501016 9728 3058 1 0 6488269 0
[pid=17216/tid=17217] ppid=17214 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/17216/task/17217/stat : 17217 (java) R 17214 17214 3823 0 -1 4202560 5407 0 0 0 18 2 0 0 20 0 20 0 97684973 26628161536 9728 33554432000 4194304 4196468 140728340464912 139776630200128 139776610059614 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17218] ppid=17214 vsize=26004064 memory=327 CPUtime=0 cores=0-7
/proc/17216/task/17218/stat : 17218 (java) S 17214 17214 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97684974 26628161536 9728 33554432000 4194304 4196468 140728340464912 139776578600080 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17219] ppid=17214 vsize=26004064 memory=4050627927468672672 CPUtime=0 cores=0-7
/proc/17216/task/17219/stat : 17219 (java) S 17214 17214 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97684974 26628161536 9728 33554432000 4194304 4196468 140728340464912 139776577547280 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17220] ppid=17214 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17216/task/17220/stat : 17220 (java) S 17214 17214 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97684974 26628161536 9728 33554432000 4194304 4196468 140728340464912 139776576494480 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17221] ppid=17214 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17221/stat : 17221 (java) S 17214 17214 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97684974 26628161536 9728 33554432000 4194304 4196468 140728340464912 139776575441680 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17222] ppid=17214 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17222/stat : 17222 (java) S 17214 17214 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97684974 26628161536 9728 33554432000 4194304 4196468 140728340464912 139776574388880 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17223] ppid=17214 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17216/task/17223/stat : 17223 (java) S 17214 17214 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97684974 26628161536 9728 33554432000 4194304 4196468 140728340464912 139776573336080 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17224] ppid=17214 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17224/stat : 17224 (java) S 17214 17214 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97684974 26628161536 9728 33554432000 4194304 4196468 140728340464912 139776572283280 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17225] ppid=17214 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17225/stat : 17225 (java) S 17214 17214 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97684974 26628161536 9728 33554432000 4194304 4196468 140728340464912 139776571230480 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17226] ppid=17214 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17226/stat : 17226 (java) S 17214 17214 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97684975 26628161536 9728 33554432000 4194304 4196468 140728340464912 139776021814128 139776625990274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17227] ppid=17214 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17227/stat : 17227 (java) S 17214 17214 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97684976 26628161536 9728 33554432000 4194304 4196468 140728340464912 139776020760096 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17228] ppid=17214 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17228/stat : 17228 (java) S 17214 17214 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97684976 26628161536 9728 33554432000 4194304 4196468 140728340464912 139775751218544 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17229] ppid=17214 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17229/stat : 17229 (java) S 17214 17214 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97684978 26628161536 9728 33554432000 4194304 4196468 140728340464912 139775750166864 139776625997723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17230] ppid=17214 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/17216/task/17230/stat : 17230 (java) S 17214 17214 3823 0 -1 1077944384 481 0 0 0 1 0 0 0 20 0 20 0 97684979 26628161536 9728 33554432000 4194304 4196468 140728340464912 139775749114224 139776625990274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17231] ppid=17214 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/17216/task/17231/stat : 17231 (java) S 17214 17214 3823 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 20 0 97684979 26628161536 9728 33554432000 4194304 4196468 140728340464912 139775748061424 139776625990274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17232] ppid=17214 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/17216/task/17232/stat : 17232 (java) S 17214 17214 3823 0 -1 1077944384 296 0 0 0 1 0 0 0 20 0 20 0 97684979 26628161536 9728 33554432000 4194304 4196468 140728340464912 139775747008624 139776625990274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17233] ppid=17214 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/17216/task/17233/stat : 17233 (java) S 17214 17214 3823 0 -1 1077944384 767 0 0 0 7 0 0 0 20 0 20 0 97684979 26628161536 9728 33554432000 4194304 4196468 140728340464912 139775745955824 139776625990274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17234] ppid=17214 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17234/stat : 17234 (java) S 17214 17214 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97684979 26628161536 9728 33554432000 4194304 4196468 140728340464912 139775744904288 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17235] ppid=17214 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17216/task/17235/stat : 17235 (java) S 17214 17214 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97684979 26628161536 9728 33554432000 4194304 4196468 140728340464912 139775743851568 139776625990274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40296 KiB

[startup+0.309404 s]*
/proc/loadavg: 1.00 2.26 4.49 2/199 17235
/proc/meminfo: memFree=29114840/32770624 swapFree=67108860/67108860
[pid=17214] ppid=17211 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17214/stat : 17214 (xcsp3-exec) S 17211 17214 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97684972 9740288 346 33554432000 4194304 5098028 140734499660800 140734499658904 140597295755900 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16568320 140734499669098 140734499669308 140734499669308 140734499672043 0
/proc/17214/statm: 2378 346 289 221 0 87 0
[pid=17216] ppid=17214 vsize=26004064 memory=45840 CPUtime=0.49 cores=0-7
/proc/17216/stat : 17216 (java) S 17214 17214 3823 0 -1 1077944320 9186 0 0 0 46 3 0 0 20 0 20 0 97684973 26628161536 11460 33554432000 4194304 4196468 140728340464912 140728340447456 139776625979127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
/proc/17216/statm: 6501016 11460 3090 1 0 6488269 0
[pid=17216/tid=17217] ppid=17214 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/17216/task/17217/stat : 17217 (java) R 17214 17214 3823 0 -1 4202560 6153 0 0 0 27 2 0 0 20 0 20 0 97684973 26628161536 11479 33554432000 4194304 4196468 140728340464912 139776630213152 139776626001053 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17218] ppid=17214 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17218/stat : 17218 (java) S 17214 17214 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97684974 26628161536 11479 33554432000 4194304 4196468 140728340464912 139776578600080 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17219] ppid=17214 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17219/stat : 17219 (java) S 17214 17214 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97684974 26628161536 11479 33554432000 4194304 4196468 140728340464912 139776577547280 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17220] ppid=17214 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17220/stat : 17220 (java) S 17214 17214 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97684974 26628161536 11479 33554432000 4194304 4196468 140728340464912 139776576494480 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17221] ppid=17214 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17221/stat : 17221 (java) S 17214 17214 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97684974 26628161536 11479 33554432000 4194304 4196468 140728340464912 139776575441680 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17222] ppid=17214 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/17216/task/17222/stat : 17222 (java) S 17214 17214 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97684974 26628161536 11479 33554432000 4194304 4196468 140728340464912 139776574388880 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17223] ppid=17214 vsize=26004064 memory=140120422445999 CPUtime=0 cores=0-7
/proc/17216/task/17223/stat : 17223 (java) S 17214 17214 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97684974 26628161536 11479 33554432000 4194304 4196468 140728340464912 139776573336080 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17224] ppid=17214 vsize=26004064 memory=140120422448304 CPUtime=0 cores=0-7
/proc/17216/task/17224/stat : 17224 (java) S 17214 17214 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97684974 26628161536 11479 33554432000 4194304 4196468 140728340464912 139776572283280 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17225] ppid=17214 vsize=26004064 memory=140120422450608 CPUtime=0 cores=0-7
/proc/17216/task/17225/stat : 17225 (java) S 17214 17214 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97684974 26628161536 11479 33554432000 4194304 4196468 140728340464912 139776571230480 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17226] ppid=17214 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17226/stat : 17226 (java) S 17214 17214 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97684975 26628161536 11479 33554432000 4194304 4196468 140728340464912 139776021814128 139776625990274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17227] ppid=17214 vsize=26004064 memory=280240844908176 CPUtime=0 cores=0-7
/proc/17216/task/17227/stat : 17227 (java) S 17214 17214 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97684976 26628161536 11479 33554432000 4194304 4196468 140728340464912 139776020760096 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17228] ppid=17214 vsize=26004064 memory=280240844915088 CPUtime=0 cores=0-7
/proc/17216/task/17228/stat : 17228 (java) S 17214 17214 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97684976 26628161536 11479 33554432000 4194304 4196468 140728340464912 139775751218544 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17229] ppid=17214 vsize=26004064 memory=280240844856368 CPUtime=0 cores=0-7
/proc/17216/task/17229/stat : 17229 (java) S 17214 17214 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97684978 26628161536 11479 33554432000 4194304 4196468 140728340464912 139775750166864 139776625997723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17230] ppid=17214 vsize=26004064 memory=280240844928912 CPUtime=0.02 cores=0-7
/proc/17216/task/17230/stat : 17230 (java) S 17214 17214 3823 0 -1 1077944384 487 0 0 0 2 0 0 0 20 0 20 0 97684979 26628161536 11479 33554432000 4194304 4196468 140728340464912 139775749114224 139776625990274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17231] ppid=17214 vsize=26004064 memory=280240844935824 CPUtime=0.02 cores=0-7
/proc/17216/task/17231/stat : 17231 (java) S 17214 17214 3823 0 -1 1077944384 46 0 0 0 2 0 0 0 20 0 20 0 97684979 26628161536 11479 33554432000 4194304 4196468 140728340464912 139775748061424 139776625990274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17232] ppid=17214 vsize=26004064 memory=280240844933520 CPUtime=0.03 cores=0-7
/proc/17216/task/17232/stat : 17232 (java) S 17214 17214 3823 0 -1 1077944384 341 0 0 0 3 0 0 0 20 0 20 0 97684979 26628161536 11479 33554432000 4194304 4196468 140728340464912 139775747008624 139776625990274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17233] ppid=17214 vsize=26004064 memory=280240844949680 CPUtime=0.11 cores=0-7
/proc/17216/task/17233/stat : 17233 (java) S 17214 17214 3823 0 -1 1077944384 852 0 0 0 11 0 0 0 20 0 20 0 97684979 26628161536 11479 33554432000 4194304 4196468 140728340464912 139775745955824 139776625990274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17234] ppid=17214 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17234/stat : 17234 (java) S 17214 17214 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97684979 26628161536 11479 33554432000 4194304 4196468 140728340464912 139775744904288 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17235] ppid=17214 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17216/task/17235/stat : 17235 (java) S 17214 17214 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97684979 26628161536 11479 33554432000 4194304 4196468 140728340464912 139775743851568 139776625990274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47224 KiB

[startup+0.701212 s]
/proc/loadavg: 1.00 2.26 4.49 2/199 17235
/proc/meminfo: memFree=29097224/32770624 swapFree=67108860/67108860
[pid=17214] ppid=17211 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17214/stat : 17214 (xcsp3-exec) S 17211 17214 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97684972 9740288 346 33554432000 4194304 5098028 140734499660800 140734499658904 140597295755900 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16568320 140734499669098 140734499669308 140734499669308 140734499672043 0
/proc/17214/statm: 2378 346 289 221 0 87 0
[pid=17216] ppid=17214 vsize=26538700 memory=84940 CPUtime=2.36 cores=0-7
/proc/17216/stat : 17216 (java) S 17214 17214 3823 0 -1 1077944320 13196 0 0 0 231 5 0 0 20 0 28 0 97684973 27175628800 21235 33554432000 4194304 4196468 140728340464912 140728340447456 139776625979127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
/proc/17216/statm: 6634675 21235 3202 1 0 6621909 0
[pid=17216/tid=17217] ppid=17214 vsize=26538700 memory=280240845307568 CPUtime=0.49 cores=0-7
/proc/17216/task/17217/stat : 17217 (java) S 17214 17214 3823 0 -1 1077944384 6799 0 0 0 46 3 0 0 20 0 28 0 97684973 27175628800 21235 33554432000 4194304 4196468 140728340464912 139776630219904 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17218] ppid=17214 vsize=26538700 memory=140120422654832 CPUtime=0 cores=0-7
/proc/17216/task/17218/stat : 17218 (java) S 17214 17214 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 97684974 27175628800 21235 33554432000 4194304 4196468 140728340464912 139776578600080 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17219] ppid=17214 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17219/stat : 17219 (java) S 17214 17214 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 97684974 27175628800 21235 33554432000 4194304 4196468 140728340464912 139776577547280 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17220] ppid=17214 vsize=26538700 memory=5296 CPUtime=0 cores=0-7
/proc/17216/task/17220/stat : 17220 (java) S 17214 17214 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97684974 27175628800 21235 33554432000 4194304 4196468 140728340464912 139776576494480 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0

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

[pid=17216/tid=17243] ppid=17214 vsize=26538700 memory=14698478437665088 CPUtime=160.86 cores=0-7
/proc/17216/task/17243/stat : 17243 (java) R 17214 17214 3823 0 -1 4202560 4282 0 0 0 16084 2 0 0 20 0 28 0 97685025 27175628800 45703 33554432000 4194304 4196468 140728340464912 139775728472224 139776241277602 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
Current children cumulated CPU time: 1290.79 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 184196 KiB

[startup+222.301 s]
/proc/loadavg: 7.95 5.43 5.30 9/207 17244
/proc/meminfo: memFree=28993336/32770624 swapFree=67108860/67108860
[pid=17214] ppid=17211 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17214/stat : 17214 (xcsp3-exec) S 17211 17214 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97684972 9740288 346 33554432000 4194304 5098028 140734499660800 140734499658904 140597295755900 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16568320 140734499669098 140734499669308 140734499669308 140734499672043 0
/proc/17214/statm: 2378 346 289 221 0 87 0
[pid=17216] ppid=17214 vsize=26538700 memory=166912 CPUtime=1769.46 cores=0-7
/proc/17216/stat : 17216 (java) S 17214 17214 3823 0 -1 1077944320 77812 0 0 0 176913 33 0 0 20 0 28 0 97684973 27175628800 41728 33554432000 4194304 4196468 140728340464912 140728340447456 139776625979127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
/proc/17216/statm: 6634675 41728 3273 1 0 6621909 0
[pid=17216/tid=17217] ppid=17214 vsize=26538700 memory=167940 CPUtime=0.49 cores=0-7
/proc/17216/task/17217/stat : 17217 (java) S 17214 17214 3823 0 -1 1077944384 6799 0 0 0 46 3 0 0 20 0 28 0 97684973 27175628800 41728 33554432000 4194304 4196468 140728340464912 139776630219904 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17218] ppid=17214 vsize=26538700 memory=167940 CPUtime=0.06 cores=0-7
/proc/17216/task/17218/stat : 17218 (java) S 17214 17214 3823 0 -1 1077944384 2353 0 0 0 5 1 0 0 20 0 28 0 97684974 27175628800 41728 33554432000 4194304 4196468 140728340464912 139776578600080 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17219] ppid=17214 vsize=26538700 memory=1384 CPUtime=0.06 cores=0-7
/proc/17216/task/17219/stat : 17219 (java) S 17214 17214 3823 0 -1 1077944384 1511 0 0 0 5 1 0 0 20 0 28 0 97684974 27175628800 41728 33554432000 4194304 4196468 140728340464912 139776577547280 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17220] ppid=17214 vsize=26538700 memory=170504 CPUtime=0.05 cores=0-7
/proc/17216/task/17220/stat : 17220 (java) S 17214 17214 3823 0 -1 1077944384 2469 0 0 0 4 1 0 0 20 0 28 0 97684974 27175628800 41728 33554432000 4194304 4196468 140728340464912 139776576494480 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17221] ppid=17214 vsize=26538700 memory=167940 CPUtime=0.06 cores=0-7
/proc/17216/task/17221/stat : 17221 (java) S 17214 17214 3823 0 -1 1077944384 2001 0 0 0 5 1 0 0 20 0 28 0 97684974 27175628800 41728 33554432000 4194304 4196468 140728340464912 139776575441680 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17222] ppid=17214 vsize=26538700 memory=1384 CPUtime=0.06 cores=0-7
/proc/17216/task/17222/stat : 17222 (java) S 17214 17214 3823 0 -1 1077944384 557 0 0 0 5 1 0 0 20 0 28 0 97684974 27175628800 41728 33554432000 4194304 4196468 140728340464912 139776574388880 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17223] ppid=17214 vsize=26538700 memory=1384 CPUtime=0.05 cores=0-7
/proc/17216/task/17223/stat : 17223 (java) S 17214 17214 3823 0 -1 1077944384 3064 0 0 0 4 1 0 0 20 0 28 0 97684974 27175628800 41728 33554432000 4194304 4196468 140728340464912 139776573336080 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17224] ppid=17214 vsize=26538700 memory=0 CPUtime=0.06 cores=0-7
/proc/17216/task/17224/stat : 17224 (java) S 17214 17214 3823 0 -1 1077944384 1144 0 0 0 5 1 0 0 20 0 28 0 97684974 27175628800 41728 33554432000 4194304 4196468 140728340464912 139776572283280 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17225] ppid=17214 vsize=26538700 memory=280240846725232 CPUtime=0.05 cores=0-7
/proc/17216/task/17225/stat : 17225 (java) S 17214 17214 3823 0 -1 1077944384 1321 0 0 0 5 0 0 0 20 0 28 0 97684974 27175628800 41728 33554432000 4194304 4196468 140728340464912 139776571230480 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17226] ppid=17214 vsize=26538700 memory=185888 CPUtime=0.05 cores=0-7
/proc/17216/task/17226/stat : 17226 (java) S 17214 17214 3823 0 -1 1077944384 5411 0 0 0 4 1 0 0 20 0 28 0 97684975 27175628800 41728 33554432000 4194304 4196468 140728340464912 139776021814128 139776625990274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17227] ppid=17214 vsize=26538700 memory=5 CPUtime=0 cores=0-7
/proc/17216/task/17227/stat : 17227 (java) S 17214 17214 3823 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 97684976 27175628800 41728 33554432000 4194304 4196468 140728340464912 139776020760096 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17228] ppid=17214 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/17216/task/17228/stat : 17228 (java) S 17214 17214 3823 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 97684976 27175628800 41728 33554432000 4194304 4196468 140728340464912 139775751218560 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17229] ppid=17214 vsize=26538700 memory=4116 CPUtime=0 cores=0-7
/proc/17216/task/17229/stat : 17229 (java) S 17214 17214 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97684978 27175628800 41728 33554432000 4194304 4196468 140728340464912 139775750166864 139776625997723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17230] ppid=17214 vsize=26538700 memory=4104 CPUtime=1.14 cores=0-7
/proc/17216/task/17230/stat : 17230 (java) S 17214 17214 3823 0 -1 1077944384 7306 0 0 0 113 1 0 0 20 0 28 0 97684979 27175628800 41728 33554432000 4194304 4196468 140728340464912 139775749114224 139776625990274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17231] ppid=17214 vsize=26538700 memory=1384 CPUtime=1.34 cores=0-7
/proc/17216/task/17231/stat : 17231 (java) S 17214 17214 3823 0 -1 1077944384 9496 0 0 0 132 2 0 0 20 0 28 0 97684979 27175628800 41728 33554432000 4194304 4196468 140728340464912 139775748061424 139776625990274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17232] ppid=17214 vsize=26538700 memory=1384 CPUtime=1.08 cores=0-7
/proc/17216/task/17232/stat : 17232 (java) S 17214 17214 3823 0 -1 1077944384 6816 0 0 0 107 1 0 0 20 0 28 0 97684979 27175628800 41728 33554432000 4194304 4196468 140728340464912 139775747008624 139776625990274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17233] ppid=17214 vsize=26538700 memory=0 CPUtime=0.42 cores=0-7
/proc/17216/task/17233/stat : 17233 (java) S 17214 17214 3823 0 -1 1077944384 4673 0 0 0 42 0 0 0 20 0 28 0 97684979 27175628800 41728 33554432000 4194304 4196468 140728340464912 139775745955824 139776625990274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17234] ppid=17214 vsize=26538700 memory=5788366128452758633 CPUtime=0 cores=0-7
/proc/17216/task/17234/stat : 17234 (java) S 17214 17214 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97684979 27175628800 41728 33554432000 4194304 4196468 140728340464912 139775744904288 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17235] ppid=17214 vsize=26538700 memory=74036646266006 CPUtime=0.02 cores=0-7
/proc/17216/task/17235/stat : 17235 (java) S 17214 17214 3823 0 -1 1077944384 1316 0 0 0 0 2 0 0 20 0 28 0 97684979 27175628800 41728 33554432000 4194304 4196468 140728340464912 139775743851568 139776625990274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17236] ppid=17214 vsize=26538700 memory=7883944108235712103 CPUtime=220.88 cores=0-7
/proc/17216/task/17236/stat : 17236 (java) R 17214 17214 3823 0 -1 4202560 1216 0 0 0 22088 0 0 0 20 0 28 0 97685024 27175628800 41728 33554432000 4194304 4196468 140728340464912 139775735840384 139776242274008 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17237] ppid=17214 vsize=26538700 memory=1384 CPUtime=220.6 cores=0-7
/proc/17216/task/17237/stat : 17237 (java) R 17214 17214 3823 0 -1 4202560 1096 0 0 0 22060 0 0 0 20 0 28 0 97685025 27175628800 41728 33554432000 4194304 4196468 140728340464912 139775734788296 139776242273609 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17238] ppid=17214 vsize=26538700 memory=4140 CPUtime=221.05 cores=0-7
/proc/17216/task/17238/stat : 17238 (java) R 17214 17214 3823 0 -1 4202560 1568 0 0 0 22105 0 0 0 20 0 28 0 97685025 27175628800 41728 33554432000 4194304 4196468 140728340464912 139775733735416 139776241675140 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17239] ppid=17214 vsize=26538700 memory=1384 CPUtime=220.09 cores=0-7
/proc/17216/task/17239/stat : 17239 (java) R 17214 17214 3823 0 -1 4202560 2889 0 0 0 22008 1 0 0 20 0 28 0 97685025 27175628800 41728 33554432000 4194304 4196468 140728340464912 139775732682616 139776241522963 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17240] ppid=17214 vsize=26538700 memory=169476 CPUtime=219.74 cores=0-7
/proc/17216/task/17240/stat : 17240 (java) R 17214 17214 3823 0 -1 4202560 6219 0 0 0 21971 3 0 0 20 0 28 0 97685025 27175628800 41728 33554432000 4194304 4196468 140728340464912 139775731629896 139776242273678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17241] ppid=17214 vsize=26538700 memory=33 CPUtime=220.41 cores=0-7
/proc/17216/task/17241/stat : 17241 (java) R 17214 17214 3823 0 -1 4202560 1092 0 0 0 22041 0 0 0 20 0 28 0 97685025 27175628800 41728 33554432000 4194304 4196468 140728340464912 139775730576688 139776242276133 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17242] ppid=17214 vsize=26538700 memory=6944656592455359580 CPUtime=220.84 cores=0-7
/proc/17216/task/17242/stat : 17242 (java) R 17214 17214 3823 0 -1 4202560 1028 0 0 0 22084 0 0 0 20 0 28 0 97685025 27175628800 41728 33554432000 4194304 4196468 140728340464912 139775729525184 139776242273862 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17243] ppid=17214 vsize=26538700 memory=167940 CPUtime=220.61 cores=0-7
/proc/17216/task/17243/stat : 17243 (java) R 17214 17214 3823 0 -1 4202560 5107 0 0 0 22058 3 0 0 20 0 28 0 97685025 27175628800 41728 33554432000 4194304 4196468 140728340464912 139775728475216 139776242274876 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
Current children cumulated CPU time: 1769.46 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 168296 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 7.97 5.68 5.39 9/207 17244
/proc/meminfo: memFree=28996976/32770624 swapFree=67108860/67108860
[pid=17214] ppid=17211 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17214/stat : 17214 (xcsp3-exec) S 17211 17214 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97684972 9740288 346 33554432000 4194304 5098028 140734499660800 140734499658904 140597295755900 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16568320 140734499669098 140734499669308 140734499669308 140734499672043 0
/proc/17214/statm: 2378 346 289 221 0 87 0
[pid=17216] ppid=17214 vsize=26538700 memory=163860 CPUtime=2006.26 cores=0-7
/proc/17216/stat : 17216 (java) S 17214 17214 3823 0 -1 1077944320 80900 0 0 0 200592 34 0 0 20 0 28 0 97684973 27175628800 40965 33554432000 4194304 4196468 140728340464912 140728340447456 139776625979127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
/proc/17216/statm: 6634675 40965 3273 1 0 6621909 0
[pid=17216/tid=17217] ppid=17214 vsize=26538700 memory=6791534058613427641 CPUtime=0.49 cores=0-7
/proc/17216/task/17217/stat : 17217 (java) S 17214 17214 3823 0 -1 1077944384 6799 0 0 0 46 3 0 0 20 0 28 0 97684973 27175628800 40965 33554432000 4194304 4196468 140728340464912 139776630219904 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17218] ppid=17214 vsize=26538700 memory=4126316290023845779 CPUtime=0.07 cores=0-7
/proc/17216/task/17218/stat : 17218 (java) S 17214 17214 3823 0 -1 1077944384 2424 0 0 0 6 1 0 0 20 0 28 0 97684974 27175628800 40965 33554432000 4194304 4196468 140728340464912 139776578600080 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17219] ppid=17214 vsize=26538700 memory=956 CPUtime=0.06 cores=0-7
/proc/17216/task/17219/stat : 17219 (java) S 17214 17214 3823 0 -1 1077944384 1582 0 0 0 5 1 0 0 20 0 28 0 97684974 27175628800 40965 33554432000 4194304 4196468 140728340464912 139776577547280 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17220] ppid=17214 vsize=26538700 memory=15872 CPUtime=0.06 cores=0-7
/proc/17216/task/17220/stat : 17220 (java) S 17214 17214 3823 0 -1 1077944384 2488 0 0 0 5 1 0 0 20 0 28 0 97684974 27175628800 40965 33554432000 4194304 4196468 140728340464912 139776576494480 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17221] ppid=17214 vsize=26538700 memory=18448 CPUtime=0.07 cores=0-7
/proc/17216/task/17221/stat : 17221 (java) S 17214 17214 3823 0 -1 1077944384 2369 0 0 0 6 1 0 0 20 0 28 0 97684974 27175628800 40965 33554432000 4194304 4196468 140728340464912 139776575441680 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17222] ppid=17214 vsize=26538700 memory=164372 CPUtime=0.07 cores=0-7
/proc/17216/task/17222/stat : 17222 (java) S 17214 17214 3823 0 -1 1077944384 663 0 0 0 6 1 0 0 20 0 28 0 97684974 27175628800 40965 33554432000 4194304 4196468 140728340464912 139776574388880 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17223] ppid=17214 vsize=26538700 memory=1384 CPUtime=0.06 cores=0-7
/proc/17216/task/17223/stat : 17223 (java) S 17214 17214 3823 0 -1 1077944384 3097 0 0 0 5 1 0 0 20 0 28 0 97684974 27175628800 40965 33554432000 4194304 4196468 140728340464912 139776573336080 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17224] ppid=17214 vsize=26538700 memory=6791534058613427641 CPUtime=0.07 cores=0-7
/proc/17216/task/17224/stat : 17224 (java) S 17214 17214 3823 0 -1 1077944384 1162 0 0 0 6 1 0 0 20 0 28 0 97684974 27175628800 40965 33554432000 4194304 4196468 140728340464912 139776572283280 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17225] ppid=17214 vsize=26538700 memory=636 CPUtime=0.06 cores=0-7
/proc/17216/task/17225/stat : 17225 (java) S 17214 17214 3823 0 -1 1077944384 1683 0 0 0 5 1 0 0 20 0 28 0 97684974 27175628800 40965 33554432000 4194304 4196468 140728340464912 139776571230480 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17226] ppid=17214 vsize=26538700 memory=1384 CPUtime=0.07 cores=0-7
/proc/17216/task/17226/stat : 17226 (java) S 17214 17214 3823 0 -1 1077944384 5881 0 0 0 5 2 0 0 20 0 28 0 97684975 27175628800 40965 33554432000 4194304 4196468 140728340464912 139776021814128 139776625990274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17227] ppid=17214 vsize=26538700 memory=840 CPUtime=0 cores=0-7
/proc/17216/task/17227/stat : 17227 (java) S 17214 17214 3823 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 97684976 27175628800 40965 33554432000 4194304 4196468 140728340464912 139776020760096 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17228] ppid=17214 vsize=26538700 memory=1692 CPUtime=0 cores=0-7
/proc/17216/task/17228/stat : 17228 (java) S 17214 17214 3823 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 97684976 27175628800 40965 33554432000 4194304 4196468 140728340464912 139775751218560 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17229] ppid=17214 vsize=26538700 memory=916 CPUtime=0 cores=0-7
/proc/17216/task/17229/stat : 17229 (java) S 17214 17214 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97684978 27175628800 40965 33554432000 4194304 4196468 140728340464912 139775750166864 139776625997723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17230] ppid=17214 vsize=26538700 memory=4116 CPUtime=1.14 cores=0-7
/proc/17216/task/17230/stat : 17230 (java) S 17214 17214 3823 0 -1 1077944384 7311 0 0 0 113 1 0 0 20 0 28 0 97684979 27175628800 40965 33554432000 4194304 4196468 140728340464912 139775749114224 139776625990274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17231] ppid=17214 vsize=26538700 memory=4104 CPUtime=1.34 cores=0-7
/proc/17216/task/17231/stat : 17231 (java) S 17214 17214 3823 0 -1 1077944384 9501 0 0 0 132 2 0 0 20 0 28 0 97684979 27175628800 40965 33554432000 4194304 4196468 140728340464912 139775748061424 139776625990274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17232] ppid=17214 vsize=26538700 memory=1160 CPUtime=1.08 cores=0-7
/proc/17216/task/17232/stat : 17232 (java) S 17214 17214 3823 0 -1 1077944384 6823 0 0 0 107 1 0 0 20 0 28 0 97684979 27175628800 40965 33554432000 4194304 4196468 140728340464912 139775747008624 139776625990274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17233] ppid=17214 vsize=26538700 memory=165380 CPUtime=0.42 cores=0-7
/proc/17216/task/17233/stat : 17233 (java) S 17214 17214 3823 0 -1 1077944384 4683 0 0 0 42 0 0 0 20 0 28 0 97684979 27175628800 40965 33554432000 4194304 4196468 140728340464912 139775745955824 139776625990274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17234] ppid=17214 vsize=26538700 memory=6504 CPUtime=0 cores=0-7
/proc/17216/task/17234/stat : 17234 (java) S 17214 17214 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97684979 27175628800 40965 33554432000 4194304 4196468 140728340464912 139775744904288 139776625989333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17235] ppid=17214 vsize=26538700 memory=840 CPUtime=0.03 cores=0-7
/proc/17216/task/17235/stat : 17235 (java) S 17214 17214 3823 0 -1 1077944384 1358 0 0 0 0 3 0 0 20 0 28 0 97684979 27175628800 40965 33554432000 4194304 4196468 140728340464912 139775743851568 139776625990274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17236] ppid=17214 vsize=26538700 memory=1952 CPUtime=250.51 cores=0-7
/proc/17216/task/17236/stat : 17236 (java) R 17214 17214 3823 0 -1 4202560 1281 0 0 0 25051 0 0 0 20 0 28 0 97685024 27175628800 40965 33554432000 4194304 4196468 140728340464912 139775735839760 139776241277528 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17237] ppid=17214 vsize=26538700 memory=8552 CPUtime=250.28 cores=0-7
/proc/17216/task/17237/stat : 17237 (java) R 17214 17214 3823 0 -1 4202560 1170 0 0 0 25028 0 0 0 20 0 28 0 97685025 27175628800 40965 33554432000 4194304 4196468 140728340464912 139775734788296 139776242274021 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17238] ppid=17214 vsize=26538700 memory=1224 CPUtime=250.73 cores=0-7
/proc/17216/task/17238/stat : 17238 (java) R 17214 17214 3823 0 -1 4202560 1718 0 0 0 25073 0 0 0 20 0 28 0 97685025 27175628800 40965 33554432000 4194304 4196468 140728340464912 139775733735496 139776241277495 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17239] ppid=17214 vsize=26538700 memory=792 CPUtime=249.66 cores=0-7
/proc/17216/task/17239/stat : 17239 (java) R 17214 17214 3823 0 -1 4202560 3023 0 0 0 24965 1 0 0 20 0 28 0 97685025 27175628800 40965 33554432000 4194304 4196468 140728340464912 139775732685408 139776242273692 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17240] ppid=17214 vsize=26538700 memory=1004 CPUtime=249.39 cores=0-7
/proc/17216/task/17240/stat : 17240 (java) R 17214 17214 3823 0 -1 4202560 6337 0 0 0 24936 3 0 0 20 0 28 0 97685025 27175628800 40965 33554432000 4194304 4196468 140728340464912 139775731629760 139776242274008 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17241] ppid=17214 vsize=26538700 memory=5296 CPUtime=249.92 cores=0-7
/proc/17216/task/17241/stat : 17241 (java) R 17214 17214 3823 0 -1 4202560 1179 0 0 0 24992 0 0 0 20 0 28 0 97685025 27175628800 40965 33554432000 4194304 4196468 140728340464912 139775730576960 139776241606102 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17242] ppid=17214 vsize=26538700 memory=1196 CPUtime=250.47 cores=0-7
/proc/17216/task/17242/stat : 17242 (java) R 17214 17214 3823 0 -1 4202560 1103 0 0 0 25047 0 0 0 20 0 28 0 97685025 27175628800 40965 33554432000 4194304 4196468 140728340464912 139775729525184 139776241277825 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
[pid=17216/tid=17243] ppid=17214 vsize=26538700 memory=4612 CPUtime=250 cores=0-7
/proc/17216/task/17243/stat : 17243 (java) R 17214 17214 3823 0 -1 4202560 5905 0 0 0 24997 3 0 0 20 0 28 0 97685025 27175628800 40965 33554432000 4194304 4196468 140728340464912 139775728472520 139776242273609 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 20992000 140728340468888 140728340469064 140728340469064 140728340471759 0
Current children cumulated CPU time: 2006.26 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 165244 KiB

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

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

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

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

Child status: 143
Real time (s): 252.094
CPU time (s): 2006.91
CPU user time (s): 2006.57
CPU system time (s): 0.347596
CPU usage (%): 796.098
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 223488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2006.57
system time used= 0.347596
maximum resident set size= 225192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81817
page faults= 0
swaps= 0
block input operations= 0
block output operations= 456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13003
involuntary context switches= 21440


# summary of solver processes directly reported to runsolver:
#   pid: 17214,17216
#   total CPU time (s): 2006.91
#   total CPU user time (s): 2006.57
#   total CPU system time (s): 0.347596

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.88988 second user time and 2.82042 second system time

The end

Launcher Data 

Begin job on node107 at 2017-08-13 19:25:11
IDJOB=4271458
IDBENCH=137358
IDSOLVER=2663
FILE ID=node107/4271458-1502645969
RUNJOBID= node107-1502636397-3850
PBS_JOBID= 20628325
Free space on /tmp= 61660 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj2/BinPacking-sum-n1w4b2r0.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-4271458-1502645969/watcher-4271458-1502645969 -o /tmp/evaluation-result-4271458-1502645969/solver-4271458-1502645969 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502636397-3850 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 2121623823 HOME/instance-4271458-1502645969.xml

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

MD5SUM BENCH= 6f7ee260f64b5fefc18f028eef39520f
RANDOM SEED=2121623823

node107.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.84
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.84
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.84
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.84
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:        29148028 kB
MemAvailable:   31989992 kB
Buffers:          170432 kB
Cached:          2960056 kB
SwapCached:            0 kB
Active:           532532 kB
Inactive:        2649324 kB
Active(anon):      54316 kB
Inactive(anon):    24972 kB
Active(file):     478216 kB
Inactive(file):  2624352 kB
Unevictable:        6328 kB
Mlocked:            6328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7876 kB
Writeback:             0 kB
AnonPages:         57696 kB
Mapped:            43560 kB
Shmem:             25228 kB
Slab:             136368 kB
SReclaimable:     110464 kB
SUnreclaim:        25904 kB
KernelStack:        3136 kB
PageTables:         4628 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323052 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:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 61652 MiB
End job on node107 at 2017-08-13 19:29:23