Trace number 3753130

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 (fixed)? (TO) 1800.14 1802.31

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh302_wcsp.wbo
MD5SUM8b86218007c145a9ce1787d0bbf0d30b
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark395
Best CPU time to get the best result obtained on this benchmark0.051992
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 constraints1000
Number of soft constraints900
Number of constraints which are clauses900
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 constraint10
Top cost 444855
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 444854
Biggest number in a constraint 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 19
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

Solver Data 

0.00/0.02	c run usual solver
0.00/0.05	o 12656
0.00/0.05	c starting approximation
0.00/0.05	c factor = 2
0.00/0.05	c factor still to low - shrinking to 68.3424
0.00/0.05	c approx number of clauses: 1e+06
0.00/0.05	c current bound: 6328
2.07/2.13	c current bound: 6328
3.88/4.19	c current bound: 6328
5.94/6.24	c current bound: 6328
8.27/8.30	c current bound: 6328
10.06/10.36	c current bound: 6328
12.13/12.42	c current bound: 6328
14.19/14.49	c current bound: 6328
16.46/16.55	c current bound: 6328
18.57/18.61	c current bound: 6328
20.38/20.67	c current bound: 6328
22.45/22.74	c current bound: 6328
24.52/24.80	c current bound: 6328
26.58/26.87	c current bound: 6328
28.65/28.92	c current bound: 6328
30.70/30.98	c current bound: 6328
32.98/33.06	c current bound: 6328
35.07/35.12	c current bound: 6328
36.89/37.18	c current bound: 6328
38.95/39.24	c current bound: 6328
41.02/41.32	c current bound: 6328
43.38/43.40	c current bound: 6328
45.20/45.48	c current bound: 6328
47.27/47.56	c current bound: 6328
49.57/49.65	c current bound: 6328
51.69/51.73	c current bound: 6328
53.78/53.80	c current bound: 6328
55.59/55.88	c current bound: 6328
57.67/57.95	c current bound: 6328
59.73/60.01	c current bound: 6328
61.79/62.07	c current bound: 6328
63.88/64.16	c current bound: 6328
65.93/66.21	c current bound: 6328
68.17/68.29	c current bound: 6328
70.27/70.40	c current bound: 6328
72.17/72.47	c current bound: 6328
74.25/74.56	c current bound: 6328
76.32/76.63	c current bound: 6328
78.42/78.73	c current bound: 6328
80.50/80.81	c current bound: 6328
82.57/82.88	c current bound: 6328
84.63/84.93	c current bound: 6328
86.86/86.99	c current bound: 6328
88.96/89.07	c current bound: 6328
90.85/91.15	c current bound: 6328
92.90/93.21	c current bound: 6328
94.98/95.28	c current bound: 6328
97.04/97.36	c current bound: 6328
99.13/99.44	c current bound: 6328
101.22/101.53	c current bound: 6328
103.27/103.59	c current bound: 6328
105.54/105.66	c current bound: 6328
107.63/107.76	c current bound: 6328
109.51/109.83	c current bound: 6328
111.57/111.90	c current bound: 6328
113.65/113.98	c current bound: 6328
115.74/116.07	c current bound: 6328
117.79/118.13	c current bound: 6328
119.86/120.20	c current bound: 6328
121.94/122.28	c current bound: 6328
124.22/124.37	c current bound: 6328
126.33/126.43	c current bound: 6328
128.13/128.48	c current bound: 6328
130.19/130.54	c current bound: 6328
132.25/132.58	c current bound: 6328
134.34/134.68	c current bound: 6328
136.41/136.75	c current bound: 6328
138.48/138.82	c current bound: 6328
140.72/140.88	c current bound: 6328
142.82/142.96	c current bound: 6328
144.69/145.03	c current bound: 6328
146.78/147.12	c current bound: 6328
148.87/149.21	c current bound: 6328
150.94/151.27	c current bound: 6328
153.00/153.33	c current bound: 6328
155.16/155.51	c current bound: 6328
157.23/157.57	c current bound: 6328
159.51/159.66	c current bound: 6328
161.63/161.72	c current bound: 6328
163.46/163.79	c current bound: 6328
165.53/165.88	c current bound: 6328
167.64/167.97	c current bound: 6328
169.72/170.05	c current bound: 6328
171.80/172.13	c current bound: 6328
173.86/174.19	c current bound: 6328
175.94/176.26	c current bound: 6328
178.22/178.36	c current bound: 6328
180.33/180.43	c current bound: 6328
182.43/182.52	c current bound: 6328
184.25/184.59	c current bound: 6328
186.32/186.64	c current bound: 6328
188.40/188.73	c current bound: 6328
190.74/190.80	c current bound: 6328
192.58/192.91	c current bound: 6328
194.93/195.00	c current bound: 6328
196.74/197.08	c current bound: 6328
199.03/199.17	c current bound: 6328
201.13/201.25	c current bound: 6328
203.00/203.32	c current bound: 6328
205.05/205.38	c current bound: 6328
207.14/207.48	c current bound: 6328
209.21/209.53	c current bound: 6328
211.29/211.61	c current bound: 6328
213.36/213.68	c current bound: 6328
215.63/215.76	c current bound: 6328
217.73/217.85	c current bound: 6328
219.85/219.91	c current bound: 6328
221.65/221.97	c current bound: 6328
223.73/224.05	c current bound: 6328
225.79/226.11	c current bound: 6328
227.88/228.21	c current bound: 6328
230.23/230.30	c current bound: 6328
232.03/232.36	c current bound: 6328
234.32/234.43	c current bound: 6328
236.43/236.51	c current bound: 6328
238.27/238.60	c current bound: 6328
240.33/240.66	c current bound: 6328
242.42/242.76	c current bound: 6328
244.52/244.85	c current bound: 6328
246.59/246.92	c current bound: 6328
248.68/249.00	c current bound: 6328
250.76/251.09	c current bound: 6328
253.04/253.14	c current bound: 6328
255.14/255.21	c current bound: 6328
256.97/257.29	c current bound: 6328
259.05/259.37	c current bound: 6328
261.14/261.46	c current bound: 6328
263.21/263.53	c current bound: 6328
265.30/265.63	c current bound: 6328
267.39/267.71	c current bound: 6328
269.47/269.79	c current bound: 6328
271.56/271.88	c current bound: 6328
273.83/273.94	c current bound: 6328
275.94/276.03	c current bound: 6328
277.77/278.10	c current bound: 6328
279.85/280.18	c current bound: 6328
281.91/282.24	c current bound: 6328
283.98/284.31	c current bound: 6328
286.06/286.37	c current bound: 6328
288.10/288.43	c current bound: 6328
290.43/290.51	c current bound: 6328
292.55/292.60	c current bound: 6328
294.36/294.69	c current bound: 6328
296.43/296.76	c current bound: 6328
298.48/298.82	c current bound: 6328
300.60/300.92	c current bound: 6328
302.70/303.01	c current bound: 6328
304.77/305.09	c current bound: 6328
306.84/307.16	c current bound: 6328
309.13/309.21	c current bound: 6328
311.14/311.27	c current bound: 6328
313.03/313.36	c current bound: 6328
315.11/315.45	c current bound: 6328
317.18/317.51	c current bound: 6328
319.26/319.59	c current bound: 6328
321.31/321.64	c current bound: 6328
323.39/323.73	c current bound: 6328
325.46/325.80	c current bound: 6328
327.72/327.88	c current bound: 6328
329.83/329.95	c current bound: 6328
331.70/332.04	c current bound: 6328
333.80/334.12	c current bound: 6328
335.86/336.18	c current bound: 6328
337.95/338.28	c current bound: 6328
340.04/340.36	c current bound: 6328
342.12/342.45	c current bound: 6328
344.21/344.54	c current bound: 6328
346.52/346.61	c current bound: 6328
348.53/348.69	c current bound: 6328
350.44/350.77	c current bound: 6328
352.50/352.83	c current bound: 6328
354.58/354.91	c current bound: 6328
356.64/356.98	c current bound: 6328
358.74/359.07	c current bound: 6328
360.81/361.14	c current bound: 6328
363.15/363.20	c current bound: 6328
365.15/365.28	c current bound: 6328
367.24/367.35	c current bound: 6328
369.11/369.43	c current bound: 6328
371.18/371.51	c current bound: 6328
373.24/373.56	c current bound: 6328
375.30/375.62	c current bound: 6328
377.36/377.69	c current bound: 6328
379.44/379.77	c current bound: 6328
381.72/381.86	c current bound: 6328
383.83/383.93	c current bound: 6328
385.94/386.01	c current bound: 6328
387.74/388.08	c current bound: 6328
389.83/390.16	c current bound: 6328
391.87/392.21	c current bound: 6328
393.95/394.28	c current bound: 6328
396.05/396.37	c current bound: 6328
398.10/398.43	c current bound: 6328
400.42/400.52	c current bound: 6328
402.42/402.59	c current bound: 6328
404.32/404.66	c current bound: 6328
406.40/406.74	c current bound: 6328
408.44/408.80	c current bound: 6328
410.52/410.88	c current bound: 6328
412.58/412.95	c current bound: 6328
414.66/415.01	c current bound: 6328
416.73/417.09	c current bound: 6328
419.02/419.17	c current bound: 6328
421.11/421.25	c current bound: 6328
422.98/423.33	c current bound: 6328
425.06/425.42	c current bound: 6328
427.16/427.52	c current bound: 6328
429.23/429.59	c current bound: 6328
431.32/431.68	c current bound: 6328
433.39/433.74	c current bound: 6328
435.47/435.81	c current bound: 6328
437.82/437.90	c current bound: 6328
439.81/439.95	c current bound: 6328
442.02/442.12	c current bound: 6328
443.85/444.20	c current bound: 6328
445.93/446.27	c current bound: 6328
447.99/448.35	c current bound: 6328
450.07/450.42	c current bound: 6328
452.42/452.50	c current bound: 6328
454.22/454.57	c current bound: 6328
456.50/456.65	c current bound: 6328
458.62/458.73	c current bound: 6328
460.45/460.79	c current bound: 6328
462.51/462.87	c current bound: 6328
464.63/464.96	c current bound: 6328
466.70/467.04	c current bound: 6328
468.77/469.12	c current bound: 6328
470.85/471.19	c current bound: 6328
472.95/473.29	c current bound: 6328
475.04/475.38	c current bound: 6328
477.32/477.46	c current bound: 6328
479.42/479.55	c current bound: 6328
481.30/481.62	c current bound: 6328
483.37/483.69	c current bound: 6328
485.43/485.75	c current bound: 6328
487.51/487.83	c current bound: 6328
489.59/489.91	c current bound: 6328
491.66/491.98	c current bound: 6328
493.93/494.05	c current bound: 6328
496.04/496.14	c current bound: 6328
498.17/498.20	c current bound: 6328
499.96/500.27	c current bound: 6328
502.03/502.35	c current bound: 6328
504.12/504.44	c current bound: 6328
506.19/506.52	c current bound: 6328
508.28/508.62	c current bound: 6328
510.64/510.70	c current bound: 6328
512.45/512.77	c current bound: 6328
514.72/514.84	c current bound: 6328
516.85/516.91	c current bound: 6328
518.67/518.99	c current bound: 6328
520.73/521.06	c current bound: 6328
522.81/523.14	c current bound: 6328
524.89/525.21	c current bound: 6328
527.23/527.46	c current bound: 6328
529.05/529.54	c current bound: 6328
531.12/531.61	c current bound: 6328
533.19/533.67	c current bound: 6328
535.47/535.73	c current bound: 6328
537.31/537.81	c current bound: 6328
539.38/539.87	c current bound: 6328
541.46/541.96	c current bound: 6328
543.54/544.03	c current bound: 6328
545.61/546.10	c current bound: 6328
547.68/548.17	c current bound: 6328
549.74/550.26	c current bound: 6328
552.03/552.31	c current bound: 6328
554.03/554.36	c current bound: 6328
555.90/556.43	c current bound: 6328
557.96/558.50	c current bound: 6328
560.02/560.55	c current bound: 6328
562.09/562.62	c current bound: 6328
564.15/564.69	c current bound: 6328
566.22/566.76	c current bound: 6328
568.50/568.82	c current bound: 6328
570.52/570.87	c current bound: 6328
572.40/572.93	c current bound: 6328
574.72/575.00	c current bound: 6328
576.51/577.05	c current bound: 6328
578.57/579.12	c current bound: 6328
580.63/581.18	c current bound: 6328
582.71/583.26	c current bound: 6328
585.01/585.32	c current bound: 6328
587.01/587.39	c current bound: 6328
588.89/589.45	c current bound: 6328
590.98/591.65	c current bound: 6328
593.03/593.72	c current bound: 6328
595.09/595.77	c current bound: 6328
597.17/597.84	c current bound: 6328
599.23/599.90	c current bound: 6328
601.29/602.15	c current bound: 6328
603.35/604.21	c current bound: 6328
605.41/606.28	c current bound: 6328
607.69/608.34	c current bound: 6328
609.79/610.41	c current bound: 6328
611.62/612.49	c current bound: 6328
613.71/614.69	c current bound: 6328
616.08/616.80	c current bound: 6328
617.88/618.87	c current bound: 6328
619.95/620.94	c current bound: 6328
622.03/623.02	c current bound: 6328
624.10/625.08	c current bound: 6328
626.37/627.15	c current bound: 6328
628.47/629.21	c current bound: 6328
630.28/631.28	c current bound: 6328
632.34/633.33	c current bound: 6328
634.41/635.41	c current bound: 6328
636.46/637.45	c current bound: 6328
638.53/639.52	c current bound: 6328
640.60/641.59	c current bound: 6328
642.85/643.64	c current bound: 6328
644.97/645.71	c current bound: 6328
646.78/647.78	c current bound: 6328
648.84/649.84	c current bound: 6328
650.90/651.90	c current bound: 6328
652.98/653.99	c current bound: 6328
655.07/656.06	c current bound: 6328
657.14/658.14	c current bound: 6328
659.22/660.22	c current bound: 6328
661.47/662.28	c current bound: 6328
663.56/664.34	c current bound: 6328
665.42/666.43	c current bound: 6328
667.49/668.49	c current bound: 6328
669.57/670.56	c current bound: 6328
671.63/672.63	c current bound: 6328
673.97/674.70	c current bound: 6328
675.76/676.77	c current bound: 6328
678.04/678.84	c current bound: 6328
680.16/680.91	c current bound: 6328
681.97/682.97	c current bound: 6328
684.03/685.02	c current bound: 6328
686.09/687.08	c current bound: 6328
688.15/689.15	c current bound: 6328
690.22/691.34	c current bound: 6328
692.28/693.40	c current bound: 6328
694.40/695.53	c current bound: 6328
696.47/697.59	c current bound: 6328
698.73/699.66	c current bound: 6328
700.85/701.87	c current bound: 6328
702.90/703.94	c current bound: 6328
705.00/706.00	c current bound: 6328
706.80/708.06	c current bound: 6328
708.87/710.12	c current bound: 6328
710.93/712.32	c current bound: 6328
713.00/714.38	c current bound: 6328
715.05/716.44	c current bound: 6328
717.38/718.50	c current bound: 6328
719.37/720.56	c current bound: 6328
721.47/722.61	c current bound: 6328
723.29/724.68	c current bound: 6328
725.36/726.74	c current bound: 6328
727.43/728.81	c current bound: 6328
729.51/730.90	c current bound: 6328
731.59/732.98	c current bound: 6328
733.67/735.05	c current bound: 6328
735.98/737.11	c current bound: 6328
737.97/739.18	c current bound: 6328
739.87/741.26	c current bound: 6328
741.94/743.33	c current bound: 6328
744.01/745.41	c current bound: 6328
746.08/747.47	c current bound: 6328
748.15/749.54	c current bound: 6328
750.23/751.62	c current bound: 6328
752.29/753.68	c current bound: 6328
754.56/755.73	c current bound: 6328
756.40/757.80	c current bound: 6328
758.46/759.87	c current bound: 6328
760.54/761.93	c current bound: 6328
762.60/763.99	c current bound: 6328
764.64/766.05	c current bound: 6328
766.71/768.12	c current bound: 6328
768.78/770.17	c current bound: 6328
771.05/772.24	c current bound: 6328
772.90/774.31	c current bound: 6328
774.96/776.38	c current bound: 6328
777.04/778.46	c current bound: 6328
779.10/780.53	c current bound: 6328
781.16/782.59	c current bound: 6328
783.24/784.65	c current bound: 6328
785.32/786.73	c current bound: 6328
787.54/788.79	c current bound: 6328
789.63/790.87	c current bound: 6328
791.51/792.95	c current bound: 6328
793.58/795.00	c current bound: 6328
795.64/797.06	c current bound: 6328
797.73/799.16	c current bound: 6328
799.81/801.24	c current bound: 6328
801.88/803.32	c current bound: 6328
803.96/805.40	c current bound: 6328
806.23/807.47	c current bound: 6328
808.32/809.54	c current bound: 6328
810.17/811.60	c current bound: 6328
812.22/813.66	c current bound: 6328
814.28/815.72	c current bound: 6328
816.34/817.77	c current bound: 6328
818.36/819.81	c current bound: 6328
820.42/821.87	c current bound: 6328
822.71/823.93	c current bound: 6328
824.53/825.98	c current bound: 6328
826.59/828.04	c current bound: 6328
828.64/830.24	c current bound: 6328
830.72/832.31	c current bound: 6328
832.80/834.39	c current bound: 6328
834.89/836.46	c current bound: 6328
836.93/838.52	c current bound: 6328
839.00/840.70	c current bound: 6328
841.25/842.75	c current bound: 6328
843.36/844.83	c current bound: 6328
845.46/846.90	c current bound: 6328
847.26/848.97	c current bound: 6328
849.31/851.02	c current bound: 6328
851.38/853.09	c current bound: 6328
853.45/855.16	c current bound: 6328
855.52/857.23	c current bound: 6328
857.75/859.26	c current bound: 6328
859.85/861.31	c current bound: 6328
861.66/863.39	c current bound: 6328
863.75/865.46	c current bound: 6328
865.80/867.52	c current bound: 6328
867.83/869.55	c current bound: 6328
869.90/871.61	c current bound: 6328
871.98/873.68	c current bound: 6328
874.25/875.73	c current bound: 6328
876.35/877.81	c current bound: 6328
878.15/879.86	c current bound: 6328
880.21/881.92	c current bound: 6328
882.27/883.98	c current bound: 6328
884.34/886.05	c current bound: 6328
886.41/888.13	c current bound: 6328
888.49/890.20	c current bound: 6328
890.55/892.27	c current bound: 6328
892.84/894.33	c current bound: 6328
894.67/896.40	c current bound: 6328
896.73/898.47	c current bound: 6328
898.82/900.54	c current bound: 6328
900.89/902.61	c current bound: 6328
902.95/904.66	c current bound: 6328
905.01/906.72	c current bound: 6328
907.09/908.92	c current bound: 6328
909.14/910.98	c current bound: 6328
911.43/913.03	c current bound: 6328
913.26/915.09	c current bound: 6328
915.33/917.16	c current bound: 6328
917.41/919.24	c current bound: 6328
919.47/921.31	c current bound: 6328
921.54/923.38	c current bound: 6328
923.62/925.45	c current bound: 6328
925.69/927.51	c current bound: 6328
927.93/929.58	c current bound: 6328
930.02/931.63	c current bound: 6328
931.87/933.70	c current bound: 6328
933.94/935.76	c current bound: 6328
936.01/937.83	c current bound: 6328
938.07/939.90	c current bound: 6328
940.14/941.98	c current bound: 6328
942.21/944.04	c current bound: 6328
944.53/946.11	c current bound: 6328
946.61/948.36	c current bound: 6328
948.65/950.42	c current bound: 6328
950.46/952.47	c current bound: 6328
952.53/954.54	c current bound: 6328
954.59/956.61	c current bound: 6328
956.66/958.79	c current bound: 6328
958.71/960.86	c current bound: 6328
960.80/962.95	c current bound: 6328
962.89/965.02	c current bound: 6328
964.94/967.09	c current bound: 6328
967.23/969.26	c current bound: 6328
969.27/971.32	c current bound: 6328
971.38/973.40	c current bound: 6328
973.20/975.49	c current bound: 6328
975.53/977.64	c current bound: 6328
977.34/979.71	c current bound: 6328
979.39/981.77	c current bound: 6328
981.46/983.83	c current bound: 6328
983.53/985.90	c current bound: 6328
985.60/987.97	c current bound: 6328
987.89/990.04	c current bound: 6328
989.71/992.09	c current bound: 6328
991.79/994.17	c current bound: 6328
993.86/996.24	c current bound: 6328
995.91/998.29	c current bound: 6328
997.97/1000.35	c current bound: 6328
1000.07/1002.45	c current bound: 6328
1002.13/1004.52	c current bound: 6328
1004.49/1006.60	c current bound: 6328
1006.53/1008.92	c current bound: 6328
1008.50/1010.98	c current bound: 6328
1010.60/1013.04	c current bound: 6328
1012.46/1015.11	c current bound: 6328
1014.52/1017.19	c current bound: 6328
1016.56/1019.22	c current bound: 6328
1018.60/1021.30	c current bound: 6328
1020.68/1023.38	c current bound: 6328
1022.74/1025.44	c current bound: 6328
1025.04/1027.50	c current bound: 6328
1027.05/1029.57	c current bound: 6328
1028.93/1031.62	c current bound: 6328
1031.01/1033.71	c current bound: 6328
1033.09/1035.80	c current bound: 6328
1035.16/1037.87	c current bound: 6328
1037.21/1039.93	c current bound: 6328
1039.28/1042.00	c current bound: 6328
1041.55/1044.06	c current bound: 6328
1043.65/1046.12	c current bound: 6328
1045.48/1048.19	c current bound: 6328
1047.55/1050.26	c current bound: 6328
1049.65/1052.35	c current bound: 6328
1051.71/1054.42	c current bound: 6328
1053.78/1056.49	c current bound: 6328
1055.86/1058.56	c current bound: 6328
1057.90/1060.61	c current bound: 6328
1060.24/1062.72	c current bound: 6328
1062.25/1064.78	c current bound: 6328
1064.14/1066.84	c current bound: 6328
1066.20/1069.02	c current bound: 6328
1068.27/1071.09	c current bound: 6328
1070.33/1073.16	c current bound: 6328
1072.40/1075.23	c current bound: 6328
1074.44/1077.29	c current bound: 6328
1076.48/1079.34	c current bound: 6328
1078.77/1081.43	c current bound: 6328
1080.89/1083.51	c current bound: 6328
1082.69/1085.57	c current bound: 6328
1084.74/1087.63	c current bound: 6328
1086.82/1089.71	c current bound: 6328
1088.90/1091.79	c current bound: 6328
1090.99/1093.86	c current bound: 6328
1093.05/1095.93	c current bound: 6328
1095.40/1098.00	c current bound: 6328
1097.38/1100.07	c current bound: 6328
1099.48/1102.15	c current bound: 6328
1101.35/1104.22	c current bound: 6328
1103.43/1106.30	c current bound: 6328
1105.51/1108.38	c current bound: 6328
1107.58/1110.46	c current bound: 6328
1109.67/1112.54	c current bound: 6328
1111.72/1114.59	c current bound: 6328
1113.98/1116.66	c current bound: 6328
1116.08/1118.85	c current bound: 6328
1118.16/1120.92	c current bound: 6328
1120.00/1122.99	c current bound: 6328
1122.07/1125.07	c current bound: 6328
1124.14/1127.15	c current bound: 6328
1126.17/1129.19	c current bound: 6328
1128.23/1131.25	c current bound: 6328
1130.31/1133.32	c current bound: 6328
1132.42/1135.43	c current bound: 6328
1134.64/1137.48	c current bound: 6328
1136.74/1139.55	c current bound: 6328
1138.58/1141.61	c current bound: 6328
1140.66/1143.68	c current bound: 6328
1142.72/1145.74	c current bound: 6328
1144.78/1147.80	c current bound: 6328
1146.85/1149.86	c current bound: 6328
1148.93/1151.95	c current bound: 6328
1151.23/1154.02	c current bound: 6328
1153.35/1156.10	c current bound: 6328
1155.41/1158.31	c current bound: 6328
1157.24/1160.39	c current bound: 6328
1159.30/1162.44	c current bound: 6328
1161.37/1164.51	c current bound: 6328
1163.43/1166.57	c current bound: 6328
1165.49/1168.65	c current bound: 6328
1167.64/1170.82	c current bound: 6328
1169.70/1172.88	c current bound: 6328
1171.97/1174.96	c current bound: 6328
1174.09/1177.01	c current bound: 6328
1175.88/1179.06	c current bound: 6328
1177.93/1181.12	c current bound: 6328
1180.28/1183.20	c current bound: 6328
1182.08/1185.27	c current bound: 6328
1184.14/1187.32	c current bound: 6328
1186.21/1189.39	c current bound: 6328
1188.28/1191.47	c current bound: 6328
1190.58/1193.52	c current bound: 6328
1192.40/1195.58	c current bound: 6328
1194.46/1197.64	c current bound: 6328
1196.53/1199.72	c current bound: 6328
1198.60/1201.79	c current bound: 6328
1200.64/1203.84	c current bound: 6328
1202.70/1205.90	c current bound: 6328
1204.76/1207.97	c current bound: 6328
1207.06/1210.04	c current bound: 6328
1209.16/1212.12	c current bound: 6328
1210.99/1214.19	c current bound: 6328
1213.07/1216.28	c current bound: 6328
1215.16/1218.37	c current bound: 6328
1217.24/1220.45	c current bound: 6328
1219.32/1222.59	c current bound: 6328
1221.39/1224.66	c current bound: 6328
1223.47/1226.73	c current bound: 6328
1225.78/1228.80	c current bound: 6328
1227.78/1230.88	c current bound: 6328
1229.68/1232.95	c current bound: 6328
1231.74/1235.02	c current bound: 6328
1233.81/1237.09	c current bound: 6328
1235.91/1239.18	c current bound: 6328
1237.98/1241.26	c current bound: 6328
1240.06/1243.34	c current bound: 6328
1242.15/1245.44	c current bound: 6328
1244.48/1247.52	c current bound: 6328
1246.58/1249.63	c current bound: 6328
1248.69/1251.71	c current bound: 6328
1250.50/1253.78	c current bound: 6328
1252.59/1255.87	c current bound: 6328
1254.65/1257.93	c current bound: 6328
1256.73/1260.03	c current bound: 6328
1259.06/1262.10	c current bound: 6328
1260.88/1264.17	c current bound: 6328
1263.15/1266.25	c current bound: 6328
1265.27/1268.33	c current bound: 6328
1267.11/1270.40	c current bound: 6328
1269.18/1272.46	c current bound: 6328
1271.23/1274.52	c current bound: 6328
1273.31/1276.61	c current bound: 6328
1275.39/1278.69	c current bound: 6328
1277.45/1280.76	c current bound: 6328
1279.53/1282.84	c current bound: 6328
1281.85/1284.90	c current bound: 6328
1283.86/1286.99	c current bound: 6328
1285.73/1289.04	c current bound: 6328
1287.80/1291.12	c current bound: 6328
1290.15/1293.20	c current bound: 6328
1291.98/1295.28	c current bound: 6328
1294.04/1297.35	c current bound: 6328
1296.09/1299.40	c current bound: 6328
1298.16/1301.48	c current bound: 6328
1300.45/1303.57	c current bound: 6328
1302.54/1305.64	c current bound: 6328
1304.39/1307.70	c current bound: 6328
1306.47/1309.78	c current bound: 6328
1308.55/1311.86	c current bound: 6328
1310.63/1313.93	c current bound: 6328
1312.72/1316.02	c current bound: 6328
1314.81/1318.12	c current bound: 6328
1317.17/1320.20	c current bound: 6328
1319.14/1322.26	c current bound: 6328
1321.25/1324.34	c current bound: 6328
1323.11/1326.42	c current bound: 6328
1325.18/1328.49	c current bound: 6328
1327.27/1330.56	c current bound: 6328
1329.33/1332.63	c current bound: 6328
1331.40/1334.70	c current bound: 6328
1333.47/1336.78	c current bound: 6328
1335.57/1338.88	c current bound: 6328
1337.85/1340.95	c current bound: 6328
1339.95/1343.03	c current bound: 6328
1341.80/1345.11	c current bound: 6328
1343.85/1347.16	c current bound: 6328
1345.92/1349.23	c current bound: 6328
1348.01/1351.31	c current bound: 6328
1350.10/1353.40	c current bound: 6328
1352.20/1355.49	c current bound: 6328
1354.28/1357.58	c current bound: 6328
1356.55/1359.67	c current bound: 6328
1358.66/1361.73	c current bound: 6328
1360.53/1363.82	c current bound: 6328
1362.88/1365.90	c current bound: 6328
1364.70/1367.98	c current bound: 6328
1366.78/1370.07	c current bound: 6328
1368.86/1372.14	c current bound: 6328
1370.94/1374.23	c current bound: 6328
1373.03/1376.31	c current bound: 6328
1375.29/1378.39	c current bound: 6328
1377.38/1380.47	c current bound: 6328
1379.27/1382.55	c current bound: 6328
1381.35/1384.63	c current bound: 6328
1383.42/1386.70	c current bound: 6328
1385.50/1388.79	c current bound: 6328
1387.57/1390.85	c current bound: 6328
1389.63/1392.91	c current bound: 6328
1391.70/1394.99	c current bound: 6328
1393.96/1397.06	c current bound: 6328
1396.07/1399.14	c current bound: 6328
1397.94/1401.23	c current bound: 6328
1400.02/1403.31	c current bound: 6328
1402.09/1405.38	c current bound: 6328
1404.15/1407.44	c current bound: 6328
1406.23/1409.52	c current bound: 6328
1408.31/1411.59	c current bound: 6328
1410.58/1413.67	c current bound: 6328
1412.68/1415.74	c current bound: 6328
1414.78/1417.81	c current bound: 6328
1416.59/1419.87	c current bound: 6328
1418.67/1421.95	c current bound: 6328
1420.73/1424.02	c current bound: 6328
1422.79/1426.08	c current bound: 6328
1424.86/1428.14	c current bound: 6328
1426.92/1430.20	c current bound: 6328
1429.19/1432.26	c current bound: 6328
1431.28/1434.33	c current bound: 6328
1433.12/1436.40	c current bound: 6328
1435.18/1438.46	c current bound: 6328
1437.26/1440.53	c current bound: 6328
1439.33/1442.60	c current bound: 6328
1441.38/1444.66	c current bound: 6328
1443.44/1446.72	c current bound: 6328
1445.67/1448.79	c current bound: 6328
1447.77/1450.88	c current bound: 6328
1449.66/1452.94	c current bound: 6328
1451.75/1455.01	c current bound: 6328
1453.78/1457.07	c current bound: 6328
1455.85/1459.13	c current bound: 6328
1457.89/1461.17	c current bound: 6328
1459.94/1463.23	c current bound: 6328
1462.18/1465.30	c current bound: 6328
1464.28/1467.37	c current bound: 6328
1466.13/1469.41	c current bound: 6328
1468.19/1471.48	c current bound: 6328
1470.25/1473.55	c current bound: 6328
1472.34/1475.63	c current bound: 6328
1474.41/1477.69	c current bound: 6328
1476.44/1479.85	c current bound: 6328
1478.49/1481.89	c current bound: 6328
1480.76/1483.95	c current bound: 6328
1482.87/1486.02	c current bound: 6328
1484.69/1488.08	c current bound: 6328
1486.71/1490.24	c current bound: 6328
1488.77/1492.29	c current bound: 6328
1490.84/1494.37	c current bound: 6328
1492.91/1496.43	c current bound: 6328
1495.26/1498.50	c current bound: 6328
1497.05/1500.68	c current bound: 6328
1499.31/1502.74	c current bound: 6328
1501.43/1504.80	c current bound: 6328
1503.22/1506.86	c current bound: 6328
1505.31/1508.94	c current bound: 6328
1507.38/1511.01	c current bound: 6328
1509.46/1513.09	c current bound: 6328
1511.52/1515.15	c current bound: 6328
1513.58/1517.22	c current bound: 6328
1515.64/1519.27	c current bound: 6328
1517.93/1521.33	c current bound: 6328
1519.77/1523.39	c current bound: 6328
1521.83/1525.46	c current bound: 6328
1523.90/1527.53	c current bound: 6328
1525.92/1529.57	c current bound: 6328
1528.00/1531.63	c current bound: 6328
1530.07/1533.69	c current bound: 6328
1532.33/1535.76	c current bound: 6328
1534.43/1537.84	c current bound: 6328
1536.23/1539.87	c current bound: 6328
1538.29/1541.92	c current bound: 6328
1540.34/1543.98	c current bound: 6328
1542.40/1546.04	c current bound: 6328
1544.46/1548.10	c current bound: 6328
1546.56/1550.19	c current bound: 6328
1548.61/1552.27	c current bound: 6328
1550.89/1554.33	c current bound: 6328
1552.70/1556.37	c current bound: 6328
1554.77/1558.44	c current bound: 6328
1556.84/1560.50	c current bound: 6328
1558.92/1562.58	c current bound: 6328
1560.99/1564.66	c current bound: 6328
1563.06/1566.72	c current bound: 6328
1565.12/1568.78	c current bound: 6328
1567.40/1570.84	c current bound: 6328
1569.51/1572.92	c current bound: 6328
1571.32/1574.98	c current bound: 6328
1573.38/1577.04	c current bound: 6328
1575.44/1579.09	c current bound: 6328
1577.49/1581.14	c current bound: 6328
1579.56/1583.22	c current bound: 6328
1581.64/1585.29	c current bound: 6328
1583.91/1587.37	c current bound: 6328
1586.00/1589.42	c current bound: 6328
1587.84/1591.49	c current bound: 6328
1589.91/1593.56	c current bound: 6328
1591.98/1595.63	c current bound: 6328
1594.05/1597.70	c current bound: 6328
1596.12/1599.77	c current bound: 6328
1598.20/1601.85	c current bound: 6328
1600.41/1603.89	c current bound: 6328
1602.51/1605.96	c current bound: 6328
1604.38/1608.03	c current bound: 6328
1606.46/1610.11	c current bound: 6328
1608.51/1612.17	c current bound: 6328
1610.59/1614.24	c current bound: 6328
1612.93/1616.30	c current bound: 6328
1614.72/1618.37	c current bound: 6328
1617.02/1620.44	c current bound: 6328
1619.12/1622.50	c current bound: 6328
1620.92/1624.56	c current bound: 6328
1623.00/1626.65	c current bound: 6328
1625.07/1628.71	c current bound: 6328
1627.17/1630.80	c current bound: 6328
1629.24/1632.88	c current bound: 6328
1631.30/1634.94	c current bound: 6328
1633.35/1636.99	c current bound: 6328
1635.63/1639.07	c current bound: 6328
1637.74/1641.13	c current bound: 6328
1639.84/1643.20	c current bound: 6328
1641.63/1645.27	c current bound: 6328
1643.73/1647.33	c current bound: 6328
1645.80/1649.42	c current bound: 6328
1647.86/1651.48	c current bound: 6328
1649.94/1653.55	c current bound: 6328
1652.25/1655.60	c current bound: 6328
1654.26/1657.66	c current bound: 6328
1656.13/1659.73	c current bound: 6328
1658.20/1661.80	c current bound: 6328
1660.26/1663.86	c current bound: 6328
1662.33/1665.94	c current bound: 6328
1664.41/1668.01	c current bound: 6328
1666.48/1670.08	c current bound: 6328
1668.76/1672.14	c current bound: 6328
1670.87/1674.21	c current bound: 6328
1672.67/1676.27	c current bound: 6328
1674.74/1678.34	c current bound: 6328
1676.81/1680.40	c current bound: 6328
1678.87/1682.47	c current bound: 6328
1680.95/1684.54	c current bound: 6328
1683.02/1686.60	c current bound: 6328
1685.09/1688.67	c current bound: 6328
1687.39/1690.74	c current bound: 6328
1689.49/1692.81	c current bound: 6328
1691.29/1694.87	c current bound: 6328
1693.37/1696.94	c current bound: 6328
1695.42/1698.99	c current bound: 6328
1697.49/1701.07	c current bound: 6328
1699.57/1703.13	c current bound: 6328
1701.63/1705.19	c current bound: 6328
1703.91/1707.26	c current bound: 6328
1706.01/1709.33	c current bound: 6328
1708.11/1711.40	c current bound: 6328
1709.91/1713.47	c current bound: 6328
1712.00/1715.55	c current bound: 6328
1714.08/1717.63	c current bound: 6328
1716.43/1719.70	c current bound: 6328
1718.31/1721.87	c current bound: 6328
1720.38/1723.93	c current bound: 6328
1722.72/1726.00	c current bound: 6328
1724.72/1728.06	c current bound: 6328
1726.59/1730.14	c current bound: 6328
1728.66/1732.20	c current bound: 6328
1730.73/1734.28	c current bound: 6328
1732.82/1736.36	c current bound: 6328
1734.89/1738.43	c current bound: 6328
1737.22/1740.50	c current bound: 6328
1739.21/1742.57	c current bound: 6328
1741.30/1744.64	c current bound: 6328
1743.14/1746.70	c current bound: 6328
1745.21/1748.76	c current bound: 6328
1747.27/1750.82	c current bound: 6328
1749.37/1752.91	c current bound: 6328
1751.44/1754.98	c current bound: 6328
1753.50/1757.04	c current bound: 6328
1755.56/1759.23	c current bound: 6328
1757.63/1761.30	c current bound: 6328
1759.89/1763.38	c current bound: 6328
1761.98/1765.44	c current bound: 6328
1764.10/1767.50	c current bound: 6328
1765.87/1769.67	c current bound: 6328
1767.92/1771.73	c current bound: 6328
1770.00/1773.78	c current bound: 6328
1772.06/1775.85	c current bound: 6328
1774.12/1777.91	c current bound: 6328
1776.42/1780.06	c current bound: 6328
1778.45/1782.13	c current bound: 6328
1780.47/1784.19	c current bound: 6328
1782.36/1786.26	c current bound: 6328
1784.43/1788.33	c current bound: 6328
1786.46/1790.39	c current bound: 6328
1788.51/1792.44	c current bound: 6328
1790.57/1794.50	c current bound: 6328
1792.65/1796.57	c current bound: 6328
1794.95/1798.63	c current bound: 6328
1797.03/1800.81	c current bound: 6328
1798.52/1802.31	c error: unexpected solver exit code
1798.52/1802.31	s UNKNOWN

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-3753130-1339210013/watcher-3753130-1339210013 -o /tmp/evaluation-result-3753130-1339210013/solver-3753130-1339210013 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753130-1339210013.wbo 1865653759 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: 0.92 0.98 1.27 3/179 15959
/proc/meminfo: memFree=31268624/32873844 swapFree=7116/7116
[pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15959/statm: 2287 275 233 213 0 72 0

[startup+0.079379 s]
/proc/loadavg: 0.92 0.98 1.27 3/179 15959
/proc/meminfo: memFree=31268624/32873844 swapFree=7116/7116
[pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15959/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100266 s]
/proc/loadavg: 0.92 0.98 1.27 3/179 15959
/proc/meminfo: memFree=31268624/32873844 swapFree=7116/7116
[pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15959/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300321 s]
/proc/loadavg: 0.92 0.98 1.27 3/179 15959
/proc/meminfo: memFree=31268624/32873844 swapFree=7116/7116
[pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15959/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700248 s]
/proc/loadavg: 0.92 0.98 1.27 3/179 15959
/proc/meminfo: memFree=31268624/32873844 swapFree=7116/7116
[pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15959/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5004 s]
/proc/loadavg: 1.01 1.00 1.28 3/183 15980
/proc/meminfo: memFree=31204836/32873844 swapFree=7116/7116
[pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15959/statm: 2287 275 233 213 0 72 0
[pid=15960] ppid=15959 vsize=19876 CPUtime=0.13 cores=1,3,5,7
/proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 4078 5428 0 0 9 2 1 1 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15960/statm: 4969 4428 176 443 0 4522 0
[pid=15972] ppid=15960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15972/stat : 15972 (satsolver.sh) S 15960 15959 14023 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387128360 9367552 266 33554432000 4194304 5064252 140734943007008 140734943005920 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15972/statm: 2287 266 226 213 0 72 0
[pid=15973] ppid=15972 vsize=48752 CPUtime=1.33 cores=1,3,5,7
/proc/15973/stat : 15973 (glucose) R 15972 15959 14023 0 -1 4202496 9983 0 0 0 132 1 0 0 20 0 1 0 387128360 49922048 10697 33554432000 4194304 5208918 140733705419392 140733705417240 4229507 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15973/statm: 12188 10697 95 248 0 11937 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 86924

[startup+3.10032 s]
/proc/loadavg: 1.01 1.00 1.28 3/183 15997
/proc/meminfo: memFree=31213880/32873844 swapFree=7116/7116
[pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15959/statm: 2287 275 233 213 0 72 0
[pid=15960] ppid=15959 vsize=19876 CPUtime=2.2 cores=1,3,5,7
/proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 6197 20460 0 0 17 3 185 15 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15960/statm: 4969 4428 176 443 0 4522 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 29024
heavy processes:

[startup+6.30026 s]
/proc/loadavg: 1.01 1.00 1.28 3/183 16079
/proc/meminfo: memFree=31147036/32873844 swapFree=7116/7116
[pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15959/statm: 2287 275 233 213 0 72 0
[pid=15960] ppid=15959 vsize=19876 CPUtime=6.27 cores=1,3,5,7
/proc/15960/stat : 15960 (npSolver-wbo) R 15959 15959 14023 0 -1 4202496 10107 50607 0 0 31 4 549 43 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408332088 5056689 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15960/statm: 4969 4428 176 443 0 4522 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 29024

[startup+12.7004 s]
/proc/loadavg: 1.23 1.05 1.29 3/183 16114
/proc/meminfo: memFree=31149728/32873844 swapFree=7116/7116
[pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15959/statm: 2287 275 233 213 0 72 0
[pid=15960] ppid=15959 vsize=19876 CPUtime=12.49 cores=1,3,5,7
/proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 16792 95477 0 0 58 8 1095 88 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15960/statm: 4969 4428 176 443 0 4522 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 29024

[startup+25.5004 s]
/proc/loadavg: 1.35 1.08 1.30 3/183 16191
/proc/meminfo: memFree=31152280/32873844 swapFree=7116/7116
[pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15959/statm: 2287 275 233 213 0 72 0
[pid=15960] ppid=15959 vsize=19876 CPUtime=24.88 cores=1,3,5,7
/proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 29506 183992 0 0 108 14 2191 175 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15960/statm: 4969 4428 176 443 0 4522 0
[pid=16190] ppid=15960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16190/stat : 16190 (satsolver.sh) S 15960 15959 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387130835 9367552 267 33554432000 4194304 5064252 140736998509248 140736998508160 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16190/statm: 2287 267 226 213 0 72 0
[pid=16191] ppid=16190 vsize=48620 CPUtime=0.58 cores=1,3,5,7
/proc/16191/stat : 16191 (glucose) R 16190 15959 14023 0 -1 4202496 10483 0 0 0 57 1 0 0 20 0 1 0 387130835 49786880 10610 33554432000 4194304 5208918 140734026701872 140734026700280 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16191/statm: 12155 10610 95 248 0 11904 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 86792

[startup+51.1004 s]
/proc/loadavg: 1.57 1.15 1.31 3/183 16325
/proc/meminfo: memFree=31151416/32873844 swapFree=7116/7116
[pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15959/statm: 2287 275 233 213 0 72 0
[pid=15960] ppid=15959 vsize=19876 CPUtime=49.73 cores=1,3,5,7
/proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 54934 365864 0 0 206 28 4391 348 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15960/statm: 4969 4428 176 443 0 4522 0
[pid=16324] ppid=15960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16324/stat : 16324 (satsolver.sh) S 15960 15959 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387133320 9367552 266 33554432000 4194304 5064252 140735911005504 140735911004416 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16324/statm: 2287 266 226 213 0 72 0
[pid=16325] ppid=16324 vsize=48624 CPUtime=1.33 cores=1,3,5,7
/proc/16325/stat : 16325 (glucose) R 16324 15959 14023 0 -1 4202496 10517 0 0 0 132 1 0 0 20 0 1 0 387133320 49790976 10697 33554432000 4194304 5208918 140736825447712 140736825445560 4211732 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16325/statm: 12156 10697 95 248 0 11905 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 86796

[startup+102.307 s]
/proc/loadavg: 1.94 1.32 1.36 3/183 16605
/proc/meminfo: memFree=31150808/32873844 swapFree=7116/7116
[pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15959/statm: 2287 275 233 213 0 72 0
[pid=15960] ppid=15959 vsize=19876 CPUtime=101.58 cores=1,3,5,7
/proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 107909 744333 0 0 409 56 8981 712 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15960/statm: 4969 4428 176 443 0 4522 0
[pid=16604] ppid=15960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16604/stat : 16604 (satsolver.sh) S 15960 15959 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387138507 9367552 267 33554432000 4194304 5064252 140733197033600 140733197032512 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16604/statm: 2287 267 226 213 0 72 0
[pid=16605] ppid=16604 vsize=48624 CPUtime=0.67 cores=1,3,5,7
/proc/16605/stat : 16605 (glucose) R 16604 15959 14023 0 -1 4202496 10494 0 0 0 66 1 0 0 20 0 1 0 387138507 49790976 10621 33554432000 4194304 5208918 140734324176112 140734324173960 4229397 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16605/statm: 12156 10621 95 248 0 11905 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 86796

[startup+162.3 s]
/proc/loadavg: 1.97 1.44 1.40 3/183 16923
/proc/meminfo: memFree=31182600/32873844 swapFree=7116/7116
[pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15959/statm: 2287 275 233 213 0 72 0
[pid=15960] ppid=15959 vsize=19876 CPUtime=161.75 cores=1,3,5,7
/proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 169360 1183616 0 0 645 87 14307 1136 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15960/statm: 4969 4428 176 443 0 4522 0
Current children cumulated CPU time (s) 161.75
Current children cumulated vsize (KiB) 29024

[startup+222.3 s]
/proc/loadavg: 2.14 1.58 1.44 3/184 17259
/proc/meminfo: memFree=31173872/32873844 swapFree=7116/7116
[pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15959/statm: 2287 275 233 213 0 72 0
[pid=15960] ppid=15959 vsize=19876 CPUtime=222.02 cores=1,3,5,7
/proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 230811 1620847 0 0 882 117 19641 1562 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15960/statm: 4969 4428 176 443 0 4522 0
[pid=17258] ppid=15960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17258/stat : 17258 (satsolver.sh) S 15960 15959 14023 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387150552 9367552 267 33554432000 4194304 5064252 140735455240496 140735455239408 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17258/statm: 2287 267 226 213 0 72 0
[pid=17259] ppid=17258 vsize=48488 CPUtime=0.21 cores=1,3,5,7
/proc/17259/stat : 17259 (glucose) R 17258 15959 14023 0 -1 4202496 10114 0 0 0 19 2 0 0 20 0 1 0 387150552 49651712 10824 33554432000 4194304 5208918 140734142400560 140734142398968 4211620 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17259/statm: 12122 10824 95 248 0 11871 0

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

[pid=15960] ppid=15959 vsize=19876 CPUtime=1478.85 cores=1,3,5,7
/proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 1517044 10792185 0 0 5825 767 130768 10525 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 17 0 0
/proc/15960/statm: 4969 4428 176 443 0 4522 0
Current children cumulated CPU time (s) 1478.85
Current children cumulated vsize (KiB) 29024

############
# WARNING:
# current cumulated CPU time (1513.95 s) is less than in the last sample (1515.52 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1.57007 s) to the 'lost time'.

[startup+1518.9 s]
/proc/loadavg: 2.06 2.01 1.84 3/183 24237
/proc/meminfo: memFree=31145616/32873844 swapFree=7116/7116
[pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15959/statm: 2287 275 233 213 0 72 0
[pid=15960] ppid=15959 vsize=19876 CPUtime=1513.95 cores=1,3,5,7
/proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 1553067 11050376 0 0 5964 784 133870 10777 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 17 0 0
/proc/15960/statm: 4969 4428 176 443 0 4522 0
[pid=24236] ppid=15960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24236/stat : 24236 (satsolver.sh) S 15960 15959 14023 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387280076 9367552 267 33554432000 4194304 5064252 140737270165296 140737270164208 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24236/statm: 2287 267 226 213 0 72 0
[pid=24237] ppid=24236 vsize=48752 CPUtime=1.57 cores=1,3,5,7
/proc/24237/stat : 24237 (glucose) R 24236 15959 14023 0 -1 4202496 10182 0 0 0 155 2 0 0 20 0 1 0 387280077 49922048 10891 33554432000 4194304 5208918 140736047571024 140736047568872 4211834 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24237/statm: 12188 10891 95 248 0 11937 0
Current children cumulated CPU time (s) 1515.52
Current children cumulated vsize (KiB) 86924

[startup+1519 s]
/proc/loadavg: 2.06 2.01 1.84 3/183 24237
/proc/meminfo: memFree=31143724/32873844 swapFree=7116/7116
[pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15959/statm: 2287 275 233 213 0 72 0
[pid=15960] ppid=15959 vsize=19876 CPUtime=1513.95 cores=1,3,5,7
/proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 1553067 11050376 0 0 5964 784 133870 10777 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 17 0 0
/proc/15960/statm: 4969 4428 176 443 0 4522 0
Current children cumulated CPU time (s) 1513.95
Current children cumulated vsize (KiB) 29024
#
############


[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 1.84 3/183 24370
/proc/meminfo: memFree=31162204/32873844 swapFree=7116/7116
[pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15959/statm: 2287 275 233 213 0 72 0
[pid=15960] ppid=15959 vsize=19876 CPUtime=1538.66 cores=1,3,5,7
/proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 1578495 11229824 0 0 6062 797 136051 10956 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 17 0 0
/proc/15960/statm: 4969 4428 176 443 0 4522 0
[pid=24367] ppid=15960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24367/stat : 24367 (satsolver.sh) S 15960 15959 14023 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387282547 9367552 267 33554432000 4194304 5064252 140736580810608 140736580809520 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24367/statm: 2287 267 226 213 0 72 0
[pid=24368] ppid=24367 vsize=48492 CPUtime=0.27 cores=1,3,5,7
/proc/24368/stat : 24368 (glucose) R 24367 15959 14023 0 -1 4202496 10172 0 0 0 25 2 0 0 20 0 1 0 387282547 49655808 10881 33554432000 4194304 5208918 140734259350064 140734259348472 4211851 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24368/statm: 12123 10881 95 248 0 11872 0
Current children cumulated CPU time (s) 1538.93
Current children cumulated vsize (KiB) 86664

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.85 3/183 24679
/proc/meminfo: memFree=31143044/32873844 swapFree=7116/7116
[pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15959/statm: 2287 275 233 213 0 72 0
[pid=15960] ppid=15959 vsize=19876 CPUtime=1598.57 cores=1,3,5,7
/proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 1639946 11670104 0 0 6298 828 141337 11394 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0
/proc/15960/statm: 4969 4428 176 443 0 4522 0
Current children cumulated CPU time (s) 1598.57
Current children cumulated vsize (KiB) 29024

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 25015
/proc/meminfo: memFree=31146736/32873844 swapFree=7116/7116
[pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15959/statm: 2287 275 233 213 0 72 0
[pid=15960] ppid=15959 vsize=19876 CPUtime=1658.57 cores=1,3,5,7
/proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 1701397 12109079 0 0 6533 859 146653 11812 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0
/proc/15960/statm: 4969 4428 176 443 0 4522 0
[pid=25014] ppid=15960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25014/stat : 25014 (satsolver.sh) S 15960 15959 14023 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387294535 9367552 267 33554432000 4194304 5064252 140733735220544 140733735219456 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25014/statm: 2287 267 226 213 0 72 0
[pid=25015] ppid=25014 vsize=48492 CPUtime=0.39 cores=1,3,5,7
/proc/25015/stat : 25015 (glucose) R 25014 15959 14023 0 -1 4202496 9879 0 0 0 37 2 0 0 20 0 1 0 387294535 49655808 10586 33554432000 4194304 5208918 140734335937200 140734335935608 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25015/statm: 12123 10586 95 248 0 11872 0
Current children cumulated CPU time (s) 1658.96
Current children cumulated vsize (KiB) 86664

[startup+1722.3 s]
/proc/loadavg: 2.07 2.03 1.87 3/183 25330
/proc/meminfo: memFree=31146004/32873844 swapFree=7116/7116
[pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15959/statm: 2287 275 233 213 0 72 0
[pid=15960] ppid=15959 vsize=19876 CPUtime=1718.69 cores=1,3,5,7
/proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 1762848 12549184 0 0 6769 890 151971 12239 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0
/proc/15960/statm: 4969 4428 176 443 0 4522 0
Current children cumulated CPU time (s) 1718.69
Current children cumulated vsize (KiB) 29024

[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 1.87 4/184 25658
/proc/meminfo: memFree=31215812/32873844 swapFree=7116/7116
[pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15959/statm: 2287 275 233 213 0 72 0
[pid=15960] ppid=15959 vsize=19876 CPUtime=1778.59 cores=1,3,5,7
/proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 1824299 12984416 0 0 7007 920 157269 12663 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0
/proc/15960/statm: 4969 4428 176 443 0 4522 0
Current children cumulated CPU time (s) 1778.59
Current children cumulated vsize (KiB) 29024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.3 s]
/proc/loadavg: 2.03 2.02 1.88 3/183 25764
/proc/meminfo: memFree=31140768/32873844 swapFree=7116/7116
[pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15959/statm: 2287 275 233 213 0 72 0
[pid=15960] ppid=15959 vsize=19876 CPUtime=1797.14 cores=1,3,5,7
/proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 1843370 13118271 0 0 7080 929 158908 12797 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0
/proc/15960/statm: 4969 4428 176 443 0 4522 0
[pid=25763] ppid=15960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25763/stat : 25763 (satsolver.sh) S 15960 15959 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387308436 9367552 266 33554432000 4194304 5064252 140736505289664 140736505288576 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25763/statm: 2287 266 226 213 0 72 0
[pid=25764] ppid=25763 vsize=48756 CPUtime=1.38 cores=1,3,5,7
/proc/25764/stat : 25764 (glucose) R 25763 15959 14023 0 -1 4202496 10576 0 0 0 136 2 0 0 20 0 1 0 387308436 49926144 10709 33554432000 4194304 5208918 140736139740544 140736139738392 4229142 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25764/statm: 12189 10709 95 248 0 11938 0
Current children cumulated CPU time (s) 1798.52
Current children cumulated vsize (KiB) 86928

Sending SIGTERM to process tree (bottom up)

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

[startup+1802.3 s]
/proc/loadavg: 2.03 2.02 1.88 3/183 25764
/proc/meminfo: memFree=31140768/32873844 swapFree=7116/7116
[pid=15959] ppid=15957 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15959/stat : 15959 (npSolver-wbo-It) S 15957 15959 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128345 9367552 275 33554432000 4194304 5064252 140735667271232 140735667270144 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15959/statm: 2287 275 233 213 0 72 0
[pid=15960] ppid=15959 vsize=19876 CPUtime=1797.14 cores=1,3,5,7
/proc/15960/stat : 15960 (npSolver-wbo) S 15959 15959 14023 0 -1 4202496 1843370 13118271 0 0 7080 929 158908 12797 20 0 1 0 387128345 20353024 4428 33554432000 4194304 6006132 140733408338720 140733408330080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0
/proc/15960/statm: 4969 4428 176 443 0 4522 0
[pid=25763] ppid=15960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25763/stat : 25763 (satsolver.sh) S 15960 15959 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387308436 9367552 266 33554432000 4194304 5064252 140736505289664 140736505288576 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25763/statm: 2287 266 226 213 0 72 0
[pid=25764] ppid=25763 vsize=48756 CPUtime=1.38 cores=1,3,5,7
/proc/25764/stat : 25764 (glucose) R 25763 15959 14023 0 -1 4202496 10576 0 0 0 136 2 0 0 20 0 1 0 387308436 49926144 10709 33554432000 4194304 5208918 140736139740544 140736139738392 4229142 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25764/statm: 12189 10709 95 248 0 11938 0
Current children cumulated CPU time (s) 1798.52
Current children cumulated vsize (KiB) 86928

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): 1.57007
#  lost CPU user time (s): 1.55005
#  lost CPU system time (s): 0.0199966

Real time (s): 1802.31
CPU time (s): 1800.14
CPU user time (s): 1662.81
CPU system time (s): 137.333
CPU usage (%): 99.8795
Max. virtual memory (cumulated for all children) (KiB): 87148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1661.26
system time used= 137.313
maximum resident set size= 44520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14973195
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12024872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 248941
involuntary context switches= 16684

runsolver used 3.05854 second user time and 8.5207 second system time

The end

Launcher Data 

Begin job on node111 at 2012-06-09 04:46:54
IDJOB=3753130
IDBENCH=79387
IDSOLVER=2336
FILE ID=node111/3753130-1339210013
RUNJOBID= node111-1339210010-14645
PBS_JOBID= 14643878
Free space on /tmp= 71268 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh302_wcsp.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753130-1339210013/watcher-3753130-1339210013 -o /tmp/evaluation-result-3753130-1339210013/solver-3753130-1339210013 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753130-1339210013.wbo 1865653759 HOME HOME

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

MD5SUM BENCH= 8b86218007c145a9ce1787d0bbf0d30b
RANDOM SEED=1865653759

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31269624 kB
Buffers:          383528 kB
Cached:           312316 kB
SwapCached:         1308 kB
Active:           533008 kB
Inactive:         182792 kB
Active(anon):      16128 kB
Inactive(anon):     4004 kB
Active(file):     516880 kB
Inactive(file):   178788 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100188 kB
Dirty:             17760 kB
Writeback:             0 kB
AnonPages:         23752 kB
Mapped:             9988 kB
Shmem:                 0 kB
Slab:             750660 kB
SReclaimable:     190200 kB
SUnreclaim:       560460 kB
KernelStack:        1456 kB
PageTables:         3684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     143596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71248 MiB
End job on node111 at 2012-06-09 05:16:56