Trace number 3752747

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.12 1812.92

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/
logistics/normalized-logistics01bc_wcsp.wbo
MD5SUM673b76ee48b71431b264d23912de8dfb
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark7560
Best CPU time to get the best result obtained on this benchmark1.40779
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables490
Total number of constraints3171
Number of soft constraints3007
Number of constraints which are clauses3007
Number of constraints which are cardinality constraints (but not clauses)164
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
Top cost 64011
Min constraint cost 1
Max constraint cost 64011
Sum of constraints costs 180251281
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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.03	c run usual solver
0.00/0.10	o 512109
0.00/0.10	c starting approximation
0.00/0.10	c factor = 2
0.00/0.10	c factor still to low - shrinking to 9239.47
0.00/0.10	c approx number of clauses: 1e+06
0.00/0.10	c current bound: 256054
2.17/2.47	c current bound: 256054
4.55/5.08	c current bound: 256054
6.95/7.48	c current bound: 256054
9.60/10.01	c current bound: 256054
11.72/12.39	c current bound: 256054
14.10/14.77	c current bound: 256054
16.48/17.16	c current bound: 256054
18.79/19.48	c current bound: 256054
21.47/22.01	c current bound: 256054
23.74/24.32	c current bound: 256054
25.87/26.68	c current bound: 256054
28.25/29.06	c current bound: 256054
30.63/31.45	c current bound: 256054
33.02/33.89	c current bound: 256054
35.33/36.19	c current bound: 256054
37.90/38.54	c current bound: 256054
40.29/40.90	c current bound: 256054
42.39/43.27	c current bound: 256054
44.72/45.73	c current bound: 256054
47.12/48.12	c current bound: 256054
49.74/50.52	c current bound: 256054
52.10/52.94	c current bound: 256054
54.24/55.31	c current bound: 256054
56.53/57.60	c current bound: 256054
58.91/59.99	c current bound: 256054
61.30/62.51	c current bound: 256054
63.96/64.91	c current bound: 256054
66.07/67.28	c current bound: 256054
68.44/69.65	c current bound: 256054
70.81/72.02	c current bound: 256054
73.19/74.56	c current bound: 256054
75.49/76.85	c current bound: 256054
78.09/79.21	c current bound: 256054
80.21/81.58	c current bound: 256054
82.55/83.93	c current bound: 256054
85.19/86.41	c current bound: 256054
87.31/88.80	c current bound: 256054
89.98/91.20	c current bound: 256054
92.25/93.57	c current bound: 256054
94.42/95.93	c current bound: 256054
96.80/98.30	c current bound: 256054
99.18/100.69	c current bound: 256054
101.56/103.16	c current bound: 256054
104.15/105.53	c current bound: 256054
106.54/107.90	c current bound: 256054
108.65/110.27	c current bound: 256054
111.03/112.65	c current bound: 256054
113.40/115.14	c current bound: 256054
115.80/117.54	c current bound: 256054
118.30/119.90	c current bound: 256054
120.51/122.27	c current bound: 256054
122.87/124.63	c current bound: 256054
125.25/127.14	c current bound: 256054
127.56/129.44	c current bound: 256054
129.96/131.85	c current bound: 256054
132.56/134.21	c current bound: 256054
134.68/136.57	c current bound: 256054
137.03/138.98	c current bound: 256054
139.40/141.35	c current bound: 256054
141.78/143.74	c current bound: 256054
144.18/146.13	c current bound: 256054
146.70/148.44	c current bound: 256054
148.99/150.72	c current bound: 256054
151.12/153.08	c current bound: 256054
153.47/155.45	c current bound: 256054
155.85/157.93	c current bound: 256054
158.19/160.28	c current bound: 256054
160.60/162.69	c current bound: 256054
163.17/165.04	c current bound: 256054
165.31/167.41	c current bound: 256054
167.65/169.75	c current bound: 256054
170.03/172.13	c current bound: 256054
172.60/174.50	c current bound: 256054
174.64/176.81	c current bound: 256054
176.97/179.13	c current bound: 256054
179.49/181.44	c current bound: 256054
181.79/183.75	c current bound: 256054
183.93/186.11	c current bound: 256054
186.25/188.41	c current bound: 256054
188.57/190.73	c current bound: 256054
190.88/193.07	c current bound: 256054
193.19/195.39	c current bound: 256054
195.51/197.72	c current bound: 256054
197.84/200.04	c current bound: 256054
200.37/202.34	c current bound: 256054
202.67/204.66	c current bound: 256054
204.97/206.97	c current bound: 256054
207.37/209.30	c current bound: 256054
209.42/211.60	c current bound: 256054
212.00/214.07	c current bound: 256054
214.04/216.39	c current bound: 256054
216.35/218.71	c current bound: 256054
218.92/221.04	c current bound: 256054
221.22/223.36	c current bound: 256054
223.60/225.81	c current bound: 256054
225.64/228.12	c current bound: 256054
227.96/230.44	c current bound: 256054
230.28/232.76	c current bound: 256054
232.59/235.08	c current bound: 256054
235.19/237.40	c current bound: 256054
237.59/239.80	c current bound: 256054
239.88/242.12	c current bound: 256054
241.95/244.45	c current bound: 256054
244.25/246.77	c current bound: 256054
246.87/249.45	c current bound: 256054
248.90/251.77	c current bound: 256054
251.42/254.09	c current bound: 256054
253.82/256.41	c current bound: 256054
255.86/258.73	c current bound: 256054
258.18/261.06	c current bound: 256054
260.51/263.38	c current bound: 256054
263.10/265.70	c current bound: 256054
265.14/268.02	c current bound: 256054
267.47/270.34	c current bound: 256054
269.80/272.68	c current bound: 256054
272.29/275.00	c current bound: 256054
274.69/277.31	c current bound: 256054
276.76/279.65	c current bound: 256054
279.08/281.96	c current bound: 256054
281.39/284.29	c current bound: 256054
283.98/286.60	c current bound: 256054
286.02/288.92	c current bound: 256054
288.34/291.24	c current bound: 256054
290.94/293.80	c current bound: 256054
292.97/296.12	c current bound: 256054
295.30/298.57	c current bound: 256054
297.63/300.87	c current bound: 256054
300.20/303.20	c current bound: 256054
302.24/305.51	c current bound: 256054
304.57/307.84	c current bound: 256054
307.11/310.16	c current bound: 256054
309.41/312.47	c current bound: 256054
311.53/314.78	c current bound: 256054
313.83/317.08	c current bound: 256054
316.13/319.39	c current bound: 256054
318.70/321.70	c current bound: 256054
320.75/324.03	c current bound: 256054
323.07/326.35	c current bound: 256054
325.39/328.67	c current bound: 256054
327.70/330.99	c current bound: 256054
330.30/333.31	c current bound: 256054
332.58/335.63	c current bound: 256054
334.66/337.95	c current bound: 256054
336.98/340.26	c current bound: 256054
339.29/342.57	c current bound: 256054
341.60/344.88	c current bound: 256054
343.91/347.18	c current bound: 256054
346.22/349.49	c current bound: 256054
348.51/351.79	c current bound: 256054
351.09/354.11	c current bound: 256054
353.36/356.44	c current bound: 256054
355.66/358.76	c current bound: 256054
357.77/361.07	c current bound: 256054
360.37/363.40	c current bound: 256054
362.40/365.71	c current bound: 256054
364.74/368.02	c current bound: 256054
367.04/370.34	c current bound: 256054
369.36/372.65	c current bound: 256054
371.67/374.98	c current bound: 256054
374.25/377.36	c current bound: 256054
376.30/379.67	c current bound: 256054
378.60/381.98	c current bound: 256054
380.91/384.28	c current bound: 256054
383.21/386.59	c current bound: 256054
385.79/388.90	c current bound: 256054
387.83/391.22	c current bound: 256054
390.14/393.53	c current bound: 256054
392.44/395.83	c current bound: 256054
394.96/398.14	c current bound: 256054
397.26/400.46	c current bound: 256054
399.38/402.79	c current bound: 256054
401.96/405.10	c current bound: 256054
404.00/407.41	c current bound: 256054
406.31/409.72	c current bound: 256054
408.62/412.02	c current bound: 256054
410.92/414.34	c current bound: 256054
413.22/416.64	c current bound: 256054
415.54/418.95	c current bound: 256054
418.04/421.26	c current bound: 256054
420.32/423.58	c current bound: 256054
422.48/425.89	c current bound: 256054
424.78/428.76	c current bound: 256054
427.09/431.07	c current bound: 256054
429.66/434.03	c current bound: 256054
431.69/436.33	c current bound: 256054
434.00/438.74	c current bound: 256054
436.52/441.04	c current bound: 256054
438.81/443.36	c current bound: 256054
440.93/445.67	c current bound: 256054
443.23/447.98	c current bound: 256054
445.63/450.51	c current bound: 256054
447.94/452.81	c current bound: 256054
450.24/455.12	c current bound: 256054
452.55/457.43	c current bound: 256054
455.08/459.79	c current bound: 256054
457.46/462.11	c current bound: 256054
459.54/464.42	c current bound: 256054
461.85/466.73	c current bound: 256054
464.14/469.04	c current bound: 256054
466.46/471.45	c current bound: 256054
468.77/473.76	c current bound: 256054
471.08/476.07	c current bound: 256054
473.38/478.38	c current bound: 256054
475.86/480.69	c current bound: 256054
478.24/483.01	c current bound: 256054
480.37/485.37	c current bound: 256054
482.75/487.75	c current bound: 256054
485.15/490.15	c current bound: 256054
487.55/492.57	c current bound: 256054
489.86/494.88	c current bound: 256054
492.43/497.24	c current bound: 256054
494.60/499.63	c current bound: 256054
497.01/502.16	c current bound: 256054
499.42/504.59	c current bound: 256054
502.09/507.01	c current bound: 256054
504.36/509.39	c current bound: 256054
506.50/511.69	c current bound: 256054
508.81/514.02	c current bound: 256054
511.18/516.38	c current bound: 256054
513.56/518.82	c current bound: 256054
516.20/521.20	c current bound: 256054
518.50/523.59	c current bound: 256054
520.88/525.94	c current bound: 256054
523.30/528.30	c current bound: 256054
525.40/530.77	c current bound: 256054
527.76/533.15	c current bound: 256054
530.15/535.54	c current bound: 256054
532.66/537.88	c current bound: 256054
534.95/540.35	c current bound: 256054
537.31/542.83	c current bound: 256054
539.66/545.18	c current bound: 256054
541.95/547.48	c current bound: 256054
544.63/549.96	c current bound: 256054
547.00/552.38	c current bound: 256054
549.39/554.85	c current bound: 256054
551.50/557.22	c current bound: 256054
553.94/559.66	c current bound: 256054
556.52/562.07	c current bound: 256054
558.90/564.42	c current bound: 256054
560.97/566.72	c current bound: 256054
563.28/569.02	c current bound: 256054
565.58/571.34	c current bound: 256054
567.95/573.72	c current bound: 256054
570.57/576.10	c current bound: 256054
572.69/578.48	c current bound: 256054
575.26/580.83	c current bound: 256054
577.40/583.34	c current bound: 256054
579.76/585.71	c current bound: 256054
582.13/588.09	c current bound: 256054
584.62/590.59	c current bound: 256054
587.19/592.94	c current bound: 256054
589.31/595.43	c current bound: 256054
591.94/597.80	c current bound: 256054
594.14/600.28	c current bound: 256054
596.72/602.60	c current bound: 256054
599.01/604.92	c current bound: 256054
601.31/607.27	c current bound: 256054
603.50/609.66	c current bound: 256054
605.87/612.17	c current bound: 256054
608.25/614.55	c current bound: 256054
610.63/616.93	c current bound: 256054
613.15/619.29	c current bound: 256054
615.54/621.64	c current bound: 256054
617.67/623.99	c current bound: 256054
620.03/626.35	c current bound: 256054
622.39/628.84	c current bound: 256054
624.77/631.23	c current bound: 256054
627.30/633.57	c current bound: 256054
629.69/635.91	c current bound: 256054
631.81/638.27	c current bound: 256054
634.17/640.73	c current bound: 256054
636.52/643.10	c current bound: 256054
638.88/645.46	c current bound: 256054
641.47/647.86	c current bound: 256054
643.71/650.31	c current bound: 256054
646.33/652.80	c current bound: 256054
648.44/655.18	c current bound: 256054
650.73/657.49	c current bound: 256054
653.11/659.86	c current bound: 256054
655.69/662.21	c current bound: 256054
657.80/664.68	c current bound: 256054
660.18/667.05	c current bound: 256054
662.57/669.45	c current bound: 256054
664.95/671.83	c current bound: 256054
667.58/674.21	c current bound: 256054
669.92/676.68	c current bound: 256054
672.02/679.04	c current bound: 256054
674.38/681.40	c current bound: 256054
676.76/683.78	c current bound: 256054
679.15/686.16	c current bound: 256054
681.78/688.67	c current bound: 256054
684.12/691.00	c current bound: 256054
686.21/693.36	c current bound: 256054
688.58/695.74	c current bound: 256054
690.95/698.11	c current bound: 256054
693.74/700.76	c current bound: 256054
695.83/703.11	c current bound: 256054
698.18/705.47	c current bound: 256054
700.54/707.83	c current bound: 256054
703.07/710.35	c current bound: 256054
705.70/712.85	c current bound: 256054
708.07/715.20	c current bound: 256054
710.15/717.55	c current bound: 256054
712.61/720.01	c current bound: 256054
714.97/722.39	c current bound: 256054
717.61/724.90	c current bound: 256054
719.91/727.25	c current bound: 256054
722.10/729.65	c current bound: 256054
724.46/732.03	c current bound: 256054
726.84/734.40	c current bound: 256054
729.15/736.82	c current bound: 256054
731.69/739.18	c current bound: 256054
734.08/741.53	c current bound: 256054
736.21/743.89	c current bound: 256054
738.57/746.25	c current bound: 256054
740.94/748.75	c current bound: 256054
743.31/751.14	c current bound: 256054
745.83/753.48	c current bound: 256054
748.13/755.79	c current bound: 256054
750.32/758.14	c current bound: 256054
752.73/760.67	c current bound: 256054
755.10/763.05	c current bound: 256054
757.47/765.42	c current bound: 256054
760.10/767.81	c current bound: 256054
762.49/770.25	c current bound: 256054
764.92/772.74	c current bound: 256054
767.03/775.12	c current bound: 256054
769.65/777.50	c current bound: 256054
772.03/779.96	c current bound: 256054
774.42/782.30	c current bound: 256054
776.54/784.78	c current bound: 256054
778.90/787.16	c current bound: 256054
781.32/789.58	c current bound: 256054
783.70/791.97	c current bound: 256054
786.29/794.32	c current bound: 256054
788.40/796.67	c current bound: 256054
790.70/798.97	c current bound: 256054
793.05/801.34	c current bound: 256054
795.42/803.73	c current bound: 256054
797.81/806.11	c current bound: 256054
800.18/808.49	c current bound: 256054
802.74/810.84	c current bound: 256054
805.13/813.31	c current bound: 256054
807.22/815.67	c current bound: 256054
809.58/818.04	c current bound: 256054
812.10/820.57	c current bound: 256054
814.69/822.92	c current bound: 256054
817.06/825.42	c current bound: 256054
819.16/827.78	c current bound: 256054
821.55/830.18	c current bound: 256054
823.94/832.58	c current bound: 256054
826.52/834.97	c current bound: 256054
828.89/837.32	c current bound: 256054
831.07/839.72	c current bound: 256054
833.70/842.25	c current bound: 256054
835.81/844.64	c current bound: 256054
838.42/847.02	c current bound: 256054
840.80/849.40	c current bound: 256054
842.89/851.75	c current bound: 256054
845.25/854.11	c current bound: 256054
847.61/856.49	c current bound: 256054
849.99/858.97	c current bound: 256054
852.57/861.35	c current bound: 256054
854.96/863.70	c current bound: 256054
857.08/866.06	c current bound: 256054
859.44/868.43	c current bound: 256054
861.77/870.85	c current bound: 256054
864.15/873.23	c current bound: 256054
866.76/875.62	c current bound: 256054
869.07/877.97	c current bound: 256054
871.33/880.44	c current bound: 256054
873.70/882.91	c current bound: 256054
876.05/885.26	c current bound: 256054
878.43/887.65	c current bound: 256054
881.03/890.08	c current bound: 256054
883.21/892.43	c current bound: 256054
885.56/894.91	c current bound: 256054
887.93/897.28	c current bound: 256054
890.60/899.70	c current bound: 256054
892.89/902.10	c current bound: 256054
895.28/904.46	c current bound: 256054
897.45/906.82	c current bound: 256054
899.81/909.18	c current bound: 256054
902.17/911.66	c current bound: 256054
904.54/914.04	c current bound: 256054
907.07/916.38	c current bound: 256054
909.45/918.73	c current bound: 256054
911.59/921.08	c current bound: 256054
913.94/923.57	c current bound: 256054
916.31/925.94	c current bound: 256054
918.69/928.32	c current bound: 256054
921.32/930.78	c current bound: 256054
923.48/933.13	c current bound: 256054
925.80/935.45	c current bound: 256054
928.17/937.83	c current bound: 256054
930.66/940.32	c current bound: 256054
933.04/942.70	c current bound: 256054
935.58/945.05	c current bound: 256054
937.99/947.56	c current bound: 256054
940.17/950.01	c current bound: 256054
942.54/952.38	c current bound: 256054
944.93/954.78	c current bound: 256054
947.51/957.14	c current bound: 256054
949.65/959.51	c current bound: 256054
952.02/961.88	c current bound: 256054
954.38/964.38	c current bound: 256054
956.77/966.76	c current bound: 256054
959.36/969.15	c current bound: 256054
961.75/971.51	c current bound: 256054
963.87/973.87	c current bound: 256054
966.23/976.23	c current bound: 256054
968.53/978.53	c current bound: 256054
970.91/980.91	c current bound: 256054
973.27/983.30	c current bound: 256054
975.82/985.69	c current bound: 256054
978.22/988.04	c current bound: 256054
980.50/990.54	c current bound: 256054
982.86/993.01	c current bound: 256054
985.23/995.38	c current bound: 256054
987.80/997.80	c current bound: 256054
990.01/1000.18	c current bound: 256054
992.37/1002.54	c current bound: 256054
994.73/1005.02	c current bound: 256054
997.38/1007.44	c current bound: 256054
999.45/1009.79	c current bound: 256054
1002.02/1012.11	c current bound: 256054
1004.32/1014.42	c current bound: 256054
1006.38/1016.74	c current bound: 256054
1008.70/1019.06	c current bound: 256054
1011.00/1021.37	c current bound: 256054
1013.32/1023.69	c current bound: 256054
1015.64/1026.00	c current bound: 256054
1017.95/1028.32	c current bound: 256054
1020.27/1030.63	c current bound: 256054
1022.78/1032.94	c current bound: 256054
1025.08/1035.26	c current bound: 256054
1027.20/1037.56	c current bound: 256054
1029.83/1040.04	c current bound: 256054
1031.87/1042.37	c current bound: 256054
1034.18/1044.67	c current bound: 256054
1036.49/1046.99	c current bound: 256054
1039.08/1049.30	c current bound: 256054
1041.38/1051.62	c current bound: 256054
1043.66/1053.93	c current bound: 256054
1045.95/1056.25	c current bound: 256054
1048.05/1058.57	c current bound: 256054
1050.36/1060.88	c current bound: 256054
1052.68/1063.19	c current bound: 256054
1055.00/1065.52	c current bound: 256054
1057.31/1067.84	c current bound: 256054
1059.71/1070.23	c current bound: 256054
1062.25/1072.54	c current bound: 256054
1064.54/1074.86	c current bound: 256054
1066.65/1077.18	c current bound: 256054
1069.25/1079.50	c current bound: 256054
1071.28/1081.81	c current bound: 256054
1073.59/1084.11	c current bound: 256054
1075.87/1086.41	c current bound: 256054
1078.20/1088.75	c current bound: 256054
1080.92/1091.22	c current bound: 256054
1083.23/1093.54	c current bound: 256054
1085.50/1095.85	c current bound: 256054
1087.61/1098.17	c current bound: 256054
1090.02/1100.59	c current bound: 256054
1092.60/1102.90	c current bound: 256054
1094.65/1105.20	c current bound: 256054
1096.95/1107.52	c current bound: 256054
1099.32/1109.88	c current bound: 256054
1101.88/1112.21	c current bound: 256054
1104.17/1114.52	c current bound: 256054
1106.25/1116.84	c current bound: 256054
1108.56/1119.15	c current bound: 256054
1110.88/1121.47	c current bound: 256054
1113.19/1123.79	c current bound: 256054
1115.79/1126.10	c current bound: 256054
1117.81/1128.41	c current bound: 256054
1120.12/1130.73	c current bound: 256054
1122.68/1133.05	c current bound: 256054
1124.97/1135.37	c current bound: 256054
1127.08/1137.68	c current bound: 256054
1129.46/1140.06	c current bound: 256054
1131.77/1142.38	c current bound: 256054
1134.09/1144.69	c current bound: 256054
1136.39/1147.02	c current bound: 256054
1138.70/1149.33	c current bound: 256054
1141.02/1151.65	c current bound: 256054
1143.55/1153.96	c current bound: 256054
1145.86/1156.28	c current bound: 256054
1147.96/1158.61	c current bound: 256054
1150.27/1160.92	c current bound: 256054
1152.60/1163.23	c current bound: 256054
1154.90/1165.55	c current bound: 256054
1157.22/1167.86	c current bound: 256054
1159.61/1170.27	c current bound: 256054
1161.93/1172.58	c current bound: 256054
1164.42/1174.88	c current bound: 256054
1166.84/1177.20	c current bound: 256054
1168.86/1179.52	c current bound: 256054
1171.19/1181.85	c current bound: 256054
1173.49/1184.16	c current bound: 256054
1175.81/1186.48	c current bound: 256054
1178.13/1188.79	c current bound: 256054
1180.90/1191.45	c current bound: 256054
1183.14/1193.76	c current bound: 256054
1185.25/1196.08	c current bound: 256054
1187.57/1198.39	c current bound: 256054
1190.00/1200.83	c current bound: 256054
1192.59/1203.27	c current bound: 256054
1194.64/1205.59	c current bound: 256054
1197.21/1207.91	c current bound: 256054
1199.35/1210.31	c current bound: 256054
1201.67/1212.63	c current bound: 256054
1203.99/1214.95	c current bound: 256054
1206.30/1217.27	c current bound: 256054
1208.63/1219.61	c current bound: 256054
1210.94/1221.92	c current bound: 256054
1213.25/1224.24	c current bound: 256054
1215.78/1226.55	c current bound: 256054
1218.07/1228.89	c current bound: 256054
1220.40/1231.40	c current bound: 256054
1222.72/1233.72	c current bound: 256054
1225.04/1236.03	c current bound: 256054
1227.36/1238.35	c current bound: 256054
1230.06/1240.82	c current bound: 256054
1232.37/1243.13	c current bound: 256054
1234.66/1245.46	c current bound: 256054
1236.75/1247.78	c current bound: 256054
1239.42/1250.25	c current bound: 256054
1241.46/1252.57	c current bound: 256054
1243.78/1254.88	c current bound: 256054
1246.09/1257.20	c current bound: 256054
1248.66/1259.52	c current bound: 256054
1250.96/1261.83	c current bound: 256054
1253.25/1264.16	c current bound: 256054
1255.35/1266.47	c current bound: 256054
1257.65/1268.78	c current bound: 256054
1260.18/1271.29	c current bound: 256054
1262.77/1273.81	c current bound: 256054
1265.06/1276.12	c current bound: 256054
1267.36/1278.44	c current bound: 256054
1269.58/1280.89	c current bound: 256054
1271.89/1283.20	c current bound: 256054
1274.22/1285.52	c current bound: 256054
1276.51/1287.84	c current bound: 256054
1278.90/1290.25	c current bound: 256054
1281.44/1292.56	c current bound: 256054
1283.74/1294.89	c current bound: 256054
1285.87/1297.20	c current bound: 256054
1288.20/1299.54	c current bound: 256054
1290.50/1301.85	c current bound: 256054
1292.81/1304.16	c current bound: 256054
1295.13/1306.48	c current bound: 256054
1297.44/1308.79	c current bound: 256054
1300.11/1311.27	c current bound: 256054
1302.50/1313.71	c current bound: 256054
1304.53/1316.03	c current bound: 256054
1306.85/1318.34	c current bound: 256054
1309.29/1320.78	c current bound: 256054
1311.89/1323.10	c current bound: 256054
1313.92/1325.41	c current bound: 256054
1316.46/1327.73	c current bound: 256054
1318.85/1330.11	c current bound: 256054
1320.94/1332.43	c current bound: 256054
1323.25/1334.74	c current bound: 256054
1325.55/1337.05	c current bound: 256054
1327.86/1339.38	c current bound: 256054
1330.18/1341.71	c current bound: 256054
1332.50/1344.02	c current bound: 256054
1334.83/1346.34	c current bound: 256054
1337.36/1348.66	c current bound: 256054
1339.64/1350.98	c current bound: 256054
1342.05/1353.30	c current bound: 256054
1344.09/1355.61	c current bound: 256054
1346.40/1357.92	c current bound: 256054
1348.80/1360.48	c current bound: 256054
1351.39/1362.80	c current bound: 256054
1353.67/1365.11	c current bound: 256054
1355.99/1367.42	c current bound: 256054
1358.27/1369.76	c current bound: 256054
1360.37/1372.08	c current bound: 256054
1362.68/1374.39	c current bound: 256054
1365.02/1376.71	c current bound: 256054
1367.33/1379.03	c current bound: 256054
1369.85/1381.55	c current bound: 256054
1372.43/1383.99	c current bound: 256054
1374.47/1386.31	c current bound: 256054
1376.79/1388.62	c current bound: 256054
1379.27/1391.11	c current bound: 256054
1381.59/1393.42	c current bound: 256054
1383.91/1395.74	c current bound: 256054
1386.23/1398.06	c current bound: 256054
1388.82/1400.47	c current bound: 256054
1390.94/1402.76	c current bound: 256054
1393.24/1405.07	c current bound: 256054
1395.56/1407.39	c current bound: 256054
1397.89/1409.74	c current bound: 256054
1400.20/1412.05	c current bound: 256054
1402.51/1414.36	c current bound: 256054
1404.82/1416.68	c current bound: 256054
1407.14/1418.99	c current bound: 256054
1409.64/1421.51	c current bound: 256054
1411.94/1423.82	c current bound: 256054
1414.26/1426.13	c current bound: 256054
1416.57/1428.44	c current bound: 256054
1419.00/1430.98	c current bound: 256054
1421.30/1433.29	c current bound: 256054
1423.90/1435.60	c current bound: 256054
1426.17/1437.92	c current bound: 256054
1428.32/1440.32	c current bound: 256054
1430.64/1442.76	c current bound: 256054
1432.96/1445.07	c current bound: 256054
1435.27/1447.39	c current bound: 256054
1437.61/1449.73	c current bound: 256054
1440.17/1452.05	c current bound: 256054
1442.46/1454.36	c current bound: 256054
1444.57/1456.71	c current bound: 256054
1446.90/1459.03	c current bound: 256054
1449.41/1461.56	c current bound: 256054
1451.73/1463.86	c current bound: 256054
1454.04/1466.17	c current bound: 256054
1456.35/1468.50	c current bound: 256054
1459.01/1470.93	c current bound: 256054
1461.09/1473.25	c current bound: 256054
1463.41/1475.56	c current bound: 256054
1465.73/1477.86	c current bound: 256054
1468.09/1480.25	c current bound: 256054
1470.41/1482.57	c current bound: 256054
1472.73/1484.88	c current bound: 256054
1475.04/1487.20	c current bound: 256054
1477.61/1489.51	c current bound: 256054
1479.90/1491.85	c current bound: 256054
1481.99/1494.15	c current bound: 256054
1484.28/1496.45	c current bound: 256054
1486.60/1498.75	c current bound: 256054
1488.90/1501.06	c current bound: 256054
1491.21/1503.37	c current bound: 256054
1493.52/1505.68	c current bound: 256054
1495.83/1507.98	c current bound: 256054
1498.38/1510.36	c current bound: 256054
1500.78/1512.81	c current bound: 256054
1502.83/1515.12	c current bound: 256054
1505.14/1517.43	c current bound: 256054
1507.46/1519.76	c current bound: 256054
1509.76/1522.06	c current bound: 256054
1512.07/1524.37	c current bound: 256054
1514.37/1526.71	c current bound: 256054
1516.94/1529.07	c current bound: 256054
1519.28/1531.61	c current bound: 256054
1521.59/1533.92	c current bound: 256054
1523.91/1536.23	c current bound: 256054
1526.21/1538.57	c current bound: 256054
1528.68/1541.04	c current bound: 256054
1531.22/1543.35	c current bound: 256054
1533.51/1545.66	c current bound: 256054
1535.80/1547.97	c current bound: 256054
1538.00/1550.36	c current bound: 256054
1540.32/1552.80	c current bound: 256054
1542.64/1555.12	c current bound: 256054
1544.95/1557.43	c current bound: 256054
1547.28/1559.76	c current bound: 256054
1549.79/1562.07	c current bound: 256054
1552.08/1564.38	c current bound: 256054
1554.21/1566.71	c current bound: 256054
1556.53/1569.02	c current bound: 256054
1559.03/1571.52	c current bound: 256054
1561.34/1573.85	c current bound: 256054
1563.68/1576.17	c current bound: 256054
1565.99/1578.50	c current bound: 256054
1568.65/1580.95	c current bound: 256054
1570.76/1583.27	c current bound: 256054
1573.07/1585.58	c current bound: 256054
1575.38/1587.89	c current bound: 256054
1577.76/1590.29	c current bound: 256054
1580.34/1592.60	c current bound: 256054
1582.38/1594.91	c current bound: 256054
1584.93/1597.27	c current bound: 256054
1587.24/1599.58	c current bound: 256054
1589.35/1601.89	c current bound: 256054
1591.66/1604.21	c current bound: 256054
1593.98/1606.52	c current bound: 256054
1596.31/1608.85	c current bound: 256054
1598.62/1611.16	c current bound: 256054
1600.93/1613.47	c current bound: 256054
1603.23/1615.78	c current bound: 256054
1605.55/1618.08	c current bound: 256054
1608.10/1620.47	c current bound: 256054
1610.49/1622.90	c current bound: 256054
1612.53/1625.21	c current bound: 256054
1614.84/1627.52	c current bound: 256054
1617.15/1629.84	c current bound: 256054
1619.47/1632.15	c current bound: 256054
1621.77/1634.45	c current bound: 256054
1624.08/1636.78	c current bound: 256054
1626.57/1639.09	c current bound: 256054
1628.90/1641.59	c current bound: 256054
1631.48/1643.90	c current bound: 256054
1633.51/1646.20	c current bound: 256054
1635.83/1648.54	c current bound: 256054
1638.26/1650.98	c current bound: 256054
1640.57/1653.30	c current bound: 256054
1643.14/1655.61	c current bound: 256054
1645.44/1657.92	c current bound: 256054
1647.57/1660.31	c current bound: 256054
1649.89/1662.62	c current bound: 256054
1652.21/1664.94	c current bound: 256054
1654.51/1667.26	c current bound: 256054
1656.84/1669.57	c current bound: 256054
1659.43/1671.90	c current bound: 256054
1661.73/1674.22	c current bound: 256054
1664.03/1676.53	c current bound: 256054
1666.32/1678.84	c current bound: 256054
1668.42/1681.16	c current bound: 256054
1670.73/1683.48	c current bound: 256054
1673.33/1685.80	c current bound: 256054
1675.37/1688.11	c current bound: 256054
1678.03/1690.50	c current bound: 256054
1680.35/1692.93	c current bound: 256054
1682.60/1695.25	c current bound: 256054
1684.89/1697.57	c current bound: 256054
1687.03/1699.90	c current bound: 256054
1689.34/1702.22	c current bound: 256054
1691.65/1704.53	c current bound: 256054
1693.96/1706.85	c current bound: 256054
1696.27/1709.16	c current bound: 256054
1698.97/1711.66	c current bound: 256054
1701.28/1713.98	c current bound: 256054
1703.40/1716.29	c current bound: 256054
1705.71/1718.61	c current bound: 256054
1708.14/1721.05	c current bound: 256054
1710.46/1723.36	c current bound: 256054
1712.78/1725.67	c current bound: 256054
1715.08/1727.98	c current bound: 256054
1717.66/1730.36	c current bound: 256054
1720.05/1732.79	c current bound: 256054
1722.37/1735.10	c current bound: 256054
1724.40/1737.41	c current bound: 256054
1726.72/1739.72	c current bound: 256054
1729.02/1742.04	c current bound: 256054
1731.34/1744.35	c current bound: 256054
1733.66/1746.68	c current bound: 256054
1735.96/1748.99	c current bound: 256054
1738.48/1751.49	c current bound: 256054
1740.79/1753.81	c current bound: 256054
1743.11/1756.13	c current bound: 256054
1745.42/1758.46	c current bound: 256054
1747.84/1760.88	c current bound: 256054
1750.44/1763.20	c current bound: 256054
1752.73/1765.51	c current bound: 256054
1755.03/1767.83	c current bound: 256054
1757.41/1770.20	c current bound: 256054
1759.45/1772.51	c current bound: 256054
1761.78/1774.83	c current bound: 256054
1764.09/1777.15	c current bound: 256054
1766.41/1779.46	c current bound: 256054
1768.73/1781.79	c current bound: 256054
1771.04/1784.11	c current bound: 256054
1773.62/1786.42	c current bound: 256054
1775.91/1788.73	c current bound: 256054
1778.22/1791.04	c current bound: 256054
1780.30/1793.35	c current bound: 256054
1782.61/1795.66	c current bound: 256054
1784.90/1797.97	c current bound: 256054
1787.28/1800.34	c current bound: 256054
1789.57/1802.64	c current bound: 256054
1791.88/1804.98	c current bound: 256054
1794.20/1807.30	c current bound: 256054
1796.77/1809.61	c current bound: 256054
1799.06/1811.91	c current bound: 256054
1800.08/1812.91	./satsolver.sh: line 5:  3969 Terminated              ./glucose $1 > $2 2> /dev/null
1800.08/1812.91	c error: unexpected solver exit code
1800.08/1812.91	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-3752747-1339213500/watcher-3752747-1339213500 -o /tmp/evaluation-result-3752747-1339213500/solver-3752747-1339213500 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752747-1339213500.wbo 197088482 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 2/179 29734
/proc/meminfo: memFree=30459344/32873648 swapFree=7124/7124
[pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29734/statm: 2287 275 233 213 0 72 0

[startup+0.065608 s]
/proc/loadavg: 2.00 2.01 2.00 2/179 29734
/proc/meminfo: memFree=30459344/32873648 swapFree=7124/7124
[pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29734/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100213 s]
/proc/loadavg: 2.00 2.01 2.00 2/179 29734
/proc/meminfo: memFree=30459344/32873648 swapFree=7124/7124
[pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29734/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300144 s]
/proc/loadavg: 2.00 2.01 2.00 2/179 29734
/proc/meminfo: memFree=30459344/32873648 swapFree=7124/7124
[pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29734/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700159 s]
/proc/loadavg: 2.00 2.01 2.00 2/179 29734
/proc/meminfo: memFree=30459344/32873648 swapFree=7124/7124
[pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29734/statm: 2287 275 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.01 2.00 3/183 29796
/proc/meminfo: memFree=30830504/32873648 swapFree=7124/7124
[pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29734/statm: 2287 275 233 213 0 72 0
[pid=29735] ppid=29734 vsize=21400 CPUtime=0.17 cores=0,2,4,6
/proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 4692 5723 0 0 11 2 3 1 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29735/statm: 5350 4844 176 443 0 4903 0
[pid=29747] ppid=29735 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29747/stat : 29747 (satsolver.sh) S 29735 29734 9019 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387477375 9367552 267 33554432000 4194304 5064252 140733344790592 140733344789504 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29747/statm: 2287 267 226 213 0 72 0
[pid=29748] ppid=29747 vsize=51360 CPUtime=1.29 cores=0,2,4,6
/proc/29748/stat : 29748 (glucose) R 29747 29734 9019 0 -1 4202496 11088 0 0 0 128 1 0 0 20 0 1 0 387477375 52592640 11750 33554432000 4194304 5208918 140735020648304 140735020646152 4213234 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29748/statm: 12840 11750 95 248 0 12589 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 91056

[startup+3.10021 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 29800
/proc/meminfo: memFree=30766832/32873648 swapFree=7124/7124
[pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29734/statm: 2287 275 233 213 0 72 0
[pid=29735] ppid=29734 vsize=21400 CPUtime=2.54 cores=0,2,4,6
/proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 6985 21845 0 0 19 3 217 15 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29735/statm: 5350 4844 176 443 0 4903 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 30548

[startup+6.30037 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 29814
/proc/meminfo: memFree=30766940/32873648 swapFree=7124/7124
[pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29734/statm: 2287 275 233 213 0 72 0
[pid=29735] ppid=29734 vsize=21400 CPUtime=4.91 cores=0,2,4,6
/proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 9278 38218 0 0 27 4 431 29 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29735/statm: 5350 4844 176 443 0 4903 0
[pid=29813] ppid=29735 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29813/stat : 29813 (satsolver.sh) S 29735 29734 9019 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387477872 9367552 267 33554432000 4194304 5064252 140735098882624 140735098881536 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29813/statm: 2287 267 226 213 0 72 0
[pid=29814] ppid=29813 vsize=51356 CPUtime=1.12 cores=0,2,4,6
/proc/29814/stat : 29814 (glucose) R 29813 29734 9019 0 -1 4202496 10766 0 0 0 111 1 0 0 20 0 1 0 387477873 52588544 11443 33554432000 4194304 5208918 140734769071696 140734769069544 4229021 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29814/statm: 12839 11443 95 248 0 12588 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 91052

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 29828
/proc/meminfo: memFree=30764892/32873648 swapFree=7124/7124
[pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29734/statm: 2287 275 233 213 0 72 0
[pid=29735] ppid=29734 vsize=21400 CPUtime=12.07 cores=0,2,4,6
/proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 16157 85902 0 0 50 6 1080 71 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29735/statm: 5350 4844 176 443 0 4903 0
Current children cumulated CPU time (s) 12.07
Current children cumulated vsize (KiB) 30548

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 29877
/proc/meminfo: memFree=30636848/32873648 swapFree=7124/7124
[pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29734/statm: 2287 275 233 213 0 72 0
[pid=29735] ppid=29734 vsize=21400 CPUtime=23.87 cores=0,2,4,6
/proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 27622 165777 0 0 90 11 2143 143 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29735/statm: 5350 4844 176 443 0 4903 0
[pid=29876] ppid=29735 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29876/stat : 29876 (satsolver.sh) S 29735 29734 9019 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387479797 9367552 266 33554432000 4194304 5064252 140734808673872 140734808672784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29876/statm: 2287 266 226 213 0 72 0
[pid=29877] ppid=29876 vsize=51352 CPUtime=1.08 cores=0,2,4,6
/proc/29877/stat : 29877 (glucose) R 29876 29734 9019 0 -1 4202496 11289 0 0 0 106 2 0 0 20 0 1 0 387479797 52584448 11442 33554432000 4194304 5208918 140733697932064 140733697929912 4212757 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29877/statm: 12838 11442 95 248 0 12587 0
Current children cumulated CPU time (s) 24.95
Current children cumulated vsize (KiB) 91048

[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 29950
/proc/meminfo: memFree=30666636/32873648 swapFree=7124/7124
[pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29734/statm: 2287 275 233 213 0 72 0
[pid=29735] ppid=29734 vsize=21400 CPUtime=49.87 cores=0,2,4,6
/proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 52845 339786 0 0 178 21 4488 300 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 5 0 0
/proc/29735/statm: 5350 4844 176 443 0 4903 0
Current children cumulated CPU time (s) 49.87
Current children cumulated vsize (KiB) 30548

[startup+102.307 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 30102
/proc/meminfo: memFree=30603676/32873648 swapFree=7124/7124
[pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29734/statm: 2287 275 233 213 0 72 0
[pid=29735] ppid=29734 vsize=21400 CPUtime=99.52 cores=0,2,4,6
/proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 100998 673337 0 0 345 40 8969 598 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 5 0 0
/proc/29735/statm: 5350 4844 176 443 0 4903 0
[pid=30101] ppid=29735 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30101/stat : 30101 (satsolver.sh) S 29735 29734 9019 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387487433 9367552 267 33554432000 4194304 5064252 140734976554640 140734976553552 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30101/statm: 2287 267 226 213 0 72 0
[pid=30102] ppid=30101 vsize=51360 CPUtime=1.51 cores=0,2,4,6
/proc/30102/stat : 30102 (glucose) R 30101 29734 9019 0 -1 4202496 11333 0 0 0 149 2 0 0 20 0 1 0 387487434 52592640 11468 33554432000 4194304 5208918 140736719938656 140736719936504 4229319 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30102/statm: 12840 11468 95 248 0 12589 0
Current children cumulated CPU time (s) 101.03
Current children cumulated vsize (KiB) 91056

[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 30277
/proc/meminfo: memFree=30575832/32873648 swapFree=7124/7124
[pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29734/statm: 2287 275 233 213 0 72 0
[pid=29735] ppid=29734 vsize=21400 CPUtime=158.55 cores=0,2,4,6
/proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 158323 1068801 0 0 543 64 14292 956 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 5 0 0
/proc/29735/statm: 5350 4844 176 443 0 4903 0
[pid=30276] ppid=29735 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30276/stat : 30276 (satsolver.sh) S 29735 29734 9019 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387493393 9367552 267 33554432000 4194304 5064252 140733566772832 140733566771744 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30276/statm: 2287 267 226 213 0 72 0
[pid=30277] ppid=30276 vsize=51360 CPUtime=1.91 cores=0,2,4,6
/proc/30277/stat : 30277 (glucose) R 30276 29734 9019 0 -1 4202496 11365 0 0 0 189 2 0 0 20 0 1 0 387493393 52592640 11490 33554432000 4194304 5208918 140736711550720 140736711548568 4229021 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30277/statm: 12840 11490 95 248 0 12589 0
Current children cumulated CPU time (s) 160.46
Current children cumulated vsize (KiB) 91056

[startup+222.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 30466
/proc/meminfo: memFree=30655092/32873648 swapFree=7124/7124
[pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29734/statm: 2287 275 233 213 0 72 0
[pid=29735] ppid=29734 vsize=21400 CPUtime=219.05 cores=0,2,4,6
/proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 217941 1480843 0 0 756 89 19718 1342 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 6 0 0
/proc/29735/statm: 5350 4844 176 443 0 4903 0
[pid=30465] ppid=29735 vsize=9148 CPUtime=0 cores=0,2,4,6

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

Current children cumulated CPU time (s) 1410.69
Current children cumulated vsize (KiB) 90920

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.31 2/174 2971
/proc/meminfo: memFree=30837464/32873648 swapFree=7124/7124
[pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29734/statm: 2287 275 233 213 0 72 0
[pid=29735] ppid=29734 vsize=21400 CPUtime=1470.41 cores=0,2,4,6
/proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 1440117 9965352 0 0 5042 596 132382 9021 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 70 0 0
/proc/29735/statm: 5350 4844 176 443 0 4903 0
Current children cumulated CPU time (s) 1470.41
Current children cumulated vsize (KiB) 30548

[startup+1542.31 s]
/proc/loadavg: 0.96 1.00 1.28 2/175 3156
/proc/meminfo: memFree=30837484/32873648 swapFree=7124/7124
[pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29734/statm: 2287 275 233 213 0 72 0
[pid=29735] ppid=29734 vsize=21400 CPUtime=1529.06 cores=0,2,4,6
/proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 1499728 10373155 0 0 5257 622 137639 9388 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 74 0 0
/proc/29735/statm: 5350 4844 176 443 0 4903 0
[pid=3155] ppid=29735 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3155/stat : 3155 (satsolver.sh) S 29735 29734 9019 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387631468 9367552 267 33554432000 4194304 5064252 140734758582368 140734758581280 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3155/statm: 2287 267 226 213 0 72 0
[pid=3156] ppid=3155 vsize=51356 CPUtime=1.17 cores=0,2,4,6
/proc/3156/stat : 3156 (glucose) R 3155 29734 9019 0 -1 4202496 11327 0 0 0 116 1 0 0 20 0 1 0 387631469 52588544 11448 33554432000 4194304 5208918 140734119920160 140734119918008 4205128 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3156/statm: 12839 11448 95 248 0 12588 0
Current children cumulated CPU time (s) 1530.23
Current children cumulated vsize (KiB) 91052

[startup+1602.3 s]
/proc/loadavg: 0.98 1.00 1.26 2/174 3331
/proc/meminfo: memFree=30836952/32873648 swapFree=7124/7124
[pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29734/statm: 2287 275 233 213 0 72 0
[pid=29735] ppid=29734 vsize=21400 CPUtime=1589.71 cores=0,2,4,6
/proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 1559346 10788996 0 0 5464 646 143089 9772 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 78 0 0
/proc/29735/statm: 5350 4844 176 443 0 4903 0
Current children cumulated CPU time (s) 1589.71
Current children cumulated vsize (KiB) 30548

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.25 2/174 3514
/proc/meminfo: memFree=30836464/32873648 swapFree=7124/7124
[pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29734/statm: 2287 275 233 213 0 72 0
[pid=29735] ppid=29734 vsize=21400 CPUtime=1647.95 cores=0,2,4,6
/proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 1616671 11187110 0 0 5671 670 148324 10130 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 83 0 0
/proc/29735/statm: 5350 4844 176 443 0 4903 0
[pid=3513] ppid=29735 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3513/stat : 3513 (satsolver.sh) S 29735 29734 9019 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387643395 9367552 267 33554432000 4194304 5064252 140733940552768 140733940551680 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3513/statm: 2287 267 226 213 0 72 0
[pid=3514] ppid=3513 vsize=51628 CPUtime=1.89 cores=0,2,4,6
/proc/3514/stat : 3514 (glucose) R 3513 29734 9019 0 -1 4202496 11136 0 0 0 187 2 0 0 20 0 1 0 387643396 52867072 11800 33554432000 4194304 5208918 140733908145824 140733908143672 4607488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3514/statm: 12907 11800 105 248 0 12656 0
Current children cumulated CPU time (s) 1649.84
Current children cumulated vsize (KiB) 91324

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.23 2/174 3696
/proc/meminfo: memFree=30836588/32873648 swapFree=7124/7124
[pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29734/statm: 2287 275 233 213 0 72 0
[pid=29735] ppid=29734 vsize=21400 CPUtime=1708.51 cores=0,2,4,6
/proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 1676289 11601547 0 0 5877 695 153770 10509 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 88 0 0
/proc/29735/statm: 5350 4844 176 443 0 4903 0
[pid=3695] ppid=29735 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3695/stat : 3695 (satsolver.sh) S 29735 29734 9019 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387649469 9367552 267 33554432000 4194304 5064252 140737077507024 140737077505936 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3695/statm: 2287 267 226 213 0 72 0
[pid=3696] ppid=3695 vsize=51352 CPUtime=1.15 cores=0,2,4,6
/proc/3696/stat : 3696 (glucose) R 3695 29734 9019 0 -1 4202496 10988 0 0 0 114 1 0 0 20 0 1 0 387649470 52584448 11665 33554432000 4194304 5208918 140736269308272 140736269306120 4212703 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3696/statm: 12838 11665 95 248 0 12587 0
Current children cumulated CPU time (s) 1709.66
Current children cumulated vsize (KiB) 91048

[startup+1782.3 s]
/proc/loadavg: 1.11 1.03 1.22 2/174 3878
/proc/meminfo: memFree=30841320/32873648 swapFree=7124/7124
[pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29734/statm: 2287 275 233 213 0 72 0
[pid=29735] ppid=29734 vsize=21400 CPUtime=1769.1 cores=0,2,4,6
/proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 1735907 12017319 0 0 6084 719 159211 10896 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 93 0 0
/proc/29735/statm: 5350 4844 176 443 0 4903 0
[pid=3877] ppid=29735 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3877/stat : 3877 (satsolver.sh) S 29735 29734 9019 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387655544 9367552 267 33554432000 4194304 5064252 140736683657056 140736683655968 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3877/statm: 2287 267 226 213 0 72 0
[pid=3878] ppid=3877 vsize=51224 CPUtime=0.4 cores=0,2,4,6
/proc/3878/stat : 3878 (glucose) R 3877 29734 9019 0 -1 4202496 11061 0 0 0 39 1 0 0 20 0 1 0 387655544 52453376 11690 33554432000 4194304 5208918 140734670763664 140734670761608 4213121 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3878/statm: 12806 11690 95 248 0 12555 0
Current children cumulated CPU time (s) 1769.5
Current children cumulated vsize (KiB) 90920

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

[startup+1804.7 s]
/proc/loadavg: 1.08 1.03 1.22 2/174 3941
/proc/meminfo: memFree=30837004/32873648 swapFree=7124/7124
[pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29734/statm: 2287 275 233 213 0 72 0
[pid=29735] ppid=29734 vsize=21400 CPUtime=1789.94 cores=0,2,4,6
/proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 1756544 12159559 0 0 6159 727 161082 11026 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 96 0 0
/proc/29735/statm: 5350 4844 176 443 0 4903 0
[pid=3940] ppid=29735 vsize=0 CPUtime=1.94 cores=0,2,4,6
/proc/3940/stat : 3940 (satsolver.sh) Z 29735 29734 9019 0 -1 4202508 606 11399 0 0 0 0 192 2 20 0 1 0 387657631 0 0 33554432000 0 0 0 0 0 0 0 4100 65536 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3940/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1791.88
Current children cumulated vsize (KiB) 30548

[startup+1804.8 s]
/proc/loadavg: 1.08 1.03 1.22 2/174 3941
/proc/meminfo: memFree=30837004/32873648 swapFree=7124/7124
[pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29734/statm: 2287 275 233 213 0 72 0
[pid=29735] ppid=29734 vsize=21400 CPUtime=1791.88 cores=0,2,4,6
/proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 1756551 12171564 0 0 6159 727 161274 11028 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 96 0 0
/proc/29735/statm: 5350 4844 176 443 0 4903 0
Current children cumulated CPU time (s) 1791.88
Current children cumulated vsize (KiB) 30548
#
############




Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812.91 s]
/proc/loadavg: 1.07 1.03 1.21 2/174 3969
/proc/meminfo: memFree=30838604/32873648 swapFree=7124/7124
[pid=29734] ppid=29732 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29734/stat : 29734 (npSolver-wbo-It) S 29732 29734 9019 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387477355 9367552 275 33554432000 4194304 5064252 140735013930224 140735013929136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29734/statm: 2287 275 233 213 0 72 0
[pid=29735] ppid=29734 vsize=21400 CPUtime=1799.19 cores=0,2,4,6
/proc/29735/stat : 29735 (npSolver-wbo) S 29734 29734 9019 0 -1 4202496 1765716 12222044 0 0 6190 732 161912 11085 20 0 1 0 387477356 21913600 4844 33554432000 4194304 6006132 140733475550288 140733475541648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 96 0 0
/proc/29735/statm: 5350 4844 176 443 0 4903 0
[pid=3968] ppid=29735 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3968/stat : 3968 (satsolver.sh) S 29735 29734 9019 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387658556 9367552 266 33554432000 4194304 5064252 140735372118912 140735372117824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3968/statm: 2287 266 226 213 0 72 0
[pid=3969] ppid=3968 vsize=51360 CPUtime=0.89 cores=0,2,4,6
/proc/3969/stat : 3969 (glucose) R 3968 29734 9019 0 -1 4202496 10946 0 0 0 87 2 0 0 20 0 1 0 387658556 52592640 11630 33554432000 4194304 5208918 140733675345776 140733675343720 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3969/statm: 12840 11630 95 248 0 12589 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 91056

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.00012207
#  lost CPU user time (s): 0.00012207
#  lost CPU system time (s): -7.62939e-06

Real time (s): 1812.92
CPU time (s): 1800.12
CPU user time (s): 1681.92
CPU system time (s): 118.205
CPU usage (%): 99.2943
Max. virtual memory (cumulated for all children) (KiB): 91324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1681.92
system time used= 118.205
maximum resident set size= 47412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13999695
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10592136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 204679
involuntary context switches= 12896

runsolver used 5.35019 second user time and 13.451 second system time

The end

Launcher Data 

Begin job on node114 at 2012-06-09 05:45:00
IDJOB=3752747
IDBENCH=79632
IDSOLVER=2336
FILE ID=node114/3752747-1339213500
RUNJOBID= node114-1339204496-9035
PBS_JOBID= 14643855
Free space on /tmp= 70648 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/logistics/normalized-logistics01bc_wcsp.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3752747-1339213500/watcher-3752747-1339213500 -o /tmp/evaluation-result-3752747-1339213500/solver-3752747-1339213500 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752747-1339213500.wbo 197088482 HOME HOME

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

MD5SUM BENCH= 673b76ee48b71431b264d23912de8dfb
RANDOM SEED=197088482

node114.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.242
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.242
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.242
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	: 5451.90
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.242
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.242
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.242
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.242
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.242
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:       32873648 kB
MemFree:        30459692 kB
Buffers:          545900 kB
Cached:           503932 kB
SwapCached:         2464 kB
Active:          1059128 kB
Inactive:         392396 kB
Active(anon):     399544 kB
Inactive(anon):     4632 kB
Active(file):     659584 kB
Inactive(file):   387764 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67099604 kB
Dirty:              8584 kB
Writeback:             0 kB
AnonPages:        390248 kB
Mapped:            10316 kB
Shmem:                 0 kB
Slab:             821828 kB
SReclaimable:     265740 kB
SUnreclaim:       556088 kB
KernelStack:        1520 kB
PageTables:         4952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     553324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    329728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70692 MiB
End job on node114 at 2012-06-09 06:15:13