Trace number 3715121

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topDownOPTIMUM 612.365 614.95

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.01	c run usual solver
0.00/0.06	o 3234
0.00/0.06	c fallback to adder encoding
2.08/2.19	o 3227
2.08/2.19	c fallback to adder encoding
3.88/4.03	o 3218
3.88/4.03	c fallback to adder encoding
6.25/6.48	o 3217
6.25/6.48	c fallback to adder encoding
8.57/8.70	o 3216
8.57/8.70	c fallback to adder encoding
10.95/11.17	o 3211
10.95/11.17	c fallback to adder encoding
13.36/13.54	o 3175
13.36/13.54	c fallback to adder encoding
14.95/15.19	o 3167
14.95/15.19	c fallback to adder encoding
17.54/17.75	o 3077
17.54/17.75	c fallback to adder encoding
20.04/20.24	o 3072
20.04/20.24	c fallback to adder encoding
21.86/22.10	o 3069
21.86/22.10	c fallback to adder encoding
23.39/23.63	o 3067
23.39/23.63	c fallback to adder encoding
24.99/25.29	o 3061
24.99/25.29	c fallback to adder encoding
26.52/26.82	o 3055
26.52/26.82	c fallback to adder encoding
28.92/29.28	o 3053
28.92/29.28	c fallback to adder encoding
30.81/31.12	o 3051
30.81/31.12	c fallback to adder encoding
33.12/33.47	o 3050
33.12/33.47	c fallback to adder encoding
33.73/34.03	o 3049
33.73/34.03	c fallback to adder encoding
35.81/36.15	o 3016
35.81/36.15	c fallback to adder encoding
37.40/37.77	o 3010
37.40/37.77	c fallback to adder encoding
39.61/39.96	o 3008
39.61/39.96	c fallback to adder encoding
41.98/42.31	o 3007
41.98/42.31	c fallback to adder encoding
43.49/43.81	o 3004
43.49/43.81	c fallback to adder encoding
45.50/45.84	o 2995
45.50/45.84	c fallback to adder encoding
48.89/49.28	o 2994
48.89/49.28	c fallback to adder encoding
52.95/53.35	o 2969
52.95/53.35	c fallback to adder encoding
54.00/54.40	o 2927
54.00/54.40	c fallback to adder encoding
55.28/55.79	o 2913
55.28/55.79	c fallback to adder encoding
58.07/58.52	o 2906
58.07/58.52	c fallback to adder encoding
59.28/59.77	o 2900
59.28/59.77	c fallback to adder encoding
61.47/61.95	o 2899
61.47/61.95	c fallback to adder encoding
63.47/63.98	o 2893
63.47/63.98	c fallback to adder encoding
65.81/66.32	o 2889
65.81/66.32	c fallback to adder encoding
68.82/69.33	o 2848
68.82/69.33	c fallback to adder encoding
70.61/71.18	o 2844
70.61/71.18	c fallback to adder encoding
72.68/73.20	o 2842
72.68/73.20	c fallback to adder encoding
74.82/75.34	o 2840
74.82/75.34	c fallback to adder encoding
77.42/77.94	o 2833
77.42/77.94	c fallback to adder encoding
80.72/81.24	o 2826
80.72/81.24	c fallback to adder encoding
82.28/82.80	o 2823
82.28/82.80	c fallback to adder encoding
84.92/85.48	o 2820
84.92/85.48	c fallback to adder encoding
86.62/87.17	o 2817
86.62/87.17	c fallback to adder encoding
88.21/88.73	o 2816
88.21/88.73	c fallback to adder encoding
90.62/91.18	o 2813
90.62/91.18	c fallback to adder encoding
92.72/93.25	o 2793
92.72/93.25	c fallback to adder encoding
94.73/95.26	o 2789
94.73/95.26	c fallback to adder encoding
96.91/97.47	o 2781
96.91/97.47	c fallback to adder encoding
98.72/99.26	o 2753
98.72/99.26	c fallback to adder encoding
100.49/101.00	o 2751
100.49/101.00	c fallback to adder encoding
102.60/103.12	o 2750
102.60/103.12	c fallback to adder encoding
105.19/105.72	o 2731
105.19/105.72	c fallback to adder encoding
107.89/108.42	o 2721
107.89/108.42	c fallback to adder encoding
110.88/111.41	o 2720
110.88/111.41	c fallback to adder encoding
112.90/113.49	o 2719
112.90/113.49	c fallback to adder encoding
115.00/115.56	o 2718
115.00/115.56	c fallback to adder encoding
118.29/118.82	o 2712
118.29/118.82	c fallback to adder encoding
120.20/120.73	o 2711
120.20/120.73	c fallback to adder encoding
123.61/124.15	o 2707
123.61/124.15	c fallback to adder encoding
126.79/127.32	o 2692
126.79/127.32	c fallback to adder encoding
129.29/129.81	o 2691
129.29/129.81	c fallback to adder encoding
130.71/131.25	o 2565
130.71/131.25	c fallback to adder encoding
134.01/134.56	o 2562
134.01/134.56	c fallback to adder encoding
136.80/137.32	o 2561
136.80/137.32	c fallback to adder encoding
138.82/139.39	o 2560
138.82/139.39	c fallback to adder encoding
140.81/141.33	o 2548
140.81/141.33	c fallback to adder encoding
142.92/143.46	o 2545
142.92/143.46	c fallback to adder encoding
145.12/145.63	o 2544
145.12/145.63	c fallback to adder encoding
146.71/147.21	o 2543
146.71/147.21	c fallback to adder encoding
149.03/149.58	o 2539
149.03/149.58	c fallback to adder encoding
151.32/151.86	o 2531
151.32/151.86	c fallback to adder encoding
154.39/154.90	o 2519
154.39/154.90	c fallback to adder encoding
156.17/156.74	o 2518
156.17/156.74	c fallback to adder encoding
158.96/159.59	o 2515
158.96/159.59	c fallback to adder encoding
161.81/162.45	o 2514
161.81/162.45	c fallback to adder encoding
163.86/164.54	o 2513
163.86/164.54	c fallback to adder encoding
166.03/166.71	o 2302
166.03/166.71	c fallback to adder encoding
168.05/168.76	o 2299
168.05/168.76	c fallback to adder encoding
170.35/171.03	o 2298
170.35/171.03	c fallback to adder encoding
172.45/173.18	o 2294
172.45/173.18	c fallback to adder encoding
174.55/175.25	o 2292
174.55/175.25	c fallback to adder encoding
176.74/177.42	o 2291
176.74/177.42	c fallback to adder encoding
178.66/179.37	o 2290
178.66/179.37	c fallback to adder encoding
180.16/180.84	o 2259
180.16/180.84	c fallback to adder encoding
182.25/182.96	o 2243
182.25/182.96	c fallback to adder encoding
184.24/184.97	o 2242
184.24/184.97	c fallback to adder encoding
186.36/187.07	o 2241
186.36/187.07	c fallback to adder encoding
188.84/189.57	o 2236
188.84/189.57	c fallback to adder encoding
191.51/192.20	o 2235
191.51/192.20	c fallback to adder encoding
194.06/194.74	o 2234
194.06/194.74	c fallback to adder encoding
196.25/197.01	o 2233
196.25/197.01	c fallback to adder encoding
198.76/199.55	o 2232
198.76/199.55	c fallback to adder encoding
200.97/201.70	o 2231
200.97/201.70	c fallback to adder encoding
202.94/203.71	o 2215
202.94/203.71	c fallback to adder encoding
204.96/205.73	o 2209
204.96/205.73	c fallback to adder encoding
207.35/208.14	o 2208
207.35/208.14	c fallback to adder encoding
209.40/210.24	o 2207
209.40/210.24	c fallback to adder encoding
211.69/212.55	o 2203
211.69/212.55	c fallback to adder encoding
214.90/215.79	o 2200
214.90/215.79	c fallback to adder encoding
216.70/217.58	o 2199
216.70/217.58	c fallback to adder encoding
219.38/220.21	o 2198
219.38/220.21	c fallback to adder encoding
221.50/222.30	o 2197
221.50/222.30	c fallback to adder encoding
223.10/223.93	o 2188
223.10/223.93	c fallback to adder encoding
225.31/226.14	o 2182
225.31/226.14	c fallback to adder encoding
228.27/229.11	o 2179
228.27/229.11	c fallback to adder encoding
232.19/233.03	o 2177
232.19/233.03	c fallback to adder encoding
235.09/235.98	o 2176
235.09/235.98	c fallback to adder encoding
237.19/238.03	o 2170
237.19/238.03	c fallback to adder encoding
238.79/239.65	o 2169
238.79/239.65	c fallback to adder encoding
240.40/241.24	o 2168
240.40/241.24	c fallback to adder encoding
242.21/243.09	o 2167
242.21/243.09	c fallback to adder encoding
244.52/245.41	o 2145
244.52/245.41	c fallback to adder encoding
247.85/248.74	o 2137
247.85/248.74	c fallback to adder encoding
250.14/251.02	o 2093
250.14/251.02	c fallback to adder encoding
252.42/253.31	o 2091
252.42/253.31	c fallback to adder encoding
255.16/256.07	o 2088
255.16/256.07	c fallback to adder encoding
258.16/259.08	o 2087
258.16/259.08	c fallback to adder encoding
260.96/261.86	o 2082
260.96/261.86	c fallback to adder encoding
263.45/264.35	o 2081
263.45/264.35	c fallback to adder encoding
266.85/267.73	o 2073
266.85/267.73	c fallback to adder encoding
269.14/270.06	o 2072
269.14/270.06	c fallback to adder encoding
272.82/273.71	o 2067
272.82/273.71	c fallback to adder encoding
275.45/276.35	o 2066
275.45/276.35	c fallback to adder encoding
277.94/278.87	o 2055
277.94/278.87	c fallback to adder encoding
281.23/282.12	o 2054
281.23/282.12	c fallback to adder encoding
284.43/285.33	o 2051
284.43/285.33	c fallback to adder encoding
286.85/287.74	o 2049
286.85/287.74	c fallback to adder encoding
289.45/290.32	o 2048
289.45/290.32	c fallback to adder encoding
290.11/291.00	o 2020
290.11/291.00	c fallback to adder encoding
292.82/293.71	o 2019
292.82/293.71	c fallback to adder encoding
294.73/295.68	o 2018
294.73/295.68	c fallback to adder encoding
296.44/297.34	o 2009
296.44/297.34	c fallback to adder encoding
298.63/299.51	o 2000
298.63/299.51	c fallback to adder encoding
299.64/300.55	o 1999
299.64/300.55	c fallback to adder encoding
301.14/302.05	o 1994
301.14/302.05	c fallback to adder encoding
303.24/304.18	o 1993
303.24/304.18	c fallback to adder encoding
305.15/306.06	o 1992
305.15/306.06	c fallback to adder encoding
308.15/309.10	o 1991
308.15/309.10	c fallback to adder encoding
310.25/311.13	o 1956
310.25/311.13	c fallback to adder encoding
312.54/313.43	o 1955
312.54/313.43	c fallback to adder encoding
314.33/315.28	o 1922
314.33/315.28	c fallback to adder encoding
316.04/316.90	o 1921
316.04/316.90	c fallback to adder encoding
317.64/318.57	o 1918
317.64/318.57	c fallback to adder encoding
320.08/321.05	o 1916
320.08/321.05	c fallback to adder encoding
322.29/323.27	o 1913
322.29/323.27	c fallback to adder encoding
324.18/325.17	o 1912
324.18/325.17	c fallback to adder encoding
326.07/327.02	o 1895
326.07/327.02	c fallback to adder encoding
328.11/329.00	o 1892
328.11/329.00	c fallback to adder encoding
329.79/330.76	o 1889
329.79/330.76	c fallback to adder encoding
331.59/332.53	o 1883
331.59/332.53	c fallback to adder encoding
334.50/335.47	o 1870
334.50/335.47	c fallback to adder encoding
335.18/336.18	o 1861
335.18/336.18	c fallback to adder encoding
337.51/338.52	o 1858
337.51/338.52	c fallback to adder encoding
338.84/339.88	o 1857
338.84/339.88	c fallback to adder encoding
340.32/341.37	o 1856
340.32/341.37	c fallback to adder encoding
343.12/344.11	o 1855
343.12/344.11	c fallback to adder encoding
345.43/346.52	o 1854
345.43/346.52	c fallback to adder encoding
347.10/348.28	o 1846
347.10/348.28	c fallback to adder encoding
348.70/349.86	o 1844
348.70/349.86	c fallback to adder encoding
349.81/350.96	o 1834
349.81/350.96	c fallback to adder encoding
353.18/354.31	o 1833
353.18/354.31	c fallback to adder encoding
355.99/357.11	o 1829
355.99/357.11	c fallback to adder encoding
357.60/358.76	o 1828
357.60/358.76	c fallback to adder encoding
359.12/360.25	o 1826
359.12/360.25	c fallback to adder encoding
361.41/362.53	o 1824
361.41/362.53	c fallback to adder encoding
362.80/363.91	o 1823
362.80/363.91	c fallback to adder encoding
364.47/365.64	o 1821
364.47/365.64	c fallback to adder encoding
366.37/367.59	o 1815
366.37/367.59	c fallback to adder encoding
367.69/368.97	o 1749
367.69/368.97	c fallback to adder encoding
369.75/371.01	o 1748
369.75/371.01	c fallback to adder encoding
371.47/372.74	o 1743
371.47/372.74	c fallback to adder encoding
371.58/373.24	o 1738
371.58/373.24	c fallback to adder encoding
373.96/375.22	o 1445
373.96/375.22	c fallback to adder encoding
376.25/377.52	o 1441
376.25/377.52	c fallback to adder encoding
378.55/379.83	o 1434
378.55/379.83	c fallback to adder encoding
380.55/381.85	o 1433
380.55/381.85	c fallback to adder encoding
382.56/383.88	o 1432
382.56/383.88	c fallback to adder encoding
384.37/385.60	o 1425
384.37/385.60	c fallback to adder encoding
386.75/388.06	o 1424
386.75/388.06	c fallback to adder encoding
389.18/390.44	o 1423
389.18/390.44	c fallback to adder encoding
391.25/392.59	o 1419
391.25/392.59	c fallback to adder encoding
394.15/395.45	o 1418
394.15/395.45	c fallback to adder encoding
396.29/397.67	o 1417
396.29/397.67	c fallback to adder encoding
399.14/400.56	o 1412
399.14/400.56	c fallback to adder encoding
401.27/402.70	o 1409
401.27/402.70	c fallback to adder encoding
403.34/404.81	o 1367
403.34/404.81	c fallback to adder encoding
404.85/406.33	o 1366
404.85/406.33	c fallback to adder encoding
406.82/408.33	o 1361
406.82/408.33	c fallback to adder encoding
409.96/411.53	o 1360
409.96/411.53	c fallback to adder encoding
411.85/413.43	o 1357
411.85/413.43	c fallback to adder encoding
414.46/416.08	o 1356
414.46/416.08	c fallback to adder encoding
415.84/417.41	o 1355
415.84/417.41	c fallback to adder encoding
418.66/420.25	o 1348
418.66/420.25	c fallback to adder encoding
421.04/422.60	o 1336
421.04/422.60	c fallback to adder encoding
422.08/423.70	o 1329
422.08/423.70	c fallback to adder encoding
423.78/425.44	o 1328
423.78/425.44	c fallback to adder encoding
425.68/427.39	o 1323
425.68/427.39	c fallback to adder encoding
428.17/429.84	o 1322
428.17/429.84	c fallback to adder encoding
430.76/432.44	o 1311
430.76/432.44	c fallback to adder encoding
432.64/434.31	o 1303
432.64/434.31	c fallback to adder encoding
434.36/436.04	o 1287
434.36/436.04	c fallback to adder encoding
436.25/437.92	o 1286
436.25/437.92	c fallback to adder encoding
438.27/439.90	o 1283
438.27/439.90	c fallback to adder encoding
439.94/441.65	o 1282
439.94/441.65	c fallback to adder encoding
442.04/443.72	o 1281
442.04/443.72	c fallback to adder encoding
444.03/445.76	o 1280
444.03/445.76	c fallback to adder encoding
445.75/447.40	o 1278
445.75/447.40	c fallback to adder encoding
447.73/449.47	o 1277
447.73/449.47	c fallback to adder encoding
449.35/451.07	o 1275
449.35/451.07	c fallback to adder encoding
451.05/452.77	o 1274
451.05/452.77	c fallback to adder encoding
452.57/454.31	o 1269
452.57/454.31	c fallback to adder encoding
454.75/456.58	o 1266
454.75/456.58	c fallback to adder encoding
457.14/458.93	o 1162
457.14/458.93	c fallback to adder encoding
459.22/461.01	o 1159
459.22/461.01	c fallback to adder encoding
460.94/462.74	o 1158
460.94/462.74	c fallback to adder encoding
462.81/464.61	o 1153
462.81/464.61	c fallback to adder encoding
465.22/467.05	o 1150
465.22/467.05	c fallback to adder encoding
468.00/469.85	o 1139
468.00/469.85	c fallback to adder encoding
469.39/471.24	o 1112
469.39/471.24	c fallback to adder encoding
471.07/472.99	o 1110
471.07/472.99	c fallback to adder encoding
472.49/474.34	o 1102
472.49/474.34	c fallback to adder encoding
473.57/475.49	o 1101
473.57/475.49	c fallback to adder encoding
476.07/477.91	o 1094
476.07/477.91	c fallback to adder encoding
478.17/480.05	o 1092
478.17/480.05	c fallback to adder encoding
480.87/482.77	o 1090
480.87/482.77	c fallback to adder encoding
483.17/485.04	o 1082
483.17/485.04	c fallback to adder encoding
485.46/487.36	o 1080
485.46/487.36	c fallback to adder encoding
486.75/488.64	o 1075
486.75/488.64	c fallback to adder encoding
489.23/491.17	o 1074
489.23/491.17	c fallback to adder encoding
491.93/493.81	o 1073
491.93/493.81	c fallback to adder encoding
494.01/495.91	o 1072
494.01/495.91	c fallback to adder encoding
495.43/497.39	o 1069
495.43/497.39	c fallback to adder encoding
497.73/499.63	o 1068
497.73/499.63	c fallback to adder encoding
499.42/501.31	o 1058
499.42/501.31	c fallback to adder encoding
501.72/503.69	o 1057
501.72/503.69	c fallback to adder encoding
502.88/504.82	o 1056
502.88/504.82	c fallback to adder encoding
504.15/506.19	o 1055
504.15/506.19	c fallback to adder encoding
505.94/507.96	o 1051
505.94/507.96	c fallback to adder encoding
507.65/509.60	o 1048
507.65/509.60	c fallback to adder encoding
509.12/511.15	o 1037
509.12/511.15	c fallback to adder encoding
510.93/512.91	o 1032
510.93/512.91	c fallback to adder encoding
512.33/514.32	o 1031
512.33/514.32	c fallback to adder encoding
513.94/515.99	o 1030
513.94/515.99	c fallback to adder encoding
517.04/519.04	o 1029
517.04/519.04	c fallback to adder encoding
518.83/520.88	o 1027
518.83/520.88	c fallback to adder encoding
520.92/522.92	o 1026
520.92/522.92	c fallback to adder encoding
522.94/524.90	o 1025
522.94/524.90	c fallback to adder encoding
524.51/526.57	o 1020
524.51/526.57	c fallback to adder encoding
525.01/527.08	o 1011
525.01/527.08	c fallback to adder encoding
527.36/529.41	o 992
527.36/529.41	c fallback to adder encoding
528.63/530.78	o 986
528.63/530.78	c fallback to adder encoding
530.36/532.46	o 983
530.36/532.46	c fallback to adder encoding
531.34/533.47	o 977
531.34/533.47	c fallback to adder encoding
533.04/535.20	o 945
533.04/535.20	c fallback to adder encoding
534.37/536.56	o 944
534.37/536.56	c fallback to adder encoding
536.15/538.32	o 942
536.15/538.32	c fallback to adder encoding
537.54/539.71	o 941
537.54/539.71	c fallback to adder encoding
538.65/540.86	o 936
538.65/540.86	c fallback to adder encoding
540.35/542.52	o 929
540.35/542.52	c fallback to adder encoding
541.35/543.56	o 928
541.35/543.56	c fallback to adder encoding
543.04/545.21	o 924
543.04/545.21	c fallback to adder encoding
544.23/546.43	o 923
544.23/546.43	c fallback to adder encoding
545.63/547.88	o 921
545.63/547.88	c fallback to adder encoding
546.71/548.93	o 920
546.71/548.93	c fallback to adder encoding
548.32/550.54	o 915
548.32/550.54	c fallback to adder encoding
549.52/551.79	o 914
549.52/551.79	c fallback to adder encoding
550.12/552.43	o 908
550.12/552.43	c fallback to adder encoding
551.69/554.01	o 900
551.69/554.01	c fallback to adder encoding
553.80/556.19	o 899
553.80/556.19	c fallback to adder encoding
555.11/557.47	o 898
555.11/557.47	c fallback to adder encoding
556.31/558.63	o 829
556.31/558.63	c fallback to adder encoding
557.08/559.45	o 820
557.08/559.45	c fallback to adder encoding
558.20/560.58	o 815
558.20/560.58	c fallback to adder encoding
559.19/561.57	o 811
559.19/561.57	c fallback to adder encoding
560.09/562.42	o 798
560.09/562.42	c fallback to adder encoding
560.17/563.07	o 784
560.17/563.07	c fallback to adder encoding
561.78/564.12	o 782
561.78/564.12	c fallback to adder encoding
562.79/565.18	o 771
562.79/565.18	c fallback to adder encoding
563.69/566.05	o 770
563.69/566.05	c fallback to adder encoding
564.66/567.01	o 769
564.66/567.01	c fallback to adder encoding
566.29/568.60	o 768
566.29/568.60	c fallback to adder encoding
566.33/569.56	o 767
566.33/569.56	c fallback to adder encoding
567.96/570.37	o 762
567.96/570.37	c fallback to adder encoding
568.97/571.35	o 761
568.97/571.35	c fallback to adder encoding
569.98/572.35	o 760
569.98/572.35	c fallback to adder encoding
570.97/573.35	o 753
570.97/573.35	c fallback to adder encoding
572.06/574.45	o 746
572.06/574.45	c fallback to adder encoding
572.87/575.30	o 742
572.87/575.30	c fallback to adder encoding
573.64/576.01	o 737
573.64/576.01	c fallback to adder encoding
574.55/576.91	o 736
574.55/576.91	c fallback to adder encoding
575.17/577.57	o 733
575.17/577.57	c fallback to adder encoding
575.28/578.24	o 726
575.28/578.24	c fallback to adder encoding
576.95/579.37	o 721
576.95/579.37	c fallback to adder encoding
577.66/580.04	o 720
577.66/580.04	c fallback to adder encoding
578.54/580.97	o 714
578.54/580.97	c fallback to adder encoding
579.55/581.94	o 709
579.55/581.94	c fallback to adder encoding
580.56/582.90	o 648
580.56/582.90	c fallback to adder encoding
581.55/583.92	o 644
581.55/583.92	c fallback to adder encoding
582.44/584.85	o 643
582.44/584.85	c fallback to adder encoding
583.35/585.72	o 636
583.35/585.72	c fallback to adder encoding
584.14/586.55	o 634
584.14/586.55	c fallback to adder encoding
585.13/587.58	o 633
585.13/587.58	c fallback to adder encoding
585.27/588.36	o 632
585.27/588.36	c fallback to adder encoding
586.74/589.18	o 631
586.74/589.18	c fallback to adder encoding
587.73/590.11	o 624
587.73/590.11	c fallback to adder encoding
588.42/590.82	o 622
588.42/590.82	c fallback to adder encoding
588.48/591.54	o 617
588.48/591.54	c fallback to adder encoding
589.80/592.20	o 616
589.80/592.20	c fallback to adder encoding
589.86/592.79	o 611
589.86/592.79	c fallback to adder encoding
590.44/593.85	o 603
590.44/593.85	c fallback to adder encoding
591.90/594.37	o 575
591.90/594.37	c fallback to adder encoding
592.03/594.86	o 562
592.03/594.86	c fallback to adder encoding
592.80/595.21	o 561
592.80/595.21	c fallback to adder encoding
592.85/595.95	o 560
592.85/595.95	c fallback to adder encoding
594.40/596.87	o 557
594.40/596.87	c fallback to adder encoding
595.19/597.61	o 553
595.19/597.61	c fallback to adder encoding
595.25/598.14	o 548
595.25/598.14	c fallback to adder encoding
596.40/598.80	o 546
596.40/598.80	c fallback to adder encoding
596.90/599.32	o 536
596.90/599.32	c fallback to adder encoding
597.70/600.12	o 535
597.70/600.12	c fallback to adder encoding
598.19/600.63	o 527
598.19/600.63	c fallback to adder encoding
598.26/601.27	o 526
598.26/601.27	c fallback to adder encoding
599.20/601.62	o 519
599.20/601.62	c fallback to adder encoding
599.24/602.68	o 518
599.24/602.68	c fallback to adder encoding
601.20/603.62	o 516
601.20/603.62	c fallback to adder encoding
601.78/604.27	o 513
601.78/604.27	c fallback to adder encoding
601.91/604.78	o 512
601.91/604.78	c fallback to adder encoding
602.59/605.05	o 510
602.59/605.05	c fallback to adder encoding
602.66/605.48	o 507
602.66/605.48	c fallback to adder encoding
603.37/605.90	o 504
603.37/605.90	c fallback to adder encoding
603.57/606.14	o 482
603.57/606.14	c fallback to adder encoding
603.63/606.65	o 481
603.63/606.65	c fallback to adder encoding
604.15/607.06	o 480
604.15/607.06	c fallback to adder encoding
604.86/607.49	o 474
604.86/607.49	c fallback to adder encoding
604.99/607.87	o 470
604.99/607.87	c fallback to adder encoding
605.65/608.27	o 467
605.65/608.27	c fallback to adder encoding
605.77/608.58	o 375
605.77/608.58	c fallback to adder encoding
606.08/608.85	o 360
606.08/608.85	c fallback to adder encoding
606.35/609.06	o 359
606.35/609.06	c fallback to adder encoding
606.56/609.28	o 355
606.56/609.28	c fallback to adder encoding
606.96/609.53	o 337
606.96/609.53	c fallback to adder encoding
607.27/609.81	o 333
607.27/609.81	c fallback to adder encoding
607.31/610.06	o 330
607.31/610.06	c fallback to adder encoding
607.55/610.32	o 321
608.03/610.74	o 318
608.46/611.24	o 310
608.89/611.67	o 297
609.27/612.03	o 291
609.62/612.38	o 283
609.98/612.69	o 280
610.26/613.00	o 244
610.52/613.22	o 239
610.73/613.44	o 222
610.93/613.62	o 200
611.08/613.77	o 194
611.22/613.90	o 189
611.36/614.02	o 175
611.47/614.14	o 170
611.58/614.24	o 161
611.69/614.34	o 142
611.77/614.42	o 126
611.77/614.49	o 120
611.90/614.55	o 117
611.98/614.62	o 112
611.98/614.67	o 103
612.09/614.72	o 77
612.09/614.75	o 70
612.09/614.78	o 64
612.20/614.81	o 63
612.20/614.84	o 54
612.20/614.86	o 28
612.20/614.88	o 20
612.20/614.90	o 11
612.30/614.91	o 7
612.30/614.93	o 6
612.30/614.94	c display solution
612.30/614.94	s OPTIMUM FOUND
612.30/614.94	v x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 x11 -x12 -x13 x14 -x15 x16 x17 -x18 x19 -x20 -x21 x22 -x23 x24 -x25 x26 -x27 x28 x29 -x30 x31 -x32 -x33 x34 x35 -x36 x37 -x38 x39 -x40 -x41 x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 -x57 x58 -x59 x60 x61 -x62 x63 -x64 x65 -x66 -x67 x68 x69 -x70 -x71 x72 x73 -x74 -x75 x76 x77 -x78 -x79 x80 -x81 x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 x91 -x92 -x93 x94 -x95 x96 -x97 x98 x99 -x100 -x101 x102 -x103 x104 x105 -x106 x107 -x108 x109 -x110 -x111 x112 -x113 x114 x115 -x116 x117 -x118 x119 -x120 -x121 x122 -x123 x124 x125 -x126 x127 -x128 -x129 x130 x131 -x132 x133 -x134 -x135 x136 x137 -x138 x139 -x140 -x141 x142 x143 -x144 x145 -x146 -x147 x148 -x149 x150 x151 -x152 -x153 x154 -x155 x156 x157 -x158 -x159 x160 x161 -x162 -x163 x164 x165 -x166 -x167 x168 x169 -x170 x171 -x172 -x173 x174 -x175 x176 x177 -x178 -x179 x180 -x181 x182 -x183 x184 -x185 x186 -x187 x188 x189 -x190 -x191 x192 -x193 x194 -x195 x196 -x197 x198 x199 -x200

Verifier Data 

OK	6

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1117
/proc/meminfo: memFree=30626324/32873844 swapFree=6600/6600
[pid=1117] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1117/stat : 1117 (npSolver-wbo-It) S 1115 1117 16422 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288717641 9367552 275 33554432000 4194304 5064252 140734890583296 140734890582208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1117/statm: 2287 275 233 213 0 72 0

[startup+0.0640461 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1117
/proc/meminfo: memFree=30626324/32873844 swapFree=6600/6600
[pid=1117] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1117/stat : 1117 (npSolver-wbo-It) S 1115 1117 16422 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288717641 9367552 275 33554432000 4194304 5064252 140734890583296 140734890582208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1117/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100281 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1117
/proc/meminfo: memFree=30626324/32873844 swapFree=6600/6600
[pid=1117] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1117/stat : 1117 (npSolver-wbo-It) S 1115 1117 16422 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288717641 9367552 275 33554432000 4194304 5064252 140734890583296 140734890582208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1117/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300286 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1117
/proc/meminfo: memFree=30626324/32873844 swapFree=6600/6600
[pid=1117] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1117/stat : 1117 (npSolver-wbo-It) S 1115 1117 16422 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288717641 9367552 275 33554432000 4194304 5064252 140734890583296 140734890582208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1117/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700249 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1117
/proc/meminfo: memFree=30626324/32873844 swapFree=6600/6600
[pid=1117] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1117/stat : 1117 (npSolver-wbo-It) S 1115 1117 16422 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288717641 9367552 275 33554432000 4194304 5064252 140734890583296 140734890582208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1117/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: 2.00 2.00 2.00 3/183 1131
/proc/meminfo: memFree=30600424/32873844 swapFree=6600/6600
[pid=1117] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1117/stat : 1117 (npSolver-wbo-It) S 1115 1117 16422 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288717641 9367552 275 33554432000 4194304 5064252 140734890583296 140734890582208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1117/statm: 2287 275 233 213 0 72 0
[pid=1118] ppid=1117 vsize=7208 CPUtime=0.11 cores=1,3,5,7
/proc/1118/stat : 1118 (npSolver-wbo) S 1117 1117 16422 0 -1 4202496 2446 5100 0 0 7 1 2 1 20 0 1 0 288717641 7380992 1383 33554432000 4194304 5990268 140733617262992 140733617254416 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1118/statm: 1802 1383 165 439 0 1359 0
[pid=1130] ppid=1118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1130/stat : 1130 (satsolver.sh) S 1118 1117 16422 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288717653 9367552 267 33554432000 4194304 5064252 140735940194512 140735940193424 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1130/statm: 2287 267 226 213 0 72 0
[pid=1131] ppid=1130 vsize=16712 CPUtime=1.36 cores=1,3,5,7
/proc/1131/stat : 1131 (glucose) R 1130 1117 16422 0 -1 4202496 3561 0 0 0 135 1 0 0 20 0 1 0 288717654 17113088 3554 33554432000 4194304 5208918 140733954240256 140733954238008 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1131/statm: 4178 3554 105 248 0 3927 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 42216

[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 1131
/proc/meminfo: memFree=30598812/32873844 swapFree=6600/6600
[pid=1117] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1117/stat : 1117 (npSolver-wbo-It) S 1115 1117 16422 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288717641 9367552 275 33554432000 4194304 5064252 140734890583296 140734890582208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1117/statm: 2287 275 233 213 0 72 0
[pid=1118] ppid=1117 vsize=11300 CPUtime=2.24 cores=1,3,5,7
/proc/1118/stat : 1118 (npSolver-wbo) S 1117 1117 16422 0 -1 4202496 4130 12431 0 0 13 2 204 5 20 0 1 0 288717641 11571200 2375 33554432000 4194304 5990268 140733617262992 140733617254416 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1118/statm: 2825 2375 166 439 0 2382 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 20448
heavy processes:

[startup+6.30041 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 1145
/proc/meminfo: memFree=30588452/32873844 swapFree=6600/6600
[pid=1117] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1117/stat : 1117 (npSolver-wbo-It) S 1115 1117 16422 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288717641 9367552 275 33554432000 4194304 5064252 140734890583296 140734890582208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1117/statm: 2287 275 233 213 0 72 0
[pid=1118] ppid=1117 vsize=11300 CPUtime=3.96 cores=1,3,5,7
/proc/1118/stat : 1118 (npSolver-wbo) S 1117 1117 16422 0 -1 4202496 5813 19286 0 0 20 3 365 8 20 0 1 0 288717641 11571200 2375 33554432000 4194304 5990268 140733617262992 140733617254416 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1118/statm: 2825 2375 166 439 0 2382 0
[pid=1144] ppid=1118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1144/stat : 1144 (satsolver.sh) S 1118 1117 16422 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288718051 9367552 266 33554432000 4194304 5064252 140736229990384 140736229989296 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1144/statm: 2287 266 226 213 0 72 0
[pid=1145] ppid=1144 vsize=16848 CPUtime=2.18 cores=1,3,5,7
/proc/1145/stat : 1145 (glucose) R 1144 1117 16422 0 -1 4202496 3716 0 0 0 218 0 0 0 20 0 1 0 288718051 17252352 3705 33554432000 4194304 5208918 140735796573136 140735796570888 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1145/statm: 4212 3705 105 248 0 3961 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 46444

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1178
/proc/meminfo: memFree=30627372/32873844 swapFree=6600/6600
[pid=1117] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1117/stat : 1117 (npSolver-wbo-It) S 1115 1117 16422 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288717641 9367552 275 33554432000 4194304 5064252 140734890583296 140734890582208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1117/statm: 2287 275 233 213 0 72 0
[pid=1118] ppid=1117 vsize=11300 CPUtime=11.1 cores=1,3,5,7
/proc/1118/stat : 1118 (npSolver-wbo) S 1117 1117 16422 0 -1 4202496 10861 42736 0 0 38 5 1046 21 20 0 1 0 288717641 11571200 2375 33554432000 4194304 5990268 140733617262992 140733617254416 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1118/statm: 2825 2375 166 439 0 2382 0
[pid=1172] ppid=1118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1172/stat : 1172 (satsolver.sh) S 1118 1117 16422 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288718765 9367552 267 33554432000 4194304 5064252 140736317557056 140736317555968 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1172/statm: 2287 267 226 213 0 72 0
[pid=1173] ppid=1172 vsize=16708 CPUtime=1.44 cores=1,3,5,7
/proc/1173/stat : 1173 (glucose) R 1172 1117 16422 0 -1 4202496 4151 0 0 0 143 1 0 0 20 0 1 0 288718765 17108992 3518 33554432000 4194304 5208918 140734704580032 140734704577880 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1173/statm: 4177 3518 105 248 0 3926 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 46304

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 1239
/proc/meminfo: memFree=30605876/32873844 swapFree=6600/6600
[pid=1117] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1117/stat : 1117 (npSolver-wbo-It) S 1115 1117 16422 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288717641 9367552 275 33554432000 4194304 5064252 140734890583296 140734890582208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1117/statm: 2287 275 233 213 0 72 0
[pid=1118] ppid=1117 vsize=11300 CPUtime=25.1 cores=1,3,5,7
/proc/1118/stat : 1118 (npSolver-wbo) S 1117 1117 16422 0 -1 4202496 22642 94760 0 0 80 12 2372 46 20 0 1 0 288717641 11571200 2375 33554432000 4194304 5990268 140733617262992 140733617254416 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1118/statm: 2825 2375 166 439 0 2382 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 20448

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 1366
/proc/meminfo: memFree=30593984/32873844 swapFree=6600/6600
[pid=1117] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1117/stat : 1117 (npSolver-wbo-It) S 1115 1117 16422 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288717641 9367552 275 33554432000 4194304 5064252 140734890583296 140734890582208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1117/statm: 2287 275 233 213 0 72 0
[pid=1118] ppid=1117 vsize=11300 CPUtime=49.07 cores=1,3,5,7
/proc/1118/stat : 1118 (npSolver-wbo) S 1117 1117 16422 0 -1 4202496 42835 186772 0 0 152 23 4641 91 20 0 1 0 288717641 11571200 2375 33554432000 4194304 5990268 140733617262992 140733617254416 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1118/statm: 2825 2375 166 439 0 2382 0
[pid=1365] ppid=1118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1365/stat : 1365 (satsolver.sh) S 1118 1117 16422 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288722576 9367552 266 33554432000 4194304 5064252 140737183480784 140737183479696 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1365/statm: 2287 266 226 213 0 72 0
[pid=1366] ppid=1365 vsize=16696 CPUtime=1.73 cores=1,3,5,7
/proc/1366/stat : 1366 (glucose) R 1365 1117 16422 0 -1 4202496 4332 0 0 0 173 0 0 0 20 0 1 0 288722577 17096704 3596 33554432000 4194304 5208918 140736521144768 140736521142520 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1366/statm: 4174 3596 105 248 0 3923 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 46292

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 1644
/proc/meminfo: memFree=30597428/32873844 swapFree=6600/6600
[pid=1117] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1117/stat : 1117 (npSolver-wbo-It) S 1115 1117 16422 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288717641 9367552 275 33554432000 4194304 5064252 140734890583296 140734890582208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1117/statm: 2287 275 233 213 0 72 0
[pid=1118] ppid=1117 vsize=11300 CPUtime=100.6 cores=1,3,5,7
/proc/1118/stat : 1118 (npSolver-wbo) S 1117 1117 16422 0 -1 4202496 83221 364192 0 0 297 47 9536 180 20 0 1 0 288717641 11571200 2375 33554432000 4194304 5990268 140733617262992 140733617254416 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1118/statm: 2825 2375 166 439 0 2382 0
[pid=1635] ppid=1118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1635/stat : 1635 (satsolver.sh) S 1118 1117 16422 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288727748 9367552 267 33554432000 4194304 5064252 140734470149920 140734470148832 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1635/statm: 2287 267 226 213 0 72 0
[pid=1636] ppid=1635 vsize=16584 CPUtime=1.21 cores=1,3,5,7
/proc/1636/stat : 1636 (glucose) R 1635 1117 16422 0 -1 4202496 4095 0 0 0 121 0 0 0 20 0 1 0 288727749 16982016 3440 33554432000 4194304 5208918 140736690574832 140736690572792 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1636/statm: 4146 3440 105 248 0 3895 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 46180

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 1912
/proc/meminfo: memFree=30594924/32873844 swapFree=6600/6600
[pid=1117] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1117/stat : 1117 (npSolver-wbo-It) S 1115 1117 16422 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288717641 9367552 275 33554432000 4194304 5064252 140734890583296 140734890582208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1117/statm: 2287 275 233 213 0 72 0
[pid=1118] ppid=1117 vsize=11300 CPUtime=161.76 cores=1,3,5,7
/proc/1118/stat : 1118 (npSolver-wbo) S 1117 1117 16422 0 -1 4202496 123619 546179 0 0 443 69 15395 269 20 0 1 0 288717641 11571200 2375 33554432000 4194304 5990268 140733617262992 140733617253904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1118/statm: 2825 2375 166 439 0 2382 0
Current children cumulated CPU time (s) 161.76
Current children cumulated vsize (KiB) 20448

[startup+222.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 2171
/proc/meminfo: memFree=30596320/32873844 swapFree=6600/6600
[pid=1117] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1117/stat : 1117 (npSolver-wbo-It) S 1115 1117 16422 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288717641 9367552 275 33554432000 4194304 5064252 140734890583296 140734890582208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1117/statm: 2287 275 233 213 0 72 0
[pid=1118] ppid=1117 vsize=11300 CPUtime=221.5 cores=1,3,5,7
/proc/1118/stat : 1118 (npSolver-wbo) S 1117 1117 16422 0 -1 4202496 169103 742761 0 0 605 96 21080 369 20 0 1 0 288717641 11571200 2375 33554432000 4194304 5990268 140733617262992 140733617254992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1118/statm: 2825 2375 166 439 0 2382 0

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


[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 2986
/proc/meminfo: memFree=30597020/32873844 swapFree=6600/6600
[pid=1117] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1117/stat : 1117 (npSolver-wbo-It) S 1115 1117 16422 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288717641 9367552 275 33554432000 4194304 5064252 140734890583296 140734890582208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1117/statm: 2287 275 233 213 0 72 0
[pid=1118] ppid=1117 vsize=11252 CPUtime=399.28 cores=1,3,5,7
/proc/1118/stat : 1118 (npSolver-wbo) S 1117 1117 16422 0 -1 4202496 303190 1322373 0 0 1072 175 38029 652 20 0 1 0 288717641 11522048 2278 33554432000 4194304 5990268 140733617262992 140733617254416 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1118/statm: 2813 2278 166 439 0 2370 0
[pid=2985] ppid=1118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2985/stat : 2985 (satsolver.sh) S 1118 1117 16422 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288757703 9367552 267 33554432000 4194304 5064252 140737274108608 140737274107520 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2985/statm: 2287 267 226 213 0 72 0
[pid=2986] ppid=2985 vsize=15528 CPUtime=1.66 cores=1,3,5,7
/proc/2986/stat : 2986 (glucose) R 2985 1117 16422 0 -1 4202496 3490 0 0 0 166 0 0 0 20 0 1 0 288757703 15900672 3251 33554432000 4194304 5208918 140735752731600 140735752729272 4211834 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2986/statm: 3882 3251 105 248 0 3631 0
Current children cumulated CPU time (s) 400.94
Current children cumulated vsize (KiB) 45076

[startup+462.3 s]
/proc/loadavg: 1.89 1.98 1.99 3/183 3281
/proc/meminfo: memFree=30595040/32873844 swapFree=6600/6600
[pid=1117] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1117/stat : 1117 (npSolver-wbo-It) S 1115 1117 16422 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288717641 9367552 275 33554432000 4194304 5064252 140734890583296 140734890582208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1117/statm: 2287 275 233 213 0 72 0
[pid=1118] ppid=1117 vsize=11252 CPUtime=459.33 cores=1,3,5,7
/proc/1118/stat : 1118 (npSolver-wbo) S 1117 1117 16422 0 -1 4202496 350766 1529005 0 0 1237 201 43741 754 20 0 1 0 288717641 11522048 2278 33554432000 4194304 5990268 140733617262992 140733617254416 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1118/statm: 2813 2278 166 439 0 2370 0
[pid=3280] ppid=1118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3280/stat : 3280 (satsolver.sh) S 1118 1117 16422 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288763748 9367552 266 33554432000 4194304 5064252 140735534603104 140735534602016 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3280/statm: 2287 266 226 213 0 72 0
[pid=3281] ppid=3280 vsize=15388 CPUtime=1.2 cores=1,3,5,7
/proc/3281/stat : 3281 (glucose) R 3280 1117 16422 0 -1 4202496 3923 0 0 0 120 0 0 0 20 0 1 0 288763749 15757312 3254 33554432000 4194304 5208918 140735178372080 140735178369928 4211726 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3281/statm: 3847 3254 105 248 0 3596 0
Current children cumulated CPU time (s) 460.53
Current children cumulated vsize (KiB) 44936

[startup+522.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/183 3575
/proc/meminfo: memFree=30594132/32873844 swapFree=6600/6600
[pid=1117] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1117/stat : 1117 (npSolver-wbo-It) S 1115 1117 16422 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288717641 9367552 275 33554432000 4194304 5064252 140734890583296 140734890582208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1117/statm: 2287 275 233 213 0 72 0
[pid=1118] ppid=1117 vsize=11252 CPUtime=518.99 cores=1,3,5,7
/proc/1118/stat : 1118 (npSolver-wbo) S 1117 1117 16422 0 -1 4202496 399927 1741428 0 0 1406 230 49401 862 20 0 1 0 288717641 11522048 2278 33554432000 4194304 5990268 140733617262992 140733617254416 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1118/statm: 2813 2278 166 439 0 2370 0
[pid=3574] ppid=1118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3574/stat : 3574 (satsolver.sh) S 1118 1117 16422 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288769735 9367552 267 33554432000 4194304 5064252 140733479325120 140733479324032 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3574/statm: 2287 267 226 213 0 72 0
[pid=3575] ppid=3574 vsize=15396 CPUtime=1.33 cores=1,3,5,7
/proc/3575/stat : 3575 (glucose) R 3574 1117 16422 0 -1 4202496 3952 0 0 0 133 0 0 0 20 0 1 0 288769735 15765504 3240 33554432000 4194304 5208918 140737236914496 140737236912344 4229344 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3575/statm: 3849 3240 105 248 0 3598 0
Current children cumulated CPU time (s) 520.32
Current children cumulated vsize (KiB) 44944

[startup+582.3 s]
/proc/loadavg: 1.92 1.96 1.98 3/183 4002
/proc/meminfo: memFree=30601036/32873844 swapFree=6600/6600
[pid=1117] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1117/stat : 1117 (npSolver-wbo-It) S 1115 1117 16422 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288717641 9367552 275 33554432000 4194304 5064252 140734890583296 140734890582208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1117/statm: 2287 275 233 213 0 72 0
[pid=1118] ppid=1117 vsize=11100 CPUtime=579.64 cores=1,3,5,7
/proc/1118/stat : 1118 (npSolver-wbo) S 1117 1117 16422 0 -1 4202496 470525 2056312 0 0 1625 268 55062 1009 20 0 1 0 288717641 11366400 2005 33554432000 4194304 5990268 140733617262992 140733617254416 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1118/statm: 2775 2005 166 439 0 2332 0
Current children cumulated CPU time (s) 579.64
Current children cumulated vsize (KiB) 20248

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

[startup+588.7 s]
/proc/loadavg: 1.93 1.96 1.98 3/183 4065
/proc/meminfo: memFree=30613056/32873844 swapFree=6600/6600
[pid=1117] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1117/stat : 1117 (npSolver-wbo-It) S 1115 1117 16422 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288717641 9367552 275 33554432000 4194304 5064252 140734890583296 140734890582208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1117/statm: 2287 275 233 213 0 72 0
[pid=1118] ppid=1117 vsize=6968 CPUtime=586.05 cores=1,3,5,7
/proc/1118/stat : 1118 (npSolver-wbo) S 1117 1117 16422 0 -1 4202496 478748 2096476 0 0 1648 271 55660 1026 20 0 1 0 288717641 7135232 1370 33554432000 4194304 5990268 140733617262992 140733617254416 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1118/statm: 1742 1370 166 439 0 1299 0
[pid=4064] ppid=1118 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4064/stat : 4064 (satsolver.sh) S 1118 1117 16422 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288776480 9367552 266 33554432000 4194304 5064252 140736020499360 140736020498272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4064/statm: 2287 266 226 213 0 72 0
[pid=4065] ppid=4064 vsize=9268 CPUtime=0.29 cores=1,3,5,7
/proc/4065/stat : 4065 (glucose) R 4064 1117 16422 0 -1 4202496 2586 0 0 0 29 0 0 0 20 0 1 0 288776480 9490432 1998 33554432000 4194304 5208918 140734201060336 140734200009768 4229280 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4065/statm: 2317 1998 104 248 0 2066 0
Current children cumulated CPU time (s) 586.34
Current children cumulated vsize (KiB) 34532

[startup+601.5 s]
/proc/loadavg: 1.94 1.97 1.98 3/183 4191
/proc/meminfo: memFree=30601336/32873844 swapFree=6600/6600
[pid=1117] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1117/stat : 1117 (npSolver-wbo-It) S 1115 1117 16422 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288717641 9367552 275 33554432000 4194304 5064252 140734890583296 140734890582208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1117/statm: 2287 275 233 213 0 72 0
[pid=1118] ppid=1117 vsize=6968 CPUtime=598.9 cores=1,3,5,7
/proc/1118/stat : 1118 (npSolver-wbo) S 1117 1117 16422 0 -1 4202496 499686 2201878 0 0 1702 278 56840 1070 20 0 1 0 288717641 7135232 1372 33554432000 4194304 5990268 140733617262992 140733617254416 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1118/statm: 1742 1372 166 439 0 1299 0
Current children cumulated CPU time (s) 598.9
Current children cumulated vsize (KiB) 16116

[startup+607.9 s]
/proc/loadavg: 1.95 1.97 1.98 3/183 4289
/proc/meminfo: memFree=30608328/32873844 swapFree=6600/6600
[pid=1117] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1117/stat : 1117 (npSolver-wbo-It) S 1115 1117 16422 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288717641 9367552 275 33554432000 4194304 5064252 140734890583296 140734890582208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1117/statm: 2287 275 233 213 0 72 0
[pid=1118] ppid=1117 vsize=6968 CPUtime=605.35 cores=1,3,5,7
/proc/1118/stat : 1118 (npSolver-wbo) S 1117 1117 16422 0 -1 4202496 512770 2271481 0 0 1731 282 57426 1096 20 0 1 0 288717641 7135232 1372 33554432000 4194304 5990268 140733617262992 140733617254416 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1118/statm: 1742 1372 166 439 0 1299 0
Current children cumulated CPU time (s) 605.35
Current children cumulated vsize (KiB) 16116

[startup+611.1 s]
/proc/loadavg: 1.95 1.97 1.98 3/183 4373
/proc/meminfo: memFree=30598416/32873844 swapFree=6600/6600
[pid=1117] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1117/stat : 1117 (npSolver-wbo-It) S 1115 1117 16422 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288717641 9367552 275 33554432000 4194304 5064252 140734890583296 140734890582208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1117/statm: 2287 275 233 213 0 72 0
[pid=1118] ppid=1117 vsize=11140 CPUtime=608.46 cores=1,3,5,7
/proc/1118/stat : 1118 (npSolver-wbo) S 1117 1117 16422 0 -1 4202496 521070 2332103 0 0 1754 286 57682 1124 20 0 1 0 288717641 11407360 2214 33554432000 4194304 5990268 140733617262992 140733617253904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 9 0 0
/proc/1118/statm: 2785 2214 166 439 0 2342 0
Current children cumulated CPU time (s) 608.46
Current children cumulated vsize (KiB) 20288

[startup+612.707 s]
/proc/loadavg: 1.95 1.97 1.98 3/183 4411
/proc/meminfo: memFree=30602896/32873844 swapFree=6600/6600
[pid=1117] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1117/stat : 1117 (npSolver-wbo-It) S 1115 1117 16422 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288717641 9367552 275 33554432000 4194304 5064252 140734890583296 140734890582208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1117/statm: 2287 275 233 213 0 72 0
[pid=1118] ppid=1117 vsize=4892 CPUtime=610.1 cores=1,3,5,7
/proc/1118/stat : 1118 (npSolver-wbo) R 1117 1117 16422 0 -1 4202496 527239 2375224 0 0 1772 289 57781 1168 20 0 1 0 288717641 5009408 778 33554432000 4194304 5990268 140733617262992 140733617254992 5042551 0 0 4096 0 0 0 0 17 3 0 0 9 0 0
/proc/1118/statm: 1223 778 166 439 0 780 0
Current children cumulated CPU time (s) 610.1
Current children cumulated vsize (KiB) 14040

[startup+614.3 s]
/proc/loadavg: 1.95 1.97 1.98 3/182 4444
/proc/meminfo: memFree=30611176/32873844 swapFree=6600/6600
[pid=1117] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1117/stat : 1117 (npSolver-wbo-It) S 1115 1117 16422 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288717641 9367552 275 33554432000 4194304 5064252 140734890583296 140734890582208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1117/statm: 2287 275 233 213 0 72 0
[pid=1118] ppid=1117 vsize=6860 CPUtime=611.69 cores=1,3,5,7
/proc/1118/stat : 1118 (npSolver-wbo) S 1117 1117 16422 0 -1 4202496 535619 2438712 0 0 1791 292 57875 1211 20 0 1 0 288717641 7024640 1297 33554432000 4194304 5990268 140733617262992 140733617253904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 9 0 0
/proc/1118/statm: 1715 1297 166 439 0 1272 0
Current children cumulated CPU time (s) 611.69
Current children cumulated vsize (KiB) 16008

[startup+614.7 s]
/proc/loadavg: 1.95 1.97 1.98 3/182 4444
/proc/meminfo: memFree=30611176/32873844 swapFree=6600/6600
[pid=1117] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1117/stat : 1117 (npSolver-wbo-It) S 1115 1117 16422 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288717641 9367552 275 33554432000 4194304 5064252 140734890583296 140734890582208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1117/statm: 2287 275 233 213 0 72 0
[pid=1118] ppid=1117 vsize=6860 CPUtime=612.09 cores=1,3,5,7
/proc/1118/stat : 1118 (npSolver-wbo) S 1117 1117 16422 0 -1 4202496 537893 2465403 0 0 1795 293 57896 1225 20 0 1 0 288717641 7024640 1297 33554432000 4194304 5990268 140733617262992 140733617253904 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 9 0 0
/proc/1118/statm: 1715 1297 166 439 0 1272 0
Current children cumulated CPU time (s) 612.09
Current children cumulated vsize (KiB) 16008

[startup+614.907 s]
/proc/loadavg: 1.95 1.97 1.98 3/183 4541
/proc/meminfo: memFree=30613172/32873844 swapFree=6600/6600
[pid=1117] ppid=1115 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1117/stat : 1117 (npSolver-wbo-It) S 1115 1117 16422 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288717641 9367552 275 33554432000 4194304 5064252 140734890583296 140734890582208 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1117/statm: 2287 275 233 213 0 72 0
[pid=1118] ppid=1117 vsize=6860 CPUtime=612.3 cores=1,3,5,7
/proc/1118/stat : 1118 (npSolver-wbo) R 1117 1117 16422 0 -1 4202496 539049 2494234 0 0 1796 293 57906 1235 20 0 1 0 288717641 7024640 1297 33554432000 4194304 5990268 140733617262992 140733617254416 4904865 0 65536 4102 0 0 0 0 17 3 0 0 9 0 0
/proc/1118/statm: 1715 1297 166 439 0 1272 0
Current children cumulated CPU time (s) 612.3
Current children cumulated vsize (KiB) 16008

Child status: 0
Real time (s): 614.95
CPU time (s): 612.365
CPU user time (s): 597.052
CPU system time (s): 15.3127
CPU usage (%): 99.5796
Max. virtual memory (cumulated for all children) (KiB): 61656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 597.052
system time used= 15.3127
maximum resident set size= 28748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3043527
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2403296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13950
involuntary context switches= 5579

runsolver used 1.2818 second user time and 3.65444 second system time

The end

Launcher Data 

Begin job on node140 at 2012-05-28 19:25:28
IDJOB=3715121
IDBENCH=79417
IDSOLVER=2296
FILE ID=node140/3715121-1338225928
RUNJOBID= node140-1338193685-16439
PBS_JOBID= 14624590
Free space on /tmp= 71324 MiB

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

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

MD5SUM BENCH= 8941aeee87a1a646f79f1fa97035d3b2
RANDOM SEED=1652973319

node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30627324 kB
Buffers:          546416 kB
Cached:           774508 kB
SwapCached:         1516 kB
Active:          1055092 kB
Inactive:         308032 kB
Active(anon):      33468 kB
Inactive(anon):     8636 kB
Active(file):    1021624 kB
Inactive(file):   299396 kB
Unevictable:        6600 kB
Mlocked:            6600 kB
SwapTotal:      67108856 kB
SwapFree:       67105308 kB
Dirty:             12696 kB
Writeback:             0 kB
AnonPages:         50868 kB
Mapped:            12616 kB
Shmem:                 8 kB
Slab:             745056 kB
SReclaimable:     186660 kB
SUnreclaim:       558396 kB
KernelStack:        1520 kB
PageTables:         4096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     161948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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= 71316 MiB
End job on node140 at 2012-05-28 19:35:43