Trace number 4087891

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
cdcl-cuttingplanes OPT binary search 2016-05-01? (TO) 1800.03 1800.32

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_10null0mast_rapportOE2.0_TMAX60_K67_cod1.opb
MD5SUM517c70a04642760d1320984a69d9942b
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-256
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40451
Total number of constraints40950
Number of constraints which are clauses40396
Number of constraints which are cardinality constraints (but not clauses)553
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint40128
Number of terms in the objective function 28908
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 98472
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 128
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 147174
Number of bits of the biggest sum of numbers18
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c OPTIONS:
0.00/0.01	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.08/0.11	c * #variable= 40451 #constraint= 40950
0.18/0.28	c * #variable= 40451 #constraint= 40950
37.29/37.33	c #Conflicts:       1000 | #Learnt:        999 | 0.000
37.29/37.33	c total clause space: 545.701MB
37.29/37.33	c total #watches: 12096105
132.97/133.07	c total #propagations: 6955682 / total #impl: 666140854 (eff. 0.010)
132.97/133.07	c #Conflicts:       2000 | #Learnt:       1999 | 0.000
132.97/133.07	c total clause space: 886.764MB
132.97/133.07	c total #watches: 24080016
279.74/279.83	c total #propagations: 11234232 / total #impl: 1470940679 (eff. 0.008)
279.74/279.83	c GC COLLECT
279.74/279.83	c #Conflicts:       3000 | #Learnt:       2011 | 0.759
279.74/279.83	c total clause space: 886.764MB
279.74/279.83	c total #watches: 23142433
587.79/587.96	c total #propagations: 15321598 / total #impl: 2184240761 (eff. 0.007)
587.79/587.96	c #Conflicts:       4000 | #Learnt:       3011 | 0.572
587.79/587.96	c total clause space: 1440.99MB
587.79/587.96	c total #watches: 35874352
1227.79/1228.04	c total #propagations: 18055690 / total #impl: 3628502727 (eff. 0.005)
1227.79/1228.04	c GC COLLECT
1227.79/1228.04	c #Conflicts:       5000 | #Learnt:       2371 | 0.469
1227.79/1228.04	c total clause space: 1440.99MB
1227.79/1228.04	c total #watches: 31293371

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4087891-1465443200/watcher-4087891-1465443200 -o /tmp/evaluation-result-4087891-1465443200/solver-4087891-1465443200 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1465436025-438 --watchdog 1960 --input HOME/instance-4087891-1465443200.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=1636
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.19 2.20 2.18 3/176 1640
/proc/meminfo: memFree=28945612/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=55976 CPUtime=0 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 252 0 0 0 0 0 0 0 20 0 1 0 126253025 57319424 5243 33554432000 4194304 6211289 140736219960224 140736638259336 4206563 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 13994 5243 98 493 0 13491 0

[startup+0.10021 s]
/proc/loadavg: 2.19 2.20 2.18 3/176 1640
/proc/meminfo: memFree=28945612/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=61748 CPUtime=0.08 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 2016 0 0 0 8 0 0 0 20 0 1 0 126253025 63229952 12090 33554432000 4194304 6211289 140736219960224 140736638259336 5116416 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 15437 12090 121 493 0 14934 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 61748

[startup+0.200342 s]
/proc/loadavg: 2.19 2.20 2.18 3/176 1640
/proc/meminfo: memFree=28945612/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=72420 CPUtime=0.18 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 3882 0 0 0 17 1 0 0 20 0 1 0 126253025 74158080 15904 33554432000 4194304 6211289 140736219960224 140736638259336 4763479 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 18105 15904 144 493 0 17602 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 72420

[startup+0.300296 s]
/proc/loadavg: 2.19 2.20 2.18 3/176 1640
/proc/meminfo: memFree=28945612/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=84756 CPUtime=0.29 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 5835 0 0 0 27 2 0 0 20 0 1 0 126253025 86790144 18206 33554432000 4194304 6211289 140736219960224 140736638259336 4228081 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 21189 18207 144 493 0 20686 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84756

[startup+0.700281 s]
/proc/loadavg: 2.19 2.20 2.18 3/176 1640
/proc/meminfo: memFree=28945612/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=94808 CPUtime=0.69 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 7296 0 0 0 67 2 0 0 20 0 1 0 126253025 97083392 21200 33554432000 4194304 6211289 140736219960224 140736219957688 4201970 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 23702 21200 150 493 0 23199 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 94808

[startup+1.50029 s]
/proc/loadavg: 2.19 2.20 2.18 3/177 1641
/proc/meminfo: memFree=28854056/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=115460 CPUtime=1.49 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 7910 0 0 0 147 2 0 0 20 0 1 0 126253025 118231040 23846 33554432000 4194304 6211289 140736219960224 140736219958456 4241789 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 28865 23846 150 493 0 28362 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 115460

[startup+3.10028 s]
/proc/loadavg: 2.19 2.20 2.18 3/177 1641
/proc/meminfo: memFree=28839840/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=137124 CPUtime=3.09 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 8683 0 0 0 306 3 0 0 20 0 1 0 126253025 140414976 26659 33554432000 4194304 6211289 140736219960224 140736219958216 4241789 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 34281 26659 150 493 0 33778 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 137124

[startup+6.30027 s]
/proc/loadavg: 2.17 2.20 2.18 3/177 1641
/proc/meminfo: memFree=28801932/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=184172 CPUtime=6.29 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 13025 0 0 0 625 4 0 0 20 0 1 0 126253025 188592128 41202 33554432000 4194304 6211289 140736219960224 140736219958136 4201956 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 46043 41202 150 493 0 45540 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 184172

[startup+12.7003 s]
/proc/loadavg: 2.16 2.19 2.18 3/177 1641
/proc/meminfo: memFree=28671016/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=353484 CPUtime=12.68 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 22874 0 0 0 1262 6 0 0 20 0 1 0 126253025 361967616 69946 33554432000 4194304 6211289 140736219960224 140736219958216 4209384 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 88371 69946 150 493 0 87868 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 353484

[startup+25.5004 s]
/proc/loadavg: 2.20 2.20 2.18 4/177 1641
/proc/meminfo: memFree=28483884/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=528440 CPUtime=25.48 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 33813 0 0 0 2538 10 0 0 20 0 1 0 126253025 541122560 115119 33554432000 4194304 6211289 140736219960224 140736219958136 4241730 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 132110 115119 150 493 0 131607 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 528440

[startup+51.1004 s]
/proc/loadavg: 2.19 2.20 2.18 3/177 1641
/proc/meminfo: memFree=28196684/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=831748 CPUtime=51.09 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 56249 0 0 0 5090 19 0 0 20 0 1 0 126253025 851709952 188138 33554432000 4194304 6211289 140736219960224 140736219958136 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 207937 188138 160 493 0 207434 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 831748

[startup+102.3 s]
/proc/loadavg: 2.15 2.19 2.18 3/177 1642
/proc/meminfo: memFree=27935352/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=1242760 CPUtime=102.28 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 70750 0 0 0 10204 24 0 0 20 0 1 0 126253025 1272586240 249648 33554432000 4194304 6211289 140736219960224 140736219958216 4209376 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 310690 249648 160 493 0 310187 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1242760

[startup+162.3 s]
/proc/loadavg: 2.17 2.19 2.18 4/177 1643
/proc/meminfo: memFree=27828548/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=1243232 CPUtime=162.26 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 76432 0 0 0 16200 26 0 0 20 0 1 0 126253025 1273069568 271552 33554432000 4194304 6211289 140736219960224 140736219958568 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 310808 271552 160 493 0 310305 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1243232

[startup+222.307 s]
/proc/loadavg: 2.12 2.17 2.17 3/177 1644
/proc/meminfo: memFree=27803328/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=1243232 CPUtime=222.27 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 76538 0 0 0 22200 27 0 0 20 0 1 0 126253025 1273069568 271658 33554432000 4194304 6211289 140736219960224 140736219958568 4209376 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 310808 271658 165 493 0 310305 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 1243232

[startup+282.3 s]
/proc/loadavg: 2.22 2.18 2.18 3/176 1692
/proc/meminfo: memFree=28614252/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=1244616 CPUtime=282.24 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 76877 0 0 0 28197 27 0 0 20 0 1 0 126253025 1274486784 271997 33554432000 4194304 6211289 140736219960224 140736219958568 4209376 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 311154 271997 165 493 0 310651 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1244616

[startup+342.3 s]
/proc/loadavg: 2.22 2.19 2.18 3/177 1694
/proc/meminfo: memFree=28427504/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=1295444 CPUtime=342.24 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 87443 0 0 0 34193 31 0 0 20 0 1 0 126253025 1326534656 316327 33554432000 4194304 6211289 140736219960224 140736219958216 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 323861 316327 165 493 0 323358 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1295444

[startup+402.3 s]
/proc/loadavg: 2.17 2.18 2.18 3/178 1698
/proc/meminfo: memFree=28326324/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=1898336 CPUtime=402.22 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 95075 0 0 0 40185 37 0 0 20 0 1 0 126253025 1943896064 339795 33554432000 4194304 6211289 140736219960224 140736219958216 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 474584 339795 165 493 0 474081 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1898336

[startup+462.3 s]
/proc/loadavg: 2.14 2.17 2.18 3/177 1699
/proc/meminfo: memFree=28272260/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=1899280 CPUtime=462.21 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 95838 0 0 0 46183 38 0 0 20 0 1 0 126253025 1944862720 352311 33554432000 4194304 6211289 140736219960224 140736219958136 4209392 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 474820 352311 165 493 0 474317 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1899280

[startup+522.3 s]
/proc/loadavg: 2.16 2.17 2.17 3/177 1700
/proc/meminfo: memFree=28176428/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=1927252 CPUtime=522.21 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 101815 0 0 0 52181 40 0 0 20 0 1 0 126253025 1973506048 375763 33554432000 4194304 6211289 140736219960224 140736219958136 4209384 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 481813 375763 165 493 0 481310 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1927252

[startup+582.3 s]
/proc/loadavg: 2.18 2.17 2.17 3/177 1701
/proc/meminfo: memFree=28030452/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=2022828 CPUtime=582.19 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 120286 0 0 0 58177 42 0 0 20 0 1 0 126253025 2071375872 412231 33554432000 4194304 6211289 140736219960224 140736219958216 4209396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 505707 412231 165 493 0 505204 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 2022828


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


[startup+942.3 s]
/proc/loadavg: 1.21 1.59 1.92 2/170 1742
/proc/meminfo: memFree=28054260/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=2061616 CPUtime=942.14 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 129979 0 0 0 94168 46 0 0 20 0 1 0 126253025 2111094784 453590 33554432000 4194304 6211289 140736219960224 140736219958136 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 515404 453590 165 493 0 514901 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 2061616

[startup+1002.3 s]
/proc/loadavg: 1.17 1.51 1.87 2/171 1746
/proc/meminfo: memFree=28054668/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=2061616 CPUtime=1002.13 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 129980 0 0 0 100167 46 0 0 20 0 1 0 126253025 2111094784 453590 33554432000 4194304 6211289 140736219960224 140736219958136 4209396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 515404 453590 165 493 0 514901 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 2061616

[startup+1062.3 s]
/proc/loadavg: 1.23 1.46 1.83 2/170 1747
/proc/meminfo: memFree=28054388/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=2061616 CPUtime=1062.12 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 129980 0 0 0 106166 46 0 0 20 0 1 0 126253025 2111094784 453590 33554432000 4194304 6211289 140736219960224 140736219958136 4209392 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 515404 453590 165 493 0 514901 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 2061616

[startup+1122.3 s]
/proc/loadavg: 1.14 1.39 1.78 3/170 1749
/proc/meminfo: memFree=28054204/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=2062160 CPUtime=1122.11 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 130192 0 0 0 112165 46 0 0 20 0 1 0 126253025 2111651840 453802 33554432000 4194304 6211289 140736219960224 140736219958216 4209396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 515540 453802 165 493 0 515037 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 2062160

[startup+1182.3 s]
/proc/loadavg: 1.16 1.36 1.74 3/170 1750
/proc/meminfo: memFree=28053708/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=2063100 CPUtime=1182.1 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 130400 0 0 0 118164 46 0 0 20 0 1 0 126253025 2112614400 454010 33554432000 4194304 6211289 140736219960224 140736219958136 4215223 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 515775 454010 165 493 0 515272 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 2063100

[startup+1242.3 s]
/proc/loadavg: 1.23 1.35 1.71 2/170 1752
/proc/meminfo: memFree=28053336/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=2063460 CPUtime=1242.09 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 130490 0 0 0 124163 46 0 0 20 0 1 0 126253025 2112983040 454100 33554432000 4194304 6211289 140736219960224 140736219958568 4209392 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 515865 454100 165 493 0 515362 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 2063460

[startup+1302.3 s]
/proc/loadavg: 1.21 1.33 1.68 2/170 1753
/proc/meminfo: memFree=28053172/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=2063460 CPUtime=1302.08 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 130521 0 0 0 130162 46 0 0 20 0 1 0 126253025 2112983040 454131 33554432000 4194304 6211289 140736219960224 140736219958568 4209380 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 515865 454131 165 493 0 515362 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 2063460

[startup+1362.3 s]
/proc/loadavg: 1.26 1.32 1.66 2/170 1754
/proc/meminfo: memFree=28052880/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=2063460 CPUtime=1362.07 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 130521 0 0 0 136161 46 0 0 20 0 1 0 126253025 2112983040 454131 33554432000 4194304 6211289 140736219960224 140736219958568 4209396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 515865 454131 165 493 0 515362 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 2063460

[startup+1422.3 s]
/proc/loadavg: 1.20 1.29 1.62 2/170 1755
/proc/meminfo: memFree=28052384/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=2063840 CPUtime=1422.06 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 130612 0 0 0 142160 46 0 0 20 0 1 0 126253025 2113372160 454222 33554432000 4194304 6211289 140736219960224 140736219958216 4209392 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 515960 454222 165 493 0 515457 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 2063840

[startup+1482.3 s]
/proc/loadavg: 1.22 1.28 1.60 2/170 1756
/proc/meminfo: memFree=28051232/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=2064236 CPUtime=1482.05 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 130830 0 0 0 148159 46 0 0 20 0 1 0 126253025 2113777664 454440 33554432000 4194304 6211289 140736219960224 140736219958136 4209396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 516059 454440 165 493 0 515556 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 2064236

[startup+1542.31 s]
/proc/loadavg: 1.12 1.24 1.56 2/170 1758
/proc/meminfo: memFree=28050508/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=2064556 CPUtime=1542.05 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 131020 0 0 0 154159 46 0 0 20 0 1 0 126253025 2114105344 454630 33554432000 4194304 6211289 140736219960224 140736219958216 4209380 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 516139 454630 165 493 0 515636 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 2064556

[startup+1602.3 s]
/proc/loadavg: 1.15 1.23 1.54 2/171 1763
/proc/meminfo: memFree=28004436/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=2064812 CPUtime=1602.03 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 131261 0 0 0 160156 47 0 0 20 0 1 0 126253025 2114367488 466113 33554432000 4194304 6211289 140736219960224 140736219958216 4209403 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 516203 466113 165 493 0 515700 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 2064812

[startup+1662.3 s]
/proc/loadavg: 1.11 1.20 1.51 2/171 1787
/proc/meminfo: memFree=27986472/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=2064960 CPUtime=1662.02 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 131415 0 0 0 166155 47 0 0 20 0 1 0 126253025 2114519040 470355 33554432000 4194304 6211289 140736219960224 140736219958136 4209376 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 516240 470355 165 493 0 515737 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 2064960

[startup+1722.3 s]
/proc/loadavg: 1.14 1.19 1.48 2/170 1788
/proc/meminfo: memFree=27955936/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=2064960 CPUtime=1722.02 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 131585 0 0 0 172154 48 0 0 20 0 1 0 126253025 2114519040 478190 33554432000 4194304 6211289 140736219960224 140736219958136 4209384 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 516240 478190 165 493 0 515737 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 2064960

[startup+1782.3 s]
/proc/loadavg: 1.25 1.21 1.47 2/170 1789
/proc/meminfo: memFree=27927272/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=2065192 CPUtime=1782.01 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 131698 0 0 0 178152 49 0 0 20 0 1 0 126253025 2114756608 485457 33554432000 4194304 6211289 140736219960224 140736219958216 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 516298 485457 165 493 0 515795 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 2065192



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 1.18 1.20 1.46 2/170 1789
/proc/meminfo: memFree=27895436/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=2065580 CPUtime=1800 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 132062 0 0 0 179951 49 0 0 20 0 1 0 126253025 2115153920 493486 33554432000 4194304 6211289 140736219960224 140736219958216 4209376 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 516395 493486 165 493 0 515892 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 2065580

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 1640 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 1.18 1.20 1.46 2/170 1789
/proc/meminfo: memFree=27895436/32872528 swapFree=14956/1314940
[pid=1640] ppid=1636 vsize=2065580 CPUtime=1800 cores=0,2,4,6
/proc/1640/stat : 1640 (cdcl-cuttingpla) R 1636 1640 32157 0 -1 4202496 132062 0 0 0 179951 49 0 0 20 0 1 0 126253025 2115153920 493486 33554432000 4194304 6211289 140736219960224 140736219958216 4209376 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/1640/statm: 516395 493486 165 493 0 515892 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 2065580

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.32
CPU time (s): 1800.03
CPU user time (s): 1799.52
CPU system time (s): 0.509922
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 2065580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.509922
maximum resident set size= 1973944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132062
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= 18
involuntary context switches= 2017

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.82127 second user time and 6.38203 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-09 05:33:21
IDJOB=4087891
IDBENCH=90800
IDSOLVER=2549
FILE ID=node131/4087891-1465443200
RUNJOBID= node131-1465436025-438
PBS_JOBID= 19859781
Free space on /tmp= 71732 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null0mast_rapportOE2.0_TMAX60_K67_cod1.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087891-1465443200/watcher-4087891-1465443200 -o /tmp/evaluation-result-4087891-1465443200/solver-4087891-1465443200 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1465436025-438 --watchdog 1960 --input HOME/instance-4087891-1465443200.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 517c70a04642760d1320984a69d9942b
RANDOM SEED=1595001780

node131.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.79
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
cpu MHz		: 2666.395
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 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 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 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
cpu MHz		: 2666.395
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 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 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 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	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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 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 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 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
cpu MHz		: 2666.395
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 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 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 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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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 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 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 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
cpu MHz		: 2666.395
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 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 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 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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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 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 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 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:       32872528 kB
MemFree:        28946296 kB
Buffers:          223024 kB
Cached:           674012 kB
SwapCached:         4708 kB
Active:          1216360 kB
Inactive:         609236 kB
Active(anon):     924968 kB
Inactive(anon):     5604 kB
Active(file):     291392 kB
Inactive(file):   603632 kB
Unevictable:     1314940 kB
Mlocked:           14956 kB
SwapTotal:      67108856 kB
SwapFree:       67096240 kB
Dirty:              5056 kB
Writeback:             0 kB
AnonPages:       2358996 kB
Mapped:             9044 kB
Shmem:                 0 kB
Slab:             650696 kB
SReclaimable:      94824 kB
SUnreclaim:       555872 kB
KernelStack:        1472 kB
PageTables:         8544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2462880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1933312 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node131 at 2016-06-09 06:03:21