Trace number 4391505

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.31 2402.51

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-sptate/
Pb-Tate-K105.xml
MD5SUM97ecf18ee478429776da5a0579fdf50d
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 benchmark107.681
Satisfiable
(Un)Satisfiability was proved
Number of variables7140
Number of constraints7352
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":7140}]
Minimum variable degree3
Maximum variable degree10
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":182},{"degree":5,"count":1264},{"degree":6,"count":2798},{"degree":7,"count":1757},{"degree":8,"count":724},{"degree":9,"count":208},{"degree":10,"count":206}]
Minimum constraint arity1
Maximum constraint arity105
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":1352},{"arity":3,"count":2808},{"arity":4,"count":1872},{"arity":5,"count":624},{"arity":6,"count":208},{"arity":7,"count":208},{"arity":68,"count":210},{"arity":105,"count":68}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":7352}]
Optimization problemNO
Type of objective

Solver Data 

0.10/0.16	c NACRE 1.0.5
2400.09/2400.30	c
2400.09/2400.30	c # time = 2400.09
2400.09/2400.30	c # Dec = 3878863
2400.09/2400.30	c # Propagate Calls = 1256174957
2400.09/2400.30	c # assignAt Calls = 27202358
2400.09/2400.30	c # removeAt Calls = 499709055
2400.09/2400.30	c # Run = 1819
2400.09/2400.30	c # Conflicts = 854449

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391505-1568319149/watcher-4391505-1568319149 -o /tmp/evaluation-result-4391505-1568319149/solver-4391505-1568319149 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568301555-23461 --watchdog 2560 nacre_mini_release HOME/instance-4391505-1568319149.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=27345, runsolver pid=27342
Current StackSize limit: 8192 KiB


[startup+0.100202 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 27346
/proc/meminfo: memFree=27176532/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=37144 memory=13576 CPUtime=0.1 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 3675 0 0 0 10 0 0 0 20 0 1 0 408182724 38035456 3394 33554432000 4194304 4935366 140722797774464 140722797771464 139747022363621 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 9286 3394 581 181 0 2903 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37144 KiB
Current children cumulated memory: 13576 KiB

[startup+0.209919 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 27346
/proc/meminfo: memFree=27174300/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=39340 memory=15688 CPUtime=0.21 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 4244 0 0 0 21 0 0 0 20 0 1 0 408182724 40284160 3922 33554432000 4194304 4935366 140722797774464 140722797771464 139747023225245 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 9835 3922 593 181 0 3452 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39340 KiB
Current children cumulated memory: 15688 KiB

[startup+0.309905 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 27346
/proc/meminfo: memFree=27173556/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=39340 memory=15952 CPUtime=0.31 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 4273 0 0 0 31 0 0 0 20 0 1 0 408182724 40284160 3988 33554432000 4194304 4935366 140722797774464 140722797771464 4365325 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 9835 3988 604 181 0 3452 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39340 KiB
Current children cumulated memory: 15952 KiB

[startup+0.700399 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27346
/proc/meminfo: memFree=27173132/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=39340 memory=15952 CPUtime=0.69 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 4280 0 0 0 69 0 0 0 20 0 1 0 408182724 40284160 3988 33554432000 4194304 4935366 140722797774464 140722797772584 4365342 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 9835 3988 604 181 0 3452 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39340 KiB
Current children cumulated memory: 15952 KiB

[startup+1.50042 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27346
/proc/meminfo: memFree=27172164/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=40660 memory=17272 CPUtime=1.49 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 4587 0 0 0 149 0 0 0 20 0 1 0 408182724 41635840 4318 33554432000 4194304 4935366 140722797774464 140722797772584 4329472 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 10165 4318 618 181 0 3782 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40660 KiB
Current children cumulated memory: 17272 KiB

[startup+3.10993 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 27348
/proc/meminfo: memFree=27164072/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=45020 memory=21484 CPUtime=3.1 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 9114 0 0 0 310 0 0 0 20 0 1 0 408182724 46100480 5371 33554432000 4194304 4935366 140722797774464 140722797772152 4365360 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 11255 5371 618 181 0 4872 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 45020 KiB
Current children cumulated memory: 21484 KiB

[startup+6.30041 s]
/proc/loadavg: 1.84 1.98 2.03 3/201 27348
/proc/meminfo: memFree=27146556/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=59596 memory=36104 CPUtime=6.29 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 16845 0 0 0 628 1 0 0 20 0 1 0 408182724 61026304 9026 33554432000 4194304 4935366 140722797774464 140722797772152 139747022363621 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 14899 9026 618 181 0 8516 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 59596 KiB
Current children cumulated memory: 36104 KiB

[startup+12.7004 s]
/proc/loadavg: 1.86 1.98 2.03 3/200 27348
/proc/meminfo: memFree=27097000/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=96000 memory=72512 CPUtime=12.68 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 31799 0 0 0 1265 3 0 0 20 0 1 0 408182724 98304000 18128 33554432000 4194304 4935366 140722797774464 140722797772152 4450336 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 24000 18128 618 181 0 17617 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 96000 KiB
Current children cumulated memory: 72512 KiB

[startup+25.5005 s]
/proc/loadavg: 1.89 1.98 2.03 3/200 27348
/proc/meminfo: memFree=26991440/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=175112 memory=151620 CPUtime=25.48 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 74774 0 0 0 2540 8 0 0 20 0 1 0 408182724 179314688 37905 33554432000 4194304 4935366 140722797774464 140722797772152 4450265 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 43778 37905 618 181 0 37395 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 175112 KiB
Current children cumulated memory: 151620 KiB

[startup+51.11 s]
/proc/loadavg: 1.93 1.99 2.03 3/200 27350
/proc/meminfo: memFree=26733896/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=340156 memory=316180 CPUtime=51.09 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 142938 0 0 0 5090 19 0 0 20 0 1 0 408182724 348319744 79045 33554432000 4194304 4935366 140722797774464 140722797772152 4460991 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 85039 79045 618 181 0 78656 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 340156 KiB
Current children cumulated memory: 316180 KiB

[startup+102.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/200 27354
/proc/meminfo: memFree=26252996/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=690316 memory=666568 CPUtime=102.28 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 281000 0 0 0 10188 40 0 0 20 0 1 0 408182724 706883584 166642 33554432000 4194304 4935366 140722797774464 140722797772152 4365360 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 172579 166642 618 181 0 166196 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 690316 KiB
Current children cumulated memory: 666568 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/200 27358
/proc/meminfo: memFree=25828044/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=975480 memory=951992 CPUtime=162.27 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 413626 0 0 0 16170 57 0 0 20 0 1 0 408182724 998891520 237998 33554432000 4194304 4935366 140722797774464 140722797772152 139747023219067 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 243870 237998 618 181 0 237487 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 975480 KiB
Current children cumulated memory: 951992 KiB

[startup+222.3 s]
/proc/loadavg: 2.22 2.03 2.05 3/199 27362
/proc/meminfo: memFree=25518520/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=1197596 memory=1174232 CPUtime=222.26 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 544775 0 0 0 22153 73 0 0 20 0 1 0 408182724 1226338304 293558 33554432000 4194304 4935366 140722797774464 140722797772152 4424248 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 299399 293558 618 181 0 293016 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 1197596 KiB
Current children cumulated memory: 1174232 KiB

[startup+282.3 s]
/proc/loadavg: 2.37 2.13 2.08 3/199 27368
/proc/meminfo: memFree=25230492/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=1373692 memory=1349176 CPUtime=282.25 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 704324 0 0 0 28136 89 0 0 20 0 1 0 408182724 1406660608 337294 33554432000 4194304 4935366 140722797774464 140722797772216 4461069 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 343423 337294 618 181 0 337040 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 1373692 KiB
Current children cumulated memory: 1349176 KiB

[startup+342.3 s]
/proc/loadavg: 2.14 2.11 2.08 3/199 27372
/proc/meminfo: memFree=24929744/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=1558016 memory=1533632 CPUtime=342.23 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 897697 0 0 0 34115 108 0 0 20 0 1 0 408182724 1595408384 383408 33554432000 4194304 4935366 140722797774464 140722797772216 4429531 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 389504 383408 618 181 0 383121 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 1558016 KiB
Current children cumulated memory: 1533632 KiB

[startup+402.3 s]
/proc/loadavg: 2.05 2.09 2.07 3/199 27376
/proc/meminfo: memFree=24657936/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=1722016 memory=1697668 CPUtime=402.23 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 1102280 0 0 0 40097 126 0 0 20 0 1 0 408182724 1763344384 424417 33554432000 4194304 4935366 140722797774464 140722797772152 4461069 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 430504 424417 618 181 0 424121 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 1722016 KiB
Current children cumulated memory: 1697668 KiB

[startup+462.3 s]
/proc/loadavg: 2.02 2.07 2.06 3/199 27382
/proc/meminfo: memFree=24433528/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=1844760 memory=1820512 CPUtime=462.22 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 1316124 0 0 0 46077 145 0 0 20 0 1 0 408182724 1889034240 455128 33554432000 4194304 4935366 140722797774464 140722797772216 4365360 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 461190 455128 618 181 0 454807 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 1844760 KiB
Current children cumulated memory: 1820512 KiB


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

Current children cumulated vsize: 3530124 KiB
Current children cumulated memory: 3506320 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27522
/proc/meminfo: memFree=21172428/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=3592340 memory=3568668 CPUtime=1902.18 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 10773662 0 0 0 189437 781 0 0 20 0 1 0 408182724 3678556160 892167 33554432000 4194304 4935366 140722797774464 140722797772216 4407290 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 898085 892167 618 181 0 891702 0
Current children cumulated CPU time: 1902.18 s
Current children cumulated vsize: 3592340 KiB
Current children cumulated memory: 3568668 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27526
/proc/meminfo: memFree=21078800/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=3662176 memory=3638388 CPUtime=1962.17 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 11305322 0 0 0 195401 816 0 0 20 0 1 0 408182724 3750068224 909597 33554432000 4194304 4935366 140722797774464 140722797772152 4462502 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 915544 909597 618 181 0 909161 0
Current children cumulated CPU time: 1962.17 s
Current children cumulated vsize: 3662176 KiB
Current children cumulated memory: 3638388 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27530
/proc/meminfo: memFree=20994972/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=3693116 memory=3669304 CPUtime=2022.17 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 11849031 0 0 0 201367 850 0 0 20 0 1 0 408182724 3781750784 917326 33554432000 4194304 4935366 140722797774464 140722797772152 139747023219083 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 923279 917326 618 181 0 916896 0
Current children cumulated CPU time: 2022.17 s
Current children cumulated vsize: 3693116 KiB
Current children cumulated memory: 3669304 KiB

[startup+2082.3 s]
/proc/loadavg: 2.13 2.04 2.05 3/199 27853
/proc/meminfo: memFree=24955048/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=3721084 memory=3697312 CPUtime=2082.16 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 12359390 0 0 0 207336 880 0 0 20 0 1 0 408182724 3810390016 924328 33554432000 4194304 4935366 140722797774464 140722797772216 139747023218988 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 930271 924328 618 181 0 923888 0
Current children cumulated CPU time: 2082.16 s
Current children cumulated vsize: 3721084 KiB
Current children cumulated memory: 3697312 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 28173
/proc/meminfo: memFree=24857084/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=3814164 memory=3790448 CPUtime=2142.15 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 12912332 0 0 0 213299 916 0 0 20 0 1 0 408182724 3905703936 947612 33554432000 4194304 4935366 140722797774464 140722797772168 4461227 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 953541 947612 618 181 0 947158 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 3814164 KiB
Current children cumulated memory: 3790448 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/199 28237
/proc/meminfo: memFree=24750404/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=3846944 memory=3823184 CPUtime=2202.13 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 13461887 0 0 0 219261 952 0 0 20 0 1 0 408182724 3939270656 955796 33554432000 4194304 4935366 140722797774464 140722797772216 4461250 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 961736 955796 618 181 0 955353 0
Current children cumulated CPU time: 2202.13 s
Current children cumulated vsize: 3846944 KiB
Current children cumulated memory: 3823184 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28365
/proc/meminfo: memFree=24825084/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=3883208 memory=3859384 CPUtime=2262.12 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 13990861 0 0 0 225228 984 0 0 20 0 1 0 408182724 3976404992 964846 33554432000 4194304 4935366 140722797774464 140722797772216 4461216 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 970802 964846 618 181 0 964419 0
Current children cumulated CPU time: 2262.12 s
Current children cumulated vsize: 3883208 KiB
Current children cumulated memory: 3859384 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28377
/proc/meminfo: memFree=24753248/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=3926124 memory=3902268 CPUtime=2322.11 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 14536986 0 0 0 231195 1016 0 0 20 0 1 0 408182724 4020350976 975567 33554432000 4194304 4935366 140722797774464 140722797772216 4460991 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 981531 975567 618 181 0 975148 0
Current children cumulated CPU time: 2322.11 s
Current children cumulated vsize: 3926124 KiB
Current children cumulated memory: 3902268 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28381
/proc/meminfo: memFree=24647524/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=4020312 memory=3995252 CPUtime=2382.1 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 15130256 0 0 0 237156 1054 0 0 20 0 1 0 408182724 4116799488 998813 33554432000 4194304 4935366 140722797774464 140722797772216 4429252 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 1005078 998813 618 181 0 998695 0
Current children cumulated CPU time: 2382.1 s
Current children cumulated vsize: 4020312 KiB
Current children cumulated memory: 3995252 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28383
/proc/meminfo: memFree=24631372/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=4031836 memory=4006652 CPUtime=2400.09 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) R 27342 27345 11220 0 -1 4202496 15239032 0 0 0 238947 1062 0 0 20 0 1 0 408182724 4128600064 1001663 33554432000 4194304 4935366 140722797774464 140722797772216 4429531 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 1007959 1001663 618 181 0 1001576 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 4031836 KiB
Current children cumulated memory: 4006652 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+2402.51 s]
# the end of solver process 27345 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2389.47 s, system=10.8395 s

Solver just ended.
Dumping a history of the last processes samples

[startup+2401.6 s]
/proc/loadavg: 2.00 2.01 2.05 2/200 28383
/proc/meminfo: memFree=24630876/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=4031836 memory=4006652 CPUtime=2400.09 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) S 27342 27345 11220 0 -1 1077944320 15239061 0 0 0 238947 1062 0 0 20 0 1 0 408182724 4128600064 1001663 33554432000 4194304 4935366 140722797774464 140722797770808 139747022917884 0 16384 4096 24578 18446744071579849748 0 0 17 4 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 1007959 1001663 618 181 0 1001576 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 4031836 KiB
Current children cumulated memory: 4006652 KiB

[startup+2402 s]*
/proc/loadavg: 2.00 2.01 2.05 2/200 28383
/proc/meminfo: memFree=24630752/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=4031836 memory=4006652 CPUtime=2400.09 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) S 27342 27345 11220 0 -1 1077944320 15239061 0 0 0 238947 1062 0 0 20 0 1 0 408182724 4128600064 1001663 33554432000 4194304 4935366 140722797774464 140722797770808 139747022917884 0 16384 4096 24578 18446744071579849748 0 0 17 4 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 1007959 1001663 618 181 0 1001576 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 4031836 KiB
Current children cumulated memory: 4006652 KiB

[startup+2402.2 s]
/proc/loadavg: 2.00 2.01 2.05 2/200 28383
/proc/meminfo: memFree=24630752/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=4031836 memory=4006652 CPUtime=2400.09 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) S 27342 27345 11220 0 -1 1077944320 15239061 0 0 0 238947 1062 0 0 20 0 1 0 408182724 4128600064 1001663 33554432000 4194304 4935366 140722797774464 140722797770808 139747022917884 0 16384 4096 24578 18446744071579849748 0 0 17 4 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 1007959 1001663 618 181 0 1001576 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 4031836 KiB
Current children cumulated memory: 4006652 KiB

[startup+2402.3 s]
/proc/loadavg: 2.00 2.01 2.05 2/200 28383
/proc/meminfo: memFree=24630752/32770624 swapFree=67004752/67108860
[pid=27345] ppid=27342 vsize=4031836 memory=4006652 CPUtime=2400.09 cores=0,2,4,6
/proc/27345/stat : 27345 (nacre_mini_rele) S 27342 27345 11220 0 -1 1077944320 15239061 0 0 0 238947 1062 0 0 20 0 1 0 408182724 4128600064 1001663 33554432000 4194304 4935366 140722797774464 140722797770808 139747022917884 0 16384 4096 24578 18446744071579849748 0 0 17 4 0 0 0 0 0 7034520 7039168 13807616 140722797782017 140722797782117 140722797782117 140722797785026 0
/proc/27345/statm: 1007959 1001663 618 181 0 1001576 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 4031836 KiB
Current children cumulated memory: 4006652 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 2402.51
CPU time (s): 2400.31
CPU user time (s): 2389.47
CPU system time (s): 10.8395
CPU usage (%): 99.9084
Max. virtual memory (cumulated for all children) (KiB): 4031836
Max. memory (cumulated for all children) (KiB): 4006652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2389.47
system time used= 10.8395
maximum resident set size= 4006736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15239061
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= 150
involuntary context switches= 2440


# summary of solver processes directly reported to runsolver:
#   pid: 27345
#   total CPU time (s): 2400.31
#   total CPU user time (s): 2389.47
#   total CPU system time (s): 10.8395

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9172 second user time and 13.2741 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-12 22:11:52
IDJOB=4391505
IDBENCH=135047
IDSOLVER=2834
FILE ID=node126/4391505-1568319149
RUNJOBID= node126-1568301555-23461
PBS_JOBID= 21701113
Free space on /tmp= 55384 MiB

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

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

MD5SUM BENCH= 97ecf18ee478429776da5a0579fdf50d
RANDOM SEED=966902765

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27186652 kB
MemAvailable:   30350712 kB
Buffers:          115668 kB
Cached:          3299264 kB
SwapCached:         2860 kB
Active:          3343256 kB
Inactive:        1591148 kB
Active(anon):    1517716 kB
Inactive(anon):    43292 kB
Active(file):    1825540 kB
Inactive(file):  1547856 kB
Unevictable:      109112 kB
Mlocked:          109112 kB
SwapTotal:      67108860 kB
SwapFree:       67004752 kB
Dirty:              1192 kB
Writeback:             4 kB
AnonPages:       1626424 kB
Mapped:            44328 kB
Shmem:             32816 kB
Slab:             242672 kB
SReclaimable:     213000 kB
SUnreclaim:        29672 kB
KernelStack:        3584 kB
PageTables:         7992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2042088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 55384 MiB
End job on node126 at 2019-09-12 22:51:54