Trace number 3715118

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topDownOPTIMUM 1391 1393.04

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh13_wcsp.wbo
MD5SUM3100ea9ba7746ae86daacced189e255b
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark109
Best CPU time to get the best result obtained on this benchmark0.015996
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints950
Number of soft constraints850
Number of constraints which are clauses850
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.00/0.01	c run usual solver
0.00/0.06	o 11025
0.00/0.06	c fallback to adder encoding
5.12/5.20	o 10975
5.12/5.20	c fallback to adder encoding
9.05/9.13	o 10974
9.05/9.13	c fallback to adder encoding
15.97/16.05	o 10973
15.97/16.05	c fallback to adder encoding
21.26/21.38	o 10969
21.26/21.38	c fallback to adder encoding
24.75/24.82	o 10963
24.75/24.82	c fallback to adder encoding
28.05/28.17	o 10775
28.05/28.17	c fallback to adder encoding
32.96/33.09	o 10773
32.96/33.09	c fallback to adder encoding
37.16/37.28	o 10765
37.16/37.28	c fallback to adder encoding
39.14/39.22	o 10763
39.14/39.22	c fallback to adder encoding
42.43/42.52	o 10762
42.43/42.52	c fallback to adder encoding
44.16/44.28	o 10761
44.16/44.28	c fallback to adder encoding
48.04/48.12	o 5652
48.04/48.12	c fallback to adder encoding
50.93/51.02	o 5649
50.93/51.02	c fallback to adder encoding
54.76/54.87	o 5645
54.76/54.87	c fallback to adder encoding
56.97/57.09	o 5640
56.97/57.09	c fallback to adder encoding
59.55/59.62	o 5637
59.55/59.62	c fallback to adder encoding
62.25/62.38	o 5398
62.25/62.38	c fallback to adder encoding
65.08/65.15	o 5395
65.08/65.15	c fallback to adder encoding
68.53/68.60	o 5381
68.53/68.60	c fallback to adder encoding
71.58/71.65	o 5380
71.58/71.65	c fallback to adder encoding
77.35/77.43	o 5379
77.35/77.43	c fallback to adder encoding
79.26/79.35	o 4946
79.26/79.35	c fallback to adder encoding
83.45/83.52	o 4937
83.45/83.52	c fallback to adder encoding
87.89/87.90	o 4922
87.89/87.90	c fallback to adder encoding
90.07/90.16	o 4921
90.07/90.16	c fallback to adder encoding
94.92/95.00	o 4916
94.92/95.00	c fallback to adder encoding
98.05/98.17	o 4913
98.05/98.17	c fallback to adder encoding
100.75/100.84	o 4892
100.75/100.84	c fallback to adder encoding
103.86/103.94	o 4891
103.86/103.94	c fallback to adder encoding
108.56/108.68	o 4890
108.56/108.68	c fallback to adder encoding
110.97/111.03	o 4863
110.97/111.03	c fallback to adder encoding
113.94/114.03	o 4858
113.94/114.03	c fallback to adder encoding
116.62/116.71	o 4857
116.62/116.71	c fallback to adder encoding
121.23/121.31	o 4856
121.23/121.31	c fallback to adder encoding
123.85/123.95	o 4855
123.85/123.95	c fallback to adder encoding
127.35/127.43	o 4854
127.35/127.43	c fallback to adder encoding
129.95/130.08	o 4852
129.95/130.08	c fallback to adder encoding
132.94/133.09	o 4851
132.94/133.09	c fallback to adder encoding
135.92/136.00	o 4847
135.92/136.00	c fallback to adder encoding
140.35/140.45	o 4831
140.35/140.45	c fallback to adder encoding
143.35/143.44	o 4812
143.35/143.44	c fallback to adder encoding
145.04/145.15	o 4804
145.04/145.15	c fallback to adder encoding
150.76/150.80	o 4799
150.76/150.80	c fallback to adder encoding
155.12/155.21	o 4795
155.12/155.21	c fallback to adder encoding
160.84/160.93	o 4790
160.84/160.93	c fallback to adder encoding
164.52/164.62	o 4786
164.52/164.62	c fallback to adder encoding
168.64/168.78	o 4773
168.64/168.78	c fallback to adder encoding
172.35/172.45	o 4770
172.35/172.45	c fallback to adder encoding
175.15/175.20	o 4765
175.15/175.20	c fallback to adder encoding
179.65/179.78	o 4762
179.65/179.78	c fallback to adder encoding
184.69/184.81	o 4758
184.69/184.81	c fallback to adder encoding
190.06/190.22	o 4754
190.06/190.22	c fallback to adder encoding
193.04/193.22	o 4753
193.04/193.22	c fallback to adder encoding
196.67/196.87	o 4752
196.67/196.87	c fallback to adder encoding
199.23/199.41	o 4674
199.23/199.41	c fallback to adder encoding
202.23/202.41	o 4673
202.23/202.41	c fallback to adder encoding
205.17/205.36	o 4672
205.17/205.36	c fallback to adder encoding
209.53/209.71	o 4661
209.53/209.71	c fallback to adder encoding
214.04/214.22	o 4658
214.04/214.22	c fallback to adder encoding
217.15/217.32	o 4621
217.15/217.32	c fallback to adder encoding
221.42/221.69	o 4618
221.42/221.69	c fallback to adder encoding
226.42/226.70	o 4613
226.42/226.70	c fallback to adder encoding
229.91/230.18	o 4609
229.91/230.18	c fallback to adder encoding
232.32/232.55	o 4608
232.32/232.55	c fallback to adder encoding
236.00/236.27	o 4599
236.00/236.27	c fallback to adder encoding
241.20/241.46	o 4589
241.20/241.46	c fallback to adder encoding
244.48/244.74	o 4575
244.48/244.74	c fallback to adder encoding
248.49/248.79	o 4538
248.49/248.79	c fallback to adder encoding
252.96/253.23	o 4459
252.96/253.23	c fallback to adder encoding
257.86/258.12	o 4457
257.86/258.12	c fallback to adder encoding
261.35/261.63	o 4453
261.35/261.63	c fallback to adder encoding
266.17/266.48	o 4341
266.17/266.48	c fallback to adder encoding
269.28/269.55	o 4340
269.28/269.55	c fallback to adder encoding
272.14/272.46	o 4336
272.14/272.46	c fallback to adder encoding
275.82/276.12	o 4335
275.82/276.12	c fallback to adder encoding
279.91/280.25	o 4334
279.91/280.25	c fallback to adder encoding
284.41/284.79	o 4330
284.41/284.79	c fallback to adder encoding
288.32/288.63	o 4327
288.32/288.63	c fallback to adder encoding
291.71/292.06	o 4324
291.71/292.06	c fallback to adder encoding
295.32/295.64	o 4098
295.32/295.64	c fallback to adder encoding
299.83/300.10	o 4097
299.83/300.10	c fallback to adder encoding
303.10/303.43	o 4096
303.10/303.43	c fallback to adder encoding
305.31/305.70	o 4086
305.31/305.70	c fallback to adder encoding
307.71/308.04	o 4081
307.71/308.04	c fallback to adder encoding
310.87/311.22	o 4080
310.87/311.22	c fallback to adder encoding
312.98/313.36	o 4075
312.98/313.36	c fallback to adder encoding
318.28/318.68	o 4073
318.28/318.68	c fallback to adder encoding
321.90/322.23	o 4065
321.90/322.23	c fallback to adder encoding
325.08/325.42	o 4064
325.08/325.42	c fallback to adder encoding
327.26/327.60	o 4063
327.26/327.60	c fallback to adder encoding
329.80/330.18	o 4058
329.80/330.18	c fallback to adder encoding
332.58/332.99	o 4054
332.58/332.99	c fallback to adder encoding
334.68/335.08	o 4029
334.68/335.08	c fallback to adder encoding
338.06/338.41	o 4020
338.06/338.41	c fallback to adder encoding
341.67/342.03	o 3991
341.67/342.03	c fallback to adder encoding
344.88/345.25	o 3735
344.88/345.25	c fallback to adder encoding
347.78/348.13	o 3733
347.78/348.13	c fallback to adder encoding
351.18/351.59	o 3729
351.18/351.59	c fallback to adder encoding
354.16/354.51	o 3728
354.16/354.51	c fallback to adder encoding
357.19/357.59	o 3725
357.19/357.59	c fallback to adder encoding
360.88/361.29	o 3611
360.88/361.29	c fallback to adder encoding
365.69/366.03	o 3603
365.69/366.03	c fallback to adder encoding
370.29/370.69	o 3602
370.29/370.69	c fallback to adder encoding
373.14/373.53	o 3590
373.14/373.53	c fallback to adder encoding
377.62/378.08	o 3556
377.62/378.08	c fallback to adder encoding
380.13/380.55	o 3555
380.13/380.55	c fallback to adder encoding
382.93/383.33	o 3552
382.93/383.33	c fallback to adder encoding
384.73/385.17	o 3143
384.73/385.17	c fallback to adder encoding
389.32/389.73	o 3139
389.32/389.73	c fallback to adder encoding
393.93/394.39	o 3137
393.93/394.39	c fallback to adder encoding
396.71/397.17	o 3106
396.71/397.17	c fallback to adder encoding
399.27/399.71	o 3085
399.27/399.71	c fallback to adder encoding
402.57/403.08	o 3084
402.57/403.08	c fallback to adder encoding
404.88/405.36	o 3082
404.88/405.36	c fallback to adder encoding
407.50/407.90	o 3078
407.50/407.90	c fallback to adder encoding
409.56/410.01	o 3076
409.56/410.01	c fallback to adder encoding
413.88/414.35	o 3075
413.88/414.35	c fallback to adder encoding
415.96/416.41	o 3074
415.96/416.41	c fallback to adder encoding
421.77/422.25	o 3073
421.77/422.25	c fallback to adder encoding
423.49/423.92	o 3025
423.49/423.92	c fallback to adder encoding
425.96/426.43	o 3024
425.96/426.43	c fallback to adder encoding
431.46/431.90	o 2987
431.46/431.90	c fallback to adder encoding
435.92/436.41	o 2979
435.92/436.41	c fallback to adder encoding
440.08/440.64	o 2976
440.08/440.64	c fallback to adder encoding
443.61/444.22	o 2971
443.61/444.22	c fallback to adder encoding
445.43/446.03	o 2962
445.43/446.03	c fallback to adder encoding
448.73/449.35	o 2910
448.73/449.35	c fallback to adder encoding
451.31/451.91	o 2893
451.31/451.91	c fallback to adder encoding
454.62/455.28	o 2881
454.62/455.28	c fallback to adder encoding
458.02/458.62	o 2880
458.02/458.62	c fallback to adder encoding
462.53/463.13	o 2874
462.53/463.13	c fallback to adder encoding
464.91/465.56	o 2867
464.91/465.56	c fallback to adder encoding
470.99/471.61	o 2862
470.99/471.61	c fallback to adder encoding
473.79/474.41	o 2857
473.79/474.41	c fallback to adder encoding
476.72/477.34	o 2836
476.72/477.34	c fallback to adder encoding
479.72/480.35	o 2833
479.72/480.35	c fallback to adder encoding
483.22/483.85	o 2831
483.22/483.85	c fallback to adder encoding
485.61/486.29	o 2830
485.61/486.29	c fallback to adder encoding
489.70/490.31	o 2829
489.70/490.31	c fallback to adder encoding
493.30/493.96	o 2827
493.30/493.96	c fallback to adder encoding
495.63/496.28	o 2822
495.63/496.28	c fallback to adder encoding
501.16/501.84	o 2817
501.16/501.84	c fallback to adder encoding
504.14/504.83	o 2816
504.14/504.83	c fallback to adder encoding
508.82/509.51	o 2814
508.82/509.51	c fallback to adder encoding
515.54/516.23	o 2808
515.54/516.23	c fallback to adder encoding
518.92/519.61	o 2807
518.92/519.61	c fallback to adder encoding
521.21/521.90	o 2803
521.21/521.90	c fallback to adder encoding
523.52/524.37	o 2801
523.52/524.37	c fallback to adder encoding
526.72/527.56	o 2799
526.72/527.56	c fallback to adder encoding
529.57/530.40	o 2796
529.57/530.40	c fallback to adder encoding
533.11/533.95	o 2775
533.11/533.95	c fallback to adder encoding
535.00/535.82	o 2770
535.00/535.82	c fallback to adder encoding
537.60/538.45	o 2754
537.60/538.45	c fallback to adder encoding
541.51/542.35	o 2753
541.51/542.35	c fallback to adder encoding
546.49/547.37	o 2752
546.49/547.37	c fallback to adder encoding
550.10/550.99	o 2749
550.10/550.99	c fallback to adder encoding
552.50/553.36	o 2719
552.50/553.36	c fallback to adder encoding
556.10/556.96	o 2712
556.10/556.96	c fallback to adder encoding
559.78/560.62	o 2711
559.78/560.62	c fallback to adder encoding
564.78/565.62	o 2710
564.78/565.62	c fallback to adder encoding
571.59/572.49	o 2705
571.59/572.49	c fallback to adder encoding
574.09/574.92	o 2704
574.09/574.92	c fallback to adder encoding
576.59/577.48	o 2695
576.59/577.48	c fallback to adder encoding
580.69/581.54	o 2694
580.69/581.54	c fallback to adder encoding
582.69/583.54	o 2664
582.69/583.54	c fallback to adder encoding
586.30/587.15	o 2658
586.30/587.15	c fallback to adder encoding
589.10/589.90	o 2631
589.10/589.90	c fallback to adder encoding
592.48/593.38	o 2629
592.48/593.38	c fallback to adder encoding
596.49/597.36	o 2612
596.49/597.36	c fallback to adder encoding
599.08/599.99	o 2609
599.08/599.99	c fallback to adder encoding
603.21/604.04	o 2603
603.21/604.04	c fallback to adder encoding
606.69/607.53	o 2598
606.69/607.53	c fallback to adder encoding
609.75/610.62	o 2595
609.75/610.62	c fallback to adder encoding
614.05/614.91	o 2575
614.05/614.91	c fallback to adder encoding
616.14/617.05	o 2566
616.14/617.05	c fallback to adder encoding
617.83/618.72	o 2561
617.83/618.72	c fallback to adder encoding
619.34/620.23	o 2560
619.34/620.23	c fallback to adder encoding
621.74/622.62	o 2544
621.74/622.62	c fallback to adder encoding
624.74/625.63	o 2542
624.74/625.63	c fallback to adder encoding
627.94/628.82	o 2537
627.94/628.82	c fallback to adder encoding
630.84/631.75	o 2532
630.84/631.75	c fallback to adder encoding
633.44/634.36	o 2531
633.44/634.36	c fallback to adder encoding
637.15/638.02	o 2526
637.15/638.02	c fallback to adder encoding
640.23/641.14	o 2524
640.23/641.14	c fallback to adder encoding
642.51/643.46	o 2520
642.51/643.46	c fallback to adder encoding
645.10/646.01	o 2519
645.10/646.01	c fallback to adder encoding
647.40/648.31	o 2518
647.40/648.31	c fallback to adder encoding
653.01/653.95	o 2515
653.01/653.95	c fallback to adder encoding
655.99/656.90	o 2482
655.99/656.90	c fallback to adder encoding
657.88/658.80	o 2481
657.88/658.80	c fallback to adder encoding
661.51/662.43	o 2479
661.51/662.43	c fallback to adder encoding
667.53/668.44	o 2475
667.53/668.44	c fallback to adder encoding
671.33/672.26	o 2467
671.33/672.26	c fallback to adder encoding
673.43/674.32	o 2464
673.43/674.32	c fallback to adder encoding
676.92/677.80	o 2456
676.92/677.80	c fallback to adder encoding
679.40/680.32	o 2453
679.40/680.32	c fallback to adder encoding
681.92/682.87	o 2450
681.92/682.87	c fallback to adder encoding
683.62/684.58	o 2437
683.62/684.58	c fallback to adder encoding
685.37/686.34	o 2432
685.37/686.34	c fallback to adder encoding
687.98/688.93	o 2425
687.98/688.93	c fallback to adder encoding
692.37/693.33	o 2423
692.37/693.33	c fallback to adder encoding
695.14/696.11	o 2403
695.14/696.11	c fallback to adder encoding
698.67/699.62	o 2401
698.67/699.62	c fallback to adder encoding
701.36/702.39	o 2389
701.36/702.39	c fallback to adder encoding
705.16/706.14	o 2238
705.16/706.14	c fallback to adder encoding
711.14/712.11	o 2233
711.14/712.11	c fallback to adder encoding
714.86/715.88	o 2230
714.86/715.88	c fallback to adder encoding
717.13/718.19	o 2229
717.13/718.19	c fallback to adder encoding
720.51/721.57	o 2227
720.51/721.57	c fallback to adder encoding
727.22/728.27	o 2224
727.22/728.27	c fallback to adder encoding
732.62/733.67	o 2221
732.62/733.67	c fallback to adder encoding
734.82/735.83	o 2164
734.82/735.83	c fallback to adder encoding
737.91/738.92	o 2160
737.91/738.92	c fallback to adder encoding
741.92/742.94	o 2152
741.92/742.94	c fallback to adder encoding
746.73/747.76	o 2150
746.73/747.76	c fallback to adder encoding
749.68/750.70	o 2146
749.68/750.70	c fallback to adder encoding
754.06/755.13	o 2141
754.06/755.13	c fallback to adder encoding
759.19/760.25	o 2139
759.19/760.25	c fallback to adder encoding
762.06/763.16	o 2137
762.06/763.16	c fallback to adder encoding
765.76/766.83	o 2131
765.76/766.83	c fallback to adder encoding
770.15/771.21	o 2126
770.15/771.21	c fallback to adder encoding
772.97/774.04	o 2121
772.97/774.04	c fallback to adder encoding
776.37/777.46	o 2116
776.37/777.46	c fallback to adder encoding
779.16/780.22	o 2115
779.16/780.22	c fallback to adder encoding
786.36/787.49	o 2114
786.36/787.49	c fallback to adder encoding
790.46/791.57	o 2113
790.46/791.57	c fallback to adder encoding
793.55/794.62	o 2112
793.55/794.62	c fallback to adder encoding
796.81/797.92	o 2107
796.81/797.92	c fallback to adder encoding
801.44/802.55	o 2103
801.44/802.55	c fallback to adder encoding
804.42/805.58	o 2102
804.42/805.58	c fallback to adder encoding
807.19/808.37	o 2066
807.19/808.37	c fallback to adder encoding
809.40/810.56	o 2064
809.40/810.56	c fallback to adder encoding
812.90/814.04	o 2063
812.90/814.04	c fallback to adder encoding
814.78/815.92	o 2062
814.78/815.92	c fallback to adder encoding
818.59/819.76	o 2057
818.59/819.76	c fallback to adder encoding
821.50/822.63	o 2053
821.50/822.63	c fallback to adder encoding
824.09/825.28	o 2048
824.09/825.28	c fallback to adder encoding
826.00/827.13	o 2044
826.00/827.13	c fallback to adder encoding
827.09/828.21	o 2024
827.09/828.21	c fallback to adder encoding
829.41/830.54	o 2020
829.41/830.54	c fallback to adder encoding
832.06/833.26	o 2019
832.06/833.26	c fallback to adder encoding
833.46/834.60	o 2011
833.46/834.60	c fallback to adder encoding
836.64/837.85	o 2007
836.64/837.85	c fallback to adder encoding
840.85/842.05	o 2003
840.85/842.05	c fallback to adder encoding
843.96/845.18	o 2000
843.96/845.18	c fallback to adder encoding
847.45/848.63	o 1998
847.45/848.63	c fallback to adder encoding
849.05/850.26	o 1997
849.05/850.26	c fallback to adder encoding
851.45/852.66	o 1996
851.45/852.66	c fallback to adder encoding
853.65/854.83	o 1992
853.65/854.83	c fallback to adder encoding
855.76/856.99	o 1990
855.76/856.99	c fallback to adder encoding
857.24/858.45	o 1971
857.24/858.45	c fallback to adder encoding
859.26/860.44	o 1969
859.26/860.44	c fallback to adder encoding
864.55/865.74	o 1966
864.55/865.74	c fallback to adder encoding
867.45/868.69	o 1960
867.45/868.69	c fallback to adder encoding
872.05/873.26	o 1955
872.05/873.26	c fallback to adder encoding
875.65/876.89	o 1951
875.65/876.89	c fallback to adder encoding
879.12/880.41	o 1948
879.12/880.41	c fallback to adder encoding
881.25/882.58	o 1945
881.25/882.58	c fallback to adder encoding
885.16/886.40	o 1939
885.16/886.40	c fallback to adder encoding
886.92/888.20	o 1870
886.92/888.20	c fallback to adder encoding
890.34/891.62	o 1864
890.34/891.62	c fallback to adder encoding
891.71/893.04	o 1858
891.71/893.04	c fallback to adder encoding
896.21/897.55	o 1857
896.21/897.55	c fallback to adder encoding
898.69/900.00	o 1856
898.69/900.00	c fallback to adder encoding
901.11/902.48	o 1853
901.11/902.48	c fallback to adder encoding
904.58/905.93	o 1852
904.58/905.93	c fallback to adder encoding
907.38/908.77	o 1850
907.38/908.77	c fallback to adder encoding
909.07/910.50	o 1848
909.07/910.50	c fallback to adder encoding
911.87/913.25	o 1843
911.87/913.25	c fallback to adder encoding
914.14/915.55	o 1840
914.14/915.55	c fallback to adder encoding
918.54/919.98	o 1838
918.54/919.98	c fallback to adder encoding
921.13/922.52	o 1826
921.13/922.52	c fallback to adder encoding
923.33/924.77	o 1824
923.33/924.77	c fallback to adder encoding
926.34/927.74	o 1823
926.34/927.74	c fallback to adder encoding
930.23/931.66	o 1818
930.23/931.66	c fallback to adder encoding
934.04/935.47	o 1811
934.04/935.47	c fallback to adder encoding
937.61/939.05	o 1808
937.61/939.05	c fallback to adder encoding
939.86/941.37	o 1807
939.86/941.37	c fallback to adder encoding
941.86/943.39	o 1802
941.86/943.39	c fallback to adder encoding
944.74/946.21	o 1801
944.74/946.21	c fallback to adder encoding
947.12/948.60	o 1795
947.12/948.60	c fallback to adder encoding
948.26/949.78	o 1792
948.26/949.78	c fallback to adder encoding
950.24/951.71	o 1781
950.24/951.71	c fallback to adder encoding
952.55/954.09	o 1780
952.55/954.09	c fallback to adder encoding
956.07/957.54	o 1776
956.07/957.54	c fallback to adder encoding
959.86/961.35	o 1765
959.86/961.35	c fallback to adder encoding
964.56/966.00	o 1764
964.56/966.00	c fallback to adder encoding
967.57/969.06	o 1762
967.57/969.06	c fallback to adder encoding
970.15/971.68	o 1760
970.15/971.68	c fallback to adder encoding
973.15/974.66	o 1754
973.15/974.66	c fallback to adder encoding
975.12/976.62	o 1750
975.12/976.62	c fallback to adder encoding
978.63/980.20	o 1747
978.63/980.20	c fallback to adder encoding
980.13/981.66	o 1743
980.13/981.66	c fallback to adder encoding
982.22/983.72	o 1741
982.22/983.72	c fallback to adder encoding
984.73/986.28	o 1738
984.73/986.28	c fallback to adder encoding
988.33/989.86	o 1735
988.33/989.86	c fallback to adder encoding
991.73/993.25	o 1732
991.73/993.25	c fallback to adder encoding
995.02/996.57	o 1728
995.02/996.57	c fallback to adder encoding
997.43/998.95	o 1724
997.43/998.95	c fallback to adder encoding
999.13/1000.66	o 1722
999.13/1000.66	c fallback to adder encoding
1001.42/1002.99	o 1718
1001.42/1002.99	c fallback to adder encoding
1003.92/1005.45	o 1715
1003.92/1005.45	c fallback to adder encoding
1007.93/1009.44	o 1707
1007.93/1009.44	c fallback to adder encoding
1011.81/1013.38	o 1704
1011.81/1013.38	c fallback to adder encoding
1014.33/1015.84	o 1703
1014.33/1015.84	c fallback to adder encoding
1016.62/1018.12	o 1698
1016.62/1018.12	c fallback to adder encoding
1019.13/1020.60	o 1697
1019.13/1020.60	c fallback to adder encoding
1021.69/1023.20	o 1696
1021.69/1023.20	c fallback to adder encoding
1025.33/1026.83	o 1694
1025.33/1026.83	c fallback to adder encoding
1029.44/1030.90	o 1690
1029.44/1030.90	c fallback to adder encoding
1031.82/1033.40	o 1679
1031.82/1033.40	c fallback to adder encoding
1035.72/1037.29	o 1674
1035.72/1037.29	c fallback to adder encoding
1038.81/1040.38	o 1672
1038.81/1040.38	c fallback to adder encoding
1040.52/1042.03	o 1671
1040.52/1042.03	c fallback to adder encoding
1043.01/1044.56	o 1668
1043.01/1044.56	c fallback to adder encoding
1045.13/1046.69	o 1667
1045.13/1046.69	c fallback to adder encoding
1047.82/1049.34	o 1665
1047.82/1049.34	c fallback to adder encoding
1050.31/1051.89	o 1664
1050.31/1051.89	c fallback to adder encoding
1052.32/1053.86	o 1654
1052.32/1053.86	c fallback to adder encoding
1054.73/1056.27	o 1645
1054.73/1056.27	c fallback to adder encoding
1057.23/1058.70	o 1644
1057.23/1058.70	c fallback to adder encoding
1060.12/1061.66	o 1642
1060.12/1061.66	c fallback to adder encoding
1063.28/1064.81	o 1639
1063.28/1064.81	c fallback to adder encoding
1066.27/1067.89	o 1638
1066.27/1067.89	c fallback to adder encoding
1068.35/1069.91	o 1633
1068.35/1069.91	c fallback to adder encoding
1072.56/1074.11	o 1632
1072.56/1074.11	c fallback to adder encoding
1074.86/1076.43	o 1622
1074.86/1076.43	c fallback to adder encoding
1078.25/1079.80	o 1595
1078.25/1079.80	c fallback to adder encoding
1079.67/1081.27	o 1594
1079.67/1081.27	c fallback to adder encoding
1082.17/1083.79	o 1593
1082.17/1083.79	c fallback to adder encoding
1084.96/1086.58	o 1590
1084.96/1086.58	c fallback to adder encoding
1089.07/1090.66	o 1589
1089.07/1090.66	c fallback to adder encoding
1090.97/1092.58	o 1588
1090.97/1092.58	c fallback to adder encoding
1093.94/1095.51	o 1587
1093.94/1095.51	c fallback to adder encoding
1096.18/1097.73	o 1563
1096.18/1097.73	c fallback to adder encoding
1100.37/1101.97	o 1557
1100.37/1101.97	c fallback to adder encoding
1105.08/1106.70	o 1553
1105.08/1106.70	c fallback to adder encoding
1108.15/1109.71	o 1552
1108.15/1109.71	c fallback to adder encoding
1109.87/1111.44	o 1551
1109.87/1111.44	c fallback to adder encoding
1112.04/1113.60	o 1550
1112.04/1113.60	c fallback to adder encoding
1114.77/1116.33	o 1545
1114.77/1116.33	c fallback to adder encoding
1117.78/1119.34	o 1540
1117.78/1119.34	c fallback to adder encoding
1120.45/1122.08	o 1536
1120.45/1122.08	c fallback to adder encoding
1121.95/1123.52	o 1534
1121.95/1123.52	c fallback to adder encoding
1124.23/1125.80	o 1533
1124.23/1125.80	c fallback to adder encoding
1126.57/1128.13	o 1531
1126.57/1128.13	c fallback to adder encoding
1128.75/1130.35	o 1528
1128.75/1130.35	c fallback to adder encoding
1130.86/1132.49	o 1470
1130.86/1132.49	c fallback to adder encoding
1133.85/1135.49	o 1466
1133.85/1135.49	c fallback to adder encoding
1136.37/1137.97	o 1465
1136.37/1137.97	c fallback to adder encoding
1139.13/1140.70	o 1448
1139.13/1140.70	c fallback to adder encoding
1141.40/1143.03	o 1446
1141.40/1143.03	c fallback to adder encoding
1143.71/1145.34	o 1440
1143.71/1145.34	c fallback to adder encoding
1147.00/1148.69	o 1439
1147.00/1148.69	c fallback to adder encoding
1148.20/1149.82	o 1438
1148.20/1149.82	c fallback to adder encoding
1150.62/1152.24	o 1434
1150.62/1152.24	c fallback to adder encoding
1155.29/1156.92	o 1429
1155.29/1156.92	c fallback to adder encoding
1157.91/1159.54	o 1428
1157.91/1159.54	c fallback to adder encoding
1160.50/1162.14	o 1426
1160.50/1162.14	c fallback to adder encoding
1162.10/1163.70	o 1425
1162.10/1163.70	c fallback to adder encoding
1164.91/1166.56	o 1424
1164.91/1166.56	c fallback to adder encoding
1167.90/1169.52	o 1423
1167.90/1169.52	c fallback to adder encoding
1170.79/1172.46	o 1420
1170.79/1172.46	c fallback to adder encoding
1172.38/1174.01	o 1419
1172.38/1174.01	c fallback to adder encoding
1175.29/1176.98	o 1415
1175.29/1176.98	c fallback to adder encoding
1176.60/1178.28	o 1410
1176.60/1178.28	c fallback to adder encoding
1181.60/1183.27	o 1409
1181.60/1183.27	c fallback to adder encoding
1184.68/1186.31	o 1408
1184.68/1186.31	c fallback to adder encoding
1186.69/1188.32	o 1403
1186.69/1188.32	c fallback to adder encoding
1189.29/1190.96	o 1400
1189.29/1190.96	c fallback to adder encoding
1191.20/1192.80	o 1399
1191.20/1192.80	c fallback to adder encoding
1194.29/1195.92	o 1396
1194.29/1195.92	c fallback to adder encoding
1195.99/1197.66	o 1392
1195.99/1197.66	c fallback to adder encoding
1198.89/1200.59	o 1390
1198.89/1200.59	c fallback to adder encoding
1201.06/1202.75	o 1387
1201.06/1202.75	c fallback to adder encoding
1204.14/1205.85	o 1384
1204.14/1205.85	c fallback to adder encoding
1206.54/1208.24	o 1379
1206.54/1208.24	c fallback to adder encoding
1210.23/1211.94	o 1378
1210.23/1211.94	c fallback to adder encoding
1212.53/1214.29	o 1375
1212.53/1214.29	c fallback to adder encoding
1214.05/1215.74	o 1372
1214.05/1215.74	c fallback to adder encoding
1216.13/1217.86	o 1370
1216.13/1217.86	c fallback to adder encoding
1218.53/1220.25	o 1369
1218.53/1220.25	c fallback to adder encoding
1221.22/1222.96	o 1368
1221.22/1222.96	c fallback to adder encoding
1226.39/1228.14	o 1341
1226.39/1228.14	c fallback to adder encoding
1229.46/1231.20	o 1340
1229.46/1231.20	c fallback to adder encoding
1235.18/1236.93	o 1331
1235.18/1236.93	c fallback to adder encoding
1238.77/1240.52	o 1330
1238.77/1240.52	c fallback to adder encoding
1243.37/1245.12	o 1329
1243.37/1245.12	c fallback to adder encoding
1246.17/1247.92	o 1022
1246.17/1247.92	c fallback to adder encoding
1247.76/1249.51	o 1020
1247.76/1249.51	c fallback to adder encoding
1249.98/1251.74	o 1018
1249.98/1251.74	c fallback to adder encoding
1251.57/1253.35	o 1016
1251.57/1253.35	c fallback to adder encoding
1253.47/1255.22	o 1013
1253.47/1255.22	c fallback to adder encoding
1255.58/1257.37	o 1012
1255.58/1257.37	c fallback to adder encoding
1257.56/1259.39	o 1009
1257.56/1259.39	c fallback to adder encoding
1258.79/1260.56	o 1008
1258.79/1260.56	c fallback to adder encoding
1260.96/1262.73	o 1005
1260.96/1262.73	c fallback to adder encoding
1262.27/1264.04	o 996
1262.27/1264.04	c fallback to adder encoding
1263.93/1265.71	o 994
1263.93/1265.71	c fallback to adder encoding
1266.21/1268.07	o 992
1266.21/1268.07	c fallback to adder encoding
1268.92/1270.78	o 990
1268.92/1270.78	c fallback to adder encoding
1270.38/1272.23	o 987
1270.38/1272.23	c fallback to adder encoding
1272.08/1273.97	o 986
1272.08/1273.97	c fallback to adder encoding
1274.37/1276.24	o 985
1274.37/1276.24	c fallback to adder encoding
1275.97/1277.85	o 982
1275.97/1277.85	c fallback to adder encoding
1277.78/1279.62	o 981
1277.78/1279.62	c fallback to adder encoding
1279.69/1281.53	o 977
1279.69/1281.53	c fallback to adder encoding
1281.45/1283.38	o 976
1281.45/1283.38	c fallback to adder encoding
1282.84/1284.72	o 972
1282.84/1284.72	c fallback to adder encoding
1283.94/1285.83	o 968
1283.94/1285.83	c fallback to adder encoding
1286.14/1288.00	o 960
1286.14/1288.00	c fallback to adder encoding
1287.53/1289.42	o 943
1287.53/1289.42	c fallback to adder encoding
1288.86/1290.70	o 910
1288.86/1290.70	c fallback to adder encoding
1290.74/1292.62	o 908
1290.74/1292.62	c fallback to adder encoding
1293.45/1295.35	o 907
1293.45/1295.35	c fallback to adder encoding
1295.13/1297.02	o 905
1295.13/1297.02	c fallback to adder encoding
1296.94/1298.90	o 899
1296.94/1298.90	c fallback to adder encoding
1298.71/1300.60	o 896
1298.71/1300.60	c fallback to adder encoding
1300.10/1302.04	o 895
1300.10/1302.04	c fallback to adder encoding
1301.20/1303.15	o 862
1301.20/1303.15	c fallback to adder encoding
1303.29/1305.21	o 859
1303.29/1305.21	c fallback to adder encoding
1304.20/1306.17	o 830
1304.20/1306.17	c fallback to adder encoding
1305.61/1307.57	o 829
1305.61/1307.57	c fallback to adder encoding
1307.70/1309.61	o 824
1307.70/1309.61	c fallback to adder encoding
1308.80/1310.72	o 821
1308.80/1310.72	c fallback to adder encoding
1309.69/1311.68	o 819
1309.69/1311.68	c fallback to adder encoding
1311.87/1313.82	o 816
1311.87/1313.82	c fallback to adder encoding
1313.57/1315.58	o 814
1313.57/1315.58	c fallback to adder encoding
1314.98/1316.91	o 810
1314.98/1316.91	c fallback to adder encoding
1316.36/1318.39	o 806
1316.36/1318.39	c fallback to adder encoding
1317.96/1319.98	o 805
1317.96/1319.98	c fallback to adder encoding
1319.95/1321.97	o 795
1319.95/1321.97	c fallback to adder encoding
1321.46/1323.49	o 793
1321.46/1323.49	c fallback to adder encoding
1322.86/1324.85	o 792
1322.86/1324.85	c fallback to adder encoding
1324.05/1326.06	o 791
1324.05/1326.06	c fallback to adder encoding
1324.85/1326.80	o 784
1324.85/1326.80	c fallback to adder encoding
1326.36/1328.32	o 783
1326.36/1328.32	c fallback to adder encoding
1327.45/1329.46	o 780
1327.45/1329.46	c fallback to adder encoding
1328.95/1330.95	o 777
1328.95/1330.95	c fallback to adder encoding
1330.57/1332.56	o 773
1330.57/1332.56	c fallback to adder encoding
1332.15/1334.19	o 772
1332.15/1334.19	c fallback to adder encoding
1333.87/1335.82	o 769
1333.87/1335.82	c fallback to adder encoding
1335.56/1337.52	o 768
1335.56/1337.52	c fallback to adder encoding
1336.06/1338.08	o 765
1336.06/1338.08	c fallback to adder encoding
1338.15/1340.11	o 764
1338.15/1340.11	c fallback to adder encoding
1339.06/1341.05	o 760
1339.06/1341.05	c fallback to adder encoding
1339.18/1341.98	o 755
1339.18/1341.98	c fallback to adder encoding
1341.27/1343.28	o 735
1341.27/1343.28	c fallback to adder encoding
1342.55/1344.51	o 719
1342.55/1344.51	c fallback to adder encoding
1344.36/1346.37	o 714
1344.36/1346.37	c fallback to adder encoding
1344.49/1347.34	o 710
1344.49/1347.34	c fallback to adder encoding
1347.05/1349.05	o 706
1347.05/1349.05	c fallback to adder encoding
1348.37/1350.33	o 704
1348.37/1350.33	c fallback to adder encoding
1349.25/1351.20	o 703
1349.25/1351.20	c fallback to adder encoding
1350.25/1352.20	o 680
1350.25/1352.20	c fallback to adder encoding
1351.16/1353.17	o 673
1351.16/1353.17	c fallback to adder encoding
1352.17/1354.14	o 671
1352.17/1354.14	c fallback to adder encoding
1353.36/1355.33	o 665
1353.36/1355.33	c fallback to adder encoding
1354.46/1356.43	o 664
1354.46/1356.43	c fallback to adder encoding
1356.26/1358.22	o 663
1356.26/1358.22	c fallback to adder encoding
1357.16/1359.13	o 654
1357.16/1359.13	c fallback to adder encoding
1357.87/1359.83	o 650
1357.87/1359.83	c fallback to adder encoding
1359.05/1361.07	o 647
1359.05/1361.07	c fallback to adder encoding
1359.96/1361.93	o 642
1359.96/1361.93	c fallback to adder encoding
1361.35/1363.39	o 641
1361.35/1363.39	c fallback to adder encoding
1362.22/1364.28	o 638
1362.22/1364.28	c fallback to adder encoding
1362.33/1364.95	o 632
1362.33/1364.95	c fallback to adder encoding
1364.11/1366.18	o 630
1364.11/1366.18	c fallback to adder encoding
1364.24/1366.99	o 626
1364.24/1366.99	c fallback to adder encoding
1365.72/1367.74	o 621
1365.72/1367.74	c fallback to adder encoding
1366.71/1368.76	o 616
1366.71/1368.76	c fallback to adder encoding
1367.88/1369.91	o 615
1367.88/1369.91	c fallback to adder encoding
1367.95/1370.54	o 610
1367.95/1370.54	c fallback to adder encoding
1369.18/1371.28	o 609
1369.18/1371.28	c fallback to adder encoding
1369.78/1371.86	o 608
1369.78/1371.86	c fallback to adder encoding
1370.79/1372.82	o 579
1370.79/1372.82	c fallback to adder encoding
1371.47/1373.50	o 576
1371.47/1373.50	c fallback to adder encoding
1372.28/1374.35	o 567
1372.28/1374.35	c fallback to adder encoding
1372.90/1374.92	o 564
1372.90/1374.92	c fallback to adder encoding
1373.68/1375.73	o 563
1373.68/1375.73	c fallback to adder encoding
1374.48/1376.50	o 553
1374.48/1376.50	c fallback to adder encoding
1374.53/1377.15	o 548
1374.53/1377.15	c fallback to adder encoding
1375.78/1377.87	o 546
1375.78/1377.87	c fallback to adder encoding
1375.90/1378.29	o 538
1375.90/1378.29	c fallback to adder encoding
1376.31/1378.75	o 534
1376.31/1378.75	c fallback to adder encoding
1377.49/1379.56	o 533
1377.49/1379.56	c fallback to adder encoding
1377.54/1380.16	o 528
1377.54/1380.16	c fallback to adder encoding
1378.74/1380.81	o 522
1378.74/1380.81	c fallback to adder encoding
1378.78/1381.27	o 520
1378.78/1381.27	c fallback to adder encoding
1380.05/1382.11	o 517
1380.05/1382.11	c fallback to adder encoding
1380.65/1382.73	o 512
1380.65/1382.73	c fallback to adder encoding
1380.71/1383.09	o 495
1380.71/1383.09	c fallback to adder encoding
1381.08/1383.39	o 492
1381.08/1383.39	c fallback to adder encoding
1381.73/1383.86	o 490
1381.73/1383.86	c fallback to adder encoding
1381.82/1384.19	o 488
1381.82/1384.19	c fallback to adder encoding
1382.65/1384.72	o 487
1382.65/1384.72	c fallback to adder encoding
1383.03/1385.17	o 481
1383.03/1385.17	c fallback to adder encoding
1383.45/1385.52	o 465
1383.45/1385.52	c fallback to adder encoding
1383.50/1385.86	o 445
1383.50/1385.86	c fallback to adder encoding
1384.14/1386.27	o 444
1384.14/1386.27	c fallback to adder encoding
1384.24/1386.58	o 440
1384.24/1386.58	c fallback to adder encoding
1384.83/1386.90	o 430
1384.83/1386.90	c fallback to adder encoding
1385.14/1387.21	o 421
1385.14/1387.21	c fallback to adder encoding
1385.18/1387.53	o 417
1385.18/1387.53	c fallback to adder encoding
1385.51/1387.89	o 409
1385.51/1387.89	c fallback to adder encoding
1386.14/1388.21	o 408
1386.14/1388.21	c fallback to adder encoding
1386.19/1388.59	o 404
1386.19/1388.59	c fallback to adder encoding
1386.57/1388.92	o 403
1386.57/1388.92	c fallback to adder encoding
1386.89/1389.25	o 400
1386.89/1389.25	c fallback to adder encoding
1387.55/1389.63	o 399
1387.55/1389.63	c fallback to adder encoding
1387.60/1389.94	o 396
1387.60/1389.94	c fallback to adder encoding
1388.14/1390.21	o 395
1388.14/1390.21	c fallback to adder encoding
1388.44/1390.58	o 393
1388.44/1390.58	c fallback to adder encoding
1388.56/1390.83	o 389
1388.56/1390.83	c fallback to adder encoding
1388.80/1391.15	o 384
1388.80/1391.15	c fallback to adder encoding
1389.11/1391.42	o 374
1389.11/1391.42	c fallback to adder encoding
1389.54/1391.61	o 367
1389.54/1391.61	c fallback to adder encoding
1389.57/1391.84	o 359
1389.57/1391.84	c fallback to adder encoding
1390.04/1392.11	o 357
1390.04/1392.11	c fallback to adder encoding
1390.07/1392.33	o 333
1390.07/1392.33	c fallback to adder encoding
1390.54/1392.61	o 324
1390.77/1393.00	o 109
1390.77/1393.03	c display solution
1390.77/1393.03	s OPTIMUM FOUND
1390.77/1393.03	v x1 -x2 x3 -x4 x5 -x6 -x7 x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 -x19 x20 x21 -x22 -x23 x24 -x25 x26 x27 -x28 -x29 x30 x31 -x32 -x33 x34 -x35 x36 -x37 x38 x39 -x40 -x41 x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 -x51 x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 -x61 x62 x63 -x64 x65 -x66 -x67 x68 x69 -x70 -x71 x72 -x73 x74 -x75 x76 x77 -x78 -x79 x80 x81 -x82 x83 -x84 x85 -x86 -x87 x88 x89 -x90 -x91 x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 x101 -x102 -x103 x104 -x105 x106 x107 -x108 -x109 x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 -x123 x124 x125 -x126 x127 -x128 x129 -x130 x131 -x132 x133 -x134 x135 -x136 x137 -x138 -x139 x140 -x141 x142 x143 -x144 -x145 x146 x147 -x148 x149 -x150 x151 -x152 -x153 x154 -x155 x156 x157 -x158 -x159 x160 -x161 x162 x163 -x164 -x165 x166 -x167 x168 x169 -x170 -x171 x172 -x173 x174 -x175 x176 x177 -x178 x179 -x180 -x181 x182 -x183 x184 -x185 x186 x187 -x188 -x189 x190 x191 -x192 -x193 x194 -x195 x196 -x197 x198 -x199 x200 

Verifier Data

OK	109

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 30389
/proc/meminfo: memFree=31275220/32873844 swapFree=7632/7632
[pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30389/statm: 2287 275 233 213 0 72 0

[startup+0.0704019 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 30389
/proc/meminfo: memFree=31275220/32873844 swapFree=7632/7632
[pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30389/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100285 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 30389
/proc/meminfo: memFree=31275220/32873844 swapFree=7632/7632
[pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30389/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300298 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 30389
/proc/meminfo: memFree=31275220/32873844 swapFree=7632/7632
[pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30389/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700256 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 30389
/proc/meminfo: memFree=31275220/32873844 swapFree=7632/7632
[pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30389/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50039 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 30403
/proc/meminfo: memFree=31245884/32873844 swapFree=7632/7632
[pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30389/statm: 2287 275 233 213 0 72 0
[pid=30390] ppid=30389 vsize=11308 CPUtime=0.12 cores=1,3,5,7
/proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 2779 5612 0 0 8 1 2 1 20 0 1 0 288737383 11579392 2046 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30390/statm: 2827 2046 165 439 0 2384 0
[pid=30402] ppid=30390 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30402/stat : 30402 (satsolver.sh) S 30390 30389 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288737397 9367552 267 33554432000 4194304 5064252 140733454469824 140733454468736 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30402/statm: 2287 267 226 213 0 72 0
[pid=30403] ppid=30402 vsize=18732 CPUtime=1.35 cores=1,3,5,7
/proc/30403/stat : 30403 (glucose) R 30402 30389 12121 0 -1 4202496 4236 0 0 0 134 1 0 0 20 0 1 0 288737398 19181568 4033 33554432000 4194304 5208918 140733867101104 140733867098952 4229427 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30403/statm: 4683 4033 105 248 0 4432 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 48336

[startup+3.10041 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 30410
/proc/meminfo: memFree=31245332/32873844 swapFree=7632/7632
[pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30389/statm: 2287 275 233 213 0 72 0
[pid=30390] ppid=30389 vsize=11308 CPUtime=0.12 cores=1,3,5,7
/proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 2779 5612 0 0 8 1 2 1 20 0 1 0 288737383 11579392 2046 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30390/statm: 2827 2046 165 439 0 2384 0
[pid=30402] ppid=30390 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30402/stat : 30402 (satsolver.sh) S 30390 30389 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288737397 9367552 267 33554432000 4194304 5064252 140733454469824 140733454468736 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30402/statm: 2287 267 226 213 0 72 0
[pid=30403] ppid=30402 vsize=21940 CPUtime=2.94 cores=1,3,5,7
/proc/30403/stat : 30403 (glucose) R 30402 30389 12121 0 -1 4202496 4684 0 0 0 293 1 0 0 20 0 1 0 288737398 22466560 4467 33554432000 4194304 5208918 140733867101104 140733867099064 4211635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30403/statm: 5485 4467 105 248 0 5234 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 51544

[startup+6.30034 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 30424
/proc/meminfo: memFree=31239060/32873844 swapFree=7632/7632
[pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30389/statm: 2287 275 233 213 0 72 0
[pid=30390] ppid=30389 vsize=19496 CPUtime=5.26 cores=1,3,5,7
/proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 4937 14141 0 0 15 2 503 6 20 0 1 0 288737383 19963904 3866 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30390/statm: 4874 3866 166 439 0 4431 0
[pid=30423] ppid=30390 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30423/stat : 30423 (satsolver.sh) S 30390 30389 12121 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288737912 9367552 267 33554432000 4194304 5064252 140734690799248 140734690798160 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30423/statm: 2287 267 226 213 0 72 0
[pid=30424] ppid=30423 vsize=18340 CPUtime=0.99 cores=1,3,5,7
/proc/30424/stat : 30424 (glucose) R 30423 30389 12121 0 -1 4202496 3599 0 0 0 99 0 0 0 20 0 1 0 288737912 18780160 3911 33554432000 4194304 5208918 140733418535168 140733418533016 4205761 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30424/statm: 4585 3911 105 248 0 4334 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 56132

[startup+12.7004 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 30452
/proc/meminfo: memFree=31237140/32873844 swapFree=7632/7632
[pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30389/statm: 2287 275 233 213 0 72 0
[pid=30390] ppid=30389 vsize=19496 CPUtime=9.19 cores=1,3,5,7
/proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 7094 21828 0 0 23 3 883 10 20 0 1 0 288737383 19963904 3866 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30390/statm: 4874 3866 166 439 0 4431 0
[pid=30442] ppid=30390 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30442/stat : 30442 (satsolver.sh) S 30390 30389 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288738305 9367552 266 33554432000 4194304 5064252 140733533215984 140733533214896 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30442/statm: 2287 266 226 213 0 72 0
[pid=30443] ppid=30442 vsize=19420 CPUtime=3.47 cores=1,3,5,7
/proc/30443/stat : 30443 (glucose) R 30442 30389 12121 0 -1 4202496 4685 0 0 0 346 1 0 0 20 0 1 0 288738305 19886080 4195 33554432000 4194304 5208918 140737220425168 140737220423128 4211176 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30443/statm: 4855 4195 105 248 0 4604 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 57212

[startup+25.5004 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 30508
/proc/meminfo: memFree=31240080/32873844 swapFree=7632/7632
[pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30389/statm: 2287 275 233 213 0 72 0
[pid=30390] ppid=30389 vsize=19496 CPUtime=24.88 cores=1,3,5,7
/proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 13565 46601 0 0 44 7 2415 22 20 0 1 0 288737383 19963904 3866 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30390/statm: 4874 3866 166 439 0 4431 0
[pid=30507] ppid=30390 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30507/stat : 30507 (satsolver.sh) S 30390 30389 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288739874 9367552 266 33554432000 4194304 5064252 140735695699136 140735695698048 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30507/statm: 2287 266 226 213 0 72 0
[pid=30508] ppid=30507 vsize=18168 CPUtime=0.58 cores=1,3,5,7
/proc/30508/stat : 30508 (glucose) R 30507 30389 12121 0 -1 4202496 3666 0 0 0 58 0 0 0 20 0 1 0 288739874 18604032 4025 33554432000 4194304 5208918 140733646611472 140733646610872 4211122 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30508/statm: 4542 4025 104 248 0 4291 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 55960

[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 30630
/proc/meminfo: memFree=31247544/32873844 swapFree=7632/7632
[pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30389/statm: 2287 275 233 213 0 72 0
[pid=30390] ppid=30389 vsize=19444 CPUtime=51.08 cores=1,3,5,7
/proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 30821 110450 0 0 101 17 4933 57 20 0 1 0 288737383 19910656 3866 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30390/statm: 4861 3866 166 439 0 4418 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 28592

[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/184 30904
/proc/meminfo: memFree=31241232/32873844 swapFree=7632/7632
[pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30389/statm: 2287 275 233 213 0 72 0
[pid=30390] ppid=30389 vsize=19444 CPUtime=100.89 cores=1,3,5,7
/proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 63176 222033 0 0 201 34 9738 116 20 0 1 0 288737383 19910656 3866 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30390/statm: 4861 3866 166 439 0 4418 0
[pid=30896] ppid=30390 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30896/stat : 30896 (satsolver.sh) S 30390 30389 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288747475 9367552 266 33554432000 4194304 5064252 140733239710640 140733239709552 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30896/statm: 2287 266 226 213 0 72 0
[pid=30897] ppid=30896 vsize=17700 CPUtime=1.37 cores=1,3,5,7
/proc/30897/stat : 30897 (glucose) R 30896 30389 12121 0 -1 4202496 3469 0 0 0 137 0 0 0 20 0 1 0 288747475 18124800 3911 33554432000 4194304 5208918 140736282187504 140736282185256 4205681 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30897/statm: 4425 3911 105 248 0 4174 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 55440

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31233
/proc/meminfo: memFree=31241984/32873844 swapFree=7632/7632
[pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30389/statm: 2287 275 233 213 0 72 0
[pid=30390] ppid=30389 vsize=19444 CPUtime=160.96 cores=1,3,5,7
/proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 99845 349020 0 0 315 53 15545 183 20 0 1 0 288737383 19910656 3866 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30390/statm: 4861 3866 166 439 0 4418 0
[pid=31226] ppid=30390 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31226/stat : 31226 (satsolver.sh) S 30390 30389 12121 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 288753484 9367552 267 33554432000 4194304 5064252 140733208785968 140733208784880 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31226/statm: 2287 267 226 213 0 72 0
[pid=31229] ppid=31226 vsize=17756 CPUtime=1.28 cores=1,3,5,7
/proc/31229/stat : 31229 (glucose) R 31226 30389 12121 0 -1 4202496 3753 0 0 0 127 1 0 0 20 0 1 0 288753485 18182144 3643 33554432000 4194304 5208918 140733376558464 140733376556216 4205263 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31229/statm: 4439 3643 104 248 0 4188 0
Current children cumulated CPU time (s) 162.24

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


[startup+1122.3 s]
/proc/loadavg: 1.94 1.96 1.98 3/183 3690
/proc/meminfo: memFree=31072084/32873844 swapFree=7632/7632
[pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30389/statm: 2287 275 233 213 0 72 0
[pid=30390] ppid=30389 vsize=11252 CPUtime=1120.62 cores=1,3,5,7
/proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 612401 2572192 0 0 2086 275 108415 1286 20 0 1 0 288737383 11522048 2363 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/30390/statm: 2813 2363 166 439 0 2370 0
Current children cumulated CPU time (s) 1120.62
Current children cumulated vsize (KiB) 20400

[startup+1182.3 s]
/proc/loadavg: 1.92 1.95 1.97 3/183 3858
/proc/meminfo: memFree=31078712/32873844 swapFree=7632/7632
[pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30389/statm: 2287 275 233 213 0 72 0
[pid=30390] ppid=30389 vsize=11252 CPUtime=1176.76 cores=1,3,5,7
/proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 650144 2732904 0 0 2214 290 113805 1367 20 0 1 0 288737383 11522048 2363 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/30390/statm: 2813 2363 166 439 0 2370 0
[pid=3857] ppid=30390 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3857/stat : 3857 (satsolver.sh) S 30390 30389 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288855217 9367552 266 33554432000 4194304 5064252 140737095912208 140737095911120 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3857/statm: 2287 266 226 213 0 72 0
[pid=3858] ppid=3857 vsize=18368 CPUtime=3.94 cores=1,3,5,7
/proc/3858/stat : 3858 (glucose) R 3857 30389 12121 0 -1 4202496 4214 0 0 0 394 0 0 0 20 0 1 0 288855218 18808832 3688 33554432000 4194304 5208918 140733605481936 140733605479608 4211632 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3858/statm: 4592 3688 105 248 0 4341 0
Current children cumulated CPU time (s) 1180.7
Current children cumulated vsize (KiB) 47916

[startup+1242.3 s]
/proc/loadavg: 1.97 1.96 1.97 3/183 4005
/proc/meminfo: memFree=31085424/32873844 swapFree=7632/7632
[pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30389/statm: 2287 275 233 213 0 72 0
[pid=30390] ppid=30389 vsize=11252 CPUtime=1238.86 cores=1,3,5,7
/proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 684605 2882711 0 0 2330 303 119815 1438 20 0 1 0 288737383 11522048 2363 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/30390/statm: 2813 2363 166 439 0 2370 0
[pid=4004] ppid=30390 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4004/stat : 4004 (satsolver.sh) S 30390 30389 12121 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288861441 9367552 267 33554432000 4194304 5064252 140737303242896 140737303241808 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4004/statm: 2287 267 226 213 0 72 0
[pid=4005] ppid=4004 vsize=15588 CPUtime=1.7 cores=1,3,5,7
/proc/4005/stat : 4005 (glucose) R 4004 30389 12121 0 -1 4202496 3267 0 0 0 170 0 0 0 20 0 1 0 288861441 15962112 3282 33554432000 4194304 5208918 140737162288048 140737162285800 4211605 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4005/statm: 3897 3282 105 248 0 3646 0
Current children cumulated CPU time (s) 1240.56
Current children cumulated vsize (KiB) 45136

[startup+1302.3 s]
/proc/loadavg: 1.99 1.96 1.97 3/184 4226
/proc/meminfo: memFree=31090836/32873844 swapFree=7632/7632
[pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30389/statm: 2287 275 233 213 0 72 0
[pid=30390] ppid=30389 vsize=11252 CPUtime=1300.21 cores=1,3,5,7
/proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 737117 3095567 0 0 2486 321 125674 1540 20 0 1 0 288737383 11522048 2372 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/30390/statm: 2813 2372 166 439 0 2370 0
Current children cumulated CPU time (s) 1300.21
Current children cumulated vsize (KiB) 20400

[startup+1362.3 s]
/proc/loadavg: 1.95 1.95 1.97 3/183 4541
/proc/meminfo: memFree=31081040/32873844 swapFree=7632/7632
[pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30389/statm: 2287 275 233 213 0 72 0
[pid=30390] ppid=30389 vsize=11252 CPUtime=1360.03 cores=1,3,5,7
/proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 809105 3369371 0 0 2659 345 131344 1655 20 0 1 0 288737383 11522048 2392 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/30390/statm: 2813 2392 166 439 0 2370 0
Current children cumulated CPU time (s) 1360.03
Current children cumulated vsize (KiB) 20400

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

[startup+1369.61 s]
/proc/loadavg: 2.04 1.97 1.97 3/183 4597
/proc/meminfo: memFree=31072460/32873844 swapFree=7632/7632
[pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30389/statm: 2287 275 233 213 0 72 0
[pid=30390] ppid=30389 vsize=11252 CPUtime=1366.79 cores=1,3,5,7
/proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 817159 3410958 0 0 2680 348 131981 1670 20 0 1 0 288737383 11522048 2392 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/30390/statm: 2813 2392 166 439 0 2370 0
[pid=4596] ppid=30390 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4596/stat : 4596 (satsolver.sh) S 30390 30389 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288874263 9367552 266 33554432000 4194304 5064252 140735104039808 140735104038720 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4596/statm: 2287 266 226 213 0 72 0
[pid=4597] ppid=4596 vsize=10480 CPUtime=0.8 cores=1,3,5,7
/proc/4597/stat : 4597 (glucose) R 4596 30389 12121 0 -1 4202496 2524 0 0 0 80 0 0 0 20 0 1 0 288874263 10731520 2054 33554432000 4194304 5208918 140736237993520 140736237991368 4229456 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4597/statm: 2620 2054 105 248 0 2369 0
Current children cumulated CPU time (s) 1367.59
Current children cumulated vsize (KiB) 40028

[startup+1382.4 s]
/proc/loadavg: 2.03 1.97 1.97 3/183 4723
/proc/meminfo: memFree=31094792/32873844 swapFree=7632/7632
[pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30389/statm: 2287 275 233 213 0 72 0
[pid=30390] ppid=30389 vsize=11252 CPUtime=1380.1 cores=1,3,5,7
/proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 837594 3516767 0 0 2732 355 133213 1710 20 0 1 0 288737383 11522048 2392 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/30390/statm: 2813 2392 166 439 0 2370 0
Current children cumulated CPU time (s) 1380.1
Current children cumulated vsize (KiB) 20400

[startup+1388.8 s]
/proc/loadavg: 2.03 1.97 1.97 4/183 4837
/proc/meminfo: memFree=31090008/32873844 swapFree=7632/7632
[pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30389/statm: 2287 275 233 213 0 72 0
[pid=30390] ppid=30389 vsize=11252 CPUtime=1386.57 cores=1,3,5,7
/proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 853659 3602095 0 0 2766 360 133790 1741 20 0 1 0 288737383 11522048 2392 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/30390/statm: 2813 2392 166 439 0 2370 0
Current children cumulated CPU time (s) 1386.57
Current children cumulated vsize (KiB) 20400

[startup+1390.4 s]
/proc/loadavg: 2.03 1.97 1.97 3/183 4884
/proc/meminfo: memFree=31083124/32873844 swapFree=7632/7632
[pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30389/statm: 2287 275 233 213 0 72 0
[pid=30390] ppid=30389 vsize=11252 CPUtime=1388.18 cores=1,3,5,7
/proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 858152 3626951 0 0 2775 361 133933 1749 20 0 1 0 288737383 11522048 2392 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/30390/statm: 2813 2392 166 439 0 2370 0
[pid=4883] ppid=30390 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4883/stat : 4883 (satsolver.sh) S 30390 30389 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288876407 9367552 266 33554432000 4194304 5064252 140733403184528 140733403183440 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4883/statm: 2287 266 226 213 0 72 0
[pid=4884] ppid=4883 vsize=6632 CPUtime=0.16 cores=1,3,5,7
/proc/4884/stat : 4884 (glucose) R 4883 30389 12121 0 -1 4202496 1787 0 0 0 16 0 0 0 20 0 1 0 288876407 6791168 1363 33554432000 4194304 5208918 140734334932448 140733403183464 4210976 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4884/statm: 1658 1363 104 248 0 1407 0
Current children cumulated CPU time (s) 1388.34
Current children cumulated vsize (KiB) 36180

[startup+1392 s]
/proc/loadavg: 2.03 1.97 1.97 3/183 4912
/proc/meminfo: memFree=31083488/32873844 swapFree=7632/7632
[pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30389/statm: 2287 275 233 213 0 72 0
[pid=30390] ppid=30389 vsize=11252 CPUtime=1389.81 cores=1,3,5,7
/proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 862166 3655642 0 0 2785 363 134075 1758 20 0 1 0 288737383 11522048 2392 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/30390/statm: 2813 2392 166 439 0 2370 0
Current children cumulated CPU time (s) 1389.81
Current children cumulated vsize (KiB) 20400

[startup+1392.8 s]
/proc/loadavg: 2.03 1.97 1.97 3/182 4941
/proc/meminfo: memFree=31086152/32873844 swapFree=7632/7632
[pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30389/statm: 2287 275 233 213 0 72 0
[pid=30390] ppid=30389 vsize=11252 CPUtime=1390.62 cores=1,3,5,7
/proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 865002 3669037 0 0 2793 364 134142 1763 20 0 1 0 288737383 11522048 2392 33554432000 4194304 5990268 140735332602288 140735332593712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/30390/statm: 2813 2392 166 439 0 2370 0
Current children cumulated CPU time (s) 1390.62
Current children cumulated vsize (KiB) 20400

[startup+1393 s]
/proc/loadavg: 2.03 1.97 1.97 3/182 4941
/proc/meminfo: memFree=31086152/32873844 swapFree=7632/7632
[pid=30389] ppid=30387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30389/stat : 30389 (npSolver-wbo-It) S 30387 30389 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288737383 9367552 275 33554432000 4194304 5064252 140737114544288 140737114543200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30389/statm: 2287 275 233 213 0 72 0
[pid=30390] ppid=30389 vsize=11252 CPUtime=1390.77 cores=1,3,5,7
/proc/30390/stat : 30390 (npSolver-wbo) S 30389 30389 12121 0 -1 4202496 865010 3676128 0 0 2793 364 134156 1764 20 0 1 0 288737383 11522048 2392 33554432000 4194304 5990268 140735332602288 140735332593200 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/30390/statm: 2813 2392 166 439 0 2370 0
Current children cumulated CPU time (s) 1390.77
Current children cumulated vsize (KiB) 20400

Child status: 0
Real time (s): 1393.04
CPU time (s): 1391
CPU user time (s): 1369.63
CPU system time (s): 21.3648
CPU usage (%): 99.8535
Max. virtual memory (cumulated for all children) (KiB): 64488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1369.63
system time used= 21.3648
maximum resident set size= 30916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4550051
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3662880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19536
involuntary context switches= 7336

runsolver used 3.18152 second user time and 8.06377 second system time

The end

Launcher Data

Begin job on node141 at 2012-05-28 19:28:50
IDJOB=3715118
IDBENCH=79419
IDSOLVER=2296
FILE ID=node141/3715118-1338226130
RUNJOBID= node141-1338210956-15179
PBS_JOBID= 14624602
Free space on /tmp= 71516 MiB

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

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

MD5SUM BENCH= 3100ea9ba7746ae86daacced189e255b
RANDOM SEED=186059117

node141.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.744
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.48
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.744
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.744
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.93
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.744
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.92
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.744
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.92
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.744
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.744
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.92
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.744
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:        31275584 kB
Buffers:          311056 kB
Cached:           412336 kB
SwapCached:          220 kB
Active:           280900 kB
Inactive:         477448 kB
Active(anon):      25048 kB
Inactive(anon):    11292 kB
Active(file):     255852 kB
Inactive(file):   466156 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108636 kB
Dirty:             11856 kB
Writeback:             0 kB
AnonPages:         41224 kB
Mapped:            11700 kB
Shmem:               172 kB
Slab:             700076 kB
SReclaimable:     141404 kB
SUnreclaim:       558672 kB
KernelStack:        1456 kB
PageTables:         4100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     150852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71508 MiB
End job on node141 at 2012-05-28 19:52:04