Trace number 4111846

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
minisatp 2012-10-02 git-d91742b? (TO) 1800.09 1800.4

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K103.opb
MD5SUM34d84c84a6977bf98000135522032f88
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1272.62
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7004
Total number of constraints7212
Number of constraints which are clauses7109
Number of constraints which are cardinality constraints (but not clauses)103
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint103
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 104
Number of bits of the biggest sum of numbers7
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 Parsing PB file...
0.09/0.19	c Converting 7210 PB-constraints to clauses...
0.19/0.20	c   -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.19/0.20	c   -- Detecting intervals from adjacent constraints: #####################################################################################################
0.19/0.20	c   -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.19/0.21	c ---[ 202]---> BDD-cost:  133
0.19/0.21	c ---[ 200]---> BDD-cost:  133
0.19/0.21	c ---[ 198]---> BDD-cost:  133
0.19/0.21	c ---[ 196]---> BDD-cost:  133
0.19/0.21	c ---[ 194]---> BDD-cost:  133
0.19/0.21	c ---[ 192]---> BDD-cost:  133
0.19/0.22	c ---[ 190]---> BDD-cost:  133
0.19/0.22	c ---[ 188]---> BDD-cost:  133
0.19/0.22	c ---[ 186]---> BDD-cost:  133
0.19/0.22	c ---[ 184]---> BDD-cost:  133
0.19/0.22	c ---[ 182]---> BDD-cost:  133
0.19/0.22	c ---[ 180]---> BDD-cost:  133
0.19/0.22	c ---[ 178]---> BDD-cost:  133
0.19/0.22	c ---[ 176]---> BDD-cost:  133
0.19/0.22	c ---[ 174]---> BDD-cost:  133
0.19/0.23	c ---[ 172]---> BDD-cost:  133
0.19/0.23	c ---[ 170]---> BDD-cost:  133
0.19/0.23	c ---[ 168]---> BDD-cost:  133
0.19/0.23	c ---[ 166]---> BDD-cost:  133
0.19/0.23	c ---[ 164]---> BDD-cost:  133
0.19/0.23	c ---[ 162]---> BDD-cost:  133
0.19/0.23	c ---[ 160]---> BDD-cost:  133
0.19/0.23	c ---[ 158]---> BDD-cost:  133
0.19/0.24	c ---[ 156]---> BDD-cost:  133
0.19/0.24	c ---[ 154]---> BDD-cost:  133
0.19/0.24	c ---[ 152]---> BDD-cost:  133
0.19/0.24	c ---[ 150]---> BDD-cost:  133
0.19/0.24	c ---[ 148]---> BDD-cost:  133
0.19/0.24	c ---[ 146]---> BDD-cost:  133
0.19/0.24	c ---[ 144]---> BDD-cost:  133
0.19/0.24	c ---[ 142]---> BDD-cost:  133
0.19/0.25	c ---[ 140]---> BDD-cost:  133
0.19/0.25	c ---[ 138]---> BDD-cost:  133
0.19/0.25	c ---[ 136]---> BDD-cost:  133
0.19/0.25	c ---[ 134]---> BDD-cost:  133
0.19/0.25	c ---[ 132]---> BDD-cost:  133
0.19/0.25	c ---[ 130]---> BDD-cost:  133
0.19/0.25	c ---[ 128]---> BDD-cost:  133
0.19/0.25	c ---[ 126]---> BDD-cost:  133
0.19/0.26	c ---[ 124]---> BDD-cost:  133
0.19/0.26	c ---[ 122]---> BDD-cost:  133
0.19/0.26	c ---[ 120]---> BDD-cost:  133
0.19/0.26	c ---[ 118]---> BDD-cost:  133
0.19/0.26	c ---[ 116]---> BDD-cost:  133
0.19/0.26	c ---[ 114]---> BDD-cost:  133
0.19/0.26	c ---[ 112]---> BDD-cost:  133
0.19/0.26	c ---[ 110]---> BDD-cost:  133
0.19/0.27	c ---[ 108]---> BDD-cost:  133
0.19/0.27	c ---[ 106]---> BDD-cost:  133
0.19/0.27	c ---[ 104]---> BDD-cost:  133
0.19/0.27	c ---[ 102]---> BDD-cost:  133
0.19/0.27	c ---[ 100]---> BDD-cost:  133
0.19/0.27	c ---[  98]---> BDD-cost:  133
0.19/0.27	c ---[  96]---> BDD-cost:  133
0.19/0.27	c ---[  94]---> BDD-cost:  133
0.19/0.28	c ---[  92]---> BDD-cost:  133
0.19/0.28	c ---[  90]---> BDD-cost:  133
0.19/0.28	c ---[  88]---> BDD-cost:  133
0.19/0.28	c ---[  86]---> BDD-cost:  133
0.19/0.28	c ---[  84]---> BDD-cost:  133
0.19/0.28	c ---[  82]---> BDD-cost:  133
0.19/0.28	c ---[  80]---> BDD-cost:  133
0.19/0.28	c ---[  78]---> BDD-cost:  133
0.19/0.28	c ---[  76]---> BDD-cost:  133
0.19/0.29	c ---[  74]---> BDD-cost:  133
0.19/0.29	c ---[  72]---> BDD-cost:  133
0.19/0.29	c ---[  70]---> BDD-cost:  133
0.19/0.29	c ---[  68]---> BDD-cost:  133
0.19/0.29	c ---[  66]---> BDD-cost:  133
0.19/0.29	c ---[  64]---> BDD-cost:  133
0.19/0.29	c ---[  62]---> BDD-cost:  133
0.19/0.29	c ---[  60]---> BDD-cost:  133
0.28/0.30	c ---[  58]---> BDD-cost:  133
0.28/0.30	c ---[  56]---> BDD-cost:  133
0.28/0.30	c ---[  54]---> BDD-cost:  133
0.28/0.30	c ---[  52]---> BDD-cost:  133
0.28/0.30	c ---[  50]---> BDD-cost:  133
0.28/0.30	c ---[  48]---> BDD-cost:  133
0.28/0.30	c ---[  46]---> BDD-cost:  133
0.28/0.30	c ---[  44]---> BDD-cost:  133
0.28/0.31	c ---[  42]---> BDD-cost:  133
0.28/0.31	c ---[  40]---> BDD-cost:  133
0.28/0.31	c ---[  38]---> BDD-cost:  133
0.28/0.31	c ---[  36]---> BDD-cost:  133
0.28/0.31	c ---[  34]---> BDD-cost:  133
0.28/0.31	c ---[  32]---> BDD-cost:  133
0.28/0.31	c ---[  30]---> BDD-cost:  133
0.28/0.31	c ---[  28]---> BDD-cost:  133
0.28/0.32	c ---[  26]---> BDD-cost:  133
0.28/0.32	c ---[  24]---> BDD-cost:  133
0.28/0.32	c ---[  22]---> BDD-cost:  133
0.28/0.32	c ---[  20]---> BDD-cost:  133
0.28/0.32	c ---[  18]---> BDD-cost:  133
0.28/0.32	c ---[  16]---> BDD-cost:  133
0.28/0.32	c ---[  14]---> BDD-cost:  129
0.28/0.32	c ---[  12]---> BDD-cost:  115
0.28/0.33	c ---[  10]---> BDD-cost:   93
0.28/0.33	c ---[   8]---> BDD-cost:   65
0.28/0.33	c ---[   6]---> BDD-cost:   47
0.28/0.33	c ---[   4]---> BDD-cost:   25
0.28/0.33	c ---[   2]---> BDD-cost:    5
1800.08/1800.40	|  Eliminated clauses:           0.02 Mb                                      |
1800.08/1800.40	============================[ Search Statistics ]==============================
1800.08/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.08/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.08/1800.40	===============================================================================
1800.08/1800.40	|       100 |   18913    38194   111342 |    14004      100    387 |  2.317 % |
1800.08/1800.40	|       250 |   18913    38194   111342 |    15404      250    196 |  2.317 % |
1800.08/1800.40	|       475 |   18913    38194   111342 |    16945      475    163 |  2.317 % |
1800.08/1800.40	|       812 |   18913    38194   111342 |    18639      812    145 |  2.317 % |
1800.08/1800.40	|      1318 |   18869    38194   111342 |    20503     1312    146 |  2.537 % |
1800.08/1800.40	|      2077 |   18869    38194   111342 |    22554     2071    134 |  2.537 % |
1800.08/1800.40	|      3216 |   18869    38194   111342 |    24809     3210    158 |  2.537 % |
1800.08/1800.40	|      4924 |   18869    38194   111342 |    27290     4918    150 |  2.537 % |
1800.08/1800.40	|      7486 |   18869    38194   111342 |    30019     7480    200 |  2.537 % |
1800.08/1800.40	|     11330 |   18868    38194   111342 |    33021    11319    192 |  2.542 % |
1800.08/1800.40	|     17096 |   18868    38194   111342 |    36323    17085    193 |  2.542 % |
1800.08/1800.40	|     25745 |   18867    38194   111342 |    39956    25727    188 |  2.547 % |
1800.08/1800.40	|     38719 |   18867    38194   111342 |    43952    38701    190 |  2.547 % |
1800.08/1800.40	|     58180 |   18866    38194   111342 |    48347    30418    193 |  2.552 % |
1800.08/1800.40	|     87372 |   18866    38194   111342 |    53181    31245    179 |  2.552 % |
1800.08/1800.40	|    131161 |   18866    38194   111342 |    58500    43573    181 |  2.552 % |
1800.08/1800.40	|    196845 |   18858    38194   111342 |    64350    39667    201 |  2.592 % |
1800.08/1800.40	|    295371 |   18855    38194   111342 |    70785    59480    220 |  2.607 % |
1800.08/1800.40	|    443160 |   18853    38194   111342 |    77863    45071    192 |  2.617 % |
1800.08/1800.40	|    664843 |   18852    38194   111342 |    85650    37588    133 |  2.622 % |
1800.08/1800.40	|    997368 |   18845    38194   111342 |    94215    54446    200 |  2.657 % |
1800.08/1800.40	|   1496156 |   18842    38194   111342 |   103636    67422    175 |  2.672 % |
1800.08/1800.40	|   2244338 |   18839    38194   111342 |   114000   102216    276 |  2.687 % |
1800.08/1800.40	|   3366612 |   18838    38194   111342 |   125400    56348    132 |  2.692 % |
1800.08/1800.40	c 
1800.08/1800.40	c *** TERMINATED ***
1800.08/1800.40	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-4111846-1466602773/watcher-4111846-1466602773 -o /tmp/evaluation-result-4111846-1466602773/solver-4111846-1466602773 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466583104-1745 --watchdog 1960 minisatp HOME/instance-4111846-1466602773.opb 

pid=4416
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.23 2.27 2.40 3/176 4419
/proc/meminfo: memFree=30068588/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=6604 CPUtime=0 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 62322834 6762496 233 33554432000 4194304 5646918 140737485528976 140736008876024 4826286 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 1651 235 94 355 0 1292 0

[startup+0.100163 s]
/proc/loadavg: 2.23 2.27 2.40 3/176 4419
/proc/meminfo: memFree=30068588/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=12328 CPUtime=0.09 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 1758 0 0 0 9 0 0 0 20 0 1 0 62322834 12623872 1634 33554432000 4194304 5646918 140737485528976 140736008876024 4826286 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 3082 1634 94 355 0 2723 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12328

[startup+0.200271 s]
/proc/loadavg: 2.23 2.27 2.40 3/176 4419
/proc/meminfo: memFree=30068588/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=17328 CPUtime=0.19 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 2924 0 0 0 19 0 0 0 20 0 1 0 62322834 17743872 2800 33554432000 4194304 5646918 140737485528976 140736008876024 4826286 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 4332 2800 105 355 0 3973 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 17328

[startup+0.300291 s]
/proc/loadavg: 2.23 2.27 2.40 3/176 4419
/proc/meminfo: memFree=30068588/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=18188 CPUtime=0.28 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 3253 0 0 0 28 0 0 0 20 0 1 0 62322834 18624512 3065 33554432000 4194304 5646918 140737485528976 140736008876024 4953168 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 4547 3065 117 355 0 4188 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 18188

[startup+0.700206 s]
/proc/loadavg: 2.23 2.27 2.40 3/176 4419
/proc/meminfo: memFree=30068588/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=21152 CPUtime=0.68 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 4131 0 0 0 68 0 0 0 20 0 1 0 62322834 21659648 4421 33554432000 4194304 5646918 140737485528976 140737485522936 4403176 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 5288 4421 145 355 0 4929 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21152

[startup+1.50024 s]
/proc/loadavg: 2.23 2.27 2.40 3/177 4420
/proc/meminfo: memFree=30047272/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=28292 CPUtime=1.48 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 4705 0 0 0 148 0 0 0 20 0 1 0 62322834 28971008 5501 33554432000 4194304 5646918 140737485528976 140737485527672 4402829 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 7073 5501 145 355 0 6714 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 28292

[startup+3.10029 s]
/proc/loadavg: 2.21 2.26 2.40 3/177 4420
/proc/meminfo: memFree=30038136/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=35472 CPUtime=3.09 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 5678 0 0 0 308 1 0 0 20 0 1 0 62322834 36323328 7493 33554432000 4194304 5646918 140737485528976 140737485527672 4402661 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 8868 7493 145 355 0 8509 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35472

[startup+6.30029 s]
/proc/loadavg: 2.21 2.26 2.40 3/177 4420
/proc/meminfo: memFree=30017420/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=47424 CPUtime=6.29 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 6332 0 0 0 628 1 0 0 20 0 1 0 62322834 48562176 10190 33554432000 4194304 5646918 140737485528976 140737485527672 4402639 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 11856 10190 145 355 0 11497 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47424

[startup+12.7003 s]
/proc/loadavg: 2.18 2.25 2.40 4/177 4420
/proc/meminfo: memFree=30000196/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=49472 CPUtime=12.68 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 8218 0 0 0 1266 2 0 0 20 0 1 0 62322834 50659328 10838 33554432000 4194304 5646918 140737485528976 140737485527080 4402904 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 12368 10838 147 355 0 12009 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49472

[startup+25.5003 s]
/proc/loadavg: 2.23 2.26 2.40 4/177 4420
/proc/meminfo: memFree=30023400/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=71244 CPUtime=25.49 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 10924 0 0 0 2544 5 0 0 20 0 1 0 62322834 72953856 16208 33554432000 4194304 5646918 140737485528976 140737485527112 4403176 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 17811 16208 147 355 0 17452 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 71244

[startup+51.1004 s]
/proc/loadavg: 2.21 2.25 2.39 4/178 4423
/proc/meminfo: memFree=30017168/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=74028 CPUtime=51.08 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 16847 0 0 0 5100 8 0 0 20 0 1 0 62322834 75804672 16373 33554432000 4194304 5646918 140737485528976 140737485527112 4397646 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 18507 16373 147 355 0 18148 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 74028

[startup+102.3 s]
/proc/loadavg: 2.19 2.24 2.37 3/177 4424
/proc/meminfo: memFree=30075804/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=78100 CPUtime=102.28 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 25870 0 0 0 10213 15 0 0 20 0 1 0 62322834 79974400 19027 33554432000 4194304 5646918 140737485528976 140737485527112 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 19525 19027 147 355 0 19166 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 78100

[startup+162.3 s]
/proc/loadavg: 2.10 2.21 2.35 4/177 4425
/proc/meminfo: memFree=29984236/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=112444 CPUtime=162.26 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 35378 0 0 0 16203 23 0 0 20 0 1 0 62322834 115142656 22862 33554432000 4194304 5646918 140737485528976 140737485527080 4403416 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 28111 22862 147 355 0 27752 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 112444

[startup+222.307 s]
/proc/loadavg: 2.14 2.20 2.34 4/177 4427
/proc/meminfo: memFree=29996736/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=114740 CPUtime=222.27 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 44143 0 0 0 22195 32 0 0 20 0 1 0 62322834 117493760 25954 33554432000 4194304 5646918 140737485528976 140737485527080 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 28685 25954 147 355 0 28326 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 114740

[startup+282.3 s]
/proc/loadavg: 2.24 2.22 2.34 3/177 4428
/proc/meminfo: memFree=30037936/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=85828 CPUtime=282.24 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 52300 0 0 0 28185 39 0 0 20 0 1 0 62322834 87887872 20870 33554432000 4194304 5646918 140737485528976 140737485527672 4403454 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 21457 20870 147 355 0 21098 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 85828

[startup+342.3 s]
/proc/loadavg: 2.20 2.21 2.32 4/177 4429
/proc/meminfo: memFree=30016152/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=70724 CPUtime=342.23 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 59020 0 0 0 34173 50 0 0 20 0 1 0 62322834 72421376 15168 33554432000 4194304 5646918 140737485528976 140737485527112 4403047 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 17681 15168 147 355 0 17322 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 70724

[startup+402.3 s]
/proc/loadavg: 2.22 2.20 2.31 3/177 4430
/proc/meminfo: memFree=30031396/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=72240 CPUtime=402.21 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 64977 0 0 0 40165 56 0 0 20 0 1 0 62322834 73973760 17081 33554432000 4194304 5646918 140737485528976 140737485527672 4402736 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 18060 17081 147 355 0 17701 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 72240

[startup+462.3 s]
/proc/loadavg: 2.32 2.22 2.31 3/177 4431
/proc/meminfo: memFree=29991092/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=92428 CPUtime=462.2 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 72339 0 0 0 46156 64 0 0 20 0 1 0 62322834 94646272 21023 33554432000 4194304 5646918 140737485528976 140737485527672 4397982 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 23107 21023 147 355 0 22748 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 92428

[startup+522.3 s]
/proc/loadavg: 2.39 2.26 2.31 4/177 4433
/proc/meminfo: memFree=29978444/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=176148 CPUtime=522.19 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 78089 0 0 0 52146 73 0 0 20 0 1 0 62322834 180375552 34495 33554432000 4194304 5646918 140737485528976 140737485527112 4403136 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 44037 34495 147 355 0 43678 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 176148

[startup+582.3 s]
/proc/loadavg: 2.31 2.25 2.31 3/177 4434
/proc/meminfo: memFree=30061392/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=96288 CPUtime=582.18 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 84315 0 0 0 58138 80 0 0 20 0 1 0 62322834 98598912 22982 33554432000 4194304 5646918 140737485528976 140737485527672 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 24072 22982 147 355 0 23713 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 96288


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


[startup+882.307 s]
/proc/loadavg: 2.29 2.24 2.27 4/177 4499
/proc/meminfo: memFree=30022192/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=139576 CPUtime=882.14 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 108275 0 0 0 88099 115 0 0 20 0 1 0 62322834 142925824 31096 33554432000 4194304 5646918 140737485528976 140737485527672 4402661 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 34894 31096 147 355 0 34535 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 139576

[startup+942.3 s]
/proc/loadavg: 2.17 2.21 2.26 3/177 4500
/proc/meminfo: memFree=29844684/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=191304 CPUtime=942.13 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 111799 0 0 0 94093 120 0 0 20 0 1 0 62322834 195895296 38855 33554432000 4194304 5646918 140737485528976 140737485527112 4397536 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 47826 38855 147 355 0 47467 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 191304

[startup+1002.3 s]
/proc/loadavg: 2.15 2.20 2.25 3/177 4501
/proc/meminfo: memFree=29945108/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=111216 CPUtime=1002.12 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 117680 0 0 0 100084 128 0 0 20 0 1 0 62322834 113885184 23918 33554432000 4194304 5646918 140737485528976 140737485527672 4403051 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 27804 23918 147 355 0 27445 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 111216

[startup+1062.3 s]
/proc/loadavg: 2.20 2.20 2.25 4/177 4502
/proc/meminfo: memFree=30015700/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=142840 CPUtime=1062.11 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 122418 0 0 0 106077 134 0 0 20 0 1 0 62322834 146268160 30764 33554432000 4194304 5646918 140737485528976 140737485527080 4403176 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 35710 30764 147 355 0 35351 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 142840

[startup+1122.3 s]
/proc/loadavg: 2.43 2.26 2.27 3/177 4503
/proc/meminfo: memFree=29867276/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=143656 CPUtime=1122.1 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 127784 0 0 0 112069 141 0 0 20 0 1 0 62322834 147103744 31489 33554432000 4194304 5646918 140737485528976 140737485527672 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 35914 31489 147 355 0 35555 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 143656

[startup+1182.3 s]
/proc/loadavg: 2.27 2.24 2.26 3/177 4505
/proc/meminfo: memFree=29891640/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=194588 CPUtime=1182.09 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 132150 0 0 0 118062 147 0 0 20 0 1 0 62322834 199258112 40798 33554432000 4194304 5646918 140737485528976 140737485527672 4402829 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 48647 40798 147 355 0 48288 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 194588

[startup+1242.3 s]
/proc/loadavg: 2.13 2.21 2.25 3/178 4509
/proc/meminfo: memFree=29685672/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=195420 CPUtime=1242.08 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 136914 0 0 0 124055 153 0 0 20 0 1 0 62322834 200110080 44469 33554432000 4194304 5646918 140737485528976 140737485527112 4403173 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 48855 44469 147 355 0 48496 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 195420

[startup+1302.3 s]
/proc/loadavg: 2.21 2.21 2.25 3/178 4533
/proc/meminfo: memFree=29852700/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=196792 CPUtime=1302.07 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 141917 0 0 0 130046 161 0 0 20 0 1 0 62322834 201515008 44514 33554432000 4194304 5646918 140737485528976 140737485527112 4403176 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 49198 44514 147 355 0 48839 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 196792

[startup+1362.3 s]
/proc/loadavg: 2.23 2.21 2.25 3/177 4534
/proc/meminfo: memFree=29762076/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=147700 CPUtime=1362.06 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 147066 0 0 0 136038 168 0 0 20 0 1 0 62322834 151244800 35016 33554432000 4194304 5646918 140737485528976 140737485527080 4402829 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 36925 35016 147 355 0 36566 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 147700

[startup+1422.3 s]
/proc/loadavg: 2.27 2.23 2.25 3/177 4535
/proc/meminfo: memFree=29895296/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=148548 CPUtime=1422.06 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 151310 0 0 0 142031 175 0 0 20 0 1 0 62322834 152113152 31370 33554432000 4194304 5646918 140737485528976 140737485527672 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 37137 31370 147 355 0 36778 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 148548

[startup+1482.3 s]
/proc/loadavg: 2.33 2.26 2.26 3/177 4537
/proc/meminfo: memFree=29783632/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=149060 CPUtime=1482.03 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 155309 0 0 0 148023 180 0 0 20 0 1 0 62322834 152637440 29498 33554432000 4194304 5646918 140737485528976 140737485527672 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 37265 29498 147 355 0 36906 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 149060

[startup+1542.31 s]
/proc/loadavg: 2.41 2.29 2.27 3/177 4538
/proc/meminfo: memFree=29899064/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=119056 CPUtime=1542.02 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 159544 0 0 0 154015 187 0 0 20 0 1 0 62322834 121913344 28070 33554432000 4194304 5646918 140737485528976 140737485527672 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 29764 28070 147 355 0 29405 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 119056

[startup+1602.3 s]
/proc/loadavg: 2.26 2.27 2.26 3/177 4539
/proc/meminfo: memFree=29774596/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=119480 CPUtime=1602.01 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 164114 0 0 0 160008 193 0 0 20 0 1 0 62322834 122347520 27248 33554432000 4194304 5646918 140737485528976 140737485527672 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 29870 27248 147 355 0 29511 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 119480

[startup+1662.3 s]
/proc/loadavg: 2.31 2.29 2.27 3/177 4540
/proc/meminfo: memFree=29906676/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=120184 CPUtime=1662 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 168510 0 0 0 166001 199 0 0 20 0 1 0 62322834 123068416 28936 33554432000 4194304 5646918 140737485528976 140737485527672 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 30046 28936 147 355 0 29687 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 120184

[startup+1722.3 s]
/proc/loadavg: 2.12 2.24 2.25 3/177 4541
/proc/meminfo: memFree=29775220/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=151700 CPUtime=1721.99 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 173540 0 0 0 171991 208 0 0 20 0 1 0 62322834 155340800 30045 33554432000 4194304 5646918 140737485528976 140737485527672 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 37925 30046 147 355 0 37566 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 151700

[startup+1782.3 s]
/proc/loadavg: 2.15 2.22 2.25 3/177 4543
/proc/meminfo: memFree=29810968/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=284580 CPUtime=1781.98 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 177877 0 0 0 177983 215 0 0 20 0 1 0 62322834 291409920 54192 33554432000 4194304 5646918 140737485528976 140737485527672 4403138 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 71145 54192 147 355 0 70786 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 284580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.26 2.24 2.25 3/177 4543
/proc/meminfo: memFree=29827788/32872528 swapFree=1459884/1656108
[pid=4419] ppid=4416 vsize=153236 CPUtime=1800.08 cores=0,2,4,6
/proc/4419/stat : 4419 (minisatp) R 4416 4419 1729 0 -1 4202496 179393 0 0 0 179790 218 0 0 20 0 1 0 62322834 156913664 37707 33554432000 4194304 5646918 140737485528976 140737485527112 4403176 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4419/statm: 38309 37707 147 355 0 37950 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 153236

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

Child status: 0
Real time (s): 1800.4
CPU time (s): 1800.09
CPU user time (s): 1797.91
CPU system time (s): 2.18667
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 449720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.91
system time used= 2.18667
maximum resident set size= 398876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179393
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= 52
involuntary context switches= 1978

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.46532 second user time and 7.47586 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-22 15:39:33
IDJOB=4111846
IDBENCH=90138
IDSOLVER=2555
FILE ID=node136/4111846-1466602773
RUNJOBID= node136-1466583104-1745
PBS_JOBID= 19947103
Free space on /tmp= 71644 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K103.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111846-1466602773/watcher-4111846-1466602773 -o /tmp/evaluation-result-4111846-1466602773/solver-4111846-1466602773 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466583104-1745 --watchdog 1960  minisatp HOME/instance-4111846-1466602773.opb

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

MD5SUM BENCH= 34d84c84a6977bf98000135522032f88
RANDOM SEED=84543240

node136.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.278
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.55
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.278
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		: 2667.278
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.56
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.278
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.278
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		: 2667.278
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		: 2667.278
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.67
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.278
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:        30071824 kB
Buffers:           47060 kB
Cached:           130596 kB
SwapCached:         1664 kB
Active:           357124 kB
Inactive:          23128 kB
Active(anon):     200672 kB
Inactive(anon):     4456 kB
Active(file):     156452 kB
Inactive(file):    18672 kB
Unevictable:     1656108 kB
Mlocked:         1459884 kB
SwapTotal:      67108856 kB
SwapFree:       67099360 kB
Dirty:              4292 kB
Writeback:             0 kB
AnonPages:       1887112 kB
Mapped:             8752 kB
Shmem:                 0 kB
Slab:             629692 kB
SReclaimable:      73952 kB
SUnreclaim:       555740 kB
KernelStack:        1488 kB
PageTables:         7444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2023056 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    333824 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4111846-1466602773.opb

Free space on /tmp at the end= 71640 MiB
End job on node136 at 2016-06-22 16:09:34