Trace number 3753803

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topDown (fixed)OPTIMUM 1621.73 1622.75

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh09_wcsp.wbo
MD5SUMf2d449aa8c80edec7a2d4cb4a780c49d
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark333
Best CPU time to get the best result obtained on this benchmark0.117981
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 constraints950
Number of soft constraints850
Number of constraints which are clauses850
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 constraint10
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 19
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.05	o 2936
0.00/0.05	c fallback to adder encoding
7.13/7.23	o 2902
7.13/7.23	c fallback to adder encoding
14.55/14.65	o 2898
14.55/14.65	c fallback to adder encoding
27.35/27.43	o 2896
27.35/27.43	c fallback to adder encoding
37.59/37.71	o 2885
37.59/37.71	c fallback to adder encoding
46.43/46.55	o 2881
46.43/46.55	c fallback to adder encoding
78.55/78.60	o 2844
78.55/78.60	c fallback to adder encoding
91.73/91.87	o 2838
91.73/91.87	c fallback to adder encoding
102.15/102.20	o 2817
102.15/102.20	c fallback to adder encoding
112.63/112.78	o 2758
112.63/112.78	c fallback to adder encoding
117.23/117.38	o 2756
117.23/117.38	c fallback to adder encoding
124.42/124.57	o 2731
124.42/124.57	c fallback to adder encoding
133.00/133.14	o 2717
133.00/133.14	c fallback to adder encoding
138.12/138.21	o 2716
138.12/138.21	c fallback to adder encoding
144.40/144.57	o 2707
144.40/144.57	c fallback to adder encoding
164.96/165.13	o 2706
164.96/165.13	c fallback to adder encoding
179.59/179.78	o 2705
179.59/179.78	c fallback to adder encoding
195.15/195.33	o 2634
195.15/195.33	c fallback to adder encoding
212.87/213.05	o 2631
212.87/213.05	c fallback to adder encoding
217.12/217.30	o 2630
217.12/217.30	c fallback to adder encoding
234.41/234.63	o 2612
234.41/234.63	c fallback to adder encoding
239.63/239.82	o 2605
239.63/239.82	c fallback to adder encoding
242.79/243.04	o 2567
242.79/243.04	c fallback to adder encoding
249.06/249.32	o 2564
249.06/249.32	c fallback to adder encoding
257.88/258.19	o 2561
257.88/258.19	c fallback to adder encoding
268.58/268.89	o 2560
268.58/268.89	c fallback to adder encoding
275.58/275.88	o 2559
275.58/275.88	c fallback to adder encoding
280.04/280.31	o 2556
280.04/280.31	c fallback to adder encoding
284.59/284.89	o 2551
284.59/284.89	c fallback to adder encoding
288.47/288.74	o 2444
288.47/288.74	c fallback to adder encoding
292.59/292.86	o 2437
292.59/292.86	c fallback to adder encoding
299.19/299.46	o 2428
299.19/299.46	c fallback to adder encoding
310.48/310.77	o 2427
310.48/310.77	c fallback to adder encoding
330.37/330.65	o 2425
330.37/330.65	c fallback to adder encoding
339.12/339.41	o 2424
339.12/339.41	c fallback to adder encoding
356.57/356.86	o 2417
356.57/356.86	c fallback to adder encoding
373.97/374.29	o 2404
373.97/374.29	c fallback to adder encoding
377.31/377.61	o 2394
377.31/377.61	c fallback to adder encoding
387.15/387.49	o 2393
387.15/387.49	c fallback to adder encoding
390.56/390.88	o 2385
390.56/390.88	c fallback to adder encoding
396.45/396.78	o 2382
396.45/396.78	c fallback to adder encoding
398.45/398.74	o 2374
398.45/398.74	c fallback to adder encoding
404.85/405.15	o 2373
404.85/405.15	c fallback to adder encoding
415.63/415.94	o 2372
415.63/415.94	c fallback to adder encoding
419.54/419.88	o 2370
419.54/419.88	c fallback to adder encoding
424.86/425.10	o 2369
424.86/425.10	c fallback to adder encoding
432.95/433.29	o 2368
432.95/433.29	c fallback to adder encoding
440.14/440.45	o 2367
440.14/440.45	c fallback to adder encoding
449.55/449.81	o 2366
449.55/449.81	c fallback to adder encoding
475.12/475.43	o 2358
475.12/475.43	c fallback to adder encoding
486.15/486.46	o 2355
486.15/486.46	c fallback to adder encoding
489.53/489.85	o 2352
489.53/489.85	c fallback to adder encoding
499.50/499.81	o 2345
499.50/499.81	c fallback to adder encoding
506.01/506.33	o 2342
506.01/506.33	c fallback to adder encoding
510.04/510.35	o 2341
510.04/510.35	c fallback to adder encoding
515.72/516.04	o 2329
515.72/516.04	c fallback to adder encoding
525.88/526.21	o 2328
525.88/526.21	c fallback to adder encoding
530.52/530.84	o 2327
530.52/530.84	c fallback to adder encoding
534.95/535.26	o 2319
534.95/535.26	c fallback to adder encoding
538.18/538.51	o 2299
538.18/538.51	c fallback to adder encoding
542.33/542.66	o 2298
542.33/542.66	c fallback to adder encoding
546.08/546.40	o 2297
546.08/546.40	c fallback to adder encoding
556.92/557.25	o 2295
556.92/557.25	c fallback to adder encoding
561.33/561.69	o 2282
561.33/561.69	c fallback to adder encoding
567.73/568.08	o 2280
567.73/568.08	c fallback to adder encoding
573.43/573.75	o 2279
573.43/573.75	c fallback to adder encoding
579.44/579.78	o 2276
579.44/579.78	c fallback to adder encoding
583.80/584.13	o 2234
583.80/584.13	c fallback to adder encoding
597.43/597.76	o 2233
597.43/597.76	c fallback to adder encoding
603.01/603.39	o 2229
603.01/603.39	c fallback to adder encoding
608.88/609.27	o 2228
608.88/609.27	c fallback to adder encoding
623.78/624.16	o 2227
623.78/624.16	c fallback to adder encoding
627.58/627.96	o 2220
627.58/627.96	c fallback to adder encoding
637.19/637.50	o 2176
637.19/637.50	c fallback to adder encoding
641.12/641.52	o 2175
641.12/641.52	c fallback to adder encoding
644.02/644.41	o 2170
644.02/644.41	c fallback to adder encoding
656.82/657.21	o 2168
656.82/657.21	c fallback to adder encoding
660.95/661.34	o 2129
660.95/661.34	c fallback to adder encoding
668.96/669.39	o 2127
668.96/669.39	c fallback to adder encoding
674.62/675.01	o 2120
674.62/675.01	c fallback to adder encoding
687.78/688.17	o 2119
687.78/688.17	c fallback to adder encoding
696.97/697.32	o 2118
696.97/697.32	c fallback to adder encoding
710.44/710.83	o 2076
710.44/710.83	c fallback to adder encoding
722.16/722.55	o 2075
722.16/722.55	c fallback to adder encoding
725.27/725.69	o 2074
725.27/725.69	c fallback to adder encoding
732.52/732.91	o 2073
732.52/732.91	c fallback to adder encoding
745.37/745.74	o 2072
745.37/745.74	c fallback to adder encoding
749.05/749.45	o 2068
749.05/749.45	c fallback to adder encoding
754.44/754.84	o 2067
754.44/754.84	c fallback to adder encoding
765.96/766.36	o 2065
765.96/766.36	c fallback to adder encoding
779.76/780.16	o 2054
779.76/780.16	c fallback to adder encoding
783.21/783.60	o 2051
783.21/783.60	c fallback to adder encoding
791.06/791.45	o 2050
791.06/791.45	c fallback to adder encoding
798.34/798.73	o 2049
798.34/798.73	c fallback to adder encoding
810.74/811.18	o 2048
810.74/811.18	c fallback to adder encoding
814.93/815.32	o 2047
814.93/815.32	c fallback to adder encoding
818.45/818.85	o 2046
818.45/818.85	c fallback to adder encoding
822.79/823.20	o 2045
822.79/823.20	c fallback to adder encoding
825.96/826.36	o 2044
825.96/826.36	c fallback to adder encoding
831.92/832.35	o 2042
831.92/832.35	c fallback to adder encoding
838.01/838.49	o 2040
838.01/838.49	c fallback to adder encoding
841.22/841.68	o 2027
841.22/841.68	c fallback to adder encoding
850.58/851.01	o 2026
850.58/851.01	c fallback to adder encoding
864.47/864.92	o 2025
864.47/864.92	c fallback to adder encoding
870.01/870.48	o 2015
870.01/870.48	c fallback to adder encoding
880.01/880.47	o 2000
880.01/880.47	c fallback to adder encoding
883.63/884.06	o 1999
883.63/884.06	c fallback to adder encoding
887.90/888.34	o 1998
887.90/888.34	c fallback to adder encoding
890.52/890.92	o 1991
890.52/890.92	c fallback to adder encoding
899.22/899.60	o 1956
899.22/899.60	c fallback to adder encoding
902.79/903.22	o 1938
902.79/903.22	c fallback to adder encoding
908.01/908.45	o 1935
908.01/908.45	c fallback to adder encoding
912.71/913.19	o 1921
912.71/913.19	c fallback to adder encoding
930.38/930.82	o 1916
930.38/930.82	c fallback to adder encoding
933.71/934.16	o 1903
933.71/934.16	c fallback to adder encoding
946.78/947.22	o 1902
946.78/947.22	c fallback to adder encoding
949.68/950.13	o 1890
949.68/950.13	c fallback to adder encoding
953.91/954.36	o 1884
953.91/954.36	c fallback to adder encoding
956.08/956.53	o 1874
956.08/956.53	c fallback to adder encoding
959.50/959.97	o 1813
959.50/959.97	c fallback to adder encoding
965.50/965.95	o 1812
965.50/965.95	c fallback to adder encoding
971.10/971.55	o 1810
971.10/971.55	c fallback to adder encoding
976.49/976.99	o 1805
976.49/976.99	c fallback to adder encoding
982.47/982.96	o 1791
982.47/982.96	c fallback to adder encoding
987.94/988.40	o 1790
987.94/988.40	c fallback to adder encoding
992.85/993.39	o 1788
992.85/993.39	c fallback to adder encoding
999.42/999.99	o 1714
999.42/999.99	c fallback to adder encoding
1010.09/1010.64	o 1712
1010.09/1010.64	c fallback to adder encoding
1016.09/1016.63	o 1697
1016.09/1016.63	c fallback to adder encoding
1023.59/1024.12	o 1695
1023.59/1024.12	c fallback to adder encoding
1028.67/1029.23	o 1694
1028.67/1029.23	c fallback to adder encoding
1031.47/1032.08	o 1693
1031.47/1032.08	c fallback to adder encoding
1037.79/1038.31	o 1683
1037.79/1038.31	c fallback to adder encoding
1042.94/1043.51	o 1682
1042.94/1043.51	c fallback to adder encoding
1048.37/1048.94	o 1681
1048.37/1048.94	c fallback to adder encoding
1052.38/1052.97	o 1664
1052.38/1052.97	c fallback to adder encoding
1056.90/1057.47	o 1663
1056.90/1057.47	c fallback to adder encoding
1059.57/1060.18	o 1662
1059.57/1060.18	c fallback to adder encoding
1064.66/1065.29	o 1647
1064.66/1065.29	c fallback to adder encoding
1066.94/1067.53	o 1646
1066.94/1067.53	c fallback to adder encoding
1069.48/1070.07	o 1645
1069.48/1070.07	c fallback to adder encoding
1074.76/1075.35	o 1642
1074.76/1075.35	c fallback to adder encoding
1078.26/1078.88	o 1637
1078.26/1078.88	c fallback to adder encoding
1083.12/1083.70	o 1631
1083.12/1083.70	c fallback to adder encoding
1088.65/1089.27	o 1620
1088.65/1089.27	c fallback to adder encoding
1091.64/1092.26	o 1617
1091.64/1092.26	c fallback to adder encoding
1094.80/1095.41	o 1616
1094.80/1095.41	c fallback to adder encoding
1098.24/1098.88	o 1611
1098.24/1098.88	c fallback to adder encoding
1103.43/1104.07	o 1603
1103.43/1104.07	c fallback to adder encoding
1109.89/1110.51	o 1592
1109.89/1110.51	c fallback to adder encoding
1112.68/1113.31	o 1588
1112.68/1113.31	c fallback to adder encoding
1117.09/1117.71	o 1587
1117.09/1117.71	c fallback to adder encoding
1118.88/1119.50	o 1586
1118.88/1119.50	c fallback to adder encoding
1124.79/1125.42	o 1585
1124.79/1125.42	c fallback to adder encoding
1128.41/1129.04	o 1583
1128.41/1129.04	c fallback to adder encoding
1131.25/1131.87	o 1580
1131.25/1131.87	c fallback to adder encoding
1133.84/1134.46	o 1570
1133.84/1134.46	c fallback to adder encoding
1136.21/1136.83	o 1562
1136.21/1136.83	c fallback to adder encoding
1141.43/1142.08	o 1558
1141.43/1142.08	c fallback to adder encoding
1144.30/1144.98	o 1553
1144.30/1144.98	c fallback to adder encoding
1154.06/1154.71	o 1543
1154.06/1154.71	c fallback to adder encoding
1159.21/1159.88	o 1542
1159.21/1159.88	c fallback to adder encoding
1165.97/1166.64	o 1537
1165.97/1166.64	c fallback to adder encoding
1169.68/1170.36	o 1536
1169.68/1170.36	c fallback to adder encoding
1174.82/1175.51	o 1535
1174.82/1175.51	c fallback to adder encoding
1182.98/1183.67	o 1527
1182.98/1183.67	c fallback to adder encoding
1191.98/1192.68	o 1524
1191.98/1192.68	c fallback to adder encoding
1196.68/1197.39	o 1503
1196.68/1197.39	c fallback to adder encoding
1199.58/1200.25	o 1502
1199.58/1200.25	c fallback to adder encoding
1205.24/1205.92	o 1501
1205.24/1205.92	c fallback to adder encoding
1210.98/1211.60	o 1498
1210.98/1211.60	c fallback to adder encoding
1214.23/1214.92	o 1493
1214.23/1214.92	c fallback to adder encoding
1217.26/1217.93	o 1492
1217.26/1217.93	c fallback to adder encoding
1224.34/1225.01	o 1468
1224.34/1225.01	c fallback to adder encoding
1235.18/1235.85	o 1465
1235.18/1235.85	c fallback to adder encoding
1243.63/1244.31	o 1460
1243.63/1244.31	c fallback to adder encoding
1246.54/1247.21	o 1459
1246.54/1247.21	c fallback to adder encoding
1252.83/1253.50	o 1456
1252.83/1253.50	c fallback to adder encoding
1259.88/1260.52	o 1448
1259.88/1260.52	c fallback to adder encoding
1265.88/1266.56	o 1440
1265.88/1266.56	c fallback to adder encoding
1269.03/1269.71	o 1424
1269.03/1269.71	c fallback to adder encoding
1272.42/1273.10	o 1421
1272.42/1273.10	c fallback to adder encoding
1276.51/1277.21	o 1413
1276.51/1277.21	c fallback to adder encoding
1280.35/1281.04	o 1396
1280.35/1281.04	c fallback to adder encoding
1286.34/1287.04	o 1395
1286.34/1287.04	c fallback to adder encoding
1291.95/1292.65	o 1393
1291.95/1292.65	c fallback to adder encoding
1296.65/1297.36	o 1381
1296.65/1297.36	c fallback to adder encoding
1300.67/1301.31	o 1376
1300.67/1301.31	c fallback to adder encoding
1305.66/1306.38	o 1368
1305.66/1306.38	c fallback to adder encoding
1310.75/1311.45	o 1362
1310.75/1311.45	c fallback to adder encoding
1317.92/1318.63	o 1361
1317.92/1318.63	c fallback to adder encoding
1322.89/1323.71	o 1262
1322.89/1323.71	c fallback to adder encoding
1330.53/1331.38	o 1261
1330.53/1331.38	c fallback to adder encoding
1333.80/1334.60	o 1235
1333.80/1334.60	c fallback to adder encoding
1366.71/1367.54	o 1234
1366.71/1367.54	c fallback to adder encoding
1371.83/1372.66	o 1218
1371.83/1372.66	c fallback to adder encoding
1377.41/1378.21	o 1204
1377.41/1378.21	c fallback to adder encoding
1382.68/1383.58	o 1199
1382.68/1383.58	c fallback to adder encoding
1385.46/1386.37	o 1195
1385.46/1386.37	c fallback to adder encoding
1389.33/1390.22	o 1194
1389.33/1390.22	c fallback to adder encoding
1393.98/1394.87	o 887
1393.98/1394.87	c fallback to adder encoding
1399.35/1400.26	o 878
1399.35/1400.26	c fallback to adder encoding
1402.14/1403.02	o 877
1402.14/1403.02	c fallback to adder encoding
1404.44/1405.34	o 872
1404.44/1405.34	c fallback to adder encoding
1409.41/1410.32	o 871
1409.41/1410.32	c fallback to adder encoding
1411.58/1412.50	o 870
1411.58/1412.50	c fallback to adder encoding
1414.12/1415.06	o 869
1414.12/1415.06	c fallback to adder encoding
1418.11/1419.02	o 849
1418.11/1419.02	c fallback to adder encoding
1420.62/1421.54	o 846
1420.62/1421.54	c fallback to adder encoding
1422.42/1423.31	o 839
1422.42/1423.31	c fallback to adder encoding
1426.63/1427.54	o 832
1426.63/1427.54	c fallback to adder encoding
1431.24/1432.15	o 831
1431.24/1432.15	c fallback to adder encoding
1441.33/1442.23	o 824
1441.33/1442.23	c fallback to adder encoding
1442.52/1443.47	o 823
1442.52/1443.47	c fallback to adder encoding
1444.80/1445.71	o 821
1444.80/1445.71	c fallback to adder encoding
1447.03/1447.90	o 817
1447.03/1447.90	c fallback to adder encoding
1458.02/1458.98	o 816
1458.02/1458.98	c fallback to adder encoding
1465.21/1466.19	o 807
1465.21/1466.19	c fallback to adder encoding
1468.64/1469.59	o 789
1468.64/1469.59	c fallback to adder encoding
1471.92/1472.88	o 788
1471.92/1472.88	c fallback to adder encoding
1476.22/1477.13	o 775
1476.22/1477.13	c fallback to adder encoding
1485.61/1486.55	o 770
1485.61/1486.55	c fallback to adder encoding
1488.89/1489.81	o 766
1488.89/1489.81	c fallback to adder encoding
1490.63/1491.59	o 763
1490.63/1491.59	c fallback to adder encoding
1493.12/1494.10	o 761
1493.12/1494.10	c fallback to adder encoding
1495.22/1496.21	o 759
1495.22/1496.21	c fallback to adder encoding
1497.06/1498.03	o 758
1497.06/1498.03	c fallback to adder encoding
1499.67/1500.60	o 757
1499.67/1500.60	c fallback to adder encoding
1500.94/1501.98	o 756
1500.94/1501.98	c fallback to adder encoding
1504.35/1505.37	o 755
1504.35/1505.37	c fallback to adder encoding
1506.33/1507.30	o 754
1506.33/1507.30	c fallback to adder encoding
1507.94/1508.98	o 744
1507.94/1508.98	c fallback to adder encoding
1512.46/1513.48	o 736
1512.46/1513.48	c fallback to adder encoding
1513.66/1514.68	o 734
1513.66/1514.68	c fallback to adder encoding
1516.35/1517.38	o 733
1516.35/1517.38	c fallback to adder encoding
1518.06/1519.04	o 732
1518.06/1519.04	c fallback to adder encoding
1519.44/1520.45	o 731
1519.44/1520.45	c fallback to adder encoding
1519.59/1521.18	o 728
1519.59/1521.18	c fallback to adder encoding
1522.65/1523.69	o 725
1522.65/1523.69	c fallback to adder encoding
1525.45/1526.44	o 724
1525.45/1526.44	c fallback to adder encoding
1527.23/1528.21	o 723
1527.23/1528.21	c fallback to adder encoding
1528.54/1529.55	o 722
1528.54/1529.55	c fallback to adder encoding
1530.84/1531.83	o 721
1530.84/1531.83	c fallback to adder encoding
1532.24/1533.29	o 705
1532.24/1533.29	c fallback to adder encoding
1535.54/1536.50	o 679
1535.54/1536.50	c fallback to adder encoding
1539.42/1540.40	o 677
1539.42/1540.40	c fallback to adder encoding
1541.23/1542.21	o 676
1541.23/1542.21	c fallback to adder encoding
1542.84/1543.88	o 675
1542.84/1543.88	c fallback to adder encoding
1544.52/1545.51	o 673
1544.52/1545.51	c fallback to adder encoding
1546.92/1547.92	o 665
1546.92/1547.92	c fallback to adder encoding
1550.41/1551.40	o 663
1550.41/1551.40	c fallback to adder encoding
1551.95/1552.96	o 662
1551.95/1552.96	c fallback to adder encoding
1555.72/1556.71	o 658
1555.72/1556.71	c fallback to adder encoding
1558.44/1559.44	o 655
1558.44/1559.44	c fallback to adder encoding
1560.81/1561.80	o 652
1560.81/1561.80	c fallback to adder encoding
1566.25/1567.27	o 642
1566.25/1567.27	c fallback to adder encoding
1569.54/1570.53	o 640
1569.54/1570.53	c fallback to adder encoding
1573.63/1574.64	o 638
1573.63/1574.64	c fallback to adder encoding
1574.73/1575.71	o 634
1574.73/1575.71	c fallback to adder encoding
1575.74/1576.73	o 627
1575.74/1576.73	c fallback to adder encoding
1577.94/1578.94	o 625
1577.94/1578.94	c fallback to adder encoding
1579.44/1580.43	o 623
1579.44/1580.43	c fallback to adder encoding
1582.02/1583.00	o 579
1582.02/1583.00	c fallback to adder encoding
1585.52/1586.51	o 578
1585.52/1586.51	c fallback to adder encoding
1587.15/1588.15	o 570
1587.15/1588.15	c fallback to adder encoding
1588.33/1589.40	o 566
1588.33/1589.40	c fallback to adder encoding
1589.72/1590.77	o 565
1589.72/1590.77	c fallback to adder encoding
1591.44/1592.43	o 564
1591.44/1592.43	c fallback to adder encoding
1592.02/1593.02	o 560
1592.02/1593.02	c fallback to adder encoding
1594.13/1595.14	o 552
1594.13/1595.14	c fallback to adder encoding
1595.32/1596.36	o 549
1595.32/1596.36	c fallback to adder encoding
1597.23/1598.24	o 545
1597.23/1598.24	c fallback to adder encoding
1598.49/1599.50	o 544
1598.49/1599.50	c fallback to adder encoding
1600.00/1601.06	o 510
1600.00/1601.06	c fallback to adder encoding
1601.00/1602.01	o 509
1601.00/1602.01	c fallback to adder encoding
1601.61/1602.65	o 508
1601.61/1602.65	c fallback to adder encoding
1602.11/1603.11	o 507
1602.11/1603.11	c fallback to adder encoding
1602.81/1603.87	o 506
1602.81/1603.87	c fallback to adder encoding
1604.60/1605.64	o 500
1604.60/1605.64	c fallback to adder encoding
1605.22/1606.27	o 486
1605.22/1606.27	c fallback to adder encoding
1606.61/1607.65	o 485
1606.61/1607.65	c fallback to adder encoding
1607.12/1608.14	o 467
1607.12/1608.14	c fallback to adder encoding
1607.61/1608.61	o 466
1607.61/1608.61	c fallback to adder encoding
1608.23/1609.23	o 460
1608.23/1609.23	c fallback to adder encoding
1608.71/1609.70	o 457
1608.71/1609.70	c fallback to adder encoding
1609.30/1610.30	o 456
1609.30/1610.30	c fallback to adder encoding
1610.21/1611.21	o 455
1610.21/1611.21	c fallback to adder encoding
1610.69/1611.75	o 448
1610.69/1611.75	c fallback to adder encoding
1611.20/1612.22	o 446
1611.20/1612.22	c fallback to adder encoding
1611.50/1612.52	o 431
1611.50/1612.52	c fallback to adder encoding
1611.56/1613.16	o 430
1611.56/1613.16	c fallback to adder encoding
1612.90/1613.92	o 420
1612.90/1613.92	c fallback to adder encoding
1613.59/1614.62	o 419
1613.59/1614.62	c fallback to adder encoding
1614.28/1615.36	o 416
1614.28/1615.36	c fallback to adder encoding
1614.99/1616.08	o 415
1614.99/1616.08	c fallback to adder encoding
1615.11/1616.65	o 414
1615.11/1616.65	c fallback to adder encoding
1616.59/1617.65	o 413
1616.59/1617.65	c fallback to adder encoding
1616.68/1617.97	o 410
1616.68/1617.97	c fallback to adder encoding
1617.00/1618.45	o 397
1617.00/1618.45	c fallback to adder encoding
1617.50/1619.03	o 396
1617.50/1619.03	c fallback to adder encoding
1618.29/1619.34	o 380
1618.29/1619.34	c fallback to adder encoding
1618.38/1619.78	o 371
1618.38/1619.78	c fallback to adder encoding
1619.22/1620.23	o 365
1619.22/1620.23	c fallback to adder encoding
1619.26/1620.84	o 364
1619.26/1620.84	c fallback to adder encoding
1619.88/1621.17	o 354
1619.88/1621.17	c fallback to adder encoding
1620.48/1621.58	o 353
1620.48/1621.58	c fallback to adder encoding
1621.07/1622.12	o 352
1621.07/1622.12	c fallback to adder encoding
1621.09/1622.39	o 333
1621.09/1622.39	c fallback to adder encoding
1621.38/1622.74	c display solution
1621.38/1622.74	s OPTIMUM FOUND
1621.38/1622.74	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	333

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-3753803-1339201751/watcher-3753803-1339201751 -o /tmp/evaluation-result-3753803-1339201751/solver-3753803-1339201751 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753803-1339201751.wbo 1398013628 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.07 1.99 1.99 3/179 2335
/proc/meminfo: memFree=27430652/32873660 swapFree=7120/7120
[pid=2335] ppid=2333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2335/stat : 2335 (npSolver-wbo-It) S 2333 2335 19799 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386300826 9367552 275 33554432000 4194304 5064252 140736044418160 140736044417072 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2335/statm: 2287 275 233 213 0 72 0

[startup+0.0264159 s]
/proc/loadavg: 2.07 1.99 1.99 3/179 2335
/proc/meminfo: memFree=27430652/32873660 swapFree=7120/7120
[pid=2335] ppid=2333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2335/stat : 2335 (npSolver-wbo-It) S 2333 2335 19799 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386300826 9367552 275 33554432000 4194304 5064252 140736044418160 140736044417072 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2335/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10023 s]
/proc/loadavg: 2.07 1.99 1.99 3/179 2335
/proc/meminfo: memFree=27430652/32873660 swapFree=7120/7120
[pid=2335] ppid=2333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2335/stat : 2335 (npSolver-wbo-It) S 2333 2335 19799 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386300826 9367552 275 33554432000 4194304 5064252 140736044418160 140736044417072 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2335/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300235 s]
/proc/loadavg: 2.07 1.99 1.99 3/179 2335
/proc/meminfo: memFree=27430652/32873660 swapFree=7120/7120
[pid=2335] ppid=2333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2335/stat : 2335 (npSolver-wbo-It) S 2333 2335 19799 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386300826 9367552 275 33554432000 4194304 5064252 140736044418160 140736044417072 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2335/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700214 s]
/proc/loadavg: 2.07 1.99 1.99 3/179 2335
/proc/meminfo: memFree=27430652/32873660 swapFree=7120/7120
[pid=2335] ppid=2333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2335/stat : 2335 (npSolver-wbo-It) S 2333 2335 19799 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386300826 9367552 275 33554432000 4194304 5064252 140736044418160 140736044417072 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2335/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50035 s]
/proc/loadavg: 2.07 1.99 1.99 3/183 2349
/proc/meminfo: memFree=27386888/32873660 swapFree=7120/7120
[pid=2335] ppid=2333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2335/stat : 2335 (npSolver-wbo-It) S 2333 2335 19799 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386300826 9367552 275 33554432000 4194304 5064252 140736044418160 140736044417072 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2335/statm: 2287 275 233 213 0 72 0
[pid=2336] ppid=2335 vsize=20020 CPUtime=0.13 cores=1,3,5,7
/proc/2336/stat : 2336 (npSolver-wbo) S 2335 2335 19799 0 -1 4202496 4212 5406 0 0 10 2 1 0 20 0 1 0 386300826 20500480 4575 33554432000 4194304 6006132 140735382379984 140735382371376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2336/statm: 5005 4575 178 443 0 4558 0
[pid=2348] ppid=2336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2348/stat : 2348 (satsolver.sh) S 2336 2335 19799 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386300842 9367552 267 33554432000 4194304 5064252 140733890577360 140733890576272 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2348/statm: 2287 267 226 213 0 72 0
[pid=2349] ppid=2348 vsize=25832 CPUtime=1.33 cores=1,3,5,7
/proc/2349/stat : 2349 (glucose) R 2348 2335 19799 0 -1 4202496 5443 0 0 0 132 1 0 0 20 0 1 0 386300843 26451968 5167 33554432000 4194304 5208918 140737025372880 140737025370728 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2349/statm: 6458 5167 105 248 0 6207 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 64148

[startup+3.10033 s]
/proc/loadavg: 2.07 1.99 1.99 3/183 2349
/proc/meminfo: memFree=27377324/32873660 swapFree=7120/7120
[pid=2335] ppid=2333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2335/stat : 2335 (npSolver-wbo-It) S 2333 2335 19799 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386300826 9367552 275 33554432000 4194304 5064252 140736044418160 140736044417072 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2335/statm: 2287 275 233 213 0 72 0
[pid=2336] ppid=2335 vsize=20020 CPUtime=0.13 cores=1,3,5,7
/proc/2336/stat : 2336 (npSolver-wbo) S 2335 2335 19799 0 -1 4202496 4212 5406 0 0 10 2 1 0 20 0 1 0 386300826 20500480 4575 33554432000 4194304 6006132 140735382379984 140735382371376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2336/statm: 5005 4575 178 443 0 4558 0
[pid=2348] ppid=2336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2348/stat : 2348 (satsolver.sh) S 2336 2335 19799 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386300842 9367552 267 33554432000 4194304 5064252 140733890577360 140733890576272 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2348/statm: 2287 267 226 213 0 72 0
[pid=2349] ppid=2348 vsize=26512 CPUtime=2.93 cores=1,3,5,7
/proc/2349/stat : 2349 (glucose) R 2348 2335 19799 0 -1 4202496 6013 0 0 0 292 1 0 0 20 0 1 0 386300843 27148288 5734 33554432000 4194304 5208918 140737025372880 140737025369256 4465602 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2349/statm: 6628 5734 105 248 0 6377 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 64828

[startup+6.3003 s]
/proc/loadavg: 2.07 1.99 1.99 3/183 2356
/proc/meminfo: memFree=27380380/32873660 swapFree=7120/7120
[pid=2335] ppid=2333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2335/stat : 2335 (npSolver-wbo-It) S 2333 2335 19799 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386300826 9367552 275 33554432000 4194304 5064252 140736044418160 140736044417072 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2335/statm: 2287 275 233 213 0 72 0
[pid=2336] ppid=2335 vsize=20020 CPUtime=0.13 cores=1,3,5,7
/proc/2336/stat : 2336 (npSolver-wbo) S 2335 2335 19799 0 -1 4202496 4212 5406 0 0 10 2 1 0 20 0 1 0 386300826 20500480 4575 33554432000 4194304 6006132 140735382379984 140735382371376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2336/statm: 5005 4575 178 443 0 4558 0
[pid=2348] ppid=2336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2348/stat : 2348 (satsolver.sh) S 2336 2335 19799 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386300842 9367552 267 33554432000 4194304 5064252 140733890577360 140733890576272 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2348/statm: 2287 267 226 213 0 72 0
[pid=2349] ppid=2348 vsize=31364 CPUtime=6.12 cores=1,3,5,7
/proc/2349/stat : 2349 (glucose) R 2348 2335 19799 0 -1 4202496 6420 0 0 0 611 1 0 0 20 0 1 0 386300843 32116736 6648 33554432000 4194304 5208918 140737025372880 140737025371032 4212818 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2349/statm: 7841 6648 105 248 0 7590 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 69680

[startup+12.7003 s]
/proc/loadavg: 2.06 1.99 1.99 3/183 2363
/proc/meminfo: memFree=27378896/32873660 swapFree=7120/7120
[pid=2335] ppid=2333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2335/stat : 2335 (npSolver-wbo-It) S 2333 2335 19799 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386300826 9367552 275 33554432000 4194304 5064252 140736044418160 140736044417072 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2335/statm: 2287 275 233 213 0 72 0
[pid=2336] ppid=2335 vsize=20020 CPUtime=7.31 cores=1,3,5,7
/proc/2336/stat : 2336 (npSolver-wbo) S 2335 2335 19799 0 -1 4202496 6480 15471 0 0 20 3 702 6 20 0 1 0 386300826 20500480 4575 33554432000 4194304 6006132 140735382379984 140735382371376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2336/statm: 5005 4575 178 443 0 4558 0
[pid=2362] ppid=2336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2362/stat : 2362 (satsolver.sh) S 2336 2335 19799 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386301560 9367552 267 33554432000 4194304 5064252 140737353398128 140737353397040 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2362/statm: 2287 267 226 213 0 72 0
[pid=2363] ppid=2362 vsize=38000 CPUtime=5.35 cores=1,3,5,7
/proc/2363/stat : 2363 (glucose) R 2362 2335 19799 0 -1 4202496 5858 0 0 0 534 1 0 0 20 0 1 0 386301561 38912000 8058 33554432000 4194304 5208918 140734614646160 140734614644008 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2363/statm: 9500 8058 105 248 0 9249 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 76316

[startup+25.5003 s]
/proc/loadavg: 2.05 1.99 1.99 3/183 2377
/proc/meminfo: memFree=27364880/32873660 swapFree=7120/7120
[pid=2335] ppid=2333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2335/stat : 2335 (npSolver-wbo-It) S 2333 2335 19799 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386300826 9367552 275 33554432000 4194304 5064252 140736044418160 140736044417072 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2335/statm: 2287 275 233 213 0 72 0
[pid=2336] ppid=2335 vsize=20020 CPUtime=14.72 cores=1,3,5,7
/proc/2336/stat : 2336 (npSolver-wbo) S 2335 2335 19799 0 -1 4202496 8749 25545 0 0 30 4 1427 11 20 0 1 0 386300826 20500480 4576 33554432000 4194304 6006132 140735382379984 140735382371376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2336/statm: 5005 4576 179 443 0 4558 0
[pid=2369] ppid=2336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2369/stat : 2369 (satsolver.sh) S 2336 2335 19799 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386302302 9367552 266 33554432000 4194304 5064252 140734970170480 140734970169392 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2369/statm: 2287 266 226 213 0 72 0
[pid=2370] ppid=2369 vsize=33728 CPUtime=10.73 cores=1,3,5,7
/proc/2370/stat : 2370 (glucose) R 2369 2335 19799 0 -1 4202496 6993 0 0 0 1071 2 0 0 20 0 1 0 386302302 34537472 7747 33554432000 4194304 5208918 140733979705584 140733979703672 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2370/statm: 8432 7747 105 248 0 8181 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 72044

[startup+51.1004 s]
/proc/loadavg: 2.03 1.99 1.99 3/184 2408
/proc/meminfo: memFree=27365956/32873660 swapFree=7120/7120
[pid=2335] ppid=2333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2335/stat : 2335 (npSolver-wbo-It) S 2333 2335 19799 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386300826 9367552 275 33554432000 4194304 5064252 140736044418160 140736044417072 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2335/statm: 2287 275 233 213 0 72 0
[pid=2336] ppid=2335 vsize=20020 CPUtime=46.61 cores=1,3,5,7
/proc/2336/stat : 2336 (npSolver-wbo) S 2335 2335 19799 0 -1 4202496 15553 57413 0 0 60 7 4566 28 20 0 1 0 386300826 20500480 4576 33554432000 4194304 6006132 140735382379984 140735382371376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2336/statm: 5005 4576 179 443 0 4558 0
[pid=2404] ppid=2336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2404/stat : 2404 (satsolver.sh) S 2336 2335 19799 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386305492 9367552 266 33554432000 4194304 5064252 140735483407920 140735483406832 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2404/statm: 2287 266 226 213 0 72 0
[pid=2405] ppid=2404 vsize=26308 CPUtime=4.43 cores=1,3,5,7
/proc/2405/stat : 2405 (glucose) R 2404 2335 19799 0 -1 4202496 5448 0 0 0 442 1 0 0 20 0 1 0 386305492 26939392 5730 33554432000 4194304 5208918 140736497819024 140736497816984 4211537 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2405/statm: 6577 5730 105 248 0 6326 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 64624

[startup+102.306 s]
/proc/loadavg: 2.06 2.00 2.00 3/184 2446
/proc/meminfo: memFree=27403224/32873660 swapFree=7120/7120
[pid=2335] ppid=2333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2335/stat : 2335 (npSolver-wbo-It) S 2333 2335 19799 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386300826 9367552 275 33554432000 4194304 5064252 140736044418160 140736044417072 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2335/statm: 2287 275 233 213 0 72 0
[pid=2336] ppid=2335 vsize=20020 CPUtime=102.25 cores=1,3,5,7
/proc/2336/stat : 2336 (npSolver-wbo) R 2335 2335 19799 0 -1 4202496 22355 90939 0 0 90 9 10079 47 20 0 1 0 386300826 20500480 4576 33554432000 4194304 6006132 140735382379984 140735382371952 4537680 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2336/statm: 5005 4576 179 443 0 4558 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 29168

[startup+162.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/183 2506
/proc/meminfo: memFree=27373648/32873660 swapFree=7120/7120
[pid=2335] ppid=2333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2335/stat : 2335 (npSolver-wbo-It) S 2333 2335 19799 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386300826 9367552 275 33554432000 4194304 5064252 140736044418160 140736044417072 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2335/statm: 2287 275 233 213 0 72 0
[pid=2336] ppid=2335 vsize=20020 CPUtime=144.59 cores=1,3,5,7
/proc/2336/stat : 2336 (npSolver-wbo) S 2335 2335 19799 0 -1 4202496 35965 152811 0 0 149 16 14216 78 20 0 1 0 386300826 20500480 4576 33554432000 4194304 6006132 140735382379984 140735382371376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2336/statm: 5005 4576 179 443 0 4558 0
[pid=2498] ppid=2336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2498/stat : 2498 (satsolver.sh) S 2336 2335 19799 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386315295 9367552 266 33554432000 4194304 5064252 140734454410800 140734454409712 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2498/statm: 2287 266 226 213 0 72 0
[pid=2499] ppid=2498 vsize=57140 CPUtime=17.6 cores=1,3,5,7
/proc/2499/stat : 2499 (glucose) R 2498 2335 19799 0 -1 4202496 7265 0 0 0 1759 1 0 0 20 0 1 0 386315295 58511360 11916 33554432000 4194304 5208918 140737181285056 140737181283000 4205766 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2499/statm: 14285 11916 105 248 0 14034 0
Current children cumulated CPU time (s) 162.19

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

/proc/3891/statm: 2287 266 226 213 0 72 0
[pid=3892] ppid=3891 vsize=21120 CPUtime=0.88 cores=1,3,5,7
/proc/3892/stat : 3892 (glucose) R 3891 2335 19799 0 -1 4202496 4884 0 0 0 88 0 0 0 20 0 1 0 386430967 21626880 4765 33554432000 4194304 5208918 140735772070512 140735772068360 4211162 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3892/statm: 5280 4765 104 248 0 5029 0
Current children cumulated CPU time (s) 1301.66
Current children cumulated vsize (KiB) 59436

[startup+1362.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/183 3934
/proc/meminfo: memFree=26281412/32873660 swapFree=7120/7120
[pid=2335] ppid=2333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2335/stat : 2335 (npSolver-wbo-It) S 2333 2335 19799 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386300826 9367552 275 33554432000 4194304 5064252 140736044418160 140736044417072 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2335/statm: 2287 275 233 213 0 72 0
[pid=2336] ppid=2335 vsize=20020 CPUtime=1333.95 cores=1,3,5,7
/proc/2336/stat : 2336 (npSolver-wbo) S 2335 2335 19799 0 -1 4202496 441837 1950530 0 0 1837 189 130384 985 20 0 1 0 386300826 20500480 4577 33554432000 4194304 6006132 140735382379984 140735382371376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/2336/statm: 5005 4577 179 443 0 4558 0
[pid=3933] ppid=2336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3933/stat : 3933 (satsolver.sh) S 2336 2335 19799 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386434297 9367552 266 33554432000 4194304 5064252 140734117862624 140734117861536 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3933/statm: 2287 266 226 213 0 72 0
[pid=3934] ppid=3933 vsize=43232 CPUtime=27.58 cores=1,3,5,7
/proc/3934/stat : 3934 (glucose) R 3933 2335 19799 0 -1 4202496 8259 0 0 0 2756 2 0 0 20 0 1 0 386434297 44269568 8594 33554432000 4194304 5208918 140735027411328 140735027409272 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3934/statm: 10808 8594 105 248 0 10557 0
Current children cumulated CPU time (s) 1361.53
Current children cumulated vsize (KiB) 81548

[startup+1422.31 s]
/proc/loadavg: 2.05 2.06 2.01 3/183 4039
/proc/meminfo: memFree=26300996/32873660 swapFree=7120/7120
[pid=2335] ppid=2333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2335/stat : 2335 (npSolver-wbo-It) S 2333 2335 19799 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386300826 9367552 275 33554432000 4194304 5064252 140736044418160 140736044417072 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2335/statm: 2287 275 233 213 0 72 0
[pid=2336] ppid=2335 vsize=20020 CPUtime=1420.75 cores=1,3,5,7
/proc/2336/stat : 2336 (npSolver-wbo) S 2335 2335 19799 0 -1 4202496 475833 2086210 0 0 1956 202 138866 1051 20 0 1 0 386300826 20500480 4582 33554432000 4194304 6006132 140735382379984 140735382371376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/2336/statm: 5005 4582 179 443 0 4558 0
[pid=4038] ppid=2336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4038/stat : 4038 (satsolver.sh) S 2336 2335 19799 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 386442988 9367552 266 33554432000 4194304 5064252 140734338179616 140734338178528 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4038/statm: 2287 266 226 213 0 72 0
[pid=4039] ppid=4038 vsize=18200 CPUtime=0.67 cores=1,3,5,7
/proc/4039/stat : 4039 (glucose) R 4038 2335 19799 0 -1 4202496 3356 0 0 0 67 0 0 0 20 0 1 0 386442988 18636800 3714 33554432000 4194304 5208918 140735761449504 140735761447352 4211901 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4039/statm: 4550 3714 104 248 0 4299 0
Current children cumulated CPU time (s) 1421.42
Current children cumulated vsize (KiB) 56516

[startup+1482.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/183 4124
/proc/meminfo: memFree=26294608/32873660 swapFree=7120/7120
[pid=2335] ppid=2333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2335/stat : 2335 (npSolver-wbo-It) S 2333 2335 19799 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386300826 9367552 275 33554432000 4194304 5064252 140736044418160 140736044417072 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2335/statm: 2287 275 233 213 0 72 0
[pid=2336] ppid=2335 vsize=20020 CPUtime=1476.33 cores=1,3,5,7
/proc/2336/stat : 2336 (npSolver-wbo) S 2335 2335 19799 0 -1 4202496 502530 2181153 0 0 2037 211 144287 1098 20 0 1 0 386300826 20500480 4587 33554432000 4194304 6006132 140735382379984 140735382371376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/2336/statm: 5005 4587 179 443 0 4558 0
[pid=4123] ppid=2336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4123/stat : 4123 (satsolver.sh) S 2336 2335 19799 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386448547 9367552 267 33554432000 4194304 5064252 140733523611712 140733523610624 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4123/statm: 2287 267 226 213 0 72 0
[pid=4124] ppid=4123 vsize=18400 CPUtime=5.08 cores=1,3,5,7
/proc/4124/stat : 4124 (glucose) R 4123 2335 19799 0 -1 4202496 3830 0 0 0 507 1 0 0 20 0 1 0 386448547 18841600 4000 33554432000 4194304 5208918 140733381768000 140733381765832 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4124/statm: 4600 4000 105 248 0 4349 0
Current children cumulated CPU time (s) 1481.41
Current children cumulated vsize (KiB) 56716

[startup+1542.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/183 4299
/proc/meminfo: memFree=26295752/32873660 swapFree=7120/7120
[pid=2335] ppid=2333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2335/stat : 2335 (npSolver-wbo-It) S 2333 2335 19799 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386300826 9367552 275 33554432000 4194304 5064252 140736044418160 140736044417072 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2335/statm: 2287 275 233 213 0 72 0
[pid=2336] ppid=2335 vsize=20020 CPUtime=1541.33 cores=1,3,5,7
/proc/2336/stat : 2336 (npSolver-wbo) S 2335 2335 19799 0 -1 4202496 548116 2379293 0 0 2196 229 150522 1186 20 0 1 0 386300826 20500480 4587 33554432000 4194304 6006132 140735382379984 140735382371376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/2336/statm: 5005 4587 179 443 0 4558 0
Current children cumulated CPU time (s) 1541.33
Current children cumulated vsize (KiB) 29168

[startup+1602.3 s]
/proc/loadavg: 2.13 2.09 2.02 3/183 4495
/proc/meminfo: memFree=26299184/32873660 swapFree=7120/7120
[pid=2335] ppid=2333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2335/stat : 2335 (npSolver-wbo-It) S 2333 2335 19799 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386300826 9367552 275 33554432000 4194304 5064252 140736044418160 140736044417072 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2335/statm: 2287 275 233 213 0 72 0
[pid=2336] ppid=2335 vsize=20020 CPUtime=1601.07 cores=1,3,5,7
/proc/2336/stat : 2336 (npSolver-wbo) S 2335 2335 19799 0 -1 4202496 597176 2579468 0 0 2335 245 156256 1271 20 0 1 0 386300826 20500480 4587 33554432000 4194304 6006132 140735382379984 140735382371376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/2336/statm: 5005 4587 179 443 0 4558 0
Current children cumulated CPU time (s) 1601.07
Current children cumulated vsize (KiB) 29168

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

[startup+1612.7 s]
/proc/loadavg: 2.11 2.08 2.01 3/183 4603
/proc/meminfo: memFree=26304820/32873660 swapFree=7120/7120
[pid=2335] ppid=2333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2335/stat : 2335 (npSolver-wbo-It) S 2333 2335 19799 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386300826 9367552 275 33554432000 4194304 5064252 140736044418160 140736044417072 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2335/statm: 2287 275 233 213 0 72 0
[pid=2336] ppid=2335 vsize=20020 CPUtime=1611.56 cores=1,3,5,7
/proc/2336/stat : 2336 (npSolver-wbo) S 2335 2335 19799 0 -1 4202496 621475 2667788 0 0 2388 251 157210 1307 20 0 1 0 386300826 20500480 4587 33554432000 4194304 6006132 140735382379984 140735382371376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/2336/statm: 5005 4587 179 443 0 4558 0
Current children cumulated CPU time (s) 1611.56
Current children cumulated vsize (KiB) 29168

[startup+1619.1 s]
/proc/loadavg: 2.10 2.08 2.01 3/183 4677
/proc/meminfo: memFree=26299456/32873660 swapFree=7120/7120
[pid=2335] ppid=2333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2335/stat : 2335 (npSolver-wbo-It) S 2333 2335 19799 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386300826 9367552 275 33554432000 4194304 5064252 140736044418160 140736044417072 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2335/statm: 2287 275 233 213 0 72 0
[pid=2336] ppid=2335 vsize=20020 CPUtime=1618.07 cores=1,3,5,7
/proc/2336/stat : 2336 (npSolver-wbo) S 2335 2335 19799 0 -1 4202496 632916 2723934 0 0 2418 255 157805 1329 20 0 1 0 386300826 20500480 4587 33554432000 4194304 6006132 140735382379984 140735382371376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/2336/statm: 5005 4587 179 443 0 4558 0
[pid=4676] ppid=2336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4676/stat : 4676 (satsolver.sh) S 2336 2335 19799 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386462733 9367552 266 33554432000 4194304 5064252 140736925679424 140736925678336 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4676/statm: 2287 266 226 213 0 72 0
[pid=4677] ppid=4676 vsize=8976 CPUtime=0.03 cores=1,3,5,7
/proc/4677/stat : 4677 (glucose) R 4676 2335 19799 0 -1 4202496 2530 0 0 0 3 0 0 0 20 0 1 0 386462733 9191424 1830 33554432000 4194304 5208918 140736316390896 140736925678360 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4677/statm: 2244 1830 96 248 0 1993 0
Current children cumulated CPU time (s) 1618.1
Current children cumulated vsize (KiB) 47292

[startup+1620.7 s]
/proc/loadavg: 2.09 2.08 2.01 3/183 4691
/proc/meminfo: memFree=26299696/32873660 swapFree=7120/7120
[pid=2335] ppid=2333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2335/stat : 2335 (npSolver-wbo-It) S 2333 2335 19799 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386300826 9367552 275 33554432000 4194304 5064252 140736044418160 140736044417072 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2335/statm: 2287 275 233 213 0 72 0
[pid=2336] ppid=2335 vsize=20020 CPUtime=1619.26 cores=1,3,5,7
/proc/2336/stat : 2336 (npSolver-wbo) S 2335 2335 19799 0 -1 4202496 636166 2740612 0 0 2426 256 157908 1336 20 0 1 0 386300826 20500480 4587 33554432000 4194304 6006132 140735382379984 140735382371376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/2336/statm: 5005 4587 179 443 0 4558 0
Current children cumulated CPU time (s) 1619.26
Current children cumulated vsize (KiB) 29168

[startup+1621.5 s]
/proc/loadavg: 2.09 2.08 2.01 3/183 4712
/proc/meminfo: memFree=26300472/32873660 swapFree=7120/7120
[pid=2335] ppid=2333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2335/stat : 2335 (npSolver-wbo-It) S 2333 2335 19799 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386300826 9367552 275 33554432000 4194304 5064252 140736044418160 140736044417072 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2335/statm: 2287 275 233 213 0 72 0
[pid=2336] ppid=2335 vsize=20020 CPUtime=1620.19 cores=1,3,5,7
/proc/2336/stat : 2336 (npSolver-wbo) S 2335 2335 19799 0 -1 4202496 638280 2750783 0 0 2431 256 157993 1339 20 0 1 0 386300826 20500480 4587 33554432000 4194304 6006132 140735382379984 140735382371376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/2336/statm: 5005 4587 179 443 0 4558 0
[pid=4711] ppid=2336 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4711/stat : 4711 (satsolver.sh) S 2336 2335 19799 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386462947 9367552 267 33554432000 4194304 5064252 140735665004384 140735665003296 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4711/statm: 2287 267 226 213 0 72 0
[pid=4712] ppid=4711 vsize=8636 CPUtime=0.29 cores=1,3,5,7
/proc/4712/stat : 4712 (glucose) R 4711 2335 19799 0 -1 4202496 2242 0 0 0 29 0 0 0 20 0 1 0 386462947 8843264 1761 33554432000 4194304 5208918 140736224819056 140736224816808 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4712/statm: 2159 1761 104 248 0 1908 0
Current children cumulated CPU time (s) 1620.48
Current children cumulated vsize (KiB) 46952

[startup+1622.3 s]
/proc/loadavg: 2.09 2.08 2.01 3/183 4712
/proc/meminfo: memFree=26300472/32873660 swapFree=7120/7120
[pid=2335] ppid=2333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2335/stat : 2335 (npSolver-wbo-It) S 2333 2335 19799 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386300826 9367552 275 33554432000 4194304 5064252 140736044418160 140736044417072 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2335/statm: 2287 275 233 213 0 72 0
[pid=2336] ppid=2335 vsize=20020 CPUtime=1621.09 cores=1,3,5,7
/proc/2336/stat : 2336 (npSolver-wbo) S 2335 2335 19799 0 -1 4202496 640372 2761131 0 0 2436 257 158073 1343 20 0 1 0 386300826 20500480 4587 33554432000 4194304 6006132 140735382379984 140735382371376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/2336/statm: 5005 4587 179 443 0 4558 0
Current children cumulated CPU time (s) 1621.09
Current children cumulated vsize (KiB) 29168

[startup+1622.7 s]
/proc/loadavg: 2.09 2.08 2.01 3/181 4731
/proc/meminfo: memFree=26307384/32873660 swapFree=7120/7120
[pid=2335] ppid=2333 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2335/stat : 2335 (npSolver-wbo-It) S 2333 2335 19799 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386300826 9367552 275 33554432000 4194304 5064252 140736044418160 140736044417072 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2335/statm: 2287 275 233 213 0 72 0
[pid=2336] ppid=2335 vsize=20020 CPUtime=1621.38 cores=1,3,5,7
/proc/2336/stat : 2336 (npSolver-wbo) S 2335 2335 19799 0 -1 4202496 641394 2765954 0 0 2439 258 158096 1345 20 0 1 0 386300826 20500480 4587 33554432000 4194304 6006132 140735382379984 140735382371376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/2336/statm: 5005 4587 179 443 0 4558 0
Current children cumulated CPU time (s) 1621.38
Current children cumulated vsize (KiB) 29168

Child status: 0
Real time (s): 1622.75
CPU time (s): 1621.73
CPU user time (s): 1605.68
CPU system time (s): 16.0536
CPU usage (%): 99.9373
Max. virtual memory (cumulated for all children) (KiB): 95548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1605.68
system time used= 16.0536
maximum resident set size= 49720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3413640
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3233720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16719
involuntary context switches= 5372

runsolver used 3.55046 second user time and 9.02463 second system time

The end

Launcher Data 

Begin job on node117 at 2012-06-09 02:29:11
IDJOB=3753803
IDBENCH=79426
IDSOLVER=2337
FILE ID=node117/3753803-1339201751
RUNJOBID= node117-1339183362-21750
PBS_JOBID= 14643835
Free space on /tmp= 70700 MiB

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

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

MD5SUM BENCH= f2d449aa8c80edec7a2d4cb4a780c49d
RANDOM SEED=1398013628

node117.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
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.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
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		: 2667.148
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		: 2667.148
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:       32873660 kB
MemFree:        27431288 kB
Buffers:          812212 kB
Cached:          3595124 kB
SwapCached:          620 kB
Active:          2418900 kB
Inactive:        2049324 kB
Active(anon):      49268 kB
Inactive(anon):    10028 kB
Active(file):    2369632 kB
Inactive(file):  2039296 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67106956 kB
Dirty:             16712 kB
Writeback:             0 kB
AnonPages:         65040 kB
Mapped:            13884 kB
Shmem:                80 kB
Slab:             836100 kB
SReclaimable:     279392 kB
SUnreclaim:       556708 kB
KernelStack:        1520 kB
PageTables:         4160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     174808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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= 70460 MiB
End job on node117 at 2012-06-09 02:56:14