Trace number 3752130

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 (fixed)? (TO) 1800.02 1792.11

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_2.opb
MD5SUMc0264878059fff5e6fa5f51839a60b24
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark1789.77
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved NO
Number of variables120
Total number of constraints10
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint54
Maximum length of a constraint56
Number of terms in the objective function 80
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2550
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1196
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4099
Number of bits of the biggest sum of numbers13
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.31	c run inc solver
0.00/0.31	c [INC SYSTEM] run initial solver
0.00/0.31	c [INC SYSTEM] preprocess with white file
2.08/2.17	c [INC SYSTEM] finished preprocessing in 1 s
2.08/2.17	c [INC SYSTEM] execute solver
2.15/2.38	c [INC SEARCH] formula is SAT
2.15/2.39	c [INC SYSTEM] solved the initial formula
2.15/2.39	c model valid
2.15/2.39	c current solution ok
2.67/3.05	o 1385
2.67/3.05	c starting approximation
2.67/3.05	c factor = 2
2.67/3.05	c current bound: 692
11.21/11.48	c model valid
11.21/11.48	c current solution ok
11.21/11.50	c current bound: 692
19.81/20.07	c model valid
19.81/20.07	c current solution ok
19.81/20.08	c current bound: 692
28.35/28.62	c model valid
28.35/28.62	c current solution ok
28.35/28.63	c current bound: 692
36.97/37.24	c model valid
36.97/37.24	c current solution ok
36.97/37.25	c current bound: 692
45.48/45.76	c model valid
45.48/45.76	c current solution ok
45.48/45.77	c current bound: 692
54.03/54.31	c model valid
54.03/54.31	c current solution ok
54.03/54.32	c current bound: 692
62.62/62.89	c model valid
62.62/62.89	c current solution ok
62.74/62.91	c current bound: 692
71.24/71.46	c model valid
71.24/71.46	c current solution ok
71.24/71.47	c current bound: 692
79.64/79.80	c model valid
79.64/79.80	c current solution ok
79.64/79.81	c current bound: 692
88.01/88.28	c model valid
88.01/88.28	c current solution ok
88.01/88.29	c current bound: 692
96.73/96.91	c model valid
96.73/96.91	c current solution ok
96.73/96.92	c current bound: 692
105.18/105.44	c model valid
105.18/105.44	c current solution ok
105.18/105.45	c current bound: 692
113.73/114.01	c model valid
113.73/114.01	c current solution ok
113.73/114.02	c current bound: 692
122.41/122.69	c model valid
122.41/122.69	c current solution ok
122.53/122.70	c current bound: 692
131.18/131.46	c model valid
131.18/131.46	c current solution ok
131.18/131.47	c current bound: 692
139.79/140.09	c model valid
139.79/140.09	c current solution ok
139.91/140.10	c current bound: 692
148.39/148.68	c model valid
148.39/148.68	c current solution ok
148.39/148.69	c current bound: 692
157.04/157.32	c model valid
157.04/157.32	c current solution ok
157.04/157.33	c current bound: 692
166.01/166.31	c model valid
166.01/166.31	c current solution ok
166.01/166.32	c current bound: 692
174.84/175.15	c model valid
174.84/175.15	c current solution ok
174.84/175.16	c current bound: 692
183.79/184.01	c model valid
183.79/184.01	c current solution ok
183.79/184.02	c current bound: 692
192.42/192.74	c model valid
192.42/192.74	c current solution ok
192.42/192.76	c current bound: 692
201.08/201.42	c model valid
201.08/201.42	c current solution ok
201.08/201.43	c current bound: 692
209.68/209.90	c model valid
209.68/209.90	c current solution ok
209.68/209.91	c current bound: 692
218.17/218.51	c model valid
218.17/218.51	c current solution ok
218.17/218.52	c current bound: 692
226.66/227.01	c model valid
226.66/227.01	c current solution ok
226.66/227.02	c current bound: 692
235.60/235.95	c model valid
235.60/235.95	c current solution ok
235.60/235.96	c current bound: 692
244.55/244.80	c model valid
244.55/244.80	c current solution ok
244.55/244.81	c current bound: 692
253.29/253.66	c model valid
253.29/253.66	c current solution ok
253.29/253.68	c current bound: 692
262.07/262.45	c model valid
262.07/262.45	c current solution ok
262.07/262.46	c current bound: 692
270.78/271.16	c model valid
270.78/271.16	c current solution ok
270.78/271.18	c current bound: 692
279.51/279.80	c model valid
279.51/279.80	c current solution ok
279.51/279.81	c current bound: 692
288.04/288.44	c model valid
288.04/288.44	c current solution ok
288.04/288.45	c current bound: 692
296.93/297.33	c model valid
296.93/297.33	c current solution ok
296.93/297.34	c current bound: 692
305.91/306.31	c model valid
305.91/306.31	c current solution ok
305.91/306.32	c current bound: 692
314.80/315.22	c model valid
314.80/315.22	c current solution ok
314.80/315.23	c current bound: 692
323.67/324.09	c model valid
323.67/324.09	c current solution ok
323.78/324.10	c current bound: 692
332.57/332.90	c model valid
332.57/332.90	c current solution ok
332.57/332.91	c current bound: 692
341.26/341.60	c model valid
341.26/341.60	c current solution ok
341.26/341.61	c current bound: 692
349.83/350.29	c model valid
349.83/350.29	c current solution ok
349.95/350.30	c current bound: 692
358.40/358.86	c model valid
358.40/358.86	c current solution ok
358.40/358.87	c current bound: 692
367.01/367.48	c model valid
367.01/367.48	c current solution ok
367.01/367.49	c current bound: 692
375.93/376.42	c model valid
375.93/376.42	c current solution ok
375.93/376.43	c current bound: 692
384.81/385.28	c model valid
384.81/385.28	c current solution ok
384.81/385.29	c current bound: 692
393.70/394.17	c model valid
393.70/394.17	c current solution ok
393.70/394.18	c current bound: 692
402.42/402.91	c model valid
402.42/402.91	c current solution ok
402.42/402.92	c current bound: 692
411.15/411.66	c model valid
411.15/411.66	c current solution ok
411.15/411.67	c current bound: 692
419.84/420.35	c model valid
419.84/420.35	c current solution ok
419.84/420.36	c current bound: 692
428.37/428.88	c model valid
428.37/428.88	c current solution ok
428.37/428.89	c current bound: 692
436.92/437.43	c model valid
436.92/437.43	c current solution ok
436.92/437.44	c current bound: 692
445.86/446.38	c model valid
445.86/446.38	c current solution ok
445.86/446.39	c current bound: 692
454.78/455.30	c model valid
454.78/455.30	c current solution ok
454.90/455.31	c current bound: 692
463.68/464.16	c model valid
463.68/464.16	c current solution ok
463.68/464.17	c current bound: 692
472.23/472.77	c model valid
472.23/472.77	c current solution ok
472.23/472.78	c current bound: 692
480.97/481.51	c model valid
480.97/481.51	c current solution ok
480.97/481.52	c current bound: 692
489.66/490.21	c model valid
489.66/490.21	c current solution ok
489.66/490.22	c current bound: 692
498.27/498.82	c model valid
498.27/498.82	c current solution ok
498.27/498.84	c current bound: 692
506.96/507.40	c model valid
506.96/507.40	c current solution ok
506.96/507.41	c current bound: 692
515.38/515.94	c model valid
515.38/515.94	c current solution ok
515.38/515.95	c current bound: 692
524.02/524.58	c model valid
524.02/524.58	c current solution ok
524.02/524.59	c current bound: 692
532.76/533.21	c model valid
532.76/533.21	c current solution ok
532.76/533.22	c current bound: 692
541.23/541.77	c model valid
541.23/541.77	c current solution ok
541.23/541.79	c current bound: 692
549.83/550.38	c model valid
549.83/550.38	c current solution ok
549.83/550.39	c current bound: 692
558.47/559.01	c model valid
558.47/559.01	c current solution ok
558.47/559.02	c current bound: 692
567.04/567.54	c model valid
567.04/567.54	c current solution ok
567.04/567.55	c current bound: 692
575.16/575.72	c model valid
575.16/575.72	c current solution ok
575.16/575.73	c current bound: 692
583.70/584.25	c model valid
583.70/584.25	c current solution ok
583.70/584.26	c current bound: 692
592.26/592.70	c model valid
592.26/592.70	c current solution ok
592.26/592.71	c current bound: 692
600.72/601.28	c model valid
600.72/601.28	c current solution ok
600.72/601.29	c current bound: 692
609.13/609.69	c model valid
609.13/609.69	c current solution ok
609.24/609.71	c current bound: 692
617.85/618.31	c model valid
617.85/618.31	c current solution ok
617.85/618.32	c current bound: 692
626.45/626.94	c model valid
626.45/626.94	c current solution ok
626.45/626.95	c current bound: 692
635.02/635.57	c model valid
635.02/635.57	c current solution ok
635.02/635.58	c current bound: 692
643.54/644.09	c model valid
643.54/644.09	c current solution ok
643.65/644.10	c current bound: 692
652.17/652.73	c model valid
652.17/652.73	c current solution ok
652.17/652.74	c current bound: 692
660.61/661.16	c model valid
660.61/661.16	c current solution ok
660.61/661.18	c current bound: 692
669.13/669.69	c model valid
669.13/669.69	c current solution ok
669.24/669.70	c current bound: 692
677.72/678.28	c model valid
677.72/678.28	c current solution ok
677.83/678.30	c current bound: 692
686.45/686.90	c model valid
686.45/686.90	c current solution ok
686.45/686.91	c current bound: 692
694.96/695.52	c model valid
694.96/695.52	c current solution ok
694.96/695.53	c current bound: 692
703.49/704.05	c model valid
703.49/704.05	c current solution ok
703.49/704.06	c current bound: 692
711.95/712.52	c model valid
711.95/712.52	c current solution ok
711.95/712.53	c current bound: 692
720.57/721.14	c model valid
720.57/721.14	c current solution ok
720.57/721.15	c current bound: 692
729.18/729.75	c model valid
729.18/729.75	c current solution ok
729.18/729.76	c current bound: 692
737.76/738.33	c model valid
737.76/738.33	c current solution ok
737.76/738.34	c current bound: 692
746.34/746.88	c model valid
746.34/746.88	c current solution ok
746.34/746.89	c current bound: 692
754.85/755.42	c model valid
754.85/755.42	c current solution ok
754.85/755.43	c current bound: 692
763.39/763.96	c model valid
763.39/763.96	c current solution ok
763.39/763.97	c current bound: 692
771.88/772.46	c model valid
771.88/772.46	c current solution ok
771.88/772.47	c current bound: 692
780.51/781.08	c model valid
780.51/781.08	c current solution ok
780.51/781.09	c current bound: 692
789.11/789.70	c model valid
789.11/789.70	c current solution ok
789.22/789.71	c current bound: 692
797.66/798.25	c model valid
797.66/798.25	c current solution ok
797.66/798.26	c current bound: 692
806.28/806.85	c model valid
806.28/806.85	c current solution ok
806.28/806.86	c current bound: 692
814.89/815.47	c model valid
814.89/815.47	c current solution ok
814.89/815.48	c current bound: 692
823.43/824.01	c model valid
823.43/824.01	c current solution ok
823.43/824.02	c current bound: 692
831.93/832.51	c model valid
831.93/832.51	c current solution ok
831.93/832.52	c current bound: 692
840.50/841.09	c model valid
840.50/841.09	c current solution ok
840.61/841.10	c current bound: 692
849.13/849.72	c model valid
849.13/849.72	c current solution ok
849.13/849.73	c current bound: 692
857.59/858.18	c model valid
857.59/858.18	c current solution ok
857.59/858.19	c current bound: 692
866.21/866.75	c model valid
866.21/866.75	c current solution ok
866.21/866.76	c current bound: 692
874.78/875.37	c model valid
874.78/875.37	c current solution ok
874.78/875.38	c current bound: 692
883.39/883.99	c model valid
883.39/883.99	c current solution ok
883.51/884.00	c current bound: 692
892.02/892.61	c model valid
892.02/892.61	c current solution ok
892.02/892.62	c current bound: 692
900.63/901.10	c model valid
900.63/901.10	c current solution ok
900.63/901.11	c current bound: 692
909.23/909.71	c model valid
909.23/909.71	c current solution ok
909.23/909.72	c current bound: 692
917.67/918.26	c model valid
917.67/918.26	c current solution ok
917.67/918.27	c current bound: 692
926.27/926.85	c model valid
926.27/926.85	c current solution ok
926.27/926.86	c current bound: 692
934.73/935.32	c model valid
934.73/935.32	c current solution ok
934.73/935.33	c current bound: 692
943.30/943.89	c model valid
943.30/943.89	c current solution ok
943.41/943.90	c current bound: 692
952.03/952.51	c model valid
952.03/952.51	c current solution ok
952.03/952.53	c current bound: 692
960.48/961.06	c model valid
960.48/961.06	c current solution ok
960.48/961.07	c current bound: 692
968.86/969.46	c model valid
968.86/969.46	c current solution ok
968.86/969.47	c current bound: 692
977.49/978.08	c model valid
977.49/978.08	c current solution ok
977.49/978.09	c current bound: 692
986.21/986.70	c model valid
986.21/986.70	c current solution ok
986.21/986.72	c current bound: 692
994.74/995.32	c model valid
994.74/995.32	c current solution ok
994.74/995.33	c current bound: 692
1003.27/1003.85	c model valid
1003.27/1003.85	c current solution ok
1003.27/1003.87	c current bound: 692
1011.89/1012.48	c model valid
1011.89/1012.48	c current solution ok
1011.89/1012.49	c current bound: 692
1020.50/1021.09	c model valid
1020.50/1021.09	c current solution ok
1020.61/1021.10	c current bound: 692
1029.01/1029.59	c model valid
1029.01/1029.59	c current solution ok
1029.11/1029.60	c current bound: 692
1037.59/1038.18	c model valid
1037.59/1038.18	c current solution ok
1037.59/1038.19	c current bound: 692
1046.03/1046.62	c model valid
1046.03/1046.62	c current solution ok
1046.03/1046.64	c current bound: 692
1054.66/1055.25	c model valid
1054.66/1055.25	c current solution ok
1054.66/1055.26	c current bound: 692
1063.11/1063.71	c model valid
1063.11/1063.71	c current solution ok
1063.11/1063.72	c current bound: 692
1071.66/1072.26	c model valid
1071.66/1072.26	c current solution ok
1071.66/1072.27	c current bound: 692
1080.28/1080.88	c model valid
1080.28/1080.88	c current solution ok
1080.28/1080.90	c current bound: 692
1088.91/1089.51	c model valid
1088.91/1089.51	c current solution ok
1088.91/1089.52	c current bound: 692
1097.36/1097.97	c model valid
1097.36/1097.97	c current solution ok
1097.36/1097.98	c current bound: 692
1106.00/1106.55	c model valid
1106.00/1106.55	c current solution ok
1106.00/1106.56	c current bound: 692
1114.42/1115.02	c model valid
1114.42/1115.02	c current solution ok
1114.42/1115.03	c current bound: 692
1122.97/1123.58	c model valid
1122.97/1123.58	c current solution ok
1122.97/1123.59	c current bound: 692
1131.47/1132.08	c model valid
1131.47/1132.08	c current solution ok
1131.47/1132.09	c current bound: 692
1140.11/1140.61	c model valid
1140.11/1140.61	c current solution ok
1140.11/1140.62	c current bound: 692
1148.66/1149.26	c model valid
1148.66/1149.26	c current solution ok
1148.66/1149.27	c current bound: 692
1157.20/1157.70	c model valid
1157.20/1157.70	c current solution ok
1157.20/1157.71	c current bound: 692
1165.65/1166.25	c model valid
1165.65/1166.25	c current solution ok
1165.65/1166.26	c current bound: 692
1174.24/1174.85	c model valid
1174.24/1174.85	c current solution ok
1174.24/1174.86	c current bound: 692
1182.80/1183.30	c model valid
1182.80/1183.30	c current solution ok
1182.80/1183.32	c current bound: 692
1191.15/1191.75	c model valid
1191.15/1191.75	c current solution ok
1191.15/1191.77	c current bound: 692
1199.73/1200.33	c model valid
1199.73/1200.33	c current solution ok
1199.73/1200.34	c current bound: 692
1208.35/1208.96	c model valid
1208.35/1208.96	c current solution ok
1208.35/1208.97	c current bound: 692
1216.98/1217.59	c model valid
1216.98/1217.59	c current solution ok
1216.98/1217.60	c current bound: 692
1225.52/1226.12	c model valid
1225.52/1226.12	c current solution ok
1225.52/1226.13	c current bound: 692
1234.15/1234.75	c model valid
1234.15/1234.75	c current solution ok
1234.15/1234.76	c current bound: 692
1242.80/1243.30	c model valid
1242.80/1243.30	c current solution ok
1242.80/1243.31	c current bound: 692
1251.19/1251.73	c model valid
1251.19/1251.73	c current solution ok
1251.19/1251.74	c current bound: 692
1259.71/1260.20	c model valid
1259.71/1260.20	c current solution ok
1259.71/1260.21	c current bound: 692
1268.24/1268.84	c model valid
1268.24/1268.84	c current solution ok
1268.24/1268.85	c current bound: 692
1276.81/1277.30	c model valid
1276.81/1277.30	c current solution ok
1276.81/1277.31	c current bound: 692
1285.30/1285.83	c model valid
1285.30/1285.83	c current solution ok
1285.30/1285.84	c current bound: 692
1293.72/1294.34	c model valid
1293.72/1294.34	c current solution ok
1293.72/1294.35	c current bound: 692
1302.40/1302.90	c model valid
1302.40/1302.90	c current solution ok
1302.40/1302.91	c current bound: 692
1310.91/1311.52	c model valid
1310.91/1311.52	c current solution ok
1310.91/1311.54	c current bound: 692
1319.59/1320.10	c model valid
1319.59/1320.10	c current solution ok
1319.59/1320.11	c current bound: 692
1327.98/1328.59	c model valid
1327.98/1328.59	c current solution ok
1328.10/1328.60	c current bound: 692
1336.56/1337.17	c model valid
1336.56/1337.17	c current solution ok
1336.56/1337.18	c current bound: 692
1345.18/1345.79	c model valid
1345.18/1345.79	c current solution ok
1345.29/1345.80	c current bound: 692
1353.77/1354.37	c model valid
1353.77/1354.37	c current solution ok
1353.77/1354.39	c current bound: 692
1362.34/1362.96	c model valid
1362.34/1362.96	c current solution ok
1362.34/1362.97	c current bound: 692
1370.97/1371.58	c model valid
1370.97/1371.58	c current solution ok
1370.97/1371.59	c current bound: 692
1379.58/1380.20	c model valid
1379.58/1380.20	c current solution ok
1379.70/1380.21	c current bound: 692
1388.29/1388.80	c model valid
1388.29/1388.80	c current solution ok
1388.29/1388.81	c current bound: 692
1396.78/1397.39	c model valid
1396.78/1397.39	c current solution ok
1396.89/1397.41	c current bound: 692
1405.41/1406.03	c model valid
1405.41/1406.03	c current solution ok
1405.41/1406.04	c current bound: 692
1413.99/1414.57	c model valid
1413.99/1414.57	c current solution ok
1413.99/1414.58	c current bound: 692
1422.52/1423.13	c model valid
1422.52/1423.13	c current solution ok
1422.52/1423.14	c current bound: 692
1430.95/1431.57	c model valid
1430.95/1431.57	c current solution ok
1430.95/1431.58	c current bound: 692
1439.52/1440.13	c model valid
1439.52/1440.13	c current solution ok
1439.52/1440.14	c current bound: 692
1448.15/1448.76	c model valid
1448.15/1448.76	c current solution ok
1448.15/1448.78	c current bound: 692
1456.72/1457.33	c model valid
1456.72/1457.33	c current solution ok
1456.72/1457.35	c current bound: 692
1465.23/1465.84	c model valid
1465.23/1465.84	c current solution ok
1465.23/1465.85	c current bound: 692
1473.79/1474.30	c model valid
1473.79/1474.30	c current solution ok
1473.79/1474.31	c current bound: 692
1482.32/1482.93	c model valid
1482.32/1482.93	c current solution ok
1482.32/1482.95	c current bound: 692
1490.99/1491.52	c model valid
1490.99/1491.52	c current solution ok
1490.99/1491.53	c current bound: 692
1499.46/1500.06	c model valid
1499.46/1500.06	c current solution ok
1499.46/1500.07	c current bound: 692
1508.20/1508.70	c model valid
1508.20/1508.70	c current solution ok
1508.20/1508.71	c current bound: 692
1516.65/1517.27	c model valid
1516.65/1517.27	c current solution ok
1516.65/1517.28	c current bound: 692
1525.12/1525.73	c model valid
1525.12/1525.73	c current solution ok
1525.12/1525.74	c current bound: 692
1533.75/1534.36	c model valid
1533.75/1534.36	c current solution ok
1533.75/1534.37	c current bound: 692
1542.40/1542.90	c model valid
1542.40/1542.90	c current solution ok
1542.40/1542.91	c current bound: 692
1550.90/1551.52	c model valid
1550.90/1551.52	c current solution ok
1550.90/1551.53	c current bound: 692
1559.38/1559.99	c model valid
1559.38/1559.99	c current solution ok
1559.48/1560.00	c current bound: 692
1567.97/1568.55	c model valid
1567.97/1568.55	c current solution ok
1567.97/1568.56	c current bound: 692
1576.49/1577.00	c model valid
1576.49/1577.00	c current solution ok
1576.49/1577.01	c current bound: 692
1585.00/1585.62	c model valid
1585.00/1585.62	c current solution ok
1585.00/1585.63	c current bound: 692
1593.44/1594.05	c model valid
1593.44/1594.05	c current solution ok
1593.44/1594.06	c current bound: 692
1601.97/1602.58	c model valid
1601.97/1602.58	c current solution ok
1601.97/1602.59	c current bound: 692
1610.52/1611.14	c model valid
1610.52/1611.14	c current solution ok
1610.52/1611.15	c current bound: 692
1619.18/1619.70	c model valid
1619.18/1619.70	c current solution ok
1619.18/1619.71	c current bound: 692
1627.65/1628.27	c model valid
1627.65/1628.27	c current solution ok
1627.65/1628.28	c current bound: 692
1636.21/1636.83	c model valid
1636.21/1636.83	c current solution ok
1636.21/1636.84	c current bound: 692
1644.77/1645.39	c model valid
1644.77/1645.39	c current solution ok
1644.89/1645.40	c current bound: 692
1653.35/1653.97	c model valid
1653.35/1653.97	c current solution ok
1653.35/1653.98	c current bound: 692
1662.09/1662.60	c model valid
1662.09/1662.60	c current solution ok
1662.09/1662.61	c current bound: 692
1670.60/1671.21	c model valid
1670.60/1671.21	c current solution ok
1670.60/1671.23	c current bound: 692
1679.22/1679.84	c model valid
1679.22/1679.84	c current solution ok
1679.22/1679.85	c current bound: 692
1687.88/1688.43	c model valid
1687.88/1688.43	c current solution ok
1687.88/1688.44	c current bound: 692
1696.44/1697.05	c model valid
1696.44/1697.05	c current solution ok
1696.44/1697.06	c current bound: 692
1705.05/1705.66	c model valid
1705.05/1705.66	c current solution ok
1705.05/1705.67	c current bound: 692
1713.54/1714.15	c model valid
1713.54/1714.15	c current solution ok
1713.54/1714.17	c current bound: 692
1721.99/1722.56	c model valid
1721.99/1722.56	c current solution ok
1721.99/1722.57	c current bound: 692
1730.55/1731.17	c model valid
1730.55/1731.17	c current solution ok
1730.55/1731.19	c current bound: 692
1739.11/1739.72	c model valid
1739.11/1739.72	c current solution ok
1739.11/1739.73	c current bound: 692
1747.79/1748.31	c model valid
1747.79/1748.31	c current solution ok
1747.79/1748.32	c current bound: 692
1756.30/1756.80	c model valid
1756.30/1756.80	c current solution ok
1756.30/1756.82	c current bound: 692
1764.74/1765.36	c model valid
1764.74/1765.36	c current solution ok
1764.74/1765.37	c current bound: 692
1773.31/1773.92	c model valid
1773.31/1773.92	c current solution ok
1773.31/1773.93	c current bound: 692
1781.82/1782.44	c model valid
1781.82/1782.44	c current solution ok
1781.82/1782.45	c current bound: 692
1790.40/1791.02	c model valid
1790.40/1791.02	c current solution ok
1790.40/1791.03	c current bound: 692
1791.58/1792.11	./satsolver.sh: line 5: 17099 Terminated              ./glucose $1 > $2 2> /dev/null
1791.58/1792.11	c error: unexpected solver exit code
1791.58/1792.11	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-3752130-1339128876/watcher-3752130-1339128876 -o /tmp/evaluation-result-3752130-1339128876/solver-3752130-1339128876 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752130-1339128876.opb 777716284 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: 2.00 2.00 1.84 3/178 15573
/proc/meminfo: memFree=29150340/32873648 swapFree=6860/6860
[pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15573/statm: 2287 275 233 213 0 72 0

[startup+0.0798131 s]
/proc/loadavg: 2.00 2.00 1.84 3/178 15573
/proc/meminfo: memFree=29150340/32873648 swapFree=6860/6860
[pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15573/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10027 s]
/proc/loadavg: 2.00 2.00 1.84 3/178 15573
/proc/meminfo: memFree=29150340/32873648 swapFree=6860/6860
[pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15573/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300199 s]
/proc/loadavg: 2.00 2.00 1.84 3/178 15573
/proc/meminfo: memFree=29150340/32873648 swapFree=6860/6860
[pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15573/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700247 s]
/proc/loadavg: 2.00 2.00 1.84 3/178 15573
/proc/meminfo: memFree=29150340/32873648 swapFree=6860/6860
[pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15573/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50038 s]
/proc/loadavg: 2.00 2.00 1.84 3/182 15577
/proc/meminfo: memFree=29014136/32873648 swapFree=6860/6860
[pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15573/statm: 2287 275 233 213 0 72 0
[pid=15574] ppid=15573 vsize=17292 CPUtime=0.3 cores=1,3,5,7
/proc/15574/stat : 15574 (npSolver-pbo) S 15573 15573 12337 0 -1 4202496 4041 0 0 0 29 1 0 0 20 0 1 0 379013667 17707008 3536 33554432000 4194304 6004724 140737386467616 140737386462080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15574/statm: 4323 3536 148 442 0 3877 0
[pid=15576] ppid=15574 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15576/stat : 15576 (cp2_pre.sh) S 15574 15573 12337 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 379013698 9367552 277 33554432000 4194304 5064252 140736638113936 140736638112640 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15576/statm: 2287 277 234 213 0 72 0
[pid=15577] ppid=15576 vsize=123324 CPUtime=1.17 cores=1,3,5,7
/proc/15577/stat : 15577 (coprocessor) R 15576 15573 12337 0 -1 4202496 24148 0 0 0 113 4 0 0 20 0 1 0 379013699 126283776 29784 33554432000 4194304 6586260 140733581747520 140733581743112 4677155 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/15577/statm: 30831 29784 190 584 0 30243 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 158912

[startup+3.10016 s]
/proc/loadavg: 2.00 2.00 1.84 3/182 15577
/proc/meminfo: memFree=29007052/32873648 swapFree=6860/6860
[pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15573/statm: 2287 275 233 213 0 72 0
[pid=15574] ppid=15573 vsize=17296 CPUtime=2.71 cores=1,3,5,7
/proc/15574/stat : 15574 (npSolver-pbo) S 15573 15573 12337 0 -1 4202496 5058 26105 0 0 41 44 179 7 20 0 1 0 379013667 17711104 3564 33554432000 4194304 6004724 140737386467616 140737386459920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/15574/statm: 4324 3564 175 442 0 3878 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 26444

[startup+6.30035 s]
/proc/loadavg: 2.00 2.00 1.84 3/183 15582
/proc/meminfo: memFree=29025624/32873648 swapFree=6860/6860
[pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15573/statm: 2287 275 233 213 0 72 0
[pid=15574] ppid=15573 vsize=17296 CPUtime=2.71 cores=1,3,5,7
/proc/15574/stat : 15574 (npSolver-pbo) S 15573 15573 12337 0 -1 4202496 5058 26105 0 0 41 44 179 7 20 0 1 0 379013667 17711104 3564 33554432000 4194304 6004724 140737386467616 140737386459920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/15574/statm: 4324 3564 175 442 0 3878 0
[pid=15579] ppid=15574 vsize=53152 CPUtime=0.19 cores=1,3,5,7
/proc/15579/stat : 15579 (glucosInc) S 15574 15573 12337 0 -1 4202496 11711 0 0 0 18 1 0 0 20 0 1 0 379013885 54427648 12290 33554432000 4194304 5654031 140736419814848 140736419813160 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15579/statm: 13288 12290 145 357 0 12928 0
[pid=15581] ppid=15574 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15581/stat : 15581 (satsolver.sh) S 15574 15573 12337 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379013973 9367552 267 33554432000 4194304 5064252 140736323414672 140736323413584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15581/statm: 2287 267 226 213 0 72 0
[pid=15582] ppid=15581 vsize=57948 CPUtime=3.23 cores=1,3,5,7
/proc/15582/stat : 15582 (glucose) R 15581 15573 12337 0 -1 4202496 11914 0 0 0 321 2 0 0 20 0 1 0 379013973 59338752 12981 33554432000 4194304 5208918 140737312599712 140737312597656 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15582/statm: 14487 12981 95 248 0 14236 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 146692

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 15589
/proc/meminfo: memFree=29025488/32873648 swapFree=6860/6860
[pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15573/statm: 2287 275 233 213 0 72 0
[pid=15574] ppid=15573 vsize=17680 CPUtime=11.16 cores=1,3,5,7
/proc/15574/stat : 15574 (npSolver-pbo) S 15573 15573 12337 0 -1 4202496 5672 43743 0 0 43 44 1016 13 20 0 1 0 379013667 18104320 3566 33554432000 4194304 6004724 140737386467616 140737386459920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/15574/statm: 4420 3566 176 442 0 3974 0
[pid=15579] ppid=15574 vsize=53152 CPUtime=0.19 cores=1,3,5,7
/proc/15579/stat : 15579 (glucosInc) S 15574 15573 12337 0 -1 4202496 11711 0 0 0 18 1 0 0 20 0 1 0 379013885 54427648 12290 33554432000 4194304 5654031 140736419814848 140736419813160 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15579/statm: 13288 12290 145 357 0 12928 0
[pid=15588] ppid=15574 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15588/stat : 15588 (satsolver.sh) S 15574 15573 12337 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379014817 9367552 267 33554432000 4194304 5064252 140734278954816 140734278953728 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15588/statm: 2287 267 226 213 0 72 0
[pid=15589] ppid=15588 vsize=57952 CPUtime=1.18 cores=1,3,5,7
/proc/15589/stat : 15589 (glucose) R 15588 15573 12337 0 -1 4202496 12866 0 0 0 116 2 0 0 20 0 1 0 379014817 59342848 12793 33554432000 4194304 5208918 140736998986176 140736998984120 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15589/statm: 14488 12793 95 248 0 14237 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 147080

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 15596
/proc/meminfo: memFree=29023552/32873648 swapFree=6860/6860
[pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15573/statm: 2287 275 233 213 0 72 0
[pid=15574] ppid=15573 vsize=17680 CPUtime=19.74 cores=1,3,5,7
/proc/15574/stat : 15574 (npSolver-pbo) S 15573 15573 12337 0 -1 4202496 6284 62376 0 0 44 44 1867 19 20 0 1 0 379013667 18104320 3566 33554432000 4194304 6004724 140737386467616 140737386459920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/15574/statm: 4420 3566 176 442 0 3974 0
[pid=15579] ppid=15574 vsize=53152 CPUtime=0.19 cores=1,3,5,7
/proc/15579/stat : 15579 (glucosInc) S 15574 15573 12337 0 -1 4202496 11711 0 0 0 18 1 0 0 20 0 1 0 379013885 54427648 12290 33554432000 4194304 5654031 140736419814848 140736419813160 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15579/statm: 13288 12290 145 357 0 12928 0
[pid=15595] ppid=15574 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15595/stat : 15595 (satsolver.sh) S 15574 15573 12337 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379015676 9367552 267 33554432000 4194304 5064252 140734304126400 140734304125312 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15595/statm: 2287 267 226 213 0 72 0
[pid=15596] ppid=15595 vsize=57956 CPUtime=5.4 cores=1,3,5,7
/proc/15596/stat : 15596 (glucose) R 15595 15573 12337 0 -1 4202496 12339 0 0 0 538 2 0 0 20 0 1 0 379015676 59346944 12866 33554432000 4194304 5208918 140736925602896 140736925600840 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15596/statm: 14489 12866 95 248 0 14238 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 147084

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 15617
/proc/meminfo: memFree=29025236/32873648 swapFree=6860/6860
[pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15573/statm: 2287 275 233 213 0 72 0
[pid=15574] ppid=15573 vsize=17680 CPUtime=45.42 cores=1,3,5,7
/proc/15574/stat : 15574 (npSolver-pbo) S 15573 15573 12337 0 -1 4202496 8120 115452 0 0 49 44 4413 36 20 0 1 0 379013667 18104320 3566 33554432000 4194304 6004724 140737386467616 140737386459920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/15574/statm: 4420 3566 176 442 0 3974 0
[pid=15579] ppid=15574 vsize=53152 CPUtime=0.19 cores=1,3,5,7
/proc/15579/stat : 15579 (glucosInc) S 15574 15573 12337 0 -1 4202496 11711 0 0 0 18 1 0 0 20 0 1 0 379013885 54427648 12290 33554432000 4194304 5654031 140736419814848 140736419813160 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15579/statm: 13288 12290 145 357 0 12928 0
[pid=15616] ppid=15574 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15616/stat : 15616 (satsolver.sh) S 15574 15573 12337 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 379018244 9367552 266 33554432000 4194304 5064252 140735588061488 140735588060400 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15616/statm: 2287 266 226 213 0 72 0
[pid=15617] ppid=15616 vsize=57952 CPUtime=5.31 cores=1,3,5,7
/proc/15617/stat : 15617 (glucose) R 15616 15573 12337 0 -1 4202496 12446 0 0 0 529 2 0 0 20 0 1 0 379018244 59342848 12953 33554432000 4194304 5208918 140736493486768 140736493484712 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15617/statm: 14488 12953 95 248 0 14237 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 147080

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 15659
/proc/meminfo: memFree=28997596/32873648 swapFree=6860/6860
[pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15573/statm: 2287 275 233 213 0 72 0
[pid=15574] ppid=15573 vsize=17680 CPUtime=96.58 cores=1,3,5,7
/proc/15574/stat : 15574 (npSolver-pbo) S 15573 15573 12337 0 -1 4202496 11792 222779 0 0 59 46 9480 73 20 0 1 0 379013667 18104320 3566 33554432000 4194304 6004724 140737386467616 140737386459920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/15574/statm: 4420 3566 176 442 0 3974 0
[pid=15579] ppid=15574 vsize=53152 CPUtime=0.19 cores=1,3,5,7
/proc/15579/stat : 15579 (glucosInc) S 15574 15573 12337 0 -1 4202496 11711 0 0 0 18 1 0 0 20 0 1 0 379013885 54427648 12290 33554432000 4194304 5654031 140736419814848 140736419813160 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15579/statm: 13288 12290 145 357 0 12928 0
[pid=15658] ppid=15574 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15658/stat : 15658 (satsolver.sh) S 15574 15573 12337 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379023359 9367552 266 33554432000 4194304 5064252 140736309255680 140736309254592 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15658/statm: 2287 266 226 213 0 72 0
[pid=15659] ppid=15658 vsize=57956 CPUtime=5.37 cores=1,3,5,7
/proc/15659/stat : 15659 (glucose) R 15658 15573 12337 0 -1 4202496 12328 0 0 0 535 2 0 0 20 0 1 0 379023360 59346944 12866 33554432000 4194304 5208918 140734918517824 140734918515768 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15659/statm: 14489 12866 95 248 0 14238 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 147084

[startup+162.3 s]

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

/proc/15574/stat : 15574 (npSolver-pbo) S 15573 15573 12337 0 -1 4202496 113996 3241965 0 0 330 73 151897 1069 20 0 1 0 379013667 18104320 3566 33554432000 4194304 6004724 140737386467616 140737386459920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/15574/statm: 4420 3566 176 442 0 3974 0
[pid=15579] ppid=15574 vsize=53152 CPUtime=0.19 cores=1,3,5,7
/proc/15579/stat : 15579 (glucosInc) S 15574 15573 12337 0 -1 4202496 11711 0 0 0 18 1 0 0 20 0 1 0 379013885 54427648 12521 33554432000 4194304 5654031 140736419814848 140736419813160 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15579/statm: 13288 12521 145 357 0 12928 0
[pid=16887] ppid=15574 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16887/stat : 16887 (satsolver.sh) S 15574 15573 12337 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379167105 9367552 266 33554432000 4194304 5064252 140735240147056 140735240145968 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16887/statm: 2287 266 226 213 0 72 0
[pid=16888] ppid=16887 vsize=58088 CPUtime=7.9 cores=1,3,5,7
/proc/16888/stat : 16888 (glucose) R 16887 15573 12337 0 -1 4202496 12402 0 0 0 788 2 0 0 20 0 1 0 379167105 59482112 12915 33554432000 4194304 5208918 140733385439936 140733385437896 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16888/statm: 14522 12915 95 248 0 14271 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 147216

[startup+1602.3 s]
/proc/loadavg: 1.95 1.98 1.95 3/183 16937
/proc/meminfo: memFree=26500880/32873648 swapFree=6860/6860
[pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15573/statm: 2287 275 233 213 0 72 0
[pid=15574] ppid=15573 vsize=17680 CPUtime=1593.38 cores=1,3,5,7
/proc/15574/stat : 15574 (npSolver-pbo) S 15573 15573 12337 0 -1 4202496 118280 3367723 0 0 342 74 157811 1111 20 0 1 0 379013667 18104320 3566 33554432000 4194304 6004724 140737386467616 140737386459920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/15574/statm: 4420 3566 176 442 0 3974 0
[pid=15579] ppid=15574 vsize=53152 CPUtime=0.19 cores=1,3,5,7
/proc/15579/stat : 15579 (glucosInc) S 15574 15573 12337 0 -1 4202496 11711 0 0 0 18 1 0 0 20 0 1 0 379013885 54427648 12521 33554432000 4194304 5654031 140736419814848 140736419813160 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15579/statm: 13288 12521 145 357 0 12928 0
[pid=16936] ppid=15574 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16936/stat : 16936 (satsolver.sh) S 15574 15573 12337 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 379173073 9367552 267 33554432000 4194304 5064252 140736553015504 140736553014416 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16936/statm: 2287 267 226 213 0 72 0
[pid=16937] ppid=16936 vsize=58088 CPUtime=8.22 cores=1,3,5,7
/proc/16937/stat : 16937 (glucose) R 16936 15573 12337 0 -1 4202496 12405 0 0 0 820 2 0 0 20 0 1 0 379173074 59482112 12939 33554432000 4194304 5208918 140736145890784 140736145888744 4229344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16937/statm: 14522 12939 95 248 0 14271 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 147216

[startup+1662.3 s]
/proc/loadavg: 1.98 1.98 1.95 3/182 16986
/proc/meminfo: memFree=26493028/32873648 swapFree=6860/6860
[pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15573/statm: 2287 275 233 213 0 72 0
[pid=15574] ppid=15573 vsize=17680 CPUtime=1653.31 cores=1,3,5,7
/proc/15574/stat : 15574 (npSolver-pbo) S 15573 15573 12337 0 -1 4202496 122564 3493218 0 0 353 76 163750 1152 20 0 1 0 379013667 18104320 3566 33554432000 4194304 6004724 140737386467616 140737386459920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/15574/statm: 4420 3566 176 442 0 3974 0
[pid=15579] ppid=15574 vsize=53152 CPUtime=0.19 cores=1,3,5,7
/proc/15579/stat : 15579 (glucosInc) S 15574 15573 12337 0 -1 4202496 11711 0 0 0 18 1 0 0 20 0 1 0 379013885 54427648 12521 33554432000 4194304 5654031 140736419814848 140736419813160 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15579/statm: 13288 12521 145 357 0 12928 0
[pid=16985] ppid=15574 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16985/stat : 16985 (satsolver.sh) S 15574 15573 12337 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379179066 9367552 267 33554432000 4194304 5064252 140735292679872 140735292678784 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16985/statm: 2287 267 226 213 0 72 0
[pid=16986] ppid=16985 vsize=58084 CPUtime=8.29 cores=1,3,5,7
/proc/16986/stat : 16986 (glucose) R 16985 15573 12337 0 -1 4202496 13022 0 0 0 827 2 0 0 20 0 1 0 379179066 59478016 12938 33554432000 4194304 5208918 140733717492576 140733717490536 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16986/statm: 14521 12938 95 248 0 14270 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 147212

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/183 17036
/proc/meminfo: memFree=26489956/32873648 swapFree=6860/6860
[pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15573/statm: 2287 275 233 213 0 72 0
[pid=15574] ppid=15573 vsize=17680 CPUtime=1713.48 cores=1,3,5,7
/proc/15574/stat : 15574 (npSolver-pbo) S 15573 15573 12337 0 -1 4202496 126848 3619265 0 0 364 77 169714 1193 20 0 1 0 379013667 18104320 3566 33554432000 4194304 6004724 140737386467616 140737386459920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/15574/statm: 4420 3566 176 442 0 3974 0
[pid=15579] ppid=15574 vsize=53152 CPUtime=0.19 cores=1,3,5,7
/proc/15579/stat : 15579 (glucosInc) S 15574 15573 12337 0 -1 4202496 11711 0 0 0 18 1 0 0 20 0 1 0 379013885 54427648 12521 33554432000 4194304 5654031 140736419814848 140736419813160 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15579/statm: 13288 12521 145 357 0 12928 0
[pid=17035] ppid=15574 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17035/stat : 17035 (satsolver.sh) S 15574 15573 12337 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379185084 9367552 267 33554432000 4194304 5064252 140737384834336 140737384833248 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17035/statm: 2287 267 226 213 0 72 0
[pid=17036] ppid=17035 vsize=58088 CPUtime=8.11 cores=1,3,5,7
/proc/17036/stat : 17036 (glucose) R 17035 15573 12337 0 -1 4202496 12022 0 0 0 809 2 0 0 20 0 1 0 379185084 59482112 13085 33554432000 4194304 5208918 140733967612704 140733967610664 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17036/statm: 14522 13085 95 248 0 14271 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 147216

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/183 17085
/proc/meminfo: memFree=26477980/32873648 swapFree=6860/6860
[pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15573/statm: 2287 275 233 213 0 72 0
[pid=15574] ppid=15573 vsize=17680 CPUtime=1773.24 cores=1,3,5,7
/proc/15574/stat : 15574 (npSolver-pbo) S 15573 15573 12337 0 -1 4202496 131132 3743827 0 0 375 78 175635 1236 20 0 1 0 379013667 18104320 3566 33554432000 4194304 6004724 140737386467616 140737386459920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/15574/statm: 4420 3566 176 442 0 3974 0
[pid=15579] ppid=15574 vsize=53152 CPUtime=0.19 cores=1,3,5,7
/proc/15579/stat : 15579 (glucosInc) S 15574 15573 12337 0 -1 4202496 11711 0 0 0 18 1 0 0 20 0 1 0 379013885 54427648 12521 33554432000 4194304 5654031 140736419814848 140736419813160 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15579/statm: 13288 12521 145 357 0 12928 0
[pid=17084] ppid=15574 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17084/stat : 17084 (satsolver.sh) S 15574 15573 12337 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379191061 9367552 267 33554432000 4194304 5064252 140734519705184 140734519704096 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17084/statm: 2287 267 226 213 0 72 0
[pid=17085] ppid=17084 vsize=58968 CPUtime=8.34 cores=1,3,5,7
/proc/17085/stat : 17085 (glucose) R 17084 15573 12337 0 -1 4202496 12673 0 0 0 832 2 0 0 20 0 1 0 379191061 60383232 13201 33554432000 4194304 5208918 140734095015136 140734095013096 4436724 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17085/statm: 14742 13201 105 248 0 14491 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 148096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.1 s]
/proc/loadavg: 1.99 1.98 1.95 3/183 17099
/proc/meminfo: memFree=26478052/32873648 swapFree=6860/6860
[pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15573/statm: 2287 275 233 213 0 72 0
[pid=15574] ppid=15573 vsize=17680 CPUtime=1790.34 cores=1,3,5,7
/proc/15574/stat : 15574 (npSolver-pbo) S 15573 15573 12337 0 -1 4202496 132356 3779467 0 0 379 79 177329 1247 20 0 1 0 379013667 18104320 3566 33554432000 4194304 6004724 140737386467616 140737386459920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/15574/statm: 4420 3566 176 442 0 3974 0
[pid=15579] ppid=15574 vsize=53152 CPUtime=0.19 cores=1,3,5,7
/proc/15579/stat : 15579 (glucosInc) S 15574 15573 12337 0 -1 4202496 11711 0 0 0 18 1 0 0 20 0 1 0 379013885 54427648 12521 33554432000 4194304 5654031 140736419814848 140736419813160 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15579/statm: 13288 12521 145 357 0 12928 0
[pid=17098] ppid=15574 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17098/stat : 17098 (satsolver.sh) S 15574 15573 12337 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379192770 9367552 267 33554432000 4194304 5064252 140736286833040 140736286831952 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17098/statm: 2287 267 226 213 0 72 0
[pid=17099] ppid=17098 vsize=57952 CPUtime=1.05 cores=1,3,5,7
/proc/17099/stat : 17099 (glucose) R 17098 15573 12337 0 -1 4202496 12863 0 0 0 104 1 0 0 20 0 1 0 379192771 59342848 12788 33554432000 4194304 5208918 140736587827184 140736587825128 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17099/statm: 14488 12788 95 248 0 14237 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 147080

Sending SIGTERM to process tree (bottom up)

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

[startup+1792.1 s]
/proc/loadavg: 1.99 1.98 1.95 3/183 17099
/proc/meminfo: memFree=26478052/32873648 swapFree=6860/6860
[pid=15573] ppid=15571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15573/stat : 15573 (npSolver-pbo-It) S 15571 15573 12337 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 379013667 9367552 275 33554432000 4194304 5064252 140733389281936 140733389280848 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15573/statm: 2287 275 233 213 0 72 0
[pid=15574] ppid=15573 vsize=17680 CPUtime=1790.34 cores=1,3,5,7
/proc/15574/stat : 15574 (npSolver-pbo) S 15573 15573 12337 0 -1 4202496 132356 3779467 0 0 379 79 177329 1247 20 0 1 0 379013667 18104320 3566 33554432000 4194304 6004724 140737386467616 140737386459920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/15574/statm: 4420 3566 176 442 0 3974 0
[pid=15579] ppid=15574 vsize=53152 CPUtime=0.19 cores=1,3,5,7
/proc/15579/stat : 15579 (glucosInc) S 15574 15573 12337 0 -1 4202496 11711 0 0 0 18 1 0 0 20 0 1 0 379013885 54427648 12521 33554432000 4194304 5654031 140736419814848 140736419813160 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15579/statm: 13288 12521 145 357 0 12928 0
[pid=17098] ppid=15574 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17098/stat : 17098 (satsolver.sh) S 15574 15573 12337 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 379192770 9367552 267 33554432000 4194304 5064252 140736286833040 140736286831952 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17098/statm: 2287 267 226 213 0 72 0
[pid=17099] ppid=17098 vsize=57952 CPUtime=1.05 cores=1,3,5,7
/proc/17099/stat : 17099 (glucose) R 17098 15573 12337 0 -1 4202496 12863 0 0 0 104 1 0 0 20 0 1 0 379192771 59342848 12788 33554432000 4194304 5208918 140736587827184 140736587825128 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17099/statm: 14488 12788 95 248 0 14237 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 147080

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15573 and gives
#  childrusage.ru_utime.tv_sec=1778
#  childrusage.ru_utime.tv_usec=138681
#  childrusage.ru_stime.tv_sec=13
#  childrusage.ru_stime.tv_usec=292979
# CPU time returned by wait4() is 1791.43
# while last known CPU time is 1791.58
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 8.44
#  lost CPU user time (s): 8.42001
#  lost CPU system time (s): 0.02

Real time (s): 1792.11
CPU time (s): 1800.02
CPU user time (s): 1786.72
CPU system time (s): 13.3
CPU usage (%): 100.441
Max. virtual memory (cumulated for all children) (KiB): 158916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1778.14
system time used= 13.293
maximum resident set size= 123324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3925675
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3680184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67306
involuntary context switches= 3996

runsolver used 5.8901 second user time and 19.0801 second system time

The end

Launcher Data

Begin job on node116 at 2012-06-08 06:14:36
IDJOB=3752130
IDBENCH=2926
IDSOLVER=2335
FILE ID=node116/3752130-1339128876
RUNJOBID= node116-1339112627-14158
PBS_JOBID= 14643737
Free space on /tmp= 70968 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_2.opb
COMMAND LINE= DIR/npSolver-pbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3752130-1339128876/watcher-3752130-1339128876 -o /tmp/evaluation-result-3752130-1339128876/solver-3752130-1339128876 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752130-1339128876.opb 777716284 HOME HOME

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

MD5SUM BENCH= c0264878059fff5e6fa5f51839a60b24
RANDOM SEED=777716284

node116.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.556
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.11
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.556
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.556
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	: 5438.54
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.556
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.556
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.556
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.92
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.556
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		: 2666.556
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:       32873648 kB
MemFree:        29150596 kB
Buffers:          369404 kB
Cached:          2371280 kB
SwapCached:         3172 kB
Active:          1067204 kB
Inactive:        1778216 kB
Active(anon):     101660 kB
Inactive(anon):     3392 kB
Active(file):     965544 kB
Inactive(file):  1774824 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67100544 kB
Dirty:             25728 kB
Writeback:             0 kB
AnonPages:        262544 kB
Mapped:            12036 kB
Shmem:                 0 kB
Slab:             734356 kB
SReclaimable:     178328 kB
SUnreclaim:       556028 kB
KernelStack:        1504 kB
PageTables:         3952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     232188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    182272 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70412 MiB
End job on node116 at 2012-06-08 06:44:28