Trace number 3712384

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
toysat 2012-05-17? (TO) 1800.12 1800.41

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-35-30--soft-0-100-0.wbo
MD5SUM169186b65db4bc0391cc8aa4ed776345
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.047992
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1050
Total number of constraints65
Number of soft constraints65
Number of constraints which are clauses35
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint35
Top cost 3654
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 3653
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 36
Number of bits of the biggest sum of numbers6
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.01	c 2012-05-28T12:56:35+0200
0.00/0.01	c arch = x86_64
0.00/0.01	c os = linux
0.00/0.01	c compiler = ghc 7.4
0.00/0.01	c packages:
0.00/0.01	c   OptDir-0.0.1
0.00/0.01	c   array-0.4.0.0
0.00/0.01	c   base-4.5.0.0
0.00/0.01	c   bytestring-0.9.2.1
0.00/0.01	c   containers-0.4.2.1
0.00/0.01	c   deepseq-1.3.0.0
0.00/0.01	c   mtl-2.1.1
0.00/0.01	c   old_locale-1.0.0.4
0.00/0.01	c   parse_dimacs-1.2
0.00/0.01	c   parsec-3.1.2
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   stm-2.3
0.00/0.01	c   time-1.4
0.00/0.01	c command line = ["--wbo","HOME/instance-3712384-1338202595.wbo"]
0.00/0.01	c #vars 1050
0.00/0.01	c #constraints 65
0.00/0.01	c Solving starts ...
0.09/0.15	c solving time = 0.143s
0.09/0.15	c #decision = 930
0.09/0.15	c #conflict = 102
0.09/0.15	c #restart = 1
0.09/0.15	o 68
0.09/0.15	c Solving starts ...
0.29/0.37	c solving time = 0.212s
0.29/0.37	c #decision = 2155
0.29/0.37	c #conflict = 214
0.29/0.37	c #restart = 2
0.29/0.37	o 25
0.29/0.37	c Solving starts ...
1.19/1.27	c learnt constraints deletion: 684 -> 342
1.49/1.54	c solving time = 1.176s
1.49/1.54	c #decision = 4917
1.49/1.54	c #conflict = 843
1.49/1.54	c #restart = 5
1.49/1.54	o 23
1.49/1.54	c Solving starts ...
1.49/1.54	c learnt constraints deletion: 496 -> 248
1.49/1.55	c solving time = 0.003s
1.49/1.55	c #decision = 5447
1.49/1.55	c #conflict = 843
1.49/1.55	c #restart = 5
1.49/1.55	o 12
1.49/1.55	c Solving starts ...
1.49/1.55	c solving time = 0.002s
1.49/1.55	c #decision = 5959
1.49/1.55	c #conflict = 843
1.49/1.55	c #restart = 5
1.49/1.55	o 3
1.49/1.55	c Solving starts ...
2.49/2.51	c learnt constraints deletion: 720 -> 360
3.30/3.34	c learnt constraints deletion: 697 -> 349
4.89/4.97	c learnt constraints deletion: 855 -> 428
7.19/7.26	c learnt constraints deletion: 1188 -> 594
10.38/10.42	c learnt constraints deletion: 1735 -> 868
10.38/10.43	c learnt constraints deletion: 868 -> 434
13.89/13.90	c learnt constraints deletion: 1830 -> 924
14.78/14.83	c learnt constraints deletion: 1240 -> 620
17.60/17.62	c learnt constraints deletion: 1936 -> 975
19.89/19.97	c learnt constraints deletion: 1923 -> 975
20.79/20.87	c learnt constraints deletion: 1280 -> 640
24.48/24.55	c learnt constraints deletion: 1980 -> 1002
27.98/28.04	c learnt constraints deletion: 1988 -> 1011
31.58/31.66	c learnt constraints deletion: 1982 -> 1005
33.68/33.70	c learnt constraints deletion: 1562 -> 781
34.39/34.46	c learnt constraints deletion: 1399 -> 703
34.98/35.02	c learnt constraints deletion: 1453 -> 732
35.48/35.55	c learnt constraints deletion: 1451 -> 731
35.98/36.07	c learnt constraints deletion: 1416 -> 715
39.49/39.51	c learnt constraints deletion: 2090 -> 1056
43.18/43.27	c learnt constraints deletion: 2074 -> 1054
45.58/45.62	c learnt constraints deletion: 1671 -> 836
48.39/48.44	c learnt constraints deletion: 2181 -> 1097
50.98/51.02	c learnt constraints deletion: 2192 -> 1108
54.08/54.16	c learnt constraints deletion: 2193 -> 1114
57.19/57.26	c learnt constraints deletion: 2181 -> 1109
59.98/60.04	c learnt constraints deletion: 2198 -> 1116
62.68/62.78	c learnt constraints deletion: 2192 -> 1113
65.38/65.40	c learnt constraints deletion: 2183 -> 1109
67.57/67.62	c learnt constraints deletion: 1956 -> 978
71.08/71.13	c learnt constraints deletion: 2302 -> 1157
74.18/74.20	c learnt constraints deletion: 2309 -> 1169
77.07/77.17	c learnt constraints deletion: 2317 -> 1168
80.18/80.22	c learnt constraints deletion: 2317 -> 1169
83.48/83.54	c learnt constraints deletion: 2297 -> 1158
87.58/87.60	c learnt constraints deletion: 2296 -> 1157
91.67/91.75	c learnt constraints deletion: 2305 -> 1166
95.87/95.92	c learnt constraints deletion: 2312 -> 1169
99.88/99.92	c learnt constraints deletion: 2293 -> 1157
103.98/104.01	c learnt constraints deletion: 2298 -> 1159
108.17/108.23	c learnt constraints deletion: 2305 -> 1166
109.57/109.60	c learnt constraints deletion: 1741 -> 876
110.38/110.42	c learnt constraints deletion: 1749 -> 878
111.17/111.27	c learnt constraints deletion: 1741 -> 877
112.08/112.16	c learnt constraints deletion: 1741 -> 876
112.77/112.82	c learnt constraints deletion: 1761 -> 884
113.37/113.42	c learnt constraints deletion: 1771 -> 890
113.97/114.01	c learnt constraints deletion: 1794 -> 902
114.47/114.55	c learnt constraints deletion: 1789 -> 900
115.07/115.13	c learnt constraints deletion: 1788 -> 899
115.67/115.73	c learnt constraints deletion: 1763 -> 886
116.17/116.29	c learnt constraints deletion: 1712 -> 858
119.17/119.24	c learnt constraints deletion: 2389 -> 1199
123.08/123.19	c learnt constraints deletion: 2419 -> 1220
127.47/127.57	c learnt constraints deletion: 2358 -> 1186
131.97/132.07	c learnt constraints deletion: 2349 -> 1179
136.56/136.61	c learnt constraints deletion: 2395 -> 1208
141.66/141.70	c learnt constraints deletion: 2422 -> 1219
146.46/146.54	c learnt constraints deletion: 2443 -> 1228
150.86/150.92	c learnt constraints deletion: 2420 -> 1217
152.46/152.56	c learnt constraints deletion: 1790 -> 895
155.86/155.93	c learnt constraints deletion: 2542 -> 1288
159.16/159.28	c learnt constraints deletion: 2542 -> 1291
163.16/163.25	c learnt constraints deletion: 2505 -> 1269
167.17/167.23	c learnt constraints deletion: 2509 -> 1271
171.15/171.21	c learnt constraints deletion: 2512 -> 1275
175.35/175.49	c learnt constraints deletion: 2530 -> 1281
179.85/179.94	c learnt constraints deletion: 2519 -> 1277
184.06/184.15	c learnt constraints deletion: 2531 -> 1283
187.96/188.10	c learnt constraints deletion: 2496 -> 1265
191.45/191.58	c learnt constraints deletion: 2517 -> 1280
195.86/195.98	c learnt constraints deletion: 2496 -> 1264
200.55/200.64	c learnt constraints deletion: 2517 -> 1276
205.35/205.43	c learnt constraints deletion: 2515 -> 1276
209.96/210.02	c learnt constraints deletion: 2560 -> 1298
212.55/212.64	c learnt constraints deletion: 2575 -> 1306
215.95/216.07	c learnt constraints deletion: 2540 -> 1287
219.86/219.93	c learnt constraints deletion: 2543 -> 1289
223.85/223.99	c learnt constraints deletion: 2542 -> 1288
227.75/227.86	c learnt constraints deletion: 2540 -> 1290
231.84/231.90	c learnt constraints deletion: 2525 -> 1281
235.75/235.82	c learnt constraints deletion: 2517 -> 1278
239.65/239.77	c learnt constraints deletion: 2532 -> 1288
244.25/244.33	c learnt constraints deletion: 2688 -> 1364
247.85/247.92	c learnt constraints deletion: 2689 -> 1350
251.94/252.01	c learnt constraints deletion: 2695 -> 1358
256.15/256.29	c learnt constraints deletion: 2704 -> 1363
260.55/260.61	c learnt constraints deletion: 2693 -> 1356
264.65/264.71	c learnt constraints deletion: 2695 -> 1356
268.94/269.02	c learnt constraints deletion: 2681 -> 1349
273.04/273.18	c learnt constraints deletion: 2689 -> 1354
277.84/277.97	c learnt constraints deletion: 2682 -> 1352
282.24/282.34	c learnt constraints deletion: 2655 -> 1335
286.03/286.11	c learnt constraints deletion: 2675 -> 1346
289.84/289.97	c learnt constraints deletion: 2681 -> 1348
293.65/293.78	c learnt constraints deletion: 2690 -> 1352
297.54/297.66	c learnt constraints deletion: 2692 -> 1356
301.64/301.71	c learnt constraints deletion: 2678 -> 1348
305.64/305.78	c learnt constraints deletion: 2700 -> 1360
309.53/309.61	c learnt constraints deletion: 2662 -> 1341
313.73/313.89	c learnt constraints deletion: 2712 -> 1367
317.93/318.03	c learnt constraints deletion: 2657 -> 1343
322.14/322.23	c learnt constraints deletion: 2664 -> 1344
326.33/326.49	c learnt constraints deletion: 2707 -> 1367
330.63/330.71	c learnt constraints deletion: 2688 -> 1351
334.34/334.45	c learnt constraints deletion: 2667 -> 1343
338.43/338.57	c learnt constraints deletion: 2665 -> 1342
343.04/343.12	c learnt constraints deletion: 2692 -> 1358
347.03/347.15	c learnt constraints deletion: 2677 -> 1350
350.74/350.81	c learnt constraints deletion: 2705 -> 1364
354.53/354.66	c learnt constraints deletion: 2693 -> 1356
358.43/358.58	c learnt constraints deletion: 2662 -> 1344
362.53/362.66	c learnt constraints deletion: 2683 -> 1352
366.53/366.66	c learnt constraints deletion: 2689 -> 1354
370.72/370.88	c learnt constraints deletion: 2702 -> 1361
374.93/375.02	c learnt constraints deletion: 2678 -> 1350
379.12/379.22	c learnt constraints deletion: 2733 -> 1367
382.73/382.88	c learnt constraints deletion: 2871 -> 1443
387.73/387.87	c learnt constraints deletion: 2871 -> 1447
392.72/392.83	c learnt constraints deletion: 2870 -> 1449
397.32/397.49	c learnt constraints deletion: 2862 -> 1448
402.12/402.21	c learnt constraints deletion: 2848 -> 1438
406.72/406.82	c learnt constraints deletion: 2835 -> 1432
411.52/411.67	c learnt constraints deletion: 2859 -> 1444
416.32/416.49	c learnt constraints deletion: 2865 -> 1450
421.71/421.89	c learnt constraints deletion: 2882 -> 1457
426.92/427.05	c learnt constraints deletion: 2870 -> 1454
432.32/432.47	c learnt constraints deletion: 2865 -> 1447
437.22/437.30	c learnt constraints deletion: 2859 -> 1445
441.91/442.02	c learnt constraints deletion: 2851 -> 1440
446.71/446.82	c learnt constraints deletion: 2865 -> 1447
451.41/451.56	c learnt constraints deletion: 2846 -> 1437
456.21/456.36	c learnt constraints deletion: 2864 -> 1447
460.91/461.06	c learnt constraints deletion: 2872 -> 1450
465.41/465.54	c learnt constraints deletion: 2845 -> 1437
470.21/470.37	c learnt constraints deletion: 2842 -> 1436
475.11/475.22	c learnt constraints deletion: 2838 -> 1433
480.41/480.58	c learnt constraints deletion: 2862 -> 1445
485.11/485.28	c learnt constraints deletion: 2869 -> 1451
490.10/490.21	c learnt constraints deletion: 2859 -> 1444
495.11/495.21	c learnt constraints deletion: 2860 -> 1446
499.90/500.09	c learnt constraints deletion: 2870 -> 1450
505.01/505.10	c learnt constraints deletion: 2867 -> 1448
510.11/510.22	c learnt constraints deletion: 2875 -> 1452
515.21/515.36	c learnt constraints deletion: 2864 -> 1448
520.11/520.28	c learnt constraints deletion: 2850 -> 1443
525.50/525.66	c learnt constraints deletion: 2857 -> 1445
530.60/530.77	c learnt constraints deletion: 2867 -> 1449
535.20/535.34	c learnt constraints deletion: 2845 -> 1437
540.20/540.38	c learnt constraints deletion: 2850 -> 1439
545.60/545.76	c learnt constraints deletion: 2828 -> 1428
549.99/550.11	c learnt constraints deletion: 2843 -> 1436
554.69/554.82	c learnt constraints deletion: 2854 -> 1446
559.40/559.59	c learnt constraints deletion: 2869 -> 1452
564.20/564.36	c learnt constraints deletion: 2853 -> 1447
569.29/569.49	c learnt constraints deletion: 2865 -> 1447
573.69/573.81	c learnt constraints deletion: 2867 -> 1451
578.09/578.29	c learnt constraints deletion: 2843 -> 1440
583.20/583.34	c learnt constraints deletion: 2854 -> 1444
588.30/588.44	c learnt constraints deletion: 2864 -> 1447
592.70/592.90	c learnt constraints deletion: 2863 -> 1447
597.10/597.23	c learnt constraints deletion: 2866 -> 1448
602.39/602.54	c learnt constraints deletion: 3037 -> 1533
604.09/604.29	c learnt constraints deletion: 2109 -> 1055
610.40/610.51	c learnt constraints deletion: 3069 -> 1537
615.18/615.36	c learnt constraints deletion: 3037 -> 1528
620.29/620.43	c learnt constraints deletion: 3037 -> 1529
625.59/625.74	c learnt constraints deletion: 3007 -> 1519
631.19/631.35	c learnt constraints deletion: 3053 -> 1539
636.29/636.41	c learnt constraints deletion: 3047 -> 1536
641.49/641.60	c learnt constraints deletion: 3033 -> 1528
647.28/647.44	c learnt constraints deletion: 3044 -> 1533
652.09/652.25	c learnt constraints deletion: 3043 -> 1535
657.48/657.70	c learnt constraints deletion: 3043 -> 1533
662.48/662.62	c learnt constraints deletion: 3026 -> 1524
667.68/667.82	c learnt constraints deletion: 3024 -> 1524
673.28/673.44	c learnt constraints deletion: 3038 -> 1530
678.67/678.85	c learnt constraints deletion: 3051 -> 1537
683.99/684.14	c learnt constraints deletion: 3050 -> 1536
688.87/689.02	c learnt constraints deletion: 3028 -> 1526
694.07/694.22	c learnt constraints deletion: 3055 -> 1539
699.57/699.78	c learnt constraints deletion: 3036 -> 1533
704.77/704.97	c learnt constraints deletion: 3049 -> 1537
710.17/710.35	c learnt constraints deletion: 3006 -> 1514
716.17/716.34	c learnt constraints deletion: 3039 -> 1532
720.97/721.17	c learnt constraints deletion: 3014 -> 1518
726.07/726.27	c learnt constraints deletion: 3008 -> 1514
730.57/730.71	c learnt constraints deletion: 3018 -> 1519
735.07/735.23	c learnt constraints deletion: 3017 -> 1521
739.97/740.11	c learnt constraints deletion: 3030 -> 1527
744.87/745.04	c learnt constraints deletion: 3012 -> 1517
749.86/750.08	c learnt constraints deletion: 3030 -> 1528
755.06/755.28	c learnt constraints deletion: 3015 -> 1522
759.97/760.17	c learnt constraints deletion: 3014 -> 1520
765.06/765.22	c learnt constraints deletion: 3020 -> 1521
769.77/769.96	c learnt constraints deletion: 3012 -> 1521
774.96/775.11	c learnt constraints deletion: 3009 -> 1516
780.36/780.50	c learnt constraints deletion: 3045 -> 1536
785.17/785.32	c learnt constraints deletion: 3026 -> 1529
790.26/790.48	c learnt constraints deletion: 3049 -> 1547
795.25/795.40	c learnt constraints deletion: 3029 -> 1531
800.56/800.74	c learnt constraints deletion: 3036 -> 1529
805.35/805.59	c learnt constraints deletion: 3025 -> 1524
810.36/810.59	c learnt constraints deletion: 3017 -> 1524
815.66/815.89	c learnt constraints deletion: 3035 -> 1530
821.15/821.33	c learnt constraints deletion: 3051 -> 1536
825.55/825.77	c learnt constraints deletion: 3018 -> 1522
830.36/830.54	c learnt constraints deletion: 3003 -> 1513
835.46/835.68	c learnt constraints deletion: 3026 -> 1525
840.75/840.93	c learnt constraints deletion: 3017 -> 1526
846.35/846.56	c learnt constraints deletion: 3032 -> 1532
851.46/851.69	c learnt constraints deletion: 2995 -> 1511
856.45/856.68	c learnt constraints deletion: 3007 -> 1520
861.45/861.64	c learnt constraints deletion: 3025 -> 1525
866.44/866.64	c learnt constraints deletion: 3052 -> 1539
871.65/871.88	c learnt constraints deletion: 3014 -> 1522
876.94/877.17	c learnt constraints deletion: 3030 -> 1528
882.35/882.55	c learnt constraints deletion: 3018 -> 1522
887.65/887.82	c learnt constraints deletion: 3024 -> 1524
893.15/893.30	c learnt constraints deletion: 3037 -> 1530
898.05/898.23	c learnt constraints deletion: 3041 -> 1533
903.44/903.68	c learnt constraints deletion: 3067 -> 1546
908.54/908.78	c learnt constraints deletion: 3045 -> 1535
913.85/914.08	c learnt constraints deletion: 3022 -> 1525
919.64/919.83	c learnt constraints deletion: 3050 -> 1539
924.54/924.77	c learnt constraints deletion: 3047 -> 1537
929.64/929.89	c learnt constraints deletion: 3025 -> 1525
935.64/935.85	c learnt constraints deletion: 2998 -> 1513
943.84/944.09	c learnt constraints deletion: 3219 -> 1623
948.93/949.12	c learnt constraints deletion: 3260 -> 1632
954.73/954.94	c learnt constraints deletion: 3245 -> 1629
960.83/961.00	c learnt constraints deletion: 3265 -> 1647
966.83/967.01	c learnt constraints deletion: 3249 -> 1637
972.93/973.17	c learnt constraints deletion: 3261 -> 1643
979.43/979.63	c learnt constraints deletion: 3252 -> 1639
985.93/986.16	c learnt constraints deletion: 3268 -> 1648
992.33/992.57	c learnt constraints deletion: 3268 -> 1650
999.23/999.42	c learnt constraints deletion: 3252 -> 1641
1005.72/1005.90	c learnt constraints deletion: 3267 -> 1648
1012.62/1012.89	c learnt constraints deletion: 3257 -> 1643
1019.53/1019.75	c learnt constraints deletion: 3265 -> 1645
1026.32/1026.57	c learnt constraints deletion: 3256 -> 1641
1033.03/1033.24	c learnt constraints deletion: 3253 -> 1639
1040.02/1040.26	c learnt constraints deletion: 3231 -> 1627
1046.52/1046.71	c learnt constraints deletion: 3259 -> 1644
1053.53/1053.72	c learnt constraints deletion: 3263 -> 1644
1059.42/1059.61	c learnt constraints deletion: 3250 -> 1637
1065.22/1065.46	c learnt constraints deletion: 3258 -> 1641
1071.52/1071.77	c learnt constraints deletion: 3241 -> 1633
1077.72/1077.92	c learnt constraints deletion: 3267 -> 1647
1083.01/1083.22	c learnt constraints deletion: 3259 -> 1643
1088.41/1088.66	c learnt constraints deletion: 3234 -> 1629
1094.01/1094.27	c learnt constraints deletion: 3250 -> 1638
1099.61/1099.87	c learnt constraints deletion: 3242 -> 1636
1105.71/1105.96	c learnt constraints deletion: 3247 -> 1638
1110.91/1111.11	c learnt constraints deletion: 3221 -> 1625
1116.91/1117.16	c learnt constraints deletion: 3238 -> 1631
1123.40/1123.68	c learnt constraints deletion: 3258 -> 1646
1129.21/1129.44	c learnt constraints deletion: 3243 -> 1634
1135.50/1135.79	c learnt constraints deletion: 3258 -> 1645
1142.00/1142.25	c learnt constraints deletion: 3237 -> 1636
1147.50/1147.75	c learnt constraints deletion: 3247 -> 1637
1153.01/1153.20	c learnt constraints deletion: 3254 -> 1640
1158.30/1158.55	c learnt constraints deletion: 3247 -> 1637
1163.41/1163.64	c learnt constraints deletion: 3266 -> 1646
1169.11/1169.32	c learnt constraints deletion: 3245 -> 1636
1174.60/1174.85	c learnt constraints deletion: 3250 -> 1644
1180.70/1180.95	c learnt constraints deletion: 3238 -> 1632
1187.00/1187.28	c learnt constraints deletion: 3269 -> 1647
1192.49/1192.79	c learnt constraints deletion: 3249 -> 1636
1198.00/1198.26	c learnt constraints deletion: 3239 -> 1632
1204.10/1204.31	c learnt constraints deletion: 3236 -> 1630
1210.39/1210.65	c learnt constraints deletion: 3267 -> 1646
1216.09/1216.37	c learnt constraints deletion: 3256 -> 1640
1221.79/1222.04	c learnt constraints deletion: 3255 -> 1641
1227.59/1227.80	c learnt constraints deletion: 3244 -> 1638
1233.49/1233.72	c learnt constraints deletion: 3237 -> 1632
1239.58/1239.85	c learnt constraints deletion: 3268 -> 1649
1245.29/1245.56	c learnt constraints deletion: 3238 -> 1631
1251.59/1251.80	c learnt constraints deletion: 3259 -> 1642
1257.48/1257.79	c learnt constraints deletion: 3250 -> 1637
1263.18/1263.47	c learnt constraints deletion: 3254 -> 1642
1268.59/1268.82	c learnt constraints deletion: 3256 -> 1640
1274.48/1274.75	c learnt constraints deletion: 3239 -> 1633
1280.28/1280.59	c learnt constraints deletion: 3252 -> 1640
1286.18/1286.47	c learnt constraints deletion: 3259 -> 1644
1292.38/1292.65	c learnt constraints deletion: 3249 -> 1640
1297.98/1298.24	c learnt constraints deletion: 3234 -> 1629
1303.78/1304.07	c learnt constraints deletion: 3234 -> 1630
1309.89/1310.17	c learnt constraints deletion: 3249 -> 1638
1316.27/1316.52	c learnt constraints deletion: 3240 -> 1633
1322.38/1322.67	c learnt constraints deletion: 3231 -> 1628
1328.48/1328.73	c learnt constraints deletion: 3253 -> 1640
1334.97/1335.22	c learnt constraints deletion: 3240 -> 1634
1341.17/1341.42	c learnt constraints deletion: 3250 -> 1639
1347.67/1347.95	c learnt constraints deletion: 3249 -> 1640
1354.67/1354.92	c learnt constraints deletion: 3257 -> 1644
1361.07/1361.35	c learnt constraints deletion: 3252 -> 1641
1367.57/1367.82	c learnt constraints deletion: 3236 -> 1632
1374.17/1374.46	c learnt constraints deletion: 3246 -> 1637
1380.86/1381.18	c learnt constraints deletion: 3247 -> 1637
1387.36/1387.66	c learnt constraints deletion: 3245 -> 1637
1393.96/1394.26	c learnt constraints deletion: 3236 -> 1632
1400.27/1400.56	c learnt constraints deletion: 3257 -> 1642
1406.76/1407.02	c learnt constraints deletion: 3264 -> 1646
1413.06/1413.32	c learnt constraints deletion: 3252 -> 1639
1419.46/1419.76	c learnt constraints deletion: 3232 -> 1630
1426.86/1427.12	c learnt constraints deletion: 3233 -> 1636
1432.86/1433.13	c learnt constraints deletion: 3249 -> 1638
1439.16/1439.44	c learnt constraints deletion: 3258 -> 1646
1444.95/1445.24	c learnt constraints deletion: 3246 -> 1637
1451.26/1451.51	c learnt constraints deletion: 3253 -> 1642
1457.05/1457.33	c learnt constraints deletion: 3239 -> 1633
1462.95/1463.21	c learnt constraints deletion: 3237 -> 1632
1468.95/1469.28	c learnt constraints deletion: 3227 -> 1627
1474.86/1475.17	c learnt constraints deletion: 3243 -> 1635
1480.95/1481.23	c learnt constraints deletion: 3260 -> 1645
1487.05/1487.31	c learnt constraints deletion: 3251 -> 1640
1493.25/1493.57	c learnt constraints deletion: 3252 -> 1640
1500.85/1501.18	c learnt constraints deletion: 3458 -> 1743
1507.94/1508.20	c learnt constraints deletion: 3444 -> 1735
1513.25/1513.58	c learnt constraints deletion: 3485 -> 1746
1519.15/1519.47	c learnt constraints deletion: 3452 -> 1734
1525.74/1526.03	c learnt constraints deletion: 3460 -> 1738
1532.05/1532.31	c learnt constraints deletion: 3475 -> 1747
1538.65/1538.95	c learnt constraints deletion: 3472 -> 1743
1545.15/1545.49	c learnt constraints deletion: 3460 -> 1736
1551.44/1551.77	c learnt constraints deletion: 3466 -> 1740
1558.04/1558.37	c learnt constraints deletion: 3478 -> 1745
1564.34/1564.64	c learnt constraints deletion: 3449 -> 1731
1570.44/1570.74	c learnt constraints deletion: 3480 -> 1747
1576.43/1576.79	c learnt constraints deletion: 3461 -> 1741
1583.24/1583.57	c learnt constraints deletion: 3483 -> 1751
1589.83/1590.16	c learnt constraints deletion: 3479 -> 1747
1596.54/1596.84	c learnt constraints deletion: 3457 -> 1737
1603.63/1603.95	c learnt constraints deletion: 3469 -> 1742
1610.53/1610.80	c learnt constraints deletion: 3478 -> 1746
1617.23/1617.57	c learnt constraints deletion: 3474 -> 1749
1623.33/1623.69	c learnt constraints deletion: 3451 -> 1733
1630.23/1630.50	c learnt constraints deletion: 3477 -> 1746
1635.33/1635.65	c learnt constraints deletion: 3448 -> 1731
1640.83/1641.16	c learnt constraints deletion: 3482 -> 1749
1646.23/1646.51	c learnt constraints deletion: 3455 -> 1736
1651.93/1652.26	c learnt constraints deletion: 3456 -> 1737
1657.43/1657.74	c learnt constraints deletion: 3477 -> 1748
1663.52/1663.82	c learnt constraints deletion: 3470 -> 1743
1669.82/1670.17	c learnt constraints deletion: 3436 -> 1725
1675.92/1676.25	c learnt constraints deletion: 3489 -> 1753
1682.12/1682.49	c learnt constraints deletion: 3480 -> 1748
1688.31/1688.62	c learnt constraints deletion: 3464 -> 1740
1694.62/1694.93	c learnt constraints deletion: 3425 -> 1723
1701.32/1701.67	c learnt constraints deletion: 3468 -> 1743
1708.11/1708.42	c learnt constraints deletion: 3464 -> 1741
1714.91/1715.22	c learnt constraints deletion: 3451 -> 1734
1720.51/1720.80	c learnt constraints deletion: 3439 -> 1728
1726.51/1726.81	c learnt constraints deletion: 3465 -> 1741
1732.71/1733.00	c learnt constraints deletion: 3455 -> 1736
1739.82/1740.13	c learnt constraints deletion: 3461 -> 1739
1746.01/1746.34	c learnt constraints deletion: 3458 -> 1737
1752.21/1752.57	c learnt constraints deletion: 3452 -> 1739
1757.90/1758.25	c learnt constraints deletion: 3466 -> 1741
1763.50/1763.82	c learnt constraints deletion: 3441 -> 1729
1769.31/1769.65	c learnt constraints deletion: 3470 -> 1746
1775.40/1775.77	c learnt constraints deletion: 3471 -> 1744
1781.61/1781.93	c learnt constraints deletion: 3458 -> 1738
1787.80/1788.18	c learnt constraints deletion: 3451 -> 1735
1793.60/1793.94	c learnt constraints deletion: 3479 -> 1750
1799.49/1799.83	c learnt constraints deletion: 3479 -> 1750

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3712384-1338202595/watcher-3712384-1338202595 -o /tmp/evaluation-result-3712384-1338202595/solver-3712384-1338202595 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712384-1338202595.wbo 

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.02 2.01 2.00 3/176 20586
/proc/meminfo: memFree=27908196/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 814 0 0 0 0 0 0 0 20 0 1 0 286388022 6356992 735 33554432000 4194304 8973514 140736820422240 140734750154568 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 1552 735 423 1167 0 333 0

[startup+0.0241419 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 20586
/proc/meminfo: memFree=27908196/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=8256 CPUtime=0.02 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 1126 0 0 0 2 0 0 0 20 0 1 0 286388022 8454144 1047 33554432000 4194304 8973514 140736820422240 140736820421736 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 2064 1047 453 1167 0 845 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8256

[startup+0.100268 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 20586
/proc/meminfo: memFree=27908196/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=8256 CPUtime=0.09 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 1229 0 0 0 9 0 0 0 20 0 1 0 286388022 8454144 1150 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 2064 1150 453 1167 0 845 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8256

[startup+0.300231 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 20586
/proc/meminfo: memFree=27908196/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=9280 CPUtime=0.29 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 1405 0 0 0 29 0 0 0 20 0 1 0 286388022 9502720 1326 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 2320 1326 463 1167 0 1101 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9280

[startup+0.700225 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 20586
/proc/meminfo: memFree=27908196/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=10304 CPUtime=0.69 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 1666 0 0 0 69 0 0 0 20 0 1 0 286388022 10551296 1587 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 2576 1587 463 1167 0 1357 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10304

[startup+1.50023 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20587
/proc/meminfo: memFree=27902608/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=11328 CPUtime=1.49 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 2152 0 0 0 148 1 0 0 20 0 1 0 286388022 11599872 2073 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 2832 2073 464 1167 0 1613 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11328

[startup+3.10024 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20587
/proc/meminfo: memFree=27901236/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=11328 CPUtime=3.08 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 2153 0 0 0 307 1 0 0 20 0 1 0 286388022 11599872 2074 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 2832 2074 465 1167 0 1613 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 11328

[startup+6.30026 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20587
/proc/meminfo: memFree=27898252/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=15424 CPUtime=6.29 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 2942 0 0 0 625 4 0 0 20 0 1 0 286388022 15794176 2863 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 3856 2863 465 1167 0 2637 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15424

[startup+12.7002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20587
/proc/meminfo: memFree=27892688/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=19520 CPUtime=12.69 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 4202 0 0 0 1261 8 0 0 20 0 1 0 286388022 19988480 4123 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 4880 4123 465 1167 0 3661 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19520

[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 20587
/proc/meminfo: memFree=27884008/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=26688 CPUtime=25.48 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 5994 0 0 0 2533 15 0 0 20 0 1 0 286388022 27328512 5915 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 6672 5915 465 1167 0 5453 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26688

[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 20587
/proc/meminfo: memFree=27879544/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=28736 CPUtime=51.09 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 7530 0 0 0 5081 28 0 0 20 0 1 0 286388022 29425664 6427 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 7184 6427 465 1167 0 5965 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 28736

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20587
/proc/meminfo: memFree=27868136/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=32832 CPUtime=102.28 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 8554 0 0 0 10173 55 0 0 20 0 1 0 286388022 33619968 7451 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 8208 7451 465 1167 0 6989 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 32832

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20587
/proc/meminfo: memFree=27861880/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=30784 CPUtime=162.26 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 11377 0 0 0 16136 90 0 0 20 0 1 0 286388022 31522816 6939 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 7696 6939 465 1167 0 6477 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 30784

[startup+222.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 20591
/proc/meminfo: memFree=27845380/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=35904 CPUtime=222.25 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 12657 0 0 0 22104 121 0 0 20 0 1 0 286388022 36765696 8219 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 8976 8219 465 1167 0 7757 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 35904

[startup+282.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 20614
/proc/meminfo: memFree=27832980/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=41024 CPUtime=282.24 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 13937 0 0 0 28072 152 0 0 20 0 1 0 286388022 42008576 9499 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 10256 9499 465 1167 0 9037 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 41024

[startup+342.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 20614
/proc/meminfo: memFree=27827064/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=42048 CPUtime=342.23 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 14195 0 0 0 34039 184 0 0 20 0 1 0 286388022 43057152 9755 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 10512 9755 465 1167 0 9293 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 42048

[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 20614
/proc/meminfo: memFree=27826072/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=42048 CPUtime=402.22 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 14963 0 0 0 40008 214 0 0 20 0 1 0 286388022 43057152 9755 33554432000 4194304 8973514 140736820422240 140736820421736 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 10512 9755 465 1167 0 9293 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 42048

[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 20614
/proc/meminfo: memFree=27823840/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=45120 CPUtime=462.21 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 15731 0 0 0 45974 247 0 0 20 0 1 0 286388022 46202880 10523 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 11280 10523 465 1167 0 10061 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 45120

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 20614
/proc/meminfo: memFree=27823404/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=45120 CPUtime=522.2 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 15731 0 0 0 51941 279 0 0 20 0 1 0 286388022 46202880 10523 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 11280 10523 465 1167 0 10061 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 45120

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 20615
/proc/meminfo: memFree=27825820/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=44096 CPUtime=582.19 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 17523 0 0 0 57906 313 0 0 20 0 1 0 286388022 45154304 10267 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 11024 10267 465 1167 0 9805 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 44096

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20618
/proc/meminfo: memFree=27797092/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=46144 CPUtime=822.15 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 21365 0 0 0 81771 444 0 0 20 0 1 0 286388022 47251456 10779 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 11536 10779 465 1167 0 10317 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 46144

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20619
/proc/meminfo: memFree=27790060/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=46144 CPUtime=882.14 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 21366 0 0 0 87743 471 0 0 20 0 1 0 286388022 47251456 10779 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 11536 10779 465 1167 0 10317 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 46144

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20619
/proc/meminfo: memFree=27783736/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=46144 CPUtime=942.14 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 21366 0 0 0 93713 501 0 0 20 0 1 0 286388022 47251456 10779 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 11536 10779 465 1167 0 10317 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 46144

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20619
/proc/meminfo: memFree=27777476/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=46144 CPUtime=1002.12 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 22134 0 0 0 99679 533 0 0 20 0 1 0 286388022 47251456 10779 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 11536 10779 465 1167 0 10317 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 46144

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20619
/proc/meminfo: memFree=27767288/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=50240 CPUtime=1062.11 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 23158 0 0 0 105646 565 0 0 20 0 1 0 286388022 51445760 11803 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 12560 11803 465 1167 0 11341 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 50240

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20658
/proc/meminfo: memFree=28041220/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=46144 CPUtime=1122.11 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 23672 0 0 0 111610 601 0 0 20 0 1 0 286388022 47251456 10779 33554432000 4194304 8973514 140736820422240 140736820421504 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 11536 10779 465 1167 0 10317 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 46144

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20659
/proc/meminfo: memFree=28013480/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=46144 CPUtime=1182.09 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 23928 0 0 0 117578 631 0 0 20 0 1 0 286388022 47251456 10779 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 11536 10779 465 1167 0 10317 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 46144

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 20659
/proc/meminfo: memFree=27986420/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=48192 CPUtime=1242.09 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 24440 0 0 0 123542 667 0 0 20 0 1 0 286388022 49348608 11291 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 12048 11291 465 1167 0 10829 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 48192

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20659
/proc/meminfo: memFree=27973328/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=46144 CPUtime=1302.09 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 24440 0 0 0 129511 698 0 0 20 0 1 0 286388022 47251456 10779 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 11536 10779 465 1167 0 10317 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 46144

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20659
/proc/meminfo: memFree=27958120/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=50240 CPUtime=1362.07 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 25464 0 0 0 135476 731 0 0 20 0 1 0 286388022 51445760 11803 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 12560 11803 465 1167 0 11341 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 50240

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20662
/proc/meminfo: memFree=27954636/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=50240 CPUtime=1422.07 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 25465 0 0 0 141444 763 0 0 20 0 1 0 286388022 51445760 11803 33554432000 4194304 8973514 140736820422240 140736820421736 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 12560 11803 465 1167 0 11341 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 50240

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20663
/proc/meminfo: memFree=27952156/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=46144 CPUtime=1482.05 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 26235 0 0 0 147413 792 0 0 20 0 1 0 286388022 47251456 10779 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 11536 10779 465 1167 0 10317 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 46144

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20663
/proc/meminfo: memFree=27920848/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=54336 CPUtime=1542.04 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 28795 0 0 0 153378 826 0 0 20 0 1 0 286388022 55640064 12827 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 13584 12827 465 1167 0 12365 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 54336

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20663
/proc/meminfo: memFree=27923788/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=52288 CPUtime=1602.03 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 29248 0 0 0 159347 856 0 0 20 0 1 0 286388022 53542912 12254 33554432000 4194304 8973514 140736820422240 140736820421736 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 13072 12254 465 1167 0 11853 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 52288

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20663
/proc/meminfo: memFree=27905624/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=50240 CPUtime=1662.02 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 29309 0 0 0 165317 885 0 0 20 0 1 0 286388022 51445760 11803 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 12560 11803 465 1167 0 11341 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 50240

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20663
/proc/meminfo: memFree=27902132/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=50240 CPUtime=1722.01 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 30333 0 0 0 171284 917 0 0 20 0 1 0 286388022 51445760 11803 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 12560 11803 465 1167 0 11341 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 50240

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20664
/proc/meminfo: memFree=27901816/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=50240 CPUtime=1782 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 30335 0 0 0 177252 948 0 0 20 0 1 0 286388022 51445760 11803 33554432000 4194304 8973514 140736820422240 140736820421736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 12560 11803 465 1167 0 11341 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 50240



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.06 2.02 2.00 4/177 20664
/proc/meminfo: memFree=27901940/32873844 swapFree=7620/7620
[pid=20586] ppid=20584 vsize=50240 CPUtime=1800.1 cores=1,3,5,7
/proc/20586/stat : 20586 (toysat) R 20584 20586 20029 0 -1 4202496 30335 0 0 0 179052 958 0 0 20 0 1 0 286388022 51445760 11803 33554432000 4194304 8973514 140736820422240 140736820421504 4415701 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/20586/statm: 12560 11803 465 1167 0 11341 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 50240

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.12
CPU user time (s): 1790.53
CPU system time (s): 9.58954
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 54336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.53
system time used= 9.58954
maximum resident set size= 51308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30335
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24
involuntary context switches= 1851

runsolver used 3.3005 second user time and 9.08362 second system time

The end

Launcher Data 

Begin job on node107 at 2012-05-28 12:56:35
IDJOB=3712384
IDBENCH=79184
IDSOLVER=2291
FILE ID=node107/3712384-1338202595
RUNJOBID= node107-1338193582-20046
PBS_JOBID= 14624587
Free space on /tmp= 71556 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-35-30--soft-0-100-0.wbo
COMMAND LINE= HOME/toysat --wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712384-1338202595/watcher-3712384-1338202595 -o /tmp/evaluation-result-3712384-1338202595/solver-3712384-1338202595 -C 1800 -W 1900 -M 15500  HOME/toysat --wbo HOME/instance-3712384-1338202595.wbo

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

MD5SUM BENCH= 169186b65db4bc0391cc8aa4ed776345
RANDOM SEED=1815200267

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27908824 kB
Buffers:          430880 kB
Cached:          3456156 kB
SwapCached:            0 kB
Active:          1143500 kB
Inactive:        2963188 kB
Active(anon):     222088 kB
Inactive(anon):        0 kB
Active(file):     921412 kB
Inactive(file):  2963188 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7392 kB
Writeback:             0 kB
AnonPages:        228932 kB
Mapped:            16176 kB
Shmem:               200 kB
Slab:             714860 kB
SReclaimable:     157376 kB
SUnreclaim:       557484 kB
KernelStack:        1464 kB
PageTables:         4556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     336756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71548 MiB
End job on node107 at 2012-05-28 13:26:37