Trace number 4084206

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
Open-WBO-LSU PB16? (TO) 1800.33 1800.73

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-neos-544324.opb
MD5SUM02fa27f3dafb4f59cf08d669298a5bbe
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark17
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10080
Total number of constraints732
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)732
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint168
Maximum length of a constraint3680
Number of terms in the objective function 10080
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 10080
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 10080
Number of bits of the biggest sum of numbers14
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.00	c
0.00/0.00	c Open-WBO:	 a Modular MaxSAT Solver -- based on Glucose4.0 (core version)
0.00/0.00	c Version:	 Pseudo-Boolean Evaluation 2016 -- LSU
0.00/0.00	c Authors:	 Ruben Martins, Vasco Manquinho, Ines Lynce
0.00/0.00	c Contributors:	 Miguel Neves, Saurabh Joshi, Mikolas Janota
0.00/0.00	c Contact:	 open-wbo@sat.inesc-id.pt -- http://sat.inesc-id.pt/open-wbo/
0.00/0.00	c
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Instance file HOME/instance-4084206-1465356601.opb
0.00/0.00	c File size is 15730092 bytes.
1800.09/1800.50	c Sum of soft weights:        10080
1800.09/1800.50	c |                                                                                                       |
1800.09/1800.50	c ========================================[ Problem Statistics ]===========================================
1800.09/1800.50	c |                                                                                                       |
1800.09/1800.50	c |  Problem Type:           Unweighted                                                                   |
1800.09/1800.50	c |  Number of variables:         10080                                                                   |
1800.09/1800.50	c |  Number of hard clauses:          0                                                                   |
1800.09/1800.50	c |  Number of soft clauses:      10080                                                                   |
1800.09/1800.50	c |  Number of cardinality:         732                                                                   |
1800.09/1800.50	c |  Number of PB :                   0                                                                   |
1800.09/1800.50	c |  Parse time:                   1.55 s                                                                 |
1800.09/1800.50	c |                                                                                                       |
1800.09/1800.50	c ==========================================[ Solver Settings ]============================================
1800.09/1800.50	c |                                                                                                       |
1800.09/1800.50	c |  Algorithm:                LinearSU                                                                   |
1800.09/1800.50	c |  Cardinality Encoding:       Modulo Totalizer                                                         |
1800.09/1800.50	c |                                                                                                       |
1800.09/1800.50	s UNKNOWN

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-4084206-1465356601/watcher-4084206-1465356601 -o /tmp/evaluation-result-4084206-1465356601/solver-4084206-1465356601 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1465326371-24674 --watchdog 1960 open-wbo-lsu HOME/instance-4084206-1465356601.opb 

pid=29484
running on 4 cores: 1,3,5,7

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.29 2.24 2.19 4/177 29487
/proc/meminfo: memFree=29797204/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=17568 CPUtime=0 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 4136 0 0 0 0 0 0 0 20 0 1 0 117591967 17989632 4011 33554432000 4194304 6058637 140736063564800 140734310164920 5042435 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 4392 4012 3975 456 0 87 0

[startup+0.100169 s]
/proc/loadavg: 2.29 2.24 2.19 4/177 29487
/proc/meminfo: memFree=29797204/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=19784 CPUtime=0.09 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 4687 0 0 0 9 0 0 0 20 0 1 0 117591967 20258816 4562 33554432000 4194304 6058637 140736063564800 140736063563384 4513695 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 4946 4562 3976 456 0 641 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19784

[startup+0.200361 s]
/proc/loadavg: 2.29 2.24 2.19 4/177 29487
/proc/meminfo: memFree=29797204/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=20312 CPUtime=0.19 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 4812 0 0 0 19 0 0 0 20 0 1 0 117591967 20799488 4687 33554432000 4194304 6058637 140736063564800 140736063563384 5488460 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 5078 4687 3976 456 0 773 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 20312

[startup+0.300335 s]
/proc/loadavg: 2.29 2.24 2.19 4/177 29487
/proc/meminfo: memFree=29797204/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=20792 CPUtime=0.29 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 4935 0 0 0 29 0 0 0 20 0 1 0 117591967 21291008 4810 33554432000 4194304 6058637 140736063564800 140736063563384 4229421 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 5198 4810 3976 456 0 893 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20792

[startup+0.700285 s]
/proc/loadavg: 2.29 2.24 2.19 4/177 29487
/proc/meminfo: memFree=29797204/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=22712 CPUtime=0.69 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 5422 0 0 0 69 0 0 0 20 0 1 0 117591967 23257088 5297 33554432000 4194304 6058637 140736063564800 140736063563384 5130283 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 5678 5297 3976 456 0 1373 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22712

[startup+1.50028 s]
/proc/loadavg: 2.34 2.25 2.19 4/178 29488
/proc/meminfo: memFree=29789560/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=26656 CPUtime=1.49 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 6397 0 0 0 149 0 0 0 20 0 1 0 117591967 27295744 6272 33554432000 4194304 6058637 140736063564800 140736063563144 4680170 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 6664 6272 3976 456 0 2359 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26656

[startup+3.10028 s]
/proc/loadavg: 2.34 2.25 2.19 4/178 29488
/proc/meminfo: memFree=29526768/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=762108 CPUtime=3.09 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 90510 0 0 0 290 19 0 0 20 0 1 0 117591967 780398592 158894 33554432000 4194304 6058637 140736063564800 140736063561528 5042435 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 190527 158897 158 456 0 190063 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 762108

[startup+6.3003 s]
/proc/loadavg: 2.40 2.26 2.20 3/178 29488
/proc/meminfo: memFree=28193368/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=2228204 CPUtime=6.29 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 227668 0 0 0 573 56 0 0 20 0 1 0 117591967 2281680896 483411 33554432000 4194304 6058637 140736063564800 140736063561944 5042435 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 557051 483412 158 456 0 556587 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 2228204

[startup+12.7003 s]
/proc/loadavg: 2.36 2.26 2.20 3/178 29488
/proc/meminfo: memFree=25485300/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=5422596 CPUtime=12.69 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 482667 0 0 0 1141 128 0 0 20 0 1 0 117591967 5552738304 1123602 33554432000 4194304 6058637 140736063564800 140736063562152 5042435 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 1355649 1123602 158 456 0 1355185 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 5422596

[startup+25.5004 s]
/proc/loadavg: 2.31 2.25 2.19 3/178 29488
/proc/meminfo: memFree=23566676/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=6938788 CPUtime=25.48 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 703144 0 0 0 2372 176 0 0 20 0 1 0 117591967 7105318912 1543691 33554432000 4194304 6058637 140736063564800 140736063563416 5042435 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 1734697 1543691 163 456 0 1734233 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 6938788

[startup+51.1004 s]
/proc/loadavg: 2.26 2.24 2.19 3/178 29488
/proc/meminfo: memFree=23357188/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=7150856 CPUtime=51.08 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 756914 0 0 0 4923 185 0 0 20 0 1 0 117591967 7322476544 1598483 33554432000 4194304 6058637 140736063564800 140736063563416 4277663 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 1787714 1598483 165 456 0 1787250 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 7150856

[startup+102.3 s]
/proc/loadavg: 2.25 2.23 2.19 3/177 29489
/proc/meminfo: memFree=23342972/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=7166612 CPUtime=102.28 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 764087 0 0 0 10041 187 0 0 20 0 1 0 117591967 7338610688 1602406 33554432000 4194304 6058637 140736063564800 140736063563416 4277394 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 1791653 1602406 175 456 0 1791189 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 7166612

[startup+162.3 s]
/proc/loadavg: 2.15 2.20 2.18 3/177 29490
/proc/meminfo: memFree=23363260/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=7176536 CPUtime=162.26 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 769818 0 0 0 16037 189 0 0 20 0 1 0 117591967 7348772864 1605420 33554432000 4194304 6058637 140736063564800 140736063563416 4277663 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 1794134 1605420 175 456 0 1793670 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 7176536

[startup+222.307 s]
/proc/loadavg: 2.18 2.20 2.18 3/177 29492
/proc/meminfo: memFree=23312376/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=7178260 CPUtime=222.26 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 770270 0 0 0 22037 189 0 0 20 0 1 0 117591967 7350538240 1606383 33554432000 4194304 6058637 140736063564800 140736063563272 4277959 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 1794565 1606383 176 456 0 1794101 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 7178260

[startup+282.3 s]
/proc/loadavg: 2.17 2.19 2.18 3/177 29493
/proc/meminfo: memFree=23357684/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=7180212 CPUtime=282.25 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 773965 0 0 0 28034 191 0 0 20 0 1 0 117591967 7352537088 1606847 33554432000 4194304 6058637 140736063564800 140736063563416 4277357 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 1795053 1606847 176 456 0 1794589 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 7180212

[startup+342.3 s]
/proc/loadavg: 2.19 2.18 2.18 3/177 29494
/proc/meminfo: memFree=23356192/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=7181340 CPUtime=342.23 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 777503 0 0 0 34031 192 0 0 20 0 1 0 117591967 7353692160 1607154 33554432000 4194304 6058637 140736063564800 140736063563416 4277378 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 1795335 1607154 176 456 0 1794871 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 7181340

[startup+402.3 s]
/proc/loadavg: 2.37 2.22 2.19 3/177 29495
/proc/meminfo: memFree=23319764/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=7182168 CPUtime=402.22 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 780965 0 0 0 40028 194 0 0 20 0 1 0 117591967 7354540032 1607878 33554432000 4194304 6058637 140736063564800 140736063563896 4277663 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 1795542 1607878 176 456 0 1795078 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 7182168

[startup+462.3 s]
/proc/loadavg: 2.24 2.21 2.18 3/177 29496
/proc/meminfo: memFree=23304448/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=7184152 CPUtime=462.22 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 781453 0 0 0 46027 195 0 0 20 0 1 0 117591967 7356571648 1608366 33554432000 4194304 6058637 140736063564800 140736063563272 4277378 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 1796038 1608366 176 456 0 1795574 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 7184152

[startup+522.3 s]
/proc/loadavg: 2.14 2.19 2.18 3/177 29498
/proc/meminfo: memFree=23302836/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=7185076 CPUtime=522.21 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 784900 0 0 0 52025 196 0 0 20 0 1 0 117591967 7357517824 1608585 33554432000 4194304 6058637 140736063564800 140736063563416 4277589 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 1796269 1608585 176 456 0 1795805 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 7185076

[startup+582.3 s]
/proc/loadavg: 2.27 2.21 2.18 3/177 29499
/proc/meminfo: memFree=23294568/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=7185532 CPUtime=582.2 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 788285 0 0 0 58022 198 0 0 20 0 1 0 117591967 7357984768 1609232 33554432000 4194304 6058637 140736063564800 140736063563352 4277378 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 1796383 1609232 176 456 0 1795919 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 7185532


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

[startup+1002.3 s]
/proc/loadavg: 2.26 2.23 2.18 3/177 29556
/proc/meminfo: memFree=23176064/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=7192300 CPUtime=1002.12 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 802899 0 0 0 100007 205 0 0 20 0 1 0 117591967 7364915200 1611415 33554432000 4194304 6058637 140736063564800 140736063563416 4261214 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 1798075 1611415 176 456 0 1797611 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 7192300

[startup+1062.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/177 29557
/proc/meminfo: memFree=23168160/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=7193100 CPUtime=1062.1 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 803132 0 0 0 106005 205 0 0 20 0 1 0 117591967 7365734400 1612150 33554432000 4194304 6058637 140736063564800 140736063563416 4277378 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 1798275 1612150 176 456 0 1797811 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 7193100

[startup+1122.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/176 29558
/proc/meminfo: memFree=23165904/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=7194420 CPUtime=1122.09 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 806696 0 0 0 112002 207 0 0 20 0 1 0 117591967 7367086080 1612469 33554432000 4194304 6058637 140736063564800 140736063563416 4277708 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 1798605 1612469 176 456 0 1798141 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 7194420

[startup+1182.3 s]
/proc/loadavg: 2.33 2.25 2.19 3/177 29560
/proc/meminfo: memFree=23141392/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=7194956 CPUtime=1182.07 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 806832 0 0 0 118000 207 0 0 20 0 1 0 117591967 7367634944 1612590 33554432000 4194304 6058637 140736063564800 140736063563416 4277843 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 1798739 1612590 176 456 0 1798275 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 7194956

[startup+1242.3 s]
/proc/loadavg: 2.27 2.25 2.19 3/178 29564
/proc/meminfo: memFree=23133128/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=7195592 CPUtime=1242.06 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 810238 0 0 0 123997 209 0 0 20 0 1 0 117591967 7368286208 1612751 33554432000 4194304 6058637 140736063564800 140736063563416 4277655 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 1798898 1612751 176 456 0 1798434 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 7195592

[startup+1302.3 s]
/proc/loadavg: 2.18 2.23 2.18 3/177 29565
/proc/meminfo: memFree=23076656/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=7196348 CPUtime=1302.04 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 813691 0 0 0 129994 210 0 0 20 0 1 0 117591967 7369060352 1612958 33554432000 4194304 6058637 140736063564800 140736063563416 4277378 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 1799087 1612958 176 456 0 1798623 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 7196348

[startup+1362.3 s]
/proc/loadavg: 2.17 2.21 2.18 3/177 29566
/proc/meminfo: memFree=23140316/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=7196840 CPUtime=1362.03 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 817057 0 0 0 135991 212 0 0 20 0 1 0 117591967 7369564160 1613591 33554432000 4194304 6058637 140736063564800 140736063563416 4277357 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 1799210 1613591 176 456 0 1798746 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 7196840

[startup+1422.3 s]
/proc/loadavg: 2.12 2.19 2.17 3/177 29567
/proc/meminfo: memFree=23129648/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=7198132 CPUtime=1422.02 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 820638 0 0 0 141988 214 0 0 20 0 1 0 117591967 7370887168 1613928 33554432000 4194304 6058637 140736063564800 140736063563896 4277708 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 1799533 1613928 176 456 0 1799069 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 7198132

[startup+1482.3 s]
/proc/loadavg: 2.04 2.15 2.16 4/177 29569
/proc/meminfo: memFree=23121952/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=7199056 CPUtime=1481.99 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 820857 0 0 0 147985 214 0 0 20 0 1 0 117591967 7371833344 1614134 33554432000 4194304 6058637 140736063564800 140736063563416 4277663 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 1799764 1614134 176 456 0 1799300 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 7199056

[startup+1542.31 s]
/proc/loadavg: 2.13 2.15 2.16 4/177 29570
/proc/meminfo: memFree=23079636/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=7199456 CPUtime=1541.98 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 824218 0 0 0 153982 216 0 0 20 0 1 0 117591967 7372242944 1614254 33554432000 4194304 6058637 140736063564800 140736063563416 4277435 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 1799864 1614254 176 456 0 1799400 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 7199456

[startup+1602.3 s]
/proc/loadavg: 2.19 2.17 2.17 3/177 29571
/proc/meminfo: memFree=23072020/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=7200056 CPUtime=1601.95 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 827628 0 0 0 159977 218 0 0 20 0 1 0 117591967 7372857344 1614918 33554432000 4194304 6058637 140736063564800 140736063563896 4277589 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 1800014 1614918 176 456 0 1799550 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 7200056

[startup+1662.3 s]
/proc/loadavg: 2.23 2.19 2.18 3/177 29572
/proc/meminfo: memFree=23043280/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=7200572 CPUtime=1661.94 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 831008 0 0 0 165974 220 0 0 20 0 1 0 117591967 7373385728 1615049 33554432000 4194304 6058637 140736063564800 140736063563896 4277672 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 1800143 1615049 176 456 0 1799679 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 7200572

[startup+1722.3 s]
/proc/loadavg: 2.24 2.20 2.18 4/177 29573
/proc/meminfo: memFree=23098336/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=7200836 CPUtime=1721.91 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 831088 0 0 0 171971 220 0 0 20 0 1 0 117591967 7373656064 1615107 33554432000 4194304 6058637 140736063564800 140736063563416 4278190 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 1800209 1615107 176 456 0 1799745 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 7200836

[startup+1782.3 s]
/proc/loadavg: 2.15 2.18 2.17 3/176 29575
/proc/meminfo: memFree=22981252/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=7201232 CPUtime=1781.9 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 834414 0 0 0 177968 222 0 0 20 0 1 0 117591967 7374061568 1615192 33554432000 4194304 6058637 140736063564800 140736063563416 4246088 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 1800308 1615192 176 456 0 1799844 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 7201232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.19 2.18 2.18 3/176 29575
/proc/meminfo: memFree=23090020/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=7201364 CPUtime=1800.09 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202496 834458 0 0 0 179786 223 0 0 20 0 1 0 117591967 7374196736 1615740 33554432000 4194304 6058637 140736063564800 140736063563416 4277708 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 1800341 1615740 176 456 0 1799877 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 7201364

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 29487 sig 9
??? kill -29487 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.6 s]
/proc/loadavg: 2.19 2.18 2.18 3/176 29575
/proc/meminfo: memFree=23090020/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=0 CPUtime=1800.19 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202500 834461 0 0 0 179786 233 0 0 20 0 1 0 117591967 0 0 33554432000 0 0 0 0 0 0 16384 4096 8404992 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

[startup+1800.7 s]
/proc/loadavg: 2.19 2.18 2.18 3/177 29578
/proc/meminfo: memFree=28971052/32872528 swapFree=18240/1696364
[pid=29487] ppid=29484 vsize=0 CPUtime=1800.29 cores=1,3,5,7
/proc/29487/stat : 29487 (open-wbo-lsu) R 29484 29487 24657 0 -1 4202500 834461 0 0 0 179786 243 0 0 20 0 1 0 117591967 0 0 33554432000 0 0 0 0 0 0 16384 4096 8404992 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29487/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0

Child status: 40
Real time (s): 1800.73
CPU time (s): 1800.33
CPU user time (s): 1797.87
CPU system time (s): 2.46062
CPU usage (%): 99.9777
Max. virtual memory (cumulated for all children) (KiB): 7263388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.87
system time used= 2.46062
maximum resident set size= 6504264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 834461
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= 239
involuntary context switches= 2042

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.54931 second user time and 6.96694 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-08 05:30:02
IDJOB=4084206
IDBENCH=89877
IDSOLVER=2545
FILE ID=node137/4084206-1465356601
RUNJOBID= node137-1465326371-24674
PBS_JOBID= 19853385
Free space on /tmp= 71720 MiB

SOLVER NAME= Open-WBO-LSU PB16
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-544324.opb
COMMAND LINE= open-wbo-lsu BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4084206-1465356601/watcher-4084206-1465356601 -o /tmp/evaluation-result-4084206-1465356601/solver-4084206-1465356601 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1465326371-24674 --watchdog 1960  open-wbo-lsu HOME/instance-4084206-1465356601.opb

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

MD5SUM BENCH= 02fa27f3dafb4f59cf08d669298a5bbe
RANDOM SEED=609426381

node137.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		: 2667.018
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	: 5334.03
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		: 2667.018
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.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
cpu MHz		: 2667.018
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		: 2667.018
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		: 2667.018
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.56
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		: 2667.018
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.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
cpu MHz		: 2667.018
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		: 2667.018
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:        29797368 kB
Buffers:          153496 kB
Cached:           400336 kB
SwapCached:         2544 kB
Active:           250444 kB
Inactive:         390740 kB
Active(anon):      86812 kB
Inactive(anon):     2840 kB
Active(file):     163632 kB
Inactive(file):   387900 kB
Unevictable:     1696364 kB
Mlocked:           18240 kB
SwapTotal:      67108856 kB
SwapFree:       67099024 kB
Dirty:             20180 kB
Writeback:             0 kB
AnonPages:       1816716 kB
Mapped:             8928 kB
Shmem:                 0 kB
Slab:             605576 kB
SReclaimable:      49676 kB
SUnreclaim:       555900 kB
KernelStack:        1472 kB
PageTables:         7912 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1896168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1796096 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= 71672 MiB
End job on node137 at 2016-06-08 06:00:02