Trace number 3715139

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topDownOPTIMUM 1257.55 1252.14

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh309_wcsp.wbo
MD5SUM9ccb130e1efb7ba02e23bcfacb5f0a47
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark276
Best CPU time to get the best result obtained on this benchmark0.06199
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints1000
Number of soft constraints900
Number of constraints which are clauses900
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 444855
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 444854
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.02	c run usual solver
0.00/0.06	o 2629
0.00/0.06	c fallback to adder encoding
15.44/15.52	o 2625
15.44/15.52	c fallback to adder encoding
20.45/20.53	o 2624
20.45/20.53	c fallback to adder encoding
26.16/26.23	o 2619
26.16/26.23	c fallback to adder encoding
30.83/30.90	o 2618
30.83/30.90	c fallback to adder encoding
35.17/35.27	o 2617
35.17/35.27	c fallback to adder encoding
40.56/40.70	o 2602
40.56/40.70	c fallback to adder encoding
46.76/46.87	o 2588
46.76/46.87	c fallback to adder encoding
52.54/52.61	o 2587
52.54/52.61	c fallback to adder encoding
58.86/58.93	o 2584
58.86/58.93	c fallback to adder encoding
62.25/62.33	o 2580
62.25/62.33	c fallback to adder encoding
67.74/67.82	o 2576
67.74/67.82	c fallback to adder encoding
77.65/77.73	o 2574
77.65/77.73	c fallback to adder encoding
86.25/86.37	o 2562
86.25/86.37	c fallback to adder encoding
97.82/97.92	o 2561
97.82/97.92	c fallback to adder encoding
104.34/104.49	o 2560
104.34/104.49	c fallback to adder encoding
107.32/107.42	o 2554
107.32/107.42	c fallback to adder encoding
110.45/110.57	o 2545
110.45/110.57	c fallback to adder encoding
114.95/115.09	o 2542
114.95/115.09	c fallback to adder encoding
120.14/120.29	o 2537
120.14/120.29	c fallback to adder encoding
128.93/129.08	o 2479
128.93/129.08	c fallback to adder encoding
131.23/131.35	o 2473
131.23/131.35	c fallback to adder encoding
135.51/135.61	o 2472
135.51/135.61	c fallback to adder encoding
141.89/142.00	o 2469
141.89/142.00	c fallback to adder encoding
144.32/144.49	o 2465
144.32/144.49	c fallback to adder encoding
150.01/150.11	o 2464
150.01/150.11	c fallback to adder encoding
157.33/157.45	o 2461
157.33/157.45	c fallback to adder encoding
162.33/162.43	o 2460
162.33/162.43	c fallback to adder encoding
168.61/168.71	o 2457
168.61/168.71	c fallback to adder encoding
173.22/173.39	o 2452
173.22/173.39	c fallback to adder encoding
179.63/179.76	o 2451
179.63/179.76	c fallback to adder encoding
186.83/186.98	o 2450
186.83/186.98	c fallback to adder encoding
193.82/193.93	o 2449
193.82/193.93	c fallback to adder encoding
197.54/197.60	o 2446
197.54/197.60	c fallback to adder encoding
204.09/204.21	o 2443
204.09/204.21	c fallback to adder encoding
210.42/210.54	o 2440
210.42/210.54	c fallback to adder encoding
215.42/215.57	o 2437
215.42/215.57	c fallback to adder encoding
219.81/219.98	o 2434
219.81/219.98	c fallback to adder encoding
227.10/227.28	o 2433
227.10/227.28	c fallback to adder encoding
231.40/231.56	o 2432
231.40/231.56	c fallback to adder encoding
235.89/236.08	o 2431
235.89/236.08	c fallback to adder encoding
241.90/242.08	o 2429
241.90/242.08	c fallback to adder encoding
247.58/247.73	o 2428
247.58/247.73	c fallback to adder encoding
250.79/250.96	o 2424
250.79/250.96	c fallback to adder encoding
255.05/255.21	o 2423
255.05/255.21	c fallback to adder encoding
262.45/262.60	o 2418
262.45/262.60	c fallback to adder encoding
268.19/268.33	o 2413
268.19/268.33	c fallback to adder encoding
273.85/274.02	o 2372
273.85/274.02	c fallback to adder encoding
278.07/278.21	o 2368
278.07/278.21	c fallback to adder encoding
285.47/285.67	o 2367
285.47/285.67	c fallback to adder encoding
289.87/290.04	o 2359
289.87/290.04	c fallback to adder encoding
294.46/294.64	o 2355
294.46/294.64	c fallback to adder encoding
305.23/305.41	o 2353
305.23/305.41	c fallback to adder encoding
308.25/308.44	o 2344
308.25/308.44	c fallback to adder encoding
317.65/317.83	o 2343
317.65/317.83	c fallback to adder encoding
324.44/324.69	o 2338
324.44/324.69	c fallback to adder encoding
331.13/331.32	o 2337
331.13/331.32	c fallback to adder encoding
335.53/335.71	o 2304
335.53/335.71	c fallback to adder encoding
337.55/337.76	o 2303
337.55/337.76	c fallback to adder encoding
344.45/344.64	o 2282
344.45/344.64	c fallback to adder encoding
347.33/347.60	o 2281
347.33/347.60	c fallback to adder encoding
351.13/351.37	o 2280
351.13/351.37	c fallback to adder encoding
355.34/355.55	o 2277
355.34/355.55	c fallback to adder encoding
362.82/363.02	o 2275
362.82/363.02	c fallback to adder encoding
365.93/366.16	o 2274
365.93/366.16	c fallback to adder encoding
372.05/372.20	o 2269
372.05/372.20	c fallback to adder encoding
378.24/378.44	o 2268
378.24/378.44	c fallback to adder encoding
384.03/384.27	o 2265
384.03/384.27	c fallback to adder encoding
393.33/393.58	o 2256
393.33/393.58	c fallback to adder encoding
398.30/398.58	o 2255
398.30/398.58	c fallback to adder encoding
401.87/402.20	o 2251
401.87/402.20	c fallback to adder encoding
408.51/408.85	o 2244
408.51/408.85	c fallback to adder encoding
412.50/412.84	o 2242
412.50/412.84	c fallback to adder encoding
415.10/415.46	o 2235
415.10/415.46	c fallback to adder encoding
419.78/420.12	o 2215
419.78/420.12	c fallback to adder encoding
424.20/424.59	o 2214
424.20/424.59	c fallback to adder encoding
434.59/434.95	o 2213
434.59/434.95	c fallback to adder encoding
440.08/440.44	o 2212
440.08/440.44	c fallback to adder encoding
453.77/454.12	o 2211
453.77/454.12	c fallback to adder encoding
462.55/463.00	o 2210
462.55/463.00	c fallback to adder encoding
470.28/470.80	o 2181
470.28/470.80	c fallback to adder encoding
476.66/477.11	o 2176
476.66/477.11	c fallback to adder encoding
478.98/479.45	o 2170
478.98/479.45	c fallback to adder encoding
482.99/483.49	o 2158
482.99/483.49	c fallback to adder encoding
487.48/487.99	o 2147
487.48/487.99	c fallback to adder encoding
493.56/494.01	o 2146
493.56/494.01	c fallback to adder encoding
499.48/499.94	o 2145
499.48/499.94	c fallback to adder encoding
504.78/505.25	o 2136
504.78/505.25	c fallback to adder encoding
509.88/510.36	o 2128
509.88/510.36	c fallback to adder encoding
516.45/516.96	o 2127
516.45/516.96	c fallback to adder encoding
522.34/522.85	o 2126
522.34/522.85	c fallback to adder encoding
526.54/527.06	o 2125
526.54/527.06	c fallback to adder encoding
531.13/531.62	o 2120
531.13/531.62	c fallback to adder encoding
535.85/536.34	o 2116
535.85/536.34	c fallback to adder encoding
542.96/543.45	o 2115
542.96/543.45	c fallback to adder encoding
552.63/553.12	o 2090
552.63/553.12	c fallback to adder encoding
561.83/562.39	o 2077
561.83/562.39	c fallback to adder encoding
574.02/574.55	o 2073
574.02/574.55	c fallback to adder encoding
580.99/581.51	o 2061
580.99/581.51	c fallback to adder encoding
585.52/586.04	o 2055
585.52/586.04	c fallback to adder encoding
590.62/591.17	o 2053
590.62/591.17	c fallback to adder encoding
594.29/594.80	o 2052
594.29/594.80	c fallback to adder encoding
604.12/604.65	o 2045
604.12/604.65	c fallback to adder encoding
608.92/609.48	o 2040
608.92/609.48	c fallback to adder encoding
614.09/614.60	o 2037
614.09/614.60	c fallback to adder encoding
616.09/616.60	o 2029
616.09/616.60	c fallback to adder encoding
619.61/620.19	o 2028
619.61/620.19	c fallback to adder encoding
624.33/624.88	o 2026
624.33/624.88	c fallback to adder encoding
630.01/630.56	o 2025
630.01/630.56	c fallback to adder encoding
631.18/631.70	o 1981
631.18/631.70	c fallback to adder encoding
641.61/642.19	o 1977
641.61/642.19	c fallback to adder encoding
650.31/650.89	o 1974
650.31/650.89	c fallback to adder encoding
653.31/653.88	o 1965
653.31/653.88	c fallback to adder encoding
656.21/656.76	o 1964
656.21/656.76	c fallback to adder encoding
661.21/661.76	o 1962
661.21/661.76	c fallback to adder encoding
663.29/663.82	o 1958
663.29/663.82	c fallback to adder encoding
670.39/670.96	o 1957
670.39/670.96	c fallback to adder encoding
675.09/675.62	o 1954
675.09/675.62	c fallback to adder encoding
677.37/677.91	o 1953
677.37/677.91	c fallback to adder encoding
684.49/685.06	o 1924
684.49/685.06	c fallback to adder encoding
689.10/689.60	o 1923
689.10/689.60	c fallback to adder encoding
694.30/694.88	o 1922
694.30/694.88	c fallback to adder encoding
699.28/699.83	o 1918
699.28/699.83	c fallback to adder encoding
703.18/703.79	o 1909
703.18/703.79	c fallback to adder encoding
706.31/706.88	o 1900
706.31/706.88	c fallback to adder encoding
708.11/708.64	o 1893
708.11/708.64	c fallback to adder encoding
711.29/711.85	o 1892
711.29/711.85	c fallback to adder encoding
714.16/714.71	o 1885
714.16/714.71	c fallback to adder encoding
719.69/720.23	o 1884
719.69/720.23	c fallback to adder encoding
725.29/725.85	o 1871
725.29/725.85	c fallback to adder encoding
729.38/729.97	o 1868
729.38/729.97	c fallback to adder encoding
738.29/738.83	o 1867
738.29/738.83	c fallback to adder encoding
742.48/743.10	o 1864
742.48/743.10	c fallback to adder encoding
747.98/748.56	o 1859
747.98/748.56	c fallback to adder encoding
752.18/752.77	o 1858
752.18/752.77	c fallback to adder encoding
755.54/756.19	o 1857
755.54/756.19	c fallback to adder encoding
758.24/758.84	o 1856
758.24/758.84	c fallback to adder encoding
760.24/760.86	o 1853
760.24/760.86	c fallback to adder encoding
762.64/763.28	o 1851
762.64/763.28	c fallback to adder encoding
767.72/768.39	o 1842
767.72/768.39	c fallback to adder encoding
772.14/772.78	o 1841
772.14/772.78	c fallback to adder encoding
775.24/775.86	o 1840
775.24/775.86	c fallback to adder encoding
780.12/780.71	o 1838
780.12/780.71	c fallback to adder encoding
783.64/784.25	o 1833
783.64/784.25	c fallback to adder encoding
788.54/789.10	o 1830
788.54/789.10	c fallback to adder encoding
795.91/796.51	o 1829
795.91/796.51	c fallback to adder encoding
798.60/799.21	o 1800
798.60/799.21	c fallback to adder encoding
804.83/805.53	o 1797
804.83/805.53	c fallback to adder encoding
808.14/808.84	o 1794
808.14/808.84	c fallback to adder encoding
813.23/813.92	o 1793
813.23/813.92	c fallback to adder encoding
818.66/819.30	o 1792
818.66/819.30	c fallback to adder encoding
820.22/820.93	o 1788
820.22/820.93	c fallback to adder encoding
827.33/828.08	o 1787
827.33/828.08	c fallback to adder encoding
832.44/833.16	o 1786
832.44/833.16	c fallback to adder encoding
835.20/835.98	o 1782
835.20/835.98	c fallback to adder encoding
838.30/839.10	o 1778
838.30/839.10	c fallback to adder encoding
841.46/842.20	o 1712
841.46/842.20	c fallback to adder encoding
844.91/845.65	o 1699
844.91/845.65	c fallback to adder encoding
853.40/854.17	o 1697
853.40/854.17	c fallback to adder encoding
858.50/859.27	o 1681
858.50/859.27	c fallback to adder encoding
863.01/863.70	o 1672
863.01/863.70	c fallback to adder encoding
866.71/867.46	o 1671
866.71/867.46	c fallback to adder encoding
871.61/872.37	o 1665
871.61/872.37	c fallback to adder encoding
876.89/877.60	o 1664
876.89/877.60	c fallback to adder encoding
879.58/880.30	o 1663
879.58/880.30	c fallback to adder encoding
881.80/882.70	o 1659
881.80/882.70	c fallback to adder encoding
889.41/890.32	o 1658
889.41/890.32	c fallback to adder encoding
891.02/891.97	o 1657
891.02/891.97	c fallback to adder encoding
895.33/896.26	o 1654
895.33/896.26	c fallback to adder encoding
901.22/902.15	o 1653
901.22/902.15	c fallback to adder encoding
905.32/906.20	o 1641
905.32/906.20	c fallback to adder encoding
908.22/909.16	o 1640
908.22/909.16	c fallback to adder encoding
911.29/912.21	o 1633
911.29/912.21	c fallback to adder encoding
911.41/919.84	o 1632
911.41/919.84	c fallback to adder encoding
923.71/924.67	o 1627
923.71/924.67	c fallback to adder encoding
929.30/930.22	o 1626
929.30/930.22	c fallback to adder encoding
932.02/932.97	o 1616
932.02/932.97	c fallback to adder encoding
935.61/936.58	o 1612
935.61/936.58	c fallback to adder encoding
941.92/942.87	o 1605
941.92/942.87	c fallback to adder encoding
946.09/947.01	o 1604
946.09/947.01	c fallback to adder encoding
948.61/949.50	o 1559
948.61/949.50	c fallback to adder encoding
951.51/952.48	o 1558
951.51/952.48	c fallback to adder encoding
955.41/956.37	o 1556
955.41/956.37	c fallback to adder encoding
958.50/959.46	o 1553
958.50/959.46	c fallback to adder encoding
961.71/962.68	o 1552
961.71/962.68	c fallback to adder encoding
964.18/965.13	o 1551
964.18/965.13	c fallback to adder encoding
970.68/971.67	o 1542
970.68/971.67	c fallback to adder encoding
974.29/975.24	o 1541
974.29/975.24	c fallback to adder encoding
979.29/980.25	o 1540
979.29/980.25	c fallback to adder encoding
985.18/986.16	o 1539
985.18/986.16	c fallback to adder encoding
988.64/989.60	o 1536
988.64/989.60	c fallback to adder encoding
992.66/993.62	o 1530
992.66/993.62	c fallback to adder encoding
996.35/997.31	o 1521
996.35/997.31	c fallback to adder encoding
998.48/999.43	o 1489
998.48/999.43	c fallback to adder encoding
1005.07/1006.09	o 1484
1005.07/1006.09	c fallback to adder encoding
1008.67/1009.66	o 1481
1008.67/1009.66	c fallback to adder encoding
1014.28/1015.26	o 1480
1014.28/1015.26	c fallback to adder encoding
1019.29/1020.40	o 1474
1019.29/1020.40	c fallback to adder encoding
1023.82/1024.99	o 1473
1023.82/1024.99	c fallback to adder encoding
1027.82/1028.97	o 1450
1027.82/1028.97	c fallback to adder encoding
1032.03/1033.16	o 1447
1032.03/1033.16	c fallback to adder encoding
1035.82/1036.93	o 984
1035.82/1036.93	c fallback to adder encoding
1038.22/1039.39	o 980
1038.22/1039.39	c fallback to adder encoding
1041.11/1042.28	o 977
1041.11/1042.28	c fallback to adder encoding
1044.12/1045.23	o 976
1044.12/1045.23	c fallback to adder encoding
1045.82/1046.93	o 975
1045.82/1046.93	c fallback to adder encoding
1048.11/1049.27	o 971
1048.11/1049.27	c fallback to adder encoding
1050.49/1051.70	o 960
1050.49/1051.70	c fallback to adder encoding
1053.17/1054.34	o 959
1053.17/1054.34	c fallback to adder encoding
1057.55/1058.73	o 957
1057.55/1058.73	c fallback to adder encoding
1059.94/1061.10	o 940
1059.94/1061.10	c fallback to adder encoding
1061.68/1062.80	o 932
1061.68/1062.80	c fallback to adder encoding
1065.65/1066.84	o 931
1065.65/1066.84	c fallback to adder encoding
1068.56/1069.76	o 926
1068.56/1069.76	c fallback to adder encoding
1071.17/1072.33	o 925
1071.17/1072.33	c fallback to adder encoding
1073.68/1074.88	o 924
1073.68/1074.88	c fallback to adder encoding
1075.17/1076.38	o 923
1075.17/1076.38	c fallback to adder encoding
1078.46/1079.61	o 919
1078.46/1079.61	c fallback to adder encoding
1081.26/1082.43	o 916
1081.26/1082.43	c fallback to adder encoding
1083.25/1084.48	o 915
1083.25/1084.48	c fallback to adder encoding
1084.41/1085.60	o 911
1084.41/1085.60	c fallback to adder encoding
1087.04/1088.25	o 910
1087.04/1088.25	c fallback to adder encoding
1089.53/1090.78	o 907
1089.53/1090.78	c fallback to adder encoding
1091.43/1092.66	o 906
1091.43/1092.66	c fallback to adder encoding
1095.83/1097.06	o 904
1095.83/1097.06	c fallback to adder encoding
1098.63/1099.87	o 899
1098.63/1099.87	c fallback to adder encoding
1101.67/1102.92	o 898
1101.67/1102.92	c fallback to adder encoding
1105.19/1106.43	o 881
1105.19/1106.43	c fallback to adder encoding
1107.26/1108.52	o 873
1107.26/1108.52	c fallback to adder encoding
1109.98/1111.24	o 870
1109.98/1111.24	c fallback to adder encoding
1112.57/1113.87	o 869
1112.57/1113.87	c fallback to adder encoding
1114.67/1115.93	o 864
1114.67/1115.93	c fallback to adder encoding
1116.79/1118.00	o 861
1116.79/1118.00	c fallback to adder encoding
1119.06/1120.31	o 857
1119.06/1120.31	c fallback to adder encoding
1121.58/1122.82	o 853
1121.58/1122.82	c fallback to adder encoding
1123.76/1125.02	o 850
1123.76/1125.02	c fallback to adder encoding
1125.36/1126.61	o 849
1125.36/1126.61	c fallback to adder encoding
1128.59/1129.83	o 848
1128.59/1129.83	c fallback to adder encoding
1130.27/1131.58	o 835
1130.27/1131.58	c fallback to adder encoding
1132.88/1134.12	o 834
1132.88/1134.12	c fallback to adder encoding
1135.57/1136.88	o 831
1135.57/1136.88	c fallback to adder encoding
1137.27/1138.57	o 830
1137.27/1138.57	c fallback to adder encoding
1138.78/1140.04	o 829
1138.78/1140.04	c fallback to adder encoding
1140.93/1142.21	o 824
1140.93/1142.21	c fallback to adder encoding
1142.71/1144.06	o 816
1142.71/1144.06	c fallback to adder encoding
1144.71/1146.05	o 815
1144.71/1146.05	c fallback to adder encoding
1147.12/1148.47	o 814
1147.12/1148.47	c fallback to adder encoding
1149.10/1150.49	o 812
1149.10/1150.49	c fallback to adder encoding
1150.71/1152.04	o 765
1150.71/1152.04	c fallback to adder encoding
1152.30/1153.60	o 757
1152.30/1153.60	c fallback to adder encoding
1153.32/1154.64	o 756
1153.32/1154.64	c fallback to adder encoding
1154.48/1155.80	o 755
1154.48/1155.80	c fallback to adder encoding
1156.60/1157.99	o 752
1156.60/1157.99	c fallback to adder encoding
1158.38/1159.78	o 751
1158.38/1159.78	c fallback to adder encoding
1160.07/1161.46	o 748
1160.07/1161.46	c fallback to adder encoding
1160.98/1162.38	o 746
1160.98/1162.38	c fallback to adder encoding
1161.97/1163.35	o 718
1161.97/1163.35	c fallback to adder encoding
1163.44/1164.82	o 712
1163.44/1164.82	c fallback to adder encoding
1165.64/1167.09	o 707
1165.64/1167.09	c fallback to adder encoding
1167.63/1169.05	o 706
1167.63/1169.05	c fallback to adder encoding
1169.25/1170.68	o 705
1169.25/1170.68	c fallback to adder encoding
1170.64/1172.09	o 701
1170.64/1172.09	c fallback to adder encoding
1172.04/1173.50	o 693
1172.04/1173.50	c fallback to adder encoding
1173.93/1175.31	o 692
1173.93/1175.31	c fallback to adder encoding
1175.34/1176.75	o 685
1175.34/1176.75	c fallback to adder encoding
1176.74/1178.11	o 682
1176.74/1178.11	c fallback to adder encoding
1179.65/1181.00	o 675
1179.65/1181.00	c fallback to adder encoding
1181.24/1182.61	o 674
1181.24/1182.61	c fallback to adder encoding
1182.94/1184.37	o 673
1182.94/1184.37	c fallback to adder encoding
1184.45/1185.88	o 664
1184.45/1185.88	c fallback to adder encoding
1186.01/1187.47	o 663
1186.01/1187.47	c fallback to adder encoding
1187.32/1188.72	o 659
1187.32/1188.72	c fallback to adder encoding
1188.49/1189.90	o 657
1188.49/1189.90	c fallback to adder encoding
1189.61/1191.04	o 656
1189.61/1191.04	c fallback to adder encoding
1190.69/1192.12	o 655
1190.69/1192.12	c fallback to adder encoding
1192.30/1193.70	o 641
1192.30/1193.70	c fallback to adder encoding
1193.68/1195.15	o 640
1193.68/1195.15	c fallback to adder encoding
1194.88/1196.36	o 639
1194.88/1196.36	c fallback to adder encoding
1195.98/1197.43	o 636
1195.98/1197.43	c fallback to adder encoding
1197.08/1198.55	o 633
1197.08/1198.55	c fallback to adder encoding
1198.39/1199.82	o 632
1198.39/1199.82	c fallback to adder encoding
1199.59/1201.02	o 631
1199.59/1201.02	c fallback to adder encoding
1200.79/1202.29	o 629
1200.79/1202.29	c fallback to adder encoding
1202.17/1203.67	o 628
1202.17/1203.67	c fallback to adder encoding
1203.48/1204.99	o 627
1203.48/1204.99	c fallback to adder encoding
1204.28/1205.79	o 623
1204.28/1205.79	c fallback to adder encoding
1205.56/1207.00	o 619
1205.56/1207.00	c fallback to adder encoding
1206.58/1208.10	o 618
1206.58/1208.10	c fallback to adder encoding
1207.86/1209.37	o 593
1207.86/1209.37	c fallback to adder encoding
1209.47/1210.96	o 592
1209.47/1210.96	c fallback to adder encoding
1210.65/1212.10	o 577
1210.65/1212.10	c fallback to adder encoding
1212.03/1213.53	o 576
1212.03/1213.53	c fallback to adder encoding
1213.25/1214.73	o 565
1213.25/1214.73	c fallback to adder encoding
1214.14/1215.63	o 562
1214.14/1215.63	c fallback to adder encoding
1214.21/1216.58	o 559
1214.21/1216.58	c fallback to adder encoding
1217.02/1218.58	o 558
1217.02/1218.58	c fallback to adder encoding
1217.93/1219.41	o 553
1217.93/1219.41	c fallback to adder encoding
1219.62/1221.14	o 552
1219.62/1221.14	c fallback to adder encoding
1220.84/1222.38	o 551
1220.84/1222.38	c fallback to adder encoding
1222.12/1223.69	o 550
1222.12/1223.69	c fallback to adder encoding
1223.42/1224.98	o 536
1223.42/1224.98	c fallback to adder encoding
1225.11/1226.66	o 531
1225.11/1226.66	c fallback to adder encoding
1226.41/1227.91	o 530
1226.41/1227.91	c fallback to adder encoding
1227.43/1228.94	o 519
1227.43/1228.94	c fallback to adder encoding
1228.64/1230.10	o 512
1228.64/1230.10	c fallback to adder encoding
1228.66/1230.54	o 507
1228.66/1230.54	c fallback to adder encoding
1229.43/1230.96	o 504
1229.43/1230.96	c fallback to adder encoding
1230.03/1231.51	o 503
1230.03/1231.51	c fallback to adder encoding
1230.08/1232.00	o 502
1230.08/1232.00	c fallback to adder encoding
1230.56/1232.53	o 501
1230.56/1232.53	c fallback to adder encoding
1231.64/1233.12	o 498
1231.64/1233.12	c fallback to adder encoding
1231.70/1233.46	o 496
1231.70/1233.46	c fallback to adder encoding
1232.03/1233.88	o 493
1232.03/1233.88	c fallback to adder encoding
1232.91/1234.40	o 489
1232.91/1234.40	c fallback to adder encoding
1232.96/1234.74	o 486
1232.96/1234.74	c fallback to adder encoding
1233.31/1235.27	o 485
1233.31/1235.27	c fallback to adder encoding
1233.83/1235.99	o 482
1233.83/1235.99	c fallback to adder encoding
1234.81/1236.31	o 471
1234.81/1236.31	c fallback to adder encoding
1235.22/1236.75	o 460
1235.22/1236.75	c fallback to adder encoding
1235.32/1237.34	o 459
1235.32/1237.34	c fallback to adder encoding
1236.32/1237.85	o 458
1236.32/1237.85	c fallback to adder encoding
1236.36/1238.45	o 441
1236.36/1238.45	c fallback to adder encoding
1237.39/1238.93	o 436
1237.39/1238.93	c fallback to adder encoding
1237.87/1239.41	o 433
1237.87/1239.41	c fallback to adder encoding
1238.18/1239.79	o 427
1238.18/1239.79	c fallback to adder encoding
1238.30/1240.16	o 421
1238.30/1240.16	c fallback to adder encoding
1238.68/1240.68	o 419
1238.68/1240.68	c fallback to adder encoding
1239.47/1241.08	o 403
1239.47/1241.08	c fallback to adder encoding
1239.98/1241.51	o 402
1239.98/1241.51	c fallback to adder encoding
1240.02/1241.89	o 399
1240.02/1241.89	c fallback to adder encoding
1240.41/1242.28	o 398
1240.41/1242.28	c fallback to adder encoding
1241.29/1243.15	o 397
1241.29/1243.15	c fallback to adder encoding
1241.31/1243.55	o 396
1241.31/1243.55	c fallback to adder encoding
1241.71/1243.95	o 392
1241.71/1243.95	c fallback to adder encoding
1242.53/1244.42	o 387
1242.53/1244.42	c fallback to adder encoding
1242.60/1244.95	o 384
1242.60/1244.95	c fallback to adder encoding
1243.12/1245.14	o 352
1243.12/1245.14	c fallback to adder encoding
1243.54/1245.49	o 351
1243.54/1245.49	c fallback to adder encoding
1243.93/1245.81	o 350
1243.93/1245.81	c fallback to adder encoding
1244.24/1246.11	o 349
1244.24/1246.11	c fallback to adder encoding
1244.52/1246.44	o 341
1244.52/1246.44	c fallback to adder encoding
1244.60/1246.68	o 340
1244.60/1246.68	c fallback to adder encoding
1245.12/1247.00	o 339
1245.12/1247.00	c fallback to adder encoding
1245.17/1247.26	o 338
1245.17/1247.26	c fallback to adder encoding
1245.63/1247.51	o 336
1245.63/1247.51	c fallback to adder encoding
1245.92/1247.94	o 333
1245.92/1247.94	c fallback to adder encoding
1245.96/1248.17	o 332
1245.96/1248.17	c fallback to adder encoding
1246.19/1248.46	o 329
1246.19/1248.46	c fallback to adder encoding
1246.69/1248.79	o 328
1246.69/1248.79	c fallback to adder encoding
1246.81/1249.07	o 327
1246.81/1249.07	c fallback to adder encoding
1247.29/1249.30	o 326
1247.29/1249.30	c fallback to adder encoding
1247.58/1249.61	o 325
1247.58/1249.61	c fallback to adder encoding
1247.61/1249.92	o 324
1247.61/1249.92	c fallback to adder encoding
1247.92/1250.22	o 323
1247.92/1250.22	c fallback to adder encoding
1248.23/1250.55	o 321
1248.23/1250.55	c fallback to adder encoding
1248.68/1250.77	o 320
1248.68/1250.77	c fallback to adder encoding
1248.98/1251.00	o 317
1248.98/1251.00	c fallback to adder encoding
1249.26/1251.30	o 309
1249.26/1251.30	c fallback to adder encoding
1249.30/1251.57	o 308
1249.80/1251.99	o 276
1250.02/1252.13	c display solution
1250.02/1252.13	s OPTIMUM FOUND
1250.02/1252.13	v x1 -x2 x3 -x4 -x5 x6 x7 -x8 -x9 x10 -x11 x12 x13 -x14 -x15 x16 x17 -x18 -x19 x20 x21 -x22 -x23 x24 x25 -x26 x27 -x28 x29 -x30 -x31 x32 -x33 x34 -x35 x36 -x37 x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 -x51 x52 -x53 x54 -x55 x56 x57 -x58 x59 -x60 -x61 x62 -x63 x64 -x65 x66 x67 -x68 -x69 x70 -x71 x72 x73 -x74 x75 -x76 -x77 x78 x79 -x80 x81 -x82 -x83 x84 -x85 x86 x87 -x88 -x89 x90 -x91 x92 x93 -x94 -x95 x96 x97 -x98 x99 -x100 x101 -x102 -x103 x104 -x105 x106 -x107 x108 -x109 x110 -x111 x112 -x113 x114 x115 -x116 -x117 x118 x119 -x120 -x121 x122 -x123 x124 -x125 x126 -x127 x128 -x129 x130 x131 -x132 -x133 x134 -x135 x136 x137 -x138 x139 -x140 -x141 x142 -x143 x144 x145 -x146 -x147 x148 -x149 x150 -x151 x152 -x153 x154 x155 -x156 -x157 x158 -x159 x160 -x161 x162 x163 -x164 -x165 x166 -x167 x168 x169 -x170 -x171 x172 x173 -x174 -x175 x176 -x177 x178 -x179 x180 -x181 x182 x183 -x184 -x185 x186 -x187 x188 -x189 x190 -x191 x192 -x193 x194 -x195 x196 -x197 x198 x199 -x200 

Verifier Data

OK	276

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-3715139-1338225168/watcher-3715139-1338225168 -o /tmp/evaluation-result-3715139-1338225168/solver-3715139-1338225168 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715139-1338225168.wbo 638925276 HOME HOME 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.99 1.98 1.99 2/179 16821
/proc/meminfo: memFree=31221504/32873648 swapFree=6852/6852
[pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16821/statm: 2287 274 233 213 0 72 0

[startup+0.0833711 s]
/proc/loadavg: 1.99 1.98 1.99 2/179 16821
/proc/meminfo: memFree=31221504/32873648 swapFree=6852/6852
[pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16821/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100231 s]
/proc/loadavg: 1.99 1.98 1.99 2/179 16821
/proc/meminfo: memFree=31221504/32873648 swapFree=6852/6852
[pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16821/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300233 s]
/proc/loadavg: 1.99 1.98 1.99 2/179 16821
/proc/meminfo: memFree=31221504/32873648 swapFree=6852/6852
[pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16821/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700215 s]
/proc/loadavg: 1.99 1.98 1.99 2/179 16821
/proc/meminfo: memFree=31221504/32873648 swapFree=6852/6852
[pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16821/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50039 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 16835
/proc/meminfo: memFree=31191368/32873648 swapFree=6852/6852
[pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16821/statm: 2287 274 233 213 0 72 0
[pid=16822] ppid=16821 vsize=7244 CPUtime=0.11 cores=0,2,4,6
/proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 2570 5124 0 0 8 1 2 0 20 0 1 0 288643605 7417856 1449 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16822/statm: 1811 1449 165 439 0 1368 0
[pid=16834] ppid=16822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16834/stat : 16834 (satsolver.sh) S 16822 16821 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288643619 9367552 267 33554432000 4194304 5064252 140734651570240 140734651569152 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16834/statm: 2287 267 226 213 0 72 0
[pid=16835] ppid=16834 vsize=17852 CPUtime=1.35 cores=0,2,4,6
/proc/16835/stat : 16835 (glucose) R 16834 16821 29981 0 -1 4202496 4295 0 0 0 135 0 0 0 20 0 1 0 288643619 18280448 3617 33554432000 4194304 5208918 140736434292736 140736434290584 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16835/statm: 4463 3617 105 248 0 4212 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 43392

[startup+3.10039 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 16835
/proc/meminfo: memFree=31190004/32873648 swapFree=6852/6852
[pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16821/statm: 2287 274 233 213 0 72 0
[pid=16822] ppid=16821 vsize=7244 CPUtime=0.11 cores=0,2,4,6
/proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 2570 5124 0 0 8 1 2 0 20 0 1 0 288643605 7417856 1449 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16822/statm: 1811 1449 165 439 0 1368 0
[pid=16834] ppid=16822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16834/stat : 16834 (satsolver.sh) S 16822 16821 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288643619 9367552 267 33554432000 4194304 5064252 140734651570240 140734651569152 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16834/statm: 2287 267 226 213 0 72 0
[pid=16835] ppid=16834 vsize=17988 CPUtime=2.95 cores=0,2,4,6
/proc/16835/stat : 16835 (glucose) R 16834 16821 29981 0 -1 4202496 4605 0 0 0 295 0 0 0 20 0 1 0 288643619 18419712 3924 33554432000 4194304 5208918 140736434292736 140736434289112 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16835/statm: 4497 3924 105 248 0 4246 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 43528

[startup+6.30037 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 16835
/proc/meminfo: memFree=31185100/32873648 swapFree=6852/6852
[pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16821/statm: 2287 274 233 213 0 72 0
[pid=16822] ppid=16821 vsize=7244 CPUtime=0.11 cores=0,2,4,6
/proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 2570 5124 0 0 8 1 2 0 20 0 1 0 288643605 7417856 1449 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16822/statm: 1811 1449 165 439 0 1368 0
[pid=16834] ppid=16822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16834/stat : 16834 (satsolver.sh) S 16822 16821 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288643619 9367552 267 33554432000 4194304 5064252 140734651570240 140734651569152 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16834/statm: 2287 267 226 213 0 72 0
[pid=16835] ppid=16834 vsize=25320 CPUtime=6.15 cores=0,2,4,6
/proc/16835/stat : 16835 (glucose) R 16834 16821 29981 0 -1 4202496 5683 0 0 0 614 1 0 0 20 0 1 0 288643619 25927680 5794 33554432000 4194304 5208918 140736434292736 140736434290680 4211608 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16835/statm: 6330 5794 105 248 0 6079 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 50860

[startup+12.7004 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 16835
/proc/meminfo: memFree=31157788/32873648 swapFree=6852/6852
[pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16821/statm: 2287 274 233 213 0 72 0
[pid=16822] ppid=16821 vsize=7244 CPUtime=0.11 cores=0,2,4,6
/proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 2570 5124 0 0 8 1 2 0 20 0 1 0 288643605 7417856 1449 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16822/statm: 1811 1449 165 439 0 1368 0
[pid=16834] ppid=16822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16834/stat : 16834 (satsolver.sh) S 16822 16821 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288643619 9367552 267 33554432000 4194304 5064252 140734651570240 140734651569152 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16834/statm: 2287 267 226 213 0 72 0
[pid=16835] ppid=16834 vsize=36816 CPUtime=12.55 cores=0,2,4,6
/proc/16835/stat : 16835 (glucose) R 16834 16821 29981 0 -1 4202496 6092 0 0 0 1254 1 0 0 20 0 1 0 288643619 37699584 8247 33554432000 4194304 5208918 140736434292736 140736434290728 4229456 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16835/statm: 9204 8247 105 248 0 8953 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 62356

[startup+25.5004 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 16863
/proc/meminfo: memFree=31193684/32873648 swapFree=6852/6852
[pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16821/statm: 2287 274 233 213 0 72 0
[pid=16822] ppid=16821 vsize=11336 CPUtime=20.58 cores=0,2,4,6
/proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 6115 23392 0 0 22 3 2025 8 20 0 1 0 288643605 11608064 2464 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16822/statm: 2834 2464 166 439 0 2391 0
[pid=16855] ppid=16822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16855/stat : 16855 (satsolver.sh) S 16822 16821 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288645666 9367552 267 33554432000 4194304 5064252 140733898327136 140733898326048 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16855/statm: 2287 267 226 213 0 72 0
[pid=16856] ppid=16855 vsize=21064 CPUtime=4.87 cores=0,2,4,6
/proc/16856/stat : 16856 (glucose) R 16855 16821 29981 0 -1 4202496 4616 0 0 0 487 0 0 0 20 0 1 0 288645666 21569536 4383 33554432000 4194304 5208918 140736886309776 140736886307736 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16856/statm: 5266 4383 105 248 0 5015 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 50696

[startup+51.1004 s]
/proc/loadavg: 2.06 2.00 2.00 3/183 16912
/proc/meminfo: memFree=31184512/32873648 swapFree=6852/6852
[pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16821/statm: 2287 274 233 213 0 72 0
[pid=16822] ppid=16821 vsize=11336 CPUtime=46.93 cores=0,2,4,6
/proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 14975 64656 0 0 57 8 4600 28 20 0 1 0 288643605 11608064 2464 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16822/statm: 2834 2464 166 439 0 2391 0
[pid=16911] ppid=16822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16911/stat : 16911 (satsolver.sh) S 16822 16821 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288648300 9367552 267 33554432000 4194304 5064252 140735197313120 140735197312032 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16911/statm: 2287 267 226 213 0 72 0
[pid=16912] ppid=16911 vsize=18204 CPUtime=4.14 cores=0,2,4,6
/proc/16912/stat : 16912 (glucose) R 16911 16821 29981 0 -1 4202496 4483 0 0 0 413 1 0 0 20 0 1 0 288648300 18640896 3723 33554432000 4194304 5208918 140736765304480 140736765300856 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16912/statm: 4551 3723 105 248 0 4300 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 47836

[startup+102.307 s]
/proc/loadavg: 2.02 2.00 2.00 3/183 16989
/proc/meminfo: memFree=31174956/32873648 swapFree=6852/6852
[pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16821/statm: 2287 274 233 213 0 72 0
[pid=16822] ppid=16821 vsize=11336 CPUtime=97.95 cores=0,2,4,6
/proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 27379 124494 0 0 105 14 9620 56 20 0 1 0 288643605 11608064 2464 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16822/statm: 2834 2464 166 439 0 2391 0
[pid=16988] ppid=16822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16988/stat : 16988 (satsolver.sh) S 16822 16821 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288653405 9367552 267 33554432000 4194304 5064252 140737335510064 140737335508976 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16988/statm: 2287 267 226 213 0 72 0
[pid=16989] ppid=16988 vsize=18208 CPUtime=4.3 cores=0,2,4,6
/proc/16989/stat : 16989 (glucose) R 16988 16821 29981 0 -1 4202496 5204 0 0 0 429 1 0 0 20 0 1 0 288653405 18644992 3818 33554432000 4194304 5208918 140734403756240 140734403754392 4211668 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16989/statm: 4552 3818 105 248 0 4301 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 47840

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 17115
/proc/meminfo: memFree=31190368/32873648 swapFree=6852/6852
[pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16821/statm: 2287 274 233 213 0 72 0
[pid=16822] ppid=16821 vsize=11336 CPUtime=157.48 cores=0,2,4,6
/proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 48643 221401 0 0 188 25 15433 102 20 0 1 0 288643605 11608064 2464 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16822/statm: 2834 2464 166 439 0 2391 0
[pid=17114] ppid=16822 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/meminfo: memFree=31204112/32873648 swapFree=6852/6852
[pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16821/statm: 2287 274 233 213 0 72 0
[pid=16822] ppid=16821 vsize=11284 CPUtime=998.59 cores=0,2,4,6
/proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 250451 1575653 0 0 1262 161 97712 724 20 0 1 0 288643605 11554816 2463 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 8 0 0
/proc/16822/statm: 2821 2463 166 439 0 2378 0
[pid=19839] ppid=16822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19839/stat : 19839 (satsolver.sh) S 16822 16821 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288743555 9367552 266 33554432000 4194304 5064252 140735892669296 140735892668208 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19839/statm: 2287 266 226 213 0 72 0
[pid=19840] ppid=19839 vsize=16456 CPUtime=2.78 cores=0,2,4,6
/proc/19840/stat : 19840 (glucose) R 19839 16821 29981 0 -1 4202496 4020 0 0 0 278 0 0 0 20 0 1 0 288743555 16850944 3446 33554432000 4194304 5208918 140735460783552 140735460781304 4211888 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19840/statm: 4114 3446 105 248 0 3863 0
Current children cumulated CPU time (s) 1001.37
Current children cumulated vsize (KiB) 46036

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 20123
/proc/meminfo: memFree=31206936/32873648 swapFree=6852/6852
[pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16821/statm: 2287 274 233 213 0 72 0
[pid=16822] ppid=16821 vsize=11228 CPUtime=1060.03 cores=0,2,4,6
/proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 263185 1697761 0 0 1353 173 103695 782 20 0 1 0 288643605 11497472 2463 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 8 0 0
/proc/16822/statm: 2807 2463 166 439 0 2364 0
[pid=20122] ppid=16822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20122/stat : 20122 (satsolver.sh) S 16822 16821 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288749721 9367552 266 33554432000 4194304 5064252 140734527505040 140734527503952 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20122/statm: 2287 266 226 213 0 72 0
[pid=20123] ppid=20122 vsize=13380 CPUtime=1.13 cores=0,2,4,6
/proc/20123/stat : 20123 (glucose) R 20122 16821 29981 0 -1 4202496 3366 0 0 0 112 1 0 0 20 0 1 0 288749721 13701120 2902 33554432000 4194304 5208918 140734718321424 140734718319272 4229583 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20123/statm: 3345 2902 103 248 0 3094 0
Current children cumulated CPU time (s) 1061.16
Current children cumulated vsize (KiB) 42904

[startup+1122.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 20441
/proc/meminfo: memFree=31214068/32873648 swapFree=6852/6852
[pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16821/statm: 2287 274 233 213 0 72 0
[pid=16822] ppid=16821 vsize=11196 CPUtime=1119.17 cores=0,2,4,6
/proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 280435 1852474 0 0 1461 188 109417 851 20 0 1 0 288643605 11464704 2463 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 8 0 0
/proc/16822/statm: 2799 2463 166 439 0 2356 0
[pid=20437] ppid=16822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20437/stat : 20437 (satsolver.sh) S 16822 16821 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288755642 9367552 266 33554432000 4194304 5064252 140737137642368 140737137641280 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20437/statm: 2287 266 226 213 0 72 0
[pid=20438] ppid=20437 vsize=14868 CPUtime=1.92 cores=0,2,4,6
/proc/20438/stat : 20438 (glucose) R 20437 16821 29981 0 -1 4202496 3007 0 0 0 192 0 0 0 20 0 1 0 288755642 15224832 2996 33554432000 4194304 5208918 140733661260320 140733661258168 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20438/statm: 3717 2996 105 248 0 3466 0
Current children cumulated CPU time (s) 1121.09
Current children cumulated vsize (KiB) 44360

[startup+1182.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 20866
/proc/meminfo: memFree=31215944/32873648 swapFree=6852/6852
[pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16821/statm: 2287 274 233 213 0 72 0
[pid=16822] ppid=16821 vsize=11100 CPUtime=1179.7 cores=0,2,4,6
/proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 324571 2058323 0 0 1598 209 115226 937 20 0 1 0 288643605 11366400 1952 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 8 0 0
/proc/16822/statm: 2775 1952 166 439 0 2332 0
[pid=20865] ppid=16822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20865/stat : 20865 (satsolver.sh) S 16822 16821 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288761709 9367552 267 33554432000 4194304 5064252 140734257620400 140734257619312 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20865/statm: 2287 267 226 213 0 72 0
[pid=20866] ppid=20865 vsize=11276 CPUtime=1.24 cores=0,2,4,6
/proc/20866/stat : 20866 (glucose) R 20865 16821 29981 0 -1 4202496 2943 0 0 0 124 0 0 0 20 0 1 0 288761710 11546624 2448 33554432000 4194304 5208918 140737070109216 140737070107048 4211851 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20866/statm: 2819 2448 104 248 0 2568 0
Current children cumulated CPU time (s) 1180.94
Current children cumulated vsize (KiB) 40672

[startup+1242.3 s]
/proc/loadavg: 1.93 1.98 1.99 3/182 21769
/proc/meminfo: memFree=31220572/32873648 swapFree=6852/6852
[pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16821/statm: 2287 274 233 213 0 72 0
[pid=16822] ppid=16821 vsize=6976 CPUtime=1240.78 cores=0,2,4,6
/proc/16822/stat : 16822 (npSolver-wbo) R 16821 16821 29981 0 -1 4202496 394561 2412919 0 0 1798 233 120980 1067 20 0 1 0 288643605 7143424 1376 33554432000 4194304 5990268 140733328063824 140733328055824 5042551 0 0 4096 0 0 0 0 17 0 0 0 8 0 0
/proc/16822/statm: 1744 1376 166 439 0 1301 0
Current children cumulated CPU time (s) 1240.78
Current children cumulated vsize (KiB) 16124

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

[startup+1248 s]
/proc/loadavg: 1.94 1.98 1.99 3/184 21890
/proc/meminfo: memFree=31215204/32873648 swapFree=6852/6852
[pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16821/statm: 2287 274 233 213 0 72 0
[pid=16822] ppid=16821 vsize=6976 CPUtime=1245.96 cores=0,2,4,6
/proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 405686 2484894 0 0 1828 236 121442 1090 20 0 1 0 288643605 7143424 1376 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 8 0 0
/proc/16822/statm: 1744 1376 166 439 0 1301 0
Current children cumulated CPU time (s) 1245.96
Current children cumulated vsize (KiB) 16124

[startup+1249.6 s]
/proc/loadavg: 1.94 1.98 1.99 3/184 21956
/proc/meminfo: memFree=31215720/32873648 swapFree=6852/6852
[pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16821/statm: 2287 274 233 213 0 72 0
[pid=16822] ppid=16821 vsize=6976 CPUtime=1247.58 cores=0,2,4,6
/proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 408731 2509656 0 0 1837 237 121586 1098 20 0 1 0 288643605 7143424 1376 33554432000 4194304 5990268 140733328063824 140733328054736 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 8 0 0
/proc/16822/statm: 1744 1376 166 439 0 1301 0
[pid=21954] ppid=16822 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21954/stat : 21954 (cp2_post.sh) S 16822 16821 29981 0 -1 4202496 610 225 0 0 0 0 0 0 20 0 1 0 288768563 9367552 266 33554432000 4194304 5064252 140733647683856 140733647682144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21954/statm: 2287 266 225 213 0 72 0
[pid=21956] ppid=21954 vsize=6264 CPUtime=0 cores=0,2,4,6
/proc/21956/stat : 21956 (coprocessor) R 21954 16821 29981 0 -1 4202496 655 0 0 0 0 0 0 0 20 0 1 0 288768564 6414336 1074 33554432000 4194304 6586260 140736536574928 140736536571496 5732496 0 0 4096 8404994 0 0 0 17 6 0 0 0 0 0
/proc/21956/statm: 1566 1074 148 584 0 978 0
Current children cumulated CPU time (s) 1247.58
Current children cumulated vsize (KiB) 31536

[startup+1251.2 s]
/proc/loadavg: 1.94 1.98 1.99 3/182 21986
/proc/meminfo: memFree=31232496/32873648 swapFree=6852/6852
[pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16821/statm: 2287 274 233 213 0 72 0
[pid=16822] ppid=16821 vsize=6976 CPUtime=1249 cores=0,2,4,6
/proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 412323 2536203 0 0 1847 238 121709 1106 20 0 1 0 288643605 7143424 1376 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 8 0 0
/proc/16822/statm: 1744 1376 166 439 0 1301 0
Current children cumulated CPU time (s) 1249
Current children cumulated vsize (KiB) 16124

[startup+1251.6 s]
/proc/loadavg: 1.94 1.98 1.99 3/182 21986
/proc/meminfo: memFree=31232496/32873648 swapFree=6852/6852
[pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16821/statm: 2287 274 233 213 0 72 0
[pid=16822] ppid=16821 vsize=6976 CPUtime=1249.59 cores=0,2,4,6
/proc/16822/stat : 16822 (npSolver-wbo) R 16821 16821 29981 0 -1 4202496 413933 2546037 0 0 1851 239 121760 1109 20 0 1 0 288643605 7143424 1377 33554432000 4194304 5990268 140733328063824 140733328055824 5042513 0 0 4096 0 0 0 0 17 0 0 0 8 0 0
/proc/16822/statm: 1744 1377 166 439 0 1301 0
Current children cumulated CPU time (s) 1249.59
Current children cumulated vsize (KiB) 16124

[startup+1252 s]
/proc/loadavg: 1.94 1.98 1.99 3/184 22016
/proc/meminfo: memFree=31185296/32873648 swapFree=6852/6852
[pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16821/statm: 2287 274 233 213 0 72 0
[pid=16822] ppid=16821 vsize=3884 CPUtime=1249.98 cores=0,2,4,6
/proc/16822/stat : 16822 (npSolver-wbo) R 16821 16821 29981 0 -1 4202496 414867 2557028 0 0 1855 239 121785 1119 20 0 1 0 288643605 3977216 600 33554432000 4194304 5990268 140733328063824 140733328055824 5042551 0 0 4096 0 0 0 0 17 0 0 0 8 0 0
/proc/16822/statm: 971 600 166 439 0 528 0
Current children cumulated CPU time (s) 1249.98
Current children cumulated vsize (KiB) 13032

[startup+1252.1 s]
/proc/loadavg: 1.94 1.98 1.99 3/184 22016
/proc/meminfo: memFree=31185296/32873648 swapFree=6852/6852
[pid=16821] ppid=16819 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16821/stat : 16821 (npSolver-wbo-It) S 16819 16821 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288643605 9367552 274 33554432000 4194304 5064252 140733902705232 140733902704144 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16821/statm: 2287 274 233 213 0 72 0
[pid=16822] ppid=16821 vsize=11052 CPUtime=1250.02 cores=0,2,4,6
/proc/16822/stat : 16822 (npSolver-wbo) S 16821 16821 29981 0 -1 4202496 415763 2557028 0 0 1858 240 121785 1119 20 0 1 0 288643605 11317248 2005 33554432000 4194304 5990268 140733328063824 140733328055248 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 8 0 0
/proc/16822/statm: 2763 2005 166 439 0 2320 0
Current children cumulated CPU time (s) 1250.02
Current children cumulated vsize (KiB) 20200

Child status: 0

# 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): 7.41003
#  lost CPU user time (s): 7.39001
#  lost CPU system time (s): 0.02

Real time (s): 1252.14
CPU time (s): 1257.55
CPU user time (s): 1243.91
CPU system time (s): 13.6399
CPU usage (%): 100.432
Max. virtual memory (cumulated for all children) (KiB): 66552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1236.52
system time used= 13.6199
maximum resident set size= 34120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2981521
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2324144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12530
involuntary context switches= 5652

runsolver used 2.69259 second user time and 7.32389 second system time

The end

Launcher Data

Begin job on node115 at 2012-05-28 19:12:48
IDJOB=3715139
IDBENCH=79405
IDSOLVER=2296
FILE ID=node115/3715139-1338225168
RUNJOBID= node115-1338195070-29997
PBS_JOBID= 14624604
Free space on /tmp= 71632 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh309_wcsp.wbo
COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715139-1338225168/watcher-3715139-1338225168 -o /tmp/evaluation-result-3715139-1338225168/solver-3715139-1338225168 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itd.sh HOME/instance-3715139-1338225168.wbo 638925276 HOME HOME

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

MD5SUM BENCH= 9ccb130e1efb7ba02e23bcfacb5f0a47
RANDOM SEED=638925276

node115.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.462
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	: 5332.92
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.462
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.462
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.92
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.462
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.462
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.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
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:        31222032 kB
Buffers:          434576 kB
Cached:           315264 kB
SwapCached:          972 kB
Active:           661676 kB
Inactive:         131612 kB
Active(anon):      36672 kB
Inactive(anon):     9244 kB
Active(file):     625004 kB
Inactive(file):   122368 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67106424 kB
Dirty:             12656 kB
Writeback:             0 kB
AnonPages:         41024 kB
Mapped:            12724 kB
Shmem:                96 kB
Slab:             721468 kB
SReclaimable:     165444 kB
SUnreclaim:       556024 kB
KernelStack:        1520 kB
PageTables:         4408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     163508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71624 MiB
End job on node115 at 2012-05-28 19:33:41