Trace number 3753811

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 1538.85 1539.79

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh19_wcsp.wbo
MD5SUMaf72756a7b8194161c8db176c46da286
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark166
Best CPU time to get the best result obtained on this benchmark0.019996
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 constraint11
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
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.05	o 18677
0.00/0.05	c fallback to adder encoding
18.07/18.19	o 18675
18.07/18.19	c fallback to adder encoding
27.66/27.79	o 18667
27.66/27.79	c fallback to adder encoding
33.54/33.65	o 18659
33.54/33.65	c fallback to adder encoding
45.45/45.56	o 18658
45.45/45.56	c fallback to adder encoding
56.07/56.21	o 18607
56.07/56.21	c fallback to adder encoding
60.27/60.47	o 18605
60.27/60.47	c fallback to adder encoding
73.24/73.44	o 18601
73.24/73.44	c fallback to adder encoding
87.67/87.87	o 18598
87.67/87.87	c fallback to adder encoding
97.05/97.25	o 18592
97.05/97.25	c fallback to adder encoding
105.53/105.74	o 18585
105.53/105.74	c fallback to adder encoding
119.77/120.00	o 18572
119.77/120.00	c fallback to adder encoding
129.24/129.45	o 18566
129.24/129.45	c fallback to adder encoding
133.33/133.55	o 18563
133.33/133.55	c fallback to adder encoding
145.80/146.01	o 18561
145.80/146.01	c fallback to adder encoding
151.95/152.17	o 18552
151.95/152.17	c fallback to adder encoding
156.39/156.60	o 18549
156.39/156.60	c fallback to adder encoding
161.12/161.34	o 18538
161.12/161.34	c fallback to adder encoding
166.26/166.48	o 18509
166.26/166.48	c fallback to adder encoding
170.78/171.01	o 17595
170.78/171.01	c fallback to adder encoding
174.15/174.49	o 17588
174.15/174.49	c fallback to adder encoding
184.10/184.45	o 17539
184.10/184.45	c fallback to adder encoding
196.91/197.26	o 17538
196.91/197.26	c fallback to adder encoding
204.65/205.01	o 17506
204.65/205.01	c fallback to adder encoding
219.72/220.04	o 17505
219.72/220.04	c fallback to adder encoding
226.77/227.13	o 17504
226.77/227.13	c fallback to adder encoding
239.14/239.51	o 17497
239.14/239.51	c fallback to adder encoding
246.51/246.89	o 17494
246.51/246.89	c fallback to adder encoding
255.65/256.01	o 17487
255.65/256.01	c fallback to adder encoding
264.35/264.71	o 17472
264.35/264.71	c fallback to adder encoding
270.80/271.16	o 17452
270.80/271.16	c fallback to adder encoding
278.02/278.37	o 17438
278.02/278.37	c fallback to adder encoding
287.45/287.83	o 17430
287.45/287.83	c fallback to adder encoding
290.99/291.36	o 17429
290.99/291.36	c fallback to adder encoding
298.96/299.33	o 17417
298.96/299.33	c fallback to adder encoding
307.44/307.81	o 17414
307.44/307.81	c fallback to adder encoding
319.13/319.50	o 17413
319.13/319.50	c fallback to adder encoding
336.08/336.46	o 17391
336.08/336.46	c fallback to adder encoding
350.41/350.77	o 17330
350.41/350.77	c fallback to adder encoding
360.79/361.17	o 17327
360.79/361.17	c fallback to adder encoding
377.89/378.29	o 17326
377.89/378.29	c fallback to adder encoding
387.16/387.55	o 17304
387.16/387.55	c fallback to adder encoding
398.03/398.40	o 17294
398.03/398.40	c fallback to adder encoding
409.29/409.77	o 17119
409.29/409.77	c fallback to adder encoding
437.46/437.94	o 17118
437.46/437.94	c fallback to adder encoding
446.80/447.28	o 17099
446.80/447.28	c fallback to adder encoding
450.79/451.28	o 17098
450.79/451.28	c fallback to adder encoding
456.33/456.81	o 17091
456.33/456.81	c fallback to adder encoding
468.41/468.91	o 17090
468.41/468.91	c fallback to adder encoding
478.69/479.18	o 17089
478.69/479.18	c fallback to adder encoding
500.12/500.61	o 17084
500.12/500.61	c fallback to adder encoding
510.92/511.42	o 17083
510.92/511.42	c fallback to adder encoding
519.12/519.62	o 17081
519.12/519.62	c fallback to adder encoding
540.83/541.35	o 17075
540.83/541.35	c fallback to adder encoding
550.81/551.32	o 17074
550.81/551.32	c fallback to adder encoding
556.61/557.12	o 17063
556.61/557.12	c fallback to adder encoding
569.41/569.92	o 17043
569.41/569.92	c fallback to adder encoding
574.71/575.22	o 17035
574.71/575.22	c fallback to adder encoding
579.91/580.51	o 17028
579.91/580.51	c fallback to adder encoding
594.59/595.16	o 17026
594.59/595.16	c fallback to adder encoding
612.18/612.73	o 17012
612.18/612.73	c fallback to adder encoding
616.12/616.72	o 17002
616.12/616.72	c fallback to adder encoding
621.13/621.73	o 16998
621.13/621.73	c fallback to adder encoding
631.17/631.76	o 16974
631.17/631.76	c fallback to adder encoding
635.53/636.13	o 16963
635.53/636.13	c fallback to adder encoding
640.85/641.46	o 16962
640.85/641.46	c fallback to adder encoding
657.85/658.46	o 16961
657.85/658.46	c fallback to adder encoding
663.07/663.69	o 16960
663.07/663.69	c fallback to adder encoding
674.57/675.17	o 16955
674.57/675.17	c fallback to adder encoding
687.26/687.87	o 16948
687.26/687.87	c fallback to adder encoding
698.10/698.70	o 16932
698.10/698.70	c fallback to adder encoding
716.50/717.11	o 16931
716.50/717.11	c fallback to adder encoding
721.26/721.87	o 16918
721.26/721.87	c fallback to adder encoding
737.96/738.58	o 16901
737.96/738.58	c fallback to adder encoding
746.36/746.95	o 16900
746.36/746.95	c fallback to adder encoding
750.77/751.32	o 16899
750.77/751.32	c fallback to adder encoding
759.15/759.76	o 16898
759.15/759.76	c fallback to adder encoding
769.25/769.89	o 16896
769.25/769.89	c fallback to adder encoding
786.07/786.60	o 16824
786.07/786.60	c fallback to adder encoding
790.57/791.19	o 16814
790.57/791.19	c fallback to adder encoding
797.93/798.55	o 16807
797.93/798.55	c fallback to adder encoding
805.22/805.84	o 16782
805.22/805.84	c fallback to adder encoding
815.73/816.34	o 16780
815.73/816.34	c fallback to adder encoding
825.55/826.15	o 16769
825.55/826.15	c fallback to adder encoding
848.35/848.99	o 16768
848.35/848.99	c fallback to adder encoding
857.45/858.06	o 16765
857.45/858.06	c fallback to adder encoding
866.86/867.48	o 16761
866.86/867.48	c fallback to adder encoding
870.78/871.40	o 16712
870.78/871.40	c fallback to adder encoding
882.96/883.50	o 16710
882.96/883.50	c fallback to adder encoding
899.53/900.15	o 16704
899.53/900.15	c fallback to adder encoding
913.78/914.41	o 16698
913.78/914.41	c fallback to adder encoding
919.38/920.02	o 16683
919.38/920.02	c fallback to adder encoding
932.29/932.93	o 16656
932.29/932.93	c fallback to adder encoding
938.87/939.51	o 16650
938.87/939.51	c fallback to adder encoding
950.38/951.03	o 16649
950.38/951.03	c fallback to adder encoding
957.58/958.24	o 16646
957.58/958.24	c fallback to adder encoding
962.34/962.99	o 16644
962.34/962.99	c fallback to adder encoding
970.29/970.94	o 16642
970.29/970.94	c fallback to adder encoding
978.64/979.30	o 16641
978.64/979.30	c fallback to adder encoding
982.83/983.41	o 16640
982.83/983.41	c fallback to adder encoding
997.82/998.49	o 16608
997.82/998.49	c fallback to adder encoding
1003.56/1004.22	o 16605
1003.56/1004.22	c fallback to adder encoding
1011.69/1012.35	o 16596
1011.69/1012.35	c fallback to adder encoding
1037.41/1038.09	o 16592
1037.41/1038.09	c fallback to adder encoding
1042.27/1042.93	o 16587
1042.27/1042.93	c fallback to adder encoding
1052.10/1052.72	o 3071
1052.10/1052.72	c fallback to adder encoding
1055.79/1056.44	o 3057
1055.79/1056.44	c fallback to adder encoding
1068.09/1068.75	o 3049
1068.09/1068.75	c fallback to adder encoding
1072.80/1073.48	o 3048
1072.80/1073.48	c fallback to adder encoding
1077.80/1078.56	o 3028
1077.80/1078.56	c fallback to adder encoding
1085.31/1086.07	o 2939
1085.31/1086.07	c fallback to adder encoding
1089.09/1089.89	o 2938
1089.09/1089.89	c fallback to adder encoding
1092.80/1093.59	o 2923
1092.80/1093.59	c fallback to adder encoding
1100.69/1101.46	o 2919
1100.69/1101.46	c fallback to adder encoding
1108.77/1109.53	o 2556
1108.77/1109.53	c fallback to adder encoding
1114.70/1115.46	o 2551
1114.70/1115.46	c fallback to adder encoding
1123.69/1124.44	o 2550
1123.69/1124.44	c fallback to adder encoding
1128.88/1129.64	o 2547
1128.88/1129.64	c fallback to adder encoding
1132.47/1133.22	o 2519
1132.47/1133.22	c fallback to adder encoding
1135.76/1136.57	o 2518
1135.76/1136.57	c fallback to adder encoding
1141.12/1141.95	o 2514
1141.12/1141.95	c fallback to adder encoding
1146.23/1147.06	o 2504
1146.23/1147.06	c fallback to adder encoding
1149.89/1150.72	o 2496
1149.89/1150.72	c fallback to adder encoding
1154.91/1155.75	o 2487
1154.91/1155.75	c fallback to adder encoding
1161.33/1162.16	o 2481
1161.33/1162.16	c fallback to adder encoding
1165.83/1166.66	o 2472
1165.83/1166.66	c fallback to adder encoding
1175.43/1176.20	o 2463
1175.43/1176.20	c fallback to adder encoding
1178.42/1179.26	o 2447
1178.42/1179.26	c fallback to adder encoding
1187.86/1188.71	o 2440
1187.86/1188.71	c fallback to adder encoding
1194.52/1195.37	o 2430
1194.52/1195.37	c fallback to adder encoding
1200.62/1201.46	o 2426
1200.62/1201.46	c fallback to adder encoding
1203.63/1204.46	o 2425
1203.63/1204.46	c fallback to adder encoding
1207.73/1208.56	o 2424
1207.73/1208.56	c fallback to adder encoding
1212.22/1213.00	o 2415
1212.22/1213.00	c fallback to adder encoding
1215.94/1216.80	o 2413
1215.94/1216.80	c fallback to adder encoding
1220.80/1221.65	o 2403
1220.80/1221.65	c fallback to adder encoding
1238.69/1239.58	o 2384
1238.69/1239.58	c fallback to adder encoding
1249.59/1250.45	o 2366
1249.59/1250.45	c fallback to adder encoding
1257.05/1257.92	o 2357
1257.05/1257.92	c fallback to adder encoding
1261.65/1262.51	o 2354
1261.65/1262.51	c fallback to adder encoding
1263.55/1264.41	o 2348
1263.55/1264.41	c fallback to adder encoding
1269.70/1270.53	o 2346
1269.70/1270.53	c fallback to adder encoding
1277.20/1278.06	o 2345
1277.20/1278.06	c fallback to adder encoding
1281.67/1282.54	o 2341
1281.67/1282.54	c fallback to adder encoding
1285.70/1286.57	o 2340
1285.70/1286.57	c fallback to adder encoding
1295.37/1296.23	o 2335
1295.37/1296.23	c fallback to adder encoding
1298.07/1298.97	o 2328
1298.07/1298.97	c fallback to adder encoding
1307.46/1308.38	o 2327
1307.46/1308.38	c fallback to adder encoding
1313.27/1314.18	o 2321
1313.27/1314.18	c fallback to adder encoding
1316.96/1317.86	o 2311
1316.96/1317.86	c fallback to adder encoding
1324.21/1325.12	o 2310
1324.21/1325.12	c fallback to adder encoding
1332.71/1333.62	o 2309
1332.71/1333.62	c fallback to adder encoding
1344.67/1345.50	o 2308
1344.67/1345.50	c fallback to adder encoding
1361.14/1362.04	o 2304
1361.14/1362.04	c fallback to adder encoding
1366.64/1367.54	o 2299
1366.64/1367.54	c fallback to adder encoding
1371.66/1372.57	o 2289
1371.66/1372.57	c fallback to adder encoding
1374.85/1375.76	o 2271
1374.85/1375.76	c fallback to adder encoding
1377.76/1378.67	o 2251
1377.76/1378.67	c fallback to adder encoding
1386.72/1387.63	o 2214
1386.72/1387.63	c fallback to adder encoding
1392.21/1393.12	o 2208
1392.21/1393.12	c fallback to adder encoding
1397.00/1397.90	o 2205
1397.00/1397.90	c fallback to adder encoding
1402.34/1403.28	o 2047
1402.34/1403.28	c fallback to adder encoding
1408.41/1409.32	o 2046
1408.41/1409.32	c fallback to adder encoding
1411.82/1412.73	o 2044
1411.82/1412.73	c fallback to adder encoding
1417.05/1417.92	o 2035
1417.05/1417.92	c fallback to adder encoding
1421.63/1422.53	o 2034
1421.63/1422.53	c fallback to adder encoding
1426.85/1427.75	o 965
1426.85/1427.75	c fallback to adder encoding
1429.85/1430.78	o 964
1429.85/1430.78	c fallback to adder encoding
1431.62/1432.52	o 885
1431.62/1432.52	c fallback to adder encoding
1432.73/1433.69	o 881
1432.73/1433.69	c fallback to adder encoding
1437.14/1438.06	o 880
1437.14/1438.06	c fallback to adder encoding
1438.74/1439.67	o 873
1438.74/1439.67	c fallback to adder encoding
1440.21/1441.11	o 870
1440.21/1441.11	c fallback to adder encoding
1441.43/1442.37	o 866
1441.43/1442.37	c fallback to adder encoding
1448.73/1449.62	o 859
1448.73/1449.62	c fallback to adder encoding
1450.15/1451.07	o 858
1450.15/1451.07	c fallback to adder encoding
1452.54/1453.49	o 855
1452.54/1453.49	c fallback to adder encoding
1454.34/1455.29	o 847
1454.34/1455.29	c fallback to adder encoding
1456.65/1457.55	o 829
1456.65/1457.55	c fallback to adder encoding
1458.14/1459.08	o 828
1458.14/1459.08	c fallback to adder encoding
1460.75/1461.64	o 823
1460.75/1461.64	c fallback to adder encoding
1463.24/1464.16	o 795
1463.24/1464.16	c fallback to adder encoding
1466.62/1467.52	o 786
1466.62/1467.52	c fallback to adder encoding
1468.16/1469.06	o 785
1468.16/1469.06	c fallback to adder encoding
1470.95/1471.86	o 778
1470.95/1471.86	c fallback to adder encoding
1473.81/1474.71	o 774
1473.81/1474.71	c fallback to adder encoding
1475.25/1476.14	o 767
1475.25/1476.14	c fallback to adder encoding
1476.64/1477.52	o 763
1476.64/1477.52	c fallback to adder encoding
1478.65/1479.60	o 759
1478.65/1479.60	c fallback to adder encoding
1480.86/1481.77	o 744
1480.86/1481.77	c fallback to adder encoding
1482.24/1483.12	o 736
1482.24/1483.12	c fallback to adder encoding
1483.72/1484.60	o 723
1483.72/1484.60	c fallback to adder encoding
1485.06/1485.95	o 720
1485.06/1485.95	c fallback to adder encoding
1487.17/1488.05	o 719
1487.17/1488.05	c fallback to adder encoding
1488.93/1489.83	o 714
1488.93/1489.83	c fallback to adder encoding
1490.12/1491.07	o 713
1490.12/1491.07	c fallback to adder encoding
1492.12/1493.03	o 711
1492.12/1493.03	c fallback to adder encoding
1495.30/1496.21	o 709
1495.30/1496.21	c fallback to adder encoding
1498.01/1498.91	o 701
1498.01/1498.91	c fallback to adder encoding
1499.54/1500.41	o 697
1499.54/1500.41	c fallback to adder encoding
1500.42/1501.32	o 687
1500.42/1501.32	c fallback to adder encoding
1501.09/1502.05	o 680
1501.09/1502.05	c fallback to adder encoding
1503.36/1504.31	o 676
1503.36/1504.31	c fallback to adder encoding
1505.05/1506.01	o 675
1505.05/1506.01	c fallback to adder encoding
1508.59/1509.56	o 668
1508.59/1509.56	c fallback to adder encoding
1511.48/1512.46	o 661
1511.48/1512.46	c fallback to adder encoding
1514.49/1515.47	o 639
1514.49/1515.47	c fallback to adder encoding
1515.59/1516.53	o 638
1515.59/1516.53	c fallback to adder encoding
1516.17/1517.11	o 637
1516.17/1517.11	c fallback to adder encoding
1518.59/1519.55	o 636
1518.59/1519.55	c fallback to adder encoding
1519.67/1520.61	o 625
1519.67/1520.61	c fallback to adder encoding
1520.39/1521.35	o 621
1520.39/1521.35	c fallback to adder encoding
1520.50/1522.19	o 614
1520.50/1522.19	c fallback to adder encoding
1522.59/1523.59	o 612
1522.59/1523.59	c fallback to adder encoding
1523.58/1524.51	o 603
1523.58/1524.51	c fallback to adder encoding
1524.99/1525.92	o 590
1524.99/1525.92	c fallback to adder encoding
1526.04/1527.00	o 586
1526.04/1527.00	c fallback to adder encoding
1527.16/1528.18	o 574
1527.16/1528.18	c fallback to adder encoding
1528.36/1529.35	o 571
1528.36/1529.35	c fallback to adder encoding
1528.96/1529.91	o 568
1528.96/1529.91	c fallback to adder encoding
1530.06/1531.01	o 567
1530.06/1531.01	c fallback to adder encoding
1531.15/1532.17	o 545
1531.15/1532.17	c fallback to adder encoding
1532.53/1533.51	o 544
1532.53/1533.51	c fallback to adder encoding
1532.63/1534.28	o 540
1532.63/1534.28	c fallback to adder encoding
1534.34/1535.39	o 517
1534.34/1535.39	c fallback to adder encoding
1535.05/1536.08	o 513
1535.05/1536.08	c fallback to adder encoding
1536.03/1537.00	o 512
1536.03/1537.00	c fallback to adder encoding
1536.70/1537.70	o 511
1536.70/1537.70	c fallback to adder encoding
1537.03/1538.07	o 255
1537.03/1538.07	c fallback to adder encoding
1537.13/1538.16	o 252
1537.13/1538.16	c fallback to adder encoding
1537.22/1538.24	o 247
1537.22/1538.24	c fallback to adder encoding
1537.30/1538.37	o 246
1537.30/1538.37	c fallback to adder encoding
1537.43/1538.46	o 245
1537.43/1538.46	c fallback to adder encoding
1537.53/1538.57	o 235
1537.53/1538.57	c fallback to adder encoding
1537.62/1538.73	o 232
1537.62/1538.73	c fallback to adder encoding
1537.83/1538.81	o 231
1537.83/1538.81	c fallback to adder encoding
1537.93/1538.91	o 222
1537.93/1538.91	c fallback to adder encoding
1537.97/1539.03	o 221
1537.97/1539.03	c fallback to adder encoding
1538.09/1539.12	o 212
1538.09/1539.12	c fallback to adder encoding
1538.22/1539.20	o 209
1538.22/1539.20	c fallback to adder encoding
1538.22/1539.29	o 198
1538.22/1539.29	c fallback to adder encoding
1538.32/1539.38	o 196
1538.61/1539.67	o 166
1538.73/1539.79	c display solution
1538.73/1539.79	s OPTIMUM FOUND
1538.73/1539.79	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	166

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

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

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


[startup+0 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 25575
/proc/meminfo: memFree=27530072/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0

[startup+0.006895 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 25575
/proc/meminfo: memFree=27530072/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100144 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 25575
/proc/meminfo: memFree=27530072/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300144 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 25575
/proc/meminfo: memFree=27530072/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700107 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 25575
/proc/meminfo: memFree=27530072/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50021 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 25589
/proc/meminfo: memFree=27478524/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=0.17 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 4293 5451 0 0 13 2 1 1 20 0 1 0 386223056 20611072 4643 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25576/statm: 5032 4643 179 443 0 4585 0
[pid=25588] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25588/stat : 25588 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386223075 9367552 267 33554432000 4194304 5064252 140735348687936 140735348686848 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25588/statm: 2287 267 226 213 0 72 0
[pid=25589] ppid=25588 vsize=28248 CPUtime=1.29 cores=0,2,4,6
/proc/25589/stat : 25589 (glucose) R 25588 25575 19535 0 -1 4202496 6647 0 0 0 128 1 0 0 20 0 1 0 386223076 28925952 6370 33554432000 4194304 5208918 140735649146048 140735649143896 4211122 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25589/statm: 7062 6370 104 248 0 6811 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 66672

[startup+3.10027 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 25589
/proc/meminfo: memFree=27477400/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=0.17 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 4293 5451 0 0 13 2 1 1 20 0 1 0 386223056 20611072 4643 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25576/statm: 5032 4643 179 443 0 4585 0
[pid=25588] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25588/stat : 25588 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386223075 9367552 267 33554432000 4194304 5064252 140735348687936 140735348686848 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25588/statm: 2287 267 226 213 0 72 0
[pid=25589] ppid=25588 vsize=29248 CPUtime=2.89 cores=0,2,4,6
/proc/25589/stat : 25589 (glucose) R 25588 25575 19535 0 -1 4202496 6952 0 0 0 288 1 0 0 20 0 1 0 386223076 29949952 6674 33554432000 4194304 5208918 140735649146048 140735649143896 4211732 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25589/statm: 7312 6674 105 248 0 7061 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 67672

[startup+6.3002 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 25589
/proc/meminfo: memFree=27460344/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=0.17 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 4293 5451 0 0 13 2 1 1 20 0 1 0 386223056 20611072 4643 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25576/statm: 5032 4643 179 443 0 4585 0
[pid=25588] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25588/stat : 25588 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386223075 9367552 267 33554432000 4194304 5064252 140735348687936 140735348686848 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25588/statm: 2287 267 226 213 0 72 0
[pid=25589] ppid=25588 vsize=48460 CPUtime=6.09 cores=0,2,4,6
/proc/25589/stat : 25589 (glucose) R 25588 25575 19535 0 -1 4202496 8682 0 0 0 607 2 0 0 20 0 1 0 386223076 49623040 10655 33554432000 4194304 5208918 140735649146048 140735649143912 4211792 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25589/statm: 12115 10655 105 248 0 11864 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 86884

[startup+12.7003 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 25589
/proc/meminfo: memFree=27458072/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=0.17 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 4293 5451 0 0 13 2 1 1 20 0 1 0 386223056 20611072 4643 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25576/statm: 5032 4643 179 443 0 4585 0
[pid=25588] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25588/stat : 25588 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386223075 9367552 267 33554432000 4194304 5064252 140735348687936 140735348686848 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25588/statm: 2287 267 226 213 0 72 0
[pid=25589] ppid=25588 vsize=48460 CPUtime=12.49 cores=0,2,4,6
/proc/25589/stat : 25589 (glucose) R 25588 25575 19535 0 -1 4202496 8739 0 0 0 1247 2 0 0 20 0 1 0 386223076 49623040 11223 33554432000 4194304 5208918 140735649146048 140735649143912 4211888 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25589/statm: 12115 11223 105 248 0 11864 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 86884

[startup+25.5004 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 25596
/proc/meminfo: memFree=27474188/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=18.3 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 6628 17984 0 0 26 3 1794 7 20 0 1 0 386223056 20611072 4643 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25576/statm: 5032 4643 179 443 0 4585 0
[pid=25595] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25595/stat : 25595 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386224889 9367552 267 33554432000 4194304 5064252 140734677000144 140734676999056 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25595/statm: 2287 267 226 213 0 72 0
[pid=25596] ppid=25595 vsize=42036 CPUtime=7.16 cores=0,2,4,6
/proc/25596/stat : 25596 (glucose) R 25595 25575 19535 0 -1 4202496 7976 0 0 0 714 2 0 0 20 0 1 0 386224889 43044864 9272 33554432000 4194304 5208918 140736379053616 140736379051464 4228947 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25596/statm: 10509 9272 105 248 0 10258 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 80460

[startup+51.1003 s]
/proc/loadavg: 2.09 2.03 2.00 3/183 25617
/proc/meminfo: memFree=27471576/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=45.67 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 13633 54194 0 0 65 6 4468 28 20 0 1 0 386223056 20611072 4643 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25576/statm: 5032 4643 179 443 0 4585 0
[pid=25616] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25616/stat : 25616 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386227626 9367552 267 33554432000 4194304 5064252 140733958215808 140733958214720 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25616/statm: 2287 267 226 213 0 72 0
[pid=25617] ppid=25616 vsize=30620 CPUtime=5.38 cores=0,2,4,6
/proc/25617/stat : 25617 (glucose) R 25616 25575 19535 0 -1 4202496 8786 0 0 0 537 1 0 0 20 0 1 0 386227627 31354880 6872 33554432000 4194304 5208918 140735939003872 140735939001960 4211635 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25617/statm: 7655 6872 105 248 0 7404 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 69044

[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/182 25652
/proc/meminfo: memFree=27471424/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=97.27 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 25308 116534 0 0 128 13 9528 58 20 0 1 0 386223056 20611072 4643 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25576/statm: 5032 4643 179 443 0 4585 0
[pid=25651] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25651/stat : 25651 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386232795 9367552 267 33554432000 4194304 5064252 140735873857968 140735873856880 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25651/statm: 2287 267 226 213 0 72 0
[pid=25652] ppid=25651 vsize=30320 CPUtime=4.9 cores=0,2,4,6
/proc/25652/stat : 25652 (glucose) R 25651 25575 19535 0 -1 4202496 8123 0 0 0 488 2 0 0 20 0 1 0 386232796 31047680 6860 33554432000 4194304 5208918 140734634609168 140734634607016 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25652/statm: 7580 6860 105 248 0 7329 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 68744

[startup+162.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/183 25709
/proc/meminfo: memFree=27468920/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=161.35 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 43988 211809 0 0 230 23 15771 111 20 0 1 0 386223056 20611072 4643 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25576/statm: 5032 4643 179 443 0 4585 0
[pid=25708] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6

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


[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 26801
/proc/meminfo: memFree=24508976/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=1417.19 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 382909 1850901 0 0 1904 195 138591 1029 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25576/statm: 5032 4645 179 443 0 4585 0
[pid=26800] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26800/stat : 26800 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386364858 9367552 267 33554432000 4194304 5064252 140736888329344 140736888328256 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26800/statm: 2287 267 226 213 0 72 0
[pid=26801] ppid=26800 vsize=28808 CPUtime=4.27 cores=0,2,4,6
/proc/26801/stat : 26801 (glucose) R 26800 25575 19535 0 -1 4202496 6389 0 0 0 426 1 0 0 20 0 1 0 386364859 29499392 6053 33554432000 4194304 5208918 140734925108512 140734925106456 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26801/statm: 7202 6053 104 248 0 6951 0
Current children cumulated CPU time (s) 1421.46
Current children cumulated vsize (KiB) 67232

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 26972
/proc/meminfo: memFree=24515336/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=1481.02 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 436425 2045732 0 0 2079 214 144677 1132 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25576/statm: 5032 4645 179 443 0 4585 0
Current children cumulated CPU time (s) 1481.02
Current children cumulated vsize (KiB) 29276

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

[startup+1484.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 26986
/proc/meminfo: memFree=24517720/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=1483.84 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 439919 2060677 0 0 2092 215 144939 1138 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25576/statm: 5032 4645 179 443 0 4585 0
Current children cumulated CPU time (s) 1483.84
Current children cumulated vsize (KiB) 29276

[startup+1510.41 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 27084
/proc/meminfo: memFree=24518944/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=1508.72 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 462617 2157430 0 0 2167 224 147293 1188 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25576/statm: 5032 4645 179 443 0 4585 0
[pid=27083] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27083/stat : 27083 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386374018 9367552 267 33554432000 4194304 5064252 140734487480800 140734487479712 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27083/statm: 2287 267 226 213 0 72 0
[pid=27084] ppid=27083 vsize=15476 CPUtime=0.77 cores=0,2,4,6
/proc/27084/stat : 27084 (glucose) R 27083 25575 19535 0 -1 4202496 3400 0 0 0 77 0 0 0 20 0 1 0 386374018 15847424 3150 33554432000 4194304 5208918 140737212279936 140737212277688 4228952 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27084/statm: 3869 3150 104 248 0 3618 0
Current children cumulated CPU time (s) 1509.49
Current children cumulated vsize (KiB) 53900

[startup+1523.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 27140
/proc/meminfo: memFree=24520248/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=1521.35 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 476584 2212481 0 0 2210 228 148484 1213 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25576/statm: 5032 4645 179 443 0 4585 0
[pid=27139] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27139/stat : 27139 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386375281 9367552 266 33554432000 4194304 5064252 140733584740400 140733584739312 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27139/statm: 2287 266 226 213 0 72 0
[pid=27140] ppid=27139 vsize=15024 CPUtime=0.93 cores=0,2,4,6
/proc/27140/stat : 27140 (glucose) R 27139 25575 19535 0 -1 4202496 3833 0 0 0 93 0 0 0 20 0 1 0 386375281 15384576 3026 33554432000 4194304 5208918 140737125158880 140737125156712 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27140/statm: 3756 3026 104 248 0 3505 0
Current children cumulated CPU time (s) 1522.28
Current children cumulated vsize (KiB) 53448

[startup+1529.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 27175
/proc/meminfo: memFree=24518376/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=1528.5 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 487058 2253241 0 0 2238 232 149149 1231 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25576/statm: 5032 4645 179 443 0 4585 0
Current children cumulated CPU time (s) 1528.5
Current children cumulated vsize (KiB) 29276

[startup+1536 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 27224
/proc/meminfo: memFree=24519364/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=1534.51 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 497534 2292119 0 0 2265 235 149704 1247 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25576/statm: 5032 4645 179 443 0 4585 0
[pid=27223] ppid=25576 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27223/stat : 27223 (satsolver.sh) S 25576 25575 19535 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386376600 9367552 266 33554432000 4194304 5064252 140733660733008 140733660731920 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27223/statm: 2287 266 226 213 0 72 0
[pid=27224] ppid=27223 vsize=12352 CPUtime=0.54 cores=0,2,4,6
/proc/27224/stat : 27224 (glucose) R 27223 25575 19535 0 -1 4202496 2283 0 0 0 54 0 0 0 20 0 1 0 386376600 12648448 2686 33554432000 4194304 5208918 140733470808960 140733660731944 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27224/statm: 3088 2686 105 248 0 2837 0
Current children cumulated CPU time (s) 1535.05
Current children cumulated vsize (KiB) 50776

[startup+1537.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 27231
/proc/meminfo: memFree=24518792/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=1536.07 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 501026 2304197 0 0 2273 235 149847 1252 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25576/statm: 5032 4645 179 443 0 4585 0
Current children cumulated CPU time (s) 1536.07
Current children cumulated vsize (KiB) 29276

[startup+1538.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 27245
/proc/meminfo: memFree=24521164/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=1537.43 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 505178 2329476 0 0 2283 237 149962 1261 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25576/statm: 5032 4645 179 443 0 4585 0
Current children cumulated CPU time (s) 1537.43
Current children cumulated vsize (KiB) 29276

[startup+1539.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 27302
/proc/meminfo: memFree=24530076/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=1538.22 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 509231 2364051 0 0 2292 238 150021 1271 20 0 1 0 386223056 20611072 4645 33554432000 4194304 6006132 140736368994528 140736368985408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25576/statm: 5032 4645 179 443 0 4585 0
Current children cumulated CPU time (s) 1538.22
Current children cumulated vsize (KiB) 29276

[startup+1539.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 27302
/proc/meminfo: memFree=24530076/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=1538.61 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 511466 2381175 0 0 2297 239 150049 1276 20 0 1 0 386223056 20611072 4646 33554432000 4194304 6006132 140736368994528 140736368985408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25576/statm: 5032 4646 180 443 0 4585 0
Current children cumulated CPU time (s) 1538.61
Current children cumulated vsize (KiB) 29276

[startup+1539.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 27302
/proc/meminfo: memFree=24530076/32873648 swapFree=7628/7628
[pid=25575] ppid=25573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25575/stat : 25575 (npSolver-wbo-It) S 25573 25575 19535 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386223056 9367552 275 33554432000 4194304 5064252 140735517681984 140735517680896 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25575/statm: 2287 275 233 213 0 72 0
[pid=25576] ppid=25575 vsize=20128 CPUtime=1538.73 cores=0,2,4,6
/proc/25576/stat : 25576 (npSolver-wbo) S 25575 25575 19535 0 -1 4202496 512439 2384427 0 0 2299 239 150054 1281 20 0 1 0 386223056 20611072 4646 33554432000 4194304 6006132 140736368994528 140736368985920 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25576/statm: 5032 4646 180 443 0 4585 0
Current children cumulated CPU time (s) 1538.73
Current children cumulated vsize (KiB) 29276

Child status: 0
Real time (s): 1539.79
CPU time (s): 1538.85
CPU user time (s): 1523.62
CPU system time (s): 15.2297
CPU usage (%): 99.9386
Max. virtual memory (cumulated for all children) (KiB): 98560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1523.62
system time used= 15.2297
maximum resident set size= 48752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2903960
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3065648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16116
involuntary context switches= 4625

runsolver used 3.47247 second user time and 8.42272 second system time

The end

Launcher Data

Begin job on node122 at 2012-06-09 02:16:11
IDJOB=3753811
IDBENCH=79398
IDSOLVER=2337
FILE ID=node122/3753811-1339200971
RUNJOBID= node122-1339184574-20817
PBS_JOBID= 14643846
Free space on /tmp= 68592 MiB

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

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

MD5SUM BENCH= af72756a7b8194161c8db176c46da286
RANDOM SEED=591399085

node122.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.533
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.06
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.533
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.533
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	: 5332.04
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.533
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.533
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		: 2666.533
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	: 5438.54
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.533
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.533
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:        27530600 kB
Buffers:          291892 kB
Cached:          3666740 kB
SwapCached:         2140 kB
Active:          3376604 kB
Inactive:        1010920 kB
Active(anon):     429308 kB
Inactive(anon):     2228 kB
Active(file):    2947296 kB
Inactive(file):  1008692 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67099488 kB
Dirty:              8564 kB
Writeback:             0 kB
AnonPages:        541056 kB
Mapped:             9812 kB
Shmem:                 0 kB
Slab:             815772 kB
SReclaimable:     259672 kB
SUnreclaim:       556100 kB
KernelStack:        1520 kB
PageTables:         4780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     605080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    301056 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= 67872 MiB
End job on node122 at 2012-06-09 02:41:51