Trace number 3753812

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topDown (fixed)OPTIMUM 971.523 970.797

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh203_wcsp.wbo
MD5SUM542e56009f24e88bce5dd1146eaa3ca2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark39
Best CPU time to get the best result obtained on this benchmark0.011997
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 constraints900
Number of soft constraints800
Number of constraints which are clauses800
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 394239
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 394238
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.02	c run usual solver
0.00/0.05	o 10490
0.00/0.05	c fallback to adder encoding
5.77/5.89	o 10484
5.77/5.89	c fallback to adder encoding
10.71/10.81	o 10473
10.71/10.81	c fallback to adder encoding
14.72/14.83	o 10467
14.72/14.83	c fallback to adder encoding
22.75/22.88	o 10466
22.75/22.88	c fallback to adder encoding
26.38/26.40	o 10440
26.38/26.40	c fallback to adder encoding
30.47/30.50	o 10438
30.47/30.50	c fallback to adder encoding
33.97/34.05	o 10437
33.97/34.05	c fallback to adder encoding
39.67/39.77	o 10429
39.67/39.77	c fallback to adder encoding
43.76/43.88	o 10427
43.76/43.88	c fallback to adder encoding
50.13/50.23	o 10423
50.13/50.23	c fallback to adder encoding
53.16/53.26	o 10393
53.16/53.26	c fallback to adder encoding
56.46/56.59	o 10388
56.46/56.59	c fallback to adder encoding
59.81/59.92	o 10385
59.81/59.92	c fallback to adder encoding
63.32/63.42	o 10371
63.32/63.42	c fallback to adder encoding
67.76/67.89	o 10353
67.76/67.89	c fallback to adder encoding
71.81/71.91	o 10352
71.81/71.91	c fallback to adder encoding
75.57/75.67	o 10317
75.57/75.67	c fallback to adder encoding
79.97/80.09	o 10311
79.97/80.09	c fallback to adder encoding
85.26/85.38	o 10310
85.26/85.38	c fallback to adder encoding
88.54/88.64	o 10309
88.54/88.64	c fallback to adder encoding
93.61/93.70	o 10306
93.61/93.70	c fallback to adder encoding
98.37/98.49	o 10305
98.37/98.49	c fallback to adder encoding
105.63/105.78	o 10304
105.63/105.78	c fallback to adder encoding
108.74/108.81	o 10292
108.74/108.81	c fallback to adder encoding
112.03/112.15	o 10273
112.03/112.15	c fallback to adder encoding
114.57/114.71	o 8486
114.57/114.71	c fallback to adder encoding
122.09/122.22	o 8461
122.09/122.22	c fallback to adder encoding
125.22/125.32	o 8459
125.22/125.32	c fallback to adder encoding
133.06/133.20	o 8450
133.06/133.20	c fallback to adder encoding
136.73/136.86	o 8448
136.73/136.86	c fallback to adder encoding
142.69/142.81	o 8447
142.69/142.81	c fallback to adder encoding
145.32/145.42	o 8436
145.32/145.42	c fallback to adder encoding
149.07/149.22	o 8435
149.07/149.22	c fallback to adder encoding
153.90/154.06	o 8428
153.90/154.06	c fallback to adder encoding
159.49/159.69	o 8426
159.49/159.69	c fallback to adder encoding
163.85/164.03	o 8425
163.85/164.03	c fallback to adder encoding
167.12/167.30	o 8424
167.12/167.30	c fallback to adder encoding
171.47/171.65	o 8423
171.47/171.65	c fallback to adder encoding
175.80/175.91	o 8382
175.80/175.91	c fallback to adder encoding
179.38/179.55	o 8376
179.38/179.55	c fallback to adder encoding
183.40/183.59	o 8369
183.40/183.59	c fallback to adder encoding
186.09/186.26	o 8368
186.09/186.26	c fallback to adder encoding
189.65/189.84	o 8367
189.65/189.84	c fallback to adder encoding
194.06/194.24	o 8366
194.06/194.24	c fallback to adder encoding
197.20/197.30	o 8364
197.20/197.30	c fallback to adder encoding
202.95/203.13	o 8358
202.95/203.13	c fallback to adder encoding
206.92/207.11	o 8356
206.92/207.11	c fallback to adder encoding
213.85/214.03	o 8342
213.85/214.03	c fallback to adder encoding
216.29/216.50	o 8328
216.29/216.50	c fallback to adder encoding
221.14/221.35	o 8319
221.14/221.35	c fallback to adder encoding
226.85/227.07	o 8318
226.85/227.07	c fallback to adder encoding
233.20/233.41	o 8311
233.20/233.41	c fallback to adder encoding
237.10/237.31	o 8310
237.10/237.31	c fallback to adder encoding
243.43/243.65	o 8309
243.43/243.65	c fallback to adder encoding
248.12/248.32	o 8307
248.12/248.32	c fallback to adder encoding
251.04/251.25	o 8288
251.04/251.25	c fallback to adder encoding
254.53/254.75	o 8287
254.53/254.75	c fallback to adder encoding
258.00/258.21	o 8261
258.00/258.21	c fallback to adder encoding
262.53/262.75	o 8260
262.53/262.75	c fallback to adder encoding
266.41/266.64	o 8259
266.41/266.64	c fallback to adder encoding
270.83/271.06	o 8258
270.83/271.06	c fallback to adder encoding
276.62/276.86	o 8239
276.62/276.86	c fallback to adder encoding
283.25/283.49	o 8235
283.25/283.49	c fallback to adder encoding
286.52/286.75	o 8234
286.52/286.75	c fallback to adder encoding
290.92/291.14	o 8232
290.92/291.14	c fallback to adder encoding
295.33/295.57	o 8231
295.33/295.57	c fallback to adder encoding
301.82/302.06	o 8230
301.82/302.06	c fallback to adder encoding
307.53/307.79	o 8225
307.53/307.79	c fallback to adder encoding
310.71/310.96	o 8223
310.71/310.96	c fallback to adder encoding
315.86/316.11	o 8194
315.86/316.11	c fallback to adder encoding
322.48/322.73	o 8193
322.48/322.73	c fallback to adder encoding
332.10/332.34	o 8192
332.10/332.34	c fallback to adder encoding
335.23/335.43	o 8191
335.23/335.43	c fallback to adder encoding
337.61/337.87	o 8190
337.61/337.87	c fallback to adder encoding
341.67/341.94	o 8187
341.67/341.94	c fallback to adder encoding
343.79/344.05	o 8176
343.79/344.05	c fallback to adder encoding
346.90/347.10	o 8175
346.90/347.10	c fallback to adder encoding
348.73/349.01	o 7610
348.73/349.01	c fallback to adder encoding
355.29/355.50	o 7606
355.29/355.50	c fallback to adder encoding
357.35/357.63	o 7605
357.35/357.63	c fallback to adder encoding
360.55/360.84	o 7590
360.55/360.84	c fallback to adder encoding
365.05/365.35	o 7585
365.05/365.35	c fallback to adder encoding
369.32/369.62	o 7584
369.32/369.62	c fallback to adder encoding
375.00/375.31	o 7583
375.00/375.31	c fallback to adder encoding
378.44/378.74	o 7559
378.44/378.74	c fallback to adder encoding
380.10/380.41	o 7558
380.10/380.41	c fallback to adder encoding
384.54/384.85	o 7537
384.54/384.85	c fallback to adder encoding
387.27/387.56	o 7485
387.27/387.56	c fallback to adder encoding
392.05/392.35	o 7478
392.05/392.35	c fallback to adder encoding
395.92/396.22	o 7425
395.92/396.22	c fallback to adder encoding
399.65/399.96	o 7422
399.65/399.96	c fallback to adder encoding
403.36/403.70	o 7421
403.36/403.70	c fallback to adder encoding
405.77/406.07	o 7420
405.77/406.07	c fallback to adder encoding
409.36/409.68	o 7419
409.36/409.68	c fallback to adder encoding
412.21/412.53	o 7413
412.21/412.53	c fallback to adder encoding
415.14/415.40	o 7395
415.14/415.40	c fallback to adder encoding
419.13/419.49	o 7392
419.13/419.49	c fallback to adder encoding
421.00/421.35	o 7338
421.00/421.35	c fallback to adder encoding
423.98/424.31	o 7334
423.98/424.31	c fallback to adder encoding
427.28/427.61	o 7329
427.28/427.61	c fallback to adder encoding
435.12/435.50	o 7328
435.12/435.50	c fallback to adder encoding
435.98/436.32	o 7297
435.98/436.32	c fallback to adder encoding
443.80/444.18	o 7296
443.80/444.18	c fallback to adder encoding
446.42/446.79	o 7290
446.42/446.79	c fallback to adder encoding
450.92/451.22	o 7289
450.92/451.22	c fallback to adder encoding
453.89/454.24	o 7281
453.89/454.24	c fallback to adder encoding
457.80/458.18	o 7275
457.80/458.18	c fallback to adder encoding
459.27/459.69	o 7189
459.27/459.69	c fallback to adder encoding
463.62/464.01	o 7185
463.62/464.01	c fallback to adder encoding
467.28/467.66	o 7135
467.28/467.66	c fallback to adder encoding
471.38/471.79	o 7123
471.38/471.79	c fallback to adder encoding
474.58/474.96	o 7118
474.58/474.96	c fallback to adder encoding
477.17/477.59	o 6952
477.17/477.59	c fallback to adder encoding
480.12/480.56	o 6928
480.12/480.56	c fallback to adder encoding
482.92/483.36	o 6915
482.92/483.36	c fallback to adder encoding
487.34/487.76	o 6627
487.34/487.76	c fallback to adder encoding
500.79/501.23	o 6598
500.79/501.23	c fallback to adder encoding
502.93/503.39	o 6584
502.93/503.39	c fallback to adder encoding
503.15/506.87	o 6561
503.15/506.87	c fallback to adder encoding
511.17/511.61	o 6555
511.17/511.61	c fallback to adder encoding
513.63/514.06	o 4224
513.63/514.06	c fallback to adder encoding
516.87/517.32	o 4222
516.87/517.32	c fallback to adder encoding
520.17/520.62	o 4215
520.17/520.62	c fallback to adder encoding
523.22/523.67	o 4209
523.22/523.67	c fallback to adder encoding
529.18/529.62	o 4200
529.18/529.62	c fallback to adder encoding
532.01/532.48	o 4195
532.01/532.48	c fallback to adder encoding
534.82/535.29	o 4193
534.82/535.29	c fallback to adder encoding
539.09/539.54	o 4184
539.09/539.54	c fallback to adder encoding
540.97/541.45	o 4174
540.97/541.45	c fallback to adder encoding
543.14/543.62	o 4153
543.14/543.62	c fallback to adder encoding
545.94/546.41	o 4146
545.94/546.41	c fallback to adder encoding
550.90/551.30	o 4127
550.90/551.30	c fallback to adder encoding
556.59/557.06	o 4120
556.59/557.06	c fallback to adder encoding
559.18/559.65	o 4119
559.18/559.65	c fallback to adder encoding
565.33/565.81	o 4105
565.33/565.81	c fallback to adder encoding
569.79/570.27	o 4097
569.79/570.27	c fallback to adder encoding
572.77/573.25	o 4096
572.77/573.25	c fallback to adder encoding
575.03/575.50	o 4069
575.03/575.50	c fallback to adder encoding
577.69/578.17	o 4066
577.69/578.17	c fallback to adder encoding
580.08/580.56	o 4061
580.08/580.56	c fallback to adder encoding
581.49/581.96	o 4054
581.49/581.96	c fallback to adder encoding
585.58/586.00	o 4050
585.58/586.00	c fallback to adder encoding
588.49/588.97	o 4048
588.49/588.97	c fallback to adder encoding
592.91/593.40	o 4025
592.91/593.40	c fallback to adder encoding
595.18/595.66	o 4016
595.18/595.66	c fallback to adder encoding
597.72/598.21	o 4014
597.72/598.21	c fallback to adder encoding
599.88/600.39	o 3953
599.88/600.39	c fallback to adder encoding
604.59/605.09	o 3947
604.59/605.09	c fallback to adder encoding
607.36/607.85	o 3940
607.36/607.85	c fallback to adder encoding
609.79/610.27	o 3933
609.79/610.27	c fallback to adder encoding
611.88/612.35	o 3916
611.88/612.35	c fallback to adder encoding
615.36/615.91	o 3905
615.36/615.91	c fallback to adder encoding
618.88/619.51	o 3904
618.88/619.51	c fallback to adder encoding
620.59/621.26	o 3879
620.59/621.26	c fallback to adder encoding
621.77/622.44	o 3843
621.77/622.44	c fallback to adder encoding
623.28/623.97	o 2967
623.28/623.97	c fallback to adder encoding
626.09/626.79	o 2956
626.09/626.79	c fallback to adder encoding
628.28/628.99	o 2952
628.28/628.99	c fallback to adder encoding
632.46/633.15	o 2879
632.46/633.15	c fallback to adder encoding
635.08/635.75	o 2878
635.08/635.75	c fallback to adder encoding
637.56/638.24	o 2876
637.56/638.24	c fallback to adder encoding
642.27/642.98	o 2829
642.27/642.98	c fallback to adder encoding
647.02/647.71	o 2816
647.02/647.71	c fallback to adder encoding
649.76/650.49	o 2786
649.76/650.49	c fallback to adder encoding
652.26/652.95	o 2763
652.26/652.95	c fallback to adder encoding
655.47/656.16	o 2724
655.47/656.16	c fallback to adder encoding
658.18/658.90	o 2716
658.18/658.90	c fallback to adder encoding
663.57/664.29	o 2712
663.57/664.29	c fallback to adder encoding
668.36/669.05	o 2705
668.36/669.05	c fallback to adder encoding
670.86/671.54	o 2689
670.86/671.54	c fallback to adder encoding
673.38/674.06	o 2663
673.38/674.06	c fallback to adder encoding
675.96/676.66	o 2662
675.96/676.66	c fallback to adder encoding
679.56/680.29	o 2659
679.56/680.29	c fallback to adder encoding
681.03/681.81	o 2631
681.03/681.81	c fallback to adder encoding
687.95/688.81	o 2629
687.95/688.81	c fallback to adder encoding
690.31/691.17	o 2618
690.31/691.17	c fallback to adder encoding
692.27/693.15	o 2617
692.27/693.15	c fallback to adder encoding
695.98/696.87	o 2616
695.98/696.87	c fallback to adder encoding
698.38/699.28	o 2614
698.38/699.28	c fallback to adder encoding
700.47/701.37	o 2594
700.47/701.37	c fallback to adder encoding
705.85/706.74	o 2593
705.85/706.74	c fallback to adder encoding
708.44/709.33	o 2583
708.44/709.33	c fallback to adder encoding
711.05/711.93	o 2562
711.05/711.93	c fallback to adder encoding
714.64/715.53	o 2496
714.64/715.53	c fallback to adder encoding
717.37/718.23	o 2470
717.37/718.23	c fallback to adder encoding
719.27/720.18	o 2465
719.27/720.18	c fallback to adder encoding
723.35/724.23	o 2461
723.35/724.23	c fallback to adder encoding
728.78/729.66	o 2452
728.78/729.66	c fallback to adder encoding
731.33/732.22	o 2445
731.33/732.22	c fallback to adder encoding
733.25/734.18	o 2439
733.25/734.18	c fallback to adder encoding
735.05/735.99	o 2191
735.05/735.99	c fallback to adder encoding
738.24/739.20	o 2176
738.24/739.20	c fallback to adder encoding
740.62/741.59	o 2175
740.62/741.59	c fallback to adder encoding
741.98/742.93	o 2174
741.98/742.93	c fallback to adder encoding
745.31/746.26	o 2164
745.31/746.26	c fallback to adder encoding
747.97/748.94	o 2160
747.97/748.94	c fallback to adder encoding
750.37/751.34	o 2156
750.37/751.34	c fallback to adder encoding
752.74/753.71	o 2131
752.74/753.71	c fallback to adder encoding
754.29/755.28	o 2079
754.29/755.28	c fallback to adder encoding
757.69/758.69	o 2075
757.69/758.69	c fallback to adder encoding
760.67/761.64	o 2067
760.67/761.64	c fallback to adder encoding
763.96/764.96	o 2057
763.96/764.96	c fallback to adder encoding
766.61/767.67	o 2056
766.61/767.67	c fallback to adder encoding
770.03/771.07	o 2050
770.03/771.07	c fallback to adder encoding
772.31/773.39	o 2049
772.31/773.39	c fallback to adder encoding
775.50/776.52	o 2048
775.50/776.52	c fallback to adder encoding
777.02/778.00	o 2039
777.02/778.00	c fallback to adder encoding
778.60/779.65	o 2020
778.60/779.65	c fallback to adder encoding
780.38/781.45	o 1989
780.38/781.45	c fallback to adder encoding
782.90/783.98	o 1982
782.90/783.98	c fallback to adder encoding
784.10/785.16	o 1979
784.10/785.16	c fallback to adder encoding
786.40/787.50	o 1970
786.40/787.50	c fallback to adder encoding
787.71/788.79	o 1953
787.71/788.79	c fallback to adder encoding
790.80/791.88	o 1952
790.80/791.88	c fallback to adder encoding
792.58/793.63	o 1946
792.58/793.63	c fallback to adder encoding
795.99/797.07	o 1923
795.99/797.07	c fallback to adder encoding
798.49/799.60	o 1922
798.49/799.60	c fallback to adder encoding
800.94/802.19	o 1907
800.94/802.19	c fallback to adder encoding
804.07/805.40	o 1901
804.07/805.40	c fallback to adder encoding
807.03/808.35	o 1880
807.03/808.35	c fallback to adder encoding
809.48/810.81	o 1879
809.48/810.81	c fallback to adder encoding
811.19/812.67	o 1876
811.19/812.67	c fallback to adder encoding
814.71/816.26	o 1867
814.71/816.26	c fallback to adder encoding
816.22/817.77	o 1860
816.22/817.77	c fallback to adder encoding
818.19/819.74	o 1858
818.19/819.74	c fallback to adder encoding
821.30/822.85	o 1754
821.30/822.85	c fallback to adder encoding
824.10/825.68	o 1733
824.10/825.68	c fallback to adder encoding
827.15/828.76	o 1728
827.15/828.76	c fallback to adder encoding
828.43/830.06	o 1684
828.43/830.06	c fallback to adder encoding
832.15/833.77	o 1683
832.15/833.77	c fallback to adder encoding
834.18/835.84	o 1677
834.18/835.84	c fallback to adder encoding
836.74/838.41	o 1672
836.74/838.41	c fallback to adder encoding
838.00/839.60	o 1671
838.00/839.60	c fallback to adder encoding
839.18/840.84	o 1649
839.18/840.84	c fallback to adder encoding
840.49/842.16	o 1648
840.49/842.16	c fallback to adder encoding
842.07/843.78	o 1647
842.07/843.78	c fallback to adder encoding
844.59/846.28	o 1598
844.59/846.28	c fallback to adder encoding
845.78/847.46	o 1597
845.78/847.46	c fallback to adder encoding
847.27/848.94	o 1567
847.27/848.94	c fallback to adder encoding
848.77/850.49	o 1537
848.77/850.49	c fallback to adder encoding
851.17/852.85	o 1536
851.17/852.85	c fallback to adder encoding
852.22/853.90	o 1529
852.22/853.90	c fallback to adder encoding
853.97/855.66	o 1528
853.97/855.66	c fallback to adder encoding
855.67/857.37	o 1524
855.67/857.37	c fallback to adder encoding
857.73/859.41	o 1518
857.73/859.41	c fallback to adder encoding
860.55/862.29	o 1517
860.55/862.29	c fallback to adder encoding
862.01/863.73	o 1470
862.01/863.73	c fallback to adder encoding
863.60/865.33	o 1461
863.60/865.33	c fallback to adder encoding
864.78/866.50	o 1451
864.78/866.50	c fallback to adder encoding
865.96/867.77	o 1450
865.96/867.77	c fallback to adder encoding
867.27/869.15	o 1440
867.27/869.15	c fallback to adder encoding
868.52/870.40	o 1439
868.52/870.40	c fallback to adder encoding
870.04/871.93	o 1436
870.04/871.93	c fallback to adder encoding
871.47/873.31	o 1431
871.47/873.31	c fallback to adder encoding
872.85/874.79	o 1421
872.85/874.79	c fallback to adder encoding
875.66/877.57	o 1411
875.66/877.57	c fallback to adder encoding
880.06/881.95	o 1400
880.06/881.95	c fallback to adder encoding
881.50/883.40	o 1388
881.50/883.40	c fallback to adder encoding
882.71/884.68	o 1373
882.71/884.68	c fallback to adder encoding
885.70/887.62	o 1370
885.70/887.62	c fallback to adder encoding
887.69/889.67	o 1369
887.69/889.67	c fallback to adder encoding
892.06/894.01	o 1359
892.06/894.01	c fallback to adder encoding
895.07/897.03	o 1354
895.07/897.03	c fallback to adder encoding
896.79/898.75	o 1289
896.79/898.75	c fallback to adder encoding
898.35/900.31	o 1288
898.35/900.31	c fallback to adder encoding
900.79/902.75	o 1283
900.79/902.75	c fallback to adder encoding
903.18/905.19	o 1275
903.18/905.19	c fallback to adder encoding
903.39/905.89	o 1257
903.39/905.89	c fallback to adder encoding
906.28/908.28	o 1247
906.28/908.28	c fallback to adder encoding
908.02/910.00	o 1233
908.02/910.00	c fallback to adder encoding
910.45/912.42	o 1229
910.45/912.42	c fallback to adder encoding
913.44/915.41	o 1208
913.44/915.41	c fallback to adder encoding
915.15/917.13	o 1207
915.15/917.13	c fallback to adder encoding
918.78/920.78	o 1204
918.78/920.78	c fallback to adder encoding
921.06/923.05	o 1193
921.06/923.05	c fallback to adder encoding
922.76/924.79	o 1152
922.76/924.79	c fallback to adder encoding
925.72/927.78	o 1151
925.72/927.78	c fallback to adder encoding
927.41/929.43	o 1150
927.41/929.43	c fallback to adder encoding
928.90/930.96	o 1147
928.90/930.96	c fallback to adder encoding
930.48/932.52	o 1146
930.48/932.52	c fallback to adder encoding
931.81/933.84	o 1135
931.81/933.84	c fallback to adder encoding
934.80/936.89	o 1059
934.80/936.89	c fallback to adder encoding
937.40/939.48	o 1054
937.40/939.48	c fallback to adder encoding
939.39/941.57	o 1052
939.39/941.57	c fallback to adder encoding
940.18/942.42	o 745
940.18/942.42	c fallback to adder encoding
941.02/943.23	o 735
941.02/943.23	c fallback to adder encoding
941.59/943.81	o 734
941.59/943.81	c fallback to adder encoding
942.62/944.88	o 727
942.62/944.88	c fallback to adder encoding
942.77/945.58	o 726
942.77/945.58	c fallback to adder encoding
944.52/946.84	o 717
944.52/946.84	c fallback to adder encoding
945.14/947.51	o 711
945.14/947.51	c fallback to adder encoding
946.26/948.65	o 701
946.26/948.65	c fallback to adder encoding
947.46/949.83	o 700
947.46/949.83	c fallback to adder encoding
948.77/951.14	o 694
948.77/951.14	c fallback to adder encoding
949.34/951.74	o 692
949.34/951.74	c fallback to adder encoding
950.30/952.73	o 664
950.30/952.73	c fallback to adder encoding
951.19/953.65	o 662
951.19/953.65	c fallback to adder encoding
951.31/954.46	o 651
951.31/954.46	c fallback to adder encoding
953.27/955.77	o 642
953.27/955.77	c fallback to adder encoding
953.42/956.34	o 641
953.42/956.34	c fallback to adder encoding
954.49/956.91	o 608
954.49/956.91	c fallback to adder encoding
954.56/957.58	o 607
954.56/957.58	c fallback to adder encoding
955.68/958.18	o 584
955.68/958.18	c fallback to adder encoding
956.88/959.30	o 583
956.88/959.30	c fallback to adder encoding
956.92/959.79	o 577
956.92/959.79	c fallback to adder encoding
957.98/960.47	o 575
957.98/960.47	c fallback to adder encoding
958.45/960.91	o 571
958.45/960.91	c fallback to adder encoding
959.13/961.60	o 570
959.13/961.60	c fallback to adder encoding
960.05/962.51	o 566
960.05/962.51	c fallback to adder encoding
960.76/963.21	o 560
960.76/963.21	c fallback to adder encoding
961.55/964.05	o 559
961.55/964.05	c fallback to adder encoding
961.85/964.31	o 464
961.85/964.31	c fallback to adder encoding
962.17/964.67	o 462
962.17/964.67	c fallback to adder encoding
962.28/964.94	o 453
962.28/964.94	c fallback to adder encoding
962.55/965.18	o 451
962.55/965.18	c fallback to adder encoding
963.25/965.76	o 449
963.25/965.76	c fallback to adder encoding
963.36/966.04	o 448
963.36/966.04	c fallback to adder encoding
963.64/966.19	o 446
963.64/966.19	c fallback to adder encoding
963.79/966.46	o 442
963.79/966.46	c fallback to adder encoding
964.66/967.13	o 435
964.66/967.13	c fallback to adder encoding
964.73/967.33	o 393
964.73/967.33	c fallback to adder encoding
965.15/967.62	o 392
965.15/967.62	c fallback to adder encoding
965.54/968.01	o 387
965.54/968.01	c fallback to adder encoding
965.94/968.41	o 384
965.94/968.41	c fallback to adder encoding
965.99/968.56	o 381
965.99/968.56	c fallback to adder encoding
966.14/968.78	o 373
966.14/968.78	c fallback to adder encoding
966.37/968.96	o 372
966.37/968.96	c fallback to adder encoding
966.63/969.18	o 370
966.63/969.18	c fallback to adder encoding
966.76/969.45	o 251
966.76/969.45	c fallback to adder encoding
967.00/969.53	o 246
967.00/969.53	c fallback to adder encoding
967.15/969.60	o 245
967.15/969.60	c fallback to adder encoding
967.15/969.68	o 236
967.15/969.68	c fallback to adder encoding
967.24/969.80	o 235
967.24/969.80	c fallback to adder encoding
967.43/969.90	o 220
967.43/969.90	c fallback to adder encoding
967.43/969.97	o 217
967.43/969.97	c fallback to adder encoding
967.52/970.05	o 189
967.69/970.25	o 176
967.87/970.42	o 140
968.00/970.53	o 133
968.11/970.63	o 118
968.19/970.71	o 103
968.19/970.77	o 39
968.19/970.79	c display solution
968.19/970.79	s OPTIMUM FOUND
968.19/970.79	v x1 -x2 -x3 x4 -x5 x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 -x17 x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 -x27 x28 x29 -x30 x31 -x32 x33 -x34 x35 -x36 -x37 x38 -x39 x40 -x41 x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 -x51 x52 -x53 x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 -x63 x64 -x65 x66 x67 -x68 x69 -x70 x71 -x72 x73 -x74 -x75 x76 -x77 x78 x79 -x80 x81 -x82 -x83 x84 x85 -x86 -x87 x88 -x89 x90 x91 -x92 x93 -x94 -x95 x96 x97 -x98 -x99 x100 -x101 x102 -x103 x104 -x105 x106 -x107 x108 -x109 x110 -x111 x112 -x113 x114 x115 -x116 x117 -x118 -x119 x120 x121 -x122 -x123 x124 x125 -x126 -x127 x128 -x129 x130 -x131 x132 -x133 x134 -x135 x136 -x137 x138 -x139 x140 x141 -x142 x143 -x144 x145 -x146 x147 -x148 -x149 x150 -x151 x152 -x153 x154 x155 -x156 x157 -x158 x159 -x160 x161 -x162 x163 -x164 -x165 x166 x167 -x168 -x169 x170 -x171 x172 -x173 x174 -x175 x176 -x177 x178 x179 -x180 -x181 x182 -x183 x184 x185 -x186 -x187 x188 x189 -x190 x191 -x192 -x193 x194 x195 -x196 -x197 x198 x199 -x200

Verifier Data 

OK	39

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

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

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/180 23335
/proc/meminfo: memFree=25918040/32873844 swapFree=7628/7628
[pid=23335] ppid=23333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23335/stat : 23335 (npSolver-wbo-It) S 23333 23335 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386247800 9367552 275 33554432000 4194304 5064252 140734378412336 140734378411248 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2287 275 233 213 0 72 0

[startup+0.0696031 s]
/proc/loadavg: 1.92 1.98 1.99 3/180 23335
/proc/meminfo: memFree=25918040/32873844 swapFree=7628/7628
[pid=23335] ppid=23333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23335/stat : 23335 (npSolver-wbo-It) S 23333 23335 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386247800 9367552 275 33554432000 4194304 5064252 140734378412336 140734378411248 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100237 s]
/proc/loadavg: 1.92 1.98 1.99 3/180 23335
/proc/meminfo: memFree=25918040/32873844 swapFree=7628/7628
[pid=23335] ppid=23333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23335/stat : 23335 (npSolver-wbo-It) S 23333 23335 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386247800 9367552 275 33554432000 4194304 5064252 140734378412336 140734378411248 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300272 s]
/proc/loadavg: 1.92 1.98 1.99 3/180 23335
/proc/meminfo: memFree=25918040/32873844 swapFree=7628/7628
[pid=23335] ppid=23333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23335/stat : 23335 (npSolver-wbo-It) S 23333 23335 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386247800 9367552 275 33554432000 4194304 5064252 140734378412336 140734378411248 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700265 s]
/proc/loadavg: 1.92 1.98 1.99 3/180 23335
/proc/meminfo: memFree=25918040/32873844 swapFree=7628/7628
[pid=23335] ppid=23333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23335/stat : 23335 (npSolver-wbo-It) S 23333 23335 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386247800 9367552 275 33554432000 4194304 5064252 140734378412336 140734378411248 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23335/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: 1.92 1.98 1.99 3/184 23349
/proc/meminfo: memFree=25870756/32873844 swapFree=7628/7628
[pid=23335] ppid=23333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23335/stat : 23335 (npSolver-wbo-It) S 23333 23335 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386247800 9367552 275 33554432000 4194304 5064252 140734378412336 140734378411248 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2287 275 233 213 0 72 0
[pid=23336] ppid=23335 vsize=20052 CPUtime=0.17 cores=0,2,4,6
/proc/23336/stat : 23336 (npSolver-wbo) S 23335 23335 17144 0 -1 4202496 4198 5397 0 0 13 2 1 1 20 0 1 0 386247800 20533248 4570 33554432000 4194304 6006132 140733585074800 140733585066192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23336/statm: 5013 4570 179 443 0 4566 0
[pid=23348] ppid=23336 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23348/stat : 23348 (satsolver.sh) S 23336 23335 17144 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386247819 9367552 267 33554432000 4194304 5064252 140735848014528 140735848013440 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23348/statm: 2287 267 226 213 0 72 0
[pid=23349] ppid=23348 vsize=27696 CPUtime=1.3 cores=0,2,4,6
/proc/23349/stat : 23349 (glucose) R 23348 23335 17144 0 -1 4202496 5734 0 0 0 129 1 0 0 20 0 1 0 386247819 28360704 5831 33554432000 4194304 5208918 140736139942192 140736139940040 4229344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23349/statm: 6924 5831 104 248 0 6673 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 66044

[startup+3.1004 s]
/proc/loadavg: 1.92 1.98 1.99 3/184 23349
/proc/meminfo: memFree=25869888/32873844 swapFree=7628/7628
[pid=23335] ppid=23333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23335/stat : 23335 (npSolver-wbo-It) S 23333 23335 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386247800 9367552 275 33554432000 4194304 5064252 140734378412336 140734378411248 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2287 275 233 213 0 72 0
[pid=23336] ppid=23335 vsize=20052 CPUtime=0.17 cores=0,2,4,6
/proc/23336/stat : 23336 (npSolver-wbo) S 23335 23335 17144 0 -1 4202496 4198 5397 0 0 13 2 1 1 20 0 1 0 386247800 20533248 4570 33554432000 4194304 6006132 140733585074800 140733585066192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23336/statm: 5013 4570 179 443 0 4566 0
[pid=23348] ppid=23336 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23348/stat : 23348 (satsolver.sh) S 23336 23335 17144 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386247819 9367552 267 33554432000 4194304 5064252 140735848014528 140735848013440 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23348/statm: 2287 267 226 213 0 72 0
[pid=23349] ppid=23348 vsize=28236 CPUtime=2.9 cores=0,2,4,6
/proc/23349/stat : 23349 (glucose) R 23348 23335 17144 0 -1 4202496 5972 0 0 0 289 1 0 0 20 0 1 0 386247819 28913664 6065 33554432000 4194304 5208918 140736139942192 140736139938504 4231665 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23349/statm: 7059 6065 104 248 0 6808 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 66584

[startup+6.30033 s]
/proc/loadavg: 1.93 1.98 1.99 3/184 23349
/proc/meminfo: memFree=25867592/32873844 swapFree=7628/7628
[pid=23335] ppid=23333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23335/stat : 23335 (npSolver-wbo-It) S 23333 23335 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386247800 9367552 275 33554432000 4194304 5064252 140734378412336 140734378411248 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2287 275 233 213 0 72 0
[pid=23336] ppid=23335 vsize=20052 CPUtime=6 cores=0,2,4,6
/proc/23336/stat : 23336 (npSolver-wbo) S 23335 23335 17144 0 -1 4202496 6460 15151 0 0 25 3 566 6 20 0 1 0 386247800 20533248 4570 33554432000 4194304 6006132 140733585074800 140733585066192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23336/statm: 5013 4570 179 443 0 4566 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 29200

[startup+12.7004 s]
/proc/loadavg: 1.93 1.98 1.99 3/184 23363
/proc/meminfo: memFree=25869940/32873844 swapFree=7628/7628
[pid=23335] ppid=23333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23335/stat : 23335 (npSolver-wbo-It) S 23333 23335 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386247800 9367552 275 33554432000 4194304 5064252 140734378412336 140734378411248 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2287 275 233 213 0 72 0
[pid=23336] ppid=23335 vsize=20052 CPUtime=10.9 cores=0,2,4,6
/proc/23336/stat : 23336 (npSolver-wbo) S 23335 23335 17144 0 -1 4202496 8722 25248 0 0 36 4 1039 11 20 0 1 0 386247800 20533248 4570 33554432000 4194304 6006132 140733585074800 140733585066192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23336/statm: 5013 4570 179 443 0 4566 0
[pid=23362] ppid=23336 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23362/stat : 23362 (satsolver.sh) S 23336 23335 17144 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386248894 9367552 267 33554432000 4194304 5064252 140734633792512 140734633791424 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23362/statm: 2287 267 226 213 0 72 0
[pid=23363] ppid=23362 vsize=27828 CPUtime=1.75 cores=0,2,4,6
/proc/23363/stat : 23363 (glucose) R 23362 23335 17144 0 -1 4202496 5880 0 0 0 174 1 0 0 20 0 1 0 386248895 28495872 5827 33554432000 4194304 5208918 140736092627168 140736092623544 4229460 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23363/statm: 6957 5827 104 248 0 6706 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 66176

[startup+25.5004 s]
/proc/loadavg: 1.95 1.98 1.99 3/184 23377
/proc/meminfo: memFree=25869276/32873844 swapFree=7628/7628
[pid=23335] ppid=23333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23335/stat : 23335 (npSolver-wbo-It) S 23333 23335 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386247800 9367552 275 33554432000 4194304 5064252 140734378412336 140734378411248 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2287 275 233 213 0 72 0
[pid=23336] ppid=23335 vsize=20052 CPUtime=22.98 cores=0,2,4,6
/proc/23336/stat : 23336 (npSolver-wbo) S 23335 23335 17144 0 -1 4202496 13246 47306 0 0 60 6 2210 22 20 0 1 0 386247800 20533248 4570 33554432000 4194304 6006132 140733585074800 140733585066192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23336/statm: 5013 4570 179 443 0 4566 0
[pid=23376] ppid=23336 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23376/stat : 23376 (satsolver.sh) S 23336 23335 17144 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386250102 9367552 267 33554432000 4194304 5064252 140736827122272 140736827121184 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23376/statm: 2287 267 226 213 0 72 0
[pid=23377] ppid=23376 vsize=28348 CPUtime=2.47 cores=0,2,4,6
/proc/23377/stat : 23377 (glucose) R 23376 23335 17144 0 -1 4202496 6001 0 0 0 246 1 0 0 20 0 1 0 386250102 29028352 6039 33554432000 4194304 5208918 140735547868624 140735547866296 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23377/statm: 7087 6039 104 248 0 6836 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 66696

[startup+51.1004 s]
/proc/loadavg: 1.96 1.98 1.99 3/183 23419
/proc/meminfo: memFree=25871832/32873844 swapFree=7628/7628
[pid=23335] ppid=23333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23335/stat : 23335 (npSolver-wbo-It) S 23333 23335 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386247800 9367552 275 33554432000 4194304 5064252 140734378412336 140734378411248 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2287 275 233 213 0 72 0
[pid=23336] ppid=23335 vsize=20052 CPUtime=50.35 cores=0,2,4,6
/proc/23336/stat : 23336 (npSolver-wbo) S 23335 23335 17144 0 -1 4202496 26818 107291 0 0 132 13 4834 56 20 0 1 0 386247800 20533248 4570 33554432000 4194304 6006132 140733585074800 140733585066192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23336/statm: 5013 4570 179 443 0 4566 0
[pid=23418] ppid=23336 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23418/stat : 23418 (satsolver.sh) S 23336 23335 17144 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386252837 9367552 267 33554432000 4194304 5064252 140736402671152 140736402670064 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23418/statm: 2287 267 226 213 0 72 0
[pid=23419] ppid=23418 vsize=27228 CPUtime=0.72 cores=0,2,4,6
/proc/23419/stat : 23419 (glucose) R 23418 23335 17144 0 -1 4202496 5809 0 0 0 71 1 0 0 20 0 1 0 386252837 27881472 5827 33554432000 4194304 5208918 140735128691632 140735128689592 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23419/statm: 6807 5827 103 248 0 6556 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 65576

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/183 23503
/proc/meminfo: memFree=25869872/32873844 swapFree=7628/7628
[pid=23335] ppid=23333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23335/stat : 23335 (npSolver-wbo-It) S 23333 23335 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386247800 9367552 275 33554432000 4194304 5064252 140734378412336 140734378411248 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2287 275 233 213 0 72 0
[pid=23336] ppid=23335 vsize=20052 CPUtime=98.57 cores=0,2,4,6
/proc/23336/stat : 23336 (npSolver-wbo) S 23335 23335 17144 0 -1 4202496 53962 226702 0 0 275 26 9429 127 20 0 1 0 386247800 20533248 4570 33554432000 4194304 6006132 140733585074800 140733585066192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23336/statm: 5013 4570 179 443 0 4566 0
[pid=23502] ppid=23336 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23502/stat : 23502 (satsolver.sh) S 23336 23335 17144 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386257663 9367552 267 33554432000 4194304 5064252 140735725228752 140735725227664 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23502/statm: 2287 267 226 213 0 72 0
[pid=23503] ppid=23502 vsize=27632 CPUtime=3.67 cores=0,2,4,6
/proc/23503/stat : 23503 (glucose) R 23502 23335 17144 0 -1 4202496 6398 0 0 0 366 1 0 0 20 0 1 0 386257663 28295168 5839 33554432000 4194304 5208918 140737419840736 140737419838584 4205755 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23503/statm: 6908 5839 104 248 0 6657 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 65980

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 23595
/proc/meminfo: memFree=25866432/32873844 swapFree=7628/7628
[pid=23335] ppid=23333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23335/stat : 23335 (npSolver-wbo-It) S 23333 23335 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386247800 9367552 275 33554432000 4194304 5064252 140734378412336 140734378411248 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2287 275 233 213 0 72 0
[pid=23336] ppid=23335 vsize=20052 CPUtime=159.73 cores=0,2,4,6
/proc/23336/stat : 23336 (npSolver-wbo) S 23335 23335 17144 0 -1 4202496 83368 355718 0 0 424 41 15305 203 20 0 1 0 386247800 20533248 4570 33554432000 4194304 6006132 140733585074800 140733585066192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23336/statm: 5013 4570 179 443 0 4566 0
[pid=23594] ppid=23336 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23594/stat : 23594 (satsolver.sh) S 23336 23335 17144 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386263782 9367552 267 33554432000 4194304 5064252 140734445519904 140734445518816 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23594/statm: 2287 267 226 213 0 72 0
[pid=23595] ppid=23594 vsize=27864 CPUtime=2.47 cores=0,2,4,6
/proc/23595/stat : 23595 (glucose) R 23594 23335 17144 0 -1 4202496 6099 0 0 0 246 1 0 0 20 0 1 0 386263782 28532736 6098 33554432000 4194304 5208918 140737216120944 140737216118696 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23595/statm: 6966 6098 104 248 0 6715 0
Current children cumulated CPU time (s) 162.2

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

/proc/meminfo: memFree=26287012/32873844 swapFree=7628/7628
[pid=23335] ppid=23333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23335/stat : 23335 (npSolver-wbo-It) S 23333 23335 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386247800 9367552 275 33554432000 4194304 5064252 140734378412336 140734378411248 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2287 275 233 213 0 72 0
[pid=23336] ppid=23335 vsize=20052 CPUtime=760.85 cores=0,2,4,6
/proc/23336/stat : 23336 (npSolver-wbo) S 23335 23335 17144 0 -1 4202496 458860 1952816 0 0 2102 209 72680 1094 20 0 1 0 386247800 20533248 4571 33554432000 4194304 6006132 140733585074800 140733585066192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 6 0 0
/proc/23336/statm: 5013 4571 179 443 0 4566 0
[pid=25177] ppid=23336 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25177/stat : 25177 (satsolver.sh) S 23336 23335 17144 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386323978 9367552 266 33554432000 4194304 5064252 140735678418064 140735678416976 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25177/statm: 2287 266 226 213 0 72 0
[pid=25178] ppid=25177 vsize=21276 CPUtime=0.52 cores=0,2,4,6
/proc/25178/stat : 25178 (glucose) R 25177 23335 17144 0 -1 4202496 5571 0 0 0 51 1 0 0 20 0 1 0 386323978 21786624 4816 33554432000 4194304 5208918 140736760757456 140736759707144 4211027 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25178/statm: 5319 4816 104 248 0 5068 0
Current children cumulated CPU time (s) 761.37
Current children cumulated vsize (KiB) 59624

[startup+822.3 s]
/proc/loadavg: 2.06 2.00 2.00 3/183 25437
/proc/meminfo: memFree=26287248/32873844 swapFree=7628/7628
[pid=23335] ppid=23333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23335/stat : 23335 (npSolver-wbo-It) S 23333 23335 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386247800 9367552 275 33554432000 4194304 5064252 140734378412336 140734378411248 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2287 275 233 213 0 72 0
[pid=23336] ppid=23335 vsize=20052 CPUtime=818.36 cores=0,2,4,6
/proc/23336/stat : 23336 (npSolver-wbo) S 23335 23335 17144 0 -1 4202496 513128 2167983 0 0 2312 232 78083 1209 20 0 1 0 386247800 20533248 4572 33554432000 4194304 6006132 140733585074800 140733585066192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 6 0 0
/proc/23336/statm: 5013 4572 179 443 0 4566 0
[pid=25436] ppid=23336 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25436/stat : 25436 (satsolver.sh) S 23336 23335 17144 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386329784 9367552 267 33554432000 4194304 5064252 140736562760160 140736562759072 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25436/statm: 2287 267 226 213 0 72 0
[pid=25437] ppid=25436 vsize=22560 CPUtime=2.45 cores=0,2,4,6
/proc/25437/stat : 25437 (glucose) R 25436 23335 17144 0 -1 4202496 3802 0 0 0 245 0 0 0 20 0 1 0 386329784 23101440 5152 33554432000 4194304 5208918 140733465216976 140733465214728 4211897 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25437/statm: 5640 5152 104 248 0 5389 0
Current children cumulated CPU time (s) 820.81
Current children cumulated vsize (KiB) 60908

[startup+882.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 25778
/proc/meminfo: memFree=26320696/32873844 swapFree=7628/7628
[pid=23335] ppid=23333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23335/stat : 23335 (npSolver-wbo-It) S 23333 23335 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386247800 9367552 275 33554432000 4194304 5064252 140734378412336 140734378411248 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2287 275 233 213 0 72 0
[pid=23336] ppid=23335 vsize=20052 CPUtime=880.21 cores=0,2,4,6
/proc/23336/stat : 23336 (npSolver-wbo) S 23335 23335 17144 0 -1 4202496 585480 2443770 0 0 2587 260 83824 1350 20 0 1 0 386247800 20533248 4572 33554432000 4194304 6006132 140733585074800 140733585066192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 9 0 0
/proc/23336/statm: 5013 4572 179 443 0 4566 0
[pid=25777] ppid=23336 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25777/stat : 25777 (satsolver.sh) S 23336 23335 17144 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386336005 9367552 267 33554432000 4194304 5064252 140735593780528 140735593779440 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25777/statm: 2287 267 226 213 0 72 0
[pid=25778] ppid=25777 vsize=18896 CPUtime=0.24 cores=0,2,4,6
/proc/25778/stat : 25778 (glucose) R 25777 23335 17144 0 -1 4202496 3554 0 0 0 23 1 0 0 20 0 1 0 386336005 19349504 4396 33554432000 4194304 5208918 140734552825248 140734551774728 4229361 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25778/statm: 4724 4396 104 248 0 4473 0
Current children cumulated CPU time (s) 880.45
Current children cumulated vsize (KiB) 57244

[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 2/182 26051
/proc/meminfo: memFree=26306696/32873844 swapFree=7628/7628
[pid=23335] ppid=23333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23335/stat : 23335 (npSolver-wbo-It) S 23333 23335 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386247800 9367552 275 33554432000 4194304 5064252 140734378412336 140734378411248 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2287 275 233 213 0 72 0
[pid=23336] ppid=23335 vsize=20052 CPUtime=939.49 cores=0,2,4,6
/proc/23336/stat : 23336 (npSolver-wbo) S 23335 23335 17144 0 -1 4202496 646527 2678020 0 0 2818 284 89376 1471 20 0 1 0 386247800 20533248 4572 33554432000 4194304 6006132 140733585074800 140733585066192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/23336/statm: 5013 4572 179 443 0 4566 0
Current children cumulated CPU time (s) 939.49
Current children cumulated vsize (KiB) 29200

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

[startup+947.106 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 26102
/proc/meminfo: memFree=26294164/32873844 swapFree=7628/7628
[pid=23335] ppid=23333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23335/stat : 23335 (npSolver-wbo-It) S 23333 23335 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386247800 9367552 275 33554432000 4194304 5064252 140734378412336 140734378411248 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2287 275 233 213 0 72 0
[pid=23336] ppid=23335 vsize=20052 CPUtime=944.59 cores=0,2,4,6
/proc/23336/stat : 23336 (npSolver-wbo) S 23335 23335 17144 0 -1 4202496 657010 2723823 0 0 2853 288 89826 1492 20 0 1 0 386247800 20533248 4572 33554432000 4194304 6006132 140733585074800 140733585066192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/23336/statm: 5013 4572 179 443 0 4566 0
[pid=26101] ppid=23336 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26101/stat : 26101 (satsolver.sh) S 23336 23335 17144 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386342491 9367552 267 33554432000 4194304 5064252 140735700945472 140735700944384 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26101/statm: 2287 267 226 213 0 72 0
[pid=26102] ppid=26101 vsize=14092 CPUtime=0.18 cores=0,2,4,6
/proc/26102/stat : 26102 (glucose) R 26101 23335 17144 0 -1 4202496 3794 0 0 0 18 0 0 0 20 0 1 0 386342492 14430208 3055 33554432000 4194304 5208918 140737302237456 140737302235128 4232812 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26102/statm: 3523 3055 104 248 0 3272 0
Current children cumulated CPU time (s) 944.77
Current children cumulated vsize (KiB) 52440

[startup+959.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 26214
/proc/meminfo: memFree=26300356/32873844 swapFree=7628/7628
[pid=23335] ppid=23333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23335/stat : 23335 (npSolver-wbo-It) S 23333 23335 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386247800 9367552 275 33554432000 4194304 5064252 140734378412336 140734378411248 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2287 275 233 213 0 72 0
[pid=23336] ppid=23335 vsize=20052 CPUtime=957.44 cores=0,2,4,6
/proc/23336/stat : 23336 (npSolver-wbo) S 23335 23335 17144 0 -1 4202496 683206 2823627 0 0 2930 296 90980 1538 20 0 1 0 386247800 20533248 4572 33554432000 4194304 6006132 140733585074800 140733585066192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/23336/statm: 5013 4572 179 443 0 4566 0
Current children cumulated CPU time (s) 957.44
Current children cumulated vsize (KiB) 29200

[startup+966.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26305
/proc/meminfo: memFree=26301588/32873844 swapFree=7628/7628
[pid=23335] ppid=23333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23335/stat : 23335 (npSolver-wbo-It) S 23333 23335 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386247800 9367552 275 33554432000 4194304 5064252 140734378412336 140734378411248 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2287 275 233 213 0 72 0
[pid=23336] ppid=23335 vsize=20052 CPUtime=963.79 cores=0,2,4,6
/proc/23336/stat : 23336 (npSolver-wbo) S 23335 23335 17144 0 -1 4202496 701771 2900946 0 0 2977 303 91531 1568 20 0 1 0 386247800 20533248 4572 33554432000 4194304 6006132 140733585074800 140733585066192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/23336/statm: 5013 4572 179 443 0 4566 0
Current children cumulated CPU time (s) 963.79
Current children cumulated vsize (KiB) 29200

[startup+967.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26361
/proc/meminfo: memFree=26306292/32873844 swapFree=7628/7628
[pid=23335] ppid=23333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23335/stat : 23335 (npSolver-wbo-It) S 23333 23335 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386247800 9367552 275 33554432000 4194304 5064252 140734378412336 140734378411248 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2287 275 233 213 0 72 0
[pid=23336] ppid=23335 vsize=20052 CPUtime=965.21 cores=0,2,4,6
/proc/23336/stat : 23336 (npSolver-wbo) S 23335 23335 17144 0 -1 4202496 706221 2924485 0 0 2989 304 91651 1577 20 0 1 0 386247800 20533248 4572 33554432000 4194304 6006132 140733585074800 140733585066192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/23336/statm: 5013 4572 179 443 0 4566 0
[pid=26360] ppid=23336 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26360/stat : 26360 (satsolver.sh) S 23336 23335 17144 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386344566 9367552 266 33554432000 4194304 5064252 140735069326288 140735069325200 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26360/statm: 2287 266 226 213 0 72 0
[pid=26361] ppid=26360 vsize=8836 CPUtime=0.24 cores=0,2,4,6
/proc/26361/stat : 26361 (glucose) R 26360 23335 17144 0 -1 4202496 2049 0 0 0 24 0 0 0 20 0 1 0 386344566 9048064 1842 33554432000 4194304 5208918 140736633482256 140736633480216 4231508 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26361/statm: 2209 1842 104 248 0 1958 0
Current children cumulated CPU time (s) 965.45
Current children cumulated vsize (KiB) 47184

[startup+969.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26396
/proc/meminfo: memFree=26312004/32873844 swapFree=7628/7628
[pid=23335] ppid=23333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23335/stat : 23335 (npSolver-wbo-It) S 23333 23335 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386247800 9367552 275 33554432000 4194304 5064252 140734378412336 140734378411248 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2287 275 233 213 0 72 0
[pid=23336] ppid=23335 vsize=20052 CPUtime=967 cores=0,2,4,6
/proc/23336/stat : 23336 (npSolver-wbo) S 23335 23335 17144 0 -1 4202496 713192 2962852 0 0 3006 306 91798 1590 20 0 1 0 386247800 20533248 4572 33554432000 4194304 6006132 140733585074800 140733585066192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/23336/statm: 5013 4572 179 443 0 4566 0
Current children cumulated CPU time (s) 967
Current children cumulated vsize (KiB) 29200

[startup+970.3 s]
/proc/loadavg: 1.92 1.99 1.99 3/183 26459
/proc/meminfo: memFree=26298788/32873844 swapFree=7628/7628
[pid=23335] ppid=23333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23335/stat : 23335 (npSolver-wbo-It) S 23333 23335 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386247800 9367552 275 33554432000 4194304 5064252 140734378412336 140734378411248 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2287 275 233 213 0 72 0
[pid=23336] ppid=23335 vsize=20052 CPUtime=967.81 cores=0,2,4,6
/proc/23336/stat : 23336 (npSolver-wbo) S 23335 23335 17144 0 -1 4202496 718694 3002123 0 0 3019 308 91850 1604 20 0 1 0 386247800 20533248 4573 33554432000 4194304 6006132 140733585074800 140733585066192 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/23336/statm: 5013 4573 180 443 0 4566 0
Current children cumulated CPU time (s) 967.81
Current children cumulated vsize (KiB) 29200

[startup+970.7 s]
/proc/loadavg: 1.92 1.99 1.99 3/183 26459
/proc/meminfo: memFree=26298788/32873844 swapFree=7628/7628
[pid=23335] ppid=23333 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23335/stat : 23335 (npSolver-wbo-It) S 23333 23335 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386247800 9367552 275 33554432000 4194304 5064252 140734378412336 140734378411248 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2287 275 233 213 0 72 0
[pid=23336] ppid=23335 vsize=20052 CPUtime=968.19 cores=0,2,4,6
/proc/23336/stat : 23336 (npSolver-wbo) S 23335 23335 17144 0 -1 4202496 720419 3021633 0 0 3023 308 91873 1615 20 0 1 0 386247800 20533248 4573 33554432000 4194304 6006132 140733585074800 140733585065680 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/23336/statm: 5013 4573 180 443 0 4566 0
Current children cumulated CPU time (s) 968.19
Current children cumulated vsize (KiB) 29200

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 3.17999
#  lost CPU user time (s): 3.17999
#  lost CPU system time (s): 0

Real time (s): 970.797
CPU time (s): 971.523
CPU user time (s): 952.222
CPU system time (s): 19.3011
CPU usage (%): 100.075
Max. virtual memory (cumulated for all children) (KiB): 79304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 949.042
system time used= 19.3011
maximum resident set size= 40120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3754604
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3943784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20533
involuntary context switches= 5427

runsolver used 2.08168 second user time and 5.30419 second system time

The end

Launcher Data 

Begin job on node145 at 2012-06-09 02:20:34
IDJOB=3753812
IDBENCH=79411
IDSOLVER=2337
FILE ID=node145/3753812-1339201234
RUNJOBID= node145-1339183962-18404
PBS_JOBID= 14643806
Free space on /tmp= 70916 MiB

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

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

MD5SUM BENCH= 542e56009f24e88bce5dd1146eaa3ca2
RANDOM SEED=124450203

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
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		: 2667.149
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		: 2667.149
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.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        25918296 kB
Buffers:          613368 kB
Cached:          5045576 kB
SwapCached:            4 kB
Active:          2676760 kB
Inactive:        3361888 kB
Active(anon):     363864 kB
Inactive(anon):    10912 kB
Active(file):    2312896 kB
Inactive(file):  3350976 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108852 kB
Dirty:              8192 kB
Writeback:             0 kB
AnonPages:        379828 kB
Mapped:            15248 kB
Shmem:               200 kB
Slab:             776024 kB
SReclaimable:     216952 kB
SUnreclaim:       559072 kB
KernelStack:        1504 kB
PageTables:         4576 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     564228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    315392 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= 71000 MiB
End job on node145 at 2012-06-09 02:36:45