Trace number 3702985

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
npSolver inc-topdown-quickBound? (TO) 1751.85 1900.01

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=113-Q=233.opb
MD5SUMf1df6d8d5ad4d56009afe0e51e9624cf
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark113
Best CPU time to get the best result obtained on this benchmark0.003998
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 113
Optimality of the best value was proved YES
Number of variables99
Total number of constraints244
Number of constraints which are clauses243
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint81
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 65536
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 287450
Number of bits of the biggest sum of numbers19
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.13	c fallback to adder encoding
0.00/0.18	c run inc solver
0.00/0.18	c [INC SYSTEM] run initial solver
0.00/0.18	c [INC SYSTEM] preprocess with white file
0.00/0.33	c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.33	c [INC SYSTEM] execute solver
0.00/3.85	c [INC SEARCH] formula is SAT
0.00/3.85	c [INC SYSTEM] solved the initial formula
0.00/3.85	c model valid
0.00/3.85	c current solution ok
0.00/3.88	o 233
0.00/3.88	c starting approximation
0.00/3.88	c factor = 2
0.00/3.88	c current bound: 116
8.44/8.54	c model valid
8.44/8.54	c current solution ok
8.44/8.55	c current bound: 116
13.13/13.22	c model valid
13.13/13.22	c current solution ok
13.13/13.22	c current bound: 116
17.71/17.88	c model valid
17.71/17.88	c current solution ok
17.71/17.89	c current bound: 116
22.41/22.55	c model valid
22.41/22.55	c current solution ok
22.41/22.56	c current bound: 116
27.10/27.23	c model valid
27.10/27.23	c current solution ok
27.10/27.23	c current bound: 116
31.78/31.91	c model valid
31.78/31.91	c current solution ok
31.78/31.91	c current bound: 116
36.39/36.58	c model valid
36.39/36.58	c current solution ok
36.39/36.59	c current bound: 116
41.07/41.26	c model valid
41.07/41.26	c current solution ok
41.07/41.26	c current bound: 116
45.80/45.90	c model valid
45.80/45.90	c current solution ok
45.80/45.90	c current bound: 116
45.83/50.54	c model valid
45.83/50.54	c current solution ok
55.11/55.19	c current bound: 116
55.11/55.20	c model valid
55.11/55.20	c current solution ok
55.11/55.20	c current bound: 116
59.78/59.85	c model valid
59.78/59.85	c current solution ok
59.78/59.86	c current bound: 116
64.34/64.49	c model valid
64.34/64.49	c current solution ok
64.44/64.50	c current bound: 116
69.04/69.13	c model valid
69.04/69.13	c current solution ok
69.04/69.14	c current bound: 116
73.64/73.78	c model valid
73.64/73.78	c current solution ok
73.64/73.78	c current bound: 116
78.34/78.43	c model valid
78.34/78.43	c current solution ok
78.34/78.44	c current bound: 116
82.94/83.06	c model valid
82.94/83.06	c current solution ok
82.94/83.07	c current bound: 116
87.53/87.69	c model valid
87.53/87.69	c current solution ok
87.53/87.69	c current bound: 116
92.24/92.32	c model valid
92.24/92.32	c current solution ok
92.24/92.32	c current bound: 116
96.83/96.94	c model valid
96.83/96.94	c current solution ok
96.83/96.95	c current bound: 116
101.42/101.57	c model valid
101.42/101.57	c current solution ok
101.42/101.57	c current bound: 116
106.13/106.21	c model valid
106.13/106.21	c current solution ok
106.13/106.21	c current bound: 116
110.74/110.84	c model valid
110.74/110.84	c current solution ok
110.74/110.85	c current bound: 116
115.34/115.47	c model valid
115.34/115.47	c current solution ok
115.34/115.47	c current bound: 116
119.93/120.09	c model valid
119.93/120.09	c current solution ok
119.93/120.10	c current bound: 116
124.63/124.74	c model valid
124.63/124.74	c current solution ok
124.63/124.74	c current bound: 116
129.22/129.37	c model valid
129.22/129.37	c current solution ok
129.22/129.37	c current bound: 116
133.82/134.00	c model valid
133.82/134.00	c current solution ok
133.82/134.00	c current bound: 116
138.52/138.62	c model valid
138.52/138.62	c current solution ok
138.52/138.62	c current bound: 116
143.12/143.25	c model valid
143.12/143.25	c current solution ok
143.12/143.26	c current bound: 116
147.82/147.90	c model valid
147.82/147.90	c current solution ok
147.82/147.90	c current bound: 116
152.41/152.53	c model valid
152.41/152.53	c current solution ok
152.41/152.53	c current bound: 116
157.03/157.16	c model valid
157.03/157.16	c current solution ok
157.03/157.16	c current bound: 116
161.63/161.79	c model valid
161.63/161.79	c current solution ok
161.63/161.79	c current bound: 116
166.32/166.43	c model valid
166.32/166.43	c current solution ok
166.32/166.43	c current bound: 116
170.92/171.06	c model valid
170.92/171.06	c current solution ok
170.92/171.06	c current bound: 116
175.51/175.68	c model valid
175.51/175.68	c current solution ok
175.51/175.69	c current bound: 116
180.23/180.31	c model valid
180.23/180.31	c current solution ok
180.23/180.31	c current bound: 116
184.82/184.94	c model valid
184.82/184.94	c current solution ok
184.82/184.94	c current bound: 116
189.41/189.58	c model valid
189.41/189.58	c current solution ok
189.41/189.58	c current bound: 116
194.12/194.21	c model valid
194.12/194.21	c current solution ok
194.12/194.21	c current bound: 116
198.72/198.83	c model valid
198.72/198.83	c current solution ok
198.72/198.84	c current bound: 116
203.32/203.46	c model valid
203.32/203.46	c current solution ok
203.32/203.46	c current bound: 116
207.91/208.09	c model valid
207.91/208.09	c current solution ok
207.91/208.10	c current bound: 116
212.60/212.72	c model valid
212.60/212.72	c current solution ok
212.60/212.72	c current bound: 116
217.20/217.35	c model valid
217.20/217.35	c current solution ok
217.20/217.35	c current bound: 116
221.82/221.98	c model valid
221.82/221.98	c current solution ok
221.82/221.99	c current bound: 116
226.53/226.63	c model valid
226.53/226.63	c current solution ok
226.53/226.63	c current bound: 116
231.12/231.27	c model valid
231.12/231.27	c current solution ok
231.12/231.27	c current bound: 116
235.82/235.90	c model valid
235.82/235.90	c current solution ok
235.82/235.90	c current bound: 116
240.41/240.55	c model valid
240.41/240.55	c current solution ok
240.41/240.55	c current bound: 116
245.01/245.17	c model valid
245.01/245.17	c current solution ok
245.01/245.17	c current bound: 116
249.71/249.80	c model valid
249.71/249.80	c current solution ok
249.71/249.81	c current bound: 116
254.31/254.45	c model valid
254.31/254.45	c current solution ok
254.31/254.45	c current bound: 116
258.90/259.09	c model valid
258.90/259.09	c current solution ok
258.90/259.09	c current bound: 116
263.60/263.72	c model valid
263.60/263.72	c current solution ok
263.60/263.73	c current bound: 116
268.21/268.35	c model valid
268.21/268.35	c current solution ok
268.21/268.35	c current bound: 116
272.80/272.98	c model valid
272.80/272.98	c current solution ok
272.80/272.99	c current bound: 116
277.49/277.62	c model valid
277.49/277.62	c current solution ok
277.49/277.62	c current bound: 116
282.11/282.26	c model valid
282.11/282.26	c current solution ok
282.11/282.26	c current bound: 116
286.71/286.89	c model valid
286.71/286.89	c current solution ok
286.71/286.89	c current bound: 116
291.41/291.53	c model valid
291.41/291.53	c current solution ok
291.41/291.53	c current bound: 116
296.01/296.16	c model valid
296.01/296.16	c current solution ok
296.01/296.16	c current bound: 116
300.60/300.79	c model valid
300.60/300.79	c current solution ok
300.60/300.79	c current bound: 116
305.29/305.43	c model valid
305.29/305.43	c current solution ok
305.29/305.43	c current bound: 116
309.90/310.07	c model valid
309.90/310.07	c current solution ok
309.90/310.07	c current bound: 116
314.61/314.70	c model valid
314.61/314.70	c current solution ok
314.61/314.70	c current bound: 116
319.20/319.33	c model valid
319.20/319.33	c current solution ok
319.20/319.33	c current bound: 116
323.80/323.96	c model valid
323.80/323.96	c current solution ok
323.80/323.96	c current bound: 116
328.40/328.59	c model valid
328.40/328.59	c current solution ok
328.40/328.59	c current bound: 116
333.11/333.21	c model valid
333.11/333.21	c current solution ok
333.11/333.21	c current bound: 116
337.71/337.84	c model valid
337.71/337.84	c current solution ok
337.71/337.85	c current bound: 116
342.31/342.47	c model valid
342.31/342.47	c current solution ok
342.31/342.47	c current bound: 116
346.99/347.11	c model valid
346.99/347.11	c current solution ok
346.99/347.11	c current bound: 116
351.59/351.73	c model valid
351.59/351.73	c current solution ok
351.59/351.73	c current bound: 116
356.19/356.34	c model valid
356.19/356.34	c current solution ok
356.19/356.34	c current bound: 116
360.78/360.97	c model valid
360.78/360.97	c current solution ok
360.78/360.97	c current bound: 116
365.49/365.60	c model valid
365.49/365.60	c current solution ok
365.49/365.60	c current bound: 116
370.09/370.23	c model valid
370.09/370.23	c current solution ok
370.09/370.23	c current bound: 116
374.68/374.86	c model valid
374.68/374.86	c current solution ok
374.68/374.87	c current bound: 116
379.29/379.49	c model valid
379.29/379.49	c current solution ok
379.38/379.50	c current bound: 116
383.97/384.14	c model valid
383.97/384.14	c current solution ok
383.97/384.14	c current bound: 116
388.59/388.77	c model valid
388.59/388.77	c current solution ok
388.59/388.77	c current bound: 116
393.30/393.40	c model valid
393.30/393.40	c current solution ok
393.30/393.40	c current bound: 116
397.89/398.02	c model valid
397.89/398.02	c current solution ok
397.89/398.02	c current bound: 116
402.49/402.66	c model valid
402.49/402.66	c current solution ok
402.49/402.66	c current bound: 116
407.07/407.28	c model valid
407.07/407.28	c current solution ok
407.07/407.28	c current bound: 116
411.79/411.93	c model valid
411.79/411.93	c current solution ok
411.79/411.93	c current bound: 116
416.39/416.55	c model valid
416.39/416.55	c current solution ok
416.39/416.56	c current bound: 116
420.98/421.19	c model valid
420.98/421.19	c current solution ok
420.98/421.19	c current bound: 116
425.69/425.80	c model valid
425.69/425.80	c current solution ok
425.69/425.81	c current bound: 116
430.27/430.43	c model valid
430.27/430.43	c current solution ok
430.27/430.43	c current bound: 116
434.88/435.06	c model valid
434.88/435.06	c current solution ok
434.88/435.06	c current bound: 116
439.59/439.70	c model valid
439.59/439.70	c current solution ok
439.59/439.70	c current bound: 116
444.18/444.33	c model valid
444.18/444.33	c current solution ok
444.18/444.34	c current bound: 116
448.78/448.98	c model valid
448.78/448.98	c current solution ok
448.78/448.98	c current bound: 116
453.48/453.61	c model valid
453.48/453.61	c current solution ok
453.48/453.61	c current bound: 116
458.08/458.25	c model valid
458.08/458.25	c current solution ok
458.08/458.25	c current bound: 116
462.65/462.89	c model valid
462.65/462.89	c current solution ok
462.65/462.89	c current bound: 116
467.38/467.52	c model valid
467.38/467.52	c current solution ok
467.38/467.52	c current bound: 116
471.97/472.16	c model valid
471.97/472.16	c current solution ok
471.97/472.16	c current bound: 116
476.58/476.79	c model valid
476.58/476.79	c current solution ok
476.58/476.79	c current bound: 116
481.27/481.41	c model valid
481.27/481.41	c current solution ok
481.27/481.42	c current bound: 116
485.88/486.03	c model valid
485.88/486.03	c current solution ok
485.88/486.04	c current bound: 116
490.48/490.66	c model valid
490.48/490.66	c current solution ok
490.48/490.67	c current bound: 116
495.18/495.31	c model valid
495.18/495.31	c current solution ok
495.18/495.31	c current bound: 116
499.77/499.94	c model valid
499.77/499.94	c current solution ok
499.77/499.94	c current bound: 116
504.36/504.57	c model valid
504.36/504.57	c current solution ok
504.36/504.57	c current bound: 116
509.08/509.21	c model valid
509.08/509.21	c current solution ok
509.08/509.21	c current bound: 116
513.66/513.85	c model valid
513.66/513.85	c current solution ok
513.66/513.86	c current bound: 116
518.28/518.48	c model valid
518.28/518.48	c current solution ok
518.28/518.48	c current bound: 116
522.98/523.12	c model valid
522.98/523.12	c current solution ok
522.98/523.12	c current bound: 116
527.57/527.75	c model valid
527.57/527.75	c current solution ok
527.57/527.75	c current bound: 116
532.17/532.38	c model valid
532.17/532.38	c current solution ok
532.17/532.38	c current bound: 116
536.86/537.02	c model valid
536.86/537.02	c current solution ok
536.86/537.02	c current bound: 116
541.46/541.64	c model valid
541.46/541.64	c current solution ok
541.46/541.65	c current bound: 116
546.06/546.28	c model valid
546.06/546.28	c current solution ok
546.06/546.29	c current bound: 116
550.78/550.91	c model valid
550.78/550.91	c current solution ok
550.78/550.91	c current bound: 116
555.36/555.54	c model valid
555.36/555.54	c current solution ok
555.36/555.54	c current bound: 116
559.96/560.16	c model valid
559.96/560.16	c current solution ok
559.96/560.17	c current bound: 116
564.67/564.80	c model valid
564.67/564.80	c current solution ok
564.67/564.80	c current bound: 116
569.25/569.42	c model valid
569.25/569.42	c current solution ok
569.25/569.42	c current bound: 116
573.86/574.05	c model valid
573.86/574.05	c current solution ok
573.86/574.05	c current bound: 116
578.46/578.68	c model valid
578.46/578.68	c current solution ok
578.46/578.68	c current bound: 116
583.18/583.32	c model valid
583.18/583.32	c current solution ok
583.18/583.32	c current bound: 116
587.76/587.94	c model valid
587.76/587.94	c current solution ok
587.76/587.94	c current bound: 116
592.36/592.59	c model valid
592.36/592.59	c current solution ok
592.47/592.60	c current bound: 116
597.06/597.23	c model valid
597.06/597.23	c current solution ok
597.06/597.23	c current bound: 116
601.66/601.85	c model valid
601.66/601.85	c current solution ok
601.66/601.85	c current bound: 116
606.25/606.48	c model valid
606.25/606.48	c current solution ok
606.25/606.48	c current bound: 116
610.96/611.12	c model valid
610.96/611.12	c current solution ok
610.96/611.12	c current bound: 116
615.54/615.75	c model valid
615.54/615.75	c current solution ok
615.54/615.75	c current bound: 116
620.16/620.38	c model valid
620.16/620.38	c current solution ok
620.16/620.38	c current bound: 116
624.85/625.01	c model valid
624.85/625.01	c current solution ok
624.85/625.02	c current bound: 116
629.45/629.65	c model valid
629.45/629.65	c current solution ok
629.45/629.65	c current bound: 116
634.04/634.27	c model valid
634.04/634.27	c current solution ok
634.04/634.27	c current bound: 116
638.76/638.92	c model valid
638.76/638.92	c current solution ok
638.76/638.92	c current bound: 116
643.34/643.57	c model valid
643.34/643.57	c current solution ok
643.34/643.57	c current bound: 116
648.05/648.22	c model valid
648.05/648.22	c current solution ok
648.05/648.23	c current bound: 116
652.66/652.85	c model valid
652.66/652.85	c current solution ok
652.66/652.86	c current bound: 116
657.36/657.50	c model valid
657.36/657.50	c current solution ok
657.36/657.50	c current bound: 116
661.97/662.14	c model valid
661.97/662.14	c current solution ok
661.97/662.15	c current bound: 116
666.55/666.78	c model valid
666.55/666.78	c current solution ok
666.55/666.78	c current bound: 116
671.24/671.41	c model valid
671.24/671.41	c current solution ok
671.24/671.41	c current bound: 116
675.85/676.05	c model valid
675.85/676.05	c current solution ok
675.85/676.06	c current bound: 116
680.45/680.67	c model valid
680.45/680.67	c current solution ok
680.45/680.68	c current bound: 116
685.15/685.30	c model valid
685.15/685.30	c current solution ok
685.15/685.30	c current bound: 116
689.74/689.93	c model valid
689.74/689.93	c current solution ok
689.74/689.93	c current bound: 116
694.34/694.56	c model valid
694.34/694.56	c current solution ok
694.34/694.57	c current bound: 116
698.93/699.19	c model valid
698.93/699.19	c current solution ok
698.93/699.20	c current bound: 116
703.65/703.83	c model valid
703.65/703.83	c current solution ok
703.65/703.83	c current bound: 116
708.25/708.47	c model valid
708.25/708.47	c current solution ok
708.25/708.47	c current bound: 116
712.85/713.05	c model valid
712.85/713.05	c current solution ok
712.85/713.05	c current bound: 116
717.44/717.68	c model valid
717.44/717.68	c current solution ok
717.44/717.68	c current bound: 116
722.04/722.29	c model valid
722.04/722.29	c current solution ok
722.14/722.30	c current bound: 116
726.73/726.97	c model valid
726.73/726.97	c current solution ok
726.76/727.01	c current bound: 116
731.39/731.60	c model valid
731.39/731.60	c current solution ok
731.39/731.60	c current bound: 116
735.98/736.24	c model valid
735.98/736.24	c current solution ok
735.98/736.25	c current bound: 116
740.59/740.87	c model valid
740.59/740.87	c current solution ok
740.59/740.87	c current bound: 116
745.29/745.51	c model valid
745.29/745.51	c current solution ok
745.29/745.51	c current bound: 116
749.88/750.13	c model valid
749.88/750.13	c current solution ok
749.88/750.13	c current bound: 116
754.37/754.67	c model valid
754.37/754.67	c current solution ok
754.37/754.67	c current bound: 116
758.96/759.29	c model valid
758.96/759.29	c current solution ok
758.96/759.29	c current bound: 116
763.66/763.94	c model valid
763.66/763.94	c current solution ok
763.66/763.94	c current bound: 116
768.28/768.58	c model valid
768.28/768.58	c current solution ok
768.28/768.59	c current bound: 116
772.98/773.22	c model valid
772.98/773.22	c current solution ok
772.98/773.22	c current bound: 116
777.57/777.86	c model valid
777.57/777.86	c current solution ok
777.57/777.86	c current bound: 116
782.17/782.45	c model valid
782.17/782.45	c current solution ok
782.17/782.46	c current bound: 116
786.77/787.08	c model valid
786.77/787.08	c current solution ok
786.77/787.08	c current bound: 116
791.46/791.71	c model valid
791.46/791.71	c current solution ok
791.46/791.71	c current bound: 116
796.07/796.33	c model valid
796.07/796.33	c current solution ok
796.07/796.34	c current bound: 116
800.66/800.97	c model valid
800.66/800.97	c current solution ok
800.66/800.97	c current bound: 116
805.38/805.60	c model valid
805.38/805.60	c current solution ok
805.38/805.61	c current bound: 116
809.96/810.24	c model valid
809.96/810.24	c current solution ok
809.96/810.24	c current bound: 116
814.56/814.88	c model valid
814.56/814.88	c current solution ok
814.56/814.88	c current bound: 116
819.25/819.52	c model valid
819.25/819.52	c current solution ok
819.25/819.52	c current bound: 116
823.86/824.15	c model valid
823.86/824.15	c current solution ok
823.86/824.16	c current bound: 116
828.46/828.79	c model valid
828.46/828.79	c current solution ok
828.46/828.80	c current bound: 116
833.15/833.41	c model valid
833.15/833.41	c current solution ok
833.15/833.41	c current bound: 116
837.77/838.04	c model valid
837.77/838.04	c current solution ok
837.77/838.04	c current bound: 116
842.35/842.66	c model valid
842.35/842.66	c current solution ok
842.35/842.66	c current bound: 116
847.06/847.30	c model valid
847.06/847.30	c current solution ok
847.06/847.30	c current bound: 116
851.65/851.93	c model valid
851.65/851.93	c current solution ok
851.65/851.94	c current bound: 116
856.25/856.57	c model valid
856.25/856.57	c current solution ok
856.25/856.58	c current bound: 116
860.95/861.21	c model valid
860.95/861.21	c current solution ok
860.95/861.21	c current bound: 116
865.56/865.84	c model valid
865.56/865.84	c current solution ok
865.56/865.84	c current bound: 116
870.14/870.47	c model valid
870.14/870.47	c current solution ok
870.14/870.47	c current bound: 116
874.84/875.10	c model valid
874.84/875.10	c current solution ok
874.84/875.10	c current bound: 116
879.45/879.75	c model valid
879.45/879.75	c current solution ok
879.45/879.75	c current bound: 116
884.04/884.32	c model valid
884.04/884.32	c current solution ok
884.04/884.32	c current bound: 116
888.64/888.95	c model valid
888.64/888.95	c current solution ok
888.64/888.96	c current bound: 116
893.23/893.50	c model valid
893.23/893.50	c current solution ok
893.23/893.50	c current bound: 116
897.83/898.12	c model valid
897.83/898.12	c current solution ok
897.83/898.13	c current bound: 116
902.44/902.76	c model valid
902.44/902.76	c current solution ok
902.44/902.77	c current bound: 116
907.15/907.41	c model valid
907.15/907.41	c current solution ok
907.15/907.42	c current bound: 116
911.73/912.06	c model valid
911.73/912.06	c current solution ok
911.73/912.06	c current bound: 116
916.44/916.70	c model valid
916.44/916.70	c current solution ok
916.44/916.70	c current bound: 116
921.04/921.34	c model valid
921.04/921.34	c current solution ok
921.04/921.34	c current bound: 116
925.64/925.99	c model valid
925.64/925.99	c current solution ok
925.64/925.99	c current bound: 116
930.34/930.60	c model valid
930.34/930.60	c current solution ok
930.34/930.60	c current bound: 116
934.93/935.25	c model valid
934.93/935.25	c current solution ok
934.93/935.25	c current bound: 116
939.60/939.86	c model valid
939.60/939.86	c current solution ok
939.60/939.86	c current bound: 116
944.25/944.49	c model valid
944.25/944.49	c current solution ok
944.25/944.50	c current bound: 116
948.89/949.13	c model valid
948.89/949.13	c current solution ok
948.89/949.13	c current bound: 116
953.56/953.76	c model valid
953.56/953.76	c current solution ok
953.56/953.77	c current bound: 116
958.19/958.39	c model valid
958.19/958.39	c current solution ok
958.19/958.39	c current bound: 116
962.84/963.01	c model valid
962.84/963.01	c current solution ok
962.84/963.02	c current bound: 116
967.48/967.64	c model valid
967.48/967.64	c current solution ok
967.48/967.64	c current bound: 116
972.12/972.27	c model valid
972.12/972.27	c current solution ok
972.12/972.27	c current bound: 116
976.77/976.89	c model valid
976.77/976.89	c current solution ok
976.77/976.89	c current bound: 116
981.43/981.53	c model valid
981.43/981.53	c current solution ok
981.43/981.53	c current bound: 116
986.09/986.17	c model valid
986.09/986.17	c current solution ok
986.09/986.17	c current bound: 116
990.73/990.79	c model valid
990.73/990.79	c current solution ok
990.73/990.79	c current bound: 116
995.39/995.43	c model valid
995.39/995.43	c current solution ok
995.39/995.43	c current bound: 116
1000.03/1000.06	c model valid
1000.03/1000.06	c current solution ok
1000.03/1000.06	c current bound: 116
1004.67/1004.68	c model valid
1004.67/1004.68	c current solution ok
1004.67/1004.68	c current bound: 116
1009.31/1009.30	c model valid
1009.31/1009.30	c current solution ok
1009.31/1009.30	c current bound: 116
1013.96/1013.93	c model valid
1013.96/1013.93	c current solution ok
1013.96/1013.93	c current bound: 116
1018.60/1018.55	c model valid
1018.60/1018.55	c current solution ok
1018.60/1018.56	c current bound: 116
1023.26/1023.18	c model valid
1023.26/1023.18	c current solution ok
1023.26/1023.18	c current bound: 116
1027.89/1027.80	c model valid
1027.89/1027.80	c current solution ok
1027.89/1027.80	c current bound: 116
1032.55/1032.43	c model valid
1032.55/1032.43	c current solution ok
1032.55/1032.43	c current bound: 116
1037.19/1037.05	c model valid
1037.19/1037.05	c current solution ok
1037.19/1037.05	c current bound: 116
1041.83/1041.68	c model valid
1041.83/1041.68	c current solution ok
1041.83/1041.68	c current bound: 116
1046.49/1046.31	c model valid
1046.49/1046.31	c current solution ok
1046.49/1046.31	c current bound: 116
1051.07/1050.87	c model valid
1051.07/1050.87	c current solution ok
1051.10/1199.16	c current bound: 116
1051.10/1203.86	c model valid
1051.10/1203.86	c current solution ok
1051.10/1203.86	c current bound: 116
1060.46/1208.51	c model valid
1060.46/1208.51	c current solution ok
1060.46/1208.51	c current bound: 116
1065.12/1213.16	c model valid
1065.12/1213.16	c current solution ok
1065.12/1213.16	c current bound: 116
1069.78/1217.80	c model valid
1069.78/1217.80	c current solution ok
1069.78/1217.80	c current bound: 116
1069.82/1222.42	c model valid
1069.82/1222.42	c current solution ok
1069.82/1222.43	c current bound: 116
1079.07/1227.06	c model valid
1079.07/1227.06	c current solution ok
1079.07/1227.06	c current bound: 116
1083.72/1231.69	c model valid
1083.72/1231.69	c current solution ok
1083.72/1231.69	c current bound: 116
1088.35/1236.31	c model valid
1088.35/1236.31	c current solution ok
1088.35/1236.32	c current bound: 116
1092.95/1240.97	c model valid
1092.95/1240.97	c current solution ok
1092.95/1240.97	c current bound: 116
1097.65/1245.60	c model valid
1097.65/1245.60	c current solution ok
1097.65/1245.60	c current bound: 116
1102.24/1250.24	c model valid
1102.24/1250.24	c current solution ok
1102.24/1250.24	c current bound: 116
1106.87/1254.86	c model valid
1106.87/1254.86	c current solution ok
1106.87/1254.87	c current bound: 116
1111.55/1259.50	c model valid
1111.55/1259.50	c current solution ok
1111.55/1259.56	c current bound: 116
1116.19/1264.20	c model valid
1116.19/1264.20	c current solution ok
1116.19/1264.20	c current bound: 116
1120.79/1268.84	c model valid
1120.79/1268.84	c current solution ok
1120.79/1268.85	c current bound: 116
1125.40/1273.49	c model valid
1125.40/1273.49	c current solution ok
1125.40/1273.49	c current bound: 116
1129.99/1278.08	c model valid
1129.99/1278.08	c current solution ok
1129.99/1278.08	c current bound: 116
1134.69/1282.74	c model valid
1134.69/1282.74	c current solution ok
1134.69/1282.74	c current bound: 116
1139.29/1287.31	c model valid
1139.29/1287.31	c current solution ok
1139.29/1287.31	c current bound: 116
1143.89/1291.94	c model valid
1143.89/1291.94	c current solution ok
1143.89/1291.95	c current bound: 116
1148.49/1296.57	c model valid
1148.49/1296.57	c current solution ok
1148.49/1296.57	c current bound: 116
1153.18/1301.21	c model valid
1153.18/1301.21	c current solution ok
1153.18/1301.21	c current bound: 116
1157.77/1305.84	c model valid
1157.77/1305.84	c current solution ok
1157.77/1305.84	c current bound: 116
1162.36/1310.48	c model valid
1162.36/1310.48	c current solution ok
1162.36/1310.49	c current bound: 116
1167.08/1315.12	c model valid
1167.08/1315.12	c current solution ok
1167.08/1315.12	c current bound: 116
1171.67/1319.75	c model valid
1171.67/1319.75	c current solution ok
1171.67/1319.76	c current bound: 116
1176.27/1324.38	c model valid
1176.27/1324.38	c current solution ok
1176.27/1324.39	c current bound: 116
1180.98/1329.00	c model valid
1180.98/1329.00	c current solution ok
1180.98/1329.01	c current bound: 116
1185.57/1333.64	c model valid
1185.57/1333.64	c current solution ok
1185.57/1333.65	c current bound: 116
1190.17/1338.28	c model valid
1190.17/1338.28	c current solution ok
1190.17/1338.28	c current bound: 116
1194.87/1342.91	c model valid
1194.87/1342.91	c current solution ok
1194.87/1342.92	c current bound: 116
1199.47/1347.53	c model valid
1199.47/1347.53	c current solution ok
1199.47/1347.54	c current bound: 116
1204.06/1352.16	c model valid
1204.06/1352.16	c current solution ok
1204.06/1352.16	c current bound: 116
1208.76/1356.81	c model valid
1208.76/1356.81	c current solution ok
1208.76/1356.82	c current bound: 116
1213.36/1361.45	c model valid
1213.36/1361.45	c current solution ok
1213.36/1361.45	c current bound: 116
1217.96/1366.04	c model valid
1217.96/1366.04	c current solution ok
1217.96/1366.05	c current bound: 116
1222.54/1370.69	c model valid
1222.54/1370.69	c current solution ok
1222.66/1370.70	c current bound: 116
1227.26/1375.32	c model valid
1227.26/1375.32	c current solution ok
1227.26/1375.32	c current bound: 116
1231.85/1379.98	c model valid
1231.85/1379.98	c current solution ok
1231.85/1379.98	c current bound: 116
1236.56/1384.60	c model valid
1236.56/1384.60	c current solution ok
1236.56/1384.61	c current bound: 116
1241.16/1389.25	c model valid
1241.16/1389.25	c current solution ok
1241.16/1389.25	c current bound: 116
1245.74/1393.88	c model valid
1245.74/1393.88	c current solution ok
1245.74/1393.89	c current bound: 116
1250.35/1398.40	c model valid
1250.35/1398.40	c current solution ok
1250.35/1398.40	c current bound: 116
1254.94/1403.04	c model valid
1254.94/1403.04	c current solution ok
1254.94/1403.04	c current bound: 116
1259.55/1407.63	c model valid
1259.55/1407.63	c current solution ok
1259.55/1407.63	c current bound: 116
1264.14/1412.27	c model valid
1264.14/1412.27	c current solution ok
1264.14/1412.27	c current bound: 116
1268.85/1416.91	c model valid
1268.85/1416.91	c current solution ok
1268.85/1416.91	c current bound: 116
1273.44/1421.56	c model valid
1273.44/1421.56	c current solution ok
1273.44/1421.56	c current bound: 116
1278.03/1426.15	c model valid
1278.03/1426.15	c current solution ok
1278.03/1426.16	c current bound: 116
1282.65/1430.79	c model valid
1282.65/1430.79	c current solution ok
1282.65/1430.80	c current bound: 116
1287.33/1435.41	c model valid
1287.33/1435.41	c current solution ok
1287.33/1435.41	c current bound: 116
1291.93/1440.04	c model valid
1291.93/1440.04	c current solution ok
1291.93/1440.05	c current bound: 116
1296.53/1444.69	c model valid
1296.53/1444.69	c current solution ok
1296.65/1444.70	c current bound: 116
1301.24/1449.34	c model valid
1301.24/1449.34	c current solution ok
1301.24/1449.34	c current bound: 116
1305.84/1453.97	c model valid
1305.84/1453.97	c current solution ok
1305.84/1453.97	c current bound: 116
1310.54/1458.61	c model valid
1310.54/1458.61	c current solution ok
1310.54/1458.61	c current bound: 116
1315.14/1463.25	c model valid
1315.14/1463.25	c current solution ok
1315.14/1463.26	c current bound: 116
1319.73/1467.89	c model valid
1319.73/1467.89	c current solution ok
1319.73/1467.89	c current bound: 116
1324.43/1472.53	c model valid
1324.43/1472.53	c current solution ok
1324.43/1472.53	c current bound: 116
1329.03/1477.17	c model valid
1329.03/1477.17	c current solution ok
1329.03/1477.18	c current bound: 116
1333.73/1481.82	c model valid
1333.73/1481.82	c current solution ok
1333.73/1481.82	c current bound: 116
1338.32/1486.40	c model valid
1338.32/1486.40	c current solution ok
1338.32/1486.40	c current bound: 116
1342.92/1491.03	c model valid
1342.92/1491.03	c current solution ok
1342.92/1491.04	c current bound: 116
1347.52/1495.68	c model valid
1347.52/1495.68	c current solution ok
1347.52/1495.68	c current bound: 116
1352.21/1500.33	c model valid
1352.21/1500.33	c current solution ok
1352.21/1500.33	c current bound: 116
1356.82/1504.96	c model valid
1356.82/1504.96	c current solution ok
1356.82/1504.96	c current bound: 116
1361.41/1509.59	c model valid
1361.41/1509.59	c current solution ok
1361.41/1509.59	c current bound: 116
1366.12/1514.24	c model valid
1366.12/1514.24	c current solution ok
1366.12/1514.24	c current bound: 116
1370.73/1518.88	c model valid
1370.73/1518.88	c current solution ok
1370.73/1518.88	c current bound: 116
1375.42/1523.52	c model valid
1375.42/1523.52	c current solution ok
1375.42/1523.52	c current bound: 116
1380.02/1528.17	c model valid
1380.02/1528.17	c current solution ok
1380.02/1528.17	c current bound: 116
1384.72/1532.81	c model valid
1384.72/1532.81	c current solution ok
1384.72/1532.81	c current bound: 116
1389.23/1537.38	c model valid
1389.23/1537.38	c current solution ok
1389.23/1537.38	c current bound: 116
1393.91/1542.01	c model valid
1393.91/1542.01	c current solution ok
1393.91/1542.01	c current bound: 116
1398.50/1546.64	c model valid
1398.50/1546.64	c current solution ok
1398.50/1546.64	c current bound: 116
1403.10/1551.28	c model valid
1403.10/1551.28	c current solution ok
1403.10/1551.28	c current bound: 116
1407.82/1555.92	c model valid
1407.82/1555.92	c current solution ok
1407.82/1555.93	c current bound: 116
1412.43/1560.55	c model valid
1412.43/1560.55	c current solution ok
1412.43/1560.55	c current bound: 116
1417.02/1565.18	c model valid
1417.02/1565.18	c current solution ok
1417.02/1565.19	c current bound: 116
1421.70/1569.81	c model valid
1421.70/1569.81	c current solution ok
1421.70/1569.81	c current bound: 116
1426.30/1574.45	c model valid
1426.30/1574.45	c current solution ok
1426.30/1574.45	c current bound: 116
1430.91/1579.09	c model valid
1430.91/1579.09	c current solution ok
1430.91/1579.09	c current bound: 116
1435.62/1583.73	c model valid
1435.62/1583.73	c current solution ok
1435.62/1583.73	c current bound: 116
1440.22/1588.36	c model valid
1440.22/1588.36	c current solution ok
1440.22/1588.36	c current bound: 116
1444.81/1592.99	c model valid
1444.81/1592.99	c current solution ok
1444.81/1592.99	c current bound: 116
1449.41/1597.59	c model valid
1449.41/1597.59	c current solution ok
1449.41/1597.59	c current bound: 116
1454.12/1602.23	c model valid
1454.12/1602.23	c current solution ok
1454.12/1602.23	c current bound: 116
1458.70/1606.86	c model valid
1458.70/1606.86	c current solution ok
1458.70/1606.86	c current bound: 116
1463.32/1611.49	c model valid
1463.32/1611.49	c current solution ok
1463.32/1611.49	c current bound: 116
1468.02/1616.12	c model valid
1468.02/1616.12	c current solution ok
1468.02/1616.13	c current bound: 116
1472.62/1620.77	c model valid
1472.62/1620.77	c current solution ok
1472.62/1620.77	c current bound: 116
1477.22/1625.38	c model valid
1477.22/1625.38	c current solution ok
1477.22/1625.39	c current bound: 116
1481.91/1630.01	c model valid
1481.91/1630.01	c current solution ok
1481.91/1630.01	c current bound: 116
1486.50/1634.64	c model valid
1486.50/1634.64	c current solution ok
1486.50/1634.64	c current bound: 116
1491.11/1639.28	c model valid
1491.11/1639.28	c current solution ok
1491.11/1639.29	c current bound: 116
1495.80/1643.93	c model valid
1495.80/1643.93	c current solution ok
1495.80/1643.93	c current bound: 116
1500.42/1648.56	c model valid
1500.42/1648.56	c current solution ok
1500.42/1648.57	c current bound: 116
1505.00/1653.19	c model valid
1505.00/1653.19	c current solution ok
1505.00/1653.20	c current bound: 116
1509.59/1657.77	c model valid
1509.59/1657.77	c current solution ok
1509.59/1657.78	c current bound: 116
1514.30/1662.40	c model valid
1514.30/1662.40	c current solution ok
1514.30/1662.40	c current bound: 116
1518.90/1667.06	c model valid
1518.90/1667.06	c current solution ok
1518.90/1667.06	c current bound: 116
1523.60/1671.70	c model valid
1523.60/1671.70	c current solution ok
1523.60/1671.70	c current bound: 116
1528.20/1676.32	c model valid
1528.20/1676.32	c current solution ok
1528.20/1676.34	c current bound: 116
1532.78/1680.97	c model valid
1532.78/1680.97	c current solution ok
1532.78/1680.97	c current bound: 116
1537.37/1685.59	c model valid
1537.37/1685.59	c current solution ok
1537.37/1685.59	c current bound: 116
1542.07/1690.22	c model valid
1542.07/1690.22	c current solution ok
1542.07/1690.22	c current bound: 116
1546.67/1694.86	c model valid
1546.67/1694.86	c current solution ok
1546.67/1694.86	c current bound: 116
1551.27/1699.49	c model valid
1551.27/1699.49	c current solution ok
1551.27/1699.49	c current bound: 116
1555.96/1704.13	c model valid
1555.96/1704.13	c current solution ok
1555.96/1704.13	c current bound: 116
1560.56/1708.76	c model valid
1560.56/1708.76	c current solution ok
1560.56/1708.77	c current bound: 116
1565.18/1713.40	c model valid
1565.18/1713.40	c current solution ok
1565.18/1713.40	c current bound: 116
1569.87/1718.04	c model valid
1569.87/1718.04	c current solution ok
1569.87/1718.04	c current bound: 116
1574.46/1722.68	c model valid
1574.46/1722.68	c current solution ok
1574.46/1722.68	c current bound: 116
1579.17/1727.31	c model valid
1579.17/1727.31	c current solution ok
1579.17/1727.31	c current bound: 116
1583.77/1731.94	c model valid
1583.77/1731.94	c current solution ok
1583.77/1731.95	c current bound: 116
1588.39/1736.54	c model valid
1588.39/1736.54	c current solution ok
1588.39/1736.54	c current bound: 116
1592.97/1741.16	c model valid
1592.97/1741.16	c current solution ok
1592.97/1741.16	c current bound: 116
1597.57/1745.80	c model valid
1597.57/1745.80	c current solution ok
1597.68/1745.80	c current bound: 116
1602.28/1750.43	c model valid
1602.28/1750.43	c current solution ok
1602.28/1750.44	c current bound: 116
1606.87/1755.07	c model valid
1606.87/1755.07	c current solution ok
1606.87/1755.07	c current bound: 116
1611.57/1759.71	c model valid
1611.57/1759.71	c current solution ok
1611.57/1759.71	c current bound: 116
1616.15/1764.33	c model valid
1616.15/1764.33	c current solution ok
1616.15/1764.33	c current bound: 116
1620.76/1768.98	c model valid
1620.76/1768.98	c current solution ok
1620.76/1768.99	c current bound: 116
1625.47/1773.64	c model valid
1625.47/1773.64	c current solution ok
1625.47/1773.64	c current bound: 116
1630.06/1778.27	c model valid
1630.06/1778.27	c current solution ok
1630.06/1778.27	c current bound: 116
1634.76/1782.91	c model valid
1634.76/1782.91	c current solution ok
1634.76/1782.91	c current bound: 116
1639.36/1787.55	c model valid
1639.36/1787.55	c current solution ok
1639.36/1787.55	c current bound: 116
1643.97/1792.19	c model valid
1643.97/1792.19	c current solution ok
1643.97/1792.19	c current bound: 116
1648.67/1796.83	c model valid
1648.67/1796.83	c current solution ok
1648.67/1796.83	c current bound: 116
1653.27/1801.48	c model valid
1653.27/1801.48	c current solution ok
1653.27/1801.49	c current bound: 116
1657.95/1806.12	c model valid
1657.95/1806.12	c current solution ok
1657.95/1806.12	c current bound: 116
1662.56/1810.76	c model valid
1662.56/1810.76	c current solution ok
1662.56/1810.76	c current bound: 116
1667.15/1815.39	c model valid
1667.15/1815.39	c current solution ok
1667.15/1815.39	c current bound: 116
1671.87/1820.02	c model valid
1671.87/1820.02	c current solution ok
1671.87/1820.02	c current bound: 116
1676.45/1824.65	c model valid
1676.45/1824.65	c current solution ok
1676.45/1824.65	c current bound: 116
1681.06/1829.28	c model valid
1681.06/1829.28	c current solution ok
1681.06/1829.28	c current bound: 116
1685.76/1833.91	c model valid
1685.76/1833.91	c current solution ok
1685.76/1833.91	c current bound: 116
1690.36/1838.53	c model valid
1690.36/1838.53	c current solution ok
1690.36/1838.54	c current bound: 116
1694.96/1843.17	c model valid
1694.96/1843.17	c current solution ok
1694.96/1843.17	c current bound: 116
1699.57/1847.76	c model valid
1699.57/1847.76	c current solution ok
1699.57/1847.76	c current bound: 116
1704.16/1852.39	c model valid
1704.16/1852.39	c current solution ok
1704.16/1852.39	c current bound: 116
1708.85/1857.03	c model valid
1708.85/1857.03	c current solution ok
1708.85/1857.04	c current bound: 116
1713.46/1861.67	c model valid
1713.46/1861.67	c current solution ok
1713.46/1861.67	c current bound: 116
1718.16/1866.31	c model valid
1718.16/1866.31	c current solution ok
1718.16/1866.31	c current bound: 116
1722.75/1870.94	c model valid
1722.75/1870.94	c current solution ok
1722.75/1870.94	c current bound: 116
1727.35/1875.56	c model valid
1727.35/1875.56	c current solution ok
1727.35/1875.56	c current bound: 116
1731.96/1880.18	c model valid
1731.96/1880.18	c current solution ok
1731.96/1880.19	c current bound: 116
1736.66/1884.82	c model valid
1736.66/1884.82	c current solution ok
1736.66/1884.83	c current bound: 116
1741.25/1889.46	c model valid
1741.25/1889.46	c current solution ok
1741.25/1889.46	c current bound: 116
1745.95/1894.10	c model valid
1745.95/1894.10	c current solution ok
1745.95/1894.10	c current bound: 116
1750.55/1898.75	c model valid
1750.55/1898.75	c current solution ok
1750.55/1898.75	c current bound: 116
1751.85/1900.00	./satsolver.sh: line 5:  3230 Terminated              ./glucose $1 > $2 2> /dev/null
1751.85/1900.00	c error: unexpected solver exit code
1751.85/1900.00	s UNKNOWN

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

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.63 3.86 3.06 3/180 29994
/proc/meminfo: memFree=22923120/32873844 swapFree=6600/6600
[pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29994/statm: 2287 275 233 213 0 72 0

[startup+0.189718 s]
/proc/loadavg: 3.63 3.86 3.06 3/180 29994
/proc/meminfo: memFree=22923120/32873844 swapFree=6600/6600
[pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29994/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.200232 s]
/proc/loadavg: 3.63 3.86 3.06 3/180 29994
/proc/meminfo: memFree=22923120/32873844 swapFree=6600/6600
[pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29994/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300151 s]
/proc/loadavg: 3.63 3.86 3.06 3/180 29994
/proc/meminfo: memFree=22923120/32873844 swapFree=6600/6600
[pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29994/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+3.87382 s]
/proc/loadavg: 3.63 3.86 3.06 3/180 29994
/proc/meminfo: memFree=22923120/32873844 swapFree=6600/6600
[pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29994/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
heavy processes:

[startup+3.90741 s]
/proc/loadavg: 3.50 3.83 3.05 4/182 30001
/proc/meminfo: memFree=22895452/32873844 swapFree=6600/6600
[pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29994/statm: 2287 275 233 213 0 72 0
[pid=29995] ppid=29994 vsize=23132 CPUtime=0.35 cores=1,3,5,7
/proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 6024 2983 0 0 18 2 13 2 20 0 1 0 272788374 23687168 5430 33554432000 4194304 5992684 140737081946816 140737081939104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29995/statm: 5783 5430 197 440 0 5339 0
[pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7
/proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30000/statm: 2150 1633 146 357 0 1790 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 40880

[startup+4.00029 s]
/proc/loadavg: 3.50 3.83 3.05 4/182 30001
/proc/meminfo: memFree=22895452/32873844 swapFree=6600/6600
[pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29994/statm: 2287 275 233 213 0 72 0
[pid=29995] ppid=29994 vsize=23132 CPUtime=0.35 cores=1,3,5,7
/proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 6024 2983 0 0 18 2 13 2 20 0 1 0 272788374 23687168 5430 33554432000 4194304 5992684 140737081946816 140737081939104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29995/statm: 5783 5430 197 440 0 5339 0
[pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7
/proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30000/statm: 2150 1633 146 357 0 1790 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 40880

[startup+6.30026 s]
/proc/loadavg: 3.50 3.83 3.05 3/183 30003
/proc/meminfo: memFree=22890424/32873844 swapFree=6600/6600
[pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29994/statm: 2287 275 233 213 0 72 0
[pid=29995] ppid=29994 vsize=23132 CPUtime=0.35 cores=1,3,5,7
/proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 6024 2983 0 0 18 2 13 2 20 0 1 0 272788374 23687168 5430 33554432000 4194304 5992684 140737081946816 140737081939104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29995/statm: 5783 5430 197 440 0 5339 0
[pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7
/proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30000/statm: 2150 1633 146 357 0 1790 0
[pid=30002] ppid=29995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30002/stat : 30002 (satsolver.sh) S 29995 29994 28504 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272788762 9367552 267 33554432000 4194304 5064252 140735403765392 140735403764304 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30002/statm: 2287 267 226 213 0 72 0
[pid=30003] ppid=30002 vsize=7112 CPUtime=2.39 cores=1,3,5,7
/proc/30003/stat : 30003 (glucose) R 30002 29994 28504 0 -1 4202496 1728 0 0 0 239 0 0 0 20 0 1 0 272788762 7282688 1331 33554432000 4194304 5208918 140736362754000 140736362751944 4229466 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/30003/statm: 1778 1331 102 248 0 1527 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 57140

[startup+12.7003 s]
/proc/loadavg: 3.27 3.77 3.04 3/183 30010
/proc/meminfo: memFree=22889244/32873844 swapFree=6600/6600
[pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29994/statm: 2287 275 233 213 0 72 0
[pid=29995] ppid=29994 vsize=23284 CPUtime=5.01 cores=1,3,5,7
/proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 6193 8395 0 0 18 2 476 5 20 0 1 0 272788374 23842816 5432 33554432000 4194304 5992684 140737081946816 140737081939104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29995/statm: 5821 5432 197 440 0 5377 0
[pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7
/proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30000/statm: 2150 1633 146 357 0 1790 0
[pid=30009] ppid=29995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30009/stat : 30009 (satsolver.sh) S 29995 29994 28504 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272789229 9367552 267 33554432000 4194304 5064252 140736601667408 140736601666320 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30009/statm: 2287 267 226 213 0 72 0
[pid=30010] ppid=30009 vsize=8760 CPUtime=4.11 cores=1,3,5,7
/proc/30010/stat : 30010 (glucose) R 30009 29994 28504 0 -1 4202496 2097 0 0 0 411 0 0 0 20 0 1 0 272789229 8970240 1578 33554432000 4194304 5208918 140734903671088 140734903669032 4229528 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/30010/statm: 2190 1578 102 248 0 1939 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 58940

[startup+25.5064 s]
/proc/loadavg: 3.22 3.75 3.04 3/183 30031
/proc/meminfo: memFree=22888280/32873844 swapFree=6600/6600
[pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29994/statm: 2287 275 233 213 0 72 0
[pid=29995] ppid=29994 vsize=23284 CPUtime=18.99 cores=1,3,5,7
/proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 6889 23801 0 0 18 3 1864 14 20 0 1 0 272788374 23842816 5432 33554432000 4194304 5992684 140737081946816 140737081939104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29995/statm: 5821 5432 197 440 0 5377 0
[pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7
/proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30000/statm: 2150 1633 146 357 0 1790 0
[pid=30030] ppid=29995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30030/stat : 30030 (satsolver.sh) S 29995 29994 28504 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272790630 9367552 267 33554432000 4194304 5064252 140737435992160 140737435991072 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30030/statm: 2287 267 226 213 0 72 0
[pid=30031] ppid=30030 vsize=8768 CPUtime=2.91 cores=1,3,5,7
/proc/30031/stat : 30031 (glucose) R 30030 29994 28504 0 -1 4202496 1961 0 0 0 291 0 0 0 20 0 1 0 272790630 8978432 1449 33554432000 4194304 5208918 140735221880208 140735221878152 4229365 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/30031/statm: 2192 1449 102 248 0 1941 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 58948

[startup+55.1941 s]
/proc/loadavg: 3.09 3.69 3.03 3/183 30052
/proc/meminfo: memFree=22889672/32873844 swapFree=6600/6600
[pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29994/statm: 2287 275 233 213 0 72 0
[pid=29995] ppid=29994 vsize=23284 CPUtime=51.6 cores=1,3,5,7
/proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 8814 58124 0 0 18 6 5102 34 20 0 1 0 272788374 23842816 5432 33554432000 4194304 5992684 140737081946816 140737081938592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29995/statm: 5821 5432 197 440 0 5377 0
[pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7
/proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30000/statm: 2150 1633 146 357 0 1790 0
Current children cumulated CPU time (s) 55.11
Current children cumulated vsize (KiB) 41032

[startup+102.3 s]
/proc/loadavg: 2.56 3.42 2.98 3/182 30150
/proc/meminfo: memFree=22895384/32873844 swapFree=6600/6600
[pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29994/statm: 2287 275 233 213 0 72 0
[pid=29995] ppid=29994 vsize=23284 CPUtime=98.01 cores=1,3,5,7
/proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 12510 113343 0 0 20 7 9722 52 20 0 1 0 272788374 23842816 5432 33554432000 4194304 5992684 140737081946816 140737081939104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29995/statm: 5821 5432 197 440 0 5377 0
[pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7
/proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30000/statm: 2150 1633 146 357 0 1790 0
[pid=30149] ppid=29995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30149/stat : 30149 (satsolver.sh) S 29995 29994 28504 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272798531 9367552 266 33554432000 4194304 5064252 140735498435664 140735498434576 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30149/statm: 2287 266 226 213 0 72 0
[pid=30150] ppid=30149 vsize=4428 CPUtime=0.71 cores=1,3,5,7
/proc/30150/stat : 30150 (glucose) R 30149 29994 28504 0 -1 4202496 1128 0 0 0 71 0 0 0 20 0 1 0 272798531 4534272 662 33554432000 4194304 5208918 140736136494672 140736136492824 4229273 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30150/statm: 1107 662 102 248 0 856 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 54608

[startup+162.3 s]
/proc/loadavg: 2.22 3.18 2.92 3/182 30235
/proc/meminfo: memFree=22891912/32873844 swapFree=6600/6600
[pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29994/statm: 2287 275 233 213 0 72 0

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

/proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 100611 1506744 0 0 40 60 132464 461 20 0 1 0 272788374 23842816 5432 33554432000 4194304 5992684 140737081946816 140737081939104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29995/statm: 5821 5432 197 440 0 5377 0
[pid=23695] ppid=29995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23695/stat : 23695 (satsolver.sh) S 29995 29994 28504 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272936556 9367552 266 33554432000 4194304 5064252 140734071898992 140734071897904 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23695/statm: 2287 266 226 213 0 72 0
[pid=23696] ppid=23695 vsize=4684 CPUtime=0.47 cores=1,3,5,7
/proc/23696/stat : 23696 (glucose) R 23695 29994 28504 0 -1 4202496 914 0 0 0 47 0 0 0 20 0 1 0 272936556 4796416 679 33554432000 4194304 5208918 140737024304688 140737024302536 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23696/statm: 1171 679 102 248 0 920 0
[pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7
/proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30000/statm: 2150 1633 146 357 0 1790 0
Current children cumulated CPU time (s) 1334.23
Current children cumulated vsize (KiB) 54864

[startup+1542.3 s]
/proc/loadavg: 1.67 2.35 2.57 3/185 30083
/proc/meminfo: memFree=31259780/32873844 swapFree=6600/6600
[pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29994/statm: 2287 275 233 213 0 72 0
[pid=29995] ppid=29994 vsize=23284 CPUtime=1390.43 cores=1,3,5,7
/proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 104889 1576279 0 0 41 62 138462 478 20 0 1 0 272788374 23842816 5432 33554432000 4194304 5992684 140737081946816 140737081939104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29995/statm: 5821 5432 197 440 0 5377 0
[pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7
/proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30000/statm: 2150 1633 146 357 0 1790 0
Current children cumulated CPU time (s) 1393.94
Current children cumulated vsize (KiB) 41032

[startup+1602.31 s]
/proc/loadavg: 1.61 2.21 2.50 3/185 4092
/proc/meminfo: memFree=31260852/32873844 swapFree=6600/6600
[pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29994/statm: 2287 275 233 213 0 72 0
[pid=29995] ppid=29994 vsize=23284 CPUtime=1450.64 cores=1,3,5,7
/proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 109280 1644842 0 0 42 64 144461 497 20 0 1 0 272788374 23842816 5432 33554432000 4194304 5992684 140737081946816 140737081939104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29995/statm: 5821 5432 197 440 0 5377 0
[pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7
/proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30000/statm: 2150 1633 146 357 0 1790 0
Current children cumulated CPU time (s) 1454.15
Current children cumulated vsize (KiB) 41032

[startup+1662.3 s]
/proc/loadavg: 1.49 2.08 2.44 3/185 10389
/proc/meminfo: memFree=31261292/32873844 swapFree=6600/6600
[pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29994/statm: 2287 275 233 213 0 72 0
[pid=29995] ppid=29994 vsize=23284 CPUtime=1506.18 cores=1,3,5,7
/proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 113226 1707206 0 0 43 66 149994 515 20 0 1 0 272788374 23842816 5432 33554432000 4194304 5992684 140737081946816 140737081939104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29995/statm: 5821 5432 197 440 0 5377 0
[pid=9985] ppid=29995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9985/stat : 9985 (satsolver.sh) S 29995 29994 28504 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272954152 9367552 267 33554432000 4194304 5064252 140735816840304 140735816839216 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9985/statm: 2287 267 226 213 0 72 0
[pid=9986] ppid=9985 vsize=8764 CPUtime=4.51 cores=1,3,5,7
/proc/9986/stat : 9986 (glucose) R 9985 29994 28504 0 -1 4202496 2117 0 0 0 451 0 0 0 20 0 1 0 272954152 8974336 1596 33554432000 4194304 5208918 140733381438832 140733381436776 4213038 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9986/statm: 2191 1596 102 248 0 1940 0
[pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7
/proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30000/statm: 2150 1633 146 357 0 1790 0
Current children cumulated CPU time (s) 1514.2
Current children cumulated vsize (KiB) 58944

[startup+1722.3 s]
/proc/loadavg: 1.48 1.95 2.37 3/185 16797
/proc/meminfo: memFree=31260108/32873844 swapFree=6600/6600
[pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29994/statm: 2287 275 233 213 0 72 0
[pid=29995] ppid=29994 vsize=23284 CPUtime=1566.41 cores=1,3,5,7
/proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 117610 1773997 0 0 44 68 155997 532 20 0 1 0 272788374 23842816 5432 33554432000 4194304 5992684 140737081946816 140737081939104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29995/statm: 5821 5432 197 440 0 5377 0
[pid=16376] ppid=29995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16376/stat : 16376 (satsolver.sh) S 29995 29994 28504 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272960178 9367552 267 33554432000 4194304 5064252 140737163376384 140737163375296 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16376/statm: 2287 267 226 213 0 72 0
[pid=16377] ppid=16376 vsize=8764 CPUtime=4.24 cores=1,3,5,7
/proc/16377/stat : 16377 (glucose) R 16376 29994 28504 0 -1 4202496 2097 0 0 0 424 0 0 0 20 0 1 0 272960178 8974336 1578 33554432000 4194304 5208918 140734423582720 140734423580664 4212930 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16377/statm: 2191 1578 102 248 0 1940 0
[pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7
/proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30000/statm: 2150 1633 146 357 0 1790 0
Current children cumulated CPU time (s) 1574.16
Current children cumulated vsize (KiB) 58944

[startup+1782.3 s]
/proc/loadavg: 1.63 1.91 2.33 3/186 23107
/proc/meminfo: memFree=31260496/32873844 swapFree=6600/6600
[pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29994/statm: 2287 275 233 213 0 72 0
[pid=29995] ppid=29994 vsize=23284 CPUtime=1626.63 cores=1,3,5,7
/proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 121971 1842457 0 0 45 70 161997 551 20 0 1 0 272788374 23842816 5432 33554432000 4194304 5992684 140737081946816 140737081939104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29995/statm: 5821 5432 197 440 0 5377 0
[pid=22767] ppid=29995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22767/stat : 22767 (satsolver.sh) S 29995 29994 28504 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272966201 9367552 266 33554432000 4194304 5064252 140734381617728 140734381616640 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22767/statm: 2287 266 226 213 0 72 0
[pid=22768] ppid=22767 vsize=8760 CPUtime=4.02 cores=1,3,5,7
/proc/22768/stat : 22768 (glucose) R 22767 29994 28504 0 -1 4202496 2096 0 0 0 402 0 0 0 20 0 1 0 272966201 8970240 1578 33554432000 4194304 5208918 140734545111056 140734545109000 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22768/statm: 2190 1578 102 248 0 1939 0
[pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7
/proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30000/statm: 2150 1633 146 357 0 1790 0
Current children cumulated CPU time (s) 1634.16
Current children cumulated vsize (KiB) 58940

[startup+1842.3 s]
/proc/loadavg: 2.16 1.98 2.33 3/185 29543
/proc/meminfo: memFree=31257812/32873844 swapFree=6600/6600
[pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29994/statm: 2287 275 233 213 0 72 0
[pid=29995] ppid=29994 vsize=23284 CPUtime=1686.9 cores=1,3,5,7
/proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 126283 1912668 0 0 46 73 168004 567 20 0 1 0 272788374 23842816 5432 33554432000 4194304 5992684 140737081946816 140737081939104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29995/statm: 5821 5432 197 440 0 5377 0
[pid=29175] ppid=29995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29175/stat : 29175 (satsolver.sh) S 29995 29994 28504 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272972228 9367552 267 33554432000 4194304 5064252 140734111466928 140734111465840 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29175/statm: 2287 267 226 213 0 72 0
[pid=29176] ppid=29175 vsize=8764 CPUtime=3.75 cores=1,3,5,7
/proc/29176/stat : 29176 (glucose) R 29175 29994 28504 0 -1 4202496 1980 0 0 0 375 0 0 0 20 0 1 0 272972228 8974336 1578 33554432000 4194304 5208918 140735022405152 140735022403096 4229006 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29176/statm: 2191 1578 102 248 0 1940 0
[pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7
/proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30000/statm: 2150 1633 146 357 0 1790 0
Current children cumulated CPU time (s) 1694.16
Current children cumulated vsize (KiB) 58944



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1900 s]
/proc/loadavg: 1.92 1.96 2.30 3/185 3363
/proc/meminfo: memFree=31262052/32873844 swapFree=6600/6600
[pid=29994] ppid=29992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29994/stat : 29994 (npSolver-pbo-It) S 29992 29994 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272788374 9367552 275 33554432000 4194304 5064252 140733294868352 140733294867264 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29994/statm: 2287 275 233 213 0 72 0
[pid=29995] ppid=29994 vsize=23284 CPUtime=1747.1 cores=1,3,5,7
/proc/29995/stat : 29995 (npSolver-pbo) S 29994 29994 28504 0 -1 4202496 130673 1979924 0 0 47 75 174005 583 20 0 1 0 272788374 23842816 5432 33554432000 4194304 5992684 140737081946816 140737081939104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29995/statm: 5821 5432 197 440 0 5377 0
[pid=3229] ppid=29995 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3229/stat : 3229 (satsolver.sh) S 29995 29994 28504 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272978249 9367552 266 33554432000 4194304 5064252 140737484194480 140737484193392 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3229/statm: 2287 266 226 213 0 72 0
[pid=3230] ppid=3229 vsize=7116 CPUtime=1.24 cores=1,3,5,7
/proc/3230/stat : 3230 (glucose) R 3229 29994 28504 0 -1 4202496 1382 0 0 0 124 0 0 0 20 0 1 0 272978249 7286784 955 33554432000 4194304 5208918 140737265549328 140737265547272 4228924 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3230/statm: 1779 955 102 248 0 1528 0
[pid=30000] ppid=29995 vsize=8600 CPUtime=3.51 cores=1,3,5,7
/proc/30000/stat : 30000 (glucosInc) S 29995 29994 28504 0 -1 4202496 2099 0 0 0 351 0 0 0 20 0 1 0 272788407 8806400 1633 33554432000 4194304 5654031 140736373260864 140736373259176 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30000/statm: 2150 1633 146 357 0 1790 0
Current children cumulated CPU time (s) 1751.85
Current children cumulated vsize (KiB) 57296

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29994 and gives
#  childrusage.ru_utime.tv_sec=1741
#  childrusage.ru_utime.tv_usec=782208
#  childrusage.ru_stime.tv_sec=6
#  childrusage.ru_stime.tv_usec=598996
# CPU time returned by wait4() is 1748.38
# while last known CPU time is 1751.85
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1900.01
CPU time (s): 1751.85
CPU user time (s): 1745.27
CPU system time (s): 6.58
CPU usage (%): 92.2021
Max. virtual memory (cumulated for all children) (KiB): 64316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1741.78
system time used= 6.599
maximum resident set size= 22320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2112968
page faults= 0
swaps= 0
block input operations= 0
block output operations= 150040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5565
involuntary context switches= 6403

runsolver used 2.81257 second user time and 7.44887 second system time

The end

Launcher Data

Begin job on node140 at 2012-05-26 23:10:35
IDJOB=3702985
IDBENCH=2694
IDSOLVER=2278
FILE ID=node140/3702985-1338066635
RUNJOBID= node140-1338052929-28521
PBS_JOBID= 14624397
Free space on /tmp= 71292 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=113-Q=233.opb
COMMAND LINE= DIR/npSolver-pbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3702985-1338066635/watcher-3702985-1338066635 -o /tmp/evaluation-result-3702985-1338066635/solver-3702985-1338066635 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702985-1338066635.opb 1791618569 HOME HOME

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

MD5SUM BENCH= f1df6d8d5ad4d56009afe0e51e9624cf
RANDOM SEED=1791618569

node140.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.094
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.18
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.094
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		: 2667.094
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.91
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.094
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		: 2667.094
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		: 2667.094
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.88
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.094
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.90
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.094
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:        22924208 kB
Buffers:          248252 kB
Cached:           487704 kB
SwapCached:         1596 kB
Active:          7249700 kB
Inactive:        1887412 kB
Active(anon):    6517660 kB
Inactive(anon):  1885188 kB
Active(file):     732040 kB
Inactive(file):     2224 kB
Unevictable:        6600 kB
Mlocked:            6600 kB
SwapTotal:      67108856 kB
SwapFree:       67105132 kB
Dirty:              8560 kB
Writeback:             0 kB
AnonPages:       8405520 kB
Mapped:            11888 kB
Shmem:                 8 kB
Slab:             658568 kB
SReclaimable:      99648 kB
SUnreclaim:       558920 kB
KernelStack:        1888 kB
PageTables:        20436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    8517816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8386560 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= 71284 MiB
End job on node140 at 2012-05-26 23:42:15