Trace number 3715303

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-quickBound? (TO) 1800.09 1844.91

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-6.ucl--soft-0-100-0.wbo
MD5SUMb1fb405af1ad97be8e8be6f605703dc4
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.024995
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables719
Total number of constraints593
Number of soft constraints593
Number of constraints which are clauses371
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints222
Minimum length of a constraint1
Maximum length of a constraint19
Top cost 31065
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 31064
Biggest number in a constraint 773
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2306
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1.48/1.53	c run usual solver
20.88/20.81	o 921
20.88/20.81	c starting approximation
20.88/20.81	c factor = 2
20.88/20.81	c factor still to low - shrinking to 2.18553
20.88/20.81	c approx number of clauses: 1e+06
20.88/20.81	c current bound: 460
22.91/22.72	c current bound: 460
24.92/24.61	c current bound: 460
26.93/26.50	c current bound: 460
28.85/28.39	c current bound: 460
30.86/30.43	c current bound: 460
32.92/32.32	c current bound: 460
34.91/34.21	c current bound: 460
35.71/36.10	c current bound: 460
38.87/37.98	c current bound: 460
40.87/39.87	c current bound: 460
41.70/42.00	c current bound: 460
43.72/43.88	c current bound: 460
45.70/45.76	c current bound: 460
48.92/47.92	c current bound: 460
49.70/49.79	c current bound: 460
52.85/51.67	c current bound: 460
54.85/53.57	c current bound: 460
55.70/55.47	c current bound: 460
57.79/57.37	c current bound: 460
60.84/59.24	c current bound: 460
62.92/61.14	c current bound: 460
64.92/63.02	c current bound: 460
66.93/64.92	c current bound: 460
68.94/66.81	c current bound: 460
70.88/68.93	c current bound: 460
72.94/70.81	c current bound: 460
74.94/72.70	c current bound: 460
75.73/74.59	c current bound: 460
78.88/76.48	c current bound: 460
80.85/78.35	c current bound: 460
82.98/80.31	c current bound: 460
84.99/82.21	c current bound: 460
85.77/84.10	c current bound: 460
87.78/85.98	c current bound: 460
90.94/87.88	c current bound: 460
91.79/89.77	c current bound: 460
93.88/91.89	c current bound: 460
95.82/93.78	c current bound: 460
98.95/95.98	c current bound: 460
99.80/97.87	c current bound: 460
102.98/99.74	c current bound: 460
104.98/101.81	c current bound: 460
106.93/103.69	c current bound: 460
109.05/105.65	c current bound: 460
109.91/107.55	c current bound: 460
113.09/109.42	c current bound: 460
115.11/111.34	c current bound: 460
117.10/113.23	c current bound: 460
119.09/115.10	c current bound: 460
119.87/116.99	c current bound: 460
123.02/118.87	c current bound: 460
123.88/120.77	c current bound: 460
125.88/122.65	c current bound: 460
129.03/124.76	c current bound: 460
131.05/126.66	c current bound: 460
133.10/128.54	c current bound: 460
135.12/130.44	c current bound: 460
137.12/132.33	c current bound: 460
139.12/134.21	c current bound: 460
141.15/136.13	c current bound: 460
141.92/138.00	c current bound: 460
143.87/139.87	c current bound: 460
147.06/196.52	c current bound: 460
149.01/198.44	c current bound: 460
150.99/200.30	c current bound: 460
151.79/202.16	c current bound: 460
154.94/204.08	c current bound: 460
155.80/205.97	c current bound: 460
158.99/207.84	c current bound: 460
160.97/209.70	c current bound: 460
161.73/211.58	c current bound: 460
163.71/213.45	c current bound: 460
166.89/215.32	c current bound: 460
168.83/217.18	c current bound: 460
169.64/219.05	c current bound: 460
172.82/220.92	c current bound: 460
173.58/222.80	c current bound: 460
175.56/224.67	c current bound: 460
177.54/226.55	c current bound: 460
180.73/228.41	c current bound: 460
181.49/230.28	c current bound: 460
183.47/232.16	c current bound: 460
186.65/234.04	c current bound: 460
188.67/235.91	c current bound: 460
189.41/237.79	c current bound: 460
191.42/239.68	c current bound: 460
194.62/241.54	c current bound: 460
196.59/243.40	c current bound: 460
197.35/245.27	c current bound: 460
200.50/247.14	c current bound: 460
202.51/249.01	c current bound: 460
203.29/250.88	c current bound: 460
205.24/252.75	c current bound: 460
208.42/254.61	c current bound: 460
209.19/256.49	c current bound: 460
212.49/258.43	c current bound: 460
213.25/260.30	c current bound: 460
215.23/262.17	c current bound: 460
218.37/264.08	c current bound: 460
219.17/265.95	c current bound: 460
222.35/267.81	c current bound: 460
223.11/269.68	c current bound: 460
225.09/271.55	c current bound: 460
228.28/273.43	c current bound: 460
229.05/275.29	c current bound: 460
231.01/277.19	c current bound: 460
233.02/279.06	c current bound: 460
234.98/280.95	c current bound: 460
238.19/282.83	c current bound: 460
238.96/284.69	c current bound: 460
242.11/286.56	c current bound: 460
244.11/288.43	c current bound: 460
246.07/290.30	c current bound: 460
248.07/292.21	c current bound: 460
248.84/294.08	c current bound: 460
252.00/295.95	c current bound: 460
254.01/297.82	c current bound: 460
256.00/299.70	c current bound: 460
257.94/301.57	c current bound: 460
259.92/303.45	c current bound: 460
261.95/305.32	c current bound: 460
262.71/307.18	c current bound: 460
264.69/309.06	c current bound: 460
267.74/310.94	c current bound: 460
269.58/312.80	c current bound: 460
271.47/314.66	c current bound: 460
273.40/316.52	c current bound: 460
275.22/318.38	c current bound: 460
277.16/320.24	c current bound: 460
279.08/322.10	c current bound: 460
280.89/323.96	c current bound: 460
282.83/325.82	c current bound: 460
284.63/327.68	c current bound: 460
286.54/329.54	c current bound: 460
288.48/331.41	c current bound: 460
290.36/333.56	c current bound: 460
292.21/335.42	c current bound: 460
294.00/337.29	c current bound: 460
295.95/339.15	c current bound: 460
297.87/341.01	c current bound: 460
299.65/342.87	c current bound: 460
301.57/344.74	c current bound: 460
303.37/346.59	c current bound: 460
305.26/348.59	c current bound: 460
307.18/350.45	c current bound: 460
309.11/352.31	c current bound: 460
310.89/354.17	c current bound: 460
312.82/356.04	c current bound: 460
314.63/357.90	c current bound: 460
316.57/359.76	c current bound: 460
318.50/361.62	c current bound: 460
320.36/363.61	c current bound: 460
322.18/365.46	c current bound: 460
324.11/367.33	c current bound: 460
325.91/369.19	c current bound: 460
327.83/371.05	c current bound: 460
329.74/372.90	c current bound: 460
331.52/374.76	c current bound: 460
333.45/376.63	c current bound: 460
335.34/378.72	c current bound: 460
337.14/380.59	c current bound: 460
339.04/382.45	c current bound: 460
341.01/384.31	c current bound: 460
342.82/386.17	c current bound: 460
344.75/388.03	c current bound: 460
346.54/389.89	c current bound: 460
348.46/391.75	c current bound: 460
350.39/393.81	c current bound: 460
352.20/395.67	c current bound: 460
354.16/397.53	c current bound: 460
355.96/399.38	c current bound: 460
356.80/401.24	c current bound: 460
359.82/403.10	c current bound: 460
361.62/404.96	c current bound: 460
363.57/406.81	c current bound: 460
365.47/408.81	c current bound: 460
367.27/410.68	c current bound: 460
369.21/412.53	c current bound: 460
370.99/414.39	c current bound: 460
372.90/416.25	c current bound: 460
374.85/418.10	c current bound: 460
376.65/419.96	c current bound: 460
378.56/421.85	c current bound: 460
380.53/423.71	c current bound: 460
382.43/425.81	c current bound: 460
384.22/427.67	c current bound: 460
386.18/429.53	c current bound: 460
388.07/431.40	c current bound: 460
389.90/433.26	c current bound: 460
391.83/435.12	c current bound: 460
393.63/436.98	c current bound: 460
395.59/439.02	c current bound: 460
397.38/440.88	c current bound: 460
399.32/442.74	c current bound: 460
401.22/444.60	c current bound: 460
403.01/446.46	c current bound: 460
404.96/448.32	c current bound: 460
406.77/450.18	c current bound: 460
408.73/452.03	c current bound: 460
410.52/453.90	c current bound: 460
412.44/455.96	c current bound: 460
414.36/457.82	c current bound: 460
416.19/459.67	c current bound: 460
418.13/461.53	c current bound: 460
419.94/463.39	c current bound: 460
421.86/465.25	c current bound: 460
423.80/467.11	c current bound: 460
425.60/468.97	c current bound: 460
427.56/470.93	c current bound: 460
429.37/472.79	c current bound: 460
431.26/474.64	c current bound: 460
433.22/476.50	c current bound: 460
435.01/478.36	c current bound: 460
436.95/480.21	c current bound: 460
438.76/482.07	c current bound: 460
440.70/483.93	c current bound: 460
442.54/485.86	c current bound: 460
444.46/487.72	c current bound: 460
446.24/489.58	c current bound: 460
448.18/491.43	c current bound: 460
449.97/493.29	c current bound: 460
451.91/495.15	c current bound: 460
453.83/497.01	c current bound: 460
455.62/498.87	c current bound: 460
457.57/500.73	c current bound: 460
459.37/502.59	c current bound: 460
461.28/504.55	c current bound: 460
463.25/506.41	c current bound: 460
465.04/508.27	c current bound: 460
466.99/510.13	c current bound: 460
468.80/511.98	c current bound: 460
470.72/513.84	c current bound: 460
472.67/515.70	c current bound: 460
474.47/517.56	c current bound: 460
476.43/519.52	c current bound: 460
478.22/521.38	c current bound: 460
480.15/523.24	c current bound: 460
481.97/525.10	c current bound: 460
483.90/526.95	c current bound: 460
485.82/528.82	c current bound: 460
487.62/530.68	c current bound: 460
489.53/532.54	c current bound: 460
491.45/534.40	c current bound: 460
493.24/536.26	c current bound: 460
495.22/538.24	c current bound: 460
496.97/540.10	c current bound: 460
498.89/541.97	c current bound: 460
500.80/543.86	c current bound: 460
502.73/545.72	c current bound: 460
504.52/547.57	c current bound: 460
506.48/549.43	c current bound: 460
508.37/551.30	c current bound: 460
510.14/553.16	c current bound: 460
512.08/555.19	c current bound: 460
513.91/557.05	c current bound: 460
515.80/558.90	c current bound: 460
517.58/560.76	c current bound: 460
519.50/562.62	c current bound: 460
521.27/564.48	c current bound: 460
523.20/566.36	c current bound: 460
525.12/568.22	c current bound: 460
526.91/570.08	c current bound: 460
528.80/571.94	c current bound: 460
530.73/573.80	c current bound: 460
532.52/575.66	c current bound: 460
534.41/577.52	c current bound: 460
536.21/579.38	c current bound: 460
538.12/581.24	c current bound: 460
539.90/583.10	c current bound: 460
541.80/584.95	c current bound: 460
543.72/586.82	c current bound: 460
545.63/588.70	c current bound: 460
547.43/590.56	c current bound: 460
549.35/592.43	c current bound: 460
551.13/594.28	c current bound: 460
553.05/596.14	c current bound: 460
554.96/598.01	c current bound: 460
556.75/599.88	c current bound: 460
558.66/601.73	c current bound: 460
560.45/603.59	c current bound: 460
562.44/605.60	c current bound: 460
564.25/607.48	c current bound: 460
566.22/609.33	c current bound: 460
568.12/611.20	c current bound: 460
569.92/613.07	c current bound: 460
571.84/614.92	c current bound: 460
573.62/616.79	c current bound: 460
575.57/618.65	c current bound: 460
577.51/620.50	c current bound: 460
579.39/622.52	c current bound: 460
581.17/624.38	c current bound: 460
583.08/626.25	c current bound: 460
585.02/628.10	c current bound: 460
586.81/629.96	c current bound: 460
588.74/631.82	c current bound: 460
590.53/633.68	c current bound: 460
592.46/635.54	c current bound: 460
594.38/637.41	c current bound: 460
596.17/639.27	c current bound: 460
598.13/641.31	c current bound: 460
600.01/643.27	c current bound: 460
601.87/645.13	c current bound: 460
603.77/647.00	c current bound: 460
605.58/648.87	c current bound: 460
607.52/650.73	c current bound: 460
609.34/652.59	c current bound: 460
611.25/654.46	c current bound: 460
613.13/656.45	c current bound: 460
615.09/658.30	c current bound: 460
616.89/660.16	c current bound: 460
618.81/662.02	c current bound: 460
620.61/663.88	c current bound: 460
622.51/665.75	c current bound: 460
624.48/667.61	c current bound: 460
626.26/669.46	c current bound: 460
628.20/671.33	c current bound: 460
630.07/673.34	c current bound: 460
631.97/675.27	c current bound: 460
633.91/677.13	c current bound: 460
635.69/679.00	c current bound: 460
637.59/680.86	c current bound: 460
639.54/682.72	c current bound: 460
641.34/684.57	c current bound: 460
643.28/686.54	c current bound: 460
645.13/688.40	c current bound: 460
646.92/690.26	c current bound: 460
648.85/692.11	c current bound: 460
650.64/693.97	c current bound: 460
652.59/695.82	c current bound: 460
654.51/697.70	c current bound: 460
656.30/699.56	c current bound: 460
658.24/701.43	c current bound: 460
660.03/703.28	c current bound: 460
661.96/705.14	c current bound: 460
663.83/707.15	c current bound: 460
665.76/709.01	c current bound: 460
667.55/710.87	c current bound: 460
669.48/712.73	c current bound: 460
671.28/714.59	c current bound: 460
673.21/716.45	c current bound: 460
675.12/718.31	c current bound: 460
676.93/720.17	c current bound: 460
678.90/722.24	c current bound: 460
680.64/724.10	c current bound: 460
682.55/725.97	c current bound: 460
684.47/727.83	c current bound: 460
686.25/729.69	c current bound: 460
688.20/731.55	c current bound: 460
690.12/733.41	c current bound: 460
691.91/735.27	c current bound: 460
693.85/737.27	c current bound: 460
695.69/739.13	c current bound: 460
697.47/740.99	c current bound: 460
699.39/742.86	c current bound: 460
701.31/744.73	c current bound: 460
703.11/746.59	c current bound: 460
705.04/748.45	c current bound: 460
706.97/750.31	c current bound: 460
708.92/752.33	c current bound: 460
710.69/754.18	c current bound: 460
712.64/756.04	c current bound: 460
714.53/757.90	c current bound: 460
716.33/759.76	c current bound: 460
718.25/761.62	c current bound: 460
720.06/763.47	c current bound: 460
721.98/765.33	c current bound: 460
723.92/767.39	c current bound: 460
725.75/769.25	c current bound: 460
727.67/771.10	c current bound: 460
729.46/772.98	c current bound: 460
731.39/774.84	c current bound: 460
733.20/776.69	c current bound: 460
735.12/778.55	c current bound: 460
737.03/780.41	c current bound: 460
738.81/782.26	c current bound: 460
740.74/784.13	c current bound: 460
742.54/785.98	c current bound: 460
744.47/787.86	c current bound: 460
746.38/789.71	c current bound: 460
748.17/791.57	c current bound: 460
750.10/793.43	c current bound: 460
751.88/795.29	c current bound: 460
753.82/797.16	c current bound: 460
755.75/799.01	c current bound: 460
757.54/800.87	c current bound: 460
759.50/802.93	c current bound: 460
761.29/804.79	c current bound: 460
763.20/806.65	c current bound: 460
765.12/808.51	c current bound: 460
766.92/810.37	c current bound: 460
768.86/812.24	c current bound: 460
770.63/814.09	c current bound: 460
772.57/815.96	c current bound: 460
774.52/817.94	c current bound: 460
776.38/819.80	c current bound: 460
778.17/821.66	c current bound: 460
780.09/823.53	c current bound: 460
781.91/825.39	c current bound: 460
783.80/827.25	c current bound: 460
785.73/829.11	c current bound: 460
787.52/830.97	c current bound: 460
789.45/832.83	c current bound: 460
791.26/834.89	c current bound: 460
793.16/836.75	c current bound: 460
795.08/838.62	c current bound: 460
796.90/840.49	c current bound: 460
798.81/842.34	c current bound: 460
800.74/844.20	c current bound: 460
802.53/846.06	c current bound: 460
804.48/847.92	c current bound: 460
806.30/849.96	c current bound: 460
808.27/851.82	c current bound: 460
810.04/853.67	c current bound: 460
811.99/855.53	c current bound: 460
813.81/857.39	c current bound: 460
815.72/859.24	c current bound: 460
817.66/861.11	c current bound: 460
819.46/862.97	c current bound: 460
821.41/864.90	c current bound: 460
823.22/866.76	c current bound: 460
825.12/868.62	c current bound: 460
826.92/870.47	c current bound: 460
828.88/872.33	c current bound: 460
830.67/874.19	c current bound: 460
832.58/876.05	c current bound: 460
834.51/877.91	c current bound: 460
836.29/879.77	c current bound: 460
838.23/881.63	c current bound: 460
840.08/883.69	c current bound: 460
841.95/885.55	c current bound: 460
843.87/887.40	c current bound: 460
845.67/889.26	c current bound: 460
847.58/891.12	c current bound: 460
849.38/892.98	c current bound: 460
851.32/894.84	c current bound: 460
853.10/896.69	c current bound: 460
855.08/898.66	c current bound: 460
856.96/900.52	c current bound: 460
858.75/902.37	c current bound: 460
860.68/904.23	c current bound: 460
862.48/906.09	c current bound: 460
864.40/907.95	c current bound: 460
866.31/909.81	c current bound: 460
868.11/911.67	c current bound: 460
870.06/913.53	c current bound: 460
871.85/915.39	c current bound: 460
873.75/917.25	c current bound: 460
875.59/919.27	c current bound: 460
877.54/921.13	c current bound: 460
879.46/923.00	c current bound: 460
881.26/924.87	c current bound: 460
883.19/926.73	c current bound: 460
885.00/928.58	c current bound: 460
886.93/930.44	c current bound: 460
888.86/932.31	c current bound: 460
890.75/934.34	c current bound: 460
892.63/936.20	c current bound: 460
894.42/938.06	c current bound: 460
896.36/939.92	c current bound: 460
898.17/941.78	c current bound: 460
900.05/943.64	c current bound: 460
901.99/945.50	c current bound: 460
903.80/947.36	c current bound: 460
905.75/949.22	c current bound: 460
907.57/951.26	c current bound: 460
909.49/953.12	c current bound: 460
911.30/954.97	c current bound: 460
913.21/956.84	c current bound: 460
915.13/958.70	c current bound: 460
916.92/960.56	c current bound: 460
918.86/962.42	c current bound: 460
920.65/964.28	c current bound: 460
922.56/966.14	c current bound: 460
924.49/968.00	c current bound: 460
926.27/969.86	c current bound: 460
928.24/971.72	c current bound: 460
930.02/973.58	c current bound: 460
931.93/975.46	c current bound: 460
933.85/977.31	c current bound: 460
935.63/979.17	c current bound: 460
937.57/981.04	c current bound: 460
939.48/982.90	c current bound: 460
941.36/984.94	c current bound: 460
943.21/986.80	c current bound: 460
945.01/988.66	c current bound: 460
946.95/990.53	c current bound: 460
948.77/992.39	c current bound: 460
950.69/994.26	c current bound: 460
952.59/996.14	c current bound: 460
954.52/998.01	c current bound: 460
956.41/999.96	c current bound: 460
958.29/1001.82	c current bound: 460
960.08/1003.68	c current bound: 460
962.00/1005.54	c current bound: 460
963.78/1007.39	c current bound: 460
965.70/1009.25	c current bound: 460
967.67/1011.11	c current bound: 460
969.45/1012.97	c current bound: 460
971.39/1014.83	c current bound: 460
973.17/1016.89	c current bound: 460
975.10/1018.75	c current bound: 460
977.02/1020.61	c current bound: 460
978.83/1022.47	c current bound: 460
980.75/1024.32	c current bound: 460
982.57/1026.17	c current bound: 460
984.49/1028.04	c current bound: 460
986.29/1029.89	c current bound: 460
988.22/1031.85	c current bound: 460
990.15/1033.71	c current bound: 460
991.94/1035.57	c current bound: 460
993.87/1037.42	c current bound: 460
995.64/1039.28	c current bound: 460
997.57/1041.14	c current bound: 460
999.51/1043.00	c current bound: 460
1001.31/1044.85	c current bound: 460
1003.25/1046.71	c current bound: 460
1005.06/1048.56	c current bound: 460
1006.96/1050.49	c current bound: 460
1008.82/1052.36	c current bound: 460
1010.75/1054.21	c current bound: 460
1012.55/1056.07	c current bound: 460
1014.46/1057.92	c current bound: 460
1016.24/1059.78	c current bound: 460
1018.18/1061.63	c current bound: 460
1020.00/1063.49	c current bound: 460
1021.98/1065.54	c current bound: 460
1023.75/1067.40	c current bound: 460
1025.65/1069.26	c current bound: 460
1027.58/1071.12	c current bound: 460
1029.38/1072.97	c current bound: 460
1031.29/1074.82	c current bound: 460
1033.09/1076.70	c current bound: 460
1034.98/1078.55	c current bound: 460
1036.91/1080.40	c current bound: 460
1038.70/1082.26	c current bound: 460
1040.63/1084.12	c current bound: 460
1042.48/1086.12	c current bound: 460
1044.27/1087.98	c current bound: 460
1046.15/1089.84	c current bound: 460
1047.98/1091.69	c current bound: 460
1049.88/1093.56	c current bound: 460
1051.79/1095.43	c current bound: 460
1053.59/1097.29	c current bound: 460
1055.49/1099.15	c current bound: 460
1057.38/1101.28	c current bound: 460
1059.28/1103.14	c current bound: 460
1061.10/1104.99	c current bound: 460
1062.99/1106.85	c current bound: 460
1064.94/1108.71	c current bound: 460
1066.74/1110.57	c current bound: 460
1068.67/1112.44	c current bound: 460
1070.59/1114.30	c current bound: 460
1072.48/1116.45	c current bound: 460
1074.33/1118.31	c current bound: 460
1076.14/1120.17	c current bound: 460
1078.05/1122.03	c current bound: 460
1079.98/1123.90	c current bound: 460
1081.78/1125.75	c current bound: 460
1083.72/1127.61	c current bound: 460
1085.52/1129.46	c current bound: 460
1087.47/1131.50	c current bound: 460
1089.35/1133.41	c current bound: 460
1091.12/1135.29	c current bound: 460
1093.04/1137.14	c current bound: 460
1094.97/1139.00	c current bound: 460
1096.78/1140.86	c current bound: 460
1098.71/1142.72	c current bound: 460
1100.50/1144.57	c current bound: 460
1102.49/1146.60	c current bound: 460
1104.30/1148.46	c current bound: 460
1106.22/1150.33	c current bound: 460
1108.00/1152.19	c current bound: 460
1109.95/1154.05	c current bound: 460
1111.87/1155.91	c current bound: 460
1113.67/1157.77	c current bound: 460
1115.60/1159.64	c current bound: 460
1117.53/1161.69	c current bound: 460
1119.35/1163.55	c current bound: 460
1121.30/1165.41	c current bound: 460
1123.12/1167.28	c current bound: 460
1125.07/1169.13	c current bound: 460
1126.87/1170.99	c current bound: 460
1128.79/1172.85	c current bound: 460
1130.74/1174.70	c current bound: 460
1132.61/1176.77	c current bound: 460
1134.43/1178.64	c current bound: 460
1136.27/1180.49	c current bound: 460
1138.16/1182.35	c current bound: 460
1140.10/1184.21	c current bound: 460
1141.89/1186.07	c current bound: 460
1143.79/1187.97	c current bound: 460
1145.73/1189.83	c current bound: 460
1147.63/1191.92	c current bound: 460
1149.41/1193.77	c current bound: 460
1151.35/1195.63	c current bound: 460
1153.14/1197.49	c current bound: 460
1155.07/1199.37	c current bound: 460
1156.99/1201.22	c current bound: 460
1158.78/1203.09	c current bound: 460
1160.70/1204.94	c current bound: 460
1162.64/1206.80	c current bound: 460
1164.45/1208.84	c current bound: 460
1166.39/1210.70	c current bound: 460
1168.19/1212.56	c current bound: 460
1170.12/1214.41	c current bound: 460
1172.05/1216.31	c current bound: 460
1173.83/1218.16	c current bound: 460
1175.78/1220.03	c current bound: 460
1177.57/1221.88	c current bound: 460
1179.54/1223.83	c current bound: 460
1181.33/1225.68	c current bound: 460
1183.24/1227.54	c current bound: 460
1185.17/1229.40	c current bound: 460
1186.96/1231.25	c current bound: 460
1188.91/1233.12	c current bound: 460
1190.69/1234.98	c current bound: 460
1192.62/1236.85	c current bound: 460
1194.54/1238.70	c current bound: 460
1196.34/1240.57	c current bound: 460
1198.21/1242.57	c current bound: 460
1200.16/1244.43	c current bound: 460
1202.09/1246.30	c current bound: 460
1203.97/1248.20	c current bound: 460
1205.78/1250.06	c current bound: 460
1207.73/1251.92	c current bound: 460
1209.54/1253.78	c current bound: 460
1211.43/1255.65	c current bound: 460
1213.37/1257.76	c current bound: 460
1215.26/1259.61	c current bound: 460
1217.04/1261.48	c current bound: 460
1218.96/1263.34	c current bound: 460
1220.89/1265.20	c current bound: 460
1222.69/1267.06	c current bound: 460
1224.63/1268.93	c current bound: 460
1226.46/1270.79	c current bound: 460
1228.44/1272.80	c current bound: 460
1230.22/1274.66	c current bound: 460
1232.16/1276.52	c current bound: 460
1233.94/1278.38	c current bound: 460
1235.87/1280.23	c current bound: 460
1237.67/1282.09	c current bound: 460
1239.59/1283.96	c current bound: 460
1241.51/1285.82	c current bound: 460
1243.39/1287.89	c current bound: 460
1245.26/1289.75	c current bound: 460
1247.21/1291.62	c current bound: 460
1248.98/1293.48	c current bound: 460
1250.91/1295.36	c current bound: 460
1252.84/1297.23	c current bound: 460
1254.64/1299.08	c current bound: 460
1256.59/1300.94	c current bound: 460
1258.46/1303.05	c current bound: 460
1260.38/1304.91	c current bound: 460
1262.17/1306.78	c current bound: 460
1264.10/1308.64	c current bound: 460
1265.90/1310.49	c current bound: 460
1267.84/1312.35	c current bound: 460
1269.78/1314.21	c current bound: 460
1271.57/1316.07	c current bound: 460
1273.53/1318.07	c current bound: 460
1275.40/1319.94	c current bound: 460
1277.21/1321.79	c current bound: 460
1279.13/1323.66	c current bound: 460
1281.06/1325.52	c current bound: 460
1282.86/1327.38	c current bound: 460
1284.79/1329.24	c current bound: 460
1286.72/1331.10	c current bound: 460
1288.53/1332.95	c current bound: 460
1290.48/1334.81	c current bound: 460
1292.29/1336.68	c current bound: 460
1294.23/1338.54	c current bound: 460
1296.04/1340.39	c current bound: 460
1297.95/1342.25	c current bound: 460
1299.87/1344.11	c current bound: 460
1301.67/1345.97	c current bound: 460
1303.62/1347.83	c current bound: 460
1305.43/1349.69	c current bound: 460
1307.31/1351.56	c current bound: 460
1309.27/1353.43	c current bound: 460
1311.05/1355.28	c current bound: 460
1312.94/1357.14	c current bound: 460
1314.90/1359.00	c current bound: 460
1316.70/1360.86	c current bound: 460
1318.63/1362.72	c current bound: 460
1320.40/1364.59	c current bound: 460
1322.33/1366.45	c current bound: 460
1324.26/1368.31	c current bound: 460
1326.06/1370.18	c current bound: 460
1328.01/1372.03	c current bound: 460
1329.94/1374.08	c current bound: 460
1331.79/1375.94	c current bound: 460
1333.71/1377.82	c current bound: 460
1335.49/1379.67	c current bound: 460
1337.43/1381.53	c current bound: 460
1339.23/1383.39	c current bound: 460
1341.14/1385.25	c current bound: 460
1343.07/1387.12	c current bound: 460
1344.93/1389.28	c current bound: 460
1346.81/1391.14	c current bound: 460
1348.66/1393.00	c current bound: 460
1350.55/1394.86	c current bound: 460
1352.48/1396.71	c current bound: 460
1354.31/1398.57	c current bound: 460
1356.23/1400.43	c current bound: 460
1358.00/1402.29	c current bound: 460
1359.99/1404.34	c current bound: 460
1361.75/1406.20	c current bound: 460
1363.66/1408.05	c current bound: 460
1365.57/1409.92	c current bound: 460
1367.38/1411.79	c current bound: 460
1369.29/1413.64	c current bound: 460
1371.22/1415.50	c current bound: 460
1373.01/1417.35	c current bound: 460
1374.95/1419.22	c current bound: 460
1376.74/1421.16	c current bound: 460
1378.67/1423.02	c current bound: 460
1380.45/1424.88	c current bound: 460
1382.36/1426.73	c current bound: 460
1384.26/1428.60	c current bound: 460
1386.05/1430.45	c current bound: 460
1387.96/1432.31	c current bound: 460
1389.75/1434.17	c current bound: 460
1391.67/1436.03	c current bound: 460
1393.48/1437.89	c current bound: 460
1395.36/1439.84	c current bound: 460
1397.29/1441.70	c current bound: 460
1399.06/1443.56	c current bound: 460
1400.97/1445.43	c current bound: 460
1402.76/1447.29	c current bound: 460
1404.69/1449.14	c current bound: 460
1406.58/1451.00	c current bound: 460
1408.37/1452.86	c current bound: 460
1410.31/1454.89	c current bound: 460
1412.11/1456.75	c current bound: 460
1414.00/1458.61	c current bound: 460
1415.79/1460.47	c current bound: 460
1417.72/1462.33	c current bound: 460
1419.50/1464.18	c current bound: 460
1421.40/1466.05	c current bound: 460
1423.34/1467.91	c current bound: 460
1425.12/1469.77	c current bound: 460
1427.04/1471.74	c current bound: 460
1428.99/1473.62	c current bound: 460
1430.78/1475.48	c current bound: 460
1432.71/1477.33	c current bound: 460
1434.48/1479.19	c current bound: 460
1436.39/1481.05	c current bound: 460
1438.34/1482.91	c current bound: 460
1440.14/1484.76	c current bound: 460
1442.07/1486.63	c current bound: 460
1443.87/1488.48	c current bound: 460
1445.83/1490.50	c current bound: 460
1447.65/1492.36	c current bound: 460
1449.58/1494.21	c current bound: 460
1451.35/1496.08	c current bound: 460
1453.29/1497.94	c current bound: 460
1455.21/1499.80	c current bound: 460
1456.99/1501.66	c current bound: 460
1458.94/1503.52	c current bound: 460
1460.73/1505.38	c current bound: 460
1462.66/1507.24	c current bound: 460
1464.57/1509.10	c current bound: 460
1466.34/1510.96	c current bound: 460
1468.28/1512.82	c current bound: 460
1470.07/1514.67	c current bound: 460
1471.96/1516.54	c current bound: 460
1473.77/1518.40	c current bound: 460
1475.66/1520.26	c current bound: 460
1477.58/1522.12	c current bound: 460
1479.37/1523.99	c current bound: 460
1481.25/1525.86	c current bound: 460
1483.16/1527.72	c current bound: 460
1484.94/1529.58	c current bound: 460
1486.83/1531.45	c current bound: 460
1488.76/1533.30	c current bound: 460
1490.56/1535.16	c current bound: 460
1492.47/1537.02	c current bound: 460
1494.26/1538.88	c current bound: 460
1496.20/1540.93	c current bound: 460
1497.97/1542.79	c current bound: 460
1499.90/1544.65	c current bound: 460
1501.80/1546.50	c current bound: 460
1503.62/1548.36	c current bound: 460
1505.56/1550.22	c current bound: 460
1507.33/1552.08	c current bound: 460
1509.28/1553.93	c current bound: 460
1511.09/1555.80	c current bound: 460
1513.08/1557.80	c current bound: 460
1514.85/1559.66	c current bound: 460
1516.77/1561.53	c current bound: 460
1518.55/1563.38	c current bound: 460
1520.46/1565.24	c current bound: 460
1522.38/1567.10	c current bound: 460
1524.17/1568.97	c current bound: 460
1526.05/1570.89	c current bound: 460
1528.03/1572.80	c current bound: 460
1529.82/1574.66	c current bound: 460
1531.73/1576.51	c current bound: 460
1533.52/1578.37	c current bound: 460
1535.43/1580.23	c current bound: 460
1537.21/1582.10	c current bound: 460
1539.10/1583.96	c current bound: 460
1541.03/1585.82	c current bound: 460
1542.82/1587.69	c current bound: 460
1544.72/1589.54	c current bound: 460
1546.63/1591.42	c current bound: 460
1548.41/1593.28	c current bound: 460
1550.31/1595.14	c current bound: 460
1552.24/1597.00	c current bound: 460
1554.03/1598.86	c current bound: 460
1555.94/1600.72	c current bound: 460
1557.74/1602.59	c current bound: 460
1559.63/1604.45	c current bound: 460
1561.52/1606.55	c current bound: 460
1563.43/1608.40	c current bound: 460
1565.21/1610.26	c current bound: 460
1567.14/1612.12	c current bound: 460
1568.93/1613.98	c current bound: 460
1570.82/1615.84	c current bound: 460
1572.73/1617.70	c current bound: 460
1574.51/1619.57	c current bound: 460
1576.46/1621.58	c current bound: 460
1578.26/1623.44	c current bound: 460
1580.18/1625.30	c current bound: 460
1581.97/1627.17	c current bound: 460
1583.86/1629.04	c current bound: 460
1585.77/1630.90	c current bound: 460
1587.56/1632.75	c current bound: 460
1589.47/1634.61	c current bound: 460
1591.24/1636.47	c current bound: 460
1593.12/1638.47	c current bound: 460
1595.04/1640.33	c current bound: 460
1596.94/1642.20	c current bound: 460
1598.73/1644.06	c current bound: 460
1600.64/1645.91	c current bound: 460
1602.41/1647.77	c current bound: 460
1604.34/1649.62	c current bound: 460
1606.13/1651.49	c current bound: 460
1608.01/1653.35	c current bound: 460
1609.93/1655.20	c current bound: 460
1611.75/1657.17	c current bound: 460
1613.61/1659.05	c current bound: 460
1615.53/1660.98	c current bound: 460
1617.44/1662.83	c current bound: 460
1619.25/1664.69	c current bound: 460
1621.12/1666.55	c current bound: 460
1623.07/1668.42	c current bound: 460
1624.87/1670.28	c current bound: 460
1626.74/1672.29	c current bound: 460
1628.60/1674.15	c current bound: 460
1630.55/1676.00	c current bound: 460
1632.33/1677.86	c current bound: 460
1634.25/1679.72	c current bound: 460
1636.02/1681.58	c current bound: 460
1637.94/1683.44	c current bound: 460
1639.84/1685.30	c current bound: 460
1641.71/1687.34	c current bound: 460
1643.57/1689.21	c current bound: 460
1645.37/1691.07	c current bound: 460
1647.27/1692.93	c current bound: 460
1649.04/1694.79	c current bound: 460
1650.98/1696.67	c current bound: 460
1652.87/1698.53	c current bound: 460
1654.66/1700.39	c current bound: 460
1656.63/1702.40	c current bound: 460
1658.41/1704.27	c current bound: 460
1660.34/1706.14	c current bound: 460
1662.25/1708.00	c current bound: 460
1664.03/1709.86	c current bound: 460
1665.95/1711.72	c current bound: 460
1667.74/1713.58	c current bound: 460
1669.63/1715.44	c current bound: 460
1671.56/1717.30	c current bound: 460
1673.32/1719.17	c current bound: 460
1675.24/1721.03	c current bound: 460
1677.06/1722.90	c current bound: 460
1678.94/1724.78	c current bound: 460
1680.86/1726.64	c current bound: 460
1682.67/1728.49	c current bound: 460
1684.58/1730.35	c current bound: 460
1686.53/1732.21	c current bound: 460
1688.31/1734.07	c current bound: 460
1690.24/1735.92	c current bound: 460
1692.13/1737.91	c current bound: 460
1693.92/1739.77	c current bound: 460
1695.87/1741.63	c current bound: 460
1697.64/1743.49	c current bound: 460
1699.56/1745.35	c current bound: 460
1701.52/1747.20	c current bound: 460
1703.31/1749.06	c current bound: 460
1705.25/1750.92	c current bound: 460
1707.14/1752.98	c current bound: 460
1708.99/1754.83	c current bound: 460
1710.81/1756.69	c current bound: 460
1712.69/1758.56	c current bound: 460
1714.65/1760.42	c current bound: 460
1716.44/1762.27	c current bound: 460
1718.37/1764.13	c current bound: 460
1720.18/1765.98	c current bound: 460
1722.09/1767.84	c current bound: 460
1724.03/1769.70	c current bound: 460
1725.84/1771.56	c current bound: 460
1727.72/1773.57	c current bound: 460
1729.60/1775.44	c current bound: 460
1731.56/1777.30	c current bound: 460
1733.36/1779.16	c current bound: 460
1735.28/1781.02	c current bound: 460
1737.20/1782.90	c current bound: 460
1738.99/1784.76	c current bound: 460
1740.93/1786.61	c current bound: 460
1742.78/1788.63	c current bound: 460
1744.70/1790.51	c current bound: 460
1746.51/1792.37	c current bound: 460
1748.42/1794.22	c current bound: 460
1750.22/1796.07	c current bound: 460
1752.13/1797.93	c current bound: 460
1753.96/1799.79	c current bound: 460
1755.86/1801.66	c current bound: 460
1757.74/1803.68	c current bound: 460
1759.67/1805.54	c current bound: 460
1761.46/1807.40	c current bound: 460
1763.37/1809.25	c current bound: 460
1765.31/1811.11	c current bound: 460
1767.11/1812.97	c current bound: 460
1769.02/1814.85	c current bound: 460
1770.95/1816.71	c current bound: 460
1772.83/1818.67	c current bound: 460
1774.63/1820.54	c current bound: 460
1776.57/1822.40	c current bound: 460
1778.37/1824.26	c current bound: 460
1780.30/1826.13	c current bound: 460
1782.22/1828.00	c current bound: 460
1784.02/1829.86	c current bound: 460
1785.95/1831.72	c current bound: 460
1787.85/1833.73	c current bound: 460
1789.75/1835.60	c current bound: 460
1791.55/1837.46	c current bound: 460
1793.48/1839.33	c current bound: 460
1795.41/1841.20	c current bound: 460
1797.18/1843.07	c current bound: 460
1799.11/1844.90	HOME/npSolver-wbo-Itdqb.sh: line 18: 20784 Terminated              ./npSolver-wbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -useCP2=1 -useInc=1

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3715303-1338235804/watcher-3715303-1338235804 -o /tmp/evaluation-result-3715303-1338235804/solver-3715303-1338235804 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715303-1338235804.wbo 620330497 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.00 2.00 1.99 3/180 20783
/proc/meminfo: memFree=28700104/32873844 swapFree=6856/6856
[pid=20783] ppid=20781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20783/stat : 20783 (npSolver-wbo-It) S 20781 20783 25271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289705301 9367552 274 33554432000 4194304 5064252 140733984082880 140733984081792 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20783/statm: 2287 274 233 213 0 72 0

[startup+0.0110551 s]
/proc/loadavg: 2.00 2.00 1.99 3/180 20783
/proc/meminfo: memFree=28700104/32873844 swapFree=6856/6856
[pid=20783] ppid=20781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20783/stat : 20783 (npSolver-wbo-It) S 20781 20783 25271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289705301 9367552 274 33554432000 4194304 5064252 140733984082880 140733984081792 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20783/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100259 s]
/proc/loadavg: 2.00 2.00 1.99 3/180 20783
/proc/meminfo: memFree=28700104/32873844 swapFree=6856/6856
[pid=20783] ppid=20781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20783/stat : 20783 (npSolver-wbo-It) S 20781 20783 25271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289705301 9367552 274 33554432000 4194304 5064252 140733984082880 140733984081792 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20783/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300234 s]
/proc/loadavg: 2.00 2.00 1.99 3/180 20783
/proc/meminfo: memFree=28700104/32873844 swapFree=6856/6856
[pid=20783] ppid=20781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20783/stat : 20783 (npSolver-wbo-It) S 20781 20783 25271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289705301 9367552 274 33554432000 4194304 5064252 140733984082880 140733984081792 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20783/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700184 s]
/proc/loadavg: 2.00 2.00 1.99 3/180 20783
/proc/meminfo: memFree=28700104/32873844 swapFree=6856/6856
[pid=20783] ppid=20781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20783/stat : 20783 (npSolver-wbo-It) S 20781 20783 25271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289705301 9367552 274 33554432000 4194304 5064252 140733984082880 140733984081792 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20783/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 1.99 3/182 20799
/proc/meminfo: memFree=28673536/32873844 swapFree=6856/6856
[pid=20783] ppid=20781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20783/stat : 20783 (npSolver-wbo-It) S 20781 20783 25271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289705301 9367552 274 33554432000 4194304 5064252 140733984082880 140733984081792 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20783/statm: 2287 274 233 213 0 72 0
[pid=20784] ppid=20783 vsize=73768 CPUtime=1.48 cores=1,3,5,7
/proc/20784/stat : 20784 (npSolver-wbo) R 20783 20783 25271 0 -1 4202496 6488 0 0 0 146 2 0 0 20 0 1 0 289705301 75538432 15744 33554432000 4194304 5990268 140736062580704 140736062576584 5043542 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20784/statm: 18442 15744 147 439 0 17999 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 82916

[startup+3.10044 s]
/proc/loadavg: 2.00 2.00 1.99 3/184 20815
/proc/meminfo: memFree=28411532/32873844 swapFree=6856/6856
[pid=20783] ppid=20781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20783/stat : 20783 (npSolver-wbo-It) S 20781 20783 25271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289705301 9367552 274 33554432000 4194304 5064252 140733984082880 140733984081792 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20783/statm: 2287 274 233 213 0 72 0
[pid=20784] ppid=20783 vsize=51432 CPUtime=1.53 cores=1,3,5,7
/proc/20784/stat : 20784 (npSolver-wbo) S 20783 20783 25271 0 -1 4202496 6580 0 0 0 147 6 0 0 20 0 1 0 289705301 52666368 10251 33554432000 4194304 5990268 140736062580704 140736062573856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20784/statm: 12858 10251 153 439 0 12415 0
[pid=20807] ppid=20784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20807/stat : 20807 (cp2_pre.sh) S 20784 20783 25271 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 289705454 9367552 277 33554432000 4194304 5064252 140733683264032 140733683262736 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20807/statm: 2287 277 234 213 0 72 0
[pid=20808] ppid=20807 vsize=281348 CPUtime=1.55 cores=1,3,5,7
/proc/20808/stat : 20808 (coprocessor) R 20807 20783 25271 0 -1 4202496 36222 0 0 0 146 9 0 0 20 0 1 0 289705454 288100352 67877 33554432000 4194304 6586260 140734911316496 140734911312760 4771350 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/20808/statm: 70337 67877 175 584 0 69749 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 351076

[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 1.99 2/183 20855
/proc/meminfo: memFree=28326680/32873844 swapFree=6856/6856
[pid=20783] ppid=20781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20783/stat : 20783 (npSolver-wbo-It) S 20781 20783 25271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289705301 9367552 274 33554432000 4194304 5064252 140733984082880 140733984081792 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20783/statm: 2287 274 233 213 0 72 0
[pid=20784] ppid=20783 vsize=51432 CPUtime=1.53 cores=1,3,5,7
/proc/20784/stat : 20784 (npSolver-wbo) S 20783 20783 25271 0 -1 4202496 6580 0 0 0 147 6 0 0 20 0 1 0 289705301 52666368 10251 33554432000 4194304 5990268 140736062580704 140736062573856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20784/statm: 12858 10251 153 439 0 12415 0
[pid=20807] ppid=20784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20807/stat : 20807 (cp2_pre.sh) S 20784 20783 25271 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 289705454 9367552 277 33554432000 4194304 5064252 140733683264032 140733683262736 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20807/statm: 2287 277 234 213 0 72 0
[pid=20808] ppid=20807 vsize=335376 CPUtime=4.75 cores=1,3,5,7
/proc/20808/stat : 20808 (coprocessor) R 20807 20783 25271 0 -1 4202496 44042 0 0 0 465 10 0 0 20 0 1 0 289705454 343425024 81829 33554432000 4194304 6586260 140734911316496 140734911311864 5599454 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/20808/statm: 83844 81829 191 584 0 83256 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 405104

[startup+13.4273 s]
/proc/loadavg: 2.08 2.02 2.00 3/182 20967
/proc/meminfo: memFree=28309496/32873844 swapFree=6856/6856
[pid=20783] ppid=20781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20783/stat : 20783 (npSolver-wbo-It) S 20781 20783 25271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289705301 9367552 274 33554432000 4194304 5064252 140733984082880 140733984081792 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20783/statm: 2287 274 233 213 0 72 0
[pid=20784] ppid=20783 vsize=51432 CPUtime=1.53 cores=1,3,5,7
/proc/20784/stat : 20784 (npSolver-wbo) S 20783 20783 25271 0 -1 4202496 6580 0 0 0 147 6 0 0 20 0 1 0 289705301 52666368 10251 33554432000 4194304 5990268 140736062580704 140736062573856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20784/statm: 12858 10251 153 439 0 12415 0
[pid=20807] ppid=20784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20807/stat : 20807 (cp2_pre.sh) S 20784 20783 25271 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 289705454 9367552 277 33554432000 4194304 5064252 140733683264032 140733683262736 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20807/statm: 2287 277 234 213 0 72 0
[pid=20808] ppid=20807 vsize=355500 CPUtime=11.89 cores=1,3,5,7
/proc/20808/stat : 20808 (coprocessor) R 20807 20783 25271 0 -1 4202496 45232 0 0 0 1178 11 0 0 20 0 1 0 289705454 364032000 85314 33554432000 4194304 6586260 140734911316496 140734911312088 4668254 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/20808/statm: 88875 85314 196 584 0 88287 0
Current children cumulated CPU time (s) 13.42
Current children cumulated vsize (KiB) 425228

[startup+25.8874 s]
/proc/loadavg: 2.07 2.02 2.00 3/184 21143
/proc/meminfo: memFree=28502112/32873844 swapFree=6856/6856
[pid=20783] ppid=20781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20783/stat : 20783 (npSolver-wbo-It) S 20781 20783 25271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289705301 9367552 274 33554432000 4194304 5064252 140733984082880 140733984081792 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20783/statm: 2287 274 233 213 0 72 0
[pid=20784] ppid=20783 vsize=77164 CPUtime=25.7 cores=1,3,5,7
/proc/20784/stat : 20784 (npSolver-wbo) S 20783 20783 25271 0 -1 4202496 19100 170543 0 0 181 13 2003 373 20 0 1 0 289705301 79015936 16399 33554432000 4194304 5990268 140736062580704 140736062571600 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20784/statm: 19291 16399 176 439 0 18848 0
Current children cumulated CPU time (s) 25.7
Current children cumulated vsize (KiB) 86312

[startup+51.3744 s]
/proc/loadavg: 1.72 1.93 1.97 4/185 21594
/proc/meminfo: memFree=28461316/32873844 swapFree=6856/6856
[pid=20783] ppid=20781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20783/stat : 20783 (npSolver-wbo-It) S 20781 20783 25271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289705301 9367552 274 33554432000 4194304 5064252 140733984082880 140733984081792 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20783/statm: 2287 274 233 213 0 72 0
[pid=20784] ppid=20783 vsize=77164 CPUtime=51.7 cores=1,3,5,7
/proc/20784/stat : 20784 (npSolver-wbo) S 20783 20783 25271 0 -1 4202496 74454 635915 0 0 333 37 3937 863 20 0 1 0 289705301 79015936 16399 33554432000 4194304 5990268 140736062580704 140736062571600 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20784/statm: 19291 16399 176 439 0 18848 0
[pid=21585] ppid=20784 vsize=9148 CPUtime=0.09 cores=1,3,5,7
/proc/21585/stat : 21585 (cp2_post.sh) S 20784 20783 25271 0 -1 4202496 609 224 0 0 0 0 0 9 20 0 1 0 289710357 9367552 265 33554432000 4194304 5064252 140735393689968 140735393688256 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21585/statm: 2287 265 225 213 0 72 0
[pid=21587] ppid=21585 vsize=170296 CPUtime=0.79 cores=1,3,5,7
/proc/21587/stat : 21587 (coprocessor) R 21585 20783 25271 0 -1 4202496 12254 0 0 0 69 10 0 0 20 0 1 0 289710357 174383104 37144 33554432000 4194304 6586260 140734509379472 140734509376488 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/21587/statm: 42574 37144 149 584 0 41986 0
Current children cumulated CPU time (s) 52.58
Current children cumulated vsize (KiB) 265756

[startup+102.581 s]
/proc/loadavg: 1.47 1.82 1.93 3/183 22452
/proc/meminfo: memFree=28494320/32873844 swapFree=6856/6856
[pid=20783] ppid=20781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20783/stat : 20783 (npSolver-wbo-It) S 20781 20783 25271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289705301 9367552 274 33554432000 4194304 5064252 140733984082880 140733984081792 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20783/statm: 2287 274 233 213 0 72 0
[pid=20784] ppid=20783 vsize=77164 CPUtime=105.78 cores=1,3,5,7
/proc/20784/stat : 20784 (npSolver-wbo) S 20783 20783 25271 0 -1 4202496 189420 1603031 0 0 647 85 7972 1874 20 0 1 0 289705301 79015936 16399 33554432000 4194304 5990268 140736062580704 140736062571600 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20784/statm: 19291 16399 176 439 0 18848 0
Current children cumulated CPU time (s) 105.78
Current children cumulated vsize (KiB) 86312

[startup+168.083 s]
/proc/loadavg: 0.97 1.65 1.87 3/183 23152
/proc/meminfo: memFree=28487396/32873844 swapFree=6856/6856
[pid=20783] ppid=20781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20783/stat : 20783 (npSolver-wbo-It) S 20781 20783 25271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289705301 9367552 274 33554432000 4194304 5064252 140733984082880 140733984081792 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20783/statm: 2287 274 233 213 0 72 0
[pid=20784] ppid=20783 vsize=77164 CPUtime=145.85 cores=1,3,5,7
/proc/20784/stat : 20784 (npSolver-wbo) S 20783 20783 25271 0 -1 4202496 268959 2315139 0 0 882 120 10949 2634 20 0 1 0 289705301 79015936 16399 33554432000 4194304 5990268 140736062580704 140736062571600 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20784/statm: 19291 16399 176 439 0 18848 0
Current children cumulated CPU time (s) 145.85
Current children cumulated vsize (KiB) 86312

[startup+222.754 s]
/proc/loadavg: 1.75 1.84 1.92 3/183 24383
/proc/meminfo: memFree=28465860/32873844 swapFree=6856/6856
[pid=20783] ppid=20781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20783/stat : 20783 (npSolver-wbo-It) S 20781 20783 25271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289705301 9367552 274 33554432000 4194304 5064252 140733984082880 140733984081792 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20783/statm: 2287 274 233 213 0 72 0
[pid=20784] ppid=20783 vsize=77164 CPUtime=173.58 cores=1,3,5,7
/proc/20784/stat : 20784 (npSolver-wbo) S 20783 20783 25271 0 -1 4202496 314263 2820132 0 0 1053 143 13010 3152 20 0 1 0 289705301 79015936 16399 33554432000 4194304 5990268 140736062580704 140736062571600 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20784/statm: 19291 16399 176 439 0 18848 0
Current children cumulated CPU time (s) 173.58
Current children cumulated vsize (KiB) 86312
heavy processes:

[startup+282.434 s]
/proc/loadavg: 0.89 1.56 1.82 3/183 25441
/proc/meminfo: memFree=28483848/32873844 swapFree=6856/6856

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

/proc/20784/statm: 19291 16399 176 439 0 18848 0
[pid=11856] ppid=20784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11856/stat : 11856 (cp2_post.sh) S 20784 20783 25271 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 289841462 9367552 266 33554432000 4194304 5064252 140734307312048 140734307310336 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11856/statm: 2287 266 225 213 0 72 0
[pid=11857] ppid=11856 vsize=4004 CPUtime=0.01 cores=1,3,5,7
/proc/11857/stat : 11857 (cat) S 11856 20783 25271 0 -1 4202496 216 0 0 0 0 1 0 0 20 0 1 0 289841462 4100096 122 33554432000 4194304 4236627 140735959823584 140735959822680 223651644896 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11857/statm: 1001 122 96 11 0 67 0
[pid=11858] ppid=11856 vsize=166300 CPUtime=0.67 cores=1,3,5,7
/proc/11858/stat : 11858 (coprocessor) R 11856 20783 25271 0 -1 4202496 11379 0 0 0 61 6 0 0 20 0 1 0 289841462 170291200 36295 33554432000 4194304 6586260 140733912023680 140733912019576 5732400 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/11858/statm: 41575 36295 149 584 0 40987 0
Current children cumulated CPU time (s) 1318.2
Current children cumulated vsize (KiB) 265764

[startup+1422.3 s]
/proc/loadavg: 1.95 2.00 1.91 3/180 12903
/proc/meminfo: memFree=28490396/32873844 swapFree=6856/6856
[pid=20783] ppid=20781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20783/stat : 20783 (npSolver-wbo-It) S 20781 20783 25271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289705301 9367552 274 33554432000 4194304 5064252 140733984082880 140733984081792 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20783/statm: 2287 274 233 213 0 72 0
[pid=20784] ppid=20783 vsize=77164 CPUtime=1377.58 cores=1,3,5,7
/proc/20784/stat : 20784 (npSolver-wbo) S 20783 20783 25271 0 -1 4202496 1863923 25636393 0 0 8546 1017 106983 21212 20 0 1 0 289705301 79015936 16399 33554432000 4194304 5990268 140736062580704 140736062571600 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 181 0 0
/proc/20784/statm: 19291 16399 176 439 0 18848 0
Current children cumulated CPU time (s) 1377.58
Current children cumulated vsize (KiB) 86312

[startup+1482.3 s]
/proc/loadavg: 1.92 1.98 1.91 3/184 13938
/proc/meminfo: memFree=28520952/32873844 swapFree=6856/6856
[pid=20783] ppid=20781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20783/stat : 20783 (npSolver-wbo-It) S 20781 20783 25271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289705301 9367552 274 33554432000 4194304 5064252 140733984082880 140733984081792 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20783/statm: 2287 274 233 213 0 72 0
[pid=20784] ppid=20783 vsize=77164 CPUtime=1437.21 cores=1,3,5,7
/proc/20784/stat : 20784 (npSolver-wbo) S 20783 20783 25271 0 -1 4202496 1935091 26784620 0 0 8921 1059 111692 22049 20 0 1 0 289705301 79015936 16399 33554432000 4194304 5990268 140736062580704 140736062571600 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 181 0 0
/proc/20784/statm: 19291 16399 176 439 0 18848 0
[pid=13932] ppid=20784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13932/stat : 13932 (cp2_post.sh) S 20784 20783 25271 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 289853481 9367552 266 33554432000 4194304 5064252 140734938013248 140734938011536 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13932/statm: 2287 266 225 213 0 72 0
[pid=13933] ppid=13932 vsize=4004 CPUtime=0 cores=1,3,5,7
/proc/13933/stat : 13933 (cat) S 13932 20783 25271 0 -1 4202496 215 0 0 0 0 0 0 0 20 0 1 0 289853481 4100096 121 33554432000 4194304 4236627 140735927349888 140735927348984 223651644896 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13933/statm: 1001 121 96 11 0 67 0
[pid=13934] ppid=13932 vsize=150172 CPUtime=0.49 cores=1,3,5,7
/proc/13934/stat : 13934 (coprocessor) R 13932 20783 25271 0 -1 4202496 9129 0 0 0 43 6 0 0 20 0 1 0 289853481 153776128 33023 33554432000 4194304 6586260 140733194596112 140733194592008 5732400 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/13934/statm: 37543 33024 149 584 0 36955 0
Current children cumulated CPU time (s) 1437.7
Current children cumulated vsize (KiB) 249636

[startup+1542.3 s]
/proc/loadavg: 1.83 1.94 1.89 3/184 14960
/proc/meminfo: memFree=28469168/32873844 swapFree=6856/6856
[pid=20783] ppid=20781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20783/stat : 20783 (npSolver-wbo-It) S 20781 20783 25271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289705301 9367552 274 33554432000 4194304 5064252 140733984082880 140733984081792 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20783/statm: 2287 274 233 213 0 72 0
[pid=20784] ppid=20783 vsize=77164 CPUtime=1496.96 cores=1,3,5,7
/proc/20784/stat : 20784 (npSolver-wbo) S 20783 20783 25271 0 -1 4202496 2006259 27928733 0 0 9296 1102 116397 22901 20 0 1 0 289705301 79015936 16399 33554432000 4194304 5990268 140736062580704 140736062571600 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 181 0 0
/proc/20784/statm: 19291 16399 176 439 0 18848 0
Current children cumulated CPU time (s) 1496.96
Current children cumulated vsize (KiB) 86312

[startup+1602.3 s]
/proc/loadavg: 2.05 1.97 1.91 3/184 16003
/proc/meminfo: memFree=28437396/32873844 swapFree=6856/6856
[pid=20783] ppid=20781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20783/stat : 20783 (npSolver-wbo-It) S 20781 20783 25271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289705301 9367552 274 33554432000 4194304 5064252 140733984082880 140733984081792 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20783/statm: 2287 274 233 213 0 72 0
[pid=20784] ppid=20783 vsize=77164 CPUtime=1556.72 cores=1,3,5,7
/proc/20784/stat : 20784 (npSolver-wbo) S 20783 20783 25271 0 -1 4202496 2077427 29076572 0 0 9671 1145 121103 23753 20 0 1 0 289705301 79015936 16399 33554432000 4194304 5990268 140736062580704 140736062571600 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 183 0 0
/proc/20784/statm: 19291 16399 176 439 0 18848 0
[pid=15994] ppid=20784 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/15994/stat : 15994 (cp2_post.sh) S 20784 20783 25271 0 -1 4202496 610 224 0 0 0 0 0 1 20 0 1 0 289865448 9367552 266 33554432000 4194304 5064252 140736966921920 140736966920208 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15994/statm: 2287 266 225 213 0 72 0
[pid=15996] ppid=15994 vsize=170296 CPUtime=0.8 cores=1,3,5,7
/proc/15996/stat : 15996 (coprocessor) R 15994 20783 25271 0 -1 4202496 13010 0 0 0 70 10 0 0 20 0 1 0 289865449 174383104 37389 33554432000 4194304 6586260 140735481407936 140735481403832 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/15996/statm: 42574 37389 149 584 0 41986 0
Current children cumulated CPU time (s) 1557.53
Current children cumulated vsize (KiB) 265756

[startup+1662.3 s]
/proc/loadavg: 2.40 2.09 1.95 3/181 17041
/proc/meminfo: memFree=28478880/32873844 swapFree=6856/6856
[pid=20783] ppid=20781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20783/stat : 20783 (npSolver-wbo-It) S 20781 20783 25271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289705301 9367552 274 33554432000 4194304 5064252 140733984082880 140733984081792 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20783/statm: 2287 274 233 213 0 72 0
[pid=20784] ppid=20783 vsize=77164 CPUtime=1616.36 cores=1,3,5,7
/proc/20784/stat : 20784 (npSolver-wbo) S 20783 20783 25271 0 -1 4202496 2148595 30225892 0 0 10045 1187 125818 24586 20 0 1 0 289705301 79015936 16399 33554432000 4194304 5990268 140736062580704 140736062571600 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 197 0 0
/proc/20784/statm: 19291 16399 176 439 0 18848 0
Current children cumulated CPU time (s) 1616.36
Current children cumulated vsize (KiB) 86312

[startup+1722.3 s]
/proc/loadavg: 2.08 2.06 1.94 3/184 18106
/proc/meminfo: memFree=28555292/32873844 swapFree=6856/6856
[pid=20783] ppid=20781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20783/stat : 20783 (npSolver-wbo-It) S 20781 20783 25271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289705301 9367552 274 33554432000 4194304 5064252 140733984082880 140733984081792 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20783/statm: 2287 274 233 213 0 72 0
[pid=20784] ppid=20783 vsize=77164 CPUtime=1676.02 cores=1,3,5,7
/proc/20784/stat : 20784 (npSolver-wbo) S 20783 20783 25271 0 -1 4202496 2219763 31377832 0 0 10419 1231 130519 25433 20 0 1 0 289705301 79015936 16399 33554432000 4194304 5990268 140736062580704 140736062571600 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 197 0 0
/proc/20784/statm: 19291 16399 176 439 0 18848 0
[pid=18104] ppid=20784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18104/stat : 18104 (cp2_post.sh) S 20784 20783 25271 0 -1 4202496 612 0 0 0 0 0 0 0 20 0 1 0 289877479 9367552 266 33554432000 4194304 5064252 140733632296272 140733632294560 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18104/statm: 2287 266 225 213 0 72 0
[pid=18105] ppid=18104 vsize=4004 CPUtime=0 cores=1,3,5,7
/proc/18105/stat : 18105 (cat) S 18104 20783 25271 0 -1 4202496 216 0 0 0 0 0 0 0 20 0 1 0 289877479 4100096 121 33554432000 4194304 4236627 140734202781536 140734202780632 223651644896 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18105/statm: 1001 121 96 11 0 67 0
[pid=18106] ppid=18104 vsize=151964 CPUtime=0.51 cores=1,3,5,7
/proc/18106/stat : 18106 (coprocessor) R 18104 20783 25271 0 -1 4202496 9512 0 0 0 46 5 0 0 20 0 1 0 289877479 155611136 33405 33554432000 4194304 6586260 140734328970752 140734328966648 5732400 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/18106/statm: 37991 33405 149 584 0 37403 0
Current children cumulated CPU time (s) 1676.53
Current children cumulated vsize (KiB) 251428

[startup+1782.3 s]
/proc/loadavg: 1.95 2.03 1.94 3/184 19168
/proc/meminfo: memFree=28404828/32873844 swapFree=6856/6856
[pid=20783] ppid=20781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20783/stat : 20783 (npSolver-wbo-It) S 20781 20783 25271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289705301 9367552 274 33554432000 4194304 5064252 140733984082880 140733984081792 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20783/statm: 2287 274 233 213 0 72 0
[pid=20784] ppid=20783 vsize=77164 CPUtime=1736.03 cores=1,3,5,7
/proc/20784/stat : 20784 (npSolver-wbo) S 20783 20783 25271 0 -1 4202496 2290931 32520512 0 0 10792 1276 135213 26322 20 0 1 0 289705301 79015936 16399 33554432000 4194304 5990268 140736062580704 140736062571600 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 197 0 0
/proc/20784/statm: 19291 16399 176 439 0 18848 0
[pid=19159] ppid=20784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19159/stat : 19159 (cp2_post.sh) S 20784 20783 25271 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 289883477 9367552 265 33554432000 4194304 5064252 140734245941680 140734245939968 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19159/statm: 2287 265 225 213 0 72 0
[pid=19160] ppid=19159 vsize=4004 CPUtime=0 cores=1,3,5,7
/proc/19160/stat : 19160 (cat) S 19159 20783 25271 0 -1 4202496 216 0 0 0 0 0 0 0 20 0 1 0 289883477 4100096 122 33554432000 4194304 4236627 140734048657840 140734048656936 223651644896 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/19160/statm: 1001 122 96 11 0 67 0
[pid=19161] ppid=19159 vsize=154012 CPUtime=0.52 cores=1,3,5,7
/proc/19161/stat : 19161 (coprocessor) R 19159 20783 25271 0 -1 4202496 10589 0 0 0 47 5 0 0 20 0 1 0 289883477 157708288 33461 33554432000 4194304 6586260 140736375489024 140736375484920 5599522 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/19161/statm: 38503 33468 149 584 0 37915 0
Current children cumulated CPU time (s) 1736.55
Current children cumulated vsize (KiB) 253476

[startup+1842.3 s]
/proc/loadavg: 1.59 1.92 1.91 3/184 32418
/proc/meminfo: memFree=28500372/32873844 swapFree=6856/6856
[pid=20783] ppid=20781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20783/stat : 20783 (npSolver-wbo-It) S 20781 20783 25271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289705301 9367552 274 33554432000 4194304 5064252 140733984082880 140733984081792 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20783/statm: 2287 274 233 213 0 72 0
[pid=20784] ppid=20783 vsize=77164 CPUtime=1796.15 cores=1,3,5,7
/proc/20784/stat : 20784 (npSolver-wbo) S 20783 20783 25271 0 -1 4202496 2362099 33664740 0 0 11167 1319 139935 27194 20 0 1 0 289705301 79015936 16399 33554432000 4194304 5990268 140736062580704 140736062571600 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 197 0 0
/proc/20784/statm: 19291 16399 176 439 0 18848 0
Current children cumulated CPU time (s) 1796.15
Current children cumulated vsize (KiB) 86312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1844.9 s]
/proc/loadavg: 1.59 1.92 1.91 3/182 1646
/proc/meminfo: memFree=28597792/32873844 swapFree=6856/6856
[pid=20783] ppid=20781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20783/stat : 20783 (npSolver-wbo-It) S 20781 20783 25271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 289705301 9367552 274 33554432000 4194304 5064252 140733984082880 140733984081792 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20783/statm: 2287 274 233 213 0 72 0
[pid=20784] ppid=20783 vsize=77164 CPUtime=1799.11 cores=1,3,5,7
/proc/20784/stat : 20784 (npSolver-wbo) R 20783 20783 25271 0 -1 4202496 2365243 33713866 0 0 11180 1320 140171 27240 20 0 1 0 289705301 79015936 16399 33554432000 4194304 5990268 140736062580704 140736062571600 4608890 0 0 4096 0 0 0 0 17 1 0 0 197 0 0
/proc/20784/statm: 19291 16399 176 439 0 18848 0
Current children cumulated CPU time (s) 1799.11
Current children cumulated vsize (KiB) 86312

Sending SIGTERM to process tree (bottom up)

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

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): 0.960022
#  lost CPU user time (s): 0.790009
#  lost CPU system time (s): 0.170006

Real time (s): 1844.91
CPU time (s): 1800.09
CPU user time (s): 1514.3
CPU system time (s): 285.782
CPU usage (%): 97.5705
Max. virtual memory (cumulated for all children) (KiB): 582928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1513.51
system time used= 285.612
maximum resident set size= 447768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36079483
page faults= 0
swaps= 0
block input operations= 0
block output operations= 30071104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1271409
involuntary context switches= 17325

runsolver used 2.93155 second user time and 8.03678 second system time

The end

Launcher Data 

Begin job on node144 at 2012-05-28 22:10:04
IDJOB=3715303
IDBENCH=79320
IDSOLVER=2297
FILE ID=node144/3715303-1338235804
RUNJOBID= node144-1338226780-25288
PBS_JOBID= 14624625
Free space on /tmp= 71460 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl--soft-0-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715303-1338235804/watcher-3715303-1338235804 -o /tmp/evaluation-result-3715303-1338235804/solver-3715303-1338235804 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715303-1338235804.wbo 620330497 HOME HOME

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

MD5SUM BENCH= b1fb405af1ad97be8e8be6f605703dc4
RANDOM SEED=620330497

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
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:        28706576 kB
Buffers:          564840 kB
Cached:          2709928 kB
SwapCached:            0 kB
Active:          1123988 kB
Inactive:        2192456 kB
Active(anon):      37236 kB
Inactive(anon):        0 kB
Active(file):    1086752 kB
Inactive(file):  2192456 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             28160 kB
Writeback:             0 kB
AnonPages:         43668 kB
Mapped:            15612 kB
Shmem:               200 kB
Slab:             711452 kB
SReclaimable:     152444 kB
SUnreclaim:       559008 kB
KernelStack:        1512 kB
PageTables:         3924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     152444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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= 71416 MiB
End job on node144 at 2012-05-28 22:40:49