Trace number 3711989

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-66-100-0.wbo
MD5SUMea89038de81a2a24e795de2249a907ab
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard 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.628903
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1860
Total number of constraints122
Number of soft constraints42
Number of constraints which are clauses62
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint31
Top cost 2134
Min constraint cost 1
Max constraint cost 96
Sum of constraints costs 2133
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 32
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.02	c 2012-05-28T05:40:50+0200
0.00/0.02	c arch = x86_64
0.00/0.02	c os = linux
0.00/0.02	c compiler = ghc 7.4
0.00/0.02	c packages:
0.00/0.02	c   OptDir-0.0.1
0.00/0.02	c   array-0.4.0.0
0.00/0.02	c   base-4.5.0.0
0.00/0.02	c   bytestring-0.9.2.1
0.00/0.02	c   containers-0.4.2.1
0.00/0.02	c   deepseq-1.3.0.0
0.00/0.02	c   mtl-2.1.1
0.00/0.02	c   old_locale-1.0.0.4
0.00/0.02	c   parse_dimacs-1.2
0.00/0.02	c   parsec-3.1.2
0.00/0.02	c   queue-0.1.2
0.00/0.02	c   stm-2.3
0.00/0.02	c   time-1.4
0.00/0.02	c command line = ["--wbo","HOME/instance-3711989-1338176450.wbo"]
0.00/0.02	c #vars 1860
0.00/0.02	c #constraints 122
0.00/0.02	c Solving starts ...
0.88/0.96	c solving time = 0.940s
0.88/0.96	c #decision = 4420
0.88/0.96	c #conflict = 817
0.88/0.96	c #restart = 4
0.88/0.96	o 35
0.88/0.96	c Solving starts ...
0.88/0.96	c learnt constraints deletion: 813 -> 407
0.99/1.06	c solving time = 0.102s
0.99/1.06	c #decision = 6598
0.99/1.06	c #conflict = 918
0.99/1.06	c #restart = 5
0.99/1.06	o 11
0.99/1.06	c Solving starts ...
0.99/1.09	c solving time = 0.025s
0.99/1.09	c #decision = 7650
0.99/1.09	c #conflict = 948
0.99/1.09	c #restart = 5
0.99/1.09	o 8
0.99/1.09	c Solving starts ...
1.10/1.12	c solving time = 0.027s
1.10/1.12	c #decision = 8703
1.10/1.12	c #conflict = 979
1.10/1.12	c #restart = 5
1.10/1.12	o 3
1.10/1.12	c Solving starts ...
1.29/1.37	c learnt constraints deletion: 816 -> 408
2.09/2.11	c learnt constraints deletion: 969 -> 485
3.68/3.76	c learnt constraints deletion: 1751 -> 876
5.69/5.78	c learnt constraints deletion: 2017 -> 1009
8.58/8.63	c learnt constraints deletion: 2253 -> 1138
9.48/9.56	c learnt constraints deletion: 1606 -> 803
11.38/11.46	c learnt constraints deletion: 2383 -> 1211
12.78/12.84	c learnt constraints deletion: 2200 -> 1100
14.88/14.96	c learnt constraints deletion: 2541 -> 1284
16.88/16.97	c learnt constraints deletion: 2516 -> 1274
18.78/18.83	c learnt constraints deletion: 2455 -> 1228
23.88/23.93	c learnt constraints deletion: 3629 -> 1834
28.37/28.48	c learnt constraints deletion: 3621 -> 1832
31.78/31.84	c learnt constraints deletion: 3426 -> 1713
33.97/34.10	c learnt constraints deletion: 3778 -> 1901
36.77/36.88	c learnt constraints deletion: 3770 -> 1900
39.58/39.64	c learnt constraints deletion: 3759 -> 1895
42.07/42.15	c learnt constraints deletion: 3770 -> 1899
43.57/43.67	c learnt constraints deletion: 2905 -> 1453
45.97/46.04	c learnt constraints deletion: 3547 -> 1779
47.57/47.64	c learnt constraints deletion: 3077 -> 1547
49.77/49.89	c learnt constraints deletion: 3069 -> 1555
52.07/52.16	c learnt constraints deletion: 3078 -> 1559
54.27/54.39	c learnt constraints deletion: 3078 -> 1559
56.27/56.39	c learnt constraints deletion: 3074 -> 1556
58.47/58.53	c learnt constraints deletion: 3071 -> 1554
60.57/60.62	c learnt constraints deletion: 3069 -> 1555
62.86/62.97	c learnt constraints deletion: 3280 -> 1660
65.27/65.31	c learnt constraints deletion: 3269 -> 1662
67.67/67.73	c learnt constraints deletion: 3278 -> 1669
70.17/70.25	c learnt constraints deletion: 3280 -> 1669
72.76/72.83	c learnt constraints deletion: 3286 -> 1674
75.16/75.27	c learnt constraints deletion: 3273 -> 1667
77.66/77.76	c learnt constraints deletion: 3274 -> 1666
80.17/80.28	c learnt constraints deletion: 3279 -> 1669
82.66/82.70	c learnt constraints deletion: 3276 -> 1667
84.96/85.06	c learnt constraints deletion: 3282 -> 1673
87.56/87.67	c learnt constraints deletion: 3282 -> 1672
90.16/90.25	c learnt constraints deletion: 3271 -> 1664
92.56/92.62	c learnt constraints deletion: 3602 -> 1803
94.66/94.71	c learnt constraints deletion: 3559 -> 1783
96.96/97.07	c learnt constraints deletion: 3563 -> 1787
99.26/99.36	c learnt constraints deletion: 3588 -> 1800
101.56/101.67	c learnt constraints deletion: 3587 -> 1798
103.96/104.03	c learnt constraints deletion: 3570 -> 1791
106.56/106.65	c learnt constraints deletion: 3551 -> 1780
109.06/109.19	c learnt constraints deletion: 3569 -> 1789
111.26/111.39	c learnt constraints deletion: 3562 -> 1786
113.76/113.83	c learnt constraints deletion: 3574 -> 1791
116.05/116.15	c learnt constraints deletion: 3557 -> 1786
118.66/118.77	c learnt constraints deletion: 3580 -> 1795
121.06/121.15	c learnt constraints deletion: 3569 -> 1790
123.76/123.85	c learnt constraints deletion: 3563 -> 1786
126.16/126.29	c learnt constraints deletion: 3559 -> 1785
128.56/128.66	c learnt constraints deletion: 3542 -> 1776
130.45/130.58	c learnt constraints deletion: 3077 -> 1539
133.86/133.93	c learnt constraints deletion: 4624 -> 2320
136.65/136.74	c learnt constraints deletion: 4570 -> 2298
139.36/139.50	c learnt constraints deletion: 4577 -> 2302
142.15/142.29	c learnt constraints deletion: 4557 -> 2293
144.95/145.01	c learnt constraints deletion: 4556 -> 2292
147.65/147.76	c learnt constraints deletion: 4542 -> 2284
150.25/150.39	c learnt constraints deletion: 4540 -> 2284
153.35/153.46	c learnt constraints deletion: 4493 -> 2262
156.65/156.79	c learnt constraints deletion: 4492 -> 2260
159.85/159.94	c learnt constraints deletion: 4476 -> 2252
162.76/162.84	c learnt constraints deletion: 4435 -> 2231
165.35/165.40	c learnt constraints deletion: 4480 -> 2254
168.05/168.15	c learnt constraints deletion: 4476 -> 2252
170.95/171.09	c learnt constraints deletion: 4474 -> 2252
173.65/173.78	c learnt constraints deletion: 4477 -> 2253
176.55/176.69	c learnt constraints deletion: 4420 -> 2223
178.95/179.05	c learnt constraints deletion: 4309 -> 2169
181.45/181.54	c learnt constraints deletion: 4318 -> 2173
184.05/184.18	c learnt constraints deletion: 4308 -> 2167
186.25/186.35	c learnt constraints deletion: 4224 -> 2115
188.84/188.92	c learnt constraints deletion: 4176 -> 2094
191.55/191.65	c learnt constraints deletion: 4161 -> 2092
194.44/194.53	c learnt constraints deletion: 4165 -> 2095
197.14/197.20	c learnt constraints deletion: 4207 -> 2117
200.05/200.12	c learnt constraints deletion: 4193 -> 2110
202.95/203.02	c learnt constraints deletion: 4215 -> 2122
205.74/205.83	c learnt constraints deletion: 4195 -> 2109
208.54/208.65	c learnt constraints deletion: 4214 -> 2119
211.34/211.48	c learnt constraints deletion: 4203 -> 2114
214.04/214.19	c learnt constraints deletion: 4198 -> 2111
216.84/216.90	c learnt constraints deletion: 4157 -> 2090
219.54/219.66	c learnt constraints deletion: 4192 -> 2108
222.24/222.31	c learnt constraints deletion: 4183 -> 2104
224.94/225.05	c learnt constraints deletion: 4183 -> 2106
227.55/227.67	c learnt constraints deletion: 4206 -> 2115
230.24/230.35	c learnt constraints deletion: 4187 -> 2108
233.04/233.13	c learnt constraints deletion: 4182 -> 2102
235.93/236.05	c learnt constraints deletion: 4207 -> 2116
238.93/239.03	c learnt constraints deletion: 4188 -> 2105
241.64/241.79	c learnt constraints deletion: 4201 -> 2113
244.74/244.80	c learnt constraints deletion: 4185 -> 2106
247.83/247.99	c learnt constraints deletion: 4166 -> 2095
251.04/251.16	c learnt constraints deletion: 4210 -> 2118
254.33/254.46	c learnt constraints deletion: 4182 -> 2104
257.53/257.65	c learnt constraints deletion: 4209 -> 2116
260.13/260.25	c learnt constraints deletion: 4207 -> 2117
262.94/263.06	c learnt constraints deletion: 4216 -> 2121
265.93/266.03	c learnt constraints deletion: 4203 -> 2115
268.83/268.92	c learnt constraints deletion: 4200 -> 2113
271.64/271.74	c learnt constraints deletion: 4197 -> 2113
274.84/274.91	c learnt constraints deletion: 4405 -> 2203
278.14/278.23	c learnt constraints deletion: 5207 -> 2605
281.63/281.75	c learnt constraints deletion: 5218 -> 2613
285.43/285.55	c learnt constraints deletion: 5216 -> 2614
289.53/289.68	c learnt constraints deletion: 5217 -> 2613
293.43/293.51	c learnt constraints deletion: 5208 -> 2608
297.13/297.28	c learnt constraints deletion: 5196 -> 2602
301.03/301.14	c learnt constraints deletion: 5210 -> 2609
304.63/304.76	c learnt constraints deletion: 5193 -> 2601
308.53/308.61	c learnt constraints deletion: 5181 -> 2595
312.12/312.23	c learnt constraints deletion: 5168 -> 2588
315.63/315.78	c learnt constraints deletion: 5160 -> 2584
319.12/319.28	c learnt constraints deletion: 5176 -> 2593
322.72/322.84	c learnt constraints deletion: 5155 -> 2583
326.32/326.47	c learnt constraints deletion: 5138 -> 2573
330.02/330.18	c learnt constraints deletion: 5141 -> 2575
333.41/333.53	c learnt constraints deletion: 5150 -> 2579
336.82/336.97	c learnt constraints deletion: 5143 -> 2576
340.22/340.37	c learnt constraints deletion: 5139 -> 2574
343.81/343.97	c learnt constraints deletion: 5130 -> 2572
347.52/347.63	c learnt constraints deletion: 5153 -> 2582
351.12/351.21	c learnt constraints deletion: 5139 -> 2574
355.02/355.13	c learnt constraints deletion: 5148 -> 2578
358.62/358.70	c learnt constraints deletion: 5150 -> 2580
362.32/362.41	c learnt constraints deletion: 5144 -> 2578
365.81/365.97	c learnt constraints deletion: 5134 -> 2572
369.42/369.59	c learnt constraints deletion: 5153 -> 2581
373.02/373.18	c learnt constraints deletion: 5152 -> 2580
376.62/376.76	c learnt constraints deletion: 5135 -> 2572
380.31/380.50	c learnt constraints deletion: 5135 -> 2572
383.71/383.90	c learnt constraints deletion: 5112 -> 2559
387.31/387.47	c learnt constraints deletion: 5113 -> 2563
390.91/391.06	c learnt constraints deletion: 5120 -> 2565
394.51/394.65	c learnt constraints deletion: 5124 -> 2565
398.12/398.20	c learnt constraints deletion: 5128 -> 2569
401.91/402.00	c learnt constraints deletion: 5127 -> 2568
405.71/405.84	c learnt constraints deletion: 5122 -> 2565
408.91/409.10	c learnt constraints deletion: 5085 -> 2547
413.11/413.20	c learnt constraints deletion: 5450 -> 2731
415.21/415.36	c learnt constraints deletion: 4757 -> 2382
418.21/418.31	c learnt constraints deletion: 4736 -> 2376
421.21/421.31	c learnt constraints deletion: 4750 -> 2381
424.31/424.43	c learnt constraints deletion: 4725 -> 2372
428.01/428.15	c learnt constraints deletion: 4761 -> 2390
431.61/431.71	c learnt constraints deletion: 4746 -> 2380
434.50/434.60	c learnt constraints deletion: 4740 -> 2379
437.71/437.83	c learnt constraints deletion: 4752 -> 2383
440.91/441.02	c learnt constraints deletion: 4726 -> 2370
444.11/444.24	c learnt constraints deletion: 4749 -> 2382
447.40/447.56	c learnt constraints deletion: 4729 -> 2371
450.60/450.76	c learnt constraints deletion: 4720 -> 2367
454.31/454.40	c learnt constraints deletion: 4724 -> 2370
457.40/457.57	c learnt constraints deletion: 4747 -> 2382
460.81/460.95	c learnt constraints deletion: 4726 -> 2372
464.69/464.81	c learnt constraints deletion: 4715 -> 2366
468.10/468.29	c learnt constraints deletion: 4715 -> 2368
471.40/471.50	c learnt constraints deletion: 4747 -> 2382
475.00/475.12	c learnt constraints deletion: 4756 -> 2385
477.90/478.03	c learnt constraints deletion: 4719 -> 2368
481.00/481.15	c learnt constraints deletion: 4770 -> 2394
484.10/484.24	c learnt constraints deletion: 4760 -> 2388
487.29/487.49	c learnt constraints deletion: 4752 -> 2386
491.10/491.27	c learnt constraints deletion: 4718 -> 2367
495.60/495.70	c learnt constraints deletion: 4729 -> 2374
499.99/500.14	c learnt constraints deletion: 4726 -> 2373
504.80/504.92	c learnt constraints deletion: 4726 -> 2371
509.20/509.35	c learnt constraints deletion: 4716 -> 2368
513.29/513.42	c learnt constraints deletion: 4778 -> 2397
516.19/516.34	c learnt constraints deletion: 4748 -> 2382
519.29/519.49	c learnt constraints deletion: 4701 -> 2361
522.69/522.83	c learnt constraints deletion: 4736 -> 2379
525.99/526.10	c learnt constraints deletion: 4740 -> 2381
529.39/529.50	c learnt constraints deletion: 4748 -> 2385
532.68/532.84	c learnt constraints deletion: 4745 -> 2383
536.29/536.45	c learnt constraints deletion: 4720 -> 2368
539.59/539.71	c learnt constraints deletion: 4746 -> 2380
542.69/542.83	c learnt constraints deletion: 4727 -> 2372
546.19/546.37	c learnt constraints deletion: 4752 -> 2384
549.19/549.39	c learnt constraints deletion: 4760 -> 2389
552.58/552.76	c learnt constraints deletion: 4747 -> 2384
555.99/556.11	c learnt constraints deletion: 4731 -> 2375
559.38/559.54	c learnt constraints deletion: 4734 -> 2376
562.78/562.98	c learnt constraints deletion: 4751 -> 2383
565.78/565.96	c learnt constraints deletion: 4753 -> 2386
569.18/569.39	c learnt constraints deletion: 4740 -> 2382
572.58/572.78	c learnt constraints deletion: 4747 -> 2382
575.98/576.15	c learnt constraints deletion: 4733 -> 2375
579.98/580.16	c learnt constraints deletion: 4733 -> 2377
583.99/584.11	c learnt constraints deletion: 4734 -> 2375
587.97/588.13	c learnt constraints deletion: 4736 -> 2377
592.08/592.29	c learnt constraints deletion: 4714 -> 2368
596.37/596.53	c learnt constraints deletion: 4739 -> 2382
600.78/600.94	c learnt constraints deletion: 4743 -> 2385
604.67/604.84	c learnt constraints deletion: 4718 -> 2369
608.57/608.73	c learnt constraints deletion: 4753 -> 2387
612.97/613.14	c learnt constraints deletion: 4740 -> 2379
617.28/617.46	c learnt constraints deletion: 4721 -> 2370
621.78/621.93	c learnt constraints deletion: 4752 -> 2385
626.37/626.53	c learnt constraints deletion: 4747 -> 2385
630.77/630.91	c learnt constraints deletion: 4701 -> 2361
636.37/636.56	c learnt constraints deletion: 5125 -> 2572
640.47/640.69	c learnt constraints deletion: 4832 -> 2416
642.57/642.71	c learnt constraints deletion: 4545 -> 2273
645.67/645.85	c learnt constraints deletion: 5299 -> 2652
649.37/649.57	c learnt constraints deletion: 5288 -> 2649
653.07/653.23	c learnt constraints deletion: 5293 -> 2652
656.77/656.97	c learnt constraints deletion: 5276 -> 2643
660.47/660.69	c learnt constraints deletion: 5270 -> 2640
664.36/664.56	c learnt constraints deletion: 5276 -> 2644
668.27/668.40	c learnt constraints deletion: 5292 -> 2652
672.26/672.41	c learnt constraints deletion: 5284 -> 2647
676.27/676.41	c learnt constraints deletion: 5289 -> 2651
680.07/680.25	c learnt constraints deletion: 5275 -> 2644
684.26/684.47	c learnt constraints deletion: 5298 -> 2656
688.47/688.65	c learnt constraints deletion: 5272 -> 2641
691.87/692.09	c learnt constraints deletion: 5292 -> 2652
695.76/695.92	c learnt constraints deletion: 5306 -> 2658
699.47/699.67	c learnt constraints deletion: 5291 -> 2653
703.36/703.53	c learnt constraints deletion: 5260 -> 2636
707.35/707.52	c learnt constraints deletion: 5273 -> 2642
711.16/711.36	c learnt constraints deletion: 5240 -> 2624
716.46/716.60	c learnt constraints deletion: 5235 -> 2625
721.76/721.97	c learnt constraints deletion: 5240 -> 2625
725.96/726.13	c learnt constraints deletion: 5203 -> 2607
730.55/730.74	c learnt constraints deletion: 5240 -> 2625
734.56/734.78	c learnt constraints deletion: 5246 -> 2630
739.06/739.27	c learnt constraints deletion: 5250 -> 2630
743.85/744.06	c learnt constraints deletion: 5243 -> 2630
749.25/749.41	c learnt constraints deletion: 5238 -> 2624
754.45/754.60	c learnt constraints deletion: 5238 -> 2627
759.75/759.97	c learnt constraints deletion: 5230 -> 2620
765.05/765.29	c learnt constraints deletion: 5237 -> 2629
770.74/770.98	c learnt constraints deletion: 5248 -> 2631
775.95/776.16	c learnt constraints deletion: 5244 -> 2629
781.55/781.79	c learnt constraints deletion: 5236 -> 2625
786.75/786.93	c learnt constraints deletion: 5246 -> 2629
792.64/792.89	c learnt constraints deletion: 5247 -> 2631
797.14/797.34	c learnt constraints deletion: 5241 -> 2627
801.24/801.46	c learnt constraints deletion: 5248 -> 2631
805.44/805.65	c learnt constraints deletion: 5239 -> 2627
809.65/809.80	c learnt constraints deletion: 5231 -> 2623
814.05/814.24	c learnt constraints deletion: 5248 -> 2630
818.25/818.49	c learnt constraints deletion: 5260 -> 2636
822.24/822.43	c learnt constraints deletion: 5236 -> 2625
826.34/826.56	c learnt constraints deletion: 5251 -> 2632
830.64/830.84	c learnt constraints deletion: 5261 -> 2638
834.84/835.06	c learnt constraints deletion: 5257 -> 2637
838.84/839.07	c learnt constraints deletion: 5249 -> 2632
842.44/842.63	c learnt constraints deletion: 5242 -> 2628
846.23/846.42	c learnt constraints deletion: 5242 -> 2628
850.04/850.23	c learnt constraints deletion: 5238 -> 2627
853.94/854.10	c learnt constraints deletion: 5247 -> 2631
857.93/858.12	c learnt constraints deletion: 5222 -> 2619
861.73/861.99	c learnt constraints deletion: 5222 -> 2619
865.54/865.71	c learnt constraints deletion: 5238 -> 2626
869.54/869.73	c learnt constraints deletion: 5244 -> 2629
873.24/873.46	c learnt constraints deletion: 5234 -> 2623
877.83/878.04	c learnt constraints deletion: 5254 -> 2634
881.94/882.20	c learnt constraints deletion: 5262 -> 2638
886.34/886.54	c learnt constraints deletion: 5227 -> 2621
891.13/891.34	c learnt constraints deletion: 5256 -> 2635
895.63/895.85	c learnt constraints deletion: 5234 -> 2623
900.03/900.22	c learnt constraints deletion: 5256 -> 2633
903.83/904.02	c learnt constraints deletion: 5254 -> 2633
907.93/908.19	c learnt constraints deletion: 5237 -> 2627
912.43/912.68	c learnt constraints deletion: 5221 -> 2618
916.93/917.14	c learnt constraints deletion: 5253 -> 2634
921.12/921.39	c learnt constraints deletion: 5242 -> 2628
925.02/925.24	c learnt constraints deletion: 5255 -> 2634
929.03/929.21	c learnt constraints deletion: 5259 -> 2639
932.92/933.16	c learnt constraints deletion: 5234 -> 2624
937.12/937.35	c learnt constraints deletion: 5240 -> 2626
941.02/941.29	c learnt constraints deletion: 5250 -> 2632
945.12/945.30	c learnt constraints deletion: 5239 -> 2629
949.22/949.46	c learnt constraints deletion: 5238 -> 2627
953.22/953.42	c learnt constraints deletion: 5230 -> 2621
957.12/957.33	c learnt constraints deletion: 5238 -> 2625
961.02/961.20	c learnt constraints deletion: 5227 -> 2623
965.12/965.30	c learnt constraints deletion: 5223 -> 2620
969.22/969.45	c learnt constraints deletion: 5243 -> 2630
973.23/973.49	c learnt constraints deletion: 5221 -> 2619
977.52/977.79	c learnt constraints deletion: 5252 -> 2632
981.72/981.90	c learnt constraints deletion: 5247 -> 2629
985.82/986.00	c learnt constraints deletion: 5239 -> 2626
990.01/990.24	c learnt constraints deletion: 5251 -> 2632
994.92/995.13	c learnt constraints deletion: 5659 -> 2836
998.31/998.51	c learnt constraints deletion: 4951 -> 2476
1001.92/1002.19	c learnt constraints deletion: 5802 -> 2905
1005.91/1006.15	c learnt constraints deletion: 5798 -> 2905
1010.21/1010.40	c learnt constraints deletion: 5804 -> 2908
1014.31/1014.59	c learnt constraints deletion: 5772 -> 2892
1018.42/1018.66	c learnt constraints deletion: 5799 -> 2906
1022.21/1022.43	c learnt constraints deletion: 5775 -> 2894
1026.21/1026.45	c learnt constraints deletion: 5796 -> 2905
1030.21/1030.41	c learnt constraints deletion: 5765 -> 2890
1034.11/1034.36	c learnt constraints deletion: 5786 -> 2899
1038.01/1038.27	c learnt constraints deletion: 5771 -> 2893
1042.11/1042.33	c learnt constraints deletion: 5761 -> 2887
1046.11/1046.39	c learnt constraints deletion: 5694 -> 2852
1050.11/1050.31	c learnt constraints deletion: 5702 -> 2857
1054.72/1054.98	c learnt constraints deletion: 5702 -> 2858
1059.61/1059.86	c learnt constraints deletion: 5698 -> 2857
1064.40/1064.68	c learnt constraints deletion: 5713 -> 2867
1069.51/1069.74	c learnt constraints deletion: 5703 -> 2860
1074.90/1075.11	c learnt constraints deletion: 5675 -> 2846
1080.60/1080.86	c learnt constraints deletion: 5693 -> 2856
1086.51/1086.73	c learnt constraints deletion: 5711 -> 2865
1091.50/1091.77	c learnt constraints deletion: 5704 -> 2859
1096.70/1096.99	c learnt constraints deletion: 5715 -> 2867
1102.20/1102.41	c learnt constraints deletion: 5692 -> 2852
1105.99/1106.28	c learnt constraints deletion: 5719 -> 2867
1110.60/1110.83	c learnt constraints deletion: 5719 -> 2867
1114.30/1114.55	c learnt constraints deletion: 5712 -> 2863
1118.20/1118.48	c learnt constraints deletion: 5727 -> 2871
1122.20/1122.40	c learnt constraints deletion: 5716 -> 2864
1125.70/1125.95	c learnt constraints deletion: 5728 -> 2871
1129.50/1129.73	c learnt constraints deletion: 5734 -> 2874
1133.29/1133.59	c learnt constraints deletion: 5726 -> 2870
1137.29/1137.51	c learnt constraints deletion: 5716 -> 2867
1141.10/1141.39	c learnt constraints deletion: 5710 -> 2863
1144.79/1145.02	c learnt constraints deletion: 5708 -> 2862
1148.99/1149.24	c learnt constraints deletion: 5716 -> 2866
1153.09/1153.37	c learnt constraints deletion: 5715 -> 2865
1157.59/1157.89	c learnt constraints deletion: 5697 -> 2857
1162.29/1162.53	c learnt constraints deletion: 5704 -> 2860
1166.09/1166.37	c learnt constraints deletion: 5724 -> 2869
1170.09/1170.39	c learnt constraints deletion: 5724 -> 2870
1174.28/1174.54	c learnt constraints deletion: 5719 -> 2867
1178.28/1178.58	c learnt constraints deletion: 5714 -> 2866
1182.38/1182.63	c learnt constraints deletion: 5720 -> 2869
1186.08/1186.39	c learnt constraints deletion: 5721 -> 2869
1190.29/1190.54	c learnt constraints deletion: 5697 -> 2856
1193.68/1194.00	c learnt constraints deletion: 5695 -> 2855
1197.59/1197.85	c learnt constraints deletion: 5732 -> 2873
1201.48/1201.75	c learnt constraints deletion: 5687 -> 2852
1205.29/1205.60	c learnt constraints deletion: 5722 -> 2868
1209.18/1209.42	c learnt constraints deletion: 5714 -> 2864
1213.18/1213.46	c learnt constraints deletion: 5731 -> 2876
1217.08/1217.37	c learnt constraints deletion: 5722 -> 2869
1221.28/1221.54	c learnt constraints deletion: 5726 -> 2870
1225.38/1225.65	c learnt constraints deletion: 5717 -> 2866
1229.68/1229.92	c learnt constraints deletion: 5696 -> 2855
1234.67/1234.92	c learnt constraints deletion: 5710 -> 2863
1239.88/1240.16	c learnt constraints deletion: 5703 -> 2860
1243.58/1243.87	c learnt constraints deletion: 5724 -> 2869
1247.38/1247.68	c learnt constraints deletion: 5726 -> 2870
1251.27/1251.59	c learnt constraints deletion: 5716 -> 2865
1255.27/1255.52	c learnt constraints deletion: 5714 -> 2864
1259.47/1259.77	c learnt constraints deletion: 5704 -> 2859
1263.47/1263.77	c learnt constraints deletion: 5732 -> 2872
1267.58/1267.84	c learnt constraints deletion: 5727 -> 2872
1271.57/1271.85	c learnt constraints deletion: 5706 -> 2861
1275.78/1276.01	c learnt constraints deletion: 5728 -> 2871
1279.87/1280.11	c learnt constraints deletion: 5727 -> 2871
1283.87/1284.14	c learnt constraints deletion: 5724 -> 2868
1287.78/1288.05	c learnt constraints deletion: 5715 -> 2865
1291.67/1291.98	c learnt constraints deletion: 5723 -> 2870
1295.67/1295.94	c learnt constraints deletion: 5729 -> 2874
1299.66/1299.96	c learnt constraints deletion: 5709 -> 2863
1303.97/1304.20	c learnt constraints deletion: 5734 -> 2874
1309.16/1309.48	c learnt constraints deletion: 5730 -> 2872
1313.07/1313.39	c learnt constraints deletion: 5710 -> 2862
1317.16/1317.49	c learnt constraints deletion: 5730 -> 2873
1321.16/1321.45	c learnt constraints deletion: 5731 -> 2874
1324.96/1325.20	c learnt constraints deletion: 5722 -> 2869
1328.87/1329.18	c learnt constraints deletion: 5675 -> 2845
1332.97/1333.28	c learnt constraints deletion: 5715 -> 2866
1337.16/1337.49	c learnt constraints deletion: 5704 -> 2859
1341.27/1341.50	c learnt constraints deletion: 5701 -> 2859
1345.26/1345.51	c learnt constraints deletion: 5692 -> 2853
1349.27/1349.60	c learnt constraints deletion: 5718 -> 2866
1353.06/1353.40	c learnt constraints deletion: 5702 -> 2861
1357.26/1357.53	c learnt constraints deletion: 5733 -> 2874
1361.26/1361.53	c learnt constraints deletion: 5709 -> 2863
1365.16/1365.45	c learnt constraints deletion: 5723 -> 2869
1369.36/1369.66	c learnt constraints deletion: 5714 -> 2870
1373.16/1373.45	c learnt constraints deletion: 5698 -> 2857
1377.15/1377.40	c learnt constraints deletion: 5723 -> 2869
1381.15/1381.40	c learnt constraints deletion: 5715 -> 2866
1385.36/1385.62	c learnt constraints deletion: 5710 -> 2862
1389.35/1389.66	c learnt constraints deletion: 5731 -> 2872
1393.06/1393.30	c learnt constraints deletion: 5716 -> 2865
1397.55/1397.83	c learnt constraints deletion: 5707 -> 2863
1401.86/1402.15	c learnt constraints deletion: 5724 -> 2870
1406.25/1406.55	c learnt constraints deletion: 5713 -> 2865
1410.35/1410.65	c learnt constraints deletion: 5732 -> 2875
1415.05/1415.33	c learnt constraints deletion: 5715 -> 2866
1419.05/1419.38	c learnt constraints deletion: 5710 -> 2864
1423.64/1423.98	c learnt constraints deletion: 5697 -> 2859
1427.85/1428.12	c learnt constraints deletion: 5726 -> 2870
1431.86/1432.17	c learnt constraints deletion: 5701 -> 2858
1435.75/1436.00	c learnt constraints deletion: 5713 -> 2865
1439.95/1440.23	c learnt constraints deletion: 5712 -> 2865
1443.65/1443.90	c learnt constraints deletion: 5718 -> 2866
1447.55/1447.82	c learnt constraints deletion: 5728 -> 2871
1451.55/1451.89	c learnt constraints deletion: 5734 -> 2875
1455.54/1455.83	c learnt constraints deletion: 5715 -> 2866
1459.65/1459.91	c learnt constraints deletion: 5700 -> 2859
1463.65/1463.98	c learnt constraints deletion: 5697 -> 2857
1467.94/1468.23	c learnt constraints deletion: 5698 -> 2857
1471.94/1472.23	c learnt constraints deletion: 5712 -> 2863
1476.85/1477.16	c learnt constraints deletion: 6151 -> 3083
1481.14/1481.48	c learnt constraints deletion: 6179 -> 3097
1485.85/1486.19	c learnt constraints deletion: 6844 -> 3431
1491.14/1491.44	c learnt constraints deletion: 6810 -> 3417
1496.33/1496.64	c learnt constraints deletion: 6807 -> 3415
1501.73/1502.09	c learnt constraints deletion: 6820 -> 3423
1507.44/1507.70	c learnt constraints deletion: 6803 -> 3414
1512.83/1513.16	c learnt constraints deletion: 6811 -> 3420
1518.64/1518.90	c learnt constraints deletion: 6804 -> 3413
1524.53/1524.83	c learnt constraints deletion: 6814 -> 3418
1530.73/1531.09	c learnt constraints deletion: 6805 -> 3416
1537.73/1538.01	c learnt constraints deletion: 6797 -> 3413
1543.73/1544.08	c learnt constraints deletion: 6823 -> 3424
1549.54/1549.84	c learnt constraints deletion: 6827 -> 3427
1555.83/1556.18	c learnt constraints deletion: 6841 -> 3436
1562.33/1562.69	c learnt constraints deletion: 6827 -> 3426
1569.12/1569.42	c learnt constraints deletion: 6823 -> 3425
1575.83/1576.13	c learnt constraints deletion: 6824 -> 3425
1582.22/1582.54	c learnt constraints deletion: 6815 -> 3421
1588.53/1588.85	c learnt constraints deletion: 6817 -> 3422
1594.73/1595.03	c learnt constraints deletion: 6831 -> 3430
1600.72/1601.01	c learnt constraints deletion: 6816 -> 3421
1606.73/1607.07	c learnt constraints deletion: 6835 -> 3431
1612.72/1613.03	c learnt constraints deletion: 6819 -> 3424
1618.82/1619.14	c learnt constraints deletion: 6839 -> 3434
1625.72/1626.06	c learnt constraints deletion: 6830 -> 3430
1632.42/1632.76	c learnt constraints deletion: 6831 -> 3428
1638.32/1638.60	c learnt constraints deletion: 6801 -> 3415
1644.61/1644.90	c learnt constraints deletion: 6829 -> 3430
1650.82/1651.19	c learnt constraints deletion: 6849 -> 3438
1657.11/1657.41	c learnt constraints deletion: 6842 -> 3436
1663.21/1663.53	c learnt constraints deletion: 6800 -> 3415
1669.70/1670.04	c learnt constraints deletion: 6810 -> 3416
1675.71/1676.00	c learnt constraints deletion: 6798 -> 3412
1681.61/1681.96	c learnt constraints deletion: 6817 -> 3421
1687.80/1688.19	c learnt constraints deletion: 6834 -> 3429
1693.80/1694.12	c learnt constraints deletion: 6798 -> 3411
1699.91/1700.22	c learnt constraints deletion: 6809 -> 3417
1706.50/1706.82	c learnt constraints deletion: 6814 -> 3421
1712.90/1713.24	c learnt constraints deletion: 6821 -> 3424
1719.10/1719.49	c learnt constraints deletion: 6791 -> 3409
1725.60/1725.96	c learnt constraints deletion: 6803 -> 3414
1731.80/1732.18	c learnt constraints deletion: 6787 -> 3406
1737.90/1738.21	c learnt constraints deletion: 6829 -> 3427
1743.80/1744.13	c learnt constraints deletion: 6794 -> 3409
1749.40/1749.76	c learnt constraints deletion: 6751 -> 3388
1755.31/1755.62	c learnt constraints deletion: 6797 -> 3412
1761.49/1761.86	c learnt constraints deletion: 6805 -> 3416
1767.30/1767.67	c learnt constraints deletion: 6806 -> 3416
1772.80/1773.15	c learnt constraints deletion: 6805 -> 3417
1778.59/1778.95	c learnt constraints deletion: 6804 -> 3415
1785.09/1785.45	c learnt constraints deletion: 6786 -> 3406
1791.09/1791.44	c learnt constraints deletion: 6783 -> 3405
1797.38/1797.72	c learnt constraints deletion: 6807 -> 3418

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-3711989-1338176450/watcher-3711989-1338176450 -o /tmp/evaluation-result-3711989-1338176450/solver-3711989-1338176450 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3711989-1338176450.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: 1.96 2.00 2.00 3/177 31561
/proc/meminfo: memFree=31034192/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 812 0 0 0 0 0 0 0 20 0 1 0 283769328 6356992 734 33554432000 4194304 8973514 140736632703744 140734225568328 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 1552 734 422 1167 0 333 0

[startup+0.0672239 s]
/proc/loadavg: 1.96 2.00 2.00 3/177 31561
/proc/meminfo: memFree=31034192/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=9280 CPUtime=0.06 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 1397 0 0 0 6 0 0 0 20 0 1 0 283769328 9502720 1319 33554432000 4194304 8973514 140736632703744 140734225568328 4415312 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 2320 1319 452 1167 0 1101 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9280

[startup+0.100278 s]
/proc/loadavg: 1.96 2.00 2.00 3/177 31561
/proc/meminfo: memFree=31034192/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=9280 CPUtime=0.09 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 1594 0 0 0 9 0 0 0 20 0 1 0 283769328 9502720 1516 33554432000 4194304 8973514 140736632703744 140734225568328 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 2320 1516 452 1167 0 1101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9280

[startup+0.300234 s]
/proc/loadavg: 1.96 2.00 2.00 3/177 31561
/proc/meminfo: memFree=31034192/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=9280 CPUtime=0.29 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 1626 0 0 0 29 0 0 0 20 0 1 0 283769328 9502720 1548 33554432000 4194304 8973514 140736632703744 140734225568328 6842064 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 2320 1548 452 1167 0 1101 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9280

[startup+0.700251 s]
/proc/loadavg: 1.96 2.00 2.00 3/177 31561
/proc/meminfo: memFree=31034192/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=11328 CPUtime=0.69 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 2138 0 0 0 69 0 0 0 20 0 1 0 283769328 11599872 2060 33554432000 4194304 8973514 140736632703744 140736632703240 6576169 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 2832 2060 452 1167 0 1613 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11328

[startup+1.50025 s]
/proc/loadavg: 1.96 2.00 2.00 3/178 31562
/proc/meminfo: memFree=31026752/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=13376 CPUtime=1.49 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 2662 0 0 0 148 1 0 0 20 0 1 0 283769328 13697024 2584 33554432000 4194304 8973514 140736632703744 140736632703240 7688766 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 3344 2584 464 1167 0 2125 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13376

[startup+3.10029 s]
/proc/loadavg: 1.96 2.00 2.00 3/178 31562
/proc/meminfo: memFree=31024760/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=16448 CPUtime=3.09 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 3430 0 0 0 307 2 0 0 20 0 1 0 283769328 16842752 3352 33554432000 4194304 8973514 140736632703744 140736632703008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 4112 3352 464 1167 0 2893 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16448

[startup+6.30029 s]
/proc/loadavg: 1.97 2.00 2.00 3/178 31562
/proc/meminfo: memFree=31018180/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=21568 CPUtime=6.29 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 4710 0 0 0 625 4 0 0 20 0 1 0 283769328 22085632 4632 33554432000 4194304 8973514 140736632703744 140736632703008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 5392 4632 464 1167 0 4173 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21568

[startup+12.7003 s]
/proc/loadavg: 1.97 2.00 2.00 3/177 31562
/proc/meminfo: memFree=31010484/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=27712 CPUtime=12.68 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 6254 0 0 0 1260 8 0 0 20 0 1 0 283769328 28377088 6170 33554432000 4194304 8973514 140736632703744 140736632703008 4415744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 6928 6170 466 1167 0 5709 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 27712

[startup+25.5003 s]
/proc/loadavg: 1.97 2.00 2.00 3/177 31562
/proc/meminfo: memFree=30997348/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=41024 CPUtime=25.48 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 9586 0 0 0 2532 16 0 0 20 0 1 0 283769328 42008576 9498 33554432000 4194304 8973514 140736632703744 140736632703240 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 10256 9498 466 1167 0 9037 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 41024

[startup+51.1003 s]
/proc/loadavg: 1.98 2.00 2.00 3/177 31562
/proc/meminfo: memFree=30982216/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=56384 CPUtime=51.07 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 13427 0 0 0 5075 32 0 0 20 0 1 0 283769328 57737216 13338 33554432000 4194304 8973514 140736632703744 140736632703240 7716397 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 14096 13338 466 1167 0 12877 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 56384

[startup+102.307 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 31562
/proc/meminfo: memFree=30983000/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=55360 CPUtime=102.26 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 13686 0 0 0 10165 61 0 0 20 0 1 0 283769328 56688640 13082 33554432000 4194304 8973514 140736632703744 140736632703240 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 13840 13082 466 1167 0 12621 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 55360

[startup+162.3 s]
/proc/loadavg: 2.07 2.01 2.00 3/177 31563
/proc/meminfo: memFree=30976732/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=62528 CPUtime=162.25 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 15478 0 0 0 16132 93 0 0 20 0 1 0 283769328 64028672 14874 33554432000 4194304 8973514 140736632703744 140736632703240 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 15632 14874 466 1167 0 14413 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 62528

[startup+222.3 s]
/proc/loadavg: 2.09 2.02 2.00 3/177 31563
/proc/meminfo: memFree=30971580/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=66624 CPUtime=222.24 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 16503 0 0 0 22096 128 0 0 20 0 1 0 283769328 68222976 15898 33554432000 4194304 8973514 140736632703744 140736632703008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 16656 15898 466 1167 0 15437 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 66624

[startup+282.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 31563
/proc/meminfo: memFree=30968852/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=69696 CPUtime=282.23 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 17271 0 0 0 28060 163 0 0 20 0 1 0 283769328 71368704 16666 33554432000 4194304 8973514 140736632703744 140736632703240 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 17424 16666 466 1167 0 16205 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 69696

[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 31563
/proc/meminfo: memFree=30963448/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=74816 CPUtime=342.22 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 18554 0 0 0 34029 193 0 0 20 0 1 0 283769328 76611584 17946 33554432000 4194304 8973514 140736632703744 140736632703240 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 18704 17946 466 1167 0 17485 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 74816

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 31563
/proc/meminfo: memFree=30961524/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=74816 CPUtime=402.21 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 19066 0 0 0 40001 220 0 0 20 0 1 0 283769328 76611584 17946 33554432000 4194304 8973514 140736632703744 140736632703240 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 18704 17946 466 1167 0 17485 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 74816

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31564
/proc/meminfo: memFree=30962760/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=74816 CPUtime=462.2 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 19066 0 0 0 45969 251 0 0 20 0 1 0 283769328 76611584 17946 33554432000 4194304 8973514 140736632703744 140736632703240 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 18704 17946 466 1167 0 17485 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 74816

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31564
/proc/meminfo: memFree=30962696/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=75840 CPUtime=522.19 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 19322 0 0 0 51940 279 0 0 20 0 1 0 283769328 77660160 18202 33554432000 4194304 8973514 140736632703744 140736632703240 6576972 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 18960 18202 466 1167 0 17741 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 75840

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31567
/proc/meminfo: memFree=30959024/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=78912 CPUtime=582.18 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 20092 0 0 0 57907 311 0 0 20 0 1 0 283769328 80805888 18970 33554432000 4194304 8973514 140736632703744 140736632703240 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 19728 18970 466 1167 0 18509 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 78912

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 31568
/proc/meminfo: memFree=30948972/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=87104 CPUtime=822.14 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 23166 0 0 0 81764 450 0 0 20 0 1 0 283769328 89194496 21018 33554432000 4194304 8973514 140736632703744 140736632703008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 21776 21018 466 1167 0 20557 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 87104

[startup+882.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31568
/proc/meminfo: memFree=30948724/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=87104 CPUtime=882.13 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 23166 0 0 0 87724 489 0 0 20 0 1 0 283769328 89194496 21018 33554432000 4194304 8973514 140736632703744 140736632703240 6842372 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 21776 21018 466 1167 0 20557 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 87104

[startup+942.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 31568
/proc/meminfo: memFree=30947916/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=87104 CPUtime=942.13 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 23166 0 0 0 93680 533 0 0 20 0 1 0 283769328 89194496 21018 33554432000 4194304 8973514 140736632703744 140736632701696 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 21776 21018 466 1167 0 20557 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 87104

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31568
/proc/meminfo: memFree=30947172/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=87104 CPUtime=1002.12 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 23166 0 0 0 99637 575 0 0 20 0 1 0 283769328 89194496 21018 33554432000 4194304 8973514 140736632703744 140736632703008 7937344 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 21776 21018 466 1167 0 20557 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 87104

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31569
/proc/meminfo: memFree=30947048/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=87104 CPUtime=1062.11 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 23166 0 0 0 105597 614 0 0 20 0 1 0 283769328 89194496 21018 33554432000 4194304 8973514 140736632703744 140736632703240 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 21776 21018 466 1167 0 20557 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 87104

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31569
/proc/meminfo: memFree=30934696/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=99392 CPUtime=1122.1 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 26750 0 0 0 111559 651 0 0 20 0 1 0 283769328 101777408 24090 33554432000 4194304 8973514 140736632703744 140736632703240 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 24848 24090 466 1167 0 23629 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 99392

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31572
/proc/meminfo: memFree=30942380/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=91200 CPUtime=1182.08 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 26750 0 0 0 117526 682 0 0 20 0 1 0 283769328 93388800 22042 33554432000 4194304 8973514 140736632703744 140736632703008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 22800 22042 466 1167 0 21581 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 91200

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31595
/proc/meminfo: memFree=30942256/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=91200 CPUtime=1242.08 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 26750 0 0 0 123494 714 0 0 20 0 1 0 283769328 93388800 22042 33554432000 4194304 8973514 140736632703744 140736632703240 7716779 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 22800 22042 466 1167 0 21581 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 91200

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31595
/proc/meminfo: memFree=30938416/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=95296 CPUtime=1302.08 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 27774 0 0 0 129463 745 0 0 20 0 1 0 283769328 97583104 23066 33554432000 4194304 8973514 140736632703744 140736632703240 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 23824 23066 466 1167 0 22605 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 95296

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 31595
/proc/meminfo: memFree=30938176/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=95296 CPUtime=1362.06 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 27774 0 0 0 135428 778 0 0 20 0 1 0 283769328 97583104 23066 33554432000 4194304 8973514 140736632703744 140736632703240 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 23824 23066 466 1167 0 22605 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 95296

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31635
/proc/meminfo: memFree=30936872/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=95296 CPUtime=1422.05 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 27774 0 0 0 141398 807 0 0 20 0 1 0 283769328 97583104 23066 33554432000 4194304 8973514 140736632703744 140736632701952 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 23824 23066 466 1167 0 22605 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 95296

[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 31635
/proc/meminfo: memFree=30930796/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=95296 CPUtime=1482.04 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 27774 0 0 0 147362 842 0 0 20 0 1 0 283769328 97583104 23066 33554432000 4194304 8973514 140736632703744 140736632703240 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 23824 23066 466 1167 0 22605 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 95296

[startup+1542.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 31635
/proc/meminfo: memFree=30911752/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=108608 CPUtime=1542.03 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 32126 0 0 0 153331 872 0 0 20 0 1 0 283769328 111214592 26394 33554432000 4194304 8973514 140736632703744 140736632703240 4213743 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 27152 26394 466 1167 0 25933 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 108608

[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 31635
/proc/meminfo: memFree=30896724/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=119872 CPUtime=1602.02 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 35200 0 0 0 159304 898 0 0 20 0 1 0 283769328 122748928 29210 33554432000 4194304 8973514 140736632703744 140736632703240 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 29968 29210 466 1167 0 28749 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 119872

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 31635
/proc/meminfo: memFree=30900064/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=115776 CPUtime=1662.01 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 35204 0 0 0 165275 926 0 0 20 0 1 0 283769328 118554624 28186 33554432000 4194304 8973514 140736632703744 140736632703240 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 28944 28186 466 1167 0 27725 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 115776

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 31636
/proc/meminfo: memFree=30901796/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=111680 CPUtime=1722 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 35204 0 0 0 171243 957 0 0 20 0 1 0 283769328 114360320 27162 33554432000 4194304 8973514 140736632703744 140736632701696 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 27920 27162 466 1167 0 26701 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 111680

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 31639
/proc/meminfo: memFree=30903720/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=111680 CPUtime=1781.99 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 35204 0 0 0 177215 984 0 0 20 0 1 0 283769328 114360320 27162 33554432000 4194304 8973514 140736632703744 140736632703008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 27920 27162 466 1167 0 26701 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 111680



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.08 2.03 2.01 3/178 31639
/proc/meminfo: memFree=30902344/32873844 swapFree=7620/7620
[pid=31561] ppid=31559 vsize=111680 CPUtime=1800.1 cores=1,3,5,7
/proc/31561/stat : 31561 (toysat) R 31559 31561 29738 0 -1 4202496 35204 0 0 0 179018 992 0 0 20 0 1 0 283769328 114360320 27162 33554432000 4194304 8973514 140736632703744 140736632703240 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31561/statm: 27920 27162 466 1167 0 26701 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 111680

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.11
CPU user time (s): 1790.18
CPU system time (s): 9.92149
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 120896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.18
system time used= 9.92149
maximum resident set size= 117864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35204
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= 31
involuntary context switches= 1851

runsolver used 3.3105 second user time and 9.64553 second system time

The end

Launcher Data

Begin job on node143 at 2012-05-28 05:40:50
IDJOB=3711989
IDBENCH=78699
IDSOLVER=2291
FILE ID=node143/3711989-1338176450
RUNJOBID= node143-1338160335-29755
PBS_JOBID= 14624561
Free space on /tmp= 71656 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= HOME/toysat --wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711989-1338176450/watcher-3711989-1338176450 -o /tmp/evaluation-result-3711989-1338176450/solver-3711989-1338176450 -C 1800 -W 1900 -M 15500  HOME/toysat --wbo HOME/instance-3711989-1338176450.wbo

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

MD5SUM BENCH= ea89038de81a2a24e795de2249a907ab
RANDOM SEED=196105069

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
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:        31034456 kB
Buffers:          377348 kB
Cached:           595468 kB
SwapCached:            0 kB
Active:           627572 kB
Inactive:         375388 kB
Active(anon):      20652 kB
Inactive(anon):    11300 kB
Active(file):     606920 kB
Inactive(file):   364088 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7444 kB
Writeback:             0 kB
AnonPages:         36568 kB
Mapped:            16064 kB
Shmem:               200 kB
Slab:             696788 kB
SReclaimable:     139148 kB
SUnreclaim:       557640 kB
KernelStack:        1472 kB
PageTables:         3732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     144072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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= 71648 MiB
End job on node143 at 2012-05-28 06:10:52