title: Correct order of parallel execution of shell `time` command
body: <p>I need to execute the command below (as part of a script) but I don't know in what order to put things so that it executes correctly. What I am trying to do is to give <strong>file.smt2</strong> as input to  <strong>optimathsat</strong>, execute it, get the execution time.  But I want this to be done several times in parallel using all CPU cores. </p>
  
  <pre><code>parallel -j+0 time Desktop/optimathsat-1.5.1-macos-64-bit/bin/optimathsat &lt; file.smt2 &amp;&gt;results.csv 
  </code></pre>
  
  <p>I added <code>#!/bin/bash -x</code> at the beginning of my file to look at what is happening and this was the output:</p>
  
  <pre><code>+ parallel -j+0 time file.smt2
  parallel: Warning: Input is read from the terminal. You are either an expert
  parallel: Warning: (in which case: YOU ARE AWESOME!) or maybe you forgot.
  parallel: Warning: ::: or :::: or -a or to pipe data into parallel.
  </code></pre>
  
  <p>...from the 1st line, I can tell the order is wrong. From line 2,3 and 4 the syntax is lacking.  How can I fix this?</p>