Trace number 4391484

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 NameAnswerCPU timeWall clock time
NACRE 1.0.5-Hybrid? (TO) 2400.21 2400.69

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-sptate/
Pb-Tate-K109.xml
MD5SUMd51c756c633143c4b9edb9b6f06ce71e
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark80.1396
Satisfiable
(Un)Satisfiability was proved
Number of variables7412
Number of constraints7632
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":7412}]
Minimum variable degree3
Maximum variable degree10
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":186},{"degree":5,"count":1312},{"degree":6,"count":2906},{"degree":7,"count":1825},{"degree":8,"count":752},{"degree":9,"count":216},{"degree":10,"count":214}]
Minimum constraint arity1
Maximum constraint arity109
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":1404},{"arity":3,"count":2916},{"arity":4,"count":1944},{"arity":5,"count":648},{"arity":6,"count":216},{"arity":7,"count":216},{"arity":68,"count":218},{"arity":109,"count":68}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":7632}]
Optimization problemNO
Type of objective

Solver Data 

0.10/0.17	c NACRE 1.0.5
2400.01/2400.50	c
2400.01/2400.50	c # time = 2400.01
2400.01/2400.50	c # Dec = 3619177
2400.01/2400.50	c # Propagate Calls = 1369328818
2400.01/2400.50	c # assignAt Calls = 33049564
2400.01/2400.50	c # removeAt Calls = 509277248
2400.01/2400.50	c # Run = 1478
2400.01/2400.50	c # Conflicts = 682626
2400.01/2400.50	c # Memory used = 3961.99 Mb
2400.01/2400.50	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12867 MiB free)
  memory of node 1: 16384 MiB (11559 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391484-1568318551/watcher-4391484-1568318551 -o /tmp/evaluation-result-4391484-1568318551/solver-4391484-1568318551 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568307015-16993 --watchdog 2560 nacre_mini_release HOME/instance-4391484-1568318551.xml -ca -l100 -cm 

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=19440, runsolver pid=19437
Current StackSize limit: 8192 KiB


[startup+0.100203 s]*
/proc/loadavg: 2.04 2.03 2.05 3/202 19441
/proc/meminfo: memFree=25002412/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=37472 memory=13892 CPUtime=0.1 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 3764 0 0 0 10 0 0 0 20 0 1 0 408102433 38371328 3473 33554432000 4194304 4935366 140731461555456 140731461552456 140638967299045 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 9368 3473 581 181 0 2985 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37472 KiB
Current children cumulated memory: 13892 KiB

[startup+0.210062 s]*
/proc/loadavg: 2.04 2.03 2.05 3/202 19441
/proc/meminfo: memFree=24999808/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=39640 memory=16268 CPUtime=0.21 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 4355 0 0 0 21 0 0 0 20 0 1 0 408102433 40591360 4067 33554432000 4194304 4935366 140731461555456 140731461552456 4312457 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 9910 4067 593 181 0 3527 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39640 KiB
Current children cumulated memory: 16268 KiB

[startup+0.309974 s]*
/proc/loadavg: 2.04 2.03 2.05 3/202 19441
/proc/meminfo: memFree=24999436/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=39816 memory=16268 CPUtime=0.31 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 4384 0 0 0 31 0 0 0 20 0 1 0 408102433 40771584 4067 33554432000 4194304 4935366 140731461555456 140731461552456 4365369 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 9954 4067 593 181 0 3571 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39816 KiB
Current children cumulated memory: 16268 KiB

[startup+0.700395 s]
/proc/loadavg: 2.04 2.03 2.05 3/202 19441
/proc/meminfo: memFree=24998368/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=39816 memory=16532 CPUtime=0.69 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 4403 0 0 0 69 0 0 0 20 0 1 0 408102433 40771584 4133 33554432000 4194304 4935366 140731461555456 140731461553400 4365321 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 9954 4133 618 181 0 3571 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39816 KiB
Current children cumulated memory: 16532 KiB

[startup+1.50041 s]
/proc/loadavg: 2.04 2.03 2.05 3/202 19441
/proc/meminfo: memFree=24994648/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=40744 memory=17324 CPUtime=1.49 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 4637 0 0 0 149 0 0 0 20 0 1 0 408102433 41721856 4331 33554432000 4194304 4935366 140731461555456 140731461553208 4365360 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 10186 4331 618 181 0 3803 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40744 KiB
Current children cumulated memory: 17324 KiB

[startup+3.10989 s]
/proc/loadavg: 2.03 2.03 2.05 3/201 19441
/proc/meminfo: memFree=24976684/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=42856 memory=19568 CPUtime=3.1 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 8508 0 0 0 310 0 0 0 20 0 1 0 408102433 43884544 4892 33554432000 4194304 4935366 140731461555456 140731461553144 4365312 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 10714 4892 618 181 0 4331 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 42856 KiB
Current children cumulated memory: 19568 KiB

[startup+6.3004 s]
/proc/loadavg: 2.03 2.03 2.05 3/201 19441
/proc/meminfo: memFree=24960484/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=52012 memory=28496 CPUtime=6.29 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 14685 0 0 0 628 1 0 0 20 0 1 0 408102433 53260288 7124 33554432000 4194304 4935366 140731461555456 140731461553144 4365354 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 13003 7124 618 181 0 6620 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 52012 KiB
Current children cumulated memory: 28496 KiB

[startup+12.7004 s]
/proc/loadavg: 2.03 2.02 2.05 3/201 19441
/proc/meminfo: memFree=24925080/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=78164 memory=54676 CPUtime=12.69 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 26288 0 0 0 1266 3 0 0 20 0 1 0 408102433 80039936 13669 33554432000 4194304 4935366 140731461555456 140731461553144 4429630 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 19541 13669 618 181 0 13158 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 78164 KiB
Current children cumulated memory: 54676 KiB

[startup+25.5004 s]
/proc/loadavg: 2.02 2.02 2.05 3/201 19442
/proc/meminfo: memFree=24818396/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=149516 memory=125800 CPUtime=25.48 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 62866 0 0 0 2541 7 0 0 20 0 1 0 408102433 153104384 31450 33554432000 4194304 4935366 140731461555456 140731461553208 4329376 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 37379 31450 618 181 0 30996 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 149516 KiB
Current children cumulated memory: 125800 KiB

[startup+51.1101 s]
/proc/loadavg: 2.02 2.02 2.05 3/202 19444
/proc/meminfo: memFree=24535088/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=382484 memory=358620 CPUtime=51.09 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 149363 0 0 0 5093 16 0 0 20 0 1 0 408102433 391663616 89655 33554432000 4194304 4935366 140731461555456 140731461553208 4461244 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 95621 89655 618 181 0 89238 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 382484 KiB
Current children cumulated memory: 358620 KiB

[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/201 19448
/proc/meminfo: memFree=24102476/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=737836 memory=714176 CPUtime=102.28 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 291001 0 0 0 10192 36 0 0 20 0 1 0 408102433 755544064 178544 33554432000 4194304 4935366 140731461555456 140731461553208 140638973593997 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 184459 178544 618 181 0 178076 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 737836 KiB
Current children cumulated memory: 714176 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 19452
/proc/meminfo: memFree=23750908/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=992668 memory=969164 CPUtime=162.27 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 421641 0 0 0 16174 53 0 0 20 0 1 0 408102433 1016492032 242291 33554432000 4194304 4935366 140731461555456 140731461553160 4365360 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 248167 242291 618 181 0 241784 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 992668 KiB
Current children cumulated memory: 969164 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 19456
/proc/meminfo: memFree=23451716/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=1201340 memory=1178048 CPUtime=222.27 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 562238 0 0 0 22159 68 0 0 20 0 1 0 408102433 1230172160 294512 33554432000 4194304 4935366 140731461555456 140731461553144 140638973592709 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 300335 294512 618 181 0 293952 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 1201340 KiB
Current children cumulated memory: 1178048 KiB

[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/199 19462
/proc/meminfo: memFree=23118092/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=1383304 memory=1358760 CPUtime=282.25 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 723537 0 0 0 28142 83 0 0 20 0 1 0 408102433 1416503296 339690 33554432000 4194304 4935366 140731461555456 140731461553144 4365325 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 345826 339690 618 181 0 339443 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 1383304 KiB
Current children cumulated memory: 1358760 KiB

[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/199 19466
/proc/meminfo: memFree=22794248/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=1571640 memory=1547188 CPUtime=342.24 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 903071 0 0 0 34126 98 0 0 20 0 1 0 408102433 1609359360 386797 33554432000 4194304 4935366 140731461555456 140731461553144 4461247 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 392910 386797 618 181 0 386527 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 1571640 KiB
Current children cumulated memory: 1547188 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 19470
/proc/meminfo: memFree=22464520/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=1699360 memory=1674984 CPUtime=402.25 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 1112619 0 0 0 40109 116 0 0 20 0 1 0 408102433 1740144640 418746 33554432000 4194304 4935366 140731461555456 140731461553208 4416390 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 424840 418746 618 181 0 418457 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 1699360 KiB
Current children cumulated memory: 1674984 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 19476
/proc/meminfo: memFree=22147676/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=1833512 memory=1808848 CPUtime=462.24 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 1320621 0 0 0 46093 131 0 0 20 0 1 0 408102433 1877516288 452212 33554432000 4194304 4935366 140731461555456 140731461553144 140638967289793 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 458378 452212 618 181 0 451995 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 1833512 KiB
Current children cumulated memory: 1808848 KiB


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

/proc/meminfo: memFree=19282064/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=3377364 memory=3353588 CPUtime=1662.09 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 8678569 0 0 0 165610 599 0 0 20 0 1 0 408102433 3458420736 838397 33554432000 4194304 4935366 140731461555456 140731461553208 4461073 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 844341 838397 618 181 0 837958 0
Current children cumulated CPU time: 1662.09 s
Current children cumulated vsize: 3377364 KiB
Current children cumulated memory: 3353588 KiB

[startup+1722.3 s]
/proc/loadavg: 2.03 2.08 2.07 3/200 19600
/proc/meminfo: memFree=19194672/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=3414272 memory=3390436 CPUtime=1722.09 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 9184127 0 0 0 171579 630 0 0 20 0 1 0 408102433 3496214528 847609 33554432000 4194304 4935366 140731461555456 140731461553144 4461244 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 853568 847609 618 181 0 847185 0
Current children cumulated CPU time: 1722.09 s
Current children cumulated vsize: 3414272 KiB
Current children cumulated memory: 3390436 KiB

[startup+1782.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/200 19604
/proc/meminfo: memFree=19042708/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=3474964 memory=3451156 CPUtime=1782.08 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 9642274 0 0 0 177548 660 0 0 20 0 1 0 408102433 3558363136 862789 33554432000 4194304 4935366 140731461555456 140731461553144 4407254 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 868741 862789 618 181 0 862358 0
Current children cumulated CPU time: 1782.08 s
Current children cumulated vsize: 3474964 KiB
Current children cumulated memory: 3451156 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/200 19608
/proc/meminfo: memFree=18930564/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=3534368 memory=3510628 CPUtime=1842.07 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 10115893 0 0 0 183517 690 0 0 20 0 1 0 408102433 3619192832 877657 33554432000 4194304 4935366 140731461555456 140731461553144 4429869 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 883592 877657 618 181 0 877209 0
Current children cumulated CPU time: 1842.07 s
Current children cumulated vsize: 3534368 KiB
Current children cumulated memory: 3510628 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 20186
/proc/meminfo: memFree=23232616/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=3581760 memory=3557952 CPUtime=1902.04 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 10635750 0 0 0 189486 718 0 0 20 0 1 0 408102433 3667722240 889488 33554432000 4194304 4935366 140731461555456 140731461553208 4429531 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 895440 889488 618 181 0 889057 0
Current children cumulated CPU time: 1902.04 s
Current children cumulated vsize: 3581760 KiB
Current children cumulated memory: 3557952 KiB

[startup+1962.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/200 20500
/proc/meminfo: memFree=23137456/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=3627692 memory=3603932 CPUtime=1962.02 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 11118300 0 0 0 195455 747 0 0 20 0 1 0 408102433 3714756608 900983 33554432000 4194304 4935366 140731461555456 140731461553208 4475620 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 906923 900983 618 181 0 900540 0
Current children cumulated CPU time: 1962.02 s
Current children cumulated vsize: 3627692 KiB
Current children cumulated memory: 3603932 KiB

[startup+2022.3 s]
/proc/loadavg: 1.96 2.02 2.04 3/199 20564
/proc/meminfo: memFree=23018528/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=3677480 memory=3653728 CPUtime=2021.99 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 11620034 0 0 0 201423 776 0 0 20 0 1 0 408102433 3765739520 913432 33554432000 4194304 4935366 140731461555456 140731461553144 4429630 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 919370 913432 618 181 0 912987 0
Current children cumulated CPU time: 2021.99 s
Current children cumulated vsize: 3677480 KiB
Current children cumulated memory: 3653728 KiB

[startup+2082.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/199 20570
/proc/meminfo: memFree=22956092/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=3729348 memory=3705676 CPUtime=2081.97 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 12127679 0 0 0 207389 808 0 0 20 0 1 0 408102433 3818852352 926419 33554432000 4194304 4935366 140731461555456 140731461553144 140638967297580 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 932337 926419 618 181 0 925954 0
Current children cumulated CPU time: 2081.97 s
Current children cumulated vsize: 3729348 KiB
Current children cumulated memory: 3705676 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 20574
/proc/meminfo: memFree=22912020/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=3763860 memory=3740104 CPUtime=2141.93 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 12593624 0 0 0 213357 836 0 0 20 0 1 0 408102433 3854192640 935026 33554432000 4194304 4935366 140731461555456 140731461553208 140638968154356 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 940965 935026 618 181 0 934582 0
Current children cumulated CPU time: 2141.93 s
Current children cumulated vsize: 3763860 KiB
Current children cumulated memory: 3740104 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 20578
/proc/meminfo: memFree=22849060/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=3813944 memory=3790244 CPUtime=2201.9 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 13100133 0 0 0 219323 867 0 0 20 0 1 0 408102433 3905478656 947561 33554432000 4194304 4935366 140731461555456 140731461553208 140638968154396 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 953486 947561 618 181 0 947103 0
Current children cumulated CPU time: 2201.9 s
Current children cumulated vsize: 3813944 KiB
Current children cumulated memory: 3790244 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 20584
/proc/meminfo: memFree=22800092/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=3853492 memory=3829800 CPUtime=2261.88 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 13603489 0 0 0 225292 896 0 0 20 0 1 0 408102433 3945975808 957450 33554432000 4194304 4935366 140731461555456 140731461553144 140638968154356 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 963373 957450 618 181 0 956990 0
Current children cumulated CPU time: 2261.88 s
Current children cumulated vsize: 3853492 KiB
Current children cumulated memory: 3829800 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 20595
/proc/meminfo: memFree=22731964/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=3912528 memory=3888840 CPUtime=2321.85 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 14126174 0 0 0 231256 929 0 0 20 0 1 0 408102433 4006428672 972210 33554432000 4194304 4935366 140731461555456 140731461553208 4461218 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 978132 972210 618 181 0 971749 0
Current children cumulated CPU time: 2321.85 s
Current children cumulated vsize: 3912528 KiB
Current children cumulated memory: 3888840 KiB

[startup+2382.3 s]
/proc/loadavg: 2.54 2.18 2.10 3/199 20599
/proc/meminfo: memFree=22662812/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=3973524 memory=3949888 CPUtime=2381.82 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 14631126 0 0 0 237222 960 0 0 20 0 1 0 408102433 4068888576 987472 33554432000 4194304 4935366 140731461555456 140731461553208 4429440 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 993381 987472 618 181 0 986998 0
Current children cumulated CPU time: 2381.82 s
Current children cumulated vsize: 3973524 KiB
Current children cumulated memory: 3949888 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.5 s]
/proc/loadavg: 2.39 2.16 2.09 3/199 20602
/proc/meminfo: memFree=22650040/32770624 swapFree=66927140/67108860
[pid=19440] ppid=19437 vsize=3985648 memory=3961964 CPUtime=2400.01 cores=0,2,4,6
/proc/19440/stat : 19440 (nacre_mini_rele) R 19437 19440 15287 0 -1 4202496 14725814 0 0 0 239034 967 0 0 20 0 1 0 408102433 4081303552 990491 33554432000 4194304 4935366 140731461555456 140731461553160 4429531 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27901952 140731461559297 140731461559397 140731461559397 140731461562306 0
/proc/19440/statm: 996412 990491 618 181 0 990029 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 3985648 KiB
Current children cumulated memory: 3961964 KiB

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

[startup+2400.69 s]
# the end of solver process 19440 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2390.35 s, system=9.86378 s

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

[startup+2400.6 s]*
/proc/loadavg: 2.39 2.16 2.09 3/199 20602
/proc/meminfo: memFree=25184484/32770624 swapFree=66927140/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 2400.69
CPU time (s): 2400.21
CPU user time (s): 2390.35
CPU system time (s): 9.86378
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 3985648
Max. memory (cumulated for all children) (KiB): 3961964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2390.35
system time used= 9.86378
maximum resident set size= 3962048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14725857
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= 284
involuntary context switches= 3007


# summary of solver processes directly reported to runsolver:
#   pid: 19440
#   total CPU time (s): 2400.21
#   total CPU user time (s): 2390.35
#   total CPU system time (s): 9.86378

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.814 second user time and 17.8189 second system time

The end

Launcher Data 

Begin job on node137 at 2019-09-12 22:01:49
IDJOB=4391484
IDBENCH=135031
IDSOLVER=2834
FILE ID=node137/4391484-1568318551
RUNJOBID= node137-1568307015-16993
PBS_JOBID= 21701103
Free space on /tmp= 61232 MiB

SOLVER NAME= NACRE 1.0.5-Hybrid
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-sptate/Pb-Tate-K109.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391484-1568318551/watcher-4391484-1568318551 -o /tmp/evaluation-result-4391484-1568318551/solver-4391484-1568318551 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568307015-16993 --watchdog 2560  nacre_mini_release HOME/instance-4391484-1568318551.xml -ca -l100 -cm

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

MD5SUM BENCH= d51c756c633143c4b9edb9b6f06ce71e
RANDOM SEED=1098704225

node137.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	: 5334.00
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	: 5334.00
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	: 5334.00
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	: 5334.00
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:        25012788 kB
MemAvailable:   30018400 kB
Buffers:          130464 kB
Cached:          5140584 kB
SwapCached:        77576 kB
Active:          3136808 kB
Inactive:        3998544 kB
Active(anon):    1788252 kB
Inactive(anon):   117536 kB
Active(file):    1348556 kB
Inactive(file):  3881008 kB
Unevictable:      108712 kB
Mlocked:          108712 kB
SwapTotal:      67108860 kB
SwapFree:       66927140 kB
Dirty:              1280 kB
Writeback:             0 kB
AnonPages:       1897528 kB
Mapped:            43516 kB
Shmem:             32672 kB
Slab:             212668 kB
SReclaimable:     183764 kB
SUnreclaim:        28904 kB
KernelStack:        3600 kB
PageTables:         8748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2312232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    651264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61232 MiB
End job on node137 at 2019-09-12 22:41:49