Trace number 3751679

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
npSolver inc-topdown-quickBound (fixed)? (TO) 1800.07 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat50_4_16_2.opb
MD5SUM0c9f9f4d9069e955741fce23953a7e72
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3385647
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 147197952
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 48050028218
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 147197952
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 48050028218
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.04	c old isEQ: 0, new EQ is 1
0.00/0.14	c old isEQ: 24, new EQ is 1
0.00/0.17	c old isEQ: 1, new EQ is 1
0.00/0.21	c run inc solver
0.00/0.21	c [INC SYSTEM] run initial solver
0.00/0.21	c [INC SYSTEM] preprocess with white file
1.98/2.05	c [INC SYSTEM] finished preprocessing in 1 s
1.98/2.05	c [INC SYSTEM] execute solver
41.46/41.53	c [INC SEARCH] formula is SAT
41.46/41.53	c [INC SYSTEM] solved the initial formula
41.46/41.55	c model valid
41.46/41.55	c current solution ok
41.86/41.94	o 304859251
41.86/41.94	c starting approximation
41.86/41.94	c factor = 2
41.86/41.94	c factor still to low - shrinking to 4.52716e+06
41.86/41.94	c approx number of clauses: 1e+06
41.86/41.94	c current bound: 152429648
43.15/43.24	c leaving approximation
43.15/43.24	c finished approximation
43.15/43.24	c [INC SYSTEM] there exists a inc, kill it!
43.15/43.24	c write failed with 2
43.15/43.24	c [INC SEARCH] iteration: 0
43.15/43.24	c [INC BOUNDS] best value:304859301 search for 304859300
43.15/43.24	c [INC SYSTEM] create new solver instance
43.15/43.24	c [INC] encode full formula
43.15/43.24	c fallback to adder encoding
43.97/44.00	c set iterative enc to: adder
43.97/44.00	c set iterative enc to: none
44.07/44.10	c [INC SEARCH] isOptimum variable: 0
47.66/47.70	c formula is SAT
47.66/47.72	c [INC SEARCH] copied best model
47.66/47.72	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
47.66/47.74	c model valid
47.66/47.74	c current solution ok
47.66/47.74	o 144763791
47.66/47.74	c [INC SEARCH] iteration: 1
47.66/47.74	c [INC BOUNDS] best value:144763841 search for 144763840
47.66/47.74	c [INC SYSTEM] there exists a inc, kill it!
47.66/47.74	c write failed with 2
47.66/47.75	c [INC SYSTEM] create new solver instance
47.66/47.75	c [INC] encode full formula
47.66/47.75	c fallback to adder encoding
48.38/48.49	c set iterative enc to: adder
48.38/48.49	c set iterative enc to: none
48.56/48.60	c [INC SEARCH] isOptimum variable: 0
55.35/55.46	c formula is SAT
55.35/55.48	c [INC SEARCH] copied best model
55.35/55.48	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
55.45/55.50	c model valid
55.45/55.50	c current solution ok
55.45/55.50	o 120263197
55.45/55.50	c [INC SEARCH] iteration: 2
55.45/55.50	c [INC BOUNDS] best value:120263247 search for 120263246
55.45/55.50	c [INC SYSTEM] there exists a inc, kill it!
55.45/55.50	c write failed with 2
55.45/55.51	c [INC SYSTEM] create new solver instance
55.45/55.51	c [INC] encode full formula
55.45/55.51	c fallback to adder encoding
56.17/56.22	c set iterative enc to: adder
56.17/56.22	c set iterative enc to: none
56.27/56.32	c [INC SEARCH] isOptimum variable: 0
61.65/61.74	c formula is SAT
61.65/61.76	c [INC SEARCH] copied best model
61.65/61.76	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
61.65/61.78	c model valid
61.65/61.78	c current solution ok
61.65/61.78	o 52032761
61.65/61.78	c [INC SEARCH] iteration: 3
61.65/61.78	c [INC BOUNDS] best value:52032811 search for 52032810
61.65/61.78	c [INC SYSTEM] there exists a inc, kill it!
61.65/61.78	c write failed with 2
61.65/61.79	c [INC SYSTEM] create new solver instance
61.65/61.79	c [INC] encode full formula
61.65/61.79	c fallback to adder encoding
62.36/62.49	c set iterative enc to: adder
62.36/62.49	c set iterative enc to: none
62.45/62.59	c [INC SEARCH] isOptimum variable: 0
71.96/72.01	c formula is SAT
71.96/72.03	c [INC SEARCH] copied best model
71.96/72.03	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
71.96/72.05	c model valid
71.96/72.05	c current solution ok
71.96/72.05	o 48319115
71.96/72.05	c [INC SEARCH] iteration: 4
71.96/72.05	c [INC BOUNDS] best value:48319165 search for 48319164
71.96/72.05	c [INC SYSTEM] there exists a inc, kill it!
71.96/72.05	c write failed with 2
71.96/72.06	c [INC SYSTEM] create new solver instance
71.96/72.06	c [INC] encode full formula
71.96/72.06	c fallback to adder encoding
72.67/72.75	c set iterative enc to: adder
72.67/72.75	c set iterative enc to: none
72.76/72.85	c [INC SEARCH] isOptimum variable: 0
117.65/117.72	c formula is SAT
117.65/117.74	c [INC SEARCH] copied best model
117.65/117.74	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
117.65/117.76	c model valid
117.65/117.76	c current solution ok
117.65/117.76	o 37664377
117.65/117.76	c [INC SEARCH] iteration: 5
117.65/117.76	c [INC BOUNDS] best value:37664427 search for 37664426
117.65/117.76	c [INC SYSTEM] there exists a inc, kill it!
117.65/117.76	c write failed with 2
117.65/117.77	c [INC SYSTEM] create new solver instance
117.65/117.77	c [INC] encode full formula
117.65/117.77	c fallback to adder encoding
118.36/118.43	c set iterative enc to: adder
118.36/118.43	c set iterative enc to: none
118.45/118.53	c [INC SEARCH] isOptimum variable: 0
178.25/178.33	c formula is SAT
178.25/178.36	c [INC SEARCH] copied best model
178.25/178.36	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
178.25/178.37	c model valid
178.25/178.37	c current solution ok
178.25/178.37	o 31173193
178.25/178.37	c [INC SEARCH] iteration: 6
178.25/178.37	c [INC BOUNDS] best value:31173243 search for 31173242
178.25/178.37	c [INC SYSTEM] there exists a inc, kill it!
178.25/178.37	c write failed with 2
178.25/178.38	c [INC SYSTEM] create new solver instance
178.25/178.38	c [INC] encode full formula
178.25/178.38	c fallback to adder encoding
178.95/179.00	c set iterative enc to: adder
178.95/179.00	c set iterative enc to: none
179.05/179.10	c [INC SEARCH] isOptimum variable: 0
184.24/184.31	c formula is SAT
184.24/184.33	c [INC SEARCH] copied best model
184.24/184.33	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
184.24/184.35	c model valid
184.24/184.35	c current solution ok
184.24/184.35	o 27331379
184.24/184.35	c [INC SEARCH] iteration: 7
184.24/184.35	c [INC BOUNDS] best value:27331429 search for 27331428
184.24/184.35	c [INC SYSTEM] there exists a inc, kill it!
184.24/184.35	c write failed with 2
184.24/184.36	c [INC SYSTEM] create new solver instance
184.24/184.36	c [INC] encode full formula
184.24/184.36	c fallback to adder encoding
184.86/184.97	c set iterative enc to: adder
184.86/184.97	c set iterative enc to: none
184.95/185.06	c [INC SEARCH] isOptimum variable: 0
202.84/202.92	c formula is SAT
202.84/202.94	c [INC SEARCH] copied best model
202.84/202.94	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
202.84/202.96	c model valid
202.84/202.96	c current solution ok
202.84/202.96	o 26279683
202.84/202.96	c [INC SEARCH] iteration: 8
202.84/202.96	c [INC BOUNDS] best value:26279733 search for 26279732
202.84/202.96	c [INC SYSTEM] there exists a inc, kill it!
202.84/202.96	c write failed with 2
202.84/202.97	c [INC SYSTEM] create new solver instance
202.84/202.97	c [INC] encode full formula
202.84/202.97	c fallback to adder encoding
203.45/203.57	c set iterative enc to: adder
203.45/203.57	c set iterative enc to: none
203.56/203.66	c [INC SEARCH] isOptimum variable: 0
220.43/220.53	c formula is SAT
220.43/220.55	c [INC SEARCH] copied best model
220.43/220.55	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
220.43/220.56	c model valid
220.43/220.56	c current solution ok
220.43/220.56	o 24996507
220.43/220.56	c [INC SEARCH] iteration: 9
220.43/220.56	c [INC BOUNDS] best value:24996557 search for 24996556
220.43/220.56	c [INC SYSTEM] there exists a inc, kill it!
220.43/220.56	c write failed with 2
220.43/220.57	c [INC SYSTEM] create new solver instance
220.43/220.57	c [INC] encode full formula
220.43/220.57	c fallback to adder encoding
221.04/221.17	c set iterative enc to: adder
221.04/221.17	c set iterative enc to: none
221.14/221.26	c [INC SEARCH] isOptimum variable: 0
224.52/224.63	c formula is SAT
224.52/224.65	c [INC SEARCH] copied best model
224.52/224.65	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
224.52/224.67	c model valid
224.52/224.67	c current solution ok
224.52/224.67	o 21106425
224.52/224.67	c [INC SEARCH] iteration: 10
224.52/224.67	c [INC BOUNDS] best value:21106475 search for 21106474
224.52/224.67	c [INC SYSTEM] there exists a inc, kill it!
224.52/224.67	c write failed with 2
224.52/224.68	c [INC SYSTEM] create new solver instance
224.52/224.68	c [INC] encode full formula
224.52/224.68	c fallback to adder encoding
225.15/225.27	c set iterative enc to: adder
225.15/225.27	c set iterative enc to: none
225.25/225.35	c [INC SEARCH] isOptimum variable: 0
275.42/275.52	c formula is SAT
275.42/275.53	c [INC SEARCH] copied best model
275.42/275.54	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
275.42/275.55	c model valid
275.42/275.55	c current solution ok
275.42/275.55	o 15020169
275.42/275.55	c [INC SEARCH] iteration: 11
275.42/275.55	c [INC BOUNDS] best value:15020219 search for 15020218
275.42/275.55	c [INC SYSTEM] there exists a inc, kill it!
275.42/275.55	c write failed with 2
275.42/275.56	c [INC SYSTEM] create new solver instance
275.42/275.56	c [INC] encode full formula
275.42/275.56	c fallback to adder encoding
275.94/276.07	c set iterative enc to: adder
275.94/276.07	c set iterative enc to: none
276.05/276.16	c [INC SEARCH] isOptimum variable: 0
279.63/279.77	c formula is SAT
279.63/279.79	c [INC SEARCH] copied best model
279.63/279.79	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
279.74/279.81	c model valid
279.74/279.81	c current solution ok
279.74/279.81	o 11058343
279.74/279.81	c [INC SEARCH] iteration: 12
279.74/279.81	c [INC BOUNDS] best value:11058393 search for 11058392
279.74/279.81	c [INC SYSTEM] there exists a inc, kill it!
279.74/279.81	c write failed with 2
279.74/279.82	c [INC SYSTEM] create new solver instance
279.74/279.82	c [INC] encode full formula
279.74/279.82	c fallback to adder encoding
280.24/280.33	c set iterative enc to: adder
280.24/280.33	c set iterative enc to: none
280.34/280.41	c [INC SEARCH] isOptimum variable: 0
297.32/297.45	c formula is SAT
297.32/297.47	c [INC SEARCH] copied best model
297.32/297.47	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
297.32/297.49	c model valid
297.32/297.49	c current solution ok
297.32/297.49	o 10957509
297.32/297.49	c [INC SEARCH] iteration: 13
297.32/297.49	c [INC BOUNDS] best value:10957559 search for 10957558
297.32/297.49	c [INC SYSTEM] there exists a inc, kill it!
297.32/297.49	c write failed with 2
297.32/297.49	c [INC SYSTEM] create new solver instance
297.32/297.49	c [INC] encode full formula
297.32/297.49	c fallback to adder encoding
297.94/298.01	c set iterative enc to: adder
297.94/298.01	c set iterative enc to: none
297.94/298.09	c [INC SEARCH] isOptimum variable: 0
312.12/312.29	c formula is SAT
312.24/312.30	c [INC SEARCH] copied best model
312.24/312.30	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
312.24/312.32	c model valid
312.24/312.32	c current solution ok
312.24/312.32	o 10458365
312.24/312.32	c [INC SEARCH] iteration: 14
312.24/312.32	c [INC BOUNDS] best value:10458415 search for 10458414
312.24/312.32	c [INC SYSTEM] there exists a inc, kill it!
312.24/312.32	c write failed with 2
312.24/312.33	c [INC SYSTEM] create new solver instance
312.24/312.33	c [INC] encode full formula
312.24/312.33	c fallback to adder encoding
312.74/312.84	c set iterative enc to: adder
312.74/312.84	c set iterative enc to: none
312.84/312.92	c [INC SEARCH] isOptimum variable: 0
385.92/386.03	c formula is SAT
385.92/386.04	c [INC SEARCH] copied best model
385.92/386.04	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
385.92/386.06	c model valid
385.92/386.06	c current solution ok
385.92/386.06	o 9347367
385.92/386.06	c [INC SEARCH] iteration: 15
385.92/386.06	c [INC BOUNDS] best value:9347417 search for 9347416
385.92/386.06	c [INC SYSTEM] there exists a inc, kill it!
385.92/386.06	c write failed with 2
385.92/386.07	c [INC SYSTEM] create new solver instance
385.92/386.07	c [INC] encode full formula
385.92/386.07	c fallback to adder encoding
386.42/386.57	c set iterative enc to: adder
386.42/386.57	c set iterative enc to: none
386.54/386.65	c [INC SEARCH] isOptimum variable: 0
554.80/554.90	c formula is SAT
554.80/554.91	c [INC SEARCH] copied best model
554.80/554.91	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
554.80/554.93	c model valid
554.80/554.93	c current solution ok
554.80/554.93	o 8419981
554.80/554.93	c [INC SEARCH] iteration: 16
554.80/554.93	c [INC BOUNDS] best value:8420031 search for 8420030
554.80/554.93	c [INC SYSTEM] there exists a inc, kill it!
554.80/554.93	c write failed with 2
554.80/554.94	c [INC SYSTEM] create new solver instance
554.80/554.94	c [INC] encode full formula
554.80/554.94	c fallback to adder encoding
555.31/555.42	c set iterative enc to: adder
555.31/555.42	c set iterative enc to: none
555.40/555.50	c [INC SEARCH] isOptimum variable: 0
622.68/622.80	c formula is SAT
622.68/622.82	c [INC SEARCH] copied best model
622.68/622.82	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
622.68/622.83	c model valid
622.68/622.83	c current solution ok
622.68/622.83	o 5294855
622.68/622.83	c [INC SEARCH] iteration: 17
622.68/622.83	c [INC BOUNDS] best value:5294905 search for 5294904
622.68/622.83	c [INC SYSTEM] there exists a inc, kill it!
622.68/622.83	c write failed with 2
622.68/622.84	c [INC SYSTEM] create new solver instance
622.68/622.84	c [INC] encode full formula
622.68/622.84	c fallback to adder encoding
623.09/623.28	c set iterative enc to: adder
623.09/623.28	c set iterative enc to: none
623.19/623.35	c [INC SEARCH] isOptimum variable: 0
791.76/791.93	c formula is SAT
791.76/791.94	c [INC SEARCH] copied best model
791.76/791.94	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
791.76/791.96	c model valid
791.76/791.96	c current solution ok
791.76/791.96	o 5262429
791.76/791.96	c [INC SEARCH] iteration: 18
791.76/791.96	c [INC BOUNDS] best value:5262479 search for 5262478
791.76/791.96	c [INC SYSTEM] there exists a inc, kill it!
791.76/791.96	c write failed with 2
791.76/791.97	c [INC SYSTEM] create new solver instance
791.76/791.97	c [INC] encode full formula
791.76/791.97	c fallback to adder encoding
792.25/792.40	c set iterative enc to: adder
792.25/792.40	c set iterative enc to: none
792.25/792.46	c [INC SEARCH] isOptimum variable: 0
1800.07/1800.41	HOME/npSolver-pbo-Itdqb.sh: line 18:  1468 Terminated              ./npSolver-pbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -useCP2=1 -useInc=1

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3751679-1339177891/watcher-3751679-1339177891 -o /tmp/evaluation-result-3751679-1339177891/solver-3751679-1339177891 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751679-1339177891.opb 880409289 HOME HOME 

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.00 2.00 2.01 3/178 1467
/proc/meminfo: memFree=25447328/32873844 swapFree=9160/9160
[pid=1467] ppid=1465 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1467/stat : 1467 (npSolver-pbo-It) S 1465 1467 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383913712 9367552 275 33554432000 4194304 5064252 140737419598496 140737419597408 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1467/statm: 2287 275 233 213 0 72 0

[startup+0.010639 s]
/proc/loadavg: 2.00 2.00 2.01 3/178 1467
/proc/meminfo: memFree=25447328/32873844 swapFree=9160/9160
[pid=1467] ppid=1465 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1467/stat : 1467 (npSolver-pbo-It) S 1465 1467 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383913712 9367552 275 33554432000 4194304 5064252 140737419598496 140737419597408 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1467/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10022 s]
/proc/loadavg: 2.00 2.00 2.01 3/178 1467
/proc/meminfo: memFree=25447328/32873844 swapFree=9160/9160
[pid=1467] ppid=1465 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1467/stat : 1467 (npSolver-pbo-It) S 1465 1467 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383913712 9367552 275 33554432000 4194304 5064252 140737419598496 140737419597408 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1467/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300243 s]
/proc/loadavg: 2.00 2.00 2.01 3/178 1467
/proc/meminfo: memFree=25447328/32873844 swapFree=9160/9160
[pid=1467] ppid=1465 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1467/stat : 1467 (npSolver-pbo-It) S 1465 1467 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383913712 9367552 275 33554432000 4194304 5064252 140737419598496 140737419597408 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1467/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700273 s]
/proc/loadavg: 2.00 2.00 2.01 3/178 1467
/proc/meminfo: memFree=25447328/32873844 swapFree=9160/9160
[pid=1467] ppid=1465 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1467/stat : 1467 (npSolver-pbo-It) S 1465 1467 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383913712 9367552 275 33554432000 4194304 5064252 140737419598496 140737419597408 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1467/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5004 s]
/proc/loadavg: 2.00 2.00 2.01 3/182 1471
/proc/meminfo: memFree=25349264/32873844 swapFree=9160/9160
[pid=1467] ppid=1465 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1467/stat : 1467 (npSolver-pbo-It) S 1465 1467 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383913712 9367552 275 33554432000 4194304 5064252 140737419598496 140737419597408 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1467/statm: 2287 275 233 213 0 72 0
[pid=1468] ppid=1467 vsize=18804 CPUtime=0.21 cores=0,2,4,6
/proc/1468/stat : 1468 (npSolver-pbo) S 1467 1467 643 0 -1 4202496 5532 0 0 0 19 2 0 0 20 0 1 0 383913712 19255296 3521 33554432000 4194304 6004724 140736027352992 140736027347456 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1468/statm: 4701 3521 164 442 0 4255 0
[pid=1470] ppid=1468 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1470/stat : 1470 (cp2_pre.sh) S 1468 1467 643 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 383913734 9367552 277 33554432000 4194304 5064252 140733276669104 140733276667808 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1470/statm: 2287 277 234 213 0 72 0
[pid=1471] ppid=1470 vsize=84044 CPUtime=1.27 cores=0,2,4,6
/proc/1471/stat : 1471 (coprocessor) R 1470 1467 643 0 -1 4202496 17710 0 0 0 124 3 0 0 20 0 1 0 383913734 86061056 20154 33554432000 4194304 6586260 140735920940000 140735920935368 5599190 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/1471/statm: 21011 20154 192 584 0 20423 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 121144

[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.01 3/181 1473
/proc/meminfo: memFree=25406384/32873844 swapFree=9160/9160
[pid=1467] ppid=1465 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1467/stat : 1467 (npSolver-pbo-It) S 1465 1467 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383913712 9367552 275 33554432000 4194304 5064252 140737419598496 140737419597408 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1467/statm: 2287 275 233 213 0 72 0
[pid=1468] ppid=1467 vsize=18804 CPUtime=2.03 cores=0,2,4,6
/proc/1468/stat : 1468 (npSolver-pbo) S 1467 1467 643 0 -1 4202496 5550 19157 0 0 19 2 175 7 20 0 1 0 383913712 19255296 3524 33554432000 4194304 6004724 140736027352992 140736027339272 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1468/statm: 4701 3524 167 442 0 4255 0
[pid=1473] ppid=1468 vsize=48764 CPUtime=1.04 cores=0,2,4,6
/proc/1473/stat : 1473 (glucosInc) R 1468 1467 643 0 -1 4202496 9703 0 0 0 101 3 0 0 20 0 1 0 383913918 49934336 10489 33554432000 4194304 5654031 140733989952256 140733989950344 4215079 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1473/statm: 12191 10489 132 357 0 11831 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 76716

[startup+6.30037 s]
/proc/loadavg: 2.00 2.00 2.01 3/181 1473
/proc/meminfo: memFree=25360704/32873844 swapFree=9160/9160
[pid=1467] ppid=1465 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1467/stat : 1467 (npSolver-pbo-It) S 1465 1467 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383913712 9367552 275 33554432000 4194304 5064252 140737419598496 140737419597408 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1467/statm: 2287 275 233 213 0 72 0
[pid=1468] ppid=1467 vsize=18804 CPUtime=2.03 cores=0,2,4,6
/proc/1468/stat : 1468 (npSolver-pbo) S 1467 1467 643 0 -1 4202496 5550 19157 0 0 19 2 175 7 20 0 1 0 383913712 19255296 3524 33554432000 4194304 6004724 140736027352992 140736027339272 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1468/statm: 4701 3524 167 442 0 4255 0
[pid=1473] ppid=1468 vsize=80100 CPUtime=4.23 cores=0,2,4,6
/proc/1473/stat : 1473 (glucosInc) R 1468 1467 643 0 -1 4202496 11555 0 0 0 419 4 0 0 20 0 1 0 383913918 82022400 18482 33554432000 4194304 5654031 140733989952256 140733989950184 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1473/statm: 20025 18482 132 357 0 19665 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 108052

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.01 3/181 1473
/proc/meminfo: memFree=25329240/32873844 swapFree=9160/9160
[pid=1467] ppid=1465 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1467/stat : 1467 (npSolver-pbo-It) S 1465 1467 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383913712 9367552 275 33554432000 4194304 5064252 140737419598496 140737419597408 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1467/statm: 2287 275 233 213 0 72 0
[pid=1468] ppid=1467 vsize=18804 CPUtime=2.03 cores=0,2,4,6
/proc/1468/stat : 1468 (npSolver-pbo) S 1467 1467 643 0 -1 4202496 5550 19157 0 0 19 2 175 7 20 0 1 0 383913712 19255296 3524 33554432000 4194304 6004724 140736027352992 140736027339272 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1468/statm: 4701 3524 167 442 0 4255 0
[pid=1473] ppid=1468 vsize=130624 CPUtime=10.64 cores=0,2,4,6
/proc/1473/stat : 1473 (glucosInc) R 1468 1467 643 0 -1 4202496 13792 0 0 0 1057 7 0 0 20 0 1 0 383913918 133758976 25954 33554432000 4194304 5654031 140733989952256 140733989950344 4233173 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1473/statm: 32656 25954 132 357 0 32296 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 158576

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.01 3/181 1473
/proc/meminfo: memFree=25332832/32873844 swapFree=9160/9160
[pid=1467] ppid=1465 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1467/stat : 1467 (npSolver-pbo-It) S 1465 1467 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383913712 9367552 275 33554432000 4194304 5064252 140737419598496 140737419597408 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1467/statm: 2287 275 233 213 0 72 0
[pid=1468] ppid=1467 vsize=18804 CPUtime=2.03 cores=0,2,4,6
/proc/1468/stat : 1468 (npSolver-pbo) S 1467 1467 643 0 -1 4202496 5550 19157 0 0 19 2 175 7 20 0 1 0 383913712 19255296 3524 33554432000 4194304 6004724 140736027352992 140736027339272 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1468/statm: 4701 3524 167 442 0 4255 0
[pid=1473] ppid=1468 vsize=130624 CPUtime=23.44 cores=0,2,4,6
/proc/1473/stat : 1473 (glucosInc) R 1468 1467 643 0 -1 4202496 16495 0 0 0 2333 11 0 0 20 0 1 0 383913918 133758976 24931 33554432000 4194304 5654031 140733989952256 140733989950344 4232960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1473/statm: 32656 24931 132 357 0 32296 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 158576

[startup+51.1004 s]
/proc/loadavg: 2.06 2.01 2.01 3/181 1485
/proc/meminfo: memFree=25214260/32873844 swapFree=9160/9160
[pid=1467] ppid=1465 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1467/stat : 1467 (npSolver-pbo-It) S 1465 1467 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383913712 9367552 275 33554432000 4194304 5064252 140737419598496 140737419597408 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1467/statm: 2287 275 233 213 0 72 0
[pid=1468] ppid=1467 vsize=23668 CPUtime=48.57 cores=0,2,4,6
/proc/1468/stat : 1468 (npSolver-pbo) S 1467 1467 643 0 -1 4202496 17583 94465 0 0 188 56 4572 41 20 0 1 0 383913712 24236032 4805 33554432000 4194304 6004724 140736027352992 140736027338840 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1468/statm: 5917 4805 200 442 0 5471 0
[pid=1485] ppid=1468 vsize=181864 CPUtime=2.48 cores=0,2,4,6
/proc/1485/stat : 1485 (glucosInc) R 1468 1467 643 0 -1 4202496 32067 0 0 0 241 7 0 0 20 0 1 0 383918573 186228736 38507 33554432000 4194304 5654031 140735311218064 140735311215960 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1485/statm: 45466 38507 141 357 0 45106 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 214680

[startup+102.3 s]
/proc/loadavg: 2.02 2.01 2.01 3/181 1491
/proc/meminfo: memFree=25199900/32873844 swapFree=9160/9160
[pid=1467] ppid=1465 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1467/stat : 1467 (npSolver-pbo-It) S 1465 1467 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383913712 9367552 275 33554432000 4194304 5064252 140737419598496 140737419597408 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1467/statm: 2287 275 233 213 0 72 0
[pid=1468] ppid=1467 vsize=22788 CPUtime=72.81 cores=0,2,4,6
/proc/1468/stat : 1468 (npSolver-pbo) S 1467 1467 643 0 -1 4202496 33574 192020 0 0 409 85 6714 73 20 0 1 0 383913712 23334912 4585 33554432000 4194304 6004724 140736027352992 140736027338840 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1468/statm: 5697 4585 200 442 0 5251 0
[pid=1491] ppid=1468 vsize=205908 CPUtime=29.43 cores=0,2,4,6
/proc/1491/stat : 1491 (glucosInc) R 1468 1467 643 0 -1 4202496 33513 0 0 0 2929 14 0 0 20 0 1 0 383920997 210849792 43533 33554432000 4194304 5654031 140734686205616 140734686203704 4232994 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1491/statm: 51477 43533 141 357 0 51117 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 237844

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 1493
/proc/meminfo: memFree=25225824/32873844 swapFree=9160/9160
[pid=1467] ppid=1465 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1467/stat : 1467 (npSolver-pbo-It) S 1465 1467 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383913712 9367552 275 33554432000 4194304 5064252 140737419598496 140737419597408 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1467/statm: 2287 275 233 213 0 72 0
[pid=1468] ppid=1467 vsize=22592 CPUtime=118.49 cores=0,2,4,6
/proc/1468/stat : 1468 (npSolver-pbo) S 1467 1467 643 0 -1 4202496 39135 229196 0 0 479 94 11181 95 20 0 1 0 383913712 23134208 4536 33554432000 4194304 6004724 140736027352992 140736027338840 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/1468/statm: 5648 4536 200 442 0 5202 0
[pid=1493] ppid=1468 vsize=174248 CPUtime=43.74 cores=0,2,4,6
/proc/1493/stat : 1493 (glucosInc) R 1468 1467 643 0 -1 4202496 30558 0 0 0 4366 8 0 0 20 0 1 0 383925566 178429952 37509 33554432000 4194304 5654031 140735711626304 140735711624328 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1493/statm: 43562 37509 140 357 0 43202 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 205988

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1502
/proc/meminfo: memFree=25248472/32873844 swapFree=9160/9160
[pid=1467] ppid=1465 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1467/stat : 1467 (npSolver-pbo-It) S 1465 1467 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383913712 9367552 275 33554432000 4194304 5064252 140737419598496 140737419597408 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1467/statm: 2287 275 233 213 0 72 0
[pid=1468] ppid=1467 vsize=21828 CPUtime=221.19 cores=0,2,4,6
/proc/1468/stat : 1468 (npSolver-pbo) S 1467 1467 643 0 -1 4202496 61422 346845 0 0 736 128 21119 136 20 0 1 0 383913712 22351872 4345 33554432000 4194304 6004724 140736027352992 140736027338840 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/1468/statm: 5457 4345 200 442 0 5011 0
[pid=1502] ppid=1468 vsize=146844 CPUtime=1.03 cores=0,2,4,6
/proc/1502/stat : 1502 (glucosInc) R 1468 1467 643 0 -1 4202496 27674 0 0 0 97 6 0 0 20 0 1 0 383935839 150368256 31755 33554432000 4194304 5654031 140735492210640 140735491159992 4208595 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1502/statm: 36711 31755 141 357 0 36351 0
Current children cumulated CPU time (s) 222.22

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

/proc/loadavg: 2.01 2.00 2.00 3/181 1608
/proc/meminfo: memFree=30608092/32873844 swapFree=9160/9160
[pid=1467] ppid=1465 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1467/stat : 1467 (npSolver-pbo-It) S 1465 1467 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383913712 9367552 275 33554432000 4194304 5064252 140737419598496 140737419597408 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1467/statm: 2287 275 233 213 0 72 0
[pid=1468] ppid=1467 vsize=53244 CPUtime=792.33 cores=0,2,4,6
/proc/1468/stat : 1468 (npSolver-pbo) S 1467 1467 643 0 -1 4202496 112960 600934 0 0 1215 195 77584 239 20 0 1 0 383913712 54521856 12167 33554432000 4194304 6004724 140736027352992 140736027338840 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/1468/statm: 13311 12167 200 442 0 12865 0
[pid=1603] ppid=1468 vsize=198020 CPUtime=569.71 cores=0,2,4,6
/proc/1603/stat : 1603 (glucosInc) R 1468 1467 643 0 -1 4202496 34316 0 0 0 56947 24 0 0 20 0 1 0 383992959 202772480 46429 33554432000 4194304 5654031 140734240871552 140734240859368 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1603/statm: 49505 46429 141 357 0 49145 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 260412

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1608
/proc/meminfo: memFree=30597592/32873844 swapFree=9160/9160
[pid=1467] ppid=1465 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1467/stat : 1467 (npSolver-pbo-It) S 1465 1467 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383913712 9367552 275 33554432000 4194304 5064252 140737419598496 140737419597408 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1467/statm: 2287 275 233 213 0 72 0
[pid=1468] ppid=1467 vsize=53244 CPUtime=792.33 cores=0,2,4,6
/proc/1468/stat : 1468 (npSolver-pbo) S 1467 1467 643 0 -1 4202496 112960 600934 0 0 1215 195 77584 239 20 0 1 0 383913712 54521856 12167 33554432000 4194304 6004724 140736027352992 140736027338840 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/1468/statm: 13311 12167 200 442 0 12865 0
[pid=1603] ppid=1468 vsize=278928 CPUtime=629.7 cores=0,2,4,6
/proc/1603/stat : 1603 (glucosInc) R 1468 1467 643 0 -1 4202496 35238 0 0 0 62945 25 0 0 20 0 1 0 383992959 285622272 59085 33554432000 4194304 5654031 140734240871552 140734240859368 4215040 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1603/statm: 69732 59085 141 357 0 69372 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 341320

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1608
/proc/meminfo: memFree=30567232/32873844 swapFree=9160/9160
[pid=1467] ppid=1465 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1467/stat : 1467 (npSolver-pbo-It) S 1465 1467 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383913712 9367552 275 33554432000 4194304 5064252 140737419598496 140737419597408 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1467/statm: 2287 275 233 213 0 72 0
[pid=1468] ppid=1467 vsize=53244 CPUtime=792.33 cores=0,2,4,6
/proc/1468/stat : 1468 (npSolver-pbo) S 1467 1467 643 0 -1 4202496 112960 600934 0 0 1215 195 77584 239 20 0 1 0 383913712 54521856 12167 33554432000 4194304 6004724 140736027352992 140736027338840 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/1468/statm: 13311 12167 200 442 0 12865 0
[pid=1603] ppid=1468 vsize=228840 CPUtime=689.68 cores=0,2,4,6
/proc/1603/stat : 1603 (glucosInc) R 1468 1467 643 0 -1 4202496 36323 0 0 0 68941 27 0 0 20 0 1 0 383992959 234332160 55200 33554432000 4194304 5654031 140734240871552 140734240859368 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1603/statm: 57210 55200 141 357 0 56850 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 291232

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1609
/proc/meminfo: memFree=30576920/32873844 swapFree=9160/9160
[pid=1467] ppid=1465 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1467/stat : 1467 (npSolver-pbo-It) S 1465 1467 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383913712 9367552 275 33554432000 4194304 5064252 140737419598496 140737419597408 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1467/statm: 2287 275 233 213 0 72 0
[pid=1468] ppid=1467 vsize=53244 CPUtime=792.33 cores=0,2,4,6
/proc/1468/stat : 1468 (npSolver-pbo) S 1467 1467 643 0 -1 4202496 112960 600934 0 0 1215 195 77584 239 20 0 1 0 383913712 54521856 12167 33554432000 4194304 6004724 140736027352992 140736027338840 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/1468/statm: 13311 12167 200 442 0 12865 0
[pid=1603] ppid=1468 vsize=228840 CPUtime=749.68 cores=0,2,4,6
/proc/1603/stat : 1603 (glucosInc) R 1468 1467 643 0 -1 4202496 37694 0 0 0 74939 29 0 0 20 0 1 0 383992959 234332160 50592 33554432000 4194304 5654031 140734240871552 140734240859368 4215097 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1603/statm: 57210 50592 141 357 0 56850 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 291232

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1609
/proc/meminfo: memFree=30610200/32873844 swapFree=9160/9160
[pid=1467] ppid=1465 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1467/stat : 1467 (npSolver-pbo-It) S 1465 1467 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383913712 9367552 275 33554432000 4194304 5064252 140737419598496 140737419597408 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1467/statm: 2287 275 233 213 0 72 0
[pid=1468] ppid=1467 vsize=53244 CPUtime=792.33 cores=0,2,4,6
/proc/1468/stat : 1468 (npSolver-pbo) S 1467 1467 643 0 -1 4202496 112960 600934 0 0 1215 195 77584 239 20 0 1 0 383913712 54521856 12167 33554432000 4194304 6004724 140736027352992 140736027338840 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/1468/statm: 13311 12167 200 442 0 12865 0
[pid=1603] ppid=1468 vsize=198020 CPUtime=809.66 cores=0,2,4,6
/proc/1603/stat : 1603 (glucosInc) R 1468 1467 643 0 -1 4202496 38484 0 0 0 80935 31 0 0 20 0 1 0 383992959 202772480 47453 33554432000 4194304 5654031 140734240871552 140734240859368 4215091 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1603/statm: 49505 47453 141 357 0 49145 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 260412

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1609
/proc/meminfo: memFree=30604184/32873844 swapFree=9160/9160
[pid=1467] ppid=1465 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1467/stat : 1467 (npSolver-pbo-It) S 1465 1467 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383913712 9367552 275 33554432000 4194304 5064252 140737419598496 140737419597408 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1467/statm: 2287 275 233 213 0 72 0
[pid=1468] ppid=1467 vsize=53244 CPUtime=792.33 cores=0,2,4,6
/proc/1468/stat : 1468 (npSolver-pbo) S 1467 1467 643 0 -1 4202496 112960 600934 0 0 1215 195 77584 239 20 0 1 0 383913712 54521856 12167 33554432000 4194304 6004724 140736027352992 140736027338840 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/1468/statm: 13311 12167 200 442 0 12865 0
[pid=1603] ppid=1468 vsize=198020 CPUtime=869.65 cores=0,2,4,6
/proc/1603/stat : 1603 (glucosInc) R 1468 1467 643 0 -1 4202496 39897 0 0 0 86931 34 0 0 20 0 1 0 383992959 202772480 47453 33554432000 4194304 5654031 140734240871552 140734240859368 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1603/statm: 49505 47453 141 357 0 49145 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 260412

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 1612
/proc/meminfo: memFree=30551492/32873844 swapFree=9160/9160
[pid=1467] ppid=1465 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1467/stat : 1467 (npSolver-pbo-It) S 1465 1467 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383913712 9367552 275 33554432000 4194304 5064252 140737419598496 140737419597408 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1467/statm: 2287 275 233 213 0 72 0
[pid=1468] ppid=1467 vsize=53244 CPUtime=792.33 cores=0,2,4,6
/proc/1468/stat : 1468 (npSolver-pbo) S 1467 1467 643 0 -1 4202496 112960 600934 0 0 1215 195 77584 239 20 0 1 0 383913712 54521856 12167 33554432000 4194304 6004724 140736027352992 140736027338840 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/1468/statm: 13311 12167 200 442 0 12865 0
[pid=1603] ppid=1468 vsize=278928 CPUtime=929.65 cores=0,2,4,6
/proc/1603/stat : 1603 (glucosInc) R 1468 1467 643 0 -1 4202496 40802 0 0 0 92929 36 0 0 20 0 1 0 383992959 285622272 57549 33554432000 4194304 5654031 140734240871552 140734240859368 4215121 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1603/statm: 69732 57549 141 357 0 69372 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 341320

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 1612
/proc/meminfo: memFree=30579756/32873844 swapFree=9160/9160
[pid=1467] ppid=1465 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1467/stat : 1467 (npSolver-pbo-It) S 1465 1467 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383913712 9367552 275 33554432000 4194304 5064252 140737419598496 140737419597408 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1467/statm: 2287 275 233 213 0 72 0
[pid=1468] ppid=1467 vsize=53244 CPUtime=792.33 cores=0,2,4,6
/proc/1468/stat : 1468 (npSolver-pbo) S 1467 1467 643 0 -1 4202496 112960 600934 0 0 1215 195 77584 239 20 0 1 0 383913712 54521856 12167 33554432000 4194304 6004724 140736027352992 140736027338840 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/1468/statm: 13311 12167 200 442 0 12865 0
[pid=1603] ppid=1468 vsize=228840 CPUtime=989.64 cores=0,2,4,6
/proc/1603/stat : 1603 (glucosInc) R 1468 1467 643 0 -1 4202496 41897 0 0 0 98926 38 0 0 20 0 1 0 383992959 234332160 51104 33554432000 4194304 5654031 140734240871552 140734240859368 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1603/statm: 57210 51104 141 357 0 56850 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 291232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 1612
/proc/meminfo: memFree=30587280/32873844 swapFree=9160/9160
[pid=1467] ppid=1465 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1467/stat : 1467 (npSolver-pbo-It) S 1465 1467 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383913712 9367552 275 33554432000 4194304 5064252 140737419598496 140737419597408 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1467/statm: 2287 275 233 213 0 72 0
[pid=1468] ppid=1467 vsize=53244 CPUtime=792.33 cores=0,2,4,6
/proc/1468/stat : 1468 (npSolver-pbo) S 1467 1467 643 0 -1 4202496 112960 600934 0 0 1215 195 77584 239 20 0 1 0 383913712 54521856 12167 33554432000 4194304 6004724 140736027352992 140736027338840 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/1468/statm: 13311 12167 200 442 0 12865 0
[pid=1603] ppid=1468 vsize=228840 CPUtime=1007.74 cores=0,2,4,6
/proc/1603/stat : 1603 (glucosInc) R 1468 1467 643 0 -1 4202496 41902 0 0 0 100736 38 0 0 20 0 1 0 383992959 234332160 53664 33554432000 4194304 5654031 140734240871552 140734240859368 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1603/statm: 57210 53664 141 357 0 56850 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 291232

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 1612
/proc/meminfo: memFree=30587280/32873844 swapFree=9160/9160
[pid=1467] ppid=1465 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1467/stat : 1467 (npSolver-pbo-It) S 1465 1467 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383913712 9367552 275 33554432000 4194304 5064252 140737419598496 140737419597408 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1467/statm: 2287 275 233 213 0 72 0
[pid=1468] ppid=1467 vsize=53244 CPUtime=792.33 cores=0,2,4,6
/proc/1468/stat : 1468 (npSolver-pbo) S 1467 1467 643 0 -1 4202496 112960 600934 0 0 1215 195 77584 239 20 0 1 0 383913712 54521856 12167 33554432000 4194304 6004724 140736027352992 140736027338840 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/1468/statm: 13311 12167 200 442 0 12865 0
[pid=1603] ppid=1468 vsize=228840 CPUtime=1007.74 cores=0,2,4,6
/proc/1603/stat : 1603 (glucosInc) R 1468 1467 643 0 -1 4202496 41902 0 0 0 100736 38 0 0 20 0 1 0 383992959 234332160 53664 33554432000 4194304 5654031 140734240871552 140734240859368 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1603/statm: 57210 53664 141 357 0 56850 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 291232

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1467 and gives
#  childrusage.ru_utime.tv_sec=787
#  childrusage.ru_utime.tv_usec=997206
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=351338
# CPU time returned by wait4() is 792.349
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1795.35
CPU system time (s): 4.72
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 390640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 787.997
system time used= 4.35134
maximum resident set size= 268856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 714268
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1718024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10870
involuntary context switches= 1468

runsolver used 2.72758 second user time and 7.18291 second system time

The end

Launcher Data 

Begin job on node139 at 2012-06-08 19:51:32
IDJOB=3751679
IDBENCH=92747
IDSOLVER=2335
FILE ID=node139/3751679-1339177891
RUNJOBID= node139-1339170208-659
PBS_JOBID= 14643822
Free space on /tmp= 69580 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_2.opb
COMMAND LINE= DIR/npSolver-pbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3751679-1339177891/watcher-3751679-1339177891 -o /tmp/evaluation-result-3751679-1339177891/solver-3751679-1339177891 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751679-1339177891.opb 880409289 HOME HOME

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

MD5SUM BENCH= 0c9f9f4d9069e955741fce23953a7e72
RANDOM SEED=880409289

node139.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.750
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	: 5333.50
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.750
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	: 5331.91
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.750
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	: 5331.90
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.750
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	: 5331.91
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.750
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	: 5331.92
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.750
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	: 5331.91
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.750
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	: 5331.91
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.750
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        25447592 kB
Buffers:          640188 kB
Cached:          1391556 kB
SwapCached:          496 kB
Active:          6466544 kB
Inactive:          21356 kB
Active(anon):    4448984 kB
Inactive(anon):     9160 kB
Active(file):    2017560 kB
Inactive(file):    12196 kB
Unevictable:        9160 kB
Mlocked:            9160 kB
SwapTotal:      67108856 kB
SwapFree:       67104292 kB
Dirty:              8944 kB
Writeback:             0 kB
AnonPages:       4464052 kB
Mapped:            11708 kB
Shmem:                 8 kB
Slab:             787364 kB
SReclaimable:     229568 kB
SUnreclaim:       557796 kB
KernelStack:        1480 kB
PageTables:        12584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    5924640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2322432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70664 MiB
End job on node139 at 2012-06-08 20:21:32