Trace number 3705786

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.09 1800.41

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb
MD5SUM63dafaa5a785f38064ac19ced11339d2
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.046992
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables2520
Total number of constraints142
Number of constraints which are clauses72
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint35
Maximum length of a constraint36
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 37
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

Solver Data

0.00/0.03	c 2012-05-27T11:17:54+0200
0.00/0.03	c arch = x86_64
0.00/0.03	c os = linux
0.00/0.03	c compiler = ghc 7.4
0.00/0.03	c packages:
0.00/0.03	c   OptDir-0.0.1
0.00/0.03	c   array-0.4.0.0
0.00/0.03	c   base-4.5.0.0
0.00/0.03	c   bytestring-0.9.2.1
0.00/0.03	c   containers-0.4.2.1
0.00/0.03	c   deepseq-1.3.0.0
0.00/0.03	c   mtl-2.1.1
0.00/0.03	c   old_locale-1.0.0.4
0.00/0.03	c   parse_dimacs-1.2
0.00/0.03	c   parsec-3.1.2
0.00/0.03	c   queue-0.1.2
0.00/0.03	c   stm-2.3
0.00/0.03	c   time-1.4
0.00/0.03	c command line = ["--pb","HOME/instance-3705786-1338110274.opb"]
0.00/0.03	c #vars 2520
0.00/0.03	c #constraints 142
0.00/0.03	c Solving starts ...
0.49/0.57	c learnt constraints deletion: 1315 -> 658
1.69/1.78	c learnt constraints deletion: 2559 -> 1280
3.08/3.12	c learnt constraints deletion: 2947 -> 1482
4.09/4.16	c learnt constraints deletion: 3142 -> 1587
4.79/4.88	c learnt constraints deletion: 2541 -> 1271
7.09/7.11	c learnt constraints deletion: 3327 -> 1671
9.78/9.87	c learnt constraints deletion: 3310 -> 1663
11.57/11.60	c learnt constraints deletion: 3543 -> 1781
13.38/13.42	c learnt constraints deletion: 3529 -> 1779
15.78/15.86	c learnt constraints deletion: 3519 -> 1778
17.58/17.61	c learnt constraints deletion: 2805 -> 1408
19.47/19.50	c learnt constraints deletion: 3762 -> 1909
21.47/21.55	c learnt constraints deletion: 3747 -> 1914
23.27/23.34	c learnt constraints deletion: 3761 -> 1921
25.28/25.31	c learnt constraints deletion: 3752 -> 1916
26.97/27.01	c learnt constraints deletion: 4020 -> 2041
28.77/28.88	c learnt constraints deletion: 3988 -> 2026
31.97/32.06	c learnt constraints deletion: 3994 -> 2051
35.37/35.48	c learnt constraints deletion: 3998 -> 2053
38.47/38.59	c learnt constraints deletion: 4004 -> 2058
42.36/42.46	c learnt constraints deletion: 3965 -> 2038
45.07/45.11	c learnt constraints deletion: 3576 -> 1788
47.96/48.07	c learnt constraints deletion: 4265 -> 2148
50.97/51.03	c learnt constraints deletion: 4277 -> 2177
53.66/53.75	c learnt constraints deletion: 4279 -> 2180
56.76/56.86	c learnt constraints deletion: 4267 -> 2177
59.37/59.48	c learnt constraints deletion: 4275 -> 2179
61.67/61.71	c learnt constraints deletion: 4264 -> 2173
64.16/64.27	c learnt constraints deletion: 4273 -> 2178
66.76/66.83	c learnt constraints deletion: 4280 -> 2180
69.45/69.55	c learnt constraints deletion: 4519 -> 2260
74.66/74.73	c learnt constraints deletion: 5646 -> 2836
81.55/81.67	c learnt constraints deletion: 5679 -> 2852
88.54/88.61	c learnt constraints deletion: 5657 -> 2841
95.45/95.55	c learnt constraints deletion: 5668 -> 2847
102.04/102.13	c learnt constraints deletion: 5672 -> 2849
108.74/108.87	c learnt constraints deletion: 5675 -> 2850
115.45/115.57	c learnt constraints deletion: 5695 -> 2860
122.84/122.98	c learnt constraints deletion: 5672 -> 2850
129.84/129.93	c learnt constraints deletion: 5666 -> 2847
137.63/137.74	c learnt constraints deletion: 6030 -> 3029
140.84/140.97	c learnt constraints deletion: 5289 -> 2649
145.04/145.19	c learnt constraints deletion: 5291 -> 2656
147.83/147.99	c learnt constraints deletion: 5205 -> 2613
151.13/151.26	c learnt constraints deletion: 5235 -> 2629
154.53/154.65	c learnt constraints deletion: 5232 -> 2626
157.53/157.60	c learnt constraints deletion: 5229 -> 2625
160.33/160.49	c learnt constraints deletion: 5244 -> 2633
163.23/163.35	c learnt constraints deletion: 5232 -> 2627
166.23/166.32	c learnt constraints deletion: 5219 -> 2620
169.23/169.34	c learnt constraints deletion: 5233 -> 2627
172.02/172.19	c learnt constraints deletion: 5231 -> 2628
174.93/175.02	c learnt constraints deletion: 5239 -> 2632
177.73/177.82	c learnt constraints deletion: 5243 -> 2636
180.62/180.76	c learnt constraints deletion: 5222 -> 2624
183.53/183.62	c learnt constraints deletion: 5233 -> 2630
186.53/186.64	c learnt constraints deletion: 5231 -> 2630
189.52/189.67	c learnt constraints deletion: 5336 -> 2668
191.44/191.58	c learnt constraints deletion: 5512 -> 2762
194.02/194.13	c learnt constraints deletion: 5495 -> 2755
196.33/196.48	c learnt constraints deletion: 5490 -> 2751
199.13/199.21	c learnt constraints deletion: 5503 -> 2760
201.83/201.99	c learnt constraints deletion: 5462 -> 2738
204.42/204.60	c learnt constraints deletion: 5491 -> 2754
207.02/207.16	c learnt constraints deletion: 5485 -> 2750
209.52/209.65	c learnt constraints deletion: 5504 -> 2759
211.92/212.07	c learnt constraints deletion: 5495 -> 2755
214.53/214.61	c learnt constraints deletion: 5487 -> 2751
216.92/217.03	c learnt constraints deletion: 5495 -> 2757
219.52/219.65	c learnt constraints deletion: 5471 -> 2743
222.02/222.17	c learnt constraints deletion: 5476 -> 2746
225.02/225.11	c learnt constraints deletion: 5488 -> 2753
227.42/227.54	c learnt constraints deletion: 5509 -> 2763
230.12/230.22	c learnt constraints deletion: 5472 -> 2742
233.41/233.51	c learnt constraints deletion: 5468 -> 2742
237.02/237.19	c learnt constraints deletion: 5479 -> 2747
240.32/240.43	c learnt constraints deletion: 5470 -> 2742
243.61/243.73	c learnt constraints deletion: 5472 -> 2744
246.72/246.81	c learnt constraints deletion: 5459 -> 2738
249.62/249.71	c learnt constraints deletion: 5488 -> 2753
252.41/252.50	c learnt constraints deletion: 5474 -> 2744
255.12/255.29	c learnt constraints deletion: 5651 -> 2826
259.21/259.30	c learnt constraints deletion: 6793 -> 3404
263.61/263.72	c learnt constraints deletion: 6790 -> 3402
268.01/268.18	c learnt constraints deletion: 6798 -> 3406
272.01/272.12	c learnt constraints deletion: 6759 -> 3387
275.81/275.99	c learnt constraints deletion: 6766 -> 3390
279.80/279.97	c learnt constraints deletion: 6794 -> 3405
284.21/284.31	c learnt constraints deletion: 6735 -> 3376
290.01/290.17	c learnt constraints deletion: 6779 -> 3398
295.30/295.43	c learnt constraints deletion: 6777 -> 3397
299.71/299.87	c learnt constraints deletion: 6760 -> 3389
304.10/304.28	c learnt constraints deletion: 6767 -> 3391
308.31/308.47	c learnt constraints deletion: 6773 -> 3394
312.61/312.79	c learnt constraints deletion: 6761 -> 3390
317.10/317.28	c learnt constraints deletion: 6761 -> 3389
321.20/321.34	c learnt constraints deletion: 6759 -> 3387
325.61/325.77	c learnt constraints deletion: 6738 -> 3377
330.01/330.17	c learnt constraints deletion: 6763 -> 3390
334.00/334.12	c learnt constraints deletion: 6743 -> 3380
338.10/338.27	c learnt constraints deletion: 6710 -> 3363
342.30/342.47	c learnt constraints deletion: 6729 -> 3374
347.20/347.39	c learnt constraints deletion: 6752 -> 3385
351.79/351.98	c learnt constraints deletion: 6754 -> 3386
357.29/357.45	c learnt constraints deletion: 6722 -> 3370
362.20/362.31	c learnt constraints deletion: 6775 -> 3398
366.20/366.34	c learnt constraints deletion: 6713 -> 3365
370.39/370.57	c learnt constraints deletion: 6745 -> 3381
374.69/374.80	c learnt constraints deletion: 6713 -> 3366
379.29/379.44	c learnt constraints deletion: 6750 -> 3385
384.39/384.53	c learnt constraints deletion: 7196 -> 3607
386.79/386.95	c learnt constraints deletion: 6662 -> 3333
390.08/390.27	c learnt constraints deletion: 6591 -> 3310
393.59/393.73	c learnt constraints deletion: 6598 -> 3313
397.10/397.22	c learnt constraints deletion: 6584 -> 3305
400.48/400.63	c learnt constraints deletion: 6570 -> 3299
404.29/404.44	c learnt constraints deletion: 6570 -> 3299
408.19/408.32	c learnt constraints deletion: 6551 -> 3291
412.09/412.29	c learnt constraints deletion: 6562 -> 3296
416.18/416.32	c learnt constraints deletion: 6581 -> 3306
419.09/419.20	c learnt constraints deletion: 6576 -> 3304
422.99/423.13	c learnt constraints deletion: 6575 -> 3304
426.89/427.04	c learnt constraints deletion: 6569 -> 3302
430.98/431.11	c learnt constraints deletion: 6580 -> 3304
434.29/434.45	c learnt constraints deletion: 6561 -> 3295
437.78/437.98	c learnt constraints deletion: 6569 -> 3300
441.28/441.44	c learnt constraints deletion: 6564 -> 3297
445.49/445.66	c learnt constraints deletion: 6568 -> 3298
448.88/449.05	c learnt constraints deletion: 6566 -> 3298
452.09/452.30	c learnt constraints deletion: 6581 -> 3305
455.58/455.73	c learnt constraints deletion: 6570 -> 3300
458.88/459.07	c learnt constraints deletion: 6563 -> 3296
463.68/463.87	c learnt constraints deletion: 6588 -> 3308
467.28/467.42	c learnt constraints deletion: 6582 -> 3305
471.18/471.30	c learnt constraints deletion: 6577 -> 3304
475.37/475.50	c learnt constraints deletion: 6581 -> 3306
479.18/479.33	c learnt constraints deletion: 6578 -> 3304
483.08/483.26	c learnt constraints deletion: 6561 -> 3298
486.87/487.02	c learnt constraints deletion: 6577 -> 3306
490.48/490.64	c learnt constraints deletion: 6571 -> 3303
494.27/494.41	c learnt constraints deletion: 6577 -> 3308
498.47/498.63	c learnt constraints deletion: 6582 -> 3310
502.58/502.74	c learnt constraints deletion: 6593 -> 3316
506.17/506.35	c learnt constraints deletion: 6560 -> 3297
510.47/510.65	c learnt constraints deletion: 6561 -> 3298
514.68/514.84	c learnt constraints deletion: 6583 -> 3309
518.77/518.93	c learnt constraints deletion: 6575 -> 3305
522.67/522.88	c learnt constraints deletion: 6575 -> 3302
526.27/526.47	c learnt constraints deletion: 6586 -> 3309
530.26/530.40	c learnt constraints deletion: 6590 -> 3310
533.96/534.12	c learnt constraints deletion: 6561 -> 3296
537.77/537.97	c learnt constraints deletion: 6602 -> 3316
541.87/542.00	c learnt constraints deletion: 6554 -> 3295
546.17/546.37	c learnt constraints deletion: 6574 -> 3303
550.47/550.65	c learnt constraints deletion: 6561 -> 3297
554.27/554.42	c learnt constraints deletion: 7086 -> 3558
556.97/557.16	c learnt constraints deletion: 7010 -> 3507
560.56/560.70	c learnt constraints deletion: 7050 -> 3530
564.17/564.36	c learnt constraints deletion: 6981 -> 3496
567.86/568.08	c learnt constraints deletion: 7003 -> 3507
571.36/571.55	c learnt constraints deletion: 6887 -> 3449
574.76/574.98	c learnt constraints deletion: 6861 -> 3436
578.47/578.69	c learnt constraints deletion: 6864 -> 3438
582.36/582.54	c learnt constraints deletion: 6896 -> 3455
586.36/586.59	c learnt constraints deletion: 6858 -> 3436
589.96/590.14	c learnt constraints deletion: 6889 -> 3451
593.36/593.59	c learnt constraints deletion: 6890 -> 3452
597.66/597.87	c learnt constraints deletion: 6877 -> 3444
601.26/601.44	c learnt constraints deletion: 6883 -> 3448
605.05/605.29	c learnt constraints deletion: 6880 -> 3446
608.76/608.90	c learnt constraints deletion: 6904 -> 3457
612.36/612.54	c learnt constraints deletion: 6894 -> 3453
616.05/616.26	c learnt constraints deletion: 6884 -> 3448
619.85/620.08	c learnt constraints deletion: 6860 -> 3435
623.46/623.61	c learnt constraints deletion: 6888 -> 3450
627.15/627.32	c learnt constraints deletion: 6902 -> 3456
630.55/630.71	c learnt constraints deletion: 6909 -> 3460
633.95/634.19	c learnt constraints deletion: 6885 -> 3448
637.86/638.01	c learnt constraints deletion: 6920 -> 3464
641.55/641.78	c learnt constraints deletion: 6910 -> 3460
645.56/645.79	c learnt constraints deletion: 6901 -> 3456
649.75/649.91	c learnt constraints deletion: 6885 -> 3448
653.45/653.66	c learnt constraints deletion: 6887 -> 3450
657.35/657.53	c learnt constraints deletion: 6905 -> 3458
661.64/661.83	c learnt constraints deletion: 6883 -> 3448
665.55/665.77	c learnt constraints deletion: 6891 -> 3452
669.75/669.96	c learnt constraints deletion: 6883 -> 3449
674.15/674.35	c learnt constraints deletion: 6864 -> 3440
679.04/679.24	c learnt constraints deletion: 6880 -> 3449
683.84/684.01	c learnt constraints deletion: 6892 -> 3455
688.34/688.55	c learnt constraints deletion: 6899 -> 3459
692.54/692.70	c learnt constraints deletion: 6894 -> 3456
696.74/696.96	c learnt constraints deletion: 6890 -> 3455
701.34/701.56	c learnt constraints deletion: 6888 -> 3451
705.84/706.00	c learnt constraints deletion: 6892 -> 3456
709.94/710.17	c learnt constraints deletion: 6882 -> 3447
713.84/714.07	c learnt constraints deletion: 6873 -> 3444
717.74/717.98	c learnt constraints deletion: 6878 -> 3446
721.45/721.66	c learnt constraints deletion: 6883 -> 3448
725.74/725.94	c learnt constraints deletion: 6895 -> 3455
730.13/730.32	c learnt constraints deletion: 6885 -> 3450
735.14/735.39	c learnt constraints deletion: 6895 -> 3456
739.74/739.96	c learnt constraints deletion: 6897 -> 3454
743.63/743.89	c learnt constraints deletion: 6849 -> 3431
747.94/748.19	c learnt constraints deletion: 6892 -> 3453
752.44/752.60	c learnt constraints deletion: 6863 -> 3439
756.64/756.87	c learnt constraints deletion: 6847 -> 3430
760.94/761.13	c learnt constraints deletion: 6892 -> 3453
764.83/765.05	c learnt constraints deletion: 6856 -> 3435
768.94/769.15	c learnt constraints deletion: 6883 -> 3449
773.14/773.35	c learnt constraints deletion: 6879 -> 3446
777.23/777.44	c learnt constraints deletion: 6895 -> 3453
781.33/781.50	c learnt constraints deletion: 6852 -> 3431
784.63/784.86	c learnt constraints deletion: 6865 -> 3440
788.83/789.01	c learnt constraints deletion: 6877 -> 3445
792.13/792.36	c learnt constraints deletion: 6873 -> 3443
796.43/796.63	c learnt constraints deletion: 6873 -> 3443
799.73/799.94	c learnt constraints deletion: 6886 -> 3449
803.03/803.25	c learnt constraints deletion: 6816 -> 3414
807.52/807.79	c learnt constraints deletion: 7388 -> 3698
810.23/810.46	c learnt constraints deletion: 6414 -> 3207
815.04/815.20	c learnt constraints deletion: 8256 -> 4142
820.22/820.46	c learnt constraints deletion: 8278 -> 4158
825.32/825.50	c learnt constraints deletion: 8257 -> 4148
830.12/830.31	c learnt constraints deletion: 8265 -> 4153
835.73/835.95	c learnt constraints deletion: 8253 -> 4148
841.43/841.63	c learnt constraints deletion: 8270 -> 4156
847.02/847.23	c learnt constraints deletion: 8244 -> 4142
852.52/852.70	c learnt constraints deletion: 8284 -> 4162
857.83/858.03	c learnt constraints deletion: 8269 -> 4155
863.01/863.25	c learnt constraints deletion: 8246 -> 4144
868.21/868.49	c learnt constraints deletion: 8267 -> 4155
873.41/873.66	c learnt constraints deletion: 8270 -> 4156
878.82/879.03	c learnt constraints deletion: 8281 -> 4161
884.32/884.53	c learnt constraints deletion: 8273 -> 4158
889.51/889.75	c learnt constraints deletion: 8247 -> 4145
895.21/895.42	c learnt constraints deletion: 8280 -> 4160
900.81/901.05	c learnt constraints deletion: 8283 -> 4163
905.60/905.84	c learnt constraints deletion: 8269 -> 4157
910.71/910.90	c learnt constraints deletion: 8268 -> 4155
916.01/916.26	c learnt constraints deletion: 8285 -> 4164
921.61/921.88	c learnt constraints deletion: 8264 -> 4153
929.60/929.85	c learnt constraints deletion: 8250 -> 4146
941.41/941.61	c learnt constraints deletion: 8246 -> 4148
954.10/954.34	c learnt constraints deletion: 8235 -> 4139
961.80/962.04	c learnt constraints deletion: 8265 -> 4153
968.30/968.51	c learnt constraints deletion: 8261 -> 4151
973.40/973.68	c learnt constraints deletion: 8257 -> 4150
978.60/978.82	c learnt constraints deletion: 8254 -> 4150
983.79/984.00	c learnt constraints deletion: 8281 -> 4165
989.10/989.33	c learnt constraints deletion: 8257 -> 4155
994.59/994.81	c learnt constraints deletion: 8253 -> 4151
999.99/1000.28	c learnt constraints deletion: 8278 -> 4158
1005.40/1005.64	c learnt constraints deletion: 8260 -> 4152
1010.70/1010.97	c learnt constraints deletion: 8285 -> 4163
1016.20/1016.45	c learnt constraints deletion: 8275 -> 4158
1021.59/1021.88	c learnt constraints deletion: 8286 -> 4163
1027.09/1027.32	c learnt constraints deletion: 8279 -> 4160
1032.19/1032.42	c learnt constraints deletion: 8273 -> 4158
1037.79/1038.07	c learnt constraints deletion: 8284 -> 4161
1042.79/1043.01	c learnt constraints deletion: 8264 -> 4152
1047.99/1048.28	c learnt constraints deletion: 8250 -> 4145
1053.28/1053.52	c learnt constraints deletion: 8218 -> 4129
1059.09/1059.39	c learnt constraints deletion: 8273 -> 4157
1064.69/1064.96	c learnt constraints deletion: 8270 -> 4155
1070.19/1070.47	c learnt constraints deletion: 8267 -> 4153
1075.59/1075.84	c learnt constraints deletion: 8241 -> 4141
1081.19/1081.45	c learnt constraints deletion: 8252 -> 4146
1086.48/1086.79	c learnt constraints deletion: 8277 -> 4159
1092.38/1092.64	c learnt constraints deletion: 8253 -> 4147
1097.88/1098.15	c learnt constraints deletion: 8240 -> 4140
1103.38/1103.60	c learnt constraints deletion: 8282 -> 4160
1108.68/1108.95	c learnt constraints deletion: 8236 -> 4138
1114.27/1114.55	c learnt constraints deletion: 8275 -> 4158
1119.68/1119.97	c learnt constraints deletion: 8255 -> 4148
1125.47/1125.76	c learnt constraints deletion: 8283 -> 4163
1131.37/1131.61	c learnt constraints deletion: 8274 -> 4159
1136.77/1137.05	c learnt constraints deletion: 8250 -> 4144
1142.27/1142.56	c learnt constraints deletion: 8267 -> 4155
1147.97/1148.21	c learnt constraints deletion: 8237 -> 4139
1154.07/1154.38	c learnt constraints deletion: 8244 -> 4142
1159.07/1159.35	c learnt constraints deletion: 8262 -> 4150
1164.27/1164.53	c learnt constraints deletion: 8228 -> 4135
1169.96/1170.29	c learnt constraints deletion: 8266 -> 4153
1175.56/1175.81	c learnt constraints deletion: 8248 -> 4144
1180.67/1180.90	c learnt constraints deletion: 8248 -> 4144
1185.86/1186.19	c learnt constraints deletion: 8254 -> 4147
1191.26/1191.50	c learnt constraints deletion: 8239 -> 4140
1196.36/1196.67	c learnt constraints deletion: 8225 -> 4133
1201.86/1202.11	c learnt constraints deletion: 8225 -> 4134
1206.96/1207.20	c learnt constraints deletion: 8217 -> 4130
1212.66/1212.95	c learnt constraints deletion: 8241 -> 4142
1217.36/1217.63	c learnt constraints deletion: 8251 -> 4146
1222.26/1222.56	c learnt constraints deletion: 8248 -> 4144
1227.05/1227.36	c learnt constraints deletion: 8253 -> 4148
1232.76/1233.03	c learnt constraints deletion: 8215 -> 4131
1238.26/1238.57	c learnt constraints deletion: 8255 -> 4149
1243.25/1243.50	c learnt constraints deletion: 8250 -> 4147
1248.26/1248.58	c learnt constraints deletion: 8238 -> 4140
1253.55/1253.87	c learnt constraints deletion: 8219 -> 4133
1259.85/1260.15	c learnt constraints deletion: 8843 -> 4443
1263.95/1264.26	c learnt constraints deletion: 7782 -> 3891
1268.55/1268.84	c learnt constraints deletion: 8565 -> 4288
1273.25/1273.56	c learnt constraints deletion: 8500 -> 4258
1278.35/1278.67	c learnt constraints deletion: 8505 -> 4261
1283.65/1283.98	c learnt constraints deletion: 8500 -> 4259
1289.14/1289.42	c learnt constraints deletion: 8493 -> 4257
1294.45/1294.79	c learnt constraints deletion: 8514 -> 4266
1299.35/1299.69	c learnt constraints deletion: 8499 -> 4261
1304.15/1304.48	c learnt constraints deletion: 8506 -> 4265
1309.25/1309.57	c learnt constraints deletion: 8522 -> 4271
1314.45/1314.72	c learnt constraints deletion: 8514 -> 4267
1320.05/1320.37	c learnt constraints deletion: 8518 -> 4272
1325.54/1325.87	c learnt constraints deletion: 8517 -> 4272
1330.75/1331.03	c learnt constraints deletion: 8505 -> 4265
1336.44/1336.70	c learnt constraints deletion: 8512 -> 4267
1341.85/1342.18	c learnt constraints deletion: 8484 -> 4253
1347.35/1347.61	c learnt constraints deletion: 8497 -> 4259
1352.14/1352.40	c learnt constraints deletion: 8505 -> 4264
1356.94/1357.24	c learnt constraints deletion: 8498 -> 4260
1362.04/1362.34	c learnt constraints deletion: 8493 -> 4257
1367.24/1367.52	c learnt constraints deletion: 8480 -> 4250
1373.14/1373.42	c learnt constraints deletion: 8473 -> 4245
1377.84/1378.11	c learnt constraints deletion: 8503 -> 4261
1383.54/1383.87	c learnt constraints deletion: 8500 -> 4260
1389.03/1389.35	c learnt constraints deletion: 8482 -> 4252
1395.33/1395.60	c learnt constraints deletion: 8486 -> 4257
1401.53/1401.84	c learnt constraints deletion: 8487 -> 4255
1407.43/1407.72	c learnt constraints deletion: 8454 -> 4238
1413.34/1413.61	c learnt constraints deletion: 8497 -> 4260
1419.63/1419.92	c learnt constraints deletion: 8482 -> 4251
1425.53/1425.83	c learnt constraints deletion: 8516 -> 4269
1432.13/1432.43	c learnt constraints deletion: 8513 -> 4266
1437.72/1438.03	c learnt constraints deletion: 8495 -> 4258
1443.03/1443.34	c learnt constraints deletion: 8503 -> 4263
1448.43/1448.80	c learnt constraints deletion: 8487 -> 4255
1454.12/1454.45	c learnt constraints deletion: 8510 -> 4265
1459.83/1460.12	c learnt constraints deletion: 8504 -> 4262
1466.33/1466.63	c learnt constraints deletion: 8489 -> 4254
1471.42/1471.79	c learnt constraints deletion: 8501 -> 4262
1476.92/1477.21	c learnt constraints deletion: 8495 -> 4259
1482.63/1482.94	c learnt constraints deletion: 8470 -> 4245
1487.51/1487.85	c learnt constraints deletion: 8489 -> 4255
1492.92/1493.29	c learnt constraints deletion: 8515 -> 4268
1498.42/1498.76	c learnt constraints deletion: 8496 -> 4260
1504.52/1504.83	c learnt constraints deletion: 8474 -> 4248
1510.02/1510.34	c learnt constraints deletion: 8467 -> 4245
1515.91/1516.22	c learnt constraints deletion: 8500 -> 4261
1522.01/1522.33	c learnt constraints deletion: 8482 -> 4252
1527.72/1528.01	c learnt constraints deletion: 8490 -> 4255
1533.41/1533.78	c learnt constraints deletion: 8485 -> 4252
1539.11/1539.46	c learnt constraints deletion: 8494 -> 4259
1545.22/1545.59	c learnt constraints deletion: 8474 -> 4247
1551.21/1551.50	c learnt constraints deletion: 8483 -> 4253
1556.81/1557.18	c learnt constraints deletion: 8488 -> 4253
1562.60/1562.93	c learnt constraints deletion: 8489 -> 4255
1568.41/1568.75	c learnt constraints deletion: 8489 -> 4255
1574.10/1574.42	c learnt constraints deletion: 8495 -> 4258
1579.80/1580.12	c learnt constraints deletion: 8485 -> 4253
1585.70/1586.02	c learnt constraints deletion: 8501 -> 4262
1591.60/1591.95	c learnt constraints deletion: 8484 -> 4252
1597.60/1597.94	c learnt constraints deletion: 8497 -> 4259
1603.70/1604.02	c learnt constraints deletion: 8491 -> 4256
1609.60/1609.97	c learnt constraints deletion: 8473 -> 4247
1615.10/1615.46	c learnt constraints deletion: 8515 -> 4268
1621.50/1621.86	c learnt constraints deletion: 8492 -> 4256
1627.39/1627.70	c learnt constraints deletion: 8490 -> 4255
1633.30/1633.63	c learnt constraints deletion: 8493 -> 4259
1639.49/1639.82	c learnt constraints deletion: 8487 -> 4256
1645.69/1646.06	c learnt constraints deletion: 8513 -> 4268
1651.69/1652.01	c learnt constraints deletion: 8487 -> 4255
1657.69/1658.06	c learnt constraints deletion: 8494 -> 4259
1663.39/1663.79	c learnt constraints deletion: 8495 -> 4260
1670.09/1670.41	c learnt constraints deletion: 8493 -> 4259
1675.99/1676.34	c learnt constraints deletion: 8505 -> 4264
1681.60/1681.96	c learnt constraints deletion: 8495 -> 4262
1687.19/1687.52	c learnt constraints deletion: 8486 -> 4252
1693.79/1694.11	c learnt constraints deletion: 8451 -> 4235
1700.18/1700.50	c learnt constraints deletion: 8467 -> 4243
1707.08/1707.47	c learnt constraints deletion: 8452 -> 4235
1713.38/1713.76	c learnt constraints deletion: 8465 -> 4242
1720.58/1720.91	c learnt constraints deletion: 8451 -> 4235
1728.78/1729.16	c learnt constraints deletion: 8473 -> 4247
1736.08/1736.41	c learnt constraints deletion: 8450 -> 4235
1742.28/1742.65	c learnt constraints deletion: 8471 -> 4245
1748.78/1749.18	c learnt constraints deletion: 8451 -> 4235
1755.78/1756.18	c learnt constraints deletion: 8458 -> 4240
1763.09/1763.41	c learnt constraints deletion: 8458 -> 4238
1769.08/1769.46	c learnt constraints deletion: 8449 -> 4236
1774.27/1774.61	c learnt constraints deletion: 8456 -> 4239
1779.27/1779.67	c learnt constraints deletion: 8439 -> 4230
1784.77/1785.13	c learnt constraints deletion: 8467 -> 4243
1789.87/1790.23	c learnt constraints deletion: 8454 -> 4239
1794.88/1795.26	c learnt constraints deletion: 8457 -> 4239

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-3705786-1338110274/watcher-3705786-1338110274 -o /tmp/evaluation-result-3705786-1338110274/solver-3705786-1338110274 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3705786-1338110274.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.94 1.99 1.93 3/176 9231
/proc/meminfo: memFree=28453184/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 816 0 0 0 0 0 0 0 20 0 1 0 277155917 6356992 737 33554432000 4194304 8973514 140737485181888 140734912585864 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/9231/statm: 1552 737 415 1167 0 333 0

[startup+0.076167 s]
/proc/loadavg: 1.94 1.99 1.93 3/176 9231
/proc/meminfo: memFree=28453184/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=9280 CPUtime=0.07 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 1375 0 0 0 7 0 0 0 20 0 1 0 277155917 9502720 1296 33554432000 4194304 8973514 140737485181888 140734912585864 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/9231/statm: 2320 1296 442 1167 0 1101 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9280

[startup+0.100219 s]
/proc/loadavg: 1.94 1.99 1.93 3/176 9231
/proc/meminfo: memFree=28453184/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=10304 CPUtime=0.09 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 1659 0 0 0 9 0 0 0 20 0 1 0 277155917 10551296 1580 33554432000 4194304 8973514 140737485181888 140734912585864 7692522 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/9231/statm: 2576 1580 442 1167 0 1357 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10304

[startup+0.31796 s]
/proc/loadavg: 1.94 1.99 1.93 3/176 9231
/proc/meminfo: memFree=28453184/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=12352 CPUtime=0.3 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 2185 0 0 0 30 0 0 0 20 0 1 0 277155917 12648448 2106 33554432000 4194304 8973514 140737485181888 140737485180992 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 3088 2106 442 1167 0 1869 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 12352

[startup+0.700272 s]
/proc/loadavg: 1.94 1.99 1.93 3/176 9231
/proc/meminfo: memFree=28453184/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=14400 CPUtime=0.69 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 2900 0 0 0 69 0 0 0 20 0 1 0 277155917 14745600 2821 33554432000 4194304 8973514 140737485181888 140737485181384 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 3600 2821 443 1167 0 2381 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14400

[startup+1.50028 s]
/proc/loadavg: 1.94 1.99 1.93 3/177 9232
/proc/meminfo: memFree=28431608/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=21568 CPUtime=1.49 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 4490 0 0 0 148 1 0 0 20 0 1 0 277155917 22085632 4411 33554432000 4194304 8973514 140737485181888 140737485181384 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 5392 4411 443 1167 0 4173 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21568

[startup+3.10028 s]
/proc/loadavg: 1.94 1.99 1.93 3/172 9299
/proc/meminfo: memFree=28442504/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=28736 CPUtime=3.08 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 6484 0 0 0 306 2 0 0 20 0 1 0 277155917 29425664 6405 33554432000 4194304 8973514 140737485181888 140737485181384 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 7184 6405 443 1167 0 5965 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 28736

[startup+6.30028 s]
/proc/loadavg: 1.95 1.99 1.93 3/177 9346
/proc/meminfo: memFree=28406572/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=33856 CPUtime=6.29 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 7764 0 0 0 624 5 0 0 20 0 1 0 277155917 34668544 7685 33554432000 4194304 8973514 140737485181888 140737485181384 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 8464 7685 443 1167 0 7245 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33856

[startup+12.7003 s]
/proc/loadavg: 1.95 1.99 1.93 3/177 9422
/proc/meminfo: memFree=28417564/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=45120 CPUtime=12.67 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 10542 0 0 0 1259 8 0 0 20 0 1 0 277155917 46202880 10460 33554432000 4194304 8973514 140737485181888 140737485181152 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 11280 10460 443 1167 0 10061 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 45120

[startup+25.5004 s]
/proc/loadavg: 1.96 1.99 1.93 3/177 9422
/proc/meminfo: memFree=28409912/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=50240 CPUtime=25.47 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 11876 0 0 0 2531 16 0 0 20 0 1 0 277155917 51445760 11786 33554432000 4194304 8973514 140737485181888 140737485181384 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 12560 11786 443 1167 0 11341 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 50240

[startup+51.1003 s]
/proc/loadavg: 1.97 1.99 1.93 3/177 9422
/proc/meminfo: memFree=28389264/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=72768 CPUtime=51.07 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 18537 0 0 0 5079 28 0 0 20 0 1 0 277155917 74514432 17418 33554432000 4194304 8973514 140737485181888 140737485181384 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 18192 17418 443 1167 0 16973 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 72768

[startup+102.3 s]
/proc/loadavg: 1.99 1.99 1.93 3/177 9422
/proc/meminfo: memFree=28344748/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=114752 CPUtime=102.24 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 29060 0 0 0 10177 47 0 0 20 0 1 0 277155917 117506048 27914 33554432000 4194304 8973514 140737485181888 140737485181384 7716397 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 28688 27914 443 1167 0 27469 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 114752

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.93 3/178 9425
/proc/meminfo: memFree=28342812/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=115776 CPUtime=162.23 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 31877 0 0 0 16151 72 0 0 20 0 1 0 277155917 118554624 28170 33554432000 4194304 8973514 140737485181888 140737485181384 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 28944 28170 443 1167 0 27725 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 115776

[startup+222.307 s]
/proc/loadavg: 1.99 1.99 1.93 3/177 9425
/proc/meminfo: memFree=28341504/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=115776 CPUtime=222.22 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 31878 0 0 0 22120 102 0 0 20 0 1 0 277155917 118554624 28170 33554432000 4194304 8973514 140737485181888 140737485181384 7937344 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 28944 28170 443 1167 0 27725 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 115776

[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.93 3/177 9426
/proc/meminfo: memFree=28320232/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=138304 CPUtime=282.21 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 37513 0 0 0 28093 128 0 0 20 0 1 0 277155917 141623296 33802 33554432000 4194304 8973514 140737485181888 140737485181152 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 34576 33802 443 1167 0 33357 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 138304

[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.93 3/177 9426
/proc/meminfo: memFree=28306828/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=151616 CPUtime=342.2 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 40842 0 0 0 34066 154 0 0 20 0 1 0 277155917 155254784 37130 33554432000 4194304 8973514 140737485181888 140737485181384 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 37904 37130 443 1167 0 36685 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 151616

[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.93 3/177 9426
/proc/meminfo: memFree=28306936/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=151616 CPUtime=402.19 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 40846 0 0 0 40040 179 0 0 20 0 1 0 277155917 155254784 37130 33554432000 4194304 8973514 140737485181888 140737485181384 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 37904 37130 443 1167 0 36685 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 151616

[startup+462.3 s]
/proc/loadavg: 1.99 1.99 1.93 3/177 9426
/proc/meminfo: memFree=28306688/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=151616 CPUtime=462.18 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 40846 0 0 0 46015 203 0 0 20 0 1 0 277155917 155254784 37130 33554432000 4194304 8973514 140737485181888 140737485181152 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 37904 37130 443 1167 0 36685 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 151616

[startup+522.3 s]
/proc/loadavg: 1.99 1.99 1.93 3/177 9426
/proc/meminfo: memFree=28303588/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=151616 CPUtime=522.17 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 40846 0 0 0 51991 226 0 0 20 0 1 0 277155917 155254784 37130 33554432000 4194304 8973514 140737485181888 140737485181384 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 37904 37130 443 1167 0 36685 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 151616

[startup+582.3 s]
/proc/loadavg: 1.99 1.99 1.93 3/177 9427
/proc/meminfo: memFree=28303276/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=151616 CPUtime=582.16 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 40846 0 0 0 57962 254 0 0 20 0 1 0 277155917 155254784 37130 33554432000 4194304 8973514 140737485181888 140737485181384 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 37904 37130 443 1167 0 36685 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 151616

[startup+642.3 s]

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

[startup+882.307 s]
/proc/loadavg: 2.07 2.02 1.94 3/177 9431
/proc/meminfo: memFree=28262700/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=190528 CPUtime=882.12 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 50577 0 0 0 87828 384 0 0 20 0 1 0 277155917 195100672 46858 33554432000 4194304 8973514 140737485181888 140737485181384 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 47632 46858 443 1167 0 46413 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 190528

[startup+942.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/177 9431
/proc/meminfo: memFree=28259848/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=193600 CPUtime=942.1 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 51345 0 0 0 93805 405 0 0 20 0 1 0 277155917 198246400 47626 33554432000 4194304 8973514 140737485181888 140737485181152 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 48400 47626 443 1167 0 47181 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 193600

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 9431
/proc/meminfo: memFree=28259836/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=193600 CPUtime=1002.09 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 51348 0 0 0 99783 426 0 0 20 0 1 0 277155917 198246400 47626 33554432000 4194304 8973514 140737485181888 140737485181384 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 48400 47626 443 1167 0 47181 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 193600

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9432
/proc/meminfo: memFree=28259828/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=193600 CPUtime=1062.09 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 51348 0 0 0 105758 451 0 0 20 0 1 0 277155917 198246400 47626 33554432000 4194304 8973514 140737485181888 140737485181384 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 48400 47626 443 1167 0 47181 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 193600

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 9432
/proc/meminfo: memFree=28259960/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=193600 CPUtime=1122.07 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 51348 0 0 0 111733 474 0 0 20 0 1 0 277155917 198246400 47626 33554432000 4194304 8973514 140737485181888 140737485181384 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 48400 47626 443 1167 0 47181 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 193600

[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 1.95 3/177 9433
/proc/meminfo: memFree=28259836/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=193600 CPUtime=1182.07 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 51348 0 0 0 117707 500 0 0 20 0 1 0 277155917 198246400 47626 33554432000 4194304 8973514 140737485181888 140737485181384 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 48400 47626 443 1167 0 47181 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 193600

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/177 9433
/proc/meminfo: memFree=28257108/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=195648 CPUtime=1242.06 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 51860 0 0 0 123679 527 0 0 20 0 1 0 277155917 200343552 48138 33554432000 4194304 8973514 140737485181888 140737485181384 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 48912 48138 443 1167 0 47693 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 195648

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 9433
/proc/meminfo: memFree=28256984/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=195648 CPUtime=1302.05 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 51860 0 0 0 129651 554 0 0 20 0 1 0 277155917 200343552 48138 33554432000 4194304 8973514 140737485181888 140737485181384 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 48912 48138 443 1167 0 47693 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 195648

[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 1.96 3/178 9436
/proc/meminfo: memFree=28256664/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=195648 CPUtime=1362.04 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 51860 0 0 0 135626 578 0 0 20 0 1 0 277155917 200343552 48138 33554432000 4194304 8973514 140737485181888 140737485181384 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 48912 48138 443 1167 0 47693 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 195648

[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/177 9436
/proc/meminfo: memFree=28257168/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=195648 CPUtime=1422.04 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 51860 0 0 0 141600 604 0 0 20 0 1 0 277155917 200343552 48138 33554432000 4194304 8973514 140737485181888 140737485181384 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 48912 48138 443 1167 0 47693 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 195648

[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/177 9437
/proc/meminfo: memFree=28257168/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=195648 CPUtime=1482.02 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 51860 0 0 0 147573 629 0 0 20 0 1 0 277155917 200343552 48138 33554432000 4194304 8973514 140737485181888 140737485179904 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 48912 48138 443 1167 0 47693 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 195648

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 9437
/proc/meminfo: memFree=28257168/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=195648 CPUtime=1542.01 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 51860 0 0 0 153548 653 0 0 20 0 1 0 277155917 200343552 48138 33554432000 4194304 8973514 140737485181888 140737485181384 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 48912 48138 443 1167 0 47693 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 195648

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 9437
/proc/meminfo: memFree=28257292/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=195648 CPUtime=1602 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 51860 0 0 0 159519 681 0 0 20 0 1 0 277155917 200343552 48138 33554432000 4194304 8973514 140737485181888 140737485181152 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 48912 48138 443 1167 0 47693 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 195648

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 9437
/proc/meminfo: memFree=28257416/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=195648 CPUtime=1661.99 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 51860 0 0 0 165492 707 0 0 20 0 1 0 277155917 200343552 48138 33554432000 4194304 8973514 140737485181888 140737485181384 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 48912 48138 443 1167 0 47693 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 195648

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 9437
/proc/meminfo: memFree=28256112/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=196672 CPUtime=1721.98 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 52116 0 0 0 171467 731 0 0 20 0 1 0 277155917 201392128 48394 33554432000 4194304 8973514 140737485181888 140737485181384 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 49168 48394 443 1167 0 47949 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 196672

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 9438
/proc/meminfo: memFree=28254748/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=196672 CPUtime=1781.97 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 52116 0 0 0 177441 756 0 0 20 0 1 0 277155917 201392128 48394 33554432000 4194304 8973514 140737485181888 140737485181384 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 49168 48394 443 1167 0 47949 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 196672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 9438
/proc/meminfo: memFree=28254872/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=196672 CPUtime=1800.08 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 52116 0 0 0 179243 765 0 0 20 0 1 0 277155917 201392128 48394 33554432000 4194304 8973514 140737485181888 140737485181152 4424580 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 49168 48394 443 1167 0 47949 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 196672

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

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

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 9438
/proc/meminfo: memFree=28254872/32873844 swapFree=7620/7620
[pid=9231] ppid=9229 vsize=196672 CPUtime=1800.08 cores=0,2,4,6
/proc/9231/stat : 9231 (toysat) R 9229 9231 6880 0 -1 4202496 52116 0 0 0 179243 765 0 0 20 0 1 0 277155917 201392128 48394 33554432000 4194304 8973514 140737485181888 140737485181152 4424580 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/9231/statm: 49168 48394 443 1167 0 47949 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 196672

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1792.43
CPU system time (s): 7.65484
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 196672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.43
system time used= 7.65484
maximum resident set size= 193576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52116
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= 67
involuntary context switches= 1978

runsolver used 3.15952 second user time and 9.24459 second system time

The end

Launcher Data

Begin job on node107 at 2012-05-27 11:17:54
IDJOB=3705786
IDBENCH=1426
IDSOLVER=2285
FILE ID=node107/3705786-1338110274
RUNJOBID= node107-1338108466-8896
PBS_JOBID= 14624432
Free space on /tmp= 71580 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705786-1338110274/watcher-3705786-1338110274 -o /tmp/evaluation-result-3705786-1338110274/solver-3705786-1338110274 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3705786-1338110274.opb

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

MD5SUM BENCH= 63dafaa5a785f38064ac19ced11339d2
RANDOM SEED=1350948408

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:        28453796 kB
Buffers:          294576 kB
Cached:          3315968 kB
SwapCached:            0 kB
Active:           751532 kB
Inactive:        2878228 kB
Active(anon):      22220 kB
Inactive(anon):        0 kB
Active(file):     729312 kB
Inactive(file):  2878228 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14548 kB
Writeback:             0 kB
AnonPages:         27112 kB
Mapped:            15828 kB
Shmem:               200 kB
Slab:             650428 kB
SReclaimable:      92464 kB
SUnreclaim:       557964 kB
KernelStack:        1456 kB
PageTables:         4012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     134124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71572 MiB
End job on node107 at 2012-05-27 11:47:56