Trace number 4407885

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
(reference) PicatSAT 2019-09-12? (TO) 2400.05 2400.21

General information on the benchmark

NameRlfap_mini/Rlfap-opt_mini/
Rlfap-ext-graph-11-opt_c18.xml
MD5SUM883afe48e037930c9e115af2d6f001fb
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables4097
Number of constraints3757
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":3417},{"size":6,"count":48},{"size":22,"count":32},{"size":24,"count":18},{"size":36,"count":132},{"size":42,"count":168},{"size":44,"count":282}]
Minimum variable degree1
Maximum variable degree22
Distribution of variable degrees[{"degree":1,"count":3},{"degree":2,"count":3418},{"degree":3,"count":6},{"degree":4,"count":10},{"degree":5,"count":46},{"degree":6,"count":68},{"degree":7,"count":77},{"degree":8,"count":85},{"degree":9,"count":54},{"degree":10,"count":33},{"degree":11,"count":37},{"degree":12,"count":21},{"degree":13,"count":8},{"degree":14,"count":1},{"degree":15,"count":35},{"degree":16,"count":26},{"degree":17,"count":63},{"degree":18,"count":54},{"degree":19,"count":32},{"degree":20,"count":12},{"degree":21,"count":7},{"degree":22,"count":1}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":340},{"arity":3,"count":3417}]
Number of extensional constraints3757
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":3757}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

120.87/120.98	c xcsp_picat version 2.7b12 (9/12/2019)
349.20/349.39	o 265021
2320.83/2321.10	o 88311

Verifier Data 

One s line expected

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407885-1569514248/watcher-4407885-1569514248 -o /var/tmp/evaluation-result-4407885-1569514248/solver-4407885-1569514248 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node147-1569509597-16051 --watchdog 2560 xcsp_picat HOME/instance-4407885-1569514248.xml 

running on 4 cores: 0,2,4,6

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
solver pid=17567, runsolver pid=17564
Current StackSize limit: 8192 KiB


[startup+0.100623 s]*
/proc/loadavg: 2.00 2.05 2.00 3/200 17568
/proc/meminfo: memFree=24754280/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=2031716 memory=22188 CPUtime=0.09 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 1649 0 0 0 9 0 0 0 20 0 1 0 527338513 2080477184 5547 33554432000 4194304 5870510 140725783980688 140725783979992 4515436 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 507929 5547 842 410 0 503402 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 22188 KiB

[startup+0.209723 s]*
/proc/loadavg: 2.00 2.05 2.00 3/200 17568
/proc/meminfo: memFree=24745748/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=2031716 memory=30380 CPUtime=0.2 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 1653 0 0 0 20 0 0 0 20 0 1 0 527338513 2080477184 7595 33554432000 4194304 5870510 140725783980688 140725783979992 140620694957056 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 507929 7595 842 410 0 503402 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 30380 KiB

[startup+0.30957 s]*
/proc/loadavg: 2.00 2.05 2.00 3/200 17568
/proc/meminfo: memFree=24739604/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=2031716 memory=38572 CPUtime=0.3 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 1657 0 0 0 30 0 0 0 20 0 1 0 527338513 2080477184 9643 33554432000 4194304 5870510 140725783980688 140725783979992 140620694957056 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 507929 9643 842 410 0 503402 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 38572 KiB

[startup+0.700298 s]
/proc/loadavg: 2.00 2.05 2.00 3/200 17568
/proc/meminfo: memFree=24722476/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=2031716 memory=67244 CPUtime=0.69 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 1672 0 0 0 68 1 0 0 20 0 1 0 527338513 2080477184 16811 33554432000 4194304 5870510 140725783980688 140725783979992 4520559 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 507929 16811 842 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 67244 KiB

[startup+1.50031 s]
/proc/loadavg: 2.00 2.05 2.00 3/200 17568
/proc/meminfo: memFree=24683300/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=2031716 memory=128832 CPUtime=1.48 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 1702 0 0 0 147 1 0 0 20 0 1 0 527338513 2080477184 32208 33554432000 4194304 5870510 140725783980688 140725783979992 4520559 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 507929 32208 843 410 0 503402 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 128832 KiB

[startup+3.10991 s]
/proc/loadavg: 2.00 2.05 2.00 3/200 17568
/proc/meminfo: memFree=24523248/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=2031716 memory=251712 CPUtime=3.09 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 1888 0 0 0 304 5 0 0 20 0 1 0 527338513 2080477184 62928 33554432000 4194304 5870510 140725783980688 140725783979992 4515394 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 507929 62928 843 410 0 503402 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 251712 KiB

[startup+6.3003 s]
/proc/loadavg: 1.92 2.04 2.00 3/200 17568
/proc/meminfo: memFree=24296776/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=2031716 memory=559320 CPUtime=6.28 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 2653 0 0 0 618 10 0 0 20 0 1 0 527338513 2080477184 139830 33554432000 4194304 5870510 140725783980688 140725783979992 4465974 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 507929 139830 889 410 0 503402 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 559320 KiB

[startup+12.7003 s]
/proc/loadavg: 1.93 2.03 2.00 3/200 17568
/proc/meminfo: memFree=23320324/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=2610776 memory=1454840 CPUtime=12.68 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 6365 0 0 0 1244 24 0 0 20 0 1 0 527338513 2673434624 363710 33554432000 4194304 5870510 140725783980688 140725783980008 5245041 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 652694 363710 895 410 0 648167 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2610776 KiB
Current children cumulated memory: 1454840 KiB

[startup+25.5003 s]
/proc/loadavg: 1.95 2.03 2.00 3/200 17568
/proc/meminfo: memFree=23233456/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=2625064 memory=1198708 CPUtime=25.49 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 10034 0 0 0 2511 38 0 0 20 0 1 0 527338513 2688065536 299677 33554432000 4194304 5870510 140725783980688 140725783979656 5246661 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 656266 299677 895 410 0 651739 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2625064 KiB
Current children cumulated memory: 1198708 KiB

[startup+51.1096 s]
/proc/loadavg: 1.96 2.03 2.00 3/200 17571
/proc/meminfo: memFree=22883108/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=2814432 memory=1939996 CPUtime=51.08 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 30425 0 0 0 4913 195 0 0 20 0 1 0 527338513 2881978368 484999 33554432000 4194304 5870510 140725783980688 140725783979656 5246754 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 703608 484999 895 410 0 699081 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 2814432 KiB
Current children cumulated memory: 1939996 KiB

[startup+102.3 s]
/proc/loadavg: 1.98 2.03 2.00 3/200 17575
/proc/meminfo: memFree=21955072/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=3568284 memory=2822124 CPUtime=102.27 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 163186 0 0 0 9845 382 0 0 20 0 1 0 527338513 3653922816 705531 33554432000 4194304 5870510 140725783980688 140725783979192 5337306 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 892071 705531 970 410 0 887544 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 3568284 KiB
Current children cumulated memory: 2822124 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.02 2.00 3/200 17579
/proc/meminfo: memFree=21955036/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=3545580 memory=2810352 CPUtime=162.26 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 240813 0 0 0 15836 390 0 0 20 0 1 0 527338513 3630673920 702588 33554432000 4194304 5870510 140725783980688 140725783979048 5272395 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 886395 702588 995 410 0 881868 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 3545580 KiB
Current children cumulated memory: 2810352 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/201 17585
/proc/meminfo: memFree=21902564/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=3570396 memory=2850448 CPUtime=222.25 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 428999 0 0 0 21821 404 0 0 20 0 1 0 527338513 3656085504 712612 33554432000 4194304 5870510 140725783980688 140725783979176 5307152 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 892599 712612 995 410 0 888072 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 3570396 KiB
Current children cumulated memory: 2850448 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/200 17589
/proc/meminfo: memFree=21886028/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=3588260 memory=2851488 CPUtime=282.21 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 587611 0 0 0 27799 422 0 0 20 0 1 0 527338513 3674378240 712872 33554432000 4194304 5870510 140725783980688 140725783979256 5283024 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 897065 712872 995 410 0 892538 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 3588260 KiB
Current children cumulated memory: 2851488 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 17593
/proc/meminfo: memFree=21917268/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=3574924 memory=2832672 CPUtime=342.19 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 677936 0 0 0 33781 438 0 0 20 0 1 0 527338513 3660722176 708168 33554432000 4194304 5870510 140725783980688 140725783979864 5337543 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 893731 708168 1002 410 0 889204 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 3574924 KiB
Current children cumulated memory: 2832672 KiB

[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/200 17599
/proc/meminfo: memFree=21946476/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=3574924 memory=2819684 CPUtime=402.19 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 682108 0 0 0 39775 444 0 0 20 0 1 0 527338513 3660722176 704921 33554432000 4194304 5870510 140725783980688 140725783979704 5288830 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 893731 704921 1002 410 0 889204 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 3574924 KiB
Current children cumulated memory: 2819684 KiB

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/199 17603
/proc/meminfo: memFree=21933012/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=3574924 memory=2842884 CPUtime=462.19 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 684747 0 0 0 45772 447 0 0 20 0 1 0 527338513 3660722176 710721 33554432000 4194304 5870510 140725783980688 140725783979704 5295159 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 893731 710721 1002 410 0 889204 0
Current children cumulated CPU time: 462.19 s
Current children cumulated vsize: 3574924 KiB
Current children cumulated memory: 2842884 KiB


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

/proc/17567/statm: 912272 736678 1002 410 0 907745 0
Current children cumulated CPU time: 1602.16 s
Current children cumulated vsize: 3649088 KiB
Current children cumulated memory: 2946712 KiB

[startup+1662.3 s]
/proc/loadavg: 1.00 1.03 1.32 2/193 17760
/proc/meminfo: memFree=22083104/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=3781348 memory=2971504 CPUtime=1662.16 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 1461190 0 0 0 165587 629 0 0 20 0 1 0 527338513 3872100352 742876 33554432000 4194304 5870510 140725783980688 140725783979640 5283106 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 945337 742876 1002 410 0 940810 0
Current children cumulated CPU time: 1662.16 s
Current children cumulated vsize: 3781348 KiB
Current children cumulated memory: 2971504 KiB

[startup+1722.3 s]
/proc/loadavg: 1.00 1.03 1.30 2/192 17764
/proc/meminfo: memFree=22040824/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=3821392 memory=3013144 CPUtime=1722.16 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 1552541 0 0 0 171574 642 0 0 20 0 1 0 527338513 3913105408 753286 33554432000 4194304 5870510 140725783980688 140725783979176 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 955348 753286 1002 410 0 950821 0
Current children cumulated CPU time: 1722.16 s
Current children cumulated vsize: 3821392 KiB
Current children cumulated memory: 3013144 KiB

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.28 2/192 17768
/proc/meminfo: memFree=22044684/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=3821392 memory=3009048 CPUtime=1782.15 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 1659785 0 0 0 177562 653 0 0 20 0 1 0 527338513 3913105408 752262 33554432000 4194304 5870510 140725783980688 140725783979640 5282467 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 955348 752262 1002 410 0 950821 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 3821392 KiB
Current children cumulated memory: 3009048 KiB

[startup+1842.3 s]
/proc/loadavg: 1.00 1.02 1.27 2/193 17781
/proc/meminfo: memFree=22053164/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=3821392 memory=3000824 CPUtime=1842.15 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 1714140 0 0 0 183554 661 0 0 20 0 1 0 527338513 3913105408 750206 33554432000 4194304 5870510 140725783980688 140725783979640 5282531 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 955348 750206 1002 410 0 950821 0
Current children cumulated CPU time: 1842.15 s
Current children cumulated vsize: 3821392 KiB
Current children cumulated memory: 3000824 KiB

[startup+1902.3 s]
/proc/loadavg: 1.08 1.03 1.25 2/192 17785
/proc/meminfo: memFree=22007944/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=3821392 memory=3045912 CPUtime=1902.15 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 1860484 0 0 0 189539 676 0 0 20 0 1 0 527338513 3913105408 761478 33554432000 4194304 5870510 140725783980688 140725783979640 5282606 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 955348 761478 1002 410 0 950821 0
Current children cumulated CPU time: 1902.15 s
Current children cumulated vsize: 3821392 KiB
Current children cumulated memory: 3045912 KiB

[startup+1962.3 s]
/proc/loadavg: 1.03 1.02 1.24 2/192 17789
/proc/meminfo: memFree=22048844/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=3821392 memory=3004952 CPUtime=1962.14 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 1985231 0 0 0 195521 693 0 0 20 0 1 0 527338513 3913105408 751238 33554432000 4194304 5870510 140725783980688 140725783979640 5258783 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 955348 751238 1002 410 0 950821 0
Current children cumulated CPU time: 1962.14 s
Current children cumulated vsize: 3821392 KiB
Current children cumulated memory: 3004952 KiB

[startup+2022.3 s]
/proc/loadavg: 1.01 1.02 1.22 2/193 17795
/proc/meminfo: memFree=22079244/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=3689132 memory=2976468 CPUtime=2022.14 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 2090165 0 0 0 201505 709 0 0 20 0 1 0 527338513 3777671168 744117 33554432000 4194304 5870510 140725783980688 140725783979704 5282295 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 922283 744117 1002 410 0 917756 0
Current children cumulated CPU time: 2022.14 s
Current children cumulated vsize: 3689132 KiB
Current children cumulated memory: 2976468 KiB

[startup+2082.3 s]
/proc/loadavg: 1.00 1.01 1.21 2/192 17799
/proc/meminfo: memFree=22025916/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=3829112 memory=3027476 CPUtime=2082.13 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 2185394 0 0 0 207496 717 0 0 20 0 1 0 527338513 3921010688 756869 33554432000 4194304 5870510 140725783980688 140725783979176 5275603 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 957278 756869 1002 410 0 952751 0
Current children cumulated CPU time: 2082.13 s
Current children cumulated vsize: 3829112 KiB
Current children cumulated memory: 3027476 KiB

[startup+2142.3 s]
/proc/loadavg: 1.00 1.01 1.20 2/192 17803
/proc/meminfo: memFree=22036952/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=3829112 memory=3017236 CPUtime=2142.13 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 2249580 0 0 0 213487 726 0 0 20 0 1 0 527338513 3921010688 754309 33554432000 4194304 5870510 140725783980688 140725783979640 5274877 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 957278 754309 1002 410 0 952751 0
Current children cumulated CPU time: 2142.13 s
Current children cumulated vsize: 3829112 KiB
Current children cumulated memory: 3017236 KiB

[startup+2202.3 s]
/proc/loadavg: 1.00 1.01 1.19 2/193 17809
/proc/meminfo: memFree=22045116/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=3829112 memory=3008292 CPUtime=2202.14 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 2350309 0 0 0 219477 737 0 0 20 0 1 0 527338513 3921010688 752073 33554432000 4194304 5870510 140725783980688 140725783979704 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 957278 752073 1002 410 0 952751 0
Current children cumulated CPU time: 2202.14 s
Current children cumulated vsize: 3829112 KiB
Current children cumulated memory: 3008292 KiB

[startup+2262.3 s]
/proc/loadavg: 1.00 1.01 1.17 2/192 17813
/proc/meminfo: memFree=22022432/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=3829112 memory=3033620 CPUtime=2262.13 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 2489062 0 0 0 225462 751 0 0 20 0 1 0 527338513 3921010688 758405 33554432000 4194304 5870510 140725783980688 140725783979640 5274765 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 957278 758405 1002 410 0 952751 0
Current children cumulated CPU time: 2262.13 s
Current children cumulated vsize: 3829112 KiB
Current children cumulated memory: 3033620 KiB

[startup+2322.3 s]
/proc/loadavg: 1.00 1.01 1.16 2/192 17817
/proc/meminfo: memFree=22236332/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=3574924 memory=2816980 CPUtime=2322.12 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 2592568 0 0 0 231437 775 0 0 20 0 1 0 527338513 3660722176 704245 33554432000 4194304 5870510 140725783980688 140725783979800 5282578 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 893731 704245 1002 410 0 889204 0
Current children cumulated CPU time: 2322.12 s
Current children cumulated vsize: 3574924 KiB
Current children cumulated memory: 2816980 KiB

[startup+2382.3 s]
/proc/loadavg: 1.00 1.01 1.15 2/193 17823
/proc/meminfo: memFree=22215844/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=3574924 memory=2837632 CPUtime=2382.12 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 2602532 0 0 0 237433 779 0 0 20 0 1 0 527338513 3660722176 709408 33554432000 4194304 5870510 140725783980688 140725783979704 5282578 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 893731 709408 1002 410 0 889204 0
Current children cumulated CPU time: 2382.12 s
Current children cumulated vsize: 3574924 KiB
Current children cumulated memory: 2837632 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.2 s]
/proc/loadavg: 1.00 1.01 1.15 2/192 17831
/proc/meminfo: memFree=22201168/32770624 swapFree=66935996/67108860
[pid=17567] ppid=17564 vsize=3574924 memory=2854016 CPUtime=2400.03 cores=0,2,4,6
/proc/17567/stat : 17567 (xcsp_picat) R 17564 17567 16020 0 -1 4202496 2605635 0 0 0 239223 780 0 0 20 0 1 0 527338513 3660722176 713504 33554432000 4194304 5870510 140725783980688 140725783979704 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 38268928 140725783987207 140725783987289 140725783987289 140725783990214 0
/proc/17567/statm: 893731 713504 1002 410 0 889204 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 3574924 KiB
Current children cumulated memory: 2854016 KiB

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

[startup+2400.21 s]
# the end of solver process 17567 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2392.24 s, system=7.81164 s

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.21
CPU time (s): 2400.05
CPU user time (s): 2392.24
CPU system time (s): 7.81164
CPU usage (%): 99.9932
Max. virtual memory (cumulated for all children) (KiB): 4040728
Max. memory (cumulated for all children) (KiB): 3256672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.24
system time used= 7.81164
maximum resident set size= 3256672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2605635
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82
involuntary context switches= 3018


# summary of solver processes directly reported to runsolver:
#   pid: 17567
#   total CPU time (s): 2400.05
#   total CPU user time (s): 2392.24
#   total CPU system time (s): 7.81164

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.86779 second user time and 18.3222 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-26 18:10:03
IDJOB=4407885
IDBENCH=141088
IDSOLVER=2873
FILE ID=node147/4407885-1569514248
RUNJOBID= node147-1569509597-16051
PBS_JOBID= 21705780
Free space on /var/tmp= 13484 MiB

SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP18/Rlfap_mini/Rlfap-opt_mini/Rlfap-ext-graph-11-opt_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407885-1569514248/watcher-4407885-1569514248 -o /var/tmp/evaluation-result-4407885-1569514248/solver-4407885-1569514248 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node147-1569509597-16051 --watchdog 2560  xcsp_picat HOME/instance-4407885-1569514248.xml

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

MD5SUM BENCH= 883afe48e037930c9e115af2d6f001fb
RANDOM SEED=841442036

node147.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.52
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.52
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.52
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.52
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:        24773388 kB
MemAvailable:   31484500 kB
Buffers:          187776 kB
Cached:          6595348 kB
SwapCached:        68684 kB
Active:          3676660 kB
Inactive:        3455780 kB
Active(anon):     295108 kB
Inactive(anon):   128516 kB
Active(file):    3381552 kB
Inactive(file):  3327264 kB
Unevictable:      107692 kB
Mlocked:          107692 kB
SwapTotal:      67108860 kB
SwapFree:       66935996 kB
Dirty:             29812 kB
Writeback:             0 kB
AnonPages:        440860 kB
Mapped:            24504 kB
Shmem:             65480 kB
Slab:             459840 kB
SReclaimable:     430756 kB
SUnreclaim:        29084 kB
KernelStack:        3696 kB
PageTables:         5852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2827052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    335872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13488 MiB
End job on node147 at 2019-09-26 18:50:04