Trace number 4271342

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)SAT (TO)4 17622.301 2520.1699

General information on the benchmark

NameChessboardColoration/ChessboardColoration-int-s1/
ChessboardColoration-int-13-13.xml
MD5SUM35fa3ccff61e9a72252c43058d5bc461
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark2400.1201
Satisfiable
(Un)Satisfiability was proved
Number of variables169
Number of constraints6085
Number of domains1
Minimum domain size169
Maximum domain size169
Distribution of domain sizes[{"size":169,"count":169}]
Minimum variable degree146
Maximum variable degree146
Distribution of variable degrees[{"degree":146,"count":169}]
Minimum constraint arity4
Maximum constraint arity169
Distribution of constraint arities[{"arity":4,"count":6084},{"arity":169,"count":1}]
Number of extensional constraints0
Number of intensional constraints6084
Distribution of constraint types[{"type":"intension","count":6084},{"type":"lex","count":1}]
Optimization problemYES
Type of objectivemin MAXIMUM

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 -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271342-1502831646.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4271342-1502831646.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
8.93/2.72	c solve instance...
13.02/3.38	o 12 
13.75/3.49	o 11 
16.53/4.30	o 10 
116.78/102.88	o 9 
118.67/103.16	o 8 
123.86/104.80	o 7 
227.81/199.60	o 6 
2174.40/514.01	o 5 
2527.15/624.42	o 4 
17621.42/2520.10	s SATISFIABLE
17621.42/2520.10	v <instantiation>
17621.42/2520.10	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] </list>
17621.42/2520.10	v 	<values>0 0 1 1 1 2 2 2 3 4 4 4 4 0 1 0 1 2 1 3 3 0 0 1 2 4 1 2 1 0 2 0 1 3 3 0 4 0 0 2 0 2 1 0 2 1 0 1 0 3 1 1 2 2 0 1 3 3 0 2 4 4 2 3 3 2 3 0 2 0 3 2 3 2 1 1 1 0 3 0 0 1 4 2 4 3 2 1 0 2 3 3 0 4 2 4 0 0 4 4 2 2 4 2 3 3 1 2 2 0 3 2 0 1 0 3 1 3 4 0 3 1 0 4 1 1 3 4 2 2 4 0 3 2 3 2 3 1 0 3 3 1 0 4 1 1 0 4 4 2 0 0 2 4 2 3 4 3 4 1 0 2 0 1 0 3 2 0 4 </values>
17621.42/2520.10	v </instantiation>
17621.42/2520.10	c Unexpected resolution interruption!

Verifier Data 

OK	4

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271342-1502831646/watcher-4271342-1502831646 -o /tmp/evaluation-result-4271342-1502831646/solver-4271342-1502831646 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502825742-5082 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 931376028 HOME/instance-4271342-1502831646.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5450, runsolver pid=5447
Current StackSize limit: 8192 KiB


[startup+0.100124 s]*
/proc/loadavg: 7.47 8.11 8.23 4/199 5471
/proc/meminfo: memFree=28296320/32770624 swapFree=67108860/67108860
[pid=5450] ppid=5447 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5450/stat : 5450 (xcsp3-exec) S 5447 5450 5055 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 116252477 9740288 346 33554432000 4194304 5098028 140734912154176 140734912152280 139788981936764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9175040 140734912160869 140734912161079 140734912161079 140734912163819 0
/proc/5450/statm: 2378 346 289 221 0 87 0
[pid=5452] ppid=5450 vsize=25999808 memory=26384 CPUtime=0.12 cores=0-7
/proc/5452/stat : 5452 (java) S 5450 5450 5055 0 -1 1077944320 5484 0 0 0 11 1 0 0 20 0 20 0 116252478 26623803392 6596 33554432000 4194304 4196468 140729610684512 140729610667056 140003707969271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
/proc/5452/statm: 6499952 6596 2868 1 0 6488269 0
[pid=5452/tid=5453] ppid=5450 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/5452/task/5453/stat : 5453 (java) R 5450 5450 5055 0 -1 4202560 3485 0 0 0 8 0 0 0 20 0 20 0 116252478 26623803392 6596 33554432000 4194304 4196468 140729610684512 140003712202624 140003707981206 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5454] ppid=5450 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5452/task/5454/stat : 5454 (java) S 5450 5450 5055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116252479 26623803392 6596 33554432000 4194304 4196468 140729610684512 140003660589712 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5455] ppid=5450 vsize=25999808 memory=140394208675456 CPUtime=0 cores=0-7
/proc/5452/task/5455/stat : 5455 (java) S 5450 5450 5055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116252479 26623803392 6596 33554432000 4194304 4196468 140729610684512 140003659536912 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5456] ppid=5450 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5452/task/5456/stat : 5456 (java) S 5450 5450 5055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116252479 26623803392 6596 33554432000 4194304 4196468 140729610684512 140003658484112 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5457] ppid=5450 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5452/task/5457/stat : 5457 (java) S 5450 5450 5055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116252479 26623803392 6596 33554432000 4194304 4196468 140729610684512 140003657431312 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5458] ppid=5450 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5452/task/5458/stat : 5458 (java) S 5450 5450 5055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116252479 26623803392 6596 33554432000 4194304 4196468 140729610684512 140003656379536 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5459] ppid=5450 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5452/task/5459/stat : 5459 (java) S 5450 5450 5055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116252479 26623803392 6596 33554432000 4194304 4196468 140729610684512 140003655326736 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5460] ppid=5450 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5452/task/5460/stat : 5460 (java) S 5450 5450 5055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116252479 26623803392 6596 33554432000 4194304 4196468 140729610684512 140003654273936 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5461] ppid=5450 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5452/task/5461/stat : 5461 (java) S 5450 5450 5055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116252479 26623803392 6596 33554432000 4194304 4196468 140729610684512 140003259054864 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5462] ppid=5450 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5452/task/5462/stat : 5462 (java) S 5450 5450 5055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116252480 26623803392 6596 33554432000 4194304 4196468 140729610684512 140001979869552 140003707980418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5463] ppid=5450 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5452/task/5463/stat : 5463 (java) S 5450 5450 5055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 116252481 26623803392 6596 33554432000 4194304 4196468 140729610684512 140001978815520 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5464] ppid=5450 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5452/task/5464/stat : 5464 (java) S 5450 5450 5055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 116252481 26623803392 6596 33554432000 4194304 4196468 140729610684512 140001977762672 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5465] ppid=5450 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5452/task/5465/stat : 5465 (java) S 5450 5450 5055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116252483 26623803392 6596 33554432000 4194304 4196468 140729610684512 140001976710992 140003707987867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5466] ppid=5450 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5452/task/5466/stat : 5466 (java) S 5450 5450 5055 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 20 0 116252483 26623803392 6596 33554432000 4194304 4196468 140729610684512 140001639656304 140003707980418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5467] ppid=5450 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5452/task/5467/stat : 5467 (java) S 5450 5450 5055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116252483 26623803392 6596 33554432000 4194304 4196468 140729610684512 140001638603504 140003707980418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5468] ppid=5450 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5452/task/5468/stat : 5468 (java) S 5450 5450 5055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116252483 26623803392 6596 33554432000 4194304 4196468 140729610684512 140001637550704 140003707980418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5469] ppid=5450 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/5452/task/5469/stat : 5469 (java) R 5450 5450 5055 0 -1 4202560 264 0 0 0 1 0 0 0 20 0 20 0 116252483 26623803392 6661 33554432000 4194304 4196468 140729610684512 140001636497904 140003692049758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5470] ppid=5450 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5452/task/5470/stat : 5470 (java) S 5450 5450 5055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116252484 26623803392 6661 33554432000 4194304 4196468 140729610684512 140001635445344 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5471] ppid=5450 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5452/task/5471/stat : 5471 (java) S 5450 5450 5055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116252484 26623803392 6661 33554432000 4194304 4196468 140729610684512 140001634392624 140003707980418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27768 KiB

[startup+0.210477 s]*
/proc/loadavg: 7.47 8.11 8.23 2/199 5471
/proc/meminfo: memFree=28285160/32770624 swapFree=67108860/67108860
[pid=5450] ppid=5447 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5450/stat : 5450 (xcsp3-exec) S 5447 5450 5055 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 116252477 9740288 346 33554432000 4194304 5098028 140734912154176 140734912152280 139788981936764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9175040 140734912160869 140734912161079 140734912161079 140734912163819 0
/proc/5450/statm: 2378 346 289 221 0 87 0
[pid=5452] ppid=5450 vsize=26004064 memory=39096 CPUtime=0.33 cores=0-7
/proc/5452/stat : 5452 (java) S 5450 5450 5055 0 -1 1077944320 8359 0 0 0 31 2 0 0 20 0 20 0 116252478 26628161536 9774 33554432000 4194304 4196468 140729610684512 140729610667056 140003707969271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
/proc/5452/statm: 6501016 9774 3067 1 0 6488269 0
[pid=5452/tid=5453] ppid=5450 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/5452/task/5453/stat : 5453 (java) D 5450 5450 5055 0 -1 1077944384 5428 0 0 0 19 1 0 0 20 0 20 0 116252478 26628161536 9794 33554432000 4194304 4196468 140729610684512 140003712170992 140003700648493 0 4 0 16800975 18446744072101584420 0 0 -1 5 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5454] ppid=5450 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/5452/task/5454/stat : 5454 (java) S 5450 5450 5055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116252479 26628161536 9794 33554432000 4194304 4196468 140729610684512 140003660589712 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5455] ppid=5450 vsize=26004096 memory=140394208681160 CPUtime=0 cores=0-7
/proc/5452/task/5455/stat : 5455 (java) S 5450 5450 5055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116252479 26628194304 9794 33554432000 4194304 4196468 140729610684512 140003659536912 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5456] ppid=5450 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/5452/task/5456/stat : 5456 (java) S 5450 5450 5055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116252479 26628194304 9794 33554432000 4194304 4196468 140729610684512 140003658484112 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5457] ppid=5450 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5452/task/5457/stat : 5457 (java) S 5450 5450 5055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116252479 26628161536 9794 33554432000 4194304 4196468 140729610684512 140003657431312 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5458] ppid=5450 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5452/task/5458/stat : 5458 (java) S 5450 5450 5055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116252479 26628161536 9794 33554432000 4194304 4196468 140729610684512 140003656379536 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5459] ppid=5450 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5452/task/5459/stat : 5459 (java) S 5450 5450 5055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116252479 26628161536 9794 33554432000 4194304 4196468 140729610684512 140003655326736 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5460] ppid=5450 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5452/task/5460/stat : 5460 (java) S 5450 5450 5055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116252479 26628161536 9794 33554432000 4194304 4196468 140729610684512 140003654273936 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5461] ppid=5450 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5452/task/5461/stat : 5461 (java) S 5450 5450 5055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116252479 26628161536 9794 33554432000 4194304 4196468 140729610684512 140003259054864 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5462] ppid=5450 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/5452/task/5462/stat : 5462 (java) S 5450 5450 5055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116252480 26628194304 9794 33554432000 4194304 4196468 140729610684512 140001979869552 140003707980418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5463] ppid=5450 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/5452/task/5463/stat : 5463 (java) S 5450 5450 5055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 116252481 26628194304 9794 33554432000 4194304 4196468 140729610684512 140001978815520 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5464] ppid=5450 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5452/task/5464/stat : 5464 (java) S 5450 5450 5055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 116252481 26628161536 9794 33554432000 4194304 4196468 140729610684512 140001977762672 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5465] ppid=5450 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5452/task/5465/stat : 5465 (java) S 5450 5450 5055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116252483 26628161536 9794 33554432000 4194304 4196468 140729610684512 140001976710992 140003707987867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5466] ppid=5450 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/5452/task/5466/stat : 5466 (java) S 5450 5450 5055 0 -1 1077944384 635 0 0 0 1 0 0 0 20 0 20 0 116252483 26628161536 9794 33554432000 4194304 4196468 140729610684512 140001639656304 140003707980418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5467] ppid=5450 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/5452/task/5467/stat : 5467 (java) S 5450 5450 5055 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 20 0 116252483 26628161536 9794 33554432000 4194304 4196468 140729610684512 140001638603504 140003707980418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5468] ppid=5450 vsize=26004096 memory=-1 CPUtime=0.01 cores=0-7
/proc/5452/task/5468/stat : 5468 (java) S 5450 5450 5055 0 -1 1077944384 153 0 0 0 1 0 0 0 20 0 20 0 116252483 26628194304 9794 33554432000 4194304 4196468 140729610684512 140001637550704 140003707980418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5469] ppid=5450 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/5452/task/5469/stat : 5469 (java) S 5450 5450 5055 0 -1 1077944384 768 0 0 0 7 0 0 0 20 0 20 0 116252483 26628161536 9794 33554432000 4194304 4196468 140729610684512 140001636497904 140003707980418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5470] ppid=5450 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5452/task/5470/stat : 5470 (java) S 5450 5450 5055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116252484 26628161536 9794 33554432000 4194304 4196468 140729610684512 140001635445344 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5471] ppid=5450 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5452/task/5471/stat : 5471 (java) S 5450 5450 5055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116252484 26628161536 9794 33554432000 4194304 4196468 140729610684512 140001634392624 140003707980418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40480 KiB

[startup+0.310592 s]*
/proc/loadavg: 7.47 8.11 8.23 3/199 5471
/proc/meminfo: memFree=28280756/32770624 swapFree=67108860/67108860
[pid=5450] ppid=5447 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5450/stat : 5450 (xcsp3-exec) S 5447 5450 5055 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 116252477 9740288 346 33554432000 4194304 5098028 140734912154176 140734912152280 139788981936764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9175040 140734912160869 140734912161079 140734912161079 140734912163819 0
/proc/5450/statm: 2378 346 289 221 0 87 0
[pid=5452] ppid=5450 vsize=26004064 memory=46084 CPUtime=0.51 cores=0-7
/proc/5452/stat : 5452 (java) S 5450 5450 5055 0 -1 1077944320 9224 0 0 0 48 3 0 0 20 0 20 0 116252478 26628161536 11521 33554432000 4194304 4196468 140729610684512 140729610667056 140003707969271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
/proc/5452/statm: 6501016 11521 3091 1 0 6488269 0
[pid=5452/tid=5453] ppid=5450 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/5452/task/5453/stat : 5453 (java) R 5450 5450 5055 0 -1 4202560 6072 0 0 0 28 1 0 0 20 0 20 0 116252478 26628161536 11587 33554432000 4194304 4196468 140729610684512 140003712207376 140003707981206 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5454] ppid=5450 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5452/task/5454/stat : 5454 (java) S 5450 5450 5055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116252479 26628161536 11587 33554432000 4194304 4196468 140729610684512 140003660589712 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5455] ppid=5450 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5452/task/5455/stat : 5455 (java) S 5450 5450 5055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116252479 26628161536 11587 33554432000 4194304 4196468 140729610684512 140003659536912 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5456] ppid=5450 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5452/task/5456/stat : 5456 (java) S 5450 5450 5055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116252479 26628161536 11587 33554432000 4194304 4196468 140729610684512 140003658484112 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5457] ppid=5450 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5452/task/5457/stat : 5457 (java) S 5450 5450 5055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116252479 26628161536 11587 33554432000 4194304 4196468 140729610684512 140003657431312 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5458] ppid=5450 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/5452/task/5458/stat : 5458 (java) S 5450 5450 5055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116252479 26628161536 11587 33554432000 4194304 4196468 140729610684512 140003656379536 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5459] ppid=5450 vsize=26004064 memory=140394092393391 CPUtime=0 cores=0-7
/proc/5452/task/5459/stat : 5459 (java) S 5450 5450 5055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116252479 26628161536 11587 33554432000 4194304 4196468 140729610684512 140003655326736 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5460] ppid=5450 vsize=26004064 memory=140394092395696 CPUtime=0 cores=0-7
/proc/5452/task/5460/stat : 5460 (java) S 5450 5450 5055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116252479 26628161536 11587 33554432000 4194304 4196468 140729610684512 140003654273936 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5461] ppid=5450 vsize=26004064 memory=140394092398000 CPUtime=0 cores=0-7
/proc/5452/task/5461/stat : 5461 (java) S 5450 5450 5055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116252479 26628161536 11587 33554432000 4194304 4196468 140729610684512 140003259054864 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5462] ppid=5450 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5452/task/5462/stat : 5462 (java) S 5450 5450 5055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116252480 26628161536 11587 33554432000 4194304 4196468 140729610684512 140001979869552 140003707980418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5463] ppid=5450 vsize=26004064 memory=280788184802960 CPUtime=0 cores=0-7
/proc/5452/task/5463/stat : 5463 (java) S 5450 5450 5055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 116252481 26628161536 11587 33554432000 4194304 4196468 140729610684512 140001978815520 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5464] ppid=5450 vsize=26004064 memory=280788184809872 CPUtime=0 cores=0-7
/proc/5452/task/5464/stat : 5464 (java) S 5450 5450 5055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 116252481 26628161536 11587 33554432000 4194304 4196468 140729610684512 140001977762672 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5465] ppid=5450 vsize=26004064 memory=280788184751152 CPUtime=0 cores=0-7
/proc/5452/task/5465/stat : 5465 (java) S 5450 5450 5055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116252483 26628161536 11587 33554432000 4194304 4196468 140729610684512 140001976710992 140003707987867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5466] ppid=5450 vsize=26004064 memory=280788184823696 CPUtime=0.01 cores=0-7
/proc/5452/task/5466/stat : 5466 (java) R 5450 5450 5055 0 -1 4202560 661 0 0 0 1 0 0 0 20 0 20 0 116252483 26628161536 11587 33554432000 4194304 4196468 140729610684512 140001639656304 140003692258273 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5467] ppid=5450 vsize=26004064 memory=280788184830608 CPUtime=0.02 cores=0-7
/proc/5452/task/5467/stat : 5467 (java) S 5450 5450 5055 0 -1 1077944384 146 0 0 0 2 0 0 0 20 0 20 0 116252483 26628161536 11587 33554432000 4194304 4196468 140729610684512 140001638603504 140003707980418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5468] ppid=5450 vsize=26004064 memory=280788184828304 CPUtime=0.02 cores=0-7
/proc/5452/task/5468/stat : 5468 (java) S 5450 5450 5055 0 -1 1077944384 159 0 0 0 2 0 0 0 20 0 20 0 116252483 26628161536 11587 33554432000 4194304 4196468 140729610684512 140001637550704 140003707980418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5469] ppid=5450 vsize=26004064 memory=280788184844464 CPUtime=0.12 cores=0-7
/proc/5452/task/5469/stat : 5469 (java) R 5450 5450 5055 0 -1 4202560 880 0 0 0 12 0 0 0 20 0 20 0 116252483 26628161536 11587 33554432000 4194304 4196468 140729610684512 140001636494272 140003707990618 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5470] ppid=5450 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5452/task/5470/stat : 5470 (java) S 5450 5450 5055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116252484 26628161536 11587 33554432000 4194304 4196468 140729610684512 140001635445344 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5471] ppid=5450 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5452/task/5471/stat : 5471 (java) S 5450 5450 5055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116252484 26628161536 11587 33554432000 4194304 4196468 140729610684512 140001634392624 140003707980418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47468 KiB

[startup+0.700979 s]
/proc/loadavg: 7.47 8.11 8.23 5/199 5471
/proc/meminfo: memFree=28247708/32770624 swapFree=67108860/67108860
[pid=5450] ppid=5447 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5450/stat : 5450 (xcsp3-exec) S 5447 5450 5055 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 116252477 9740288 346 33554432000 4194304 5098028 140734912154176 140734912152280 139788981936764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9175040 140734912160869 140734912161079 140734912161079 140734912163819 0
/proc/5450/statm: 2378 346 289 221 0 87 0
[pid=5452] ppid=5450 vsize=26006188 memory=134564 CPUtime=2.02 cores=0-7
/proc/5452/stat : 5452 (java) S 5450 5450 5055 0 -1 1077944320 13501 0 0 0 196 6 0 0 20 0 20 0 116252478 26630336512 33641 33554432000 4194304 4196468 140729610684512 140729610667056 140003707969271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
/proc/5452/statm: 6501547 33641 3203 1 0 6488781 0
[pid=5452/tid=5453] ppid=5450 vsize=26006188 memory=280788185202352 CPUtime=0.67 cores=0-7
/proc/5452/task/5453/stat : 5453 (java) R 5450 5450 5055 0 -1 4202560 6686 0 0 0 64 3 0 0 20 0 20 0 116252478 26630336512 33641 33554432000 4194304 4196468 140729610684512 140003712190224 140003707981206 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5454] ppid=5450 vsize=26006188 memory=140394092602224 CPUtime=0 cores=0-7
/proc/5452/task/5454/stat : 5454 (java) S 5450 5450 5055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116252479 26630336512 33641 33554432000 4194304 4196468 140729610684512 140003660589712 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5455] ppid=5450 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/5452/task/5455/stat : 5455 (java) S 5450 5450 5055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116252479 26630336512 33641 33554432000 4194304 4196468 140729610684512 140003659536912 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5456] ppid=5450 vsize=26006188 memory=11008 CPUtime=0 cores=0-7
/proc/5452/task/5456/stat : 5456 (java) S 5450 5450 5055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116252479 26630336512 33641 33554432000 4194304 4196468 140729610684512 140003658484112 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0

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

/proc/meminfo: memFree=21687332/32770624 swapFree=67108860/67108860
[pid=5450] ppid=5447 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5450/stat : 5450 (xcsp3-exec) S 5447 5450 5055 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 116252477 9740288 346 33554432000 4194304 5098028 140734912154176 140734912152280 139788981936764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9175040 140734912160869 140734912161079 140734912161079 140734912163819 0
/proc/5450/statm: 2378 346 289 221 0 87 0
[pid=5452] ppid=5450 vsize=26938084 memory=6625628 CPUtime=17480.7 cores=0-7
/proc/5452/stat : 5452 (java) S 5450 5450 5055 0 -1 1077944320 648396 0 0 0 1746814 1260 0 0 20 0 28 0 116252478 27584598016 1656407 33554432000 4194304 4196468 140729610684512 140729610667056 140003707969271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
/proc/5452/statm: 6734521 1656407 3307 1 0 6721755 0
[pid=5452/tid=5453] ppid=5450 vsize=26938084 memory=1384 CPUtime=2.52 cores=0-7
/proc/5452/task/5453/stat : 5453 (java) S 5450 5450 5055 0 -1 1077944384 8486 0 0 0 242 10 0 0 20 0 28 0 116252478 27584598016 1656407 33554432000 4194304 4196468 140729610684512 140003712210048 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5454] ppid=5450 vsize=26938084 memory=6625628 CPUtime=3.83 cores=0-7
/proc/5452/task/5454/stat : 5454 (java) S 5450 5450 5055 0 -1 1077944384 28662 0 0 0 354 29 0 0 20 0 28 0 116252479 27584598016 1656407 33554432000 4194304 4196468 140729610684512 140003660589712 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5455] ppid=5450 vsize=26938084 memory=6625596 CPUtime=3.83 cores=0-7
/proc/5452/task/5455/stat : 5455 (java) S 5450 5450 5055 0 -1 1077944384 28507 0 0 0 351 32 0 0 20 0 28 0 116252479 27584598016 1656407 33554432000 4194304 4196468 140729610684512 140003659536912 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5456] ppid=5450 vsize=26938084 memory=6625596 CPUtime=3.8 cores=0-7
/proc/5452/task/5456/stat : 5456 (java) S 5450 5450 5055 0 -1 1077944384 24276 0 0 0 352 28 0 0 20 0 28 0 116252479 27584598016 1656407 33554432000 4194304 4196468 140729610684512 140003658484112 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5457] ppid=5450 vsize=26938084 memory=6625596 CPUtime=3.82 cores=0-7
/proc/5452/task/5457/stat : 5457 (java) S 5450 5450 5055 0 -1 1077944384 24679 0 0 0 352 30 0 0 20 0 28 0 116252479 27584598016 1656407 33554432000 4194304 4196468 140729610684512 140003657431312 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5458] ppid=5450 vsize=26938084 memory=6625604 CPUtime=3.84 cores=0-7
/proc/5452/task/5458/stat : 5458 (java) S 5450 5450 5055 0 -1 1077944384 25553 0 0 0 351 33 0 0 20 0 28 0 116252479 27584598016 1656407 33554432000 4194304 4196468 140729610684512 140003656379536 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5459] ppid=5450 vsize=26938084 memory=1384 CPUtime=3.89 cores=0-7
/proc/5452/task/5459/stat : 5459 (java) S 5450 5450 5055 0 -1 1077944384 24022 0 0 0 354 35 0 0 20 0 28 0 116252479 27584598016 1656407 33554432000 4194304 4196468 140729610684512 140003655326736 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5460] ppid=5450 vsize=26938084 memory=6625628 CPUtime=3.82 cores=0-7
/proc/5452/task/5460/stat : 5460 (java) S 5450 5450 5055 0 -1 1077944384 25348 0 0 0 351 31 0 0 20 0 28 0 116252479 27584598016 1656407 33554432000 4194304 4196468 140729610684512 140003654273936 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5461] ppid=5450 vsize=26938084 memory=6625628 CPUtime=3.82 cores=0-7
/proc/5452/task/5461/stat : 5461 (java) S 5450 5450 5055 0 -1 1077944384 24275 0 0 0 353 29 0 0 20 0 28 0 116252479 27584598016 1656407 33554432000 4194304 4196468 140729610684512 140003259054864 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5462] ppid=5450 vsize=26938084 memory=1384 CPUtime=2.1 cores=0-7
/proc/5452/task/5462/stat : 5462 (java) S 5450 5450 5055 0 -1 1077944384 51977 0 0 0 158 52 0 0 20 0 28 0 116252480 27584598016 1656407 33554432000 4194304 4196468 140729610684512 140001979869552 140003707980418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5463] ppid=5450 vsize=26938084 memory=6623512 CPUtime=0 cores=0-7
/proc/5452/task/5463/stat : 5463 (java) S 5450 5450 5055 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 116252481 27584598016 1656407 33554432000 4194304 4196468 140729610684512 140001978815584 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5464] ppid=5450 vsize=26938084 memory=19064949 CPUtime=0 cores=0-7
/proc/5452/task/5464/stat : 5464 (java) S 5450 5450 5055 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 116252481 27584598016 1656407 33554432000 4194304 4196468 140729610684512 140001977762688 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5465] ppid=5450 vsize=26938084 memory=6604972 CPUtime=0 cores=0-7
/proc/5452/task/5465/stat : 5465 (java) S 5450 5450 5055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 116252483 27584598016 1656407 33554432000 4194304 4196468 140729610684512 140001976710992 140003707987867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5466] ppid=5450 vsize=26938084 memory=1384 CPUtime=3.08 cores=0-7
/proc/5452/task/5466/stat : 5466 (java) S 5450 5450 5055 0 -1 1077944384 26138 0 0 0 303 5 0 0 20 0 28 0 116252483 27584598016 1656407 33554432000 4194304 4196468 140729610684512 140001639656304 140003707980418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5467] ppid=5450 vsize=26938084 memory=1580 CPUtime=3.19 cores=0-7
/proc/5452/task/5467/stat : 5467 (java) S 5450 5450 5055 0 -1 1077944384 22076 0 0 0 316 3 0 0 20 0 28 0 116252483 27584598016 1656407 33554432000 4194304 4196468 140729610684512 140001638603504 140003707980418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5468] ppid=5450 vsize=26938084 memory=928 CPUtime=3.38 cores=0-7
/proc/5452/task/5468/stat : 5468 (java) S 5450 5450 5055 0 -1 1077944384 21019 0 0 0 335 3 0 0 20 0 28 0 116252483 27584598016 1656407 33554432000 4194304 4196468 140729610684512 140001637550704 140003707980418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5469] ppid=5450 vsize=26938084 memory=1384 CPUtime=1.08 cores=0-7
/proc/5452/task/5469/stat : 5469 (java) S 5450 5450 5055 0 -1 1077944384 22977 0 0 0 104 4 0 0 20 0 28 0 116252483 27584598016 1656407 33554432000 4194304 4196468 140729610684512 140001636497904 140003707980418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5470] ppid=5450 vsize=26938084 memory=6623528 CPUtime=0 cores=0-7
/proc/5452/task/5470/stat : 5470 (java) S 5450 5450 5055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 116252484 27584598016 1656407 33554432000 4194304 4196468 140729610684512 140001635445344 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5471] ppid=5450 vsize=26938084 memory=8112282956445269571 CPUtime=1.11 cores=0-7
/proc/5452/task/5471/stat : 5471 (java) S 5450 5450 5055 0 -1 1077944384 6868 0 0 0 58 53 0 0 20 0 28 0 116252484 27584598016 1656407 33554432000 4194304 4196468 140729610684512 140001634392624 140003707980418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5581] ppid=5450 vsize=26938084 memory=2340 CPUtime=1863.14 cores=0-7
/proc/5452/task/5581/stat : 5581 (java) R 5450 5450 5055 0 -1 4202560 10419 0 0 0 186300 14 0 0 20 0 28 0 116314920 27584598016 1656407 33554432000 4194304 4196468 140729610684512 140001617959360 140003344404121 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5582] ppid=5450 vsize=26938084 memory=1384 CPUtime=1867.49 cores=0-7
/proc/5452/task/5582/stat : 5582 (java) R 5450 5450 5055 0 -1 4202560 17452 0 0 0 186735 14 0 0 20 0 28 0 116314920 27584598016 1656407 33554432000 4194304 4196468 140729610684512 140001616908056 140003344404386 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5583] ppid=5450 vsize=26938084 memory=6625596 CPUtime=1863.09 cores=0-7
/proc/5452/task/5583/stat : 5583 (java) R 5450 5450 5055 0 -1 4202560 10385 0 0 0 186292 17 0 0 20 0 28 0 116314920 27584598016 1656407 33554432000 4194304 4196468 140729610684512 140001615856096 140003343941626 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5584] ppid=5450 vsize=26938084 memory=3472328296227679313 CPUtime=1863.87 cores=0-7
/proc/5452/task/5584/stat : 5584 (java) R 5450 5450 5055 0 -1 4202560 76230 0 0 0 186089 298 0 0 20 0 28 0 116314920 27584598016 1656407 33554432000 4194304 4196468 140729610684512 140001614806256 140003343250233 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5585] ppid=5450 vsize=26938084 memory=6944656592455359580 CPUtime=1866.71 cores=0-7
/proc/5452/task/5585/stat : 5585 (java) R 5450 5450 5055 0 -1 4202560 43737 0 0 0 186572 99 0 0 20 0 28 0 116314920 27584598016 1656407 33554432000 4194304 4196468 140729610684512 140001613750288 140003344404213 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5586] ppid=5450 vsize=26938084 memory=8112282956445269571 CPUtime=1868.05 cores=0-7
/proc/5452/task/5586/stat : 5586 (java) R 5450 5450 5055 0 -1 4202560 10951 0 0 0 186788 17 0 0 20 0 28 0 116314920 27584598016 1656407 33554432000 4194304 4196468 140729610684512 140001612697744 140003344418946 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5587] ppid=5450 vsize=26938084 memory=1952 CPUtime=1867.32 cores=0-7
/proc/5452/task/5587/stat : 5587 (java) R 5450 5450 5055 0 -1 4202560 23186 0 0 0 186707 25 0 0 20 0 28 0 116314920 27584598016 1656407 33554432000 4194304 4196468 140729610684512 140001621119016 140003339023244 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5588] ppid=5450 vsize=26938084 memory=1200 CPUtime=1868.22 cores=0-7
/proc/5452/task/5588/stat : 5588 (java) R 5450 5450 5055 0 -1 4202560 33742 0 0 0 186708 114 0 0 20 0 28 0 116314920 27584598016 1656407 33554432000 4194304 4196468 140729610684512 140001626382256 140003343304755 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
Current children cumulated CPU time: 17480.7 s
Current children cumulated vsize: 26947596 KiB
Current children cumulated memory: 6627012 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.07 8.21 8.05 11/209 5615
/proc/meminfo: memFree=21685592/32770624 swapFree=67108860/67108860
[pid=5450] ppid=5447 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5450/stat : 5450 (xcsp3-exec) S 5447 5450 5055 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 116252477 9740288 346 33554432000 4194304 5098028 140734912154176 140734912152280 139788981936764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9175040 140734912160869 140734912161079 140734912161079 140734912163819 0
/proc/5450/statm: 2378 346 289 221 0 87 0
[pid=5452] ppid=5450 vsize=26938084 memory=6627688 CPUtime=17621.4 cores=0-7
/proc/5452/stat : 5452 (java) S 5450 5450 5055 0 -1 1077944320 651617 0 0 0 1760876 1266 0 0 20 0 28 0 116252478 27584598016 1656922 33554432000 4194304 4196468 140729610684512 140729610667056 140003707969271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
/proc/5452/statm: 6734521 1656922 3307 1 0 6721755 0
[pid=5452/tid=5453] ppid=5450 vsize=26938084 memory=4642197910265684584 CPUtime=2.52 cores=0-7
/proc/5452/task/5453/stat : 5453 (java) S 5450 5450 5055 0 -1 1077944384 8486 0 0 0 242 10 0 0 20 0 28 0 116252478 27584598016 1656922 33554432000 4194304 4196468 140729610684512 140003712210048 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5454] ppid=5450 vsize=26938084 memory=4126316290023845779 CPUtime=3.91 cores=0-7
/proc/5452/task/5454/stat : 5454 (java) S 5450 5450 5055 0 -1 1077944384 28723 0 0 0 362 29 0 0 20 0 28 0 116252479 27584598016 1656922 33554432000 4194304 4196468 140729610684512 140003660589712 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5455] ppid=5450 vsize=26938084 memory=2340 CPUtime=3.9 cores=0-7
/proc/5452/task/5455/stat : 5455 (java) S 5450 5450 5055 0 -1 1077944384 28588 0 0 0 358 32 0 0 20 0 28 0 116252479 27584598016 1656922 33554432000 4194304 4196468 140729610684512 140003659536912 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5456] ppid=5450 vsize=26938084 memory=1580 CPUtime=3.88 cores=0-7
/proc/5452/task/5456/stat : 5456 (java) S 5450 5450 5055 0 -1 1077944384 24385 0 0 0 360 28 0 0 20 0 28 0 116252479 27584598016 1656922 33554432000 4194304 4196468 140729610684512 140003658484112 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5457] ppid=5450 vsize=26938084 memory=928 CPUtime=3.9 cores=0-7
/proc/5452/task/5457/stat : 5457 (java) S 5450 5450 5055 0 -1 1077944384 25111 0 0 0 359 31 0 0 20 0 28 0 116252479 27584598016 1656922 33554432000 4194304 4196468 140729610684512 140003657431312 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5458] ppid=5450 vsize=26938084 memory=2240 CPUtime=3.93 cores=0-7
/proc/5452/task/5458/stat : 5458 (java) S 5450 5450 5055 0 -1 1077944384 25572 0 0 0 359 34 0 0 20 0 28 0 116252479 27584598016 1656922 33554432000 4194304 4196468 140729610684512 140003656379536 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5459] ppid=5450 vsize=26938084 memory=8112282956445269571 CPUtime=3.97 cores=0-7
/proc/5452/task/5459/stat : 5459 (java) S 5450 5450 5055 0 -1 1077944384 24073 0 0 0 362 35 0 0 20 0 28 0 116252479 27584598016 1656922 33554432000 4194304 4196468 140729610684512 140003655326736 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5460] ppid=5450 vsize=26938084 memory=2196 CPUtime=3.9 cores=0-7
/proc/5452/task/5460/stat : 5460 (java) S 5450 5450 5055 0 -1 1077944384 25630 0 0 0 359 31 0 0 20 0 28 0 116252479 27584598016 1656922 33554432000 4194304 4196468 140729610684512 140003654273936 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5461] ppid=5450 vsize=26938084 memory=1384 CPUtime=3.9 cores=0-7
/proc/5452/task/5461/stat : 5461 (java) S 5450 5450 5055 0 -1 1077944384 24596 0 0 0 361 29 0 0 20 0 28 0 116252479 27584598016 1656922 33554432000 4194304 4196468 140729610684512 140003259054864 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5462] ppid=5450 vsize=26938084 memory=1384 CPUtime=2.15 cores=0-7
/proc/5452/task/5462/stat : 5462 (java) S 5450 5450 5055 0 -1 1077944384 52293 0 0 0 162 53 0 0 20 0 28 0 116252480 27584598016 1656922 33554432000 4194304 4196468 140729610684512 140001979869552 140003707980418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5463] ppid=5450 vsize=26938084 memory=6625640 CPUtime=0 cores=0-7
/proc/5452/task/5463/stat : 5463 (java) S 5450 5450 5055 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 116252481 27584598016 1656922 33554432000 4194304 4196468 140729610684512 140001978815584 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5464] ppid=5450 vsize=26938084 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/5452/task/5464/stat : 5464 (java) S 5450 5450 5055 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 116252481 27584598016 1656922 33554432000 4194304 4196468 140729610684512 140001977762688 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5465] ppid=5450 vsize=26938084 memory=1728 CPUtime=0 cores=0-7
/proc/5452/task/5465/stat : 5465 (java) S 5450 5450 5055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 116252483 27584598016 1656922 33554432000 4194304 4196468 140729610684512 140001976710992 140003707987867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5466] ppid=5450 vsize=26938084 memory=1384 CPUtime=3.08 cores=0-7
/proc/5452/task/5466/stat : 5466 (java) S 5450 5450 5055 0 -1 1077944384 26140 0 0 0 303 5 0 0 20 0 28 0 116252483 27584598016 1656922 33554432000 4194304 4196468 140729610684512 140001639656304 140003707980418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5467] ppid=5450 vsize=26938084 memory=8112282956445269571 CPUtime=3.19 cores=0-7
/proc/5452/task/5467/stat : 5467 (java) S 5450 5450 5055 0 -1 1077944384 22079 0 0 0 316 3 0 0 20 0 28 0 116252483 27584598016 1656922 33554432000 4194304 4196468 140729610684512 140001638603504 140003707980418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5468] ppid=5450 vsize=26938084 memory=13855183067154575 CPUtime=3.38 cores=0-7
/proc/5452/task/5468/stat : 5468 (java) S 5450 5450 5055 0 -1 1077944384 21021 0 0 0 335 3 0 0 20 0 28 0 116252483 27584598016 1656922 33554432000 4194304 4196468 140729610684512 140001637550704 140003707980418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5469] ppid=5450 vsize=26938084 memory=1580 CPUtime=1.08 cores=0-7
/proc/5452/task/5469/stat : 5469 (java) S 5450 5450 5055 0 -1 1077944384 22979 0 0 0 104 4 0 0 20 0 28 0 116252483 27584598016 1656922 33554432000 4194304 4196468 140729610684512 140001636497904 140003707980418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5470] ppid=5450 vsize=26938084 memory=928 CPUtime=0 cores=0-7
/proc/5452/task/5470/stat : 5470 (java) S 5450 5450 5055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 116252484 27584598016 1656922 33554432000 4194304 4196468 140729610684512 140001635445344 140003707979477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5471] ppid=5450 vsize=26938084 memory=2240 CPUtime=1.11 cores=0-7
/proc/5452/task/5471/stat : 5471 (java) S 5450 5450 5055 0 -1 1077944384 6888 0 0 0 58 53 0 0 20 0 28 0 116252484 27584598016 1656922 33554432000 4194304 4196468 140729610684512 140001634392624 140003707980418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5581] ppid=5450 vsize=26938084 memory=0 CPUtime=1880.55 cores=0-7
/proc/5452/task/5581/stat : 5581 (java) R 5450 5450 5055 0 -1 4202560 10497 0 0 0 188041 14 0 0 20 0 28 0 116314920 27584598016 1656922 33554432000 4194304 4196468 140729610684512 140001617959360 140003344418946 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5582] ppid=5450 vsize=26938084 memory=182693 CPUtime=1885.05 cores=0-7
/proc/5452/task/5582/stat : 5582 (java) R 5450 5450 5055 0 -1 4202560 17550 0 0 0 188490 15 0 0 20 0 28 0 116314920 27584598016 1656922 33554432000 4194304 4196468 140729610684512 140001616907920 140003344418946 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5583] ppid=5450 vsize=26938084 memory=1384 CPUtime=1880.63 cores=0-7
/proc/5452/task/5583/stat : 5583 (java) R 5450 5450 5055 0 -1 4202560 10475 0 0 0 188046 17 0 0 20 0 28 0 116314920 27584598016 1656922 33554432000 4194304 4196468 140729610684512 140001615856096 140003336320725 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5584] ppid=5450 vsize=26938084 memory=6625640 CPUtime=1881.44 cores=0-7
/proc/5452/task/5584/stat : 5584 (java) R 5450 5450 5055 0 -1 4202560 76808 0 0 0 187845 299 0 0 20 0 28 0 116314920 27584598016 1656922 33554432000 4194304 4196468 140729610684512 140001614803624 140003343186787 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5585] ppid=5450 vsize=26938084 memory=1788 CPUtime=1884.13 cores=0-7
/proc/5452/task/5585/stat : 5585 (java) R 5450 5450 5055 0 -1 4202560 44011 0 0 0 188313 100 0 0 20 0 28 0 116314920 27584598016 1656922 33554432000 4194304 4196468 140729610684512 140001613750176 140003344404566 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5586] ppid=5450 vsize=26938084 memory=952 CPUtime=1885.64 cores=0-7
/proc/5452/task/5586/stat : 5586 (java) R 5450 5450 5055 0 -1 4202560 11019 0 0 0 188546 18 0 0 20 0 28 0 116314920 27584598016 1656922 33554432000 4194304 4196468 140729610684512 140001612697392 140003336800689 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5587] ppid=5450 vsize=26938084 memory=2340 CPUtime=1884.72 cores=0-7
/proc/5452/task/5587/stat : 5587 (java) R 5450 5450 5055 0 -1 4202560 23304 0 0 0 188447 25 0 0 20 0 28 0 116314920 27584598016 1656922 33554432000 4194304 4196468 140729610684512 140001621121664 140003339023244 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
[pid=5452/tid=5588] ppid=5450 vsize=26938084 memory=1580 CPUtime=1885.78 cores=0-7
/proc/5452/task/5588/stat : 5588 (java) R 5450 5450 5055 0 -1 4202560 33958 0 0 0 188462 116 0 0 20 0 28 0 116314920 27584598016 1656922 33554432000 4194304 4196468 140729610684512 140001626382256 140003344418906 0 4 0 16800975 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 31313920 140729610687634 140729610687811 140729610687811 140729610690511 0
Current children cumulated CPU time: 17621.4 s
Current children cumulated vsize: 26947596 KiB
Current children cumulated memory: 6629072 KiB

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

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

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

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

[startup+2520.14 s]*
/proc/loadavg: 8.07 8.21 8.05 2/182 5617
/proc/meminfo: memFree=24308924/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.001986 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.17
CPU time (s): 17622.3
CPU user time (s): 17609.6
CPU system time (s): 12.7106
CPU usage (%): 699.253
Max. virtual memory (cumulated for all children) (KiB): 26947596
Max. memory (cumulated for all children) (KiB): 7621824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17609.6
system time used= 12.7106
maximum resident set size= 7627796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 653457
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 140073
involuntary context switches= 181270


# summary of solver processes directly reported to runsolver:
#   pid: 5450,5452
#   total CPU time (s): 17622.3
#   total CPU user time (s): 17609.6
#   total CPU system time (s): 12.7106

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.2812 second user time and 30.984 second system time

The end

Launcher Data 

Begin job on node104 at 2017-08-15 22:59:47
IDJOB=4271342
IDBENCH=139728
IDSOLVER=2662
FILE ID=node104/4271342-1502831646
RUNJOBID= node104-1502825742-5082
PBS_JOBID= 20629835
Free space on /tmp= 61788 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s1/ChessboardColoration-int-13-13.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-4271342-1502831646/watcher-4271342-1502831646 -o /tmp/evaluation-result-4271342-1502831646/solver-4271342-1502831646 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502825742-5082 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 931376028 HOME/instance-4271342-1502831646.xml

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

MD5SUM BENCH= 35fa3ccff61e9a72252c43058d5bc461
RANDOM SEED=931376028

node104.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.43
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.43
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.43
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.43
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:        28311824 kB
MemAvailable:   31979620 kB
Buffers:          234136 kB
Cached:          3711564 kB
SwapCached:            0 kB
Active:           616340 kB
Inactive:        3380052 kB
Active(anon):      53672 kB
Inactive(anon):    25024 kB
Active(file):     562668 kB
Inactive(file):  3355028 kB
Unevictable:        6532 kB
Mlocked:            6532 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8168 kB
Writeback:            16 kB
AnonPages:         56980 kB
Mapped:            46288 kB
Shmem:             25228 kB
Slab:             157512 kB
SReclaimable:     131868 kB
SUnreclaim:        25644 kB
KernelStack:        3296 kB
PageTables:         4968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61780 MiB
End job on node104 at 2017-08-15 23:41:48