Trace number 4394237

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 2019-06-14OPT98 234.613 63.0249

General information on the benchmark

NameRcpsp/Rcpsp-m1-j30/
Rcpsp-j30-29-05.xml
MD5SUM28da73d1db83f7f431b4b8f6a2cf23fc
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark98
Best CPU time to get the best result obtained on this benchmark208.649
Satisfiable
(Un)Satisfiability was proved
Number of variables32
Number of constraints62
Number of domains2
Minimum domain size1
Maximum domain size188
Distribution of domain sizes[{"size":1,"count":1},{"size":188,"count":31}]
Minimum variable degree3
Maximum variable degree9
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":1},{"degree":6,"count":3},{"degree":7,"count":7},{"degree":8,"count":17},{"degree":9,"count":3}]
Minimum constraint arity2
Maximum constraint arity30
Distribution of constraint arities[{"arity":2,"count":58},{"arity":30,"count":4}]
Number of extensional constraints0
Number of intensional constraints58
Distribution of constraint types[{"type":"intension","count":58},{"type":"cumulative","count":4}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394237-1568331779.xml"  -tl '2400s' -p 4
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4394237-1568331779.xml, -tl, 2400s, -p, 4]
0.12/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
1.29/0.63	c solve instance...
1.59/0.74	o 117 
1.59/0.75	o 115 
1.93/0.80	o 114 
2.31/0.90	o 113 
2.31/0.97	o 112 
2.71/1.02	o 111 
3.09/1.15	o 107 
5.88/2.00	o 106 
7.71/2.47	o 105 
11.54/3.47	o 104 
12.60/3.83	o 103 
15.87/5.38	o 102 
19.21/6.27	o 101 
21.14/6.80	o 100 
45.34/14.99	o 99 
180.80/49.42	o 98 
234.58/63.01	s OPTIMUM FOUND
234.58/63.01	v <instantiation>
234.58/63.01	v 	<list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] </list>
234.58/63.01	v 	<values>0 54 2 0 4 9 2 23 15 39 54 25 46 36 19 57 77 35 63 29 75 45 92 64 85 87 72 82 92 90 94 98 </values>
234.58/63.01	v </instantiation>

Verifier Data 

OK	98

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 (14618 MiB free)
  memory of node 1: 16384 MiB (15484 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394237-1568331779/watcher-4394237-1568331779 -o /tmp/evaluation-result-4394237-1568331779/solver-4394237-1568331779 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25332 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 32163487 HOME/instance-4394237-1568331779.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=4569, runsolver pid=4566

[startup+0.100132 s]*
/proc/loadavg: 7.54 7.82 7.51 5/235 4585
/proc/meminfo: memFree=30808280/32770624 swapFree=66933688/67108860
[pid=4569] ppid=4566 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4569/stat : 4569 (xcsp3-exec) S 4566 4569 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409449332 115843072 363 33554432000 4194304 5098028 140732210805392 140732210803496 140373275607676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29667328 140732210807676 140732210807917 140732210807917 140732210810826 0
/proc/4569/statm: 28282 363 304 221 0 87 0
[pid=4571] ppid=4569 vsize=15144768 memory=29612 CPUtime=0.12 cores=1,3,5,7
/proc/4571/stat : 4571 (java) S 4569 4569 25300 0 -1 1077944320 5826 0 0 0 11 1 0 0 20 0 15 0 409449332 15508242432 7403 33554432000 4194304 4196468 140730063683232 140730063665776 139879251439351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
/proc/4571/statm: 3786192 7403 3148 1 0 3748377 0
[pid=4571/tid=4572] ppid=4569 vsize=15144768 memory=-6664436420846797971 CPUtime=0.08 cores=1,3,5,7
/proc/4571/task/4572/stat : 4572 (java) R 4569 4569 25300 0 -1 4202560 3721 0 0 0 8 0 0 0 20 0 15 0 409449332 15508242432 7403 33554432000 4194304 4196468 140730063683232 139879255668944 139879232845650 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4573] ppid=4569 vsize=15144768 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4573/stat : 4573 (java) S 4569 4569 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409449333 15508242432 7403 33554432000 4194304 4196468 140730063683232 139879179479824 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4574] ppid=4569 vsize=15144768 memory=140626674472576 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4574/stat : 4574 (java) S 4569 4569 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409449333 15508242432 7403 33554432000 4194304 4196468 140730063683232 139879178427280 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4575] ppid=4569 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4575/stat : 4575 (java) S 4569 4569 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409449333 15508242432 7403 33554432000 4194304 4196468 140730063683232 139879177374736 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4576] ppid=4569 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4576/stat : 4576 (java) S 4569 4569 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409449333 15508242432 7403 33554432000 4194304 4196468 140730063683232 139879176322192 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4577] ppid=4569 vsize=15144768 memory=140626674472576 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4577/stat : 4577 (java) S 4569 4569 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409449334 15508242432 7403 33554432000 4194304 4196468 140730063683232 139878719834096 139879251450498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4578] ppid=4569 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4578/stat : 4578 (java) S 4569 4569 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409449335 15508242432 7403 33554432000 4194304 4196468 140730063683232 139878718780320 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4579] ppid=4569 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4579/stat : 4579 (java) S 4569 4569 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409449335 15508242432 7403 33554432000 4194304 4196468 140730063683232 139878717727728 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4580] ppid=4569 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4580/stat : 4580 (java) S 4569 4569 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409449337 15508242432 7403 33554432000 4194304 4196468 140730063683232 139878716676304 139879251457947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4581] ppid=4569 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4581/stat : 4581 (java) S 4569 4569 25300 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 409449337 15508242432 7403 33554432000 4194304 4196468 140730063683232 139878715623920 139879251450498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4582] ppid=4569 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4582/stat : 4582 (java) S 4569 4569 25300 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 409449337 15508242432 7403 33554432000 4194304 4196468 140730063683232 139878714571376 139879251450498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4583] ppid=4569 vsize=15144768 memory=140626674472576 CPUtime=0.02 cores=1,3,5,7
/proc/4571/task/4583/stat : 4583 (java) R 4569 4569 25300 0 -1 4202560 370 0 0 0 2 0 0 0 20 0 15 0 409449337 15508242432 7403 33554432000 4194304 4196468 140730063683232 139878713518832 139879235686512 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4584] ppid=4569 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4584/stat : 4584 (java) S 4569 4569 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409449338 15508242432 7403 33554432000 4194304 4196468 140730063683232 139878712466528 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4585] ppid=4569 vsize=15144768 memory=140626674472576 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4585/stat : 4585 (java) S 4569 4569 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409449338 15508242432 7403 33554432000 4194304 4196468 140730063683232 139878711413040 139879251450498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31064 KiB

[startup+0.212118 s]*
/proc/loadavg: 7.54 7.82 7.51 3/235 4585
/proc/meminfo: memFree=30795964/32770624 swapFree=66933688/67108860
[pid=4569] ppid=4566 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4569/stat : 4569 (xcsp3-exec) S 4566 4569 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409449332 115843072 363 33554432000 4194304 5098028 140732210805392 140732210803496 140373275607676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29667328 140732210807676 140732210807917 140732210807917 140732210810826 0
/proc/4569/statm: 28282 363 304 221 0 87 0
[pid=4571] ppid=4569 vsize=15144768 memory=40684 CPUtime=0.34 cores=1,3,5,7
/proc/4571/stat : 4571 (java) S 4569 4569 25300 0 -1 1077944320 9470 0 0 0 31 3 0 0 20 0 15 0 409449332 15508242432 10171 33554432000 4194304 4196468 140730063683232 140730063665776 139879251439351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
/proc/4571/statm: 3786192 10171 3257 1 0 3748377 0
[pid=4571/tid=4572] ppid=4569 vsize=15144768 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/4571/task/4572/stat : 4572 (java) R 4569 4569 25300 0 -1 4202560 6633 0 0 0 18 2 0 0 20 0 15 0 409449332 15508242432 10171 33554432000 4194304 4196468 140730063683232 139879255676928 139879251451286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4573] ppid=4569 vsize=15144768 memory=364 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4573/stat : 4573 (java) S 4569 4569 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409449333 15508242432 10171 33554432000 4194304 4196468 140730063683232 139879179479824 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4574] ppid=4569 vsize=15144768 memory=140626674497467 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4574/stat : 4574 (java) S 4569 4569 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409449333 15508242432 10171 33554432000 4194304 4196468 140730063683232 139879178427280 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4575] ppid=4569 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4575/stat : 4575 (java) S 4569 4569 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409449333 15508242432 10171 33554432000 4194304 4196468 140730063683232 139879177374736 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4576] ppid=4569 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4576/stat : 4576 (java) S 4569 4569 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409449333 15508242432 10171 33554432000 4194304 4196468 140730063683232 139879176322192 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4577] ppid=4569 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4577/stat : 4577 (java) S 4569 4569 25300 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 409449334 15508242432 10171 33554432000 4194304 4196468 140730063683232 139878719834096 139879251450498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4578] ppid=4569 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4578/stat : 4578 (java) S 4569 4569 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409449335 15508242432 10171 33554432000 4194304 4196468 140730063683232 139878718780320 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4579] ppid=4569 vsize=15144768 memory=140626674472576 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4579/stat : 4579 (java) S 4569 4569 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409449335 15508242432 10171 33554432000 4194304 4196468 140730063683232 139878717727728 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4580] ppid=4569 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4580/stat : 4580 (java) S 4569 4569 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409449337 15508242432 10171 33554432000 4194304 4196468 140730063683232 139878716676304 139879251457947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4581] ppid=4569 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4571/task/4581/stat : 4581 (java) S 4569 4569 25300 0 -1 1077944384 519 0 0 0 2 0 0 0 20 0 15 0 409449337 15508242432 10171 33554432000 4194304 4196468 140730063683232 139878715623920 139879251450498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4582] ppid=4569 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4571/task/4582/stat : 4582 (java) S 4569 4569 25300 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 15 0 409449337 15508242432 10171 33554432000 4194304 4196468 140730063683232 139878714571376 139879251450498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4583] ppid=4569 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4571/task/4583/stat : 4583 (java) R 4569 4569 25300 0 -1 4202560 767 0 0 0 8 0 0 0 20 0 15 0 409449337 15508242432 10171 33554432000 4194304 4196468 140730063683232 139878713518832 139879251451286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4584] ppid=4569 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4584/stat : 4584 (java) S 4569 4569 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409449338 15508242432 10171 33554432000 4194304 4196468 140730063683232 139878712466528 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4585] ppid=4569 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4585/stat : 4585 (java) S 4569 4569 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409449338 15508242432 10171 33554432000 4194304 4196468 140730063683232 139878711413040 139879251450498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42136 KiB

[startup+0.319502 s]*
/proc/loadavg: 7.54 7.82 7.51 3/235 4585
/proc/meminfo: memFree=30788780/32770624 swapFree=66933688/67108860
[pid=4569] ppid=4566 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4569/stat : 4569 (xcsp3-exec) S 4566 4569 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409449332 115843072 363 33554432000 4194304 5098028 140732210805392 140732210803496 140373275607676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29667328 140732210807676 140732210807917 140732210807917 140732210810826 0
/proc/4569/statm: 28282 363 304 221 0 87 0
[pid=4571] ppid=4569 vsize=15149024 memory=50644 CPUtime=0.54 cores=1,3,5,7
/proc/4571/stat : 4571 (java) S 4569 4569 25300 0 -1 1077944320 10976 0 0 0 50 4 0 0 20 0 15 0 409449332 15512600576 12661 33554432000 4194304 4196468 140730063683232 140730063665776 139879251439351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
/proc/4571/statm: 3787256 12661 3370 1 0 3748377 0
[pid=4571/tid=4572] ppid=4569 vsize=15149024 memory=288363917221298210 CPUtime=0.3 cores=1,3,5,7
/proc/4571/task/4572/stat : 4572 (java) R 4569 4569 25300 0 -1 4202560 7933 0 0 0 28 2 0 0 20 0 15 0 409449332 15512600576 12661 33554432000 4194304 4196468 140730063683232 139879255671120 139879251451286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4573] ppid=4569 vsize=15149024 memory=288230621820748097 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4573/stat : 4573 (java) S 4569 4569 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409449333 15512600576 12661 33554432000 4194304 4196468 140730063683232 139879179479824 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4574] ppid=4569 vsize=15149024 memory=14696283709377090 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4574/stat : 4574 (java) S 4569 4569 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409449333 15512600576 12661 33554432000 4194304 4196468 140730063683232 139879178427280 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4575] ppid=4569 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4575/stat : 4575 (java) S 4569 4569 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409449333 15512600576 12661 33554432000 4194304 4196468 140730063683232 139879177374736 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4576] ppid=4569 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4576/stat : 4576 (java) S 4569 4569 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409449333 15512600576 12661 33554432000 4194304 4196468 140730063683232 139879176322192 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4577] ppid=4569 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4577/stat : 4577 (java) S 4569 4569 25300 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 409449334 15512600576 12661 33554432000 4194304 4196468 140730063683232 139878719834096 139879251450498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4578] ppid=4569 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4578/stat : 4578 (java) S 4569 4569 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409449335 15512600576 12661 33554432000 4194304 4196468 140730063683232 139878718780320 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4579] ppid=4569 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4579/stat : 4579 (java) S 4569 4569 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409449335 15512600576 12661 33554432000 4194304 4196468 140730063683232 139878717727728 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4580] ppid=4569 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4580/stat : 4580 (java) S 4569 4569 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409449337 15512600576 12661 33554432000 4194304 4196468 140730063683232 139878716676304 139879251457947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4581] ppid=4569 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4571/task/4581/stat : 4581 (java) S 4569 4569 25300 0 -1 1077944384 534 0 0 0 3 0 0 0 20 0 15 0 409449337 15512600576 12661 33554432000 4194304 4196468 140730063683232 139878715623920 139879251450498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4582] ppid=4569 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/4571/task/4582/stat : 4582 (java) S 4569 4569 25300 0 -1 1077944384 369 0 0 0 5 0 0 0 20 0 15 0 409449337 15512600576 12661 33554432000 4194304 4196468 140730063683232 139878714571376 139879251450498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4583] ppid=4569 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/4571/task/4583/stat : 4583 (java) R 4569 4569 25300 0 -1 4202560 848 0 0 0 12 0 0 0 20 0 15 0 409449337 15512600576 12661 33554432000 4194304 4196468 140730063683232 139878713518832 139879251451286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4584] ppid=4569 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4584/stat : 4584 (java) S 4569 4569 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409449338 15512600576 12661 33554432000 4194304 4196468 140730063683232 139878712466528 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4585] ppid=4569 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4585/stat : 4585 (java) S 4569 4569 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409449338 15512600576 12661 33554432000 4194304 4196468 140730063683232 139878711413040 139879251450498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 52096 KiB

[startup+0.700744 s]
/proc/loadavg: 7.34 7.77 7.50 4/235 4585
/proc/meminfo: memFree=30772368/32770624 swapFree=66933688/67108860
[pid=4569] ppid=4566 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4569/stat : 4569 (xcsp3-exec) S 4566 4569 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409449332 115843072 363 33554432000 4194304 5098028 140732210805392 140732210803496 140373275607676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29667328 140732210807676 140732210807917 140732210807917 140732210810826 0
/proc/4569/statm: 28282 363 304 221 0 87 0
[pid=4571] ppid=4569 vsize=15417404 memory=89212 CPUtime=1.59 cores=1,3,5,7
/proc/4571/stat : 4571 (java) S 4569 4569 25300 0 -1 1077944320 15474 0 0 0 153 6 0 0 20 0 19 0 409449332 15787421696 22303 33554432000 4194304 4196468 140730063683232 140730063665776 139879251439351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
/proc/4571/statm: 3854351 22303 3453 1 0 3815453 0
[pid=4571/tid=4572] ppid=4569 vsize=15417404 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/4571/task/4572/stat : 4572 (java) S 4569 4569 25300 0 -1 1077944384 9311 0 0 0 58 3 0 0 20 0 19 0 409449332 15787421696 22303 33554432000 4194304 4196468 140730063683232 139879255680128 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4573] ppid=4569 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4573/stat : 4573 (java) S 4569 4569 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409449333 15787421696 22303 33554432000 4194304 4196468 140730063683232 139879179479824 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4574] ppid=4569 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4574/stat : 4574 (java) S 4569 4569 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409449333 15787421696 22303 33554432000 4194304 4196468 140730063683232 139879178427280 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4575] ppid=4569 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4575/stat : 4575 (java) S 4569 4569 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409449333 15787421696 22303 33554432000 4194304 4196468 140730063683232 139879177374736 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4576] ppid=4569 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4576/stat : 4576 (java) S 4569 4569 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 409449333 15787421696 22303 33554432000 4194304 4196468 140730063683232 139879176322192 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4577] ppid=4569 vsize=15417404 memory=70 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4577/stat : 4577 (java) S 4569 4569 25300 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 409449334 15787421696 22303 33554432000 4194304 4196468 140730063683232 139878719834096 139879251450498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4578] ppid=4569 vsize=15417404 memory=1 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4578/stat : 4578 (java) S 4569 4569 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409449335 15787421696 22303 33554432000 4194304 4196468 140730063683232 139878718780320 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4579] ppid=4569 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4579/stat : 4579 (java) S 4569 4569 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 409449335 15787421696 22303 33554432000 4194304 4196468 140730063683232 139878717727728 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4580] ppid=4569 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4580/stat : 4580 (java) S 4569 4569 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409449337 15787421696 22303 33554432000 4194304 4196468 140730063683232 139878716676304 139879251457947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4581] ppid=4569 vsize=15417404 memory=14323715934760 CPUtime=0.23 cores=1,3,5,7
/proc/4571/task/4581/stat : 4581 (java) R 4569 4569 25300 0 -1 4202560 1273 0 0 0 23 0 0 0 20 0 19 0 409449337 15787421696 22303 33554432000 4194304 4196468 140730063683232 139878715624048 139879230658748 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4582] ppid=4569 vsize=15417404 memory=2958624 CPUtime=0.2 cores=1,3,5,7
/proc/4571/task/4582/stat : 4582 (java) R 4569 4569 25300 0 -1 4202560 1016 0 0 0 20 0 0 0 20 0 19 0 409449337 15787421696 22303 33554432000 4194304 4196468 140730063683232 139878714564568 139879232140839 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4583] ppid=4569 vsize=15417404 memory=2966641 CPUtime=0.39 cores=1,3,5,7
/proc/4571/task/4583/stat : 4583 (java) R 4569 4569 25300 0 -1 1077944384 1899 0 0 0 39 0 0 0 20 0 19 0 409449337 15787421696 22303 33554432000 4194304 4196468 140730063683232 139878713513904 139879251449557 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4584] ppid=4569 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4584/stat : 4584 (java) S 4569 4569 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409449338 15787421696 22303 33554432000 4194304 4196468 140730063683232 139878712466528 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4585] ppid=4569 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4585/stat : 4585 (java) S 4569 4569 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409449338 15787421696 22303 33554432000 4194304 4196468 140730063683232 139878711413040 139879251450498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 90664 KiB

[startup+1.50069 s]
/proc/loadavg: 7.34 7.77 7.50 8/239 4609
/proc/meminfo: memFree=30689660/32770624 swapFree=66933688/67108860
[pid=4569] ppid=4566 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4569/stat : 4569 (xcsp3-exec) S 4566 4569 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409449332 115843072 363 33554432000 4194304 5098028 140732210805392 140732210803496 140373275607676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29667328 140732210807676 140732210807917 140732210807917 140732210810826 0
/proc/4569/statm: 28282 363 304 221 0 87 0

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

/proc/4571/task/4585/stat : 4585 (java) S 4569 4569 25300 0 -1 1077944384 619 0 0 0 0 5 0 0 20 0 19 0 409449338 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878711413040 139879251450498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4653] ppid=4569 vsize=15486016 memory=2009 CPUtime=11.35 cores=1,3,5,7
/proc/4571/task/4653/stat : 4653 (java) R 4569 4569 25300 0 -1 4202560 226 0 0 0 1135 0 0 0 20 0 19 0 409454275 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878700333576 139878852378129 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4654] ppid=4569 vsize=15486016 memory=0 CPUtime=11.34 cores=1,3,5,7
/proc/4571/task/4654/stat : 4654 (java) R 4569 4569 25300 0 -1 4202560 537 0 0 0 1134 0 0 0 20 0 19 0 409454275 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878699281544 139878853271004 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4655] ppid=4569 vsize=15486016 memory=288230574492221466 CPUtime=11.11 cores=1,3,5,7
/proc/4571/task/4655/stat : 4655 (java) R 4569 4569 25300 0 -1 4202560 691 0 0 0 1111 0 0 0 20 0 19 0 409454275 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878698229336 139878852848524 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4656] ppid=4569 vsize=15486016 memory=288230617509003574 CPUtime=11.32 cores=1,3,5,7
/proc/4571/task/4656/stat : 4656 (java) R 4569 4569 25300 0 -1 4202560 208 0 0 0 1132 0 0 0 20 0 19 0 409454275 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878702440368 139878855865912 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
Current children cumulated CPU time: 226.09 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 255592 KiB

[startup+62.4009 s]
/proc/loadavg: 6.00 7.31 7.36 6/238 4657
/proc/meminfo: memFree=30583016/32770624 swapFree=66933688/67108860
[pid=4569] ppid=4566 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4569/stat : 4569 (xcsp3-exec) S 4566 4569 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409449332 115843072 363 33554432000 4194304 5098028 140732210805392 140732210803496 140373275607676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29667328 140732210807676 140732210807917 140732210807917 140732210810826 0
/proc/4569/statm: 28282 363 304 221 0 87 0
[pid=4571] ppid=4569 vsize=15486016 memory=254140 CPUtime=232.45 cores=1,3,5,7
/proc/4571/stat : 4571 (java) S 4569 4569 25300 0 -1 1077944320 69652 0 0 0 23228 17 0 0 20 0 19 0 409449332 15857680384 63535 33554432000 4194304 4196468 140730063683232 140730063665776 139879251439351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
/proc/4571/statm: 3871504 63535 3535 1 0 3832606 0
[pid=4571/tid=4572] ppid=4569 vsize=15486016 memory=254140 CPUtime=0.63 cores=1,3,5,7
/proc/4571/task/4572/stat : 4572 (java) S 4569 4569 25300 0 -1 1077944384 9954 0 0 0 59 4 0 0 20 0 19 0 409449332 15857680384 63535 33554432000 4194304 4196468 140730063683232 139879255680128 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4573] ppid=4569 vsize=15486016 memory=5952 CPUtime=0.04 cores=1,3,5,7
/proc/4571/task/4573/stat : 4573 (java) S 4569 4569 25300 0 -1 1077944384 362 0 0 0 4 0 0 0 20 0 19 0 409449333 15857680384 63535 33554432000 4194304 4196468 140730063683232 139879179479824 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4574] ppid=4569 vsize=15486016 memory=1124 CPUtime=0.04 cores=1,3,5,7
/proc/4571/task/4574/stat : 4574 (java) S 4569 4569 25300 0 -1 1077944384 657 0 0 0 4 0 0 0 20 0 19 0 409449333 15857680384 63535 33554432000 4194304 4196468 140730063683232 139879178427280 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4575] ppid=4569 vsize=15486016 memory=1332 CPUtime=0.04 cores=1,3,5,7
/proc/4571/task/4575/stat : 4575 (java) S 4569 4569 25300 0 -1 1077944384 1698 0 0 0 4 0 0 0 20 0 19 0 409449333 15857680384 63535 33554432000 4194304 4196468 140730063683232 139879177374736 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4576] ppid=4569 vsize=15486016 memory=1564 CPUtime=0.05 cores=1,3,5,7
/proc/4571/task/4576/stat : 4576 (java) S 4569 4569 25300 0 -1 1077944384 3493 0 0 0 4 1 0 0 20 0 19 0 409449333 15857680384 63535 33554432000 4194304 4196468 140730063683232 139879176322192 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4577] ppid=4569 vsize=15486016 memory=976 CPUtime=0.04 cores=1,3,5,7
/proc/4571/task/4577/stat : 4577 (java) S 4569 4569 25300 0 -1 1077944384 1389 0 0 0 2 2 0 0 20 0 19 0 409449334 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878719834096 139879251450498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4578] ppid=4569 vsize=15486016 memory=772 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4578/stat : 4578 (java) S 4569 4569 25300 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 409449335 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878718780384 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4579] ppid=4569 vsize=15486016 memory=3932 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4579/stat : 4579 (java) S 4569 4569 25300 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 19 0 409449335 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878717727744 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4580] ppid=4569 vsize=15486016 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4580/stat : 4580 (java) S 4569 4569 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409449337 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878716676304 139879251457947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4581] ppid=4569 vsize=15486016 memory=1548 CPUtime=2.95 cores=1,3,5,7
/proc/4571/task/4581/stat : 4581 (java) S 4569 4569 25300 0 -1 1077944384 14696 0 0 0 294 1 0 0 20 0 19 0 409449337 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878715623920 139879251450498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4582] ppid=4569 vsize=15486016 memory=1056 CPUtime=2.93 cores=1,3,5,7
/proc/4571/task/4582/stat : 4582 (java) S 4569 4569 25300 0 -1 1077944384 18832 0 0 0 292 1 0 0 20 0 19 0 409449337 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878714571376 139879251450498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4583] ppid=4569 vsize=15486016 memory=744 CPUtime=0.74 cores=1,3,5,7
/proc/4571/task/4583/stat : 4583 (java) S 4569 4569 25300 0 -1 1077944384 7069 0 0 0 73 1 0 0 20 0 19 0 409449337 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878713518832 139879251450498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4584] ppid=4569 vsize=15486016 memory=8296 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4584/stat : 4584 (java) S 4569 4569 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409449338 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878712466528 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4585] ppid=4569 vsize=15486016 memory=14008 CPUtime=0.05 cores=1,3,5,7
/proc/4571/task/4585/stat : 4585 (java) S 4569 4569 25300 0 -1 1077944384 760 0 0 0 0 5 0 0 20 0 19 0 409449338 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878711413040 139879251450498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4653] ppid=4569 vsize=15486016 memory=11928 CPUtime=12.92 cores=1,3,5,7
/proc/4571/task/4653/stat : 4653 (java) R 4569 4569 25300 0 -1 4202560 231 0 0 0 1292 0 0 0 20 0 19 0 409454275 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878700333736 139878852552342 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4654] ppid=4569 vsize=15486016 memory=2124 CPUtime=12.94 cores=1,3,5,7
/proc/4571/task/4654/stat : 4654 (java) R 4569 4569 25300 0 -1 4202560 569 0 0 0 1294 0 0 0 20 0 19 0 409454275 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878699282056 139878853590737 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4655] ppid=4569 vsize=15486016 memory=6352 CPUtime=12.7 cores=1,3,5,7
/proc/4571/task/4655/stat : 4655 (java) R 4569 4569 25300 0 -1 4202560 705 0 0 0 1270 0 0 0 20 0 19 0 409454275 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878698229072 139878853614907 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4656] ppid=4569 vsize=15486016 memory=504 CPUtime=12.91 cores=1,3,5,7
/proc/4571/task/4656/stat : 4656 (java) R 4569 4569 25300 0 -1 4202560 215 0 0 0 1291 0 0 0 20 0 19 0 409454275 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878702440368 139878855865738 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
Current children cumulated CPU time: 232.45 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 255592 KiB

[startup+62.8009 s]
/proc/loadavg: 6.00 7.31 7.36 6/238 4657
/proc/meminfo: memFree=30583016/32770624 swapFree=66933688/67108860
[pid=4569] ppid=4566 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4569/stat : 4569 (xcsp3-exec) S 4566 4569 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409449332 115843072 363 33554432000 4194304 5098028 140732210805392 140732210803496 140373275607676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29667328 140732210807676 140732210807917 140732210807917 140732210810826 0
/proc/4569/statm: 28282 363 304 221 0 87 0
[pid=4571] ppid=4569 vsize=15486016 memory=254140 CPUtime=234.04 cores=1,3,5,7
/proc/4571/stat : 4571 (java) S 4569 4569 25300 0 -1 1077944320 69657 0 0 0 23387 17 0 0 20 0 19 0 409449332 15857680384 63535 33554432000 4194304 4196468 140730063683232 140730063665776 139879251439351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
/proc/4571/statm: 3871504 63535 3535 1 0 3832606 0
[pid=4571/tid=4572] ppid=4569 vsize=15486016 memory=288230617509003574 CPUtime=0.63 cores=1,3,5,7
/proc/4571/task/4572/stat : 4572 (java) S 4569 4569 25300 0 -1 1077944384 9954 0 0 0 59 4 0 0 20 0 19 0 409449332 15857680384 63535 33554432000 4194304 4196468 140730063683232 139879255680128 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4573] ppid=4569 vsize=15486016 memory=288230574492221466 CPUtime=0.04 cores=1,3,5,7
/proc/4571/task/4573/stat : 4573 (java) S 4569 4569 25300 0 -1 1077944384 362 0 0 0 4 0 0 0 20 0 19 0 409449333 15857680384 63535 33554432000 4194304 4196468 140730063683232 139879179479824 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4574] ppid=4569 vsize=15486016 memory=288230617509003574 CPUtime=0.04 cores=1,3,5,7
/proc/4571/task/4574/stat : 4574 (java) S 4569 4569 25300 0 -1 1077944384 657 0 0 0 4 0 0 0 20 0 19 0 409449333 15857680384 63535 33554432000 4194304 4196468 140730063683232 139879178427280 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4575] ppid=4569 vsize=15486016 memory=15260333157648136 CPUtime=0.04 cores=1,3,5,7
/proc/4571/task/4575/stat : 4575 (java) S 4569 4569 25300 0 -1 1077944384 1698 0 0 0 4 0 0 0 20 0 19 0 409449333 15857680384 63535 33554432000 4194304 4196468 140730063683232 139879177374736 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4576] ppid=4569 vsize=15486016 memory=140626557524016 CPUtime=0.05 cores=1,3,5,7
/proc/4571/task/4576/stat : 4576 (java) S 4569 4569 25300 0 -1 1077944384 3493 0 0 0 4 1 0 0 20 0 19 0 409449333 15857680384 63535 33554432000 4194304 4196468 140730063683232 139879176322192 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4577] ppid=4569 vsize=15486016 memory=140626558024944 CPUtime=0.04 cores=1,3,5,7
/proc/4571/task/4577/stat : 4577 (java) S 4569 4569 25300 0 -1 1077944384 1389 0 0 0 2 2 0 0 20 0 19 0 409449334 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878719834096 139879251450498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4578] ppid=4569 vsize=15486016 memory=140626558143216 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4578/stat : 4578 (java) S 4569 4569 25300 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 409449335 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878718780384 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4579] ppid=4569 vsize=15486016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4579/stat : 4579 (java) S 4569 4569 25300 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 19 0 409449335 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878717727744 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4580] ppid=4569 vsize=15486016 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4580/stat : 4580 (java) S 4569 4569 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409449337 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878716676304 139879251457947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4581] ppid=4569 vsize=15486016 memory=804 CPUtime=2.95 cores=1,3,5,7
/proc/4571/task/4581/stat : 4581 (java) S 4569 4569 25300 0 -1 1077944384 14696 0 0 0 294 1 0 0 20 0 19 0 409449337 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878715623920 139879251450498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4582] ppid=4569 vsize=15486016 memory=1412 CPUtime=2.93 cores=1,3,5,7
/proc/4571/task/4582/stat : 4582 (java) S 4569 4569 25300 0 -1 1077944384 18832 0 0 0 292 1 0 0 20 0 19 0 409449337 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878714571376 139879251450498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4583] ppid=4569 vsize=15486016 memory=3488 CPUtime=0.74 cores=1,3,5,7
/proc/4571/task/4583/stat : 4583 (java) S 4569 4569 25300 0 -1 1077944384 7069 0 0 0 73 1 0 0 20 0 19 0 409449337 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878713518832 139879251450498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4584] ppid=4569 vsize=15486016 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4584/stat : 4584 (java) S 4569 4569 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409449338 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878712466528 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4585] ppid=4569 vsize=15486016 memory=450048 CPUtime=0.05 cores=1,3,5,7
/proc/4571/task/4585/stat : 4585 (java) S 4569 4569 25300 0 -1 1077944384 760 0 0 0 0 5 0 0 20 0 19 0 409449338 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878711413040 139879251450498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4653] ppid=4569 vsize=15486016 memory=1412 CPUtime=13.32 cores=1,3,5,7
/proc/4571/task/4653/stat : 4653 (java) R 4569 4569 25300 0 -1 4202560 231 0 0 0 1332 0 0 0 20 0 19 0 409454275 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878700333736 139878853615229 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4654] ppid=4569 vsize=15486016 memory=3096 CPUtime=13.34 cores=1,3,5,7
/proc/4571/task/4654/stat : 4654 (java) R 4569 4569 25300 0 -1 4202560 574 0 0 0 1334 0 0 0 20 0 19 0 409454275 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878699282056 139878854251290 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4655] ppid=4569 vsize=15486016 memory=1412 CPUtime=13.1 cores=1,3,5,7
/proc/4571/task/4655/stat : 4655 (java) R 4569 4569 25300 0 -1 4202560 705 0 0 0 1310 0 0 0 20 0 19 0 409454275 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878698229208 139878853141347 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4656] ppid=4569 vsize=15486016 memory=3488 CPUtime=13.31 cores=1,3,5,7
/proc/4571/task/4656/stat : 4656 (java) R 4569 4569 25300 0 -1 4202560 215 0 0 0 1331 0 0 0 20 0 19 0 409454275 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878702440368 139878855865747 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
Current children cumulated CPU time: 234.04 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 255592 KiB

[startup+63.001 s]*
/proc/loadavg: 6.00 7.31 7.36 3/238 4657
/proc/meminfo: memFree=30583016/32770624 swapFree=66933688/67108860
[pid=4569] ppid=4566 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4569/stat : 4569 (xcsp3-exec) S 4566 4569 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409449332 115843072 363 33554432000 4194304 5098028 140732210805392 140732210803496 140373275607676 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29667328 140732210807676 140732210807917 140732210807917 140732210810826 0
/proc/4569/statm: 28282 363 304 221 0 87 0
[pid=4571] ppid=4569 vsize=15486016 memory=254140 CPUtime=234.58 cores=1,3,5,7
/proc/4571/stat : 4571 (java) S 4569 4569 25300 0 -1 1077944320 69766 0 0 0 23441 17 0 0 20 0 19 0 409449332 15857680384 63535 33554432000 4194304 4196468 140730063683232 140730063665776 139879251439351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
/proc/4571/statm: 3871504 63535 3535 1 0 3832606 0
[pid=4571/tid=4572] ppid=4569 vsize=15486016 memory=1398720917958146503 CPUtime=0.63 cores=1,3,5,7
/proc/4571/task/4572/stat : 4572 (java) S 4569 4569 25300 0 -1 1077944384 9954 0 0 0 59 4 0 0 20 0 19 0 409449332 15857680384 63535 33554432000 4194304 4196468 140730063683232 139879255680128 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4573] ppid=4569 vsize=15486016 memory=4126316290023845779 CPUtime=0.04 cores=1,3,5,7
/proc/4571/task/4573/stat : 4573 (java) S 4569 4569 25300 0 -1 1077944384 362 0 0 0 4 0 0 0 20 0 19 0 409449333 15857680384 63535 33554432000 4194304 4196468 140730063683232 139879179479824 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4574] ppid=4569 vsize=15486016 memory=916 CPUtime=0.04 cores=1,3,5,7
/proc/4571/task/4574/stat : 4574 (java) S 4569 4569 25300 0 -1 1077944384 657 0 0 0 4 0 0 0 20 0 19 0 409449333 15857680384 63535 33554432000 4194304 4196468 140730063683232 139879178427280 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4575] ppid=4569 vsize=15486016 memory=3848 CPUtime=0.04 cores=1,3,5,7
/proc/4571/task/4575/stat : 4575 (java) S 4569 4569 25300 0 -1 1077944384 1698 0 0 0 4 0 0 0 20 0 19 0 409449333 15857680384 63535 33554432000 4194304 4196468 140730063683232 139879177374736 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4576] ppid=4569 vsize=15486016 memory=3016 CPUtime=0.05 cores=1,3,5,7
/proc/4571/task/4576/stat : 4576 (java) S 4569 4569 25300 0 -1 1077944384 3493 0 0 0 4 1 0 0 20 0 19 0 409449333 15857680384 63535 33554432000 4194304 4196468 140730063683232 139879176322192 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4577] ppid=4569 vsize=15486016 memory=2596 CPUtime=0.04 cores=1,3,5,7
/proc/4571/task/4577/stat : 4577 (java) S 4569 4569 25300 0 -1 1077944384 1389 0 0 0 2 2 0 0 20 0 19 0 409449334 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878719834096 139879251450498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4578] ppid=4569 vsize=15486016 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4578/stat : 4578 (java) S 4569 4569 25300 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 409449335 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878718780384 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4579] ppid=4569 vsize=15486016 memory=1398720917958146503 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4579/stat : 4579 (java) S 4569 4569 25300 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 19 0 409449335 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878717727744 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4580] ppid=4569 vsize=15486016 memory=281253114806512 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4580/stat : 4580 (java) S 4569 4569 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409449337 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878716676304 139879251457947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4581] ppid=4569 vsize=15486016 memory=7739552938814760554 CPUtime=2.95 cores=1,3,5,7
/proc/4571/task/4581/stat : 4581 (java) S 4569 4569 25300 0 -1 1077944384 14696 0 0 0 294 1 0 0 20 0 19 0 409449337 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878715623920 139879251450498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4582] ppid=4569 vsize=15486016 memory=281252377311108 CPUtime=2.93 cores=1,3,5,7
/proc/4571/task/4582/stat : 4582 (java) S 4569 4569 25300 0 -1 1077944384 18832 0 0 0 292 1 0 0 20 0 19 0 409449337 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878714571376 139879251450498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4583] ppid=4569 vsize=15486016 memory=4126316290023845779 CPUtime=0.74 cores=1,3,5,7
/proc/4571/task/4583/stat : 4583 (java) S 4569 4569 25300 0 -1 1077944384 7069 0 0 0 73 1 0 0 20 0 19 0 409449337 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878713518832 139879251450498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4584] ppid=4569 vsize=15486016 memory=984 CPUtime=0 cores=1,3,5,7
/proc/4571/task/4584/stat : 4584 (java) S 4569 4569 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409449338 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878712466528 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4585] ppid=4569 vsize=15486016 memory=2032 CPUtime=0.05 cores=1,3,5,7
/proc/4571/task/4585/stat : 4585 (java) S 4569 4569 25300 0 -1 1077944384 760 0 0 0 0 5 0 0 20 0 19 0 409449338 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878711413040 139879251450498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4653] ppid=4569 vsize=15486016 memory=1332 CPUtime=13.43 cores=1,3,5,7
/proc/4571/task/4653/stat : 4653 (java) S 4569 4569 25300 0 -1 1077944384 258 0 0 0 1343 0 0 0 20 0 19 0 409454275 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878700338608 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4654] ppid=4569 vsize=15486016 memory=1564 CPUtime=13.45 cores=1,3,5,7
/proc/4571/task/4654/stat : 4654 (java) S 4569 4569 25300 0 -1 1077944384 639 0 0 0 1345 0 0 0 20 0 19 0 409454275 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878699287504 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4655] ppid=4569 vsize=15486016 memory=976 CPUtime=13.21 cores=1,3,5,7
/proc/4571/task/4655/stat : 4655 (java) S 4569 4569 25300 0 -1 1077944384 722 0 0 0 1321 0 0 0 20 0 19 0 409454275 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878698234960 139879251449557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
[pid=4571/tid=4656] ppid=4569 vsize=15486016 memory=772 CPUtime=13.52 cores=1,3,5,7
/proc/4571/task/4656/stat : 4656 (java) R 4569 4569 25300 0 -1 4202560 215 0 0 0 1352 0 0 0 20 0 19 0 409454275 15857680384 63535 33554432000 4194304 4196468 140730063683232 139878702440368 139878855865708 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12787712 140730063684591 140730063684762 140730063684762 140730063687631 0
Current children cumulated CPU time: 234.58 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 255592 KiB

Child status: 0
Real time (s): 63.0249
CPU time (s): 234.613
CPU user time (s): 234.432
CPU system time (s): 0.181313
CPU usage (%): 372.255
Max. virtual memory (cumulated for all children) (KiB): 15601232
Max. memory (cumulated for all children) (KiB): 255592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 234.432
system time used= 0.181313
maximum resident set size= 255168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71455
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5541
involuntary context switches= 2873


# summary of solver processes directly reported to runsolver:
#   pid: 4569
#   total CPU time (s): 234.613
#   total CPU user time (s): 234.432
#   total CPU system time (s): 0.181313

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.423832 second user time and 0.784931 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-13 01:42:20
IDJOB=4394237
IDBENCH=130150
IDSOLVER=2842
FILE ID=node151/4394237-1568331779
RUNJOBID= node151-1568323682-25332
PBS_JOBID= 21701147
Free space on /tmp= 56972 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j30/Rcpsp-j30-29-05.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394237-1568331779/watcher-4394237-1568331779 -o /tmp/evaluation-result-4394237-1568331779/solver-4394237-1568331779 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25332 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 32163487 HOME/instance-4394237-1568331779.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 28da73d1db83f7f431b4b8f6a2cf23fc
RANDOM SEED=32163487

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	: 5333.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30826200 kB
MemAvailable:   31419048 kB
Buffers:          134320 kB
Cached:           749848 kB
SwapCached:        72496 kB
Active:           913316 kB
Inactive:         482376 kB
Active(anon):     446908 kB
Inactive(anon):    96432 kB
Active(file):     466408 kB
Inactive(file):   385944 kB
Unevictable:      111232 kB
Mlocked:          111232 kB
SwapTotal:      67108860 kB
SwapFree:       66933688 kB
Dirty:             26136 kB
Writeback:             0 kB
AnonPages:        563464 kB
Mapped:            47860 kB
Shmem:             22940 kB
Slab:             141400 kB
SReclaimable:     112664 kB
SUnreclaim:        28736 kB
KernelStack:        4096 kB
PageTables:         6672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1901012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    466944 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 56948 MiB
End job on node151 at 2019-09-13 01:43:23